Author: Stephen A. Ward,Robert H. Halstead

Publisher: MIT Press

ISBN: 9780262231398

Category: Computers

Page: 789

View: 2422

Computer Systems Organization -- general.
Read More

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings

Author: Helmut Seidl

Publisher: Springer Science & Business Media

ISBN: 3540713891

Category: Computers

Page: 379

View: 6702

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Read More

8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

Author: Vladimiro Sassone

Publisher: Springer Science & Business Media

ISBN: 3540253882

Category: Computers

Page: 519

View: 1604

This book constitutes the refereed proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 30 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on rule formats and bisimulation, probabilistic models, algebraic models, games and automata, language analysis, partial order models, logics, coalgebraic modal logics, and computational models.
Read More

20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Author: Javier Esparza,Andrzej S. Murawski

Publisher: Springer

ISBN: 366254458X

Category: Computers

Page: 568

View: 4997

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.
Read More

Author: Thomas H. Cormen,Charles E. Leiserson,Ronald Rivest,Clifford Stein

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3110522012

Category: Computers

Page: 1339

View: 9118

Der "Cormen" bietet eine umfassende und vielseitige Einführung in das moderne Studium von Algorithmen. Es stellt viele Algorithmen Schritt für Schritt vor, behandelt sie detailliert und macht deren Entwurf und deren Analyse allen Leserschichten zugänglich. Sorgfältige Erklärungen zur notwendigen Mathematik helfen, die Analyse der Algorithmen zu verstehen. Den Autoren ist es dabei geglückt, Erklärungen elementar zu halten, ohne auf Tiefe oder mathematische Exaktheit zu verzichten. Jedes der weitgehend eigenständig gestalteten Kapitel stellt einen Algorithmus, eine Entwurfstechnik, ein Anwendungsgebiet oder ein verwandtes Thema vor. Algorithmen werden beschrieben und in Pseudocode entworfen, der für jeden lesbar sein sollte, der schon selbst ein wenig programmiert hat. Zahlreiche Abbildungen verdeutlichen, wie die Algorithmen arbeiten. Ebenfalls angesprochen werden Belange der Implementierung und andere technische Fragen, wobei, da Effizienz als Entwurfskriterium betont wird, die Ausführungen eine sorgfältige Analyse der Laufzeiten der Programme mit ein schließen. Über 1000 Übungen und Problemstellungen und ein umfangreiches Quellen- und Literaturverzeichnis komplettieren das Lehrbuch, dass durch das ganze Studium, aber auch noch danach als mathematisches Nachschlagewerk oder als technisches Handbuch nützlich ist. Für die dritte Auflage wurde das gesamte Buch aktualisiert. Die Änderungen sind vielfältig und umfassen insbesondere neue Kapitel, überarbeiteten Pseudocode, didaktische Verbesserungen und einen lebhafteren Schreibstil. So wurden etwa - neue Kapitel zu van-Emde-Boas-Bäume und mehrfädigen (engl.: multithreaded) Algorithmen aufgenommen, - das Kapitel zu Rekursionsgleichungen überarbeitet, sodass es nunmehr die Teile-und-Beherrsche-Methode besser abdeckt, - die Betrachtungen zu dynamischer Programmierung und Greedy-Algorithmen überarbeitet; Memoisation und der Begriff des Teilproblem-Graphen als eine Möglichkeit, die Laufzeit eines auf dynamischer Programmierung beruhender Algorithmus zu verstehen, werden eingeführt. - 100 neue Übungsaufgaben und 28 neue Problemstellungen ergänzt. Umfangreiches Dozentenmaterial (auf englisch) ist über die Website des US-Verlags verfügbar.
Read More

12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Author: Luca de Alfaro

Publisher: Springer Science & Business Media

ISBN: 3642005950

Category: Computers

Page: 471

View: 4581

This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.
Read More

Author: Philip A. Laplante

Publisher: CRC Press

ISBN: 9780849326912

Category: Technology & Engineering

Page: 560

View: 4139

A complete lexicon of technical information, the Dictionary of Computer Science, Engineering, and Technology provides workable definitions, practical information, and enhances general computer science and engineering literacy. It spans various disciplines and industry sectors such as: telecommunications, information theory, and software and hardware systems. If you work with, or write about computers, this dictionary is the single most important resource you can put on your shelf. The dictionary addresses all aspects of computing and computer technology from multiple perspectives, including the academic, applied, and professional vantage points. Including more than 8,000 terms, it covers all major topics from artificial intelligence to programming languages, from software engineering to operating systems, and from database management to privacy issues. The definitions provided are detailed rather than concise. Written by an international team of over 80 contributors, this is the most comprehensive and easy-to-read reference of its kind. If you need to know the definition of anything related to computers you will find it in the Dictionary of Computer Science, Engineering, and Technology.
Read More

