New Results and New Trends in Computer Science


Book Description

This volume contains selected papers from the symposium "New Results and NewTrends in Computer Science" held in Graz, Austria, June 20-21, 1991. The symposium was organized to give a wide-ranging overview of new work in the field on the occasion of the fiftieth birthday of the editor of the volume. Topics covered include: information on neural nets, ideas on a new paradigm for informatics, hypermedia systems and applications, axioms for concurrent processes, techniques for image generation and compression, the role of data visualization, object-oriented programming andgraphics, algorithms for layout compaction, new methods in database systems, the future of data networks, object-oriented artificial intelligence, problems in data structures and sorting, aspects of user interfaces, a theory of structures, applications of cryptography, evaluation of Ada, results in algorithmic geometry, remarks on the history of computers, and a novel interpretation of machine learning. In total, the 26 high-level contributions authored by prominent experts from all over the world give an up-to-date survey of almost all subfields of computer science. The book is written in a style which is easy to follow, and it is of interest for any computer scientist, be it in research, teaching or practice.




Current Trends in Theoretical Computer Science


Book Description

This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000OCo2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, OC Algorithms and ComplexityOCO and OC Formal Models and SemanticsOCO, reflecting the traditional division of the field. The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science. Contents: Vol 1: Algorithms; Computational Complexity; Distributed Computing; Natural Computing; Vol 2: Formal Specification; Logic in Computer Science; Concurrency; Formal Language Theory. Readership: Upper level undergraduates, graduate students and researchers in theoretical computer science and biocomputing."




Assessing and Responding to the Growth of Computer Science Undergraduate Enrollments


Book Description

The field of computer science (CS) is currently experiencing a surge in undergraduate degree production and course enrollments, which is straining program resources at many institutions and causing concern among faculty and administrators about how best to respond to the rapidly growing demand. There is also significant interest about what this growth will mean for the future of CS programs, the role of computer science in academic institutions, the field as a whole, and U.S. society more broadly. Assessing and Responding to the Growth of Computer Science Undergraduate Enrollments seeks to provide a better understanding of the current trends in computing enrollments in the context of past trends. It examines drivers of the current enrollment surge, relationships between the surge and current and potential gains in diversity in the field, and the potential impacts of responses to the increased demand for computing in higher education, and it considers the likely effects of those responses on students, faculty, and institutions. This report provides recommendations for what institutions of higher education, government agencies, and the private sector can do to respond to the surge and plan for a strong and sustainable future for the field of CS in general, the health of the institutions of higher education, and the prosperity of the nation.




Current Trends In Theoretical Computer Science: The Challenge Of The New Century; Vol 1: Algorithms And Complexity; Vol 2: Formal Models And Semantics


Book Description

This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, “Algorithms and Complexity” and “Formal Models and Semantics”, reflecting the traditional division of the field.The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science.




Modern Trends and Techniques in Computer Science


Book Description

This book is based on the research papers presented in the 3rd Computer Science On-line Conference 2014 (CSOC 2014). The conference is intended to provide an international forum for discussions on the latest high-quality research results in all areas related to Computer Science. The topics addressed are the theoretical aspects and applications of Artificial Intelligences, Computer Science, Informatics and Software Engineering. The authors provide new approaches and methods to real-world problems, and in particular, exploratory research that describes novel approaches in their field. Particular emphasis is laid on modern trends in selected fields of interest. New algorithms or methods in a variety of fields are also presented. This book is divided into three sections and covers topics including Artificial Intelligence, Computer Science and Software Engineering. Each section consists of new theoretical contributions and applications which can be used for the further development of knowledge of everybody who is looking for new knowledge or new inspiration for further research.




New Trends in Discrete and Computational Geometry


Book Description

Discrete and computational geometry are two fields which in recent years have benefitted from the interaction between mathematics and computer science. The results are applicable in areas such as motion planning, robotics, scene analysis, and computer aided design. The book consists of twelve chapters summarizing the most recent results and methods in discrete and computational geometry. All authors are well-known experts in these fields. They give concise and self-contained surveys of the most efficient combinatorical, probabilistic and topological methods that can be used to design effective geometric algorithms for the applications mentioned above. Most of the methods and results discussed in the book have not appeared in any previously published monograph. In particular, this book contains the first systematic treatment of epsilon-nets, geometric tranversal theory, partitions of Euclidean spaces and a general method for the analysis of randomized geometric algorithms. Apart from mathematicians working in discrete and computational geometry this book will also be of great use to computer scientists and engineers, who would like to learn about the most recent results.




Proceedings of the Fourth Annual ACM-SIAM Symposium on Discrete Algorithms


Book Description

Annotation Proceedings of a conference that took place in Austin, Texas in January 1993. Contributors are impressive names from the field of computer science, including Donald Knuth, author of several computer books of "biblical" importance. The diverse selection of paper topics includes dynamic point location, ray shooting, and the shortest paths in planar maps; optimistic sorting and information theoretic complexity; and an optimal randomized algorithm for the cow-path problem. No index. Annotation copyright by Book News, Inc., Portland, OR.




Handbook of Discrete and Combinatorial Mathematics


Book Description

Handbook of Discrete and Combinatorial Mathematics provides a comprehensive reference volume for mathematicians, computer scientists, engineers, as well as students and reference librarians. The material is presented so that key information can be located and used quickly and easily. Each chapter includes a glossary. Individual topics are covered in sections and subsections within chapters, each of which is organized into clearly identifiable parts: definitions, facts, and examples. Examples are provided to illustrate some of the key definitions, facts, and algorithms. Some curious and entertaining facts and puzzles are also included. Readers will also find an extensive collection of biographies. This second edition is a major revision. It includes extensive additions and updates. Since the first edition appeared in 1999, many new discoveries have been made and new areas have grown in importance, which are covered in this edition.




Passive Seismic Monitoring of Induced Seismicity


Book Description

An introduction to the principles and applications of passive seismic monitoring, providing an accessible overview of current research and technology.




New Trends in Software Methodologies, Tools and Techniques


Book Description

Software has become an essential enabler for science and the economy. Not only does it create new markets and the possibility of a more reliable, flexible and robust society, it also empowers our exploration of the world in ever increasing depth. However software often falls short of our expectations, with current methodologies, tools and techniques remaining insufficiently robust and reliable for constantly changing and evolving needs. This book presents papers from the 15th International Conference on New Trends in Intelligent Software Methodology Tools and Techniques (SoMeT 16), held in Larnaca, Cyprus, in September 2016. The SoMeT conference focuses on exploring the innovations, controversies and challenges facing the software engineering community, bringing together theory and experience to propose and evaluate solutions to software engineering problems with an emphasis on human-centric software methodologies, end-user development techniques, and emotional reasoning, for an optimally harmonized performance between the design tool and the user. The book is divided into six chapters covering the following areas: decision support systems; software methodologies and tools; requirement engineering; software for biomedicine and bioinformatics; software engineering models, and formal techniques for software representation; and intelligent software development and social networking. The book explores new trends and theories which illuminate the direction of developments in the field, and will be of interest to all in the software science community.