Download or read book Current Catalog written by National Library of Medicine (U.S.) and published by . This book was released on 1980 with total page 1340 pages. Available in PDF, EPUB and Kindle. Book excerpt: First multi-year cumulation covers six years: 1965-70.

Download or read book Algorithms Unplugged written by Berthold Vöcking and published by Springer Science & Business Media. This book was released on 2010-12-10 with total page 389 pages. Available in PDF, EPUB and Kindle. Book excerpt: Algorithms specify the way computers process information and how they execute tasks. Many recent technological innovations and achievements rely on algorithmic ideas – they facilitate new applications in science, medicine, production, logistics, traffic, communi¬cation and entertainment. Efficient algorithms not only enable your personal computer to execute the newest generation of games with features unimaginable only a few years ago, they are also key to several recent scientific breakthroughs – for example, the sequencing of the human genome would not have been possible without the invention of new algorithmic ideas that speed up computations by several orders of magnitude. The greatest improvements in the area of algorithms rely on beautiful ideas for tackling computational tasks more efficiently. The problems solved are not restricted to arithmetic tasks in a narrow sense but often relate to exciting questions of nonmathematical flavor, such as: How can I find the exit out of a maze? How can I partition a treasure map so that the treasure can only be found if all parts of the map are recombined? How should I plan my trip to minimize cost? Solving these challenging problems requires logical reasoning, geometric and combinatorial imagination, and, last but not least, creativity – the skills needed for the design and analysis of algorithms. In this book we present some of the most beautiful algorithmic ideas in 41 articles written in colloquial, nontechnical language. Most of the articles arose out of an initiative among German-language universities to communicate the fascination of algorithms and computer science to high-school students. The book can be understood without any prior knowledge of algorithms and computing, and it will be an enlightening and fun read for students and interested adults.

Download or read book Logistics Management written by Jan Dethloff and published by Springer. This book was released on 2014-12-30 with total page 522 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers papers presented at the Logistik-Management-Konferenz 2013, which was organized by the VHB Wissenschaftliche Kommission Logistik and held in Bremen, Germany. The papers reflect the current state-of-the-art in logistics and supply chain management, focusing on environmental sustainability in logistics and supply chain network dynamics and control. The target audience primarily consists of researchers and practitioners in the field, but the book may also be beneficial for graduate students.

Download or read book Managing Complexity in Software Engineering written by Dr. R. J. Mitchell and published by IET. This book was released on 1990 with total page 284 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers complex software engineering projects, new paradigms for system development, object-orientated design and formal methods, project management and automation perspectives.

Download or read book Text Speech and Dialogue written by Petr Sojka and published by Springer. This book was released on 2010-09-03 with total page 601 pages. Available in PDF, EPUB and Kindle. Book excerpt: Annotation This book constitutes the refereed proceedings of the 13th International Conference on Text, Speech and Dialogue, TSD 2010, held in Brno, Czech Republic, September 2010. The 71 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 144 submissions. The topics of the conference include, but are not limited to text corpora and tagging, transcription problems in spoken corpora, sense disambiguation, links between text and speech oriented systems, parsing issues, multi-lingual issues, information retrieval and information extraction, text/topic summarization, machine translation, semantic web, speech modeling, speech recognition, search in speech for IR and IE, text-to-speech synthesis, emotions and personality modeling, user modeling, knowledge representation in relation to dialogue systems, assistive technologies based on speech and dialogue, applied systems and software, facial animation, as well as visual speech synthesis.

Download or read book Aktuelle Methoden der Laser und Medizinphysik written by Ulrich Hartmann and published by Margret Schneider. This book was released on 2005 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Insight into Theoretical and Applied Informatics written by Andrzej Yatsko and published by Walter de Gruyter GmbH & Co KG. This book was released on 2015-01-01 with total page 122 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book is addressed to young people interested in computer technologies and computer science. The objective of this book is to provide the reader with all the necessary elements to get him or her started in the modern field of informatics and to allow him or her to become aware of the relationship between key areas of computer science. The book is addressed not only to future software developers, but also to all who are interested in computing in a widely understood sense. The authors also expect that some computer professionals will want to review this book to lift themselves above the daily grind and to embrace the excellence of the whole field of computer science. Unlike existing books, this one bypasses issues concerning the construction of computers and focuses only on information processing. Recognizing the importance of the human factor in information processing, the authors intend to present the theoretical foundations of computer science, software development rules, and some business aspects of informatics in non-technocratic, humanistic terms.