Author: A. Kaveh

Publisher: Springer Science & Business Media

ISBN: 3319029649

Category: Science

Page: 432

View: 3462

Graph theory gained initial prominence in science and engineering through its strong links with matrix algebra and computer science. Moreover, the structure of the mathematics is well suited to that of engineering problems in analysis and design. The methods of analysis in this book employ matrix algebra, graph theory and meta-heuristic algorithms, which are ideally suited for modern computational mechanics. Efficient methods are presented that lead to highly sparse and banded structural matrices. The main features of the book include: application of graph theory for efficient analysis; extension of the force method to finite element analysis; application of meta-heuristic algorithms to ordering and decomposition (sparse matrix technology); efficient use of symmetry and regularity in the force method; and simultaneous analysis and design of structures.
Read More

Author: Bahaa E. A. Saleh,Malvin Carl Teich

Publisher: John Wiley & Sons

ISBN: 9783527406777

Category: Optoelectronics

Page: 1406

View: 1117

Schon die erste Auflage des englischen Lehrbuchs 'Fundamentals of Photonics' zeichnete sich durch seine ausgewogene Mischung von Theorie und Praxis aus, und deckte in detaillierter Darstellung die grundlegenden Theorien des Lichts ab. Es umfasste sowohl die Themen Strahlenoptik, Wellenoptik, elektromagnetische Optik, Photonenoptik, sowie die Wechselwirkung von Licht und Materie, als auch die Theorie der optischen Eigenschaften von Halbleitern. Die Photonik-Technologie hat eine rasante Entwicklung genommen seit der Publikation der ersten Ausgabe von 'Fundamentals of Photonics' vor 15 Jahren. Die nun vorliegende Zweite Auflage des Marksteins auf dem Gebiet der Photonik trägt mit zwei neuen und zusätzlichen Kapiteln den neuesten technologischen Fortschritten Rechnung: Photonische Kristalle sowie Ultrakurzpuls-Optik. Zudem wurden alle Kapitel gründlich überarbeitet und viele Abschnitte hinzugefügt, so z.B. über Laguerre-Gauss Strahlen, die Sellmeier-Gleichung, Photonenkristall-Wellenleiter, photonische Kristallfasern, Mikrosphären-Resonatoren, Optische Kohärenz Tomographie, Bahndrehimpuls des Photons, Bohrsche Theorie, Raman-Verstärker, rauscharme Avalanche-Photodioden, Abstimmkurven und Dispersions-Management.
Read More

Author: Harold Abelson

Publisher: Mit Press

ISBN: 9780262011532

Category: Computers

Page: 657

View: 2874

Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.
Read More

Author: Sio-Iong Ao,Len Gelman

Publisher: Springer Science & Business Media

ISBN: 9789400711921

Category: Technology & Engineering

Page: 716

View: 5752

A large international conference in Electrical Engineering and Applied Computing was just held in London, 30 June – 2 July, 2010. This volume will contain revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Control Engineering, Network Management, Wireless Networks, Biotechnology, Signal Processing, Computational Intelligence, Data Mining, Computational Statistics, Internet Computing, High Performance Computing, and industrial applications. The book will offer the states of arts of tremendous advances in electrical engineering and applied computing and also serve as an excellent reference work for researchers and graduate students working on electrical engineering and applied computing
Read More

Author: Len Gelman

Publisher: Springer Science & Business Media

ISBN: 9048123119

Category: Technology & Engineering

Page: 726

View: 1823

Advances in Electrical Engineering and Computational Science contains sixty-one revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Control Engineering, Network Management, Wireless Networks, Biotechnology, Signal Processing, Computational Intelligence, Computational Statistics, Internet Computing, High Performance Computing, and industrial applications. Advances in Electrical Engineering and Computational Science will offer the state of art of tremendous advances in electrical engineering and computational science and also serve as an excellent reference work for researchers and graduate students working with/on electrical engineering and computational science.
Read More

Proceedings of the International Symposium on Computational Structural Engineering, held in Shanghai, China, June 22–24, 2009

Author: Yong Yuan,Junzhi Cui,Herbert A. Mang

Publisher: Springer Science & Business Media

ISBN: 9048128226

Category: Computers

Page: 1307

View: 9385

