Author: Stephen A. Ward,Robert H. Halstead

Publisher: MIT Press

ISBN: 9780262231398

Category: Computers

Page: 789

View: 336

Computer Systems Organization -- general.
Read More

Eine Informatik-einfhrung/ a Computer Science Introduction

Author: Harold Abelson,Julie Sussman,Gerald Jay Sussman

Publisher: Springer

ISBN: 9783540423423

Category: Computers

Page: 682

View: 6509

Die Übersetzung der bewährten Einführung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in der Lehre eingesetzt. Schritt für Schritt werden Konstruktion und Abstraktion von Daten und Prozeduren dargestellt. Von der Modularisierung bis zum Problemlösen mit Registermaschinen werden verschiedene Programmierparadigmen entwickelt und die effektive Handhabung von Komplexität gezeigt. Als Programmiersprache wird SCHEME verwendet, ein Dialekt von LISP. Alle Programme laufen in jeder dem IEEE-Standard entsprechenden SCHEME-Implementierung.
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: 7550

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: 5382

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: 1497

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

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: 5144

ETAPS 2009 was the 12th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, and WING),fourtutorials,andseveninvitedlectures(excludingthosethatweres- ci?c to the satellite events). The ?ve main conferences received 532 submissions (including 30 tool demonstration papers), 141 of which were accepted (10 tool demos), giving an overall acceptance rate of about 26%, with most of the c- ferences at around 25%. Congratulations therefore to all the authors who made it to the ?nal programme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that youwill allcontinue submitting to ETAPS and contributing towards making it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.
Read More

Author: Len Gelman

Publisher: Springer Science & Business Media

ISBN: 9048123119

Category: Technology & Engineering

Page: 726

View: 3129

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

Author: Philip A. Laplante

Publisher: CRC Press

ISBN: 9780849326912

Category: Technology & Engineering

Page: 560

View: 3990

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: 8479

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

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: 691

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: Harold Abelson

Publisher: Mit Press

ISBN: 9780262011532

Category: Computers

Page: 657

View: 5795

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: Cosmin Radu Popa

Publisher: Springer Science & Business Media

ISBN: 9781461404033

Category: Technology & Engineering

Page: 449

View: 3523

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: Bahaa E. A. Saleh,Malvin Carl Teich

Publisher: John Wiley & Sons

ISBN: 9783527406777

Category: Optoelectronics

Page: 1406

View: 1189

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: Allen B. Downey

Publisher: O'Reilly Germany

ISBN: 3868999477

Category: Computers

Page: 312

View: 1783

Python ist eine moderne, interpretierte, interaktive und objektorientierte Skriptsprache, vielseitig einsetzbar und sehr beliebt. Mit mathematischen Vorkenntnissen ist Python leicht erlernbar und daher die ideale Sprache für den Einstieg in die Welt des Programmierens. Das Buch führt Sie Schritt für Schritt durch die Sprache, beginnend mit grundlegenden Programmierkonzepten, über Funktionen, Syntax und Semantik, Rekursion und Datenstrukturen bis hin zum objektorientierten Design. Jenseits reiner Theorie: Jedes Kapitel enthält passende Übungen und Fallstudien, kurze Verständnistests und kleinere Projekte, an denen Sie die neu erlernten Programmierkonzepte gleich ausprobieren und festigen können. Auf diese Weise können Sie das Gelernte direkt anwenden und die jeweiligen Programmierkonzepte nachvollziehen. Lernen Sie Debugging-Techniken kennen: Am Ende jedes Kapitels finden Sie einen Abschnitt zum Thema Debugging, der Techniken zum Aufspüren und Vermeiden von Bugs sowie Warnungen vor entsprechenden Stolpersteinen in Python enthält. Starten Sie durch: Beginnen Sie mit den Grundlagen der Programmierung und den verschiedenen Programmierkonzepten, und lernen Sie, wie ein Informatiker zu programmieren.
Read More

Fiscal Years 2004-2005

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

Publisher: National Academies Press

ISBN: 0309100364

Category: Technology & Engineering

Page: 134

View: 2387

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: 5014

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

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: 7789

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

Author: Zhihong Qian,Lei Cao,Weilian Su,Tingkai Wang,Huamin Yang

Publisher: Springer Science & Business Media

ISBN: 3642257895

Category: Technology & Engineering

Page: 846

View: 5180

CSIE 2011 is an international scientific Congress for distinguished scholars engaged in scientific, engineering and technological research, dedicated to build a platform for exploring and discussing the future of Computer Science and Information Engineering with existing and potential application scenarios. The congress has been held twice, in Los Angeles, USA for the first and in Changchun, China for the second time, each of which attracted a large number of researchers from all over the world. The congress turns out to develop a spirit of cooperation that leads to new friendship for addressing a wide variety of ongoing problems in this vibrant area of technology and fostering more collaboration over the world. The congress, CSIE 2011, received 2483 full paper and abstract submissions from 27 countries and regions over the world. Through a rigorous peer review process, all submissions were refereed based on their quality of content, level of innovation, significance, originality and legibility. 688 papers have been accepted for the international congress proceedings ultimately.
Read More