Download or read book Interactive Theorem Proving written by Mauricio Ayala-Rincón and published by Springer. This book was released on 2017-09-04 with total page 550 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Download or read book Mathematical Software ICMS 2016 written by Gert-Martin Greuel and published by Springer. This book was released on 2016-07-05 with total page 533 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.

Download or read book Computation Theory and Logic written by Egon Börger and published by Springer Science & Business Media. This book was released on 1987-07-29 with total page 456 pages. Available in PDF, EPUB and Kindle. Book excerpt: In Memory of Dieter Rötting. 24.8.1937 - 4.6.1984. On the Occasion of the 50th Anniversary of His Birth

Download or read book Information Security written by Josef Pieprzyk and published by Springer Science & Business Media. This book was released on 2000-12-06 with total page 333 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Third International Workshop on Information Security, ISW 2000, held in Wollongong, Australia in December 2000. The 23 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on multimedia copyright protection, e-commerce, key management, network security and access control, and cryptographic systems.

Download or read book Computer Aided Design written by Jose L. Encarnacao and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 439 pages. Available in PDF, EPUB and Kindle. Book excerpt: 2 e This book describes principles, methods and tools that are common to computer applications for design tasks. CAD is considered in this book as a discipline that provides the required know-how in computer hardware and software, in systems analysis and in engineering methodology for specifying, designing, implementing, introducing, and using computer based systems for design purposes. The first chapter gives an impression of the book as a whole, and following chapters deal with the history and the components of CAD, the process aspect of CAD, CAD architecture, graphical devices and systems, CAD engineering methods, CAD data transfer, and application examples. The flood of new developments in the field and the success of the first edition of this book have led the authors to prepare this completely revised, updated and extended second edition. Extensive new material is included on computer graphics, implementation methodology and CAD data transfer; the material on graphics standards is updated. The book is aimed primarily at engineers who design or install CAD systems. It is also intended for students who seek a broad fundamental background in CAD.

Download or read book Texture Analysis In Machine Vision written by Matti K Pietikainen and published by World Scientific. This book was released on 2000-10-13 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: Texture analysis is an important generic research area of machine vision. The potential areas of application include biomedical image analysis, industrial inspection, analysis of satellite or aerial imagery, content-based retrieval from image databases, document analysis, biometric person authentication, scene analysis for robot navigation, texture synthesis for computer graphics and animation, and image coding. Texture analysis has been a topic of intensive research for over three decades, but the progress has been very slow.A workshop on “Texture Analysis in Machine Vision” was held at the University of Oulu, Finland, in 1999, providing a forum for presenting recent research results and for discussing how to make progress in order to increase the usefulness of texture in practical applications. This book contains extended and revised versions of the papers presented at the workshop. The first part of the book deals with texture analysis methodology, while the second part covers various applications. The book gives a unique view of different approaches and applications of texture analysis. It should be of great interest both to researchers of machine vision and to practitioners in various application areas.

Download or read book Adaptive Hypermedia and Adaptive Web Based Systems written by Peter Brusilovsky and published by Springer. This book was released on 2003-06-26 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the first International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2000, held in Trento, Italy, in August 2000. The 22 revised full papers presented together with 35 short papers were carefully reviewed and selected from 55 submissions. Among the topics covered are hypertext, user modeling, machine learning, natural language generation, information retrieval, intelligent tutoring systems, cognitive science, web-based education, etc.

Download or read book Computer Engineering for Babies written by Chase Roberts and published by . This book was released on 2021-10-20 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: An introduction to computer engineering for babies. Learn basic logic gates with hands on examples of buttons and an output LED.

Download or read book From Computer Literacy to Informatics Fundamentals written by Roland Mittermeir and published by Springer Science & Business Media. This book was released on 2005-03-23 with total page 210 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2005, held in Klagenfurt, Austria in March/April 2005. The 21 revised full papers presented together with an introduction were carefully reviewed and selected for inclusion in the book. A broad variety of topics related to teaching informatics in secondary schools is addressed ranging from national experience reports to paedagogical and methodological issues.

Download or read book Logic for Programming Artificial Intelligence and Reasoning written by Miki Hermann and published by Springer. This book was released on 2006-10-18 with total page 599 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.