Following the great progress made in computing technology, both in computer and programming technology, computation has become one of the most powerful tools for researchers and practicing engineers. It has led to tremendous achievements in computer-based structural engineering and there is evidence that current devel- ments will even accelerate in the near future. To acknowledge this trend, Tongji University, Vienna University of Technology, and Chinese Academy of Engine- ing, co-organized the International Symposium on Computational Structural En- neering 2009 in Shanghai (CSE’09). CSE’09 aimed at providing a forum for presentation and discussion of sta- of-the-art development in scientific computing applied to engineering sciences. Emphasis was given to basic methodologies, scientific development and engine- ing applications. Therefore, it became a central academic activity of the Inter- tional Association for Computational Mechanics (IACM), the European Com- nity on Computational Methods in Applied Sciences (ECCOMAS), The Chinese Society of Theoretical and Applied Mechanic, the China Civil Engineering So- ety, and the Architectural Society of China. A total of 10 invited papers, and around 140 contributed papers were p- sented in the proceedings of the symposium. Contributors of papers came from 20 countries around the world and covered a wide spectrum related to the compu- tional structural engineering.
Read More

Author: Cosmin Radu Popa

Publisher: Springer Science & Business Media

ISBN: 9781461404033

Category: Technology & Engineering

Page: 449

View: 3169

Synthesis of Computational Structures for Analog Signal Processing focuses on analysis and design of analog signal processing circuits. The author presents a multitude of design techniques for improving the performances of analog signal processing circuits, and proposes specific implementation strategies that can be used in CMOS technology. The author's discussion proceeds from the perspective of signal processing as it relates to analog. Included are coverage of low-power design, portable equipment, wireless nano-sensors and medical implantable devices. The material is especially appropriate for researchers and specialists in the area of analog and mixed-signal CMOS VLSI design, as well as postgraduate or Ph.D. students working on analog microelectronics.
Read More

Author: Angelo Marcello Anile,Giuseppe Alì,G. Mascali

Publisher: Springer Science & Business Media

ISBN: 3540328629

Category: Technology & Engineering

Page: 460

View: 3735

This book is a collection of papers presented at the last Scientific Computing in Electrical Engineering (SCEE) Conference, held in Sicily, in 2004. The series of SCEE conferences aims at addressing mathematical problems which have a relevancy to industry. The areas covered at SCEE-2004 were: Electromagnetism, Circuit Simulation, Coupled Problems and General mathematical and computational methods.
Read More

Fiscal Years 2004-2005

Author: Board on Assessment of National Institute of Standards and Technology Programs,Division on Engineering and Physical Sciences,National Research Council

Publisher: National Academies Press

ISBN: 0309100364

Category: Technology & Engineering

Page: 134

View: 2414

The National Institute of Standards and Technology (NIST) Measurements and Standards Laboratories (MSL) provide technical leadership for the nation’s measurement and standards infrastructure and assure the availability of essential reference data and measurement capabilities. At NIST’s request the National Research Council (NRC) carries out a biennial assessment of the seven MSL. The assessment focuses on each laboratory’s technical quality and merit; and effectiveness. It also examines the relevance of the NIST programs and how well laboratory facilities, equipment, and personnel are able to fulfill the MSL mission. This report presents an overall assessment of the MSL followed by detailed assessments of each of the seven laboratories.
Read More

Author: Sarhan M. Musa

Publisher: CRC Press

ISBN: 1482230828

Category: Science

Page: 476

View: 7212

Computational Optical Biomedical Spectroscopy and Imaging covers recent discoveries and research in the field by some of the best inventors and researchers in the world. It also presents useful computational methods and applications used in optical biomedical spectroscopy and imaging. Topics covered include: New trends in immunohistochemical, genome, and metabolomics imaging Computer-aided diagnosis of interstitial lung diseases based on CT image analysis Functional near-infrared spectroscopy and its applications in neurosciences Applications of vibrational spectroscopic imaging in personal care studies Induced optical natural fluorescence spectroscopy for Giardia lamblia cysts Nanoimaging and polarimetric exploratory data analysis Fluorescence bioimaging with applications to chemistry Medical imaging instrumentation and techniques The book also discusses future applications, directions, opportunities, and challenges of optical biomedical spectroscopy and imaging in technical industry, academia, and government. This valuable resource introduces key concepts of computational methods used in optical biomedical spectroscopy and imaging in a manner that is easily understandable to beginners and experts alike.
Read More

5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.

Author: Janice Cuny,Hartmut Ehrig,Gregor Engels,Grzegorz Rozenberg

Publisher: Springer Science & Business Media

ISBN: 9783540612285

Category: Computers

Page: 564

View: 525

This book describes the functional properties and the structural organization of the members of the thrombospondin gene family. These proteins comprise a family of extracellular calcium binding proteins that modulate cellular adhesion, migration and proliferation. Thrombospondin-1 has been shown to function during angiogenesis, wound healing and tumor cell metastasis.
Read More