Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | 9781608074891:ONLINE Show nearby items on shelf |
Title: | Microwave mixer technology and applications |
Author(s): |
Bert Henderson Edmar Camargo |
Date: | 2013 |
Publisher: | Artech House |
Size: | 1 online resource (864 p.) |
Contents: | Chapter 1 Origins of Electronic Mixers -- History of Radio Development -- Single Ended Circuits -- Singly Balanced Mixers -- Doubly Balanced Star Circuit -- Special Receiver Architectures -- Harmonic Mixers -- Self-Oscillating Balanced Mixers -- Dis tributed Mixers . Chapter 2 System Parameters and Performance -- System Overview -- Digital Modulation -- Error Performance -- Receiver Architectures -- Mixer Linearity . Noise -- Noise and Distortion in Communication Subsystems -- Dynamic Range . Chapter 3 Semiconductor Modeling -- Modeling Schottky Diodes -- Modeling Bipolar Transistors -- Modeling Field Effect Transistors . Chapter 4 Passive and Active Coupling Structures -- Balun Structure -- Marchand Balun -- Microstrip Baluns -- Lumped Elements -- S lotline Type -- Active Approach -- Hybrid Couplers (Magic-T) -- Quadrature Hybrids -- Appendix 4A Guanella 4-1 Transformer -- Appendix 4B Compensated Balun -- Appendix 4C Active FET Power Divider -- Appendix 4D Alternative FET Power Divider -- Appendix 4E Active FET Combiner |
Chapter 5 Diode Mixer Theory -- History of Linear and Nonlinear Analysis -- Linear Mixer Analysis -- Frequency Conversion Matrix -- Computer Simulation Example -- Large Signal Conversion Analysis -- Subharmonic Mixer -- Balanced Diode Circuits -- Mi xer Circuit Synthesis -- Appendix 5A Parasitic Losses in Diode Mixers -- Appendix 5B Conversion Matrix Including Parasitics -- Appendix 5C Image Imp. and RF-Image Conversion -- Appendix 5D Saleh Exp. Diode Mixer Performance -- Chapter 6 Diode Applications -- Single Ended -- Singly Balanced -- Doubly Balanced -- Triply Balanced -- Quadrature Mixers -- Subharmonic Mixers -- Chapter 7 BJT Mixer Theory -- Low Frequency Mixer -- Conversion Matrix -- Mixer Properties -- Design Study: CDMA Down-Converter -- Ca scode Approach -- Singly Balanced Mixer -- Singly Balanced Subharmonic -- Doubly Balanced Mixer -- WiFi 2.45 GHz Gilbert Mixer -- Differential Triple Level -- Doubly Balanced Subharmonic -- Subharmonic Triple Level -- Appendix 7A Gummel Poon Parameters -- Appendix 7B Spice Parameters . Chapter 8 Bipolar Junction Transistor Applications -- Single Ended -- Parallel Combined Mixers -- Integrated Circuit Topologies -- Doubly Balanced -- Image Reject -- Subharmonic Topologies | |
Chapter 9 CFET Mixer Theory -- Gate LO Injection -- Source LO Injection -- Drain LO Injection -- Resistive Approach -- Cascode Mixer -- Singly Balanced -- Doubly Balanced -- Subharmonic Mixing -- Distributed Mixers -- Appendix 9A NE67300 Parameters -- Chapter 10 Passive FET Applications -- Single Ended -- Floating Approach -- Singly Balanced -- Doubly Balanced -- Distributed GaAs Applications . Chapter 11 Active FET Applications -- Single Ended -- Singly Balanced Doubly Balanced -- Subharmonic Appro ach -- Self-Oscillating FET Mixer -- Distributed Applications | |
ISBN: | 9781608074891 |
Series: | Artech House microwave library |
Series: | eBooks |
Series: | Artech eBooks |
Keywords: | Microwave mixers. |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | TK5105.5.T36::2011 Show nearby items on shelf |
Title: | Computer networks |
Author(s): |
Andrew S. Tanenbaum David Wetherall |
Date: | 2011 |
Edition: | 9780132126953 |
Publisher: | Boston : Pearson Prentice Hall |
Size: | 933 p |
Contents: | Uses of computer networks -- network hardware -- Network software -- Reference models -- Example networks -- Network standardization -- Metric units -- The theoretical basis for data communication -- Guided transmission media -- wireless transmissio n -- Communication satellites -- Digital modulation and multiplexing -- The public switched telephone network - The mobile telephone system -- Cable television -- Data link layer design issues -- Error detection and correction -- Elementary data link prot ocols -- Sliding window protocols -- Example data link protocols -- The channel allocation problem -- Multiple access protocols -- Ethernet -- Wireless lans -- Broadband wireless -- Bluetooth -- RFID -- Data link layer switching -- Network layer design is sues -- Routing algorithms -- Congestion control algorithms -- Quality of service -- Internetworking -- The network layer in the internet -- The transport service -- Elements of transport protocols -- Congestion control -- The internet transport protocols : UDP -- The internet transport protocols: TCP -- Performance issues -- Delay-tolerant networking -- DNS-The domain name system -- Electronic mail -- The world wide web -- Streaming audio and video -- Content delivery -- Cryptography -- Symmetric-key algo rithms -- Public-key algorithms -- Digital signatures -- Management of public keys -- Communication security -- Authentication protocols -- Email security -- Web security -- Social issues. |
ISBN: | 9780132126953 |
Keywords: | Computer networks. |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Location: | MAIN |
Call number: | SPRINGER-2016-9783319275178:ONLINE Show nearby items on shelf |
Title: | Simulation-Driven Modeling and Optimization ASDOM, Reykjavik, August 2014 |
Author(s): | |
Date: | 2016 |
Edition: | 1st ed. 2016 |
Size: | 1 online resource (51 p.) |
Note: | 10.1007/978-3-319-27517-8 |
Contents: | Numerical Aspects of Model Order Reduction for Gas Transportation Networks (Grundel, S., Hornung, N. & Roggendorf, S.) -- Parameter Studies for Energy Networks with Examples from Gas Transport (Clees, T.) -- Fast Multi-Objective Aerodynamic Optimiza tion Using Space-Mapping-Corrected Multi-Fidelity Models and Kriging Interpolation (Leifsson, L. et al.) -- Assessment of Inverse and Direct Methods for Airfoil and Wing Design (Zhang, M. & Rizzi, A.W.) -- Performance Optimization of EBG-Based Common Mode Filters for Signal Integrity Applications (Orlandi, A. et al.) -- Unattended Design of Wide-Band Planar Filters using a Two-Step Aggressive Space Mapping (ASM) Optimization Algorithm (Boria, V. et al.) -- Two-Stage Gaussian Process Modeling of Microwave Structures for Design Optimization (Jacobs, J.P. & Koziel, S.) -- Efficient Reconfigurable Microstrip Patch Antenna Modeling Exploiting Knowledge Based Artificial Neural Networks (Simsek, M. & Aoad, A.) -- Expedited Simulation-Driven |
Multi-Objective Design Optimization of Quasi-Isotropic Dielectric Resonator Antenna (Bekasiewicz, A. et al.) -- Optimal Design of Photonic Crystal Nanostructures (Hassan, A.-K., Rafat, N. & Mohamed, A.S.A.) -- Design Optimization of LNAs and Reflect array Antennas using the Full-Wave Simulation based Artificial Intelligence Models with the Novel Metaheuristic Algorithms (Güneş, F., Demirel, S. & Nesil, S.) -- Stochastic Decision-Making in Waste Management Using a Firefly Algorithm-Driven Simulation -Optimization Approach for Generating Alternatives (Yeomans, J.S., Imanirad, R. & Yang, X.-S.) -- Linear and Nonlinear System Identification using Evolutionary Optimisation (Worden, K. et al.) -- A Surrogate-Model-Assisted Evolutionary Algorithm for Compu tationally Expensive Design Optimization Problems with Inequality Constraints (Liu, B., Zhang, Q. & Gielen, G.) -- Sobol Indices for Dimension Adaptivity in Sparse Grids (Dwight, R.P., Desmedt, S.G.L., & Omrani, P.S.). | |
ISBN: | 9783319275178 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Proceedings in Mathematics & Statistics: 153 |
Keywords: | Mathematics , Computer mathematics , Mathematical models , Calculus of variations , Mathematics , Calculus of Variations and Optimal Control Optimization , Mathematical Modeling and Industrial Mathematics , Computational Science and Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319066745:ONLINE Show nearby items on shelf |
Title: | Input Modeling with Phase-Type Distributions and Markov Models [electronic resource] : Theory and Applications |
Author(s): |
Peter Buchholz Jan Kriege Iryna Felko |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | Containing a summary of several recent results on Markov-based input modeling in a coherent notation, this book introduces and compares algorithms for parameter fitting and gives an overview of available software tools in thearea. Due to progress mad e in recent years with respect to new algorithms to generate PH distributions and Markovian arrival processes from measured data, the models outlined are useful alternatives to other distributions or stochasticprocesses used for input modeling. Graduate s tudents and researchers in applied probability, operations research and computer science along with practitioners using simulation or analytical models for performance analysis and capacityplanning will find the unified notation and up-to-date results pre sented useful. Input modeling is the key step in model based system analysis to adequately describe the load of a system using stochastic models. The goal of inputmodeling is to find a stochastic model to describe a sequence ofmeasurements from a real sys tem to model for example the inter-arrival times of packets in a computer network or failure times of components in a manufacturing plant.Typical application areas are performance and dependability analysis of computer systems, communication networks, log istics or manufacturing systems but also the analysis of biological or chemical reaction networks and similarproblems. Often the measured values have a high variability and are correlated. Its been known for a long time that Markov based models like phase type distributions or Markovian arrival processes are very general and allow one tocapture even complex behaviors. However, the parameterization of these models results often in a complex and non-linear optimization problem. Only recently, several new re sults about the modeling capabilities of Markov based models andalgorithms to fit the parameters of those models have been published |
Contents: | 1. Introduction |
2. Phase Type Distributions | |
3. Parameter Fitting for Phase Type Distributions | |
4. Markovian Arrival Processes | |
5. Parameter Fitting of MAPs | |
6. Stochastic Models including PH Distributions and MAPs | |
7. Software Tools | |
8. Conclusion | |
References | |
Index | |
ISBN: | 9783319066745 |
Series: | eBooks |
Series: | SpringerLink |
Series: | SpringerBriefs in Mathematics, 2191-8198 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer software , Distribution (Probability theory) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781461475514:ONLINE Show nearby items on shelf |
Title: | Surrogate-Based Modeling and Optimization [electronic resource] : Applications in Engineering |
Author(s): |
Slawomir Koziel Leifur Leifsson |
Date: | 2013 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Contemporary engineering design is heavily based on computer simulations. Accurate, high-fidelity simulations are used not only for design verification but, even more importantly, to adjust parameters of the system to have it meetgiven performance re quirements. Unfortunately, accurate simulations are often computationally very expensive with evaluation times as long as hours or even days per design, making design automation using conventional methodsimpractical. These and other problems can be allevi ated by the development and employment of so-called surrogates that reliably represent the expensive, simulation-based model of the system or device of interest but they are much morereasonable and analytically tractable. This book is about surrogate-bas ed modeling and optimization techniques, and their applications for solving difficult and computationally expensive engineering design problems. It beginsbypresentingthe basic concepts and formulations of the surrogate-based modeling and optimization para digm and thendiscusses relevant modeling techniques, optimization algorithms and design procedures, as well as state-of-the-artdevelopments. The chapters are self-contained with basic concepts and formulations along with applications and examples. The boo k will be useful toresearchers in engineering and mathematics, in particular those who employcomputationally heavy simulations in their design work |
Note: | Springer eBooks |
Contents: | Space Mapping for Electromagnetic |
Simulation | |
Driven Design Optimization, Slawomir Koziel, Leifur Leifsson, and Stanislav Ogurtsov | |
Surrogate | |
Based Circuit Design Centering, Abdel | |
Karim S.O. Hassan and Ahmed S.A. Mohamed | |
Simulation | |
Driven Antenna Design Using Surrogate | |
Based Optimization, Slawomir Koziel, Stanislav Ogurtsov, and Leifur Leifsson | |
Practical Application of Space Mapping Techniques to the Synthesis of CSRR | |
based Artificial Transmission Lines, Ana Rodrguez, Jordi Selga, Ferran Martn and Vicente E. Boria | |
The Efficiency of Difference Mapping on Space Mapping Based Optimi | |
ISBN: | 9781461475514 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science Mathematics , Mathematical optimization , Astronautics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781461453178:ONLINE Show nearby items on shelf |
Title: | Introduction to Queueing Systems with Telecommunication Applications [electronic resource] |
Author(s): |
Laszlo Lakatos Laszlo Szeidl Miklos Telek |
Date: | 2013 |
Publisher: | Boston, MA : Springer US : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The book is composed of two main parts: mathematical background and queueing systems with applications. The mathematical background is a self containing introduction to the stochastic processes of the later studies queueingsystems. It starts with a q uick introduction to probability theory and stochastic processes and continues with chapters on Markov chains and regenerative processes. More recent advances of queueing systems are based on phase typedistributions, Markov arrival processes and quasy bir th death processes, which are introduced in the last chapter of the first part. The second part is devoted to queueing models and their applications. After the introduction of thebasic Markovian (from M/M/1 to M/M/1//N) and non-Markovian (M/G/1, G/M/1) qu eueing systems, a chapter presents the analysis of queues with phase type distributions, Markov arrival processes (from PH/M/1 to MAP/PH/1/K). The nextchapter presents the classical queueing network results and the rest of this part is devoted to the appl ication examples. There are queueing models for bandwidth charing with different traffic classes, slotted multiplexers, ATMswitches, media access protocols like Aloha and IEEE 802.11b, priority systems and retrial systems. An appendix supplements the tech nical content with Laplace and z transformation rules, Bessel functions and a list of notations. Thebook contains examples and exercises throughout and could be used for graduate students in engineering, mathematics and sciences |
Note: | Springer eBooks |
Contents: | Preface |
Introduction to probability theory | |
Introduction to stochastic processes | |
Markov chains | |
Renewal and regenerative processes | |
Markov chains with special structures | |
Introduction to queueing systems | |
Markovian queueing systems | |
Non | |
Markovian queueing systems | |
Queueing systems with structured Markov chains | |
Queueing networks | |
Applied queueing systems | |
Functions and transforms | |
Exercises | |
References | |
ISBN: | 9781461453178 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer system performance , Distribution (Probability theory) , Telecommunication |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781461451730:ONLINE Show nearby items on shelf |
Title: | Scientific Astrophotography [electronic resource] : How Amateurs Can Generate and Use Professional Imaging Data |
Author(s): |
Gerald R Hubbell |
Date: | 2013 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Scientific Astrophotography is a work for those amateur astronomers looking for new challenges, once they have mastered visual observing and the basic imaging of various astronomical objects. It is a wonderful reference forscientifically-inclined obs ervers who want to learn the fundamentals of astrophotography with a firm emphasis on the discipline of scientific imaging. This book is a wealth of information and a distillation of ideas presented by adiverse set of sources and based on the most recent techniques, equipment, and data available. It also includes numerous exercises for the reader, to maximize the success and minimize the frustration inherent in the pursuit of thisspecific craft. Scientific Astrophotography is perfect for any amateur astro nomer who wants to go beyond just the process of making beautiful images and actually contribute to the science of astronomy! ...Gerald Hubbell's new book,Scientific Astrophotography, is the perfect companion for anyone dipping their toe into the digital imaging realm for the first time. The author answers all the questions people have when starting out, such as how do I get the mostbang for my buck, and how do I select the right CCD for my telescope? - Mike Simonsen, American Association of Variable Star Observers |
Note: | Springer eBooks |
Contents: | Foreword |
Acknowledgements | |
About the Author | |
Table of Contents | |
List of Figures | |
List of Tables | |
Preface | |
Chapter 1: Introduction to Scientific Astrophotography | |
PART I: Astronomical Imaging System (AIS) | |
Chapter 2: The Perfect AIS | |
Chapter 3: The Astrograph | |
The Imaging Telescope | |
Chapter 4: CCD Chip Performance, CCD Camera Basics, and Image Scaling Factors | |
Chapter 5: Telescope Mount Factors | |
Chapter 6: Imaging Filters and Auxiliary Optical/Mechanical/Electrical Components | |
Chapter 7: Astrograph and CCD Combinations | |
Chapter 8: Environmental and External Fac | |
ISBN: | 9781461451730 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Patrick Moore's Practical Astronomy Series, 1431-9756 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Computer vision , Astronomy , Photography, artistic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9783642182907:ONLINE Show nearby items on shelf |
Title: | Digital Sonar Design in Underwater Acoustics [electronic resource] : Principles and Applications |
Author(s): |
Qihu Li |
Date: | 2012 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Digital Sonar Design in Underwater Acoustics Principles and Applications provides comprehensive and up-to-date coverage of research on sonar design, including the basic theory and techniques of digital signal processing,basic concept of information t heory, ocean acoustics, underwater acoustic signal propagation theory, and underwater signal processing theory. This book discusses the general design procedure and approaches to implementation, the designmethod, system simulation theory and techniques, s onar tests in the laboratory, lake and sea, and practical validation criteria and methods for digital sonar design. It is intended for researchers in the fields of underwater signalprocessing and sonar design, and also for navy officers and ocean explorer s. Qihu Li is a professor at the Institute of Acoustics, Chinese Academy of Sciences, and an academician of the Chinese Academy of Sciences |
Note: | Springer eBooks |
Contents: | Brief history of digital sonar development |
Basic theory of digital signal processing | |
Detection and estimation theory of digital signal | |
General principle of sonar design | |
Design of digital sonar | |
The implementation method of various function of digital sonar | |
System simulation technique in digital sonar design | |
Examples of typical modern digital sonar | |
Software and hardware support and performance evaluation in digital sonar design | |
ISBN: | 9783642182907 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Advanced Topics in Science and Technology in China, 1995-6819 : v0 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Physical geography , Oceanography , Acoustics , Computer engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9783034804363:ONLINE Show nearby items on shelf |
Title: | Mathematical Optimization of Water Networks [electronic resource] |
Author(s): |
Alexander Martin Kathrin Klamroth Jens Lang Gnter Leugering Antonio Morsi Martin Oberlack Manfred Ostrowski Roland Rosen |
Date: | 2012 |
Publisher: | Basel : Springer Basel : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Water supply- and drainage systems and mixed water channel systems are networks whose high dynamic is determined and/or affected by consumer habits on drinking water on the one hand and by climate conditions, in particularrainfall, on the other hand. According to their size, water networks consist of hundreds or thousands of system elements. Moreover, different types of decisions (continuous and discrete) have to be taken in the water management. Thenetworks have to be optimized in terms of topology and operation by targeting a variety of criteria. Criteria may for example be economic, social or ecological ones and may compete with each other. The development of complex modelsystems and their use for deriving optimal decisions in water management is taking place at a rapid pace. Simulation and optimization methods originating in Operations Research have been used for several decades usually with verylimited direct cooperation with applied mathematics. The research presented here aims at bridging this gap, thereby opening up space for synergies and innovation. It is directly applicable for relevant practical problems and has beencarried out in cooperation with utility and dumping companies, infrastructure providers and planning offices. A close and di rect connection to the practice of water management has been established by involving application-orientedknow-how from the field of civil engineering. On the mathematical side all necessary disciplines were involved, including mixed-integer optimization, multi-objective and facility location optimization, numerics for cross-linked dynamictransportation systems and optimization as well as control of hybrid systems. Most of the presented research has been supported by the joint project Discret-continuous o ptimization of dynamic water systems of the federalministry of education and research (BMBF) |
Note: | Springer eBooks |
Contents: | Part I Optimization of Water Supply Networks |
Modelling and Numerical Simulation of Pipe Flow Problems in Water Supply Systems | |
Simulation and Continuous Optimization | |
Mixed Integer Optimizationof Water Supply Networks | |
Nonlinear and Mixed Integer Linear Programming | |
Part II Optimal Control of Sewer Networks | |
Optimal Control of Sewer Networks Problem Description | |
Modelling of Channel Flows with Transition Interface Separating Free Surface and Pressurized Channel Flows | |
Optimal Control of Sewer Networks Engineers View | |
Real | |
Time Control of Urban Drainage Systems | |
Performance | |
ISBN: | 9783034804363 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | International Series of Numerical Mathematics : v162 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science Mathematics , Mathematical optimization |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9781441905345:ONLINE Show nearby items on shelf |
Title: | Performance Models and Risk Management in Communications Systems [electronic resource] |
Author(s): |
Naln Glpnar Peter Harrison Ber Rstem |
Date: | 2011 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This volume covers recent developments in the design, operation, and management of telecommunication and computer network systems in performance engineering and addresses issues of uncertainty, robustness, and risk. Uncertaintyregarding loading and s ystem parameters leads to challenging optimization and robustness issues. Stochastic modeling combined with optimization theory ensures the optimum end-to-end performance of telecommunication or computer networksystems. In view of the diverse design optio ns possible, supporting models have many adjustable parameters and choosing the best set for a particular performance objective is delicate and time-consuming. An optimization based approachdetermines the optimal possible allocation for these parameters. Researchers and graduate students working at the interface of telecommunications and operations research will benefit from this book. Due to the practical approach, thisbook will also serve as a reference tool for scientists and engineers in telecommunica tion and computer networks who depend upon optimization |
Note: | Springer eBooks |
Contents: | Preface |
Foreword | |
Distributed and Robust Rate Control for Communication Networks Tansu Alpcan | |
Of Threats and Costs: A Game | |
Theoretic Approach to Security Risk Management Patrick MaillE, Peter Reichl, Bruno Tuffin | |
Computationally Supported Quantitative Risk Management for Information Systems Denis Trek | |
Cardinality Constrained Critical Node Detection Problem Ashwin Arulselvan, Clayton W. Commander, Oleg Shylo, Panos M. Pardalos | |
Reliability Based Routing Algorithms for Energy Aware Communication in Wireless Sensor Networks Janos Levendovszky, Andras Olah, Gergely Treplan, L | |
ISBN: | 9781441905345 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Springer Optimization and Its Applications, 1931-6828 : v46 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer system performance , Mathematical optimization , Operations research , Distribution (Probability theory) , Telecommunication |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9781441916365:ONLINE Show nearby items on shelf |
Title: | Complex Intelligent Systems and Their Applications [electronic resource] |
Author(s): |
Fatos Xhafa Leonard Barolli Petraq J Papajorgji |
Date: | 2010 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Complex Intelligent Systems and Their Applications presents the most up-to-date advances in complex, software intensive and intelligent systems. Each self-contained chapter is the contribution of distinguished experts inareas of research relevant to the study of complex, intelligent and software intensive systems. These contributions focus on the resolution of complex problems from areas of networking, optimization and artificial intelligence. Thisbook is divided into three parts focusing on complex intelligent network systems, efficient resource management in complex systems, and artificial data mining systems. Through the presentation of these diverse areas of application, thevolume provides insights into the multidisciplinary nature of complex pro blems. Throughout the entire book, special emphasis is placed on optimization and efficiency in resource management, network interaction, and intelligent systemdesign. Key Features of Complex Intelligent Systems and Their Applications include: - Considers the multi-disciplinary nature of complex problems in intelligent systems and a range of state-of-the-art techniques used to resolvethese problems. - Graduate students as well as researchers will find this a useful guide to the most up-to-date techniques available to resolve complex problems in networking, optimization, and artificial intelligence. - Real lifeexamples presented throughout the book extend the texts suitability to practitioners. This book presents the most recent interdisciplinary results i n this area of research and can serve as a valuable tool for researchers interestedin defining and resolving the types of complex problems that arise in networking, optimization, and artificial intelligence |
Note: | Springer eBooks |
Contents: | Efficient Integration of Complex Information Systems in the ATM Domain with Explicit Expert Knowledge Models |
An Ontology | |
Based Approach for Supporting Business | |
IT Alignment | |
EPCIS | |
Based Supply Chain Event Management | |
Cost | |
Benefit Analysis to Hedge with Third | |
Party Producers in Demand | |
Driven Production | |
A Security Assurance Model to Holistically Assess the Information Security Posture | |
Risk | |
Aware Business Process ManagementEstablishing the Link Between Business and Security | |
Self | |
Optimised Tree Overlays Using Proximity | |
Driven Self | |
Organised Agents | |
Filtering Order Adaptation B | |
ISBN: | 9781441916365 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Springer Optimization and Its Applications, 1931-6828 : v41 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer network architectures , Computer system performance , Computer science , Artificial intelligence , Operations research |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2009-9780387497068:ONLINE Show nearby items on shelf |
Title: | Queueing Theory [electronic resource] : A Linear Algebraic Approach |
Author(s): |
Lester Lipsky |
Date: | 2009 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Queueing Theory deals with systems where there is contention for resources, but the demands are only known probabilistically. This book can be considered as either a monograph or a textbook on the subject, and thus is aimed at twoaudiences. It can be useful for those who already know queueing theory, but would like to know more about the linear algebraic approach. It can also be used as a textbook in a first course on queueing theory for students who feel morecomfortable with matrices and algebraic a rguments than with probability theory. The equations are well-suited to easy computation. The text has much discussion on how various properties can be computed using any language that hasbuilt-in matrix operations (e.g., MATLAB, Mathematica, Maple). To h elp with physical insight, there are over 80 figures, numerous examples, and many exercises distributed throughout the book. There are over 50 books on queueing theorythat are available today and most practitioners have several of them on their shelves. B ecause of its unusual approach, this book would be an excellent addition. It would also make a good supplement where another book was selected asthe primary text for a course in system performance modelling. This second edition has been greatly expanded a nd updated thoughout, including a new chapter on semi-Markov processes and new material on representations of distributions.In particular, there is much discussion of power-tailed distributions and their effects on queues. Lester Lipsky is a professor in the Department of Computer Science and Engineering at the University of Connecticut |
Note: | Springer eBooks |
Contents: | M/M/1 Queue |
M E Functions | |
M/G/1 Queue | |
G/M/1 Queue | |
M/G/ | |
Type Systems | |
G/G/1/N/Loop | |
Semi Markov Process | |
L A Q T | |
ISBN: | 9780387497068 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer software , Information systems , Operations research , Distribution (Probability theory) , Economics, Mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9783540787259:ONLINE Show nearby items on shelf |
Title: | Retrial Queueing Systems [electronic resource] : A Computational Approach |
Author(s): |
Jess R Artalejo Antonio Gmez-Corral |
Date: | 2008 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The application of auto-repeat facilities in telephone systems, as well as the use of random access protocols in computer networks, have led to growing interest in retrial queueing models. Since much of the theory of retrialqueues is complex from an analytical viewpoint, with this book the authors give a comprehensive and updated text focusing on approximate techniques and algorithmic methods for solving the analytically intractable models. RetrialQueueing Systems: A Computational Approach also Prese nts motivating examples in telephone and computer networks. Establishes a comparative analysis of the retrial queues versus standard queues with waiting lines and queues with losses.Integrates a wide range of techniques applied to the main M/G/1 and M/M/c retrial queues, and variants with general retrial times, finite population and the discrete-time case. Surveys basic results of the matrix-analytic formalism andemphasizes the related tools employed in retrial queues. Discusses a few selected retrial que ues with QBD, GI/M/1 and M/G/1 structures. Features an abundance of numerical examples, and updates the existing literature. The book isintended for an audience ranging from advanced undergraduates to researchers interested not only in queueing theory, bu t also in applied probability, stochastic models of the operations research, and engineering. The prerequisite is agraduate course in stochastic processes, and a positive attitude to the algorithmic probability |
Note: | Springer eBooks |
Contents: | An Introduction to Retrial Queueing Systems |
and Motivating Examples | |
A General Overview | |
Computational Analysis of Performance Descriptors | |
Limiting Distribution of the System State | |
Busy Period | |
Waiting Time | |
Other Descriptors | |
Retrial Queueing Systems Analyzed Through the Matrix | |
Analytic Formalism | |
The Matrix | |
Analytic Formalism | |
Selected Retrial Queues with QBD Structure | |
Selected Retrial Queues with GI/M/1 and M/G/1 Structures | |
ISBN: | 9783540787259 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Operations research , Economics Statistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9783540747390:ONLINE Show nearby items on shelf |
Title: | High Performance Computing in Science and Engineering `07 [electronic resource] : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007 |
Author(s): |
Wolfgang E Nagel Dietmar Krner Michael Resch |
Date: | 2008 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the Stuttgart High Performance Computing Center (HLRS) for the year 2007. The reports cover allfields of computational science and engineering, ranging from CFD and computational physics and chemistry to computer science, with a special emphasis on industrially relevant applications. Presenting results for both vector-based andmicroprocessor-based systems, the book makes it possible to compare the performance levels and usability of various architectures. As the HLRS operates the largest NEC SX-8 vector system in the world, this book gives an excellentinsight into the potential of such systems. The book further covers th e main methods in high performance computing. Its outstanding results in achieving the highest performance for production codes are of particular interest for bothscientists and engineers. The book comes with a wealth of coloured illustrations and tables |
Note: | Springer eBooks |
ISBN: | 9783540747390 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Chemistry , Computer science , Computer science Mathematics , Mathematical physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9780387094212:ONLINE Show nearby items on shelf |
Title: | Level Crossing Methods in Stochastic Models [electronic resource] |
Author(s): |
Percy H Brill |
Date: | 2008 |
Publisher: | Boston, MA : Springer US : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Since its inception in 1974, the level crossing approach for analyzing a large class of stochastic models has become increasingly popular among researchers. This volume traces the evolution of level crossing theory for obtainingprobability distributi ons of state variables and demonstrates solution methods in a variety of stochastic models including: queues, inventories, dams, renewal models, counter models, pharmacokinetics, and the natural sciences. Resultsfor both steady-state and transient distrib utions are given, and numerous examples help the reader apply the method to solve problems faster, more easily, and more intuitively. The book includes introductory material for readers new tothe area, as well as advanced material for experienced users of the method, highlighting its usefulness for analyzing a broad class of models and illustrating its flexibility and adaptivity. The concepts, techniques, examples,applications and theoretical results in this book may suggest potentially new theory and new applications. The result is an essential resource for researchers, students, and professionals in operations research, management science,engineering, applied probability, statistics, actuarial science, mathematics, and the natural sciences |
Note: | Springer eBooks |
Contents: | Preface |
Origin of level crossing method | |
Sample path and system point | |
M/G/1 queues and variants | |
M/M/C queues | |
G/M/c queues | |
Dams and inventories | |
Multi | |
dimensional models | |
Embedded level crossing methods | |
Level crossing estimation | |
Additional applications | |
References | |
Partial bibliography | |
Index | |
ISBN: | 9780387094212 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | International Series in Operations Research & Management Science, 0884-8289 : v123 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer system performance , Distribution (Probability theory) , Industrial engineering , Business logistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9783540361831:ONLINE Show nearby items on shelf |
Title: | High Performance Computing in Science and Engineering 06 [electronic resource] : Transactions of the High Performance Computing Center Stuttgart (HLRS) 2006 |
Author(s): |
Wolfgang E Nagel Willi Jger Michael Resch |
Date: | 2007 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the High Performance Computing Center Stuttgart (HLRS) for the year 2006. The reports cover allfields of computational science and engineering ranging from CFD via computational physics and chemistry to computer science with a special emphasis on industrially relevant applications. Presenting results for both vector-systems andmicro-processor based systems the book allow s to compare performance levels and usability of various architectures. As HLRS operates the largest NEC SX-8 vector system in the world this book gives an excellent insight into thepotential of vector systems. The book covers the main methods in high per formance computing. Its outstanding results in achieving highest performance for production codes are of particular interest for both the scientist and theengineer. The book comes with a wealth of coloured illustrations and tables of results |
Note: | Springer eBooks |
ISBN: | 9783540361831 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Chemistry , Computer science , Computer science Mathematics , Mathematical physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2005-9781402036316:ONLINE Show nearby items on shelf |
Title: | An Introduction to Queueing Theory and Matrix-Analytic Methods [electronic resource] |
Author(s): |
L Breuer D Baum |
Date: | 2005 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The textbook contains the records of a two-semester course on queueing theory, including an introduction to matrix-analytic methods. The course is directed to last year undergraduate and first year graduate students of appliedprobability and computer science, who have already completed an introduction to probability theory. Its purpose is to present material that is close enough to concrete queueing models and their applications, while providing a soundmathematical foundation for their analysis. A pr ominent part of the book will be devoted to matrix-analytic methods. This is a collection of approaches which extend the applicability of Markov renewal methods to queueing theory byintroducing a finite number of auxiliary states. For the embedded Markov chains this leads to transition matrices in block form resembling the structure of classical models. Matrix-analytic methods have become quite popular in queueingtheory during the last twenty years. The intention to include these in a students' introducti on to queueing theory has been the main motivation for the authors to write the present book. Its aim is a presentation of the most importantmatrix-analytic concepts like phase-type distributions, Markovian arrival processes, the GI/PH/1 and BMAP/G/1 queu es as well as QBDs and discrete time approaches |
Note: | Springer eBooks |
Contents: | List of Figures. Foreword |
Queues: The Art of Modelling | |
Part I: Markovian Methods. Markov Chains and Queues in Discrete Time. Homogeneous Markov Processes on Discrete State Spaces. Markovian Queues in Continuous Time. Markovian Queueing Networks | |
Part II: Semi | |
Markovian Methods. Renewal Theory. Markov Renewal Theory. Semi | |
Markovian Queues | |
Part III: Matrix | |
Analytic Methods. Phase | |
Type Distributions. Markovian Arrival Processes. The GI/PH/1 Queue. The BMAP/G/1 Queue. Discrete Time Approaches. Spatial Markovian Arrival Processes. Appendix | |
References | |
Index | |
ISBN: | 9781402036316 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer Communication Networks , Computer system performance , Computer science , Distribution (Probability theory) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783662097755:ONLINE Show nearby items on shelf |
Title: | Robust Control Systems Theory and Case Studies |
Author(s): |
Uwe Mackenroth |
Date: | 2004 |
Size: | 1 online resource (520 p.) |
Note: | 10.1007/978-3-662-09775-5 |
Contents: | 1 Introduction -- 2 Rational Transfer Functions -- 3 SISO Feedback Systems -- 4 Classical Design Methods -- 5 Linear Dynamical Systems -- 6 Basic Properties of Multivariable Feedback Systems -- 7 Norms of Systems and Performance -- 8 |
H2 Optimal Control -- 9 H? Optimal Control: Riccati-Approach -- 10 H? Optimal Control: LMI-Approach and Applications -- 11 Case Studies for H2 and H? Optimal Control . -- 12 Representation of Uncertainty -- 13 Synthesis of Robust | |
Controllers -- 14 Case Studies for Robust Control -- A Mathematical Background -- Notation and Symbols | |
ISBN: | 9783662097755 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , System theory , Computer mathematics , Mathematical models , Control engineering , Robotics , Mechatronics , Mathematics , Mathematical Modeling and Industrial Mathematics , Computational Mathematics and Numerical Analysis , Control , Control, Robotics, Mechatronics , Systems Theory, Control |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9781475741377:ONLINE Show nearby items on shelf |
Title: | Metaheuristics: Computer Decision-Making |
Author(s): |
Mauricio G. C Resende |
Date: | 2004 |
Size: | 1 online resource (719 p.) |
Note: | 10.1007/978-1-4757-4137-7 |
Contents: | 1 A path relinking algorithm for the generalized assignment problem -- 2 The PROBE metaheuristic for the multiconstraint knapsack problem -- 3 Lagrangian heuristics for the linear ordering problem -- 4 Enhancing MA performance by |
using matching-based recombination -- 5 Multi-cast ant colony system for the bus routing problem -- 6 Study of genetic algorithms with crossover based on confidence intervals as an alternative to classical least squares estimation | |
methods for nonlinear models -- 7 Variable neighborhood search for nurse rostering problems -- 8 A Potts neural network heuristic for the class/teacher timetabling problem -- 9 Genetic algorithms for the single source capacitated | |
location problem -- 10 An elitist genetic algorithm for multiobjective optimization -- 11 HSF: The iOpt’s framework to sasily design metaheuristic methods -- 12 A distance-based selection of parents in genetic algorithms -- 13 | |
Experimental pool design: Input, output and combination strategies for scatter search -- 14 Evolutionary proxy tuning for expensive evaluation functions: A real-case application to petroleum reservoir optimization -- 15 An analysis of | |
solution properties of the graph coloring problem -- 16 Developing classification techniques from biological databases using simulated annealing -- 17 A new look at solving minimax problems with coevolutionary genetic algorithms -- 18 | |
A performance analysis of tabu search for discrete-continuous scheduling problems -- 19 Elements for the description of fitness landscapes associated with local operators for layered drawings of directed graphs -- 20 Training multi | |
layer perceptron network using a genetic algorithm as a global optimizer -- 21 Metaheuristics applied to power systems -- 22 On the behavior of ACO algorithms: Studies on simple problems -- 23 Variable neighborhood search for the | |
k-cardinality tree -- 24 Heuristics for large strip packing problems with guillotine patterns: An empirical study -- 25 Choosing search heuristics by non-stationary reinforcement learning -- 26 GRASP for linear integer programming -- | |
27 Random start local search and tabu search for a discrete lot-sizing and scheduling problem -- 28 New benchmark instances for the Steiner problem in graphs -- 29 A memetic algorithm for communication network design taking into | |
consideration an existing network -- 30 A GRASP heuristic for the capacitated minimum spanning tree problem using a memory-based local search strategy -- 31 A GRASP-tabu search algorithm for school timetabling problems -- 32 A local | |
search approach for the pattern restricted one dimensional cutting stock problem -- 33 An ant system algorithm for the mixed vehicle routing problem with backhauls | |
ISBN: | 9781475741377 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Optimization: 86 |
Keywords: | Computer science , Computer science , Artificial intelligence , Mathematical models , Mathematical optimization , Computer Science , Artificial Intelligence (incl. Robotics) , Optimization , Discrete Mathematics in Computer Science , Mathematical Modeling and Industrial Mathematics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783642558764:ONLINE Show nearby items on shelf |
Title: | High Performance Computing in Science and Engineering ’03 Transactions of the High Performance Computing Center Stuttgart (HLRS) 2003 |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (478 p.) |
Note: | 10.1007/978-3-642-55876-4 |
Contents: | Earth Sciences -- High-Resolution Studies of Transport Processes in the Atmospheric Boundary Layer Using the Synergy of Large Eddy Simulation and Measurements of Advanced Lidar Systems -- High Resolution Climate Change Simulation for |
Central Europe -- Water on Mars -- Viscosity Stratification and a 3-D Compressible Spherical Shell Model of Mantle Evolution -- Physics -- Collisional Dynamics of Black Holes, Star Clusters and Galactic Nuclei -- Formation and | |
Propagation of Jets Around Compact Objects -- Large Scale Simulations of Jets in Dense and Magnetised Environments -- Crack Propagation in Icosahedral Model Quasicrystals -- Structure and Spectrum of Poly-Porphyrin -- How Do Droplets | |
Depend on the System Size? Droplet Condensation and Nucleation in Small Simulation Cells -- Solid State Physics -- Numerical Studies of Collective Effects in Nano-Systems -- Gas-Phase Epitaxy Grown InP(001) Surfaces From Real-Space | |
Finite-Difference Calculations -- Amorphous Silica at Surfaces and Interfaces: Simulation Studies -- Quantum Monte-Carlo Simulations of Correlated Bosonic and Fermionic Systems -- Ab initio Simulation of Clusters: Modeling the | |
Deposition Dynamics and the Catalytic Properties of PdN on MgO Surface F-Centers -- Reactive Flows -- DNS of Turbulent Premixed CO/H2/Air Flames -- Transition from Stationary to Rotating Bound States of Dissipative Solitons -- | |
Computational Fluid Dynamics -- Investigation of the Flow Randomization Process in a Transitional Boundary Layer -- Numerical Simulation of 3D Unsteady Heat Transfer at Strongly Deformed Droplets at High Reynolds Numbers -- 3D | |
Simulations of Supersonic Chemically Reacting Flows -- Numerical Investigation of Semi-Turbulent Pipe Flow -- Numerical Simulation of Forced Breakup of a Liquid Jet -- The Effect of Impinging Wakes on the Boundary Layer of a | |
Thin-Shaped Turbine Blade -- Numerical High Lift Research II -- Prediction of the Model Deformation of a High Speed Transport Aircraft Type Wing by Direct Aeroelastic Simulation -- Rayleigh-Bénard Convection at Large Aspect Ratios -- | |
Chemistry -- Quantum Chemical Calculations of Transition Metal Complexes -- Quantum Mechanical Studies of Boron Clustering in Silicon -- Protonation States of Methionine Aminopeptidase Studied by QM/MM Car-Parrinello Molecular Dynamics | |
Simulations -- Molecular Transport Through Single Molecules -- Computer Science -- Towards a Holistic Understanding of the Human Genome by Determination and Integration of Its Sequential and Three-Dimensional Organization -- Efficient | |
and Object-Oriented Libraries for Particle Simulations -- SKaMPI — Including More Complex Communication Patterns -- Performance Analysis Using the PARbench Benchmark System | |
ISBN: | 9783642558764 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Chemoinformatics , Computer science , Computer mathematics , Physics , Computational intelligence , Fluid mechanics , Mathematics , Computational Mathematics and Numerical Analysis , Numerical and Computational Physics , Computer Applications in Chemistry , Discrete Mathematics in Computer Science , Computational Intelligence , Engineering Fluid Dynamics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783642555268:ONLINE Show nearby items on shelf |
Title: | High Performance Computing in Science and Engineering, Munich 2002 Transactions of the First Joint HLRB and KONWIHR Status and Result Workshop, October 10–11, 2002, Technical University of Munich, Germany |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (505 p.) |
Note: | 10.1007/978-3-642-55526-8 |
Contents: | I High Performance Systems -- TeraFlops Computing with the Hitachi SR8000-F1: From Vision to Reality -- II Computational Fluid Dynamics -- Numerical Prediction of Deformations and Oscillations of Wind-Exposed Structures -- Large-Eddy |
and Detached-Eddy Simulation of the Flow Around High-Lift Configurations -- Direct Simulation with the Lattice Boltzmann Code BEST of Developed Turbulence in Channel Flows -- DNS of Homogeneous Shear Flow and Data Analysis for the | |
Development of a Four-Equation Turbulence Model -- Large-Eddy Simulations of High Reynolds Number Flow Around a Circular Cylinder -- Numerical Simulation of Passively Controlled Turbulent Flows over Sharp—Edged and Smoothly Contoured | |
Backward—Facing Steps -- Parallel Single- and Multiphase CFD-Applications Using Lattice Boltzmann Methods -- Models of Type Ia Supernova Explosions -- Direct Numerical Simulation of Boundary Layer Separation along a Curved Wall with | |
Oscillating Oncoming Flow -- III Biosciences -- QM/MM Study of Rhodopsin -- Simulation of Neuronal Map Formation in the Primary Visual Cortex -- IV Chemistry -- A User-Oriented Set of Quantum Chemical Benchmarks -- Structure, | |
Energetics, and Spectroscopy of Models for Enzyme Cofactors -- Ruthenium Dioxide, a Versatile Oxidation Catalyst: First Principles Analysis -- Theoretical Studies of Structures of Vanadate Complexes in Aqueous Solution -- V Solid-State | |
Physics -- Large Scale Car-Parrinello Simulation of Fully Hydrated DNA -- Metal-Insulator Transitions and Realistic Modelling of Correlated Electron Systems -- Monte Carlo Studies of Three-Dimensional Bond-Diluted Ferromagnets -- | |
Microwave Ionisation of Non-Hydrogenic Alkali Rydberg States -- Density-Functional Calculation and Inelastic Neutron Scattering of Structural and Dynamical Properties in Fluoride Crystals -- Optical Response of Semiconductor Surfaces | |
and Molecules Calculated from First Principles -- Phase Fluctuations and the Role of Electron Phonon Coupling in High-TcSuperconductors -- The Cluster-Perturbation-Theory and its Application to Strongly-Correlated Materials -- | |
Object-Oriented C++ Class Library for Many Body Physics on Finite Lattices and a First Application to High-Temperature Superconductivity -- From Fermi Liquid to Non-Fermi Liquid Physics — Influence of Non-Local Fluctuations in | |
Low-Dimensional Fermion Systems -- One-Dimensional Electron-Phonon Systems: Mott- Versus Peierls-Insulators -- VI Geophysics -- 3-D Seismic Wave Propagation on a Global and Regional Scale: Earthquakes, Fault Zones, Volcanoes -- VII | |
Fundamental Physics -- Simulation of QCD with Dynamical Quarks -- Quantum Chromodynamics with Chiral Quarks -- Three-Nucleon Force in the4He Scattering System -- Simulations of the Local Universe -- The Free Electron Maser in Pulsar | |
Magnetospheres -- VIII Computer Science -- Pseudo-Vectorization and RISC Optimization Techniques for the Hitachi SR8000 Architecture -- Automatic Performance Analysis on Hitachi SR8000 -- Adapting PAxML to the Hitachi SR8000-F1 | |
Supercomputer -- Load Balancing for Spatial-Grid-Based Parallel Numeric Simulations on Clusters of SMPs — A Case Study from an Industrial CFD Simulation -- Scientific Progress in the Par-EXPDE-Project -- gridlib — A Parallel, | |
Object-Oriented Framework for Hierarchical-Hybrid Grid Structures in Technical Simulation and Scientific Visualization | |
ISBN: | 9783642555268 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Chemoinformatics , Numerical analysis , Computer mathematics , Physics , Complexity, Computational , Mathematics , Computational Mathematics and Numerical Analysis , Mathematical Methods in Physics , Computer Applications in Chemistry , Numeric Computing , Complexity , Numerical and Computational Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783642182372:ONLINE Show nearby items on shelf |
Title: | Advanced Topics in Computational Partial Differential Equations Numerical Methods and Diffpack Programming |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (663 p.) |
Note: | 10.1007/978-3-642-18237-2 |
Contents: | 1 Parallel Computing -- 1.1 Introduction to Parallel Computing -- 1.2 A Different Performance Model -- 1.3 The First MPI Encounter -- 1.4 Basic Parallel Programming with Diffpack -- 1.5 Parallelizing Explicit FD Schemes -- 1.6 |
Parallelizing FE Computations on Unstructured Grids -- References -- Overlapping Domain Decomposition Methods -- 2.1 Introduction -- 2.2 The Mathematical Formulations -- 2.3 A 1D Example -- 2.4 Some Important Issues -- 2.5 Components | |
of Overlapping DD Methods -- 2.6 A Generic Implementation Framework -- 2.7 Parallel Overlapping DD Methods -- 2.8 Two Application Examples -- References -- 3 Software Tools for Multigrid Methods -- 3.1 Introduction -- 3.2 Sketch of How | |
Multilevel Methods are Implemented in Diffpack -- 3.3 Implementing Multigrid Methods -- 3.4 Setting up an Input File -- 3.5 Playing Around with Multigrid -- 3.6 Equipping the Poisson2 Solver with Multigrid -- 3.7 Systems of Equations, | |
Linear Elasticity -- 3.8 Nonlinear Problems -- References -- 4 Mixed Finite Elements -- 4.1 Introduction -- 4.2 Model Problems -- 4.3 Mixed Formulation -- 4.4 Some Basic Concepts of a Finite Element -- 4.5 Some Code Examples -- 4.6 | |
Programming with Mixed Finite Elements in a Simulator -- References -- 5 Systems of PDEs and Block Preconditioning -- 5.1 Introduction -- 5.2 Block Preconditioners in General -- 5.3 The Bidomain Equations -- 5.4 Two Saddle Point | |
Problems -- References -- 6 Fully Implicit Methods for Systems of PDEs -- 6.1 Introduction -- 6.2 Implementation of Solvers for PDE Systems in Diffpack -- 6.3 Problem with the Gauss-Seidel Method, by Example -- 6.4 Fully Implicit | |
Implementation -- 6.5 Applications -- 6.6 Conclusion -- References -- 7 Stochastic Partial Differential Equations -- 7.1 Introduction -- 7.2 Some Simple Examples -- 7.3 Solution Methods -- 7.4 Quick Overview of Diffpack Tools -- 7.5 | |
Tools for Random Variables -- 7.6 Diffpack Tools for Random Fields -- 7.7 Summary -- 7.A Transformation of Random Variables -- 7.B Implementing a New Distribution -- References -- 8 Using Diffpack from Python Scripts -- 8.1 | |
Introduction -- 8.2 Developing Python Interfaces to C/C++ Functions -- 8.3 Compiling and Linking Wrapper Code with Diffpack -- 8.4 Converting Data between Diffpack and Python -- 8.5 Building an Interface to a More Advanced Simulator -- | |
8.6 Installing Python, SWIG etc -- 8.7 Concluding Remarks -- References -- 9 Performance Modeling of PDE Solvers -- 9.1 Introduction -- 9.2 Model Problems -- 9.3 Numerical Methods -- 9.4 Total CPU Time Consumption -- 9.5 Solution of | |
Linear Systems -- 9.6 Construction of Linear Systems -- 9.7 Concluding Remarks -- References -- 10 Electrical Activity in the Human Heart -- 10.1 The Basic Physiology -- 10.2 Outline of a Mathematical Model -- 10.3 The Bidomain Model | |
-- 10.4 A Complete Mathematical Model -- 10.5 Physiology of the Heart Muscle Tissue -- 10.6 The Numerical Method -- 10.7 Implementation -- 10.8 Optimization of the Simulator -- 10.9 Simulation Results -- 10.10 Concluding Remarks -- | |
References -- 11 Mathematical Models of Financial Derivatives -- 11.1 Introduction -- 11.2 Basic Assumptions -- 11.3 Forwards and Futures -- 11.4 The Black-Scholes Analysis -- 11.5 European Call and Put Options -- 11.6 American Options | |
-- 11.7 Exotic Options -- 11.8 Hedging -- 11.9 Remarks -- References -- 12 Numerical Methods for Financial Derivatives -- 12.1 Introduction -- 12.2 Model Summary -- 12.3 Monte-Carlo Methods -- 12.4 Lattice Methods -- 12.5 Finite | |
Difference Methods -- 12.6 Finite Element Methods -- References -- 13 Finite Element Modeling of Elastic Structures -- 13.1 Introduction -- 13.2 An Introductory Example Bar Elements -- 13.3 Another Example Beam Elements -- 13.4 General | |
Three-Dimensional Elasticity -- 13.5 Degrees of Freedom and Basis Functions -- 13.6 Material Types and Elasticity Matrices -- 13.7 Element Matrices in Local Coordinates -- 13.8 Element Load Vectors in Local Coordinates -- 13.9 Element | |
Matrices and Vectors in Global Coordinates -- 13.10 Element Forces, Stresses, and Strains -- 13.11 Implementation of Structural Elements -- 13.12 Some Example Programs -- 13.13 Test Problems -- 13.14 Summary -- References -- 14 | |
Simulation of Aluminum Extrusion -- 14.1 Introduction -- 14.2 Mathematical Formulation -- 14.3 Finite Element Implementation -- 14.4 Object-Oriented Implementation -- 14.5 Numerical Experiments -- 14.6 Concluding Remarks -- References | |
-- 15 Simulation of Sedimentary Basins -- 15.1 Introduction -- 15.2 The Geomechanical and Mathematical Problem -- 15.3 Numerical Methods -- 15.4 Implementing a Solver for a System of PDEs -- 15.5 Verification -- 15.6 A Magmatic Sill | |
Intrusion Case Study -- 15.7 Concluding Remarks -- References | |
ISBN: | 9783642182372 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 33 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Partial differential equations , Computer mathematics , Mathematics , Analysis , Computational Science and Engineering , Partial Differential Equations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783540365303:ONLINE Show nearby items on shelf |
Title: | Space Plasma Simulation |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (49 p.) |
Note: | 10.1007/3-540-36530-3 |
Contents: | Particle-in-Cell Simulation of Plasmas— A Tutorial -- Parallel 3-D Electromagnetic Particle Code Using High Performance FORTRAN: Parallel TRISTAN -- Full Particle Electromagnetic Simulation of Collisionless Shocks -- Simulation of |
Electron Beam Instabilities and Nonlinear Potential Structures -- Kinetic Simulation of Inhomogeneous Plasma with a Variable Sized Grid System -- Low Noise Electrostatic and Electromagnetic Delta-f Particle-in-Cell Simulation of | |
Plasmas -- Particle Simulation of Dusty Plasmas -- Hybrid Simulation Codes: Past, Present and Future—A Tutorial -- Hall Magnetohydrodynamics - A Tutorial -- Fluid Plasma Simulation of Coupled Systems: Ionosphere and Magnetosphere -- | |
Global Magnetohydrodynamics — A Tutorial -- Adaptive Mesh Refinement for Global Magnetohydrodynamic Simulation -- Finite Volume TVD Schemes for Magnetohydrodynamics on Unstructered Grids -- Global Magnetohydrodynamic Simulation Using | |
High Performance FORTRAN on Parallel Computers -- Numerical Schemes for the Analysis of Turbulence — A Tutorial | |
ISBN: | 9783540365303 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Physics: 615 |
Keywords: | Physics , Earth sciences , Geophysics , Computer mathematics , Space sciences , Physics , Extraterrestrial Physics, Space Sciences , Earth Sciences, general , Geophysics/Geodesy , Computational Science and Engineering , Numerical and Computational Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9781461200239:ONLINE Show nearby items on shelf |
Title: | Control and Modeling of Complex Systems Cybernetics in the 21st Century Festschrift in Honor of Hidenori Kimura on the Occasion of his 60th Birthday |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (337 p.) |
Note: | 10.1007/978-1-4612-0023-9 |
Contents: | I. Signal Processing -- A Convex Optimization Approach to Generalized Moment Problems -- Toeplitz Covariance Matrices and the von Neumann Relative Entropy -- Digital Filter Design via Sampled-Data Control Theory -- Time-Domain FIR |
Filters for Stochastic and Deterministic Systems -- II. Identification -- Learning H?Model Sets from Data: The Set Membership Approach -- System Identification: A Learning Theory Approach -- Distribution-Free Approach to Probabilistic | |
Model-Set Identification -- III. Robust Control -- Analysis of Weight Change in H?Control Design -- Performance Limits under Control Effort Constraints -- Complexity of Systems and Controllers -- Off-Line Reference Shaping for Systems | |
with State and Control Constraints -- Finite Frequency Characterization of Easily Controllable Plant toward Structure/Control Design Integration -- IV. Hybrid, Chaotic, and Nonlinear Systems -- On Stabilization of Switched Linear | |
Systems -- Well-Posedness of a Class of Piecewise Affine Systems -- Robust Stabilization of Chaos via Delayed Feedback Control -- Time Varying Deadbeat Control of High Order Chained Systems with Applications to the Control of | |
Underactuated Manipulators -- Control of Nonholonomic Systems with Bad Controllability Structure -- V. Control Applications -- Computer Control of Vehicles: Overcoming Limitations of Human Drivers -- Modeling, Control and Experiment of | |
a Feedback Active Noise Control System for Free Sound Fields -- Visuomotor Architecture for High-Speed Robot Control | |
ISBN: | 9781461200239 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Engineering , System theory , Biophysics , Biological physics , Complexity, Computational , Control engineering , Robotics , Mechatronics , Engineering , Control , Systems Theory, Control , Biophysics and Biological Physics , Complexity , Control, Robotics, Mechatronics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9781475736090:ONLINE Show nearby items on shelf |
Title: | Models for Parallel and Distributed Computation Theory, Algorithmic Techniques and Applications |
Author(s): | |
Date: | 2002 |
Size: | 1 online resource (323 p.) |
Note: | 10.1007/978-1-4757-3609-0 |
Contents: | 1 Introduction to the Complexity of Parallel Algorithms -- 2 The Combinatorics of Resource Sharing -- 3 On Solving the Static Task Scheduling Problem for Real Machines -- 4 Predictable Parallel Performance: The BSP Model -- 5 Discrete |
computing with CGM -- 6 Parallel Graph Algorithms for Coarse-Grained Multicomputers -- 7 Parallel metaheuristics for combinatorial optimization -- 8 Parallelism in Logic Programming and Scheduling Issues -- 9 Parallel Asynchronous Team | |
Algorithms -- 10 Parallel Numerical Methods for Differential Equations | |
ISBN: | 9781475736090 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Optimization: 67 |
Keywords: | Computer science , Architecture, Computer , Computers , Computer science , Combinatorics , Computer Science , Computer System Implementation , Theory of Computation , Discrete Mathematics in Computer Science , Combinatorics , Symbolic and Algebraic Manipulation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9789401008648:ONLINE Show nearby items on shelf |
Title: | New Horizons of Computational Science Proceedings of the International Symposium on Supercomputing held in Tokyo, Japan, September 1–3, 1997 |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (312 p.) |
Note: | 10.1007/978-94-010-0864-8 |
Contents: | Stellar Evolution, Stellar Dynamics and Tera-Flops Computation -- Simulation of Nature by Computer -- Supercomputing and Evolution in Close Binaries -- Stellar Dynamics of Dense Stellar Systems -- Stellar Dynamics on 200 Tflops |
Special-Purpose Computers -- Astrophysical N-Body Simulations: Algorithms and Challenges -- Star Cluster Simulations -- Stellar Dynamical Simulations of Galaxies and of Galaxy Systems Using the Marseille Grape-3 Systems -- Accretion of | |
Planets and Moons -- What We Learned from Special Purpose Computers -- Reconfigurable Computing -- Special-Purpose Computer for Radio Astronomy -- Special-Purpose Computers for Classical Particle Simulations -- Molecular Dynamics | |
Machine: Highly Parallelized Special-Purpose-Computer for Molecular Dynamics Simulations -- Molecular Simulations with the MD-Grape Special-Purpose Computer -- High Performance Computing in Biophysics: Recent Experiences and | |
Developments of Charmm -- Massive Parallelism: The Hardware for Computational Chemistry? -- Molecular Dynamics Simulation of Ion Channels -- The QCDSP Computer: Particle Physics with 20,000 Processors -- The CP-PACS Project and Lattice | |
QCD -- Three Generations of APE Projects: Lessons and Perspective -- Vector-Parallel Processing and Fujitsu VPP300E/700E Supercomputer System -- The Evolution of Rotating Collisional Stellar Systems -- Effects of the Alfvén Wave on the | |
Gravitational Instability in the Interstellar Medium -- N-Body Simulation of Halo Formation Using GRAPE-4 -- The PCI Interface for Grape Systems: PCI-HIB -- Fragmentation of Molecular Clouds: The Initial Phase of a Stellar Cluster -- | |
Formation of Star Clusters in the Magellanic Clouds -- Three Dimensional MHD Simulations of Accretion Disks and Jet Formation -- Gravitational Collapse of Rotating Clouds: Bar Formation in a Self-Similarly Contracting Disk -- The | |
Formation and Evolution of Dwarf Galaxies: Hydrodynamics and Color Gradient -- Parallel 3D Lattice Boltzmann Simulations of Turbulent Dark Cloud Flows -- Photoionization of a Clumpy Universe -- Smoothed Particle Hydrodynamics with | |
Parallel Virtual Machine -- Jets from Time-Dependent Accretion Flows onto a Black Hole -- Supercomputing in the Astronomical Institute of Romanian Academy -- Anisotropic Fokker-Planck Models of Globular Cluster Evolution -- An | |
Efficient Parallel Hierarchical Algorithm for Module Placement -- The Efficient Parallel Newton-GMRES Algorithm for Computational Fluid Dynamics -- Molecular Mechanism of Homogeneous Nucleation in Vapor Phase: Lennard-Jones Fluid -- | |
Development of Special Purpose Computer for Cosmic Hydrodynamics with SPH Method | |
ISBN: | 9789401008648 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Astrophysics and Space Science Library: 263 |
Keywords: | Life sciences , Microprocessors , Biochemistry , Physics , Astrophysics , Atoms , Life Sciences , Biochemistry, general , Processor Architectures , Atomic, Molecular, Optical and Plasma Physics , Theoretical, Mathematical and Computational Physics , Astrophysics and Astroparticles |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9789401006781:ONLINE Show nearby items on shelf |
Title: | Practical Applications of Computational Intelligence Techniques |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (381 p.) |
Note: | 10.1007/978-94-010-0678-1 |
Contents: | 1. An introduction to computational intelligence paradigms -- 1 Computational intelligence – a formal definition -- 2 The logic of fuzzy sets -- 3 Computational models of neural nets -- 4 Genetic algorithms -- 5 Belief networks -- 6 |
Computational learning theory -- 7 Synergism of the computational intelligence paradigms -- 8 Conclusions and future directions -- References -- 2. Networked virtual park -- 1 Introduction -- 2 The attraction builder -- 3 Networked | |
virtual environment system -- 4 The server -- 5 Conclusion -- Acknowledgements -- References -- 3. Commercial coin recognisers using neural and fuzzy techniques -- 1 Introduction -- 2 Problem analysis and database compilation -- 3 | |
Approach using artificial neural networks models -- 4 Approach using fuzzy logic models -- 5 Conclusions -- References -- 4. Fuzzy techniques in intelligent household appliances -- 1 Introduction -- 2 Fuzzy approaches for intelligent | |
devices -- 3 Introducing fuzziness to kitchen oven -- 4 Refrigerator-freezer control using fuzzy logic -- 5 Model and simulation of refrigerating-freezing appliance using one compressor -- 6 Hardware implementation -- 7 Decrease of | |
energy consumption from national point-of-view -- 8 Conclusion -- References -- 5. Neural prediction in industry: increasing reliability through use of confidence measures and model combination -- 1 Introduction -- 2 Paper curl | |
prediction -- 3 Neural network model development -- 4 Model combination -- 5 Confidence measures -- 6 Results -- 7 Discussion -- Acknowledgments -- References -- 6. Handling the back calculation problem in aerial spray models using a | |
genetic algorithm -- 1 Introduction -- 2 Early spray models -- 3 Genetic algorithms -- 4 Development of Fortran-SAGA -- 5 Development of VB-SAGA 1.0 -- 6 Development of VB-SAGA 2.0 -- 7 Summary and conclusions -- References -- 7. | |
Genetic algorithm optimization of a filament winding process modeled in WITNESS -- 1 Introduction -- 2 Filament winding model -- 3 Genetic algorithm interface -- 4 Results -- 5 Conclusions -- 6 Summary -- Acknowledgments -- References | |
-- 8.Genetic algorithm for optimizing the gust loads for predicting aircraft loads and dynamic response -- 1 Introduction -- 2 Problem statement and related mathematical underpinnings -- 3 An approach using genetic algorithm -- 4 | |
Results of approach on linear aircraft model -- 5 Summary and conclusion -- Acknowledgments -- References -- 9. A stochastic dynamic programming technique for property market timing -- 1 Introduction -- 2 Review of theoretical | |
considerations -- 3 Specification of market timing model -- 4 Stochastic dynamic programming -- 5 Data used in the simulation study -- 6 Performance and evaluation tests -- 7 Conclusions -- References -- 10. A hybrid approach to breast | |
cancer diagnosis -- 1 Introduction -- 2 KBANNs -- 3 Metabolic features of cancerous breast tissues -- 4 Knowledge elicitation and refinement -- 5 31P MRS data -- 6 KBANN topology -- 7 Results -- 8 Conclusions -- Acknowledgements -- | |
References -- 11. Artificial neural networks as a computer aid for lung disease detection and classification in ventilation-perfusion lung scans -- 1 Introduction -- 2 Artificial neural networks -- 3 Materials and methods -- 4 Results | |
-- 5 Discussion -- Acknowledgments -- References -- 12. Neural network for classification of focal liver lesions in ultrasound images -- 1 Introduction -- 2 Texture analysis of focal liver lesions by neural networks -- 3 Experimental | |
results -- 4 Discussion -- 5 Conclusions -- Acknowledgments -- Entropy -- Root mean square (RMS) variation -- First moment of power spectrum -- References | |
ISBN: | 9789401006781 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Series in Intelligent Technologies: 16 |
Keywords: | Computer science , Artificial intelligence , Mathematical logic , Computer Science , Artificial Intelligence (incl. Robotics) , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9789401143295:ONLINE Show nearby items on shelf |
Title: | Combinatorial Catalysis and High Throughput Catalyst Design and Testing |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (512 p.) |
Note: | 10.1007/978-94-011-4329-5 |
Contents: | Section 1 — Lectures -- Computer Modelling of Catalysts and Catalysis -- Quality Principles for Catalyst Testing During Process Development -- In Situ Investigations of Catalysts and Catalytic Reaction Mechanisms — Part 1. General |
Introduction and Applications of In Situ MAS NMR Spectroscopy -- In Situ Investigations of Catalysts and Catalytic Reaction Mechanisms — Part 2. In situ laser Raman, FTIR spectroscopies, environmental HREM techniques -- Catalyst | |
Deactivation -- Modelling Complex Kinetic Systems — Part 1. Steady-State and Transient-State -- Modelling Complex Kinetic Systems — Part 2. Hydrocarbon Transformation over Zeolites -- Catalytic Reaction and Reactor Engineering -- | |
Catalytic Reactor Engineering — Novel Concepts in Production and in Catalyst Testing -- Design of catalysts and Catalyst libraries. Computational Techniques in High Throughput Experimentation for Catalysis -- Scale-Up of Catalytic | |
Processes -- Laboratory Reactors for Catalytic Gas-Solid Reactions -- Section 2 — Communications -- Ionic Liquids — The Combinatorial Challenge -- An Evolutionary Approach in Combinatorial Catalysis for Selection and Optimisation of | |
Catalysts -- Design and Testing Catalysts Prepared by Self-Propagating High-Temperature Synthesis -- Mechanistic Study of Propylbenzenes Transformations Over Zeolite Catalysts -- Potential of Gas Sensor System for High Throughput | |
Screening of Combinatorial Catalysts -- MO and MM Study of Homogeneous Propylene Polymerization with a Zirconocene Catalyst -- Critical Influence of the Amorphous Silica-to-Cristobalite Phase Transition on the Performance of | |
Mn/Na2WO4/SiO2 Catalysts for the Oxidative Coupling of Methane -- FTIR Imaging for Chemically Sensitive, High Throughput Analysis of Combinatorial Libraries -- Hydrocracking on Bifunctional Zeolites: an Integrated Approach -- Aging and | |
Coke Depositing on Nanometer ZSM-5 Zeolite -- Transformation of Propane Over HZSM-5 Catalyst -- Section 3 — Workshop -- A Catalyst is a Resilient Self-Assembly in Space and Time -- Combinatorial Catalysis and High Throughput Catalyst | |
Testing: Conclusions of the Workshop on “High Throughput Catalytic Testing: Its Challenges” -- Combinatorial Catalysis and High Throughput Catalyst Testing: Conclusions of the Nato Advanced Study Institute -- Participants -- Author | |
Index | |
ISBN: | 9789401143295 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Science Series, Series C: Mathematical and Physical Sciences: 560 |
Keywords: | Chemistry , Chemoinformatics , Physical chemistry , Chemical engineering , Chemistry , Physical Chemistry , Industrial Chemistry/Chemical Engineering , Computer Applications in Chemistry |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9783642596865:ONLINE Show nearby items on shelf |
Title: | High Performance Computing in Science and Engineering ’99 Transactions of the High Performance Computing Center Stuttgart (HLRS) 1999 |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (105 p.) |
Note: | 10.1007/978-3-642-59686-5 |
Contents: | Physics -- Finite difference modelling of elastic wave propagation in the Earth’s uppermost mantle -- Direct Simulation of Seismic Wave Propagation -- Summary of Project 11172 -- Development and Astrophysical Applications of a |
Parallel Smoothed Particle Hydrodynamics Code with MPI -- Collisional dynamics around black hole binaries in galactic centres -- IMD — A Massively Parallel Molecular Dynamics Package for Classical Simulations in Condensed Matter | |
Physics -- Symmetrie diblock copolymers confined into thin films: A Monte Carlo investigation on the CRAY T3E -- Molecular Dynamics of Covalent Crystals -- Simulation of random copolymers at selective interfaces and of cross-linked | |
polymer blends -- Towards the Limits of present-day Supercomputers: Exact Diagonalization of Strongly Correlated Electron-Phonon Systems -- The Metal-Insulator Transition in the Hubbard Model -- Vibronic studies of adsorbate-covered | |
semiconductor surfaces with the help of HPC -- Computational Methods in Chemistry and Molecular Biology -- The multi-reference configuration interaction method on massively parallel architectures -- Quantum Chemical Studies on | |
Heterocyclic Rearrangements in Benzofuroxans: Reaction Paths, Vibrational Spectra, and Rate Constants -- High Level Quantum-Chemical Computations on the Cyclizations of Enyne Allenes -- MD Simulation of a Phospholipid Bilayer -- | |
Three-Dimensional Organization of Chromosome Territories and the Human Cell Nucleus -- Computational Fluid Dynamics (CFD) -- Parallel Computation of Interface Dynamics in Incompressible Two-Phase Flows -- Numerical Simulation of Fluid | |
Flow and Heat Transfer in an Industrial Czochralski Melt Using a Parallel-Vector Supercomputer -- Numerical flow simulation in cylindrical geometries -- DNS of Laminar-Turbulent Transition in Separation Bubbles -- Numerical Simulation | |
of Supersonic Hydrogen-Air Combustion -- Computation of Turbulent Flows with Separation by Coherent Structure Capturing -- Large Eddy Simulation of the Flow around a Circular Cylinder -- Direct Numerical Simulations of an Adverse | |
Pressure Gradient Turbulent Boundary Layer on High Performance Computers -- Aeroelastic Analysis of a Helicopter Rotor in Forward Flight -- Flow with chemical reaction -- Investigation of Chemistry-Turbulence Interactions Using DNS on | |
the Cray T3E -- Multigrid Convergence Acceleration for Non-Reactive and Reactive Flows -- Quasi-Particles in a Three-Dimensional Three-Component Reaction-Diffusion System -- Upwind Relaxation Algorithm for Re-entry Nonequilibrium Flows | |
-- 3D Simulation of instationary turbulent flow and combustion in internal combustion engines -- Numerical prediction of load changes in a coal-fired utility boiler -- Structural Mechanics and Electrical Engineering -- Design and | |
Application of Object Oriented Parallel Data Structures in Particle and Continuous Systems -- Computation of Electromagnetic Fields by the Method of Moments on the CRAY T3E: Iterative Solution Techniques and Large Scale Applications -- | |
Numerical Treatment of Time Varying Magnetic Fields in Power Transformers by Using the Boundary Element Method (BEM) -- Direct and Inverse Electromagnetic Scattering -- Computer Science -- Fine-Grained Multithreading on the Cray T3E -- | |
ParGrad System: Dynamical Adaptation of the Parallelism Degree of Programs on Cray T3E -- Comparative Measurements of the Solution of PDE’s on the PARAGON and the SB-PRAM -- KaHPF: Compiler generated Data Prefetching for HPF -- A | |
Parallel Object Oriented Framework for Particle Methods -- Parallel solution of Partial Differential Equations with Adaptive Multigrid Methods on Unstructured Grids -- Coupling and Parallelization of Grid-based Numerical Simulation | |
Software | |
ISBN: | 9783642596865 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Chemoinformatics , Computer simulation , Computer mathematics , Physics , Complexity, Computational , Mathematics , Computational Mathematics and Numerical Analysis , Computer Applications in Chemistry , Mathematical Methods in Physics , Numerical and Computational Physics , Complexity , Simulation and Modeling |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9783642572012:ONLINE Show nearby items on shelf |
Title: | Computer Algebra in Scientific Computing CASC 2000 |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (439 p.) |
Note: | 10.1007/978-3-642-57201-2 |
Contents: | Fast Matrix Computation of Subresultant Polynomial Remainder Sequences -- About Simultaneous Representation of Two Natural Numbers by a Sum of Three Primes -- On a Description of Irreducible Component in the Set of Nilpotent Leibniz |
Algebras Containing the Algebra of Maximal Nilindex, and Classification of Graded Filiform Leibniz Algebras -- Application of Computer Algebra in Problems on Stabilization of Gyroscopic Systems -- Implementing Computational Services | |
Based on OpenMath -- Group Classification of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas -- Plotting Functions and Singularities with Maple and Java on a Component-based Web Architecture -- Stable | |
Self-Oscillatory Regimes in Volterra Models of Three Populations -- Computing “Small” 1-Homological Models for Commutative Differential Graded Algebras -- Effective computation of algebra of derivations of Lie algebras -- An | |
Integration and Reduction for Ordinary Non Linear Differential Equations Library -- Complexity of Derivatives Generated by Symbolic Differentiation -- An Assessment of the Efficiency of Computer Algebra Systems in the Solution of | |
Scientific Computing Problems -- On the Relation Between Pommaret and Janet Bases -- An (Asymptotic) Error Bound for the Evaluation of Polynomials at Roots -- Three Remarks on Comprehensive Gröbner and SAGBI Bases -- Computing the | |
Cylindrical Algebraic Decomposition Adapted to a Set of Equalities -- Symbolic Algorithms of Algebraic Perturbation Theory for a Hydrogen Atom: the Stark Effect -- CADECOM: Computer Algebra software for functional DECOMposition -- | |
Computeralgebra and the Systematic Construction of Finite Unlabeled Structures -- Heat Invariant E2 for Nonminimal Operator on Manifolds with Torsion -- Computer Algebra for Automated Performance Modeling of Fortran Programs -- A | |
Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting -- Parametric Analysis for a Nonlinear System -- Extended Splicing System and Semigroup of Dominoes -- Newton Polyhedra and the Reversible System of Ordinary Differential | |
Equations -- Condition Analysis of Overdetermined Algebraic Problems -- An Algebraic Approach to Offsetting and Blending of Solids -- Application of Computer Algebra Methods to Some Problems of Theoretical and Applied Celestial | |
Mechanics -- Computing the Frobenius Normal Form of a Sparse Matrix -- Lessons Learned from Using CORBA for Components in Scientific Computing -- Deciding Linear-Transcendental Problems -- Author Index | |
ISBN: | 9783642572012 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Algorithms , Physics , Mathematics , Algorithms , Theoretical, Mathematical and Computational Physics , Algorithm Analysis and Problem Complexity |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9781475749199:ONLINE Show nearby items on shelf |
Title: | Decision Making: Recent Developments and Worldwide Applications |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (494 p.) |
Note: | 10.1007/978-1-4757-4919-9 |
Contents: | 1. Management Information Systems -- Empirical assessment of information technology chargeback systems decisions -- Lessons learnt from the successful adoption of an ERP: The central role of trust -- Simultaneous analysis of |
heterogenous databases on the web: The ADDSIA project -- 2. Education Innovations & Distance Learning -- Decision support for the management of admissions to academic programs -- The use of tacit knowledge in selection decisions in | |
universities -- 3. International Business -- Role of political violence in foreign direct investment decisions -- On the stability of countries’ national technological systems -- 4. Marketing -- Marketing of differentiated fresh | |
produce -- A decision support system for the seller’s return problem in the product line design -- 5. Finance and Banking -- Portfolio performance measures: A brief survey and hypothesis testing -- A system dynamics model of stock | |
price movements -- Information effects on the accuracy of neural network financial forecasting -- Is the Taiwan stock market efficient? -- The dynamics of implied volatility surfaces -- Application of nonstationary Markovian models to | |
risk management in automobile leasing -- 6. Optimization & Decision Making -- Decision making Under Various Types of Uncertainty -- Decision aid in the optimization of the interval objective function -- A fuzzy extension of a mixed | |
integer MOLP model for solving the power generation expansion problem -- Management science for marine petroleum logistics -- 7. Multi-Criteria Decision Analysis, Aid & Practice -- Dealing with missing data in rough set analysis of | |
multi-attribute and multi-criteria decision problems -- Cardinal value measurement with MACBETH -- Inferring a multicriteria preference model for rural development projects evaluation -- An adaptable framework for educational software | |
evaluation -- Assessing country risk using a multi—group discrimination method: A comparative analysis -- 8. Decision Support Systems and Information Technology -- RODOS: Decision support for nuclear emergencies -- DSS for the | |
evaluation of national IT infrastructure investments: A study of cable television in Greece -- Global IT outsourcing decisions: Contract structure, negotiations, and global deal teams -- Using Internet multimedia database information | |
systems for decision support in conservation planning -- An interactive workload and risk balancing model and decision support system for probationer assignment -- 9. Health Care Planning & Hospital Operations -- A goal programming | |
scheme to determine the budget assignment among the hospitals of a sanitary system -- A simulation model to evaluate the interaction between acute, rehabilitation, long stay care and the community -- Author Index | |
ISBN: | 9781475749199 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Optimization: 45 |
Keywords: | Business , Management , Operations research , Decision making , Finance , Data structures (Computer science) , Business and Management , Operation Research/Decision Theory , Management , Finance, general , Data Structures, Cryptology and Information Theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9781461211648:ONLINE Show nearby items on shelf |
Title: | Computer Networks and Systems Queueing Theory and Performance Evaluation |
Author(s): |
Thomas G Robertazzi |
Date: | 2000 |
Edition: | Third Edition |
Size: | 1 online resource (409 p.) |
Note: | 10.1007/978-1-4612-1164-8 |
Contents: | 1: The Queueing Paradigm -- 1.1 Introduction -- 1.2 Queueing Theory -- 1.3 Queueing Models -- 1.4 Case Study I: Performance Model of a Distributed File Service By W.G. Nichols and J.S. Emer -- 1.5 Case Study II: Single-bus |
Multiprocessor Modeling By B.L. Bodnar and A.C. Liu -- 1.6 Case Study III: TeraNet, A Lightwave Network -- 1.7 Case Study IV: Performance Model of a Shared Medium Packet Switch By R. Guerin -- 2: Single Queueing Systems -- 2.1 | |
Introduction -- 2.2 The M/M/1 Queueing System -- 2.3 Little’s Law -- 2.4 Reversibility and Burke’s Theorem -- 2.5 The State Dependent M/M/1 Queueing System -- 2.6 The M/M/1/N Queueing System: The Finite Buffer Case -- 2.7 The M/M/? | |
Queueing System: Infinite Number of Servers -- 2.8 The M/M/m Queueing System: m Parallel Servers with a Queue -- 2.9 The M/M/m/m Queue: A Loss System -- 2.10 Central Server CPU Model -- 2.11 Transient Solution of the M/M/1/? Queueing | |
System -- 2.12 The M/G/1 Queueing System -- 2.13 Priority Systems for Multiclass Traffic -- To Look Further -- Problems -- 3: Networks of Queues -- 3.1 Introduction -- 3.2 The Product Form Solution -- 3.3 Algebraic Topological | |
Interpretation of the Product Form Solution -- 3.4 Recursive Solution of Nonproduct Form Networks -- 3.5 Queueing Networks with Negative Customers -- To Look Further -- Problems -- 4: Numerical Solution of Models -- 4.1 Introduction -- | |
4.2 Closed Queueing Networks: Convolution Algorithm -- 4.3 Mean Value Analysis -- 4.4 PANACEA: Approach for Large Markovian Queueing Networks -- 4.5 Norton’s Equivalent for Queueing Networks -- 4.6 Simulation of Communication Networks | |
By J.F. Kurose and H.T. Mouftah -- To Look Further -- Problems -- 5: Stochastic Petri Nets -- 5.1 Introduction -- 5.2 Bus-oriented Multiprocessor Model -- 5.3 Toroidal MPN Lattices -- 5.4 The Dining Philosophers Problem -- 5.5 A | |
Station-oriented CSMA/CD Protocol Model -- 5.6 The Alternating Bit Protocol -- 5.7 SPN’s without Product Form Solutions -- 5.8 Conclusion -- To Look Further -- Problems -- 6: Discrete Time Queueing Systems -- 6.1 Introduction -- 6.2 | |
Discrete Time Queueing Systems -- 6.3 Discrete Time Arrival Processes -- 6.4 The Geom/Geom/m/N Queueing System -- 6.5 The Geom/Geom/1/N and Geom/Geom/1 Queueing Systems -- 6.6 Case Study I: Queueing on a Space Division Packet Switch -- | |
6.7 Case Study II: Queueing on a Single-buffered Banyan Network -- 6.8 Case Study III: DQDB Erasure Station Location -- To Look Further -- Problems -- 7: Network Traffic Modeling -- 7.1 Introduction -- 7.2 Continuous Time Models -- 7.3 | |
Discrete Time Models -- 7.4 Solution Methods -- 7.5 Burstiness -- 7.6 Self-Similar Traffic -- To Look Further -- Appendix: Probability Theory Review -- A.1 Probability -- A.2 Densities and Distribution Functions -- A.3 Joint Densities | |
and Distributions -- A.4 Expectations -- A.5 Convolution -- A.6 Combinatorics -- A.7 Some Useful Summations -- A.8 Useful Moment-generating Function Identities -- References | |
ISBN: | 9781461211648 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Statistics , Statistics , Statistics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9783642601262:ONLINE Show nearby items on shelf |
Title: | Classification and Data Analysis Theory and Application Proceedings of the Biannual Meeting of the Classification Group of Società Italiana di Statistica (SIS) Pescara, July 3–4, 1997 |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (378 p.) |
Note: | 10.1007/978-3-642-60126-2 |
Contents: | I: Classification -- Methodologies in Classification -- Measuring the influence of individual observations and variables in cluster analysis -- Consensus classification for a set of multiple time series -- A bootstrap method for |
adaptive cluster sampling -- Forecasting a classification -- Fuzzy Clustering and Fuzzy Methods -- Neural networks as a fuzzy semantic network of events -- Hierarchical fuzzy clustering: an example of spatio-temporal analysis -- A new | |
algorithm for semi-fuzzy clustering -- Fuzzy classification and hyperstructures: an application to evaluation of urban projects -- Variable selection in fuzzy clustering -- II : Other Approaches for Classification -- Discrimination and | |
Classification -- Discriminant analysis using markovian automodels -- Discretization of continuous-valued data in symbolic classification learning -- Logistic discrimination by Kullback-Leibler type distance measures -- An empirical | |
discrimination algorithm based on projection pursuit density estimation -- Regression Tree and Neural Networks -- Notes on methods for improving unstable classifiers -- Selection of cut points in generalized additive models -- Latent | |
budget trees for multiple classification -- III: Multivariate and Multidimensional Data Analysis -- Proximity Analysis and Multidimensional Scaling -- Methods for asymmetric three-way scaling -- Comparison of Euclidean approximations | |
of non-Euclidean distances -- Analysing dissimilarities through multigraphs -- Professional positioning based on dominant eigenvalue scores (DES), dimensional scaling (DS) and multidimensional scaling (MDS) synthesis of binary | |
evaluations matrix of experts -- Non-metric full-multidimensional scaling -- Factorial Methods -- Dynamic factor analysis -- A non symmetrical generalised co-structure analysis for inspecting quality control data -- Principal surfaces | |
constrained analysis -- Generalised canonical analysis on symbolic objects -- Analysis of qualitative variables in structural models with unique solutions -- Spatial Analysis -- Exploring multivariate spatial data: line transect data | |
-- On the assessment of geographical survey units using constrained classification -- Kalman filter applied to non-causal models for spatial data -- Multiway Data Analysis -- A paradigmatic path for statistical content analysis using | |
an integrated package of textual data treatment -- The analysis of auxological data by means of nonlinear multivariate growth curves -- The Kalman filter on three-way data matrix for missing data: a case study on sea water pollution -- | |
Three-way data arrays with double neighborhood relations as a tool to analyze a contiguity structure -- Firm performance analysis with panel data -- Multivariate Data Analysis -- Detection of multivariate outliers by convex hulls -- | |
Reducing dimensionality effects on kernel density estimation: the bivariate gaussian case -- Shewhart’s control chart: some observations -- Projection pursuit regression with mixed variables -- Recursive estimation of system parameter | |
in environmental time series models -- Kernel methods for estimating covariance functions from curves -- Detection of subsamples in link-free regression analysis -- Asymptotic prior to posterior analysis for graphical gaussian models | |
-- IV: Case Studies -- Applied Classification and Data Analysis -- Using qualitative information and neural networks for forecasting purposes in financial time series -- A new approach to the stock location assignment problem by | |
multidimensional scaling and seriation -- Food coding in nutritional surveys -- UNAIDED: a PC system for binary and ternary segmentation analysis -- Author Index -- Key Words Index | |
ISBN: | 9783642601262 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Data structures (Computer science) , Probabilities , Statistics , Economic theory , Mathematics , Probability Theory and Stochastic Processes , Economic Theory/Quantitative Economics/Mathematical Methods , Statistics for Business/Economics/Mathematical Finance/Insurance , Data Structures, Cryptology and Information Theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9781461215424:ONLINE Show nearby items on shelf |
Title: | Evolutionary Algorithms |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (293 p.) |
Note: | 10.1007/978-1-4612-1542-4 |
Contents: | Genetic algorithms as multi-coordinators in large-scale optimization -- Telecommunication network optimization with genetic algorithms: A decade of practice -- Using evolutionary algorithms to search for control parameters in a |
nonlinear partial differential equation -- Applying genetic algorithms to real-world problems -- An overview of evolutionary programming -- A hierarchical genetic algorithm for system identification and curve fitting with a | |
supercomputer implementation -- Experiences with the PGAPack parallel genetic algorithm library -- The significance of the evaluation function in evolutionary algorithms -- Genetic algorithm optimization of atomic clusters -- Search, | |
binary representations and counting optima -- An investigation of GA performance results for different cardinality alphabets -- Genetic algorithms and the design of experiments -- Efficient parameter optimization based on combination | |
of direct global and local search methods -- What are genetic algorithms? A mathematical prespective -- Survey of projects involving evolutionary algorithms sponsored by the Electric Power Research Institute | |
ISBN: | 9781461215424 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | The IMA Volumes in Mathematics and its Applications: 111 |
Keywords: | Computer science , Artificial intelligence , Computer Science , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9781461205654:ONLINE Show nearby items on shelf |
Title: | Statistical Methods in Software Engineering Reliability and Risk |
Author(s): |
Nozer D Singpurwalla |
Date: | 1999 |
Size: | 1 online resource (297 p.) |
Note: | 10.1007/978-1-4612-0565-4 |
Contents: | 1 Introduction and Overview -- 1.1 What is Software Engineering? -- 1.2 Uncertainty in Software Production -- 1.3 The Quantification of Uncertainty -- 1.4 The Role of Statistical Methods in Software Engineering -- 1.5 Chapter Summary |
-- 2 Foundational Issues: Probability and Reliability -- 2.0 Preamble -- 2.1 The Calculus of Probability -- 2.2 Probability Models and Their Parameters -- 2.3 Point Processes and Counting Process Models -- 2.4 Fundamentals of | |
Reliability -- 2.5 Chapter Summary -- Exercises for Chapter 2 -- 3 Models for Measuring Software Reliability -- 3.1 Background: The Failure of Software -- 3.2 Models Based on the Concatenated Failure Rate Function -- 3.3 Models Based | |
on Failure Counts -- 3.4 Models Based on Times Between Failures -- 3.5 Unification of Software Reliability Models -- 3.6 An Adaptive Concatenated Failure Rate Model -- 3.7 Chapter Summary -- Exercises for Chapter 3 -- 4 Statistical | |
Analysis of Software Failure Data -- 4.1 Background: The Role of Failure Data -- 4.2 Bayesian Inference, Predictive Distributions, and Maximization of Likelihood -- 4.3 Specification of Prior Distributions -- 4.4 Inference and | |
Prediction Using a Hierarchical Model -- 4.5 Inference and Predictions Using Dynamic Models -- 4.6 Prequential Prediction, Bayes Factors, and Model Comparison -- 4.7 Inference for the Concatenated Failure Rate Model -- 4.8 Chapter | |
Summary -- Exercises for Chapter 4 -- 5 Software Productivity and Process Management -- 5.1 Background: Producing Quality Software -- 5.2 A Growth-Curve Model for Estimating Software Productivity -- 5.3 The Capability Maturity Model | |
for Process Management -- 5.4 Chapter Summary -- Exercises for Chapter 5 -- 6 The Optimal Testing and Release of Software -- 6.1 Background: Decision Making and the Calculus of Probability -- 6.2 Decision Making Under Uncertainty -- | |
6.3 Utility and Choosing the Optimal Decision -- 6.4 Decision Trees -- 6.5 Software Testing Plans -- 6.6 Examples of Optimal Testing Plans -- 6.7 Application: Testing the NTDS Data -- 6.8 Chapter Summary -- Exercises for Chapter 6 -- 7 | |
Other Developments: Open Problems -- 7.0 Preamble -- 7.1 Dynamic Modeling and the Operational Profile -- 7.2 Statistical Aspects of Software Testing: Experimental Designs -- 7.3 The Integration of Module and System Performance -- | |
Appendices -- Appendix A Statistical Computations Using the Gibbs Sampler -- A.1 An Overview of the Gibbs Sampler -- A.2 Generating Random Variates The Rejection Method -- A.3 Examples: Using the Gibbs Sampler -- A.3.1 Gibbs Sampling | |
the Jelinski-Moranda Model -- A.3.2 Gibbs Sampling the Hierarchical Model -- A.3.3 Gibbs Sampling the Adaptive Kalman Filter Model -- A.3.4 Gibbs Sampling the Non-Gaussian Kalman Filter Model -- Appendix B The Maturity Questionnaire | |
and Responses -- B. 1 The Maturity Questionnaire -- B.2 Binary (Yes, No) Responses to the Maturity Questionnaire -- B.3 Prior Probabilities and Likelihoods -- References -- Author Index | |
ISBN: | 9781461205654 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Computer science , Software engineering , Statistics , Computer Science , Software Engineering/Programming and Operating Systems , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Software Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1998-9781461554738:ONLINE Show nearby items on shelf |
Title: | Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach |
Author(s): |
Bilal M Ayyub |
Date: | 1998 |
Size: | 1 online resource (371 p.) |
Note: | 10.1007/978-1-4615-5473-8 |
Contents: | 1. The Role of Constrained Fuzzy Arithmetic in Engineering -- 2. General Perspective on the Formalization of Uncertain Knowledge -- 3. Distributional Representations of Random Interval Measurements -- 4. A Fuzzy Morphology: a Logical |
Approach -- 5. Reliability Analysis with Fuzziness and Randomness -- 6. Fuzzy Signal Detection with Multiple Waveform Features -- 7. Uncertainty Modeling of Normal Vibrations -- 8. Modeling and Implementation of Fuzzy Time Point | |
Reasoning in Microprocessor Systems -- 9. Model Learning with Bayesian Networks for Target Recognition -- 10. System Life Cycle Optimization Under Uncertainty -- 11. Valuation-Based Systems for Pavement Management Decision Making -- | |
12. Hybrid Least-Square Regression Analysis -- 13. Linear Regression with Random Fuzzy Numbers -- 14. Neural Net Solutions to Systems of Fuzzy Linear Equations -- 15. Fuzzy Logic: A Case Study in Performance Measurement -- 16. Fuzzy | |
Genetic Algorithm Based Approach to Machine Learning Under Uncertainty -- 17. Recurrent Neuro-Fuzzy Models of Complex Systems -- 18. Adaptive Fuzzy Systems with Sinusoidal Membership Functions -- 19. A Computational Method for Fuzzy | |
Optimization -- 20. Interaction of Fuzzy Knowledge Granules for Conjunctive Logic -- 21. Fuzzy Decision Processes with Expected Fuzzy Rewards -- 22. On the Computability of Possibilistic Reliability -- 23. Distributed Reasoning with | |
Uncertain Data -- 24. A Fresh Perspective on Uncertainty Modeling: Uncertainty vs. Uncertainty Modeling -- About the Editors | |
ISBN: | 9781461554738 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Series in Intelligent Technologies: 11 |
Keywords: | Computer science , Operations research , Decision making , Artificial intelligence , Mathematical logic , Calculus of variations , Computer Science , Artificial Intelligence (incl. Robotics) , Mathematical Logic and Foundations , Calculus of Variations and Optimal Control Optimization , Operation Research/Decision Theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1997-9789401154123:ONLINE Show nearby items on shelf |
Title: | Parallel Numerical Algorithms |
Author(s): | |
Date: | 1997 |
Size: | 1 online resource (395 p.) |
Note: | 10.1007/978-94-011-5412-3 |
Contents: | Parallel Numerical Algorithms: An Introduction -- On Parallel Numerical Software Libraries -- Parallel Direct Methods for Sparse Linear Equations -- Linear System Solvers: Sparse Iterative Methods -- Implicitly Restarted |
Arnoldi/Lanczos Methods for Large Scale Eigenvalue Calculations -- Approximate and Incomplete Factorizations -- Parallel Multigrid Methods -- Domain Decomposition Methods for Partial Differential Equations -- Parallel FFTs -- Some | |
Empirical Results on Using Multipole-Accelerated Iterative Methods to Solve 3-D Potential Integral Equations -- Multiresolution Representation and Numerical Algorithms: A Brief Review -- Graph Partitioning Algorithms with Applications | |
to Scientific Computing -- An Introduction to Performance Debugging for Parallel Computers -- NAS Parallel Benchmark Results | |
ISBN: | 9789401154123 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | ICASE/LaRC Interdisciplinary Series in Science and Engineering: 4 |
Keywords: | Mathematics , Microprocessors , Algebra , Partial differential equations , Computer mathematics , Algorithms , Engineering , Mathematics , Algebra , Engineering, general , Algorithms , Processor Architectures , Partial Differential Equations , Computational Mathematics and Numerical Analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9789400901070:ONLINE Show nearby items on shelf |
Title: | Maximum Entropy and Bayesian Methods Cambridge, England, 1994 Proceedings of the Fourteenth International Workshop on Maximum Entropy and Bayesian Methods |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (323 p.) |
Note: | 10.1007/978-94-009-0107-0 |
Contents: | Applications -- Flow and diffusion images from Bayesian spectral analysis of motion-encoded NMR data -- Bayesian estimation of MR images from incomplete raw data -- Quantified maximum entropy and biological EPR spectra -- The vital |
importance of prior information for the decomposition of ion scattering spectroscopy data -- Bayesian consideration of the tomography problem -- Using MaxEnt to determine nuclear level densities -- A fresh look at model selection in | |
inverse scattering -- The maximum entropy method in small-angle scattering -- Maximum entropy multi-resolution EM tomography by adaptive subdivision -- High resolution image construction from IRAS survey — parallelization and artifact | |
suppression -- Maximum entropy performance analysis of spread-spectrum multiple-access communications -- Noise analysis in optical fibre sensing: A study using the maximum entropy method -- Algorithms -- AutoClass — a Bayesian approach | |
to classification -- Evolution reviews of BayesCalc, a MATHEMATICA package for doing Bayesian calculations -- Bayesian inference for basis function selection in nonlinear system identification using genetic algorithms -- The meaning of | |
the word “Probability” -- The hard truth -- Are the samples doped — If so, how much? -- Confidence intervals from one observation -- Hypothesis refinement -- Bayesian density estimation -- Scale-invariant Markov models for Bayesian | |
inversion of linear inverse problems -- Foundations: Indifference, independence and MaxEnt -- The maximum entropy on the mean method, noise and sensitivity -- The maximum entropy algorithm applied to the two-dimensional random packing | |
problem -- Neural Networks -- Bayesian comparison of models for images -- Interpolation models with multiple hyperparameters -- Density networks and their application to protein modelling -- The cluster expansion: A hierarchical | |
density model -- The partitioned mixture distribution: Multiple overlapping density models -- Physics -- Generating functional for the BBGKY hierarchy and the N-identical-body problem -- Entropies for continua: Fluids and magnetofluids | |
-- A logical foundation for real thermodynamics | |
ISBN: | 9789400901070 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Fundamental Theories of Physics, An International Book Series on The Fundamental Theories of Physics: Their Clarification, Development and Application : 70 |
Keywords: | Mathematics , Analytical chemistry , Probabilities , Statistical physics , Dynamical systems , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistical Physics, Dynamical Systems and Complexity , Analytical Chemistry , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9783322898494:ONLINE Show nearby items on shelf |
Title: | Flow Simulation with High-Performance Computers II DFG Priority Research Programme Results 1993–1995 |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (578 p.) |
Note: | 10.1007/978-3-322-89849-4 |
Contents: | I. Flow Simulation with Massively Parallel Systems -- to Part I -- On a Time and Space Parallel Multi-Grid Method Including Remarks on Filtering Techniques -- Parallel Finite Element Methods for the Incompressible Navier-Stokes |
Equations -- Numerical Turbulence Simulation on a Parallel Computer Using the Combination Method -- CFD with Adaptive FEM on Massively Parallel Systems -- On the Performance Enhancements of a CFD Algorithm in High Performance Computing | |
-- Efficient Simulation of Incompressible Viscous Flows on Parallel Computers -- Parallelization of Solution Schemes for the Navier-Stokes Equations -- 3-D Navier-Stokes Solver for the Simulation of the Unsteady Turbomachinery Flow on | |
a Massively Parallel Hardware Architecture -- A Comparison of Smoothers and Numbering Strategies for Laminar Flow Around a Cylinder -- Simulation of Detailed Chemistry Stationary Diffusion Flames on Parallel Computers -- An Adaptive | |
Operator Technique for Hypersonic Flow Simulation on Parallel Computers -- Parallel Interactive and Integrated Visualisation -- Interactive Visualization: On the Way to a Virtual Wind Tunnel -- II. Direct and Large-Eddy Simulation of | |
Turbulence -- to Part II -- Direct Numerical Simulation of Turbulence Compresssed in a Cylinder -- Direct Numerical Simulation of Separated Turbulent Flow Over a Wavy Boundary -- Large-Eddy Simulation of Near-Wall Turbulence -- Large | |
Eddy Simulation for Complex Turbulent Flows of Practical Interest -- Large-Eddy Simulation and Eigenmode Decomposition of Turbulent Boundary Layer Flow Over a Hemisphere -- III. Mathematical Foundations, General Solution Techniques and | |
Applications -- to Part III -- Navier-Stokes Approximations in High Order Norms -- Parallelization Methods for a Characteristic’s Pressure Correction Scheme -- Weighted Particle Method Solving Kinetic Equations for Dilute Ionized Gases | |
-- Multiple Pressure Variable (MPV) Approach for Low Mach Number Flows Based on Asymptotic Analysis -- Numerical Simulation of Incompressible Flows with the Method of Artificial Compressibility -- Higher Order Upwind Schemes on | |
Unstructured Grids for the Nonstationary Compressible Navier-Stokes Equations in Complex Timedependent Geometries in 3-D -- Improvement and Application of a Two Stream-Function Formulation Navier-Stokes Procedure -- AMRFLEX3D-Flow | |
Simulation Using a Three-Dimensional Self-Adaptive, Structured Multi-Block Grid System -- Development and Application of a Finite Volume Method for the Prediction of Complex Flows -- Computational Aspects of Flow Simulation on 3-D, | |
Unstructured, Adaptive Grids -- Flow Simulations in Aerodynamically Highly Loaded Turbomachines Using Unstructured Adaptive Grids -- Flow Simulation in a High Loaded Radial Compressor -- Efficient FEM Row Simulation on Unstructured | |
Adaptive Meshes -- Numerical Methods for Simulating Supersonic Combustion -- Aeroelastic Computations of a Fokker-Type Wing in Transonic Flow -- Three-Dimensional Numerical Simulation of the Aerothermodynamic Reentry -- Investigations | |
of Hypersonic Flows Past Blunt Bodies at Angle of Attack -- IV. Results of Benchmark Computations -- Benchmark Computations of Laminar Flow Around a Cylinder -- LDA Measurements in the Wake of a Circular Cylinder | |
ISBN: | 9783322898494 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Notes on Numerical Fluid Mechanics (NNFM): 48 |
Keywords: | Engineering , Fluids , Fluid mechanics , Engineering , Engineering Fluid Dynamics , Fluid- and Aerodynamics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9781461334408:ONLINE Show nearby items on shelf |
Title: | Applications of Interval Computations |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (428 p.) |
Note: | 10.1007/978-1-4613-3440-8 |
Contents: | 1 Applications of Interval Computations: An Introduction -- 1 What are Interval Computations? -- 2 International Workshop on Applications of Interval Computations: How This Book Originated -- 3 General Optimization Problems -- 4 |
General Systems of Equations and Inequalities -- 5 Linear Interval Problems -- 6 Interval Computations Can Also Handle Possible Additional Information About the Input Data -- 7 Software and Hardware Support for Interval Computations -- | |
References -- 2 A Review of Techniques in the Verified Solution of Constrained Global Optimization Problems -- 1 Introduction, Basic Ideas and Literature -- 2 On Constrained Optimization Problems -- 3 On Use of Interval Newton Methods | |
-- 4 Applications -- 5 Summary and Present Work -- References -- 3 The Shape of the Symmetric Solution Set -- 1 Introduction -- 2 Notation -- 3 Results -- 4 Examples -- References -- 4 Linear Interval Equations: Computing Enclosures | |
with Bounded Relative Overestimation is NP-Hard -- 1 Introduction -- 2 The Result -- 3 The Symmetric Case -- 4 Concluding Remark -- References -- 5 Quality Improvement via Optimization of Tolerance Intervals During the Design Stage -- | |
1 Introduction -- 2 Some Basic Models, and their Origins -- 3 Model of Performance Characteristic is Known Beforehand -- 4 Model Parameters Estimated in Controlled Conditions -- 5 Controlled Conditions are Unavailable -- 6 Temperature | |
Controller -- 7 Conclusions -- References -- 6 Applications of Interval Computations to Regional Economic Input-Output Models -- 1 Economic Input-Output Models -- 2 Technical Coefficients are Only Known with Uncertainty -- 3 | |
Statistical Methods are Not Directly Applicable, Hence, Interval Computations May Be Useful -- 4 Computational Algorithms -- 5 An Example -- References -- 7 Interval Arithmetic in Quantum Mechanics -- 1 Quantum Mechanics -- 2 | |
Computer-Assisted Set-up -- 3 The Thomas-Fermi Equation -- 4 The Aperiodicity Inequality -- References -- 8 Interval Computations on the Spreadsheet -- 1 Limitations of Spreadsheet Computing -- 2 Extended IA on a Spreadsheet -- 3 | |
Global IA on a Spreadsheet -- 4 Interval Constraint Spreadsheets -- 5 Discussion -- References -- 9 Solving Optimization Problems with Help of the UniCalc Solver -- 1 Introduction -- 2 The UniCalc Solver -- 3 The Algorithm of Sub | |
definite Calculations -- 4 Solving Integer Programming Problems -- 5 Real-Valued Optimization -- 6 Future Developments -- References -- 10 Automatically Verified Arithmetic on Probability Distributions and Intervals -- 1 Introduction | |
-- 2 Correctly Representing PDFs and Intervals with Histograms -- 3 Arithmetic Operations -- References -- 11 Nested Intervals and Sets: Concepts, Relations to Fuzzy Sets, and Applications -- 1 Introduction -- 2 Nested Intervals and | |
Nested Sets -- 3 Other Problems Where Nested Sets and Nested Intervals Can Be Used: Identification, Optimization, Control, and Decision Making -- 4 Applications of Nested Sets and Nested Intervals -- Appendix A Proofs -- References -- | |
12 Fuzzy Interval Inference Utilizing the Checklist Paradigm and BK-Relational Products -- 1 Introduction -- 2 Many-Valued Logics for Interval Fuzzy Inference Based on the Checklist Paradigm -- 3 Groups of Logic Transformations of | |
Interval Connectives -- 4 Special Types of Compositions of Relations -- 5 An Application: The Basic Knowledge Handling Mechanisms of CLIN AID by Means of Relational Inference -- 6 Toward Successful Utilization of Interval Methods in | |
Soft Computing -- References -- 13 Computing Uncertainty in Interval Based Sets -- 1 Introduction -- 2 Evidence Sets as a Description of Uncertainty -- 3 Different Measures of Uncertainty, and How to Describe them Numerically -- 4 | |
L-Fuzzy Sets, Interval Based L-Fuzzy Sets, and L-Evidence Sets -- 5 3-D Uncertainty Unit Cube -- References -- 14 Software and Hardware Techniques for Accurate, Self-Validating Arithmetic -- 1 Introduction -- 2 Software Tools -- 3 | |
Hardware Designs -- 4 A Variable-Precision, Interval Arithmetic Coprocessor -- 5 Conclusions and Areas for Future Research -- References -- 15 Stimulating Hardware and Software Support for Interval Arithmetic -- 1 Introduction -- 2 The | |
Participants -- 3 Stable Equilibrium -- 4 The Interval Paradigm Shift -- 5 System Supplier Demand -- 6 End-user Demand -- 7 Action Plan -- References | |
ISBN: | 9781461334408 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Optimization: 3 |
Keywords: | Mathematics , Artificial intelligence , Computer mathematics , Mathematical models , Calculus of variations , Mathematics , Mathematical Modeling and Industrial Mathematics , Computational Mathematics and Numerical Analysis , Calculus of Variations and Optimal Control Optimization , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9781461312994:ONLINE Show nearby items on shelf |
Title: | The Simulation Metamodel |
Author(s): |
Linda Weiser Friedman |
Date: | 1996 |
Size: | 1 online resource (202 p.) |
Note: | 10.1007/978-1-4613-1299-4 |
Contents: | 1 Introduction To Simulation Modeling And Metamodeling -- 1 References -- 2 The Simulation Model And Metamodel -- The Simulation Model -- The Simulation Metamodel -- Levels of Abstraction in Simulation -- 2 References -- 3 The |
Metamodel In Perspective: Statistical Considerations In Simulation Experiments -- Some Statistical Considerations -- Strategic Considerations -- Tactical Considerations -- Experimental Design in Simulation -- The Multiple Response | |
Simulation Experiment -- 3 References -- 4 Metamodeling -- Building the Simulation Metamodel -- Steps in Metamodeling -- Validating the Simulation Metamodel -- Example: A Metamodel for the M/M/s Queuing System -- The Simulation Model | |
-- The Simulation Metamodel -- Validating the Simulation Metamodel -- Using the Simulation Metamodel -- 4 References -- 5 Survey Of Current Research -- Metamodel Usage -- Sensitivity Analysis -- Optimization -- Decision Support -- | |
Applications -- Manufacturing -- Ecology -- Computer Performance Evaluation -- Hospital Planning -- Military -- Metamodel Methodology -- Method of Statistical Analysis -- Sample Size -- Variance Reduction -- The Metamodeling Experiment | |
-- Metamodel Validation -- Metamodeling: Assessing the Technique -- Combining Metamodeling with other Model Types -- 5 References -- 6 Metamodeling: Some Additional Examples -- Example: A Time-shared Computer System -- Example: An | |
Inventory Control System -- 6 References -- Appendix: The Linear Regression Model | |
ISBN: | 9781461312994 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Operations research , Decision making , System theory , Mathematical models , Mathematical optimization , Mathematics , Systems Theory, Control , Operation Research/Decision Theory , Mathematical Modeling and Industrial Mathematics , Optimization |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9789401104074:ONLINE Show nearby items on shelf |
Title: | Imaging in High Energy Astronomy Proceedings of the International Workshop held in Anacapri (Capri-Italy), 26–30 September 1994 |
Author(s): | |
Date: | 1995 |
Size: | 1 online resource (381 p.) |
Note: | 10.1007/978-94-011-0407-4 |
Contents: | Coding (and decoding) coded mask telescopes -- Imaging techniques applied to the coded mask SIGMA telescope -- Wide field monitoring of the X-ray sky using rotation modulation collimators -- Hard X-ray Imaging via focusing optics with |
mosaic crystals -- A hard X-ray telescope/concentrator design based on graded period multilayer coatings -- Review of crystal diffraction and its application to focusing energetic gamma rays -- Hard X-ray all-sky Imaging with | |
BATSE/CGRO -- Direct demodulation method and its application to hard X-ray and ?-ray Imaging -- The INTEGRAL mission -- Future goals for Imaging -- Future goals for ?-ray spectroscopy -- Maximum entropy Imaging of COMPTEL data -- | |
Imaging diffuse emission with COMPTEL -- Focusing in the hard X-ray band -- Imaging gas counters for X- and gamma ray astronomy -- Hard X-ray and gamma-ray Imaging with solid state detectors -- Imaging design of the wide field X-ray | |
monitor onboard the HETE satellite -- Development of the CAPTIF software facility for the simulation of coded aperture telescopes and its application to INTEGRAL and other instruments -- Scientific design and optimization of a coded | |
mask hard X-ray telescope -- X-ray Imaging with ART-P/GRANAT -- ABRIXAS — a broad-band Imaging X-ray all-sky survey -- The MART-LIME high-energy telescope -- The coded mask design and test flight results of a small array Germanium | |
telescope -- HEXIT: high-energy X-ray Imaging telescope -- A compendium of coded mask designs -- Low energy gamma ray imager (LEGRI) -- Advanced techniques of image correction for the coded mask telescope SIGMA -- SAX: satellite for | |
X-ray astronomy -- Optimised sampling for hexagonal arrays coded mask telescopes -- Imaging with two angular scales using coded mask techniques -- New wavelet methods for flat fielding coded aperture images -- Useful classes of | |
redundant array for Imaging applications -- Solar X-ray Imaging telescope -- Incident pixel reconstruction for gamma ray telescopes -- A spaceborne crystal diffraction telescope for the energy range of nuclear transition -- A study of | |
the effects of background subtraction on occultation Imaging -- High sensitivity Imaging of soft ?-rays using bragg concentrators -- A novel system for the location of GRBS -- New conception multilayer hard X-ray telescope for X-ray | |
astronomy -- Replicated reflectors for wide field X-ray Imaging telescopes -- Detection of gamma ray polarization with INTEGRAL -- Sensitivity and efficiencies of the INTEGRAL Imager -- INTEGRAL X-ray monitor: a proposal for the hard | |
X-ray imager onboard INTEGRAL -- COMPTEL as a gamma-ray polarimeter -- GLAST — a broadband high energy ?-ray telescope using silicon strip detectors -- AGATE: expanding on the success of EGRET -- The all-sky high-energy gamma-ray | |
monitor (CYGAM PROJECT) -- Imaging performance of FIGARO-IV, a large area ?-ray telescope above 100 MeV -- Hard X-ray Imaging using microchannel plate optics -- The hard X-ray telescope: Instrument concept and detectors -- Experimental | |
results obtained with the positron-annihilation-radiation telescope of the Toulouse-Argonne collaboration -- Gamma-ray Imaging with germanium planar arrays -- Spatial and spectral resolution of a Germanium strip detectors -- Hard X-ray | |
and gamma-ray Imaging systems utilizing Germanium strip detectors -- The Imaing liquid Xenon coded aperture telescope (LXe-CAT) -- ISGRI: a CdTe layer for the Integral imager -- Imaging with CdTe arrays -- Mercuric iodide X-ray camera | |
for high energy astronomy -- The neutron spectrum inside the shielding of balloon-borne Ge spectrometers -- An extended energy range CsI(TI)-photodiode detector -- The energy correction algorithm for an X-ray Imaging gas scintillator | |
proportional counter -- The photon statistics of point source correlation images in coded aperture Imaging -- Author Index | |
ISBN: | 9789401104074 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Acoustics , Observations, Astronomical , Astronomy , Astrophysics , Statistics , Physics , Astrophysics and Astroparticles , Astronomy, Observations and Techniques , Acoustics , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9789401101875:ONLINE Show nearby items on shelf |
Title: | Quality of Communication-Based Systems Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 |
Author(s): | |
Date: | 1995 |
Size: | 1 online resource (195 p.) |
Note: | 10.1007/978-94-011-0187-5 |
Contents: | Contributions to Quality from Specification Techniques -- Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes -- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs -- |
Specification of Concurrent Systems: from Petri Nets to Graph Grammars -- Towards a Theory of Strong Bisimulation for the Service Rendezvous -- Contributions to Quality from Quantitative Modelling -- Transient Analysis of Real-Time | |
Systems Using Deterministic and Stochastic Petri Nets -- Performance Modeling with Structured Actions -- Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables -- Discrete Time | |
Deterministic and Stochastic Petri Nets -- Contributions to Quality from Distributed Systems Organization -- Bauhaus Linda: An Overview -- Naming and Typing in Languages for Coordination in Open Distributed System -- An Efficient | |
Implementation of Decoupled Communication in Distributed Environments -- Extending the Rôle of Object References in Distributed Systems -- On Protocols for Loss-less Statistical Multiplexing in Integrated Networks | |
ISBN: | 9789401101875 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Microprocessors , Computer communication systems , Programming languages (Electronic computers) , Category theory (Mathematics) , Homological algebra , System theory , Mathematics , Category Theory, Homological Algebra , Mathematics, general , Computer Communication Networks , Systems Theory, Control , Processor Architectures , Programming Languages, Compilers, Interpreters |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9781475769012:ONLINE Show nearby items on shelf |
Title: | Understanding the Navstar GPS, GIS, and IVHS |
Author(s): |
Tom Logsdon |
Date: | 1995 |
Edition: | Second Edition |
Size: | 1 online resource (330 p.) |
Note: | 10.1007/978-1-4757-6901-2 |
Contents: | 1 The Science of Navigation -- 2 The Navstar GPS -- 3 Performance Comparisons for Today’s Radionavigation Systems -- 4 User-set Architecture -- 5 User-set Performance -- 6 Differential Navigation and Pseudo-satellites -- 7 |
Interferometry Techniques -- 8 Integrated Navigation Systems -- 9 Interoperability with Other Navigation Systems -- 10 The Navstar Satellites -- 11 Precise Time Synchronization -- 12 Digital Avionics and Air Traffic Control -- 13 | |
Geodetic Surveying and Satellite Positioning -- 14 Military Applications -- 15 Civil Applications -- 16 Geographic Information Systems -- 17 Intelligent Vehicle Highway Systems -- Appendix A Additional Sources of Information -- GPS | |
Information Centers -- The U.S. Coast Guard’s Information Center -- The Computer Bulletin Board at Holloman Air Force Base -- Global Satellite Software’s Computer Bulletin Board -- Associated Consulting’s Bulletin Board -- The Glonass | |
Computer Bulletin Board -- Precise GPS Orbit Information -- U.S. Army Electronic Proving Ground GPS Range Instrumentation System -- GPS Information with a European Flavor -- The United Kingdom -- The Netherlands -- Norway -- GPS Clock | |
Behavior -- Information for Surveyors -- GPS World Magazine -- The Federal Radionavigation Plan -- Appendix B Today’s Global Family of User-set Makers -- Domestic User-set Makers -- Foreign User-set Makers -- Appendix C | |
Navigation-related Clubs and Organizations -- Appendix D Navigation-related Magazines and Periodicals | |
ISBN: | 9781475769012 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Acoustics , Electrical engineering , Physics , Acoustics , Signal, Image and Speech Processing , Electrical Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9781475724264:ONLINE Show nearby items on shelf |
Title: | Probability, Stochastic Processes, and Queueing Theory The Mathematics of Computer Performance Modeling |
Author(s): |
Randolph Nelson |
Date: | 1995 |
Size: | 1 online resource (584 p.) |
Note: | 10.1007/978-1-4757-2426-4 |
Contents: | 1 Introduction -- I Probability -- 2 Randomness and Probability -- 3 Combinatorics -- 4 Random Variables and Distributions -- 5 Expectation and Fundamental Theorems -- II Stochastic Processes -- 6 The Poisson Process and Renewal |
Theory -- 7 The M/G/1 Queue -- 8 Markov Processes -- 9 Matrix Geometric Solutions -- 10 Queueing Networks -- 11 Epilogue and Special Topics -- A Types of Randomness -- A.1 Randomness: Physical Systems -- A.1.1 Intrinsic Probability -- | |
A.2 Randomness: Deterministic Systems -- A.2.1 The Baker’s Transformation -- A.2.2 Dynamical Systems -- A.3 Deterministic Randomness** -- A.3.1 Isomorphism Between Systems -- A.3.2 Random Newtonian Systems -- A.4 Summary of Appendix A | |
-- A.5 Problems for Appendix A -- B Combinatorial Equalities and Inequalities -- B.1 Noninteger Combinatorial Expressions -- B.2 Binomial Formula -- B.3 Stirling’s (de Moivre’s) Formula -- B.4 Bounds on Factorial Expressions -- B.5 | |
Noninteger Factorials** -- C Tables of Laplace Transforms and Generating Functions -- C.0.1 Laplace Transforms -- C.1 Generating Functions -- D Limits and Order Relationships -- D.1 Limits -- D.2 Order Relationships -- E List of Common | |
Summations -- References -- Index of Notation | |
ISBN: | 9781475724264 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer system failures , Probabilities , Statistics , Complexity, Computational , Mathematics , Probability Theory and Stochastic Processes , Statistics, general , Complexity , System Performance and Evaluation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1994-9783709193464:ONLINE Show nearby items on shelf |
Title: | Robotics in Alpe-Adria Region Proceedings of the 2nd International Workshop (RAA ’93), June 1993, Krems, Austria |
Author(s): | |
Date: | 1994 |
Size: | 1 online resource (230 p.) |
Note: | 10.1007/978-3-7091-9346-4 |
Contents: | Surveys -- Robotics Research in Austria -- Considerations on Objectives, Tasks and Organisation of Alpe-Adria Centre for Robotics and Automation -- Advanced Control Concepts for Industrial Robots -- IMProvement in Automation and |
Control Technology — A Joint European Initiative -- Robotics Research in Alpe Adria -- Research Activities in Robotics at RISC — Linz -- Applied Robotics Group Research Activities at the ITIA — Institute for Industrial Technologies and | |
Automation of CNR -- Robotic Research at the Scientific Academy of Lower Austria -- Robot Kinematics and Kinetics -- Robot Wrist Configurations, Mechanisms and Kinematics -- Parallel Evaluation of Robot Kinematic Transformations -- | |
Robot Arm Modelling and Control -- Dynamic Model of a Mobile Robot for Analyzing End-effector Deviations Caused from Ground Unevenness -- Construction, Design and Simulation of Robots -- Considerations for the Construction of | |
Lightweight Robots -- Design and Construction of a Modular Robot with Eulerian Joints -- Design of SCARA Robot -- Design and Measures for Lightweight Industrial Robots -- Designing Manipulators for a Robotized Manufacturing -- Optimal | |
Stochastic Design of a Parallel Robot for Tolerance -- USIS — an Advanced 3D-Robot Simulation System -- Emulation of Articulated Robots -- ALMORO — Symbolic Robot Dynamics Customizer -- Techniques to Improve the Performance of an | |
Industrial SCARA Robot -- Robot Control -- Experimental Multiprocessor Robot Controller -- Implementation of a Low Cost Robot Controller PC-ROBOCONT on Hydraulic Robot for Spray Painting G-201 -- Robust Adaptive Lyapunov — based Robot | |
Control -- Stability of Hybrid Position/Force Control Scheme during Free Motion -- Sensors and Mobile Robots -- Recognition of Three-dimensional Objects Using Two-dimensional Subspaces Gained by Intersections -- Multi-sensor Technique | |
for Increasing Intelligence of Assembly Robots -- Design of a Planetary Leg Mechanism Using Chebyshev’s Optimization Method -- A New Hybrid Locomotion Mobile Robot for Semi-structured Environments -- Commanding a Robot by Voice: Speech | |
and Autonomous Navigation for the Mobile Robot of MAIA -- Applications -- Robot Welding of Tubes -- CAD for Robot Workcells in Battery Manufacturing -- An Automatic Control on Band Saw Tool Vibrations in the Primar Cutting Process -- | |
Low Cost CAD/CAM-coupling Applications of Artificial Intelligence to Robotic Assembly -- Robots in Manufacturing Cells -- Scheduling in Flexible Manufacturing Systems, Supported through Cyclic Net Analysis -- Computer Aided Planning of | |
Robotized Assembly Systems -- A User-friendly Software Tool for the Semiautomatic Design of Small Assembly Cells -- Data Structures and Procedures for Computer Representation of Robot Cells -- Robots in Testing -- Robot Guided | |
Anthropoidic Measuring Device -- Circular Test: a New Method for Testing Industrial Robots -- A Low Cost Robot System for Stylus and Workpiece Manipulation in Computer Aided Quality Control -- Low Cost Automated Measuring System for | |
Circularity Measurements -- Rationalization of the CAD Data Management in Quality Assurance Systems -- Various Aspects -- Modular Parallel Gripper System -- Robotics in Transportation | |
ISBN: | 9783709193464 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Computer-aided engineering , Mechanics , Engineering design , Control engineering , Robotics , Mechatronics , Physics , Mechanics , Engineering Design , Control, Robotics, Mechatronics , Computer-Aided Engineering (CAD, CAE) and Design |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1994-9783642468087:ONLINE Show nearby items on shelf |
Title: | Information Systems and Data Analysis Prospects — Foundations — Applications |
Author(s): | |
Date: | 1994 |
Size: | 1 online resource (463 p.) |
Note: | 10.1007/978-3-642-46808-7 |
Contents: | I: Information Processing, Classification-Based Approaches, Linguistic and Conceptual Analysis -- Learning and Case-Based Reasoning -- Induction and Case-Based Reasoning for Classification Tasks -- Symbolic Learning and |
Nearest-Neighbor Classification -- Nonstandard Concepts of Similarity in Case-Based Reasoning -- Learning from Cases for Classification Problem Solving -- Approaches Based on Linguistic Analysis -- Methods of Phoneticizing in Regard to | |
Spelling Variants of Medical Phrases -- Disambiguating Lexical Meaning: Conceptual meta-modelling as a means of controlling semantic language analysis -- Information Retrieval Using Conceptual Representations of Phrases -- Information | |
Processing and Design of Information Systems -- Communication in Distributed Heterogenous Systems -- Prerequisites and Development Perspectives for Information Processing in the Social Sciences -- Aspects of Coupling Logic Programming | |
and Databases -- Processing Scientific Networks in Bibliographic Databases -- Object-Oriented Systems Analysis Applied to the Method Component of a Knowledge-Based System for Data Analysis -- Classification Based Query Evaluation in | |
Knowledge Base Systems -- Uncertainity and Neural Networks -- Neural Networks: Architectures, Learning and Performance -- Reasoning with Uncertainty in Diagnostic Systems -- Conceptual Approaches -- Der klassische und der moderne | |
Begriff des Begriffs. Gedanken zur Geschichte der Begriffsbildung in den exakten Wissenschaften -- Ideas of Algebraic Concept Analysis -- Conceptual Structures in Mathematical Logic and Their Formal Representation -- II: Mathematical | |
and Statistical Methods for Classification and Data Analysis -- Clustering and Discrimination -- Three-Mode Hierarchical Cluster Analysis of Three-Way Three-Mode Data -- The Testing of Data Structures with Graph-Theoretical Models -- | |
Geometric Approach to Evaluating Probabilities of Correct Classification into two Gaussian or Spherical Categories -- Jackknife Estimates of Similarity Coefficients Obtained from Quadrat Sampling of Species -- Clustering Techniques in | |
the Computing Environment XploRe -- On the Application of Discriminant Analysis in Medical Diagnostics -- Similarity Searching in Databases of Three-Dimensional Chemical Structures -- Feature Generation and Classification of Time | |
Series -- Data Analysis Methods -- TRIPAT: a Model for Analyzing Three-Mode Binary Data -- Block-relaxation Algorithms in Statistics -- Multidimensional Scaling with lp-Distances, a Unifying Approach -- Universal Optimality of Rank | |
Constrained Matrix Approximation -- The Analysis of Spatial Data from Marine Ecosystems -- Automatic Decomposition of Lattice Data including Missing Values and Boundaries -- III: Genome and Molecular Sequence Analysis -- Classification | |
and Data Analysis in Genome Projects: Some Aspects of Mapping, Alignment and Tree Reconstruction -- Multiple Alignment of Protein Sequences and Construction of Evolutionary Trees based on Amino Acid Properties — an Algebraic Approach | |
-- How to Deal With Third Codon Positions in Phylogenetic Analysis -- Machine Learning for Protein Structure Prediction -- A Parallel-Processor Implementation of an Algorithm to Delineate Distantly Related Protein Sequences using | |
Conserved Motifs and Neural Networks -- IV: Applied Data Analysis in Special Fields -- Economy and Marketing -- Knowledge-Based Selection and Application of Quantitative Models of Consumer Behavior -- Goodwill towards Domestic Products | |
as Segmentation Criterion: An Empirical Study within the Scope of Research on Country-of-Origin Effects -- Archeology -- Merovingian Glass Beads: An Essay of Classification -- Screening in Medicine -- Statistical Measures to Quantify | |
the Benefit from Screening: a Case Study on Cholesterol Screening -- Evaluation of Screening in Case-Control Studies: an Alternative to Randomized Controlled Trials? -- List of Authors | |
ISBN: | 9783642468087 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Health informatics , Computer science , Bioinformatics , Computational biology , Probabilities , Statistics , Economic theory , Economics , Economic Theory/Quantitative Economics/Mathematical Methods , Mathematics of Computing , Probability Theory and Stochastic Processes , Statistics for Business/Economics/Mathematical Finance/Insurance , Health Informatics , Computer Appl. in Life Sciences |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1994-9781461383833:ONLINE Show nearby items on shelf |
Title: | Mathematics in Industrial Problems Part 6 |
Author(s): |
Avner Friedman |
Date: | 1994 |
Size: | 1 online resource (229 p.) |
Note: | 10.1007/978-1-4613-8383-3 |
Contents: | 1 Magnetization reversal in particulate recording media -- 1.1 The physical system -- 1.2 The model -- 1.3 Results and open problems -- 1.4 References -- 2 Variable forgetting factors in Kalman filtering -- 2.1 The dynamic Kalman |
filtering -- 2.2 Variable forgetting factor -- 2.3 Modification of VFF -- 2.4 Applications -- 2.5 References -- 3 Modeling of dopant diffusion networks -- 3.1 Diffusion on networks -- 3.2 Random walks -- 3.3 Effects of grains’ | |
boundaries -- 3.4 Solution of Problems -- 3.5 References -- 4 Statistical optics and effective medium theories of color -- 4.1 Color -- 4.2 Calculating reflectivity -- 4.3 Effective medium theory (EMT) -- 4.4 Mathematical problems -- | |
4.5 References -- 5 Amorphous and polysilicon devices -- 5.1 Amorphous semiconductors -- 5.2 A mathematical model -- 5.3 Numerical results -- 5.4 Open problems and partial solution -- 5.5 References -- 6 Modeling the performance of a | |
piezoelectric gyroscope -- 6.1 Vibrating gyroscope -- 6.2 Linear elasticity -- 6.3 Rotating disk -- 6.4 Rotating piezoelectric disk -- 6.5 Approximate solution -- 6.6 References -- 7 Particle simulations for xerographic development -- | |
7.1 The model -- 7.2 More on the particle motion -- 7.3 Open problems -- 7.4 References -- 8 A statistical dynamic theory of glassy polymers -- 8.1 Glassy state -- 8.2 Viscoelastic relaxation -- 8.3 Strain-stress behavior -- 8.4 | |
Composite modulus -- 8.5 Open problems -- 8.6 References -- 9 Simulation of magnetic recording and playback processes -- 9.1 Magnetic tape and the recording process -- 9.2 Model of the record process -- 9.3 Record model implementation | |
-- 9.4 The playback process -- 9.5 Open issues -- 9.6 References -- 10 Sunglitter in oceanic remote detection -- 10.1 Background noise -- 10.2 Signal processing -- 10.3 The model -- 10.4 Model/data comparison -- 11 Computer simulations | |
of electrorheological fluids -- 11.1 Modeling ER fluids -- 11.2 Bulk polarization model -- 11.3 Numerical results -- 11.4 Optical probing -- 11.5 Areas for future work -- 11.6 References -- 12 Local flaws in permeation reducing barrier | |
layers -- 12.1 Fluorinated fuel tanks -- 12.2 Mathematical model -- 12.3 Results for circular holes -- 12.4 Open problems -- 12.5 Partial results -- 12.6 References -- 13 Iterative solution methods on the Cray YMP/C90 -- 13.1 Iterative | |
schemes -- 13.2 Preconditioning strategies -- 13.3 Computational results -- 13.4 References -- 14 Track reconstruction and data fusion -- 14.1 Data fusion -- 14.2 Data sources and model selection -- 14.3 Extended Kalman filter and | |
smoothing -- 14.4 References -- 15 Approximation to Boltzmann transport in semiconductor devices -- 15.1 The Boltzmann transport equation -- 15.2 Approximation to B.T.E. -- 15.3 The f0-equation -- 15.4 References -- 16 Systematic data | |
fusion using the theory of random conditional sets -- 16.1 Data fusion algorithms -- 16.2 Bayesian classification -- 16.3 The Dempster—Shafer approach -- 16.4 Fuzzy logic -- 16.5 Random sets -- 16.6 Conditional set theory -- 16.7 | |
References -- 17 Micromagnetic simulation -- 17.1 The magnetic head -- 17.2 The magnetic energy in film -- 17.3 The pole tip -- 17.4 Swirl points -- 17.5 References -- 18 Dissolution kinetics with feedback -- 18.1 The model -- 18.2 | |
Fast kinetic limit -- 18.3 Numerical solution -- 18.4 Remarks -- 18.5 References -- 19 Wetting and adsorption at chemically heterogeneous surfaces -- 19.1 Wettability -- 19.2 Wettability on self-assembled monolayers -- 19.3 | |
Mathematical model -- 19.4 References -- 20 Fluid and kinetic modeling for micromechanical structures -- 20.1 Modeling micromechanical structures -- 20.2 Fluid description -- 20.3 Accelerometer -- 20.4 References -- 21 Modeling | |
exhaust-gas oxygen sensors -- 21.1 The sensor -- 21.2 Mathematical model -- 21.3 Open problems -- 21.4 References -- 22 3D modeling of a smart power device -- 22.1 The device -- 22.2 Thermal modeling -- 22.3 Solution to problem (1) -- | |
23 Solutions to problems from previous parts -- 23.1 Part 1 -- 23.2 Part 3 -- 23.3 Part 5 -- 23.4 References | |
ISBN: | 9781461383833 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | The IMA Volumes in Mathematics and its Applications: 57 |
Keywords: | Engineering , Mathematical models , Engineering , Engineering, general , Mathematical Modeling and Industrial Mathematics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1993-9789401116046:ONLINE Show nearby items on shelf |
Title: | Acoustic Signal Processing for Ocean Exploration |
Author(s): | |
Date: | 1993 |
Size: | 1 online resource (676 p.) |
Note: | 10.1007/978-94-011-1604-6 |
Contents: | CW and Pulse Propagation Modeling in Ocean Acoustics -- Mechanisms of Bottom Loss in Underwater Acoustics -- Directional Measurement of Deep Sea Ambient Noise Spectra -- Inversion of Acoustic Field Data for Bathymetry and Bottom Sound |
Speed via Simulated Annealing -- Non-Parametric Estimation and Statistical Properties of an Ocean Acoustic Pressure Field -- Computation of Modal Wavenumbers and Wavenumber Integrals using Adaptive Methods with Error Control -- Sound | |
Propagation in Upper Layers of the Ocean Comprising Bubble Clouds -- Matched Field Processing in Ocean Acoustics -- Source Location Observability in the Underwater Multipath Acoustic Channel -- Model-Based Processing of Large | |
Time-Bandwidth-Product Signals in a Time-Dispersive Ducted Sound Channel -- Signal Resolution in Low Doppler Interference -- Downslope Conversion -- Wideband Matched-Field Processing in a Random Ocean Channel -- Wavefront | |
Reconstruction Applied to Matched Field Processing in Variable, Multimode Waveguides -- Detection of Slow Targets by a Moving Active Sonar -- The Spatial Correlation and Structure Function for Propagation Loss Fluctuations -- Aspects | |
of Systems Engineering for a Matched Field Processor -- Geometrical Methods for Direction Determination -- A Comparison of Spatial Signal Processors with Realistic Data -- Array Processing using Higher Order Statistics -- A | |
Reduced-Rank Generalized Likelihood-Ratio Test -- Estimating the Shape of a Towed Array of Hydrophones Using Both Acoustic and Non-Acoustic Sensor Techniques -- Effect of Biased Compasses on Towed Array Shape Estimates Obtained from | |
Kaiman Filters -- Estimation of the Directions of Arrival of Signals in Unknown Correlated Noise: Application of Generalized Correlation Analysis -- Performance Evaluation of the High-Resolution Array Processing Algorithms Using Real | |
Sonar Data -- Acoustic Signal Detection in Uncertain Ocean Environments -- Passive Localization and Tracking of a Narrowband Source -- A Bayesian Approach to Target Detection in Jamming -- Tracking with Doppler and Bearing Measurements | |
Using Conditional PDF -- Passive Detection and Localization Using Long-Term Spectral Integration -- EM Algorithm for Wideband Source Location Estimation -- Wave Parameters Estimation for Transient Data -- Signal Processing for Swath | |
Bathymetry and Concurrent Seafloor Acoustic Imaging -- Sonar Imaging of the Seabed: Techniques, Performance, Applications -- Application of Acoustics in Fisheries, with Particular Reference to Signal Processing -- Modelling and | |
Estimation for Random Fields -- 2D Linear Optimal Statistical Signal Processing on Finite Lattices -- An Evaluation of Target Strength Estimation from Echo Ensembles -- A Distorted Array Focusing Technique for Sonar Imaging -- Are the | |
Present-days Theoretical Deconvolution Methods Adapted to Ocean Acoustic Tomography in a Complex Acoustic Channel -- Signal and Image Restoration Using a Standard Hopfield Neural Network -- Underwater Surveillance — Concepts, Equipment | |
and Results -- Signal Processing on FSK Pulses for Seafloor Mapping System -- Multi-Target Ambiguity Functions -- Sliding Windowed Fourier Transforms and the Heisenberg Group -- Optimum Signal Processing and Medium Characterization in | |
the Time-Frequency and Wavelet Transform Domains -- Wavelet Detection of Real Propagated Transient Signals -- Time-Frequency Approaches for Sonar Target Description: Application to Fisheries -- Supervised Design of Optimal Receivers -- | |
Hartley Cepstrum Analysis of Acoustic Signals -- Pattern Processing in the Mammalian Brain -- A 3D Vision System for Underwater Vehicles: An Extended Kalman-Bucy Filtering Approach -- Robotic Sensors: Acoustic and Optical Options -- | |
Simulation Study of an Integrated Guidance System for an Autonomous Underwater Vehicle -- Nonlinear Phase Estimation and Detection in Digital Communication -- A Model Based Equalization Structure for Underwater Communications -- | |
Coherent Communications over Long Range Underwater Acoustic Telemetry Channels -- Characterization of a Class of M-ary Absolute Phase Modulation -- EKF Schemes in Array Processing -- Algorithmic Engineering in Adaptive Signal | |
Processing -- Development of Parallel Computing -- List of Participants -- Index of Subjects -- Index of Authors | |
ISBN: | 9789401116046 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO ASI Series, Series C: Mathematical and Physical Sciences: 388 |
Keywords: | Engineering , Oceanography , Image processing , Remote sensing , Electrical engineering , Engineering , Signal, Image and Speech Processing , Remote Sensing/Photogrammetry , Oceanography , Electrical Engineering , Image Processing and Computer Vision |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1992-9781461531043:ONLINE Show nearby items on shelf |
Title: | The Navstar Global Positioning System |
Author(s): |
Tom Logsdon |
Date: | 1992 |
Size: | 1 online resource (256 p.) |
Note: | 10.1007/978-1-4615-3104-3 |
Contents: | 1 The Science of Navigation -- What Is Navigation? -- A Typical Ground-Based Radionavigation System -- The Advantages of Space-based Transmitters -- The Transit Navigation Satellites -- Gravity Gradient Stabilization -- Disturbance |
Compensation Systems -- Compensating for Ionospheric Delays -- Compensating for Tropospheric Delays -- Navigation Techniques -- The Navstar Revolution -- Navstar Navigation Techniques -- The Navstar Clocks -- Practical Benefits for All | |
Mankind -- 2 The Navstar GPS -- The Space Segment -- Signal Structure and Pseudorandom Codes -- Navigation Solutions -- Correcting for Relativistic Time Delays -- Correcting for Ionospheric and Tropospheric Delays -- Decoding the | |
50-Bit-Per-Second Data Stream -- The Various Families of Navstar Satellites -- The User Segment -- A Typical High-Performance 5-Channel Receiver -- Operating Procedures -- The Control Segment -- Inverting the Navigation Solution -- The | |
Monitor Stations and The Master Control Station -- Field Test Results -- 3 Performance Comparisons for Today’s Radionavigation Systems -- A Sampling of Today’s Ground-based Navigation Systems -- Loran C/D -- Omega -- VOR/DME Tacan -- | |
The Microwave Landing System -- Inertial Navigation -- JTIDS Relnav and PLRS -- Signpost Navigation Techniques -- A Sampling of Today’s Space-based Navigation Systems -- Transit -- The Navstar Global Positioning System -- The French | |
Argos -- Side-by-side Performance Comparisons -- 4 User-Set Architecture -- The Major Components of a Typical Navstar Receiver -- The Receiver Antenna and Its Associated Electronics -- The Tracking Loops -- Navigation Processor -- | |
Power Supply -- Control-Display Unit -- Choosing the Proper User-set Architecture -- Performance Comparisons -- Selecting the Antennas -- Selecting the Proper Computer Processing Techniques -- Solving for the User’s Position -- | |
Computing and Interpreting the Geometrical Dilution of Precision -- Ranging Error Budgets -- Kalman Filtering Techniques -- 5 User-set Performance -- Accuracy Estimates for Various Methods of Navigation -- Performance Criteria to | |
Consider when Purchasing a Navstar Receiver -- Receiver Design Choices -- Number of Channels and Sequencing Rate -- Access to Selective-availability Signals -- Available Performance Enhancement Techniques -- Computer Processing | |
Capabilities -- Receiver Design Smart Card -- Today’s Available Navstar Receivers -- Hand-held Receivers -- Commercially Available Navstar Chipsets -- 6 Differential Navigation and Pseudo-satellites -- Performance Comparisons: Absolute | |
and Differential Navigation -- Special Committee 104’s Recommended Data-exchange Protocols -- The Coast Guard’s Differential Navigation System Tests -- Motorola’s Mini Ranger Test Results -- COMSAT’s Data Distribution Service for the | |
Gulf of Mexico -- Wide-area Differential Navigation Services -- Pseudo-satellites -- Special Committee 104’s Data Exchange Protocols for Pseudo-satellites -- Comparisons Between Differential Navigation and Pseudo-satellites -- 7 | |
Interferometry Techniques -- The Classical Michaelson-Morley Interferometry Experiment -- Measuring Attitude Angles with Special Navstar Receivers -- Eliminating Solution Ambiguities -- Practical Test Results -- Using Interferometry to | |
Fix Position -- Single, Double, and Triple Differencing Techniques -- The POPS Post-Processing Software -- Spaceborne Interferometry Receivers -- Motorola’s Commercially Available Monarch -- Tomorrow’s Generic Spaceborne Receivers -- 8 | |
Integrated Navigation Systems -- Integrated Navigation -- Inertial Navigation -- Error Growth Rates -- Reinitialization Techniques -- Ring Laser Gyros -- Monolithic Ring Laser Gyros -- Fiber Optic Gyros -- Using the GPS for Testing | |
Inertial Navigation Systems -- The Practical Benefits of Integrated Navigation -- Chassis-level Integration -- 9 Interoperability with Other Navigation Systems -- The Soviet Glonass -- The Glonass Specification Release at Montreal -- | |
The Glonass Constellation -- Orbital Maneuvers for the Glonass Satellites -- Building Dual-capability GPS/Glonass Receivers -- Receiver Design Difficulties -- Dual-Capability Receiver Tests at Leeds University -- The FAA’s Joint | |
Research Efforts with Soviet Scientists -- Other Attempts to Build Dual-capability Receivers -- Integrity Monitoring Techniques -- Interoperability with Other Radionavigation Systems -- Eastport International’s Integrated System for | |
Underwater Navigation -- 10 The Navstar Satellites -- The Eight Major Spacecraft Subsystems -- The Orbit Injection Subsystem -- Tracking, Telemetry and Command -- Attitude and Velocity Control -- Electrical Power -- Navigation | |
Subsystem -- Reaction Control -- Thermal Control -- Structures and Mechanisms -- On-orbit Test Results -- The Multiyear Spacecraft Procurement -- Booster Rockets -- Orbital Perturbations -- The Spacecraft Ephemeris Constants -- | |
Satellite Viewing Angles -- Earth-shadowing Intervals -- Repeating Ground-trace Geometry -- 11 Precise Time Synchronization -- John Harrison’s Marine Chronometer -- Celestial Navigation Techniques -- A Short History of Time -- The | |
Atomic Clocks Carried Aboard the Navstar Satellites -- Cesium Atomic Clocks -- Rubidium Atomic Clocks -- Developing Atomic Clocks Light Enough to Travel Into Space -- The Growing Need for Precise Time Synchronization -- Time Sync | |
Methodologies -- Fixing Time with the Navstar Signals -- Lightweight Hydrogen Masers for Tomorrow’s Navstar Satellites -- Crosslink Ranging Techniques -- 12 Digital Avionics and Air Traffic Control -- The Sabreliner’s Flight to the | |
Paris Air Show -- Four Major Concerns of the Federal Aviation Administration -- Selective Availability -- User-Set Fees -- Integrity-related Failures -- Continuous Five-satellite Coverage -- Using a Dedicated Constellation for Air | |
Traffic Control -- An Alternative Architecture Using the GPS -- Comparisons Between Geosynchronous and Semisynchronous Constellations -- Piggyback Geosynchronous Payloads -- The Autoland System Test Results -- 13 Geodetic Surveying and | |
Satellite Positioning -- Determining the Shape of Planet Earth -- The Theory of Isostasy -- The Earth’s Contours Under Hydrostatic Equilibrium -- GPS Calibrations at the Turtmann Test Range -- Static Surveying Techniques -- Kinematic | |
and Pseudo-kinematic Surveying -- Freeway Surveying During War in the Persian Gulf -- Navstar Positioning for Landsat D -- The Landsat’s Spaceborne Receiver -- On-Orbit Navigation Accuracy -- Orbit Determination for High-altitude | |
Satellites -- Today’s Available Spaceborne Receivers -- 14 Military Applications -- The Military Benefits of the Worldwide Common Grid -- Field Test Results -- Projected Battlefield Benefits -- Test Range Applications -- Military | |
Receivers -- Carrier-landing Accuracies -- Amphibious Warfare Operations -- Accuracy-enhancements for Strategic and Cruise Missiles -- 15 Civil Applications -- Dinosaur Hunting with the GPS -- Guiding Archaeological Expeditions -- | |
Tracking Hazardous Icebergs -- Offshore Oil Exploration -- Fixing the Positions of Railroad Trains -- Automobile Navigation -- Dead Reckoning Systems -- Tomorrow’s Space-based Vehicle Navigation Techniques -- Today’s Available | |
Automotive Navigation Systems -- Futuristic Applications for Navstar Navigation -- Appendix A Additional Sources of lnformation -- GPS Information Centers -- The U.S. Coast Guard’s Information Center -- The Computer Bulletin Board at | |
Holloman Air Force Base -- Global Satellite Software’s Computer Bulletin Board -- The Glonass Computer Bulletin Board -- Precise GPS Orbit Information -- Military GPS Information Directory -- GPS Information with a European Flavor -- | |
The United Kingdom -- The Netherlands -- Norway -- GPS Clock Behavior -- Information for Surveyors -- GPS World Magazine -- The Federal Radionavigation Plan -- Appendix B Today’s Global Family of User-set Makers -- Domestic User-set | |
Makers -- Foreign User-set Makers -- Appendix C Navigation-Related Clubs and Organizations -- Appendix D Navigation-related Magazines and Periodicals | |
ISBN: | 9781461531043 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Acoustics , Physics , Acoustics , Signal, Image and Speech Processing |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1990-9781461537281:ONLINE Show nearby items on shelf |
Title: | Supercollider 2 |
Author(s): | |
Date: | 1990 |
Size: | 1 online resource (840 p.) |
Note: | 10.1007/978-1-4615-3728-1 |
Contents: | 1. Worldwide Experience and Challenges -- Past and Future of the U.S./Japan Cooperation in High Energy Physics -- Accelerator Projects in the USA -- 2. Accelerators -- Studies of Cold Protection Diodes -- Numerical Studies of the SSC |
Injection Process: Long Term Tracking -- Application of the SSCTRK Numerical Simulation Program to the Evaluation of the SSC Magnet Aperture -- Collider Ring Particle Loss Tracking with SSCTRK -- Low Energy Booster Resonant Power | |
Supply System -- The SSC Collider Ring Correction Magnet System -- Early Instrumentation Projects at the SSC -- 3. Computers/Controls -- Versatile Computer Program for Solenoid Design and Analysis -- Trends in Data Acquisition | |
Instrumentation -- The Magnet Components Database System -- Computing Requirements for the SSC Magnet Test Laboratory -- Real-Time Data Acquisition and Computation for the SSC Using Optical and Electronic Technologies -- 4. | |
Conventional Construction -- Scheduling the SSC Construction -- Super Collider Egress Spacing and Life Safety -- 5. Cryogenics -- A Refrigeration Plant Concept for the SSC -- Transverse Cooling SSC Magnets -- The Cryogenic System for | |
the SSC Magnet Test Laboratory -- A Dynamic Model for Helium Core Heat Exchangers -- Simulation of the SSC Refrigeration System Using the ASPEN/SP Process Simulator -- 6. Detectors I -- Cad Tools for Detector Design -- A Projective | |
Geometry Lead Fiber Scintillator Detector -- A High Resolution Barium Fluoride Calorimeter -- Fast Liquid Scintillators Based on Organic Dye-Polymer Conjugates -- A Detector for Bottom Physics at the SSC -- Superconducting Air Core | |
Toroids for Precision Muon Measurements at the SSC -- R and D Programme In Switzerland for Future Detectors -- 7. Materials and Magnets I -- NBTI Superconductors with Artificial Pinning Structures -- Recent Development of SSC Cable in | |
Furukawa -- A New Device for Production Measurements of Field Integral and Field Direction of SC Dipole Magnets -- An “In House” Cabling Facility -- Conceptual Design for the SSC High Energy Booster -- Self-Propelled In-Tube Shuttle | |
and Control System for Automated Measurements of Magnetic Field Alignment -- Correction of Magnetization Sextupole in One-Meter Long Dipole Magnets Using Passive Superconductor -- Electrical Insulation Requirements and Test Procedures | |
for SSC Dipole Magnets -- Multiple Coil Pulsed Magnetic Resonance Method for Measuring Cold SSC Dipole Magnet Field Quality -- 8. Systems and Controls -- Overview of Fermi Natonal Accelerator Lab Control System -- A Suggestion for | |
Extension of Magnet Cryogenics into Acquisition and Computation Electronics and Photonics -- 9. Poster Sessions -- The SSC Superconducting Air Core Toroid Design Development -- Zeus Magnet Tests -- Manufacture of 10 T Twin Aperture | |
Superconducting Dipole Model for LHC Project -- Analysis of Collar, Yoke and Skin Interaction for the Mechanical Support of Superconducting Coils -- SSC Dipole Magnet Measurement and Alignment Using Laser Technology -- SSC 40mm Short | |
Model Construction Experience -- Process Control Oriented Quench Analysis of A SSC Magnet -- Bulk Modulus Capacitor Load Cells -- Radiation Effects on Integrated Circuits Used in High Energy Research -- Sensor Array for | |
Characterization of Magnetic Fields in Cold Bore Dipole SSC Magnets -- The LSU Electron Storage Ring, The First Commercially-Built Storage Ring -- 10. Program Schedules and Challenges -- Project Organizations and Schedules -- 11. | |
Materials and Conductors II -- Superconducting Cable for HERA -- Design of Multifilamentary Strand for Superconducting Super Collider Applications—Reduction of Magnetizations Due to Proximity Effect and Persistent Current -- | |
Development of NbTi Superconducting Cable for the SSC by Sumitomo Electric Industries -- A Status Report on the Development of Inner and Outer Conductors for the SSC Dipole and Quadrupole Magnets -- Evaluation of SSC Cable Produced for | |
the Model Dipole Program during 1989 and through February, 1990 -- Current Developments of the Cu/Nb-Ti Superconducting Cables for SSC in Hitachi Cable, LTD. -- Development and Large Scale Production of NbTi and Nb3Sn Conductors for | |
Beam Line and Detector Magnets -- Tests of DC Cable-in-Conduit Superconductors for Large Detector Magnets -- 12. Detectors II -- Monolithic JFET Preamplifier for Ionization Chamber Calorimeters -- Rad-Hard Electronics Development | |
Program for SSC Liquid-Argon Calorimeters -- Performance Measurements of Hybrid Pin Diode Arrays -- A Straw-Tube Tracking System for the SSC -- A Straw Tube Design Suitable for Mass Production -- 13. Education -- Building Blocks of the | |
Universe -- Educational Opportunities from the SSC -- 14. Magnets II -- An Automated Coil Winding Machine for the SSC Dipole Magnets -- Experimental Evaluation of Vertically Versus Horizontally Split Yokes for SSC Dipole Magnets -- | |
Summary of Construction Details and Test Performance of Recent Series of 1.8 Meter SSC Dipoles at BNL -- Investigation of the Mechanical Properties of Superconducting Coils -- Development of High Manganese Non-Magnetic Steel for SSC | |
Dipole Superconducting Magnet Collar -- 15. Technology Transfer -- Industrial Participation in Tristan Project at KEK, Japan -- Possible SSC Dipole Design/Manufacturing Improvements Based on HERA Experience -- Technology Transfer - | |
Past, Present and Future -- Attendees -- Author Index | |
ISBN: | 9781461537281 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Atoms , Materials science , Physics , Atomic, Molecular, Optical and Plasma Physics , Characterization and Evaluation of Materials |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1989-9789400909090:ONLINE Show nearby items on shelf |
Title: | Bayesian Approach to Global Optimization Theory and Applications |
Author(s): |
Jonas Mockus |
Date: | 1989 |
Size: | 1 online resource (270 p.) |
Note: | 10.1007/978-94-009-0909-0 |
Contents: | 1 Global optimization and the Bayesian approach -- 1.1 What is global optimization? -- 1.2 Advantages of the Bayesian approach to global optimization -- 2 The conditions of Bayesian optimality -- 2.1 Introduction -- 2.2 Reduction to |
dynamic programming equations -- 2.3 The existence of a measurable solution -- 2.4 The calculation of conditional expectations -- 2.5 The one-step approximation -- 2.6 The adaptive Bayesian approach -- 3 The axiomatic non-probabilistic | |
justification of Bayesian optimality conditions -- 3.1 Introduction -- 3.2 The linearity of the loss function -- 3.3 The existence of the unique a priori probability corresponding to subjective preferences -- 3.4 Optimal method under | |
uncertainty -- 3.5 Nonlinear loss functions -- 4 Stochastic models -- 4.1 Introduction -- 4.2 Sufficient convergence conditions -- 4.3 The Gaussian field -- 4.4 Homogeneous Wiener field -- 4.5 A case of noisy observations -- 4.6 | |
Estimation of parameters from dependent observations -- 5 Bayesian methods for global optimization in the Gaussian case -- 5.1 The one-step approximation -- 5.2 Adaptive models -- 5.3 Extrapolation models -- 5.4 Maximum likelihood | |
models -- 5.5 The comparison of algorithms -- 5.6 The Bayesian approach to global optimization with linear constraints -- 5.7 The Bayesian approach to global optimization with nonlinear constraints -- 5.8 The Bayesian approach to | |
multi-objective optimization -- 5.9 Interactive procedures and the Bayesian approach to global optimization -- 5.10 The reduction of multi-dimensional data -- 5.11 The stopping rules -- 6 The analysis of structure and the | |
simplification of the optimization problems -- 6.1 Introduction -- 6.2 Structural characteristics and the optimization problem -- 6.3 The estimation of structural characteristics -- 6.4 The estimation of a simplification error -- 6.5 | |
Examples of the estimates -- 7 The Bayesian approach to local optimization -- 7.1 Introduction -- 7.2 The one-dimensional Bayesian model -- 7.3 Convergence of the local Bayesian algorithm -- 7.4 Generalization of a multi-dimensional | |
case -- 7.5 Convergence in the multi-dimensional case -- 7.6 The local Bayesian algorithm -- 7.7 Results of computer simulation -- 8 The application of Bayesian methods -- 8.1 Introduction -- 8.2 The optimization of an electricity | |
meter -- 8.3 The optimization of vibromotors -- 8.4 The optimization of a shock-absorber -- 8.5 The optimization of a magnetic beam deflection system -- 8.6 The optimization of small aperture coupling between a rectangular waveguide | |
and a microstrip line -- 8.7 The maximization of LSI yield by optimization of parameters of differential amplifier functional blocks -- 8.8 Optimization of technology to avoid waste in the wet-etching of printed circuit boards in | |
iron-copper-chloride solutions -- 8.9 The optimization of pigment compounds -- 8.10 The least square estimation of electrochemical adsorption using observations of the magnitude of electrode impedance -- 8.11 Estimation of parameters | |
of the immunological model -- 8.12 The optimization of nonstationary queuing systems -- 8.13 The analysis of structure of the Steiner problem -- 8.14 The estimation of decision making by intuition on the example of the Steiner problem | |
-- 9 Portable FORTRAN software for global optimization -- 9.1 Introduction -- 9.2 Parameters -- 9.3 Methods available -- 9.4 Common blocks -- 9.5 The function -- 9.6 The main program -- 9.7 The example of the main program -- 9.8 | |
Description of routines -- 9.9 BAYES1, the global Bayesian method by Mockus -- 9.10 UNT, the global method of extrapolation type by Zilinskas -- 9.11 LPMIN, the global method of uniform search by Sobolj, Shaltenis and Dzemyda -- 9.12 | |
GLOPT, the global method of clustering type by Törn -- 9.13 MIG1, the global method of Monte Carlo (uniform random search) -- 9.14 MIG2, the modified version of MIG 1 -- 9.15 EXTR, the global one-dimensional method by Zilinskas -- 9.16 | |
MIVAR4, the local method of variable metrics by Tieshis -- 9.17 REQP, the local method of recursive quadratic programming by Biggs -- 9.18 FLEXI, the local simplex method by Nelder and Mead -- 9.19 LBAYES, the local Bayesian method by | |
Mockus -- 9.20 ANAL1, the method of analysis by structure by Shaltenis -- 9.21 Portability routines -- References -- Appendix 1 The software for global optimization for IMB/PC/XT/AT and compatibles -- Appendix 2 How the global | |
optimization software can improve the performance of your CAD system -- Appendix 3 Machine dependent constants of portable FORTRAN | |
ISBN: | 9789400909090 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematics and Its Applications, Soviet Series: 37 |
Keywords: | Computer science , Computers , Numerical analysis , Operations research , Management science , Computer Science , Numeric Computing , Operations Research, Management Science , Theory of Computation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1989-9783642835810:ONLINE Show nearby items on shelf |
Title: | Dynamics of Controlled Mechanical Systems IUTAM/IFAC Symposium, Zurich, Switzerland, May 30–June 3, 1988 |
Author(s): | |
Date: | 1989 |
Size: | 1 online resource (377 p.) |
Note: | 10.1007/978-3-642-83581-0 |
Contents: | Modeling -- Model Verification by Experiments with Finite Effect Sequences.(FES) -- Modeling the Dynamics of a Complete Vehicle with Nonlinear Wheel Suspension Kinematics and Elastic Hinges -- Computer Aided Formulation of Equations |
of Motion -- State Equations of Motion for Flexible Bodies in Terms of Quasi-Coordinates -- Design Tools -- Simulation, Test and Diagnostics Integrated for a Safety Design of Magnetic Bearing Prototypes -- Hardware - Software | |
Interfaces for Dynamical Simulations -- Graphical Tools -- Towards Graphical Programming in Control of Mechanical Systems -- Graphical Verification of Complex Multibody Motion in Space Applications -- Examples for the Dynamics of | |
Controlled Mechanical Systems -- Active Vibration Control of a Cantilever Beam by a Piezoelectric Ceramic Actuator -- Fiber Connected Tug of War -- Structure of Magnetic Bearing Control System for Compensating Unbalance Force -- | |
Sensors and Actuators -- Placing Dynamic Sensors and Actuators on Flexible Space Structures -- Aerospace -- A Simple Active Controller to Supress Helicopter Air Resonance in Hover and Forward Flight -- Active Vibration Control for | |
Flexible Space Environment Use Manipulators -- Orientation of Large Orbital Stations -- Attitude Stability of a Flexible Asymmetric Dual Spin Spacecraft -- Robotics -- Robot Control in Cartesian Space with Adaptive Nonlinear Dynamics | |
Compensation -- Modeling and Control of Elastic Robot Arm with Prismatic Joint -- A Decentralized and Robust Controller for Robots -- Isotropic and Uniform Inertial and Acceleration Characteristics: Issues in the Design of Redundant | |
Manipulators -- Effect of Sampling Rates on the Performance of Model-Based Control Schemes -- Modeling and Control of a Flexible Robot Link -- Decomposed Parameter Identification Approach of Robot Dynamics -- Dynamic Behavior of a | |
Flexible Robotic Manipulator -- Vehicles -- Control of an Active Suspension System for a Wheeled Vehicle -- Dynamic Modeling of High Speed Ground Transportation Vehicles for Control Design and Performance Evaluation -- Trajectory | |
Planning and Motion Control of Mobile Robots -- Researches of the Biped Robot in Japan | |
ISBN: | 9783642835810 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Mechanics , Engineering design , Automotive engineering , Control engineering , Robotics , Mechatronics , Physics , Mechanics , Engineering Design , Control, Robotics, Mechatronics , Automotive Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1989-9783642750403:ONLINE Show nearby items on shelf |
Title: | Conceptual and Numerical Analysis of Data Proceedings of the 13th Conference of the Gesellschaft für Klassifikation e. V., University of Augsburg, April 10–12, 1989 |
Author(s): | |
Date: | 1989 |
Size: | 1 online resource (530 p.) |
Note: | 10.1007/978-3-642-75040-3 |
Contents: | Section 1: Data Analysis and Classification: Basic Concepts and Methods -- Robustness of Estimation Methods against Small Sample Sizes and Nonnormality in Confirmatory Factor Analysis Models -- Probabilistic Aspects in Cluster |
Analysis -- Symbolic Cluster Analysis -- Analysis of Nonnormal Longitudinal Data with Generalized Linear Models -- Cluster Methods for Qualitative Data -- On Testing for and against Inequality Restrictions -- Evaluation of a Survey | |
with Methods of Formal Concept Analysis -- A New Modification of the Rand Index for Comparing Partitions -- Relations between Models for Three-Way Factor Analysis and Multidimensional Scaling -- Algorithms in Multidimensional Scaling | |
-- Extensions of Correspondence Analysis for the Statistical Exploration of Multidimensional Contingency Tables -- Numerical Classification of Biased Estimators -- An Agglomerative Algorithm of Overlapping Clustering -- Isotonic | |
Regression — For a Monotone Index on a Hierarchy -- On the Interpretation of Median Relations -- Least Squares Approximation of Additive Trees -- Geometric Representation of Concept Lattices -- On Properties of Additive Tree Algorithms | |
-- Section 2: Applications in Library Sciences, Documentation and Information Sciences -- Knowledge Structures and Knowledge Representation: Psychological Models of Conceptual Order -- Qualitative and Numerical Data in a | |
Three-dimensional System -- New Concepts and Terms During the French Revolution. A Classification of the Neologisms According to their Origin -- Einige sprachliche Probleme bei der Arbeit an einer Klassifikation und deren Registern -- | |
Data Analysis in Literary Studies -- Have Very Large Data Bases Methodological Relevance? -- Priority-Based Classification of Available Information — An Important Aspect of Future User Interfaces -- Section 3: Applications in Economics | |
and Social Sciences -- Computer-Based and Quantitative Methods in Market Research -- Sample Techniques Used in Marketing Research -- Generalized Latent Class Analysis: A New Methodology for Market Structure Analysis -- The Use of the | |
Logical Programming Language PROLOG as a Classification Method -- Classification and Selection of Consumer Purchase Behaviour Models -- Towards a New Socioeconomic Classification Scheme for Farm Households Using a Cluster Analysis | |
Technique -- Identification of Multiple Criteria Decision Making -- Explorative Data Analysis and Macroeconomics -- A Microeconometric Study of Travelling Behaviour -- Inference Techniques in Decision Support Systems — Comparison and | |
Example from Data Analysis -- Section 4: Applications in Natural Sciences and Computer Sciences -- The Classification of Organisms — The Hurdle of Homology — -- Limits in the Reconstruction of Phylogenetic Trees Exemplified with 5S | |
rRNA Sequences -- The Concept of Information in Computer Science -- Exploring Homologous tRNA Sequence Data: Positional Mutation Rates and Genetic Distance -- Nucleotide Sequence Analysis of Conserved Genes from Bacteria -- An Analysis | |
of Throughput Measurements on a Computer Network -- AC-Characteristics and the Pass/Fail Performance of a Memory Chip -- Authors | |
ISBN: | 9783642750403 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Statistics , Operations research , Decision making , Data structures (Computer science) , Economic theory , Statistics , Statistics for Business/Economics/Mathematical Finance/Insurance , Operation Research/Decision Theory , Data Structures , Economic Theory/Quantitative Economics/Mathematical Methods |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1989-9781468456462:ONLINE Show nearby items on shelf |
Title: | Data Analysis in Astronomy III |
Author(s): | |
Date: | 1989 |
Size: | 1 online resource (417 p.) |
Note: | 10.1007/978-1-4684-5646-2 |
Contents: | Data Analysis Methods and Tools -- Attractor Reconstruction and Dimensional Analysis of Chaotic Signals -- The Rayleigh Statistic in the Case of Weak Signals -Applications and Pitfalls -- Stability in Factor Analyses with respect to |
Small Perturbations of the Data -- Moving Regression: A Tool for the Statistical and Astrometrical Analyses of Solar Observations -- Multivariate Linear Regression with Self-Estimation of Errors -- Maximum Entropy Image Processing in | |
Gamma-Ray Astronomy -- Search for Bursts of Gamma-Ray Emission from the Crab Pulsar in the COS-B Data by Adaptive Cluster Analysis -- Statistical Restoration of Astronomical Images -- Multidimensional Discrete Signals Description Using | |
Rotation and Scale Invariant Pattern Spectrum -- Applications of Decomposition Algorithm in Clustering Methods -- Clustering Analysis as a Method of Auto-Classification and its Application to the Search for Galaxy Chains in Two | |
Dimensions -- Object Detection and Analysis in Digitised Images: Algorithmic Components and Software Structure -- Automated Classification of Resolved Galaxies -- STSDAS: The Space Telescope Science Data Analysis System -- IRAS | |
Calibration -- Simulation of Large-Scale Astronomical CCD Surveys -- Tests of Reduction and Analysis Algorithms for Astronomical Images -- A Model for the Infrared Space Observatory Photometer -- Algorithms for the Analysis of Data | |
from the Extreme Ultraviolet Explorer -- Analysis of Absorption Lines in Quasar Spectra -- Attitude Determination Using Star Tracker Data -- Artificial Intelligence: What Can It Do for Astronomy ? -- Artificial Intelligence Approaches | |
to Astronomical Observation Scheduling -- OCAPI: An Artificial Intelligence Tool for the Automatic Selection and Control of Image Processing Procedures -- An Expert Assistant Supporting Hubble Space Telescope Proposal Preparation -- | |
Decision Problems in the Search for Periodicities in Gamma-Ray Astronomy -- Rule-Based Description and Plausible Classification of Objects in Digitized Astronomical Images -- Parallelism in Low-Level Computer Vision -A Review -- | |
Performance of the Mesh Architecture in the Analysis of Sparse Images -- Crystal Gazing VI. Updating Computer Technology Projections -- New Frontieres in Astrophysics -- Cosmic Background Radiations -- Cosmic Background Explorer (COBE) | |
Satellite Anisotropy Experiment Data Analysis Techniques -- Some Statistical Problems Encountered in the Analysis of Ultra High Energy Cosmic Ray and Ultra High Energy Gamma Ray Data -- Track Pattern Analysis for Study of Point-Source | |
Air Showers -- Data Analysis and Algorithms for G.W. Antennas -- Detecting Gravitational Waves by Laser Interferometers -- Data Analysis in Neutrino Astronomy -- Participants | |
ISBN: | 9781468456462 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Ettore Majorana International Science Series : 40 |
Keywords: | Physics , Astronomy , Astrophysics , Cosmology , Physics , Astronomy, Astrophysics and Cosmology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1988-9781461307259:ONLINE Show nearby items on shelf |
Title: | Acoustical Imaging Proceedings of the Sixteenth International Symposium, June 10–12, 1987 |
Author(s): | |
Date: | 1988 |
Size: | 1 online resource (658 p.) |
Note: | 10.1007/978-1-4613-0725-9 |
Contents: | Imaging Techniques I -- Reflex Transmission Imaging -- Imaging by Source Cancellation -- Sparsely-Sampled Phase-Insensitive Two-Dimensional Arrays: Spatial Interpolation and Signal-Dependent Aperture -- Unbiased Calibration of Annular |
Array Probes -- The Borehole Televiewer Digital Image Analysis and Processing -- Optimum Focusing in the Ultrasonic Annular Array Imaging System -- Quasi-Real Time Imaging of Pulsed Acoustic Fields -- Analysis of Oblique Angle Scanning | |
in the Imaging of Multilayered Targets -- NDE and Materials Characterization -- Removing the Effects of Surface Roughness From Low-Frequency Acoustic Images -- Performance Evaluation of Spatial and Time Averaging of Ultrasonic Grain | |
Signal -- High-Speed Autoraated NDT Device for Niobium Plate Using Scanning Laser Acoustic Microscopy -- Evaluation of Plastic Packages for Integrated Circuits Using Scanning Laser Acoustic Microscopy (SLAM) -- Image Analysis as an Aid | |
to Quantitative Interpretation of Acoustic Images of Die Attach -- Characterization of Defects in Mn-Zn Ferrites by Scanning Laser Acoustic Microscopy (SLAM) -- Interaction Between Void Parameters and the Outputs of the Scanning Laser | |
Acoustic Microscope -- Medical Imaging -- Time-Of-Flight Approximation for Medical Ultrasonic Imaging -- Multiplane Deconvolution in Orthographic Ultrasonic Transmission Imaging -- Real-Time Enhancement of Medical Ultrasound Images -- | |
A Surgical Ultrasound System Using an Embedded Personal Computer -- In-Vivo and In-Vitro Measurements of Turbulent Blood Flow Characteristics Using a Multi-Dimensional Ultrasonic Probe -- Ultrasound Two-Dimensional Flow Mapping Using | |
Fast Spectral Analysis -- Acoustic Holography and Tomography -- Performance Evaluation of Phase-Only Technique for High-Resolution Holographic Imaging -- Diffraction Tomography Algorithms Using the Total Scattered Field -- Efficient | |
Sampling for Nearfield Acoustic Holography -- Velocity-Based Nearfield Acoustic Holography -- An Examination of Aperture Effects in Cylindrical Nearfield Holography -- Tissue Characterization -- Scanning Acoustic Microscope for | |
Quantitative Characterization of Biological Tissues -- Estimation of Acoustic Attenuation Coefficient by Using Maximum Entropy Method -- Characterizing Abnormal Human Liver by Its In-Vivo Acoustic Properties -- Non-Linear Parameter | |
Imaging With Refinement Techniques -- Sono-Elasticity: Medical Elasticity Images Derived From Ultrasound Signals in Mechanically Vibrated Targets -- Tissue Characterization by Spectral Analysis of Ultrasound Video Images -- Inverse | |
Scattering -- Numeric Evaluation of Backward Wave Propagation Image Reconstruction -- Acoustic Inverse Scattering Images From Simulated Higher Contrast Objects and From Laboratory Test Objects -- Acoustical Imaging Beyond Born and | |
Rytov -- Surface Imaging Via Wave Equation Inversion -- Accuracy in Phase Tomographic Reconstruction -- A Suboptimal Tomography Reconstruction Technique -- A Fast Reconstruction Algorithm for Diffraction Tomography -- A Computational | |
Study of Reconstruction Algorithms for Synthetic Aperture Diffraction Tomography: Interpolation Versus Interpolation-Free -- Imaging Techniques II -- The Random Phase Transducer: A New Tool for Scattering Medium -- Calibration of | |
Ultrasonic Transducers by Time Deconvolution of the Diffraction Effects -- Determination of the Impulse Diffraction of an Obstacle by Ray Modeling -- Thermal Wave Imaging in Anisotropic Media -- Characterization of Heterogeneous | |
Materials Using Transmission Photoacoustic Microscopy -- Acoustic Microscopy -- New Techniques in Differential Phase Contrast Scanning Acoustic Microscopy -- A 100 MHz PVDF Ultrasound Microscope With Biological Applications -- | |
Ferroelectric Polymer Transducers for High Resolution Scanning Acoustic Microscopy -- Multimedia Holographic Image Reconstruction in a Scanning Laser Acoustic Microscope -- Data Acquisition for Scanning Tomographic Acoustic Microscopy | |
-- Metrology Potential of Scanning Laser Acoustic Microscopes Using Surface Acoustic Waves -- Another Angle on Acoustic Microscopy (Oblique) -- Seismic, Underwater and Source Location -- Surface Shapes Giving Transverse Cusp | |
Catastrophes in Acoustic or Seismic Echoes -- Acoustic Imagery of the Sea-Bed -- Partial Discrete Vector Space Model for High-Resolution Beamforming -- Acoustical Recognition of Objects in Robotics II. Determination of Type, Pose, | |
Position, and Orientation -- Applications of Generalized Radon Transform to Inversion Problem of Geophysics -- Mini-Sparker as a Source in Seismic Models -- Spatial Filtering in Seismic Shallow Prospecting -- Participants -- Author | |
Index | |
ISBN: | 9781461307259 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Acoustical Imaging: 16 |
Keywords: | Physics , Acoustics , Physics , Acoustics , Physics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1987-9781468453201:ONLINE Show nearby items on shelf |
Title: | Proceedings of the Fifteenth International Symposium, July 14–6, 1986 |
Author(s): | |
Date: | 1987 |
Size: | 1 online resource (692 p.) |
Note: | 10.1007/978-1-4684-5320-1 |
Contents: | A History of Acoustical Imaging -- Tomography and Image Reconstruction -- Diffraction Tomography with Multiple Scattering -- Arced Backprojection with an Efficient Computation for Ultrasound Reflection Mode Tomography -- Passive |
Imaging Through Media with Distributed Inhomogeneities Using an Extension of the Phase Closure Technique -- Computation Simplification for High-Speed Acoustical Image Reconstruction -- A Frequency Diversity Method of Reducing Speckle | |
in Wideband Ultrasound Images -- Ultrasonic Phase Tomography for Medical Applications -- Tissue Characterization -- Improved Tissue Characterization Using Scattering Images -- Transient Acoustic Scattering in Dispersive Soft Tissue -- | |
Estimation of Acoustic Attenuation in Diffuse Liver Disease: Can it Be Done With the Zero-Crossing Technique? -- Transducers and Arrays -- Calculation of Transient Radiation Fields from Axial Symmetric Sources -- Pulsed PVDF Transducer | |
Fields — Comparison of Theory and Experiment -- A New Technique for Characterizing Ultrasonic Transducers in Inhomogeneous Media -- Development of an Electromagnetic Acoustic Transducer for Inspecting the Wall Thickness of Offshore | |
Risers from the Inside -- Transducer Array for Ultrasound Holographic B-Scan Imaging -- Image and Signal Processing -- Accurate Reconstruction of Flaws in Materials Using a Synthetic Aperture Ultrasonic Imaging System -- Parametric | |
Approach on Field Propagation -- Performance of Fast Inverse Scattering Solutions for the Exact Helmholtz Equation Using Multiple Frequencies and Limited Views -- An ECG-Gated Colour Doppler Imaging System for Determination of Coronary | |
Bypass Graft Patency -- A Two-Dimensional PVDF Transducer Matrix as a Receiver in an Ultrasonic Transmission Camera -- A New Digital Scan Processor for Ultrasonic Imaging -- Direct Imaging -- A Real-Time Imaging System for | |
Non-Destructive Evaluation -- Implementation of a Real-Time Ultrasonic SAFT System for Inspection of Nuclear Reactor Components -- Flaw Identification in ALOK Imaging System -- A New Surface Acoustic Wave Imaging Technique -- | |
Acoustical Imaging Techniques — Theoretical and Experimental Results -- A Flow Imaging and CW Spectral Analysis System -- Multidimensional Ultrasonic Heart Imaging -- Tomography -- Optimal Incident Angles in Scanning Tomographic | |
Microscopy -- Ultrasonic Reflection Tomography with a Transmitter — Receiver System -- Speckle in Ultrasound Computerized Reflection Mode Tomography -- Analysis of Inverse Scattering Solutions from Single Frequency, Combined | |
Transmission and Reflection Data for the Helmoholtz and Riccati Exact Wave Equations -- Attempt to Include Refraction in an Ultrasonic Tomography Algorithm -- Acoustical Microscopy -- Back-Projection Algorithms for a | |
Computer-Controlled Scaning Laser Acoustic Microscope -- Directional Acoustic Microscope with Electrical Reference Signals -- Focal Plane Detection in Acoustical Imaging -- Progress Toward a Practical 100 MHz Scanning Laser Tomographic | |
Acoustic Microscope -- Thermoacoustic Imaging Using a Laser Probe -- A High Performance Acoustic Microscope — Technical Aspects and Selected Applications -- Subsurface Imaging in Acoustic Microscopy -- Poster Session -- Relation | |
Between Spatial Frequency Sampling Window and Lateral Resolution in Backward Propagation Acoustical Imaging -- Applications of Digital Image Enhancement Techniques to the Ultrasonic NDE of Composite Materials -- Some Problems and | |
Experimental Results of Seismic Shallow Prospecting -- A Modified Sum Focussing Approach to Ultrasonic Speckle Reduction -- Dereverberation Techniques -- Polarity-Sensitive Detection of Pulsed Ultrasound Signals -- Ultrasonic Defects | |
Visualization in a Metal Block -- Generalized Holography as an Improved Version of Conventional Acoustical Holography -- Joint Fourier Transform Cross-Correlation for Liver Echotexture Classification -- A Two-Element Annular Array of | |
Short Fixed Focal Length for Dynamic Focussing -- Acoustic Imaging of Solid Objects in Air Using a Small Set of Transducers: III Experimental Demonstration -- Other Imaging Techniques -- A Broadband — Holography Imaging System for | |
Nondestructive Evaluation -- Efficient Acoustical Holography and Phase Imaging with High Resolution at 3.6 MHz Using a Liquid Crystal Converter -- NDE in Multilayers: Theory, Computer Simulation and Experiments -- Underwater Acoustic | |
Imaging -- Synthetic Aperture Sonar for Sub-Bottom Imaging -- Vertical Seismic Profiling Depth Migration of A Salt Dome Flank — A Summary -- A Sensor-Efficient Algorithm for Array Processing -- Acoustical Imaging and Point Processes -- | |
High-Resolution Acoustical Image Reconstruction Algorithm for Finite-Size Objects: The Cascade Form -- Underwater Acoustical Holographic Imaging by a Square Array System -- Imaging the Nearfield of a Submerged Plate Using Acoustical | |
Holography -- Participants -- Author index | |
ISBN: | 9781468453201 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Acoustical Imaging: 15 |
Keywords: | Medicine , Radiology , Internal medicine , Physical measurements , Measurement , Medicine & Public Health , Imaging / Radiology , Internal Medicine , Measurement Science and Instrumentation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1987-9781461318811:ONLINE Show nearby items on shelf |
Title: | Foundations of Data Organization |
Author(s): | |
Date: | 1987 |
Size: | 1 online resource (650 p.) |
Note: | 10.1007/978-1-4613-1881-1 |
Contents: | Databases for Advanced Applications -- Statistics Metadata: Linear Regression Analysis -- Dynamic PATRICIA -- Design of an Integrated DBMS to Support Advanced Applications -- Use of the Relational Model for Data Representation in a |
Deductively Augmented Database Management System -- Hashing -- Hash-Based File Organization Utilizing Large Capacity Main Memory -- Trie Hashing: Further Properties and Performance -- The Study of A Letter Oriented Minimal Perfect | |
Hashing Scheme -- Consecutive Retrieval Property -- On the Relaxed Consecutive Retrieval Property in File Organization -- Consecutive Retrieval Organization as a File Allocation Scheme on Multiple Disk Systems -- TRACER: Transposed | |
File Organization Scheme with Consecutive Retrieval Property and Its Application to Statistical Database System -- Multiple Query Processing in Local Area Database System -- File Allocation and Distributed Databases -- Management of | |
Table Partitioning and Replication in a Distributed Relational Database System -- On Strict Optimality Property of Allocating Binary Cartesian Product Files on Multiple Disk Systems -- On the Complexity of File Allocation Problem -- A | |
Quantitative Evaluation of Scheduling Systems for the Physical Locking Scheme in a Database System -- Allocation of Documents in Two Level Memory for Information Retrieval Systems -- Mathematical File Organization and Computational | |
Geometry -- Further Results on Hyperclaw Decomposition and Balanced Filing Schemes -- Placing Tiles in the Plane -- Mixed-Type Multiple-Valued Filing Scheme of Order One and Two -- Space Partitioning and Its Application to Generalized | |
Retrieval Problems -- On Computing and Updating Triangulations -- Database Machines -- VLSI Trees for File Organization -- The Inverted File Tree Machine: Efficient Multi-Key Retrieval for VLSI -- Multidimensional Clustering Techniques | |
for Large Relational Database Machines -- A Method for Realistic Comparisons of Sorting Algorithms for VLSI -- Database Models -- Update Propagation in the IFO Database Model -- Computation-tuple Sequences and Object Histories: | |
Extended Abstract -- Projection of Object Histories -- Functional Entity Relationship Model and Update Operations (Extended Abstract) -- An Algebra for an Entity-Relationship Model and Its Application to Graphical Query Processing -- | |
Structures and Performance of Physical Database Models -- Record-to-Area Mapping in the CODASYL Environment -- An Optimal Trie Construction Algorithm for Partial-Match Queries -- FOPES: File Organization Performance Estimation System | |
-- Empirical Comparison of Associative File Structures -- Hybrid Sorting Techniques in Grid Structures -- CAD/VLSI Databases -- A Model and Storage Technique for Versions of VLSI CAD Objects -- Storage and Access Structures for | |
Geometric Data Bases -- A Conceptual Basis for Graphics-Based Data Management (Extended Abstract) -- Semantic Data Organization on a Generalized Data Management System -- Frequency Separation Analysis for Object Oriented Databases -- | |
Query Processing and Physical Structures for Relational Databases -- Index Selection in Relational Databases -- A Physical Structure for Efficient Processing of Relational Queries -- A Hash Join Technique for Relational Database | |
Systems -- Data Organization Method for the Parallel Execution of Relational Operations -- Implementation of Inferential Relational Database System -- Database Theory -- Towards a Basic Relational NF2 Algebra Processor -- Two Classes | |
of Easily Tested Integrity Constraints: Complacent and FD-complacent Integrity Constraints -- Semantic Constraints of Network Model (Extended Abstract) -- Join-Decomposition of MVD-Constraints Using the Characterization by “Bases” -An | |
Introductive Study- -- Database Research and Development in the Pacific Area Countries -- Database Research and Development in Taiwan -- Database Research and Development in Korea -- Database Research and Development in Australia -- | |
Database Research and Development in Japan: Its Past, Present and Future -- Database Research and Development in China -- Database Research and Development in Singapore -- Author index | |
ISBN: | 9781461318811 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Astrophysics , Statistics , Physics , Astrophysics and Astroparticles , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1987-9781461309154:ONLINE Show nearby items on shelf |
Title: | Computer-Based Instruction in Military Environments |
Author(s): | |
Date: | 1987 |
Size: | 1 online resource (346 p.) |
Note: | 10.1007/978-1-4613-0915-4 |
Contents: | An Overview of Computer-Based Instruction in Military Environments -- Intelligent CAI -- An Intelligent Computer Assisted Instruction System for Maintenance Training -- The Conversion of an Expert System to an Intelligent CAI System |
-- Self-Organised Learning within an Intelligent Teaching System -- Portable, Intelligent Simulation for ASW Training -- Development of Prototypes -- CAITER: A Computer-Based Instruction Terminal -- The Use of Computers in Training in | |
the British Army -- Weapon Training and Simulation -- CBI in the Royal Air Force: A Case Study of Two Part-Task Trainers -- Development of a Prototype Computer-Based Testing and Assessment System -- Implementation and Evaluation -- | |
Implementation of Computer-Based Training: A System Evaluation and Lessons Learned -- Evaluating New Technology: Formative Evaluation of Intelligent Computer-Assisted Instruction -- AIDS to Resource Usage, Resource Sharing and | |
Authoring -- Online Help: Design Issues for Authoring Systems -- A User-Maintained Database for Trainers in Military Environments -- Computer-Based Instruction in the Department of Defense: Enhancing Application of the Technology -- | |
Turning Educators into Authors: A Case Study in the Acquisition of Authoring Skills -- Research in Traditional and Non-Traditional Environments -- New Frontiers for Computer Aided Training -- The Development and Test of a Hand-Held | |
Computerized Training Aid -- Consideration of Instruction and Training in Human Operator Models -- Computer-Assisted Programmed Cases: A Learning Method for Improving the Understanding of Persons -- Electronic Delivery of Job | |
Performance Aids -- New Theory -- Video-Game Technology and Training Research -- Experience-Consolidation Systems: A Sketch of a Theory of Computer-Based Instruction in Ill-Structured Domains -- The Use of Intelligent Authoring Tools | |
to Enhance CBI in Technical Training -- Invited Addresses -- Cognitive Science, Artificial Intelligence and Complex Training -- Authoring Tools: Past, Present, and Future | |
ISBN: | 9781461309154 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Computer science , Health informatics , Computers and civilization , Computer Science , Computers and Society , Health Informatics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1985-9789400949720:ONLINE Show nearby items on shelf |
Title: | Safety of Thermal Water Reactors Proceedings of a Seminar on the Results of the European Communities’ Indirect Action Research Programme on Safety of Thermal Water Reactors, Held in Brussels, 1–3 October 1984 |
Author(s): | |
Date: | 1985 |
Size: | 1 online resource (613 p.) |
Note: | 10.1007/978-94-009-4972-0 |
Contents: | Abbreviations -- Abbreviations -- Opening plenary session -- Welcome address -- The CEC Research Action Programme on the Development of Nuclear Fission. -- The CEC Indirect Action Research Programme, Safety of Thermal Water Reactors |
(1979–1983): Aims, contents and implementation -- Parallel session Research Area A -- The loss of coolant accident (LOCA) and the functioning and performance of the emergency core cooling system (ECCS). -- Session A1 -- Important | |
thermohydraulic aspects during refilling and reflooding of an uncovered LWR core. -- Studies on the effects of blockage upon LWR emergency core cooling systems. -- Session A2 -- Droplet dynamics and heat transfer in dispersed two phase | |
flow. -- An experimental investigation of the effect of clad ballooning on the effectiveness of PWR emergency core cooling -- Out of pile ballooning and bursting tests on Zircaloy cladding rods with direct and indirect heating. -- | |
General Discussion on sessions A1 and A2 -- Session A3 -- 2D effects in the core during the reflooding phase of a LOCA. -- Fluid dynamic effects in the fuel element top nozzle area during refilling and reflooding. -- Study of rewetting | |
and quench phenomena by single pin out-of-pile experiments, with special emphasis on the effect of pin composition. -- Heat transfer to a dispersed two-phase flow and detailed quench front velocity research -- Session A4 -- Rewetting | |
propagation over Zircaloy under bottom flooding conditions. -- The Role of Experiments in The Development and Qualification of Thermalhydraulic.Codes, As Experienced in The Development of The CATHARE Code -- Parallel sessions Research | |
Area B -- The protection of nuclear power plants against external gas cloud explosions -- Session B1 -- Large-scale field trials on dense vapour dispersion. -- Aspects of the dispersion of denser-than-air vapours relevant to gas cloud | |
explosions. -- Session B2 -- Verification of heavy gas models on the basis of large-scale experiments -- Computer processing of visual records from the Thorney Island large scale gas trials. -- Transition from slow deflagration to | |
detonation. -- On the propagation of the pressure pulse due to an unconfined gas cloud explosion. Theoretical analysis. -- Session B3 -- Gas cloud explosions and their effect on nuclear power plant, basic development of explosion | |
codes. -- Validation of blast simulation codes and experimental investigation of flame propagation in the presence of obstacles. -- Characterization of the pressure field induced by the explosions in air of a hydrocarbon-air mixture, | |
with slow deflagration or fast deflagration. -- Experimental investigation of the acceleration of deflagration in wake flow. -- Session B4 -- Calculation of overpressures on the buildings of a power plant due to the passage of a shock | |
wave caused by an accidental explosion. -- Blast wave propagation and the influence of obstacles. -- Calculation of the wall pressure field generated on a group of buildings by an external explosion. -- Recent results of experimental | |
studies on the transition of a deflagration into a detonation and some aspects for the transposition of these results to confined explosions. -- Parallel sessions Research Area C -- The release and distribution of radioactive fission | |
products in the atmosphere following a reactor accident. -- Session C1 -- Review of specific effects in atmospheric dispersion calculations. -- The effects of buildings on low level atmospheric discharges. -- Session C2 -- Predicting | |
lift-off of major self-heating releases under the influence of a building. -- Development of an integral model of a radioactive jet released accidentally from a nuclear reactor. -- Development of a prototype mesoscale computer model, | |
incorporating treatment of topography. -- Finite element three-dimensional formulation of a variational procedure of wind field adjustment over a domain of complex topography. -- Description of a recent nordic mesoscale dispersion | |
experiment over a land-water-land area (the Oresund Experiment). -- Session C3 -- Wind tunnel modelling of turbulent diffusion of pollutant puffs. -- Physical model of the dispersion of a radioactive contaminant in the atmosphere above | |
a “heat island”. -- Wind Tunnel Simulation of Atmospheric Dispersion in Stable Conditions at a Real Site. -- Assessment of the dispersion of fission in the atmosphere following a reactor accident under meteorological conditions of low | |
wind speed. -- Session C4 -- Local-scale atmospheric diffusion at a coastal site, in the presence of breeze effect. -- Sensitivity, applicability and validation of bi-Gaussian off-and on-line models for the evaluation of the | |
consequences of accidental releases in nuclear facilities. -- Interlaboratory comparison of SF6 — Determination used within the framework of tracer releases. -- Estimates of uncertainty in dispersion modelling. -- Concluding plenary | |
session -- Overview and conclusions on the results obtained in research Area A: The loss of coolant accident (LOCA) and the functioning and performance of the emergency core cooling system (ECCS). -- Overview and conclusions on the | |
results obtained in research Area B: The protection of nuclear power plants against external gas cloud explosions. -- Overview and conclusions on the results obtained in research Area C: The release and distribution of radioative | |
fission products in the atmosphere following a reactor accident. -- The CEC — Research Action Programme on Reactor Safety (1984–1981) -- Developments in Nuclear Safety Research. -- Concluding panel -- Evaluation of the results of the | |
present Indirect Action Research Programme Safety of LWR. State-of-the-art in LWR Safety Research. Identification of useful topics for future research, with special consideration of Conmnunity programmes. -- Closing address -- List of | |
participants -- Index of authors | |
ISBN: | 9789400949720 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Business , Management science , Nuclear physics , Heavy ions , Hadrons , Nuclear engineering , Physics , Nuclear Physics, Heavy Ions, Hadrons , Nuclear Engineering , Business and Management, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1984-9781461324010:ONLINE Show nearby items on shelf |
Title: | Aging and Technological Advances |
Author(s): | |
Date: | 1984 |
Size: | 1 online resource (468p p.) |
Note: | 10.1007/978-1-4613-2401-0 |
Contents: | Aging and Technological Advances: Introduction -- Aging in a Technological Society: Desiderata and Dilemmas in Decision-Making -- The Next 25 Years: Impact Expectations from Technology on Aging -- Attitudes and Perceptions of Older |
People toward Technology -- Section I: Labor Force Participation -- Aging and Labor Force Participation -- Demographic Trends Affecting the Age Structure of the Labor Force: 1950–2000 -- Older Workers: Force of the Future? -- Changes | |
in Labor Force Participation of Persons 55 and over since World War II: Their Nature and Causes -- Technological Change and the Labor Market Situation of Older Workers -- Impact of Technological Change on Middle-Aged and Older Workers: | |
Parallels Drawn from a Structural Perspective -- Recent Trends in Retirement Policy and Practice in Europe and the USA: An Overview of Programmes Directed to the Exclusion of Older Workers and a Suggestion for an Alternative Strategy | |
-- The Australian Labour Market for Older Workers -- The Social Consequences of Rapid Technological Change -- Study Group Report: Aging and Technological Advances—Labor Force Participation -- Section II: Health and Stress -- Ecology, | |
Aging and Health in a Medical Perspective -- The Compression of Morbidity -- Aging, Health, Stress and Technology in the Work Context: Concepts and Issues -- Technological Change and the Aging of Working Capacity -- Sources of | |
Occupational Stress among Older Workers -- Antecedents of Emotional Health Status among the Elderly -- The Affective Consequences of Technological Change for Older Persons -- Research reports -- Impact of Work and Technology on Health | |
Status of the Older Worker -- Psychological Functioning in Old Age and the Introduction of New Technology -- Interpersonal Relationships and Psychological Well-Being in Middle-Aged Persons -- Study Group Report: Aging and Technological | |
Advances—Health and Stress -- Section III: Human Factors -- Technology and the Aging Adult: Career Development and Training -- Technological Advances from a Human Factors Point of View -- Human Factors and Technology: The User Sets the | |
Pace -- People in Future Factories and Offices: With an Introduction to Some Special Opportunities and Problems for an Aging Workforce -- A Capability-Demand Approach to the Aged in Technological Environments: A Case for Improved Task | |
Analysis -- Impact of Microprocessors on the Quality of Life: Comparative Needs of Older vs. Younger Generations -- Technological Interventions for Changes in Hearing and Vision Incurred through Aging -- Research Reports -- The Older | |
Adult as Computer User -- Technology and the Older Person: Age, Sex and Experience as Moderators of Attitudes towards Computers -- Research on Human Factors: German Soldiers and Functional Age Limits -- Appraising the Performance of | |
Older Workers -- Human Factors in Aging: Issues for Adult Education -- Computer Based Memory Training and Memory Prosthesis in Older Adults -- Study Group Report: Aging and Technological Advances—Human Factors -- Section IV: Home and | |
Community -- The Older Person in the Residential Environment -- Aging and Technological Advances in Telecommunications -- Technology in the Service of the Aging Veteran -- Evaluation of a Personal Emergency Response System -- Computer | |
and Telecommunications Applications to Enhance the Quality of Life of Our Elderly Citizens -- Technology and Aging: Identification and Evaluation of Products to Enhance an Independent Lifestyle -- Research Reports -- Community Alarm | |
Systems for Older People — Age Concern Scotland -- Changes in the Home and Community Environment: Changing Residential Requirements and Safety in Residental Settings -- Home Safety Checkups for Seniors -- Study Group Report: Aging and | |
Technological Advances: Home and Community | |
ISBN: | 9781461324010 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Conference Series, III Human Factors : 24 |
Keywords: | Physics , Physics , Physics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1982-9783642886409:ONLINE Show nearby items on shelf |
Title: | Very Large Scale Integration (VLSI) Fundamentals and Applications |
Author(s): | |
Date: | 1982 |
Edition: | Second Corrected and Updated Edition |
Size: | 1 online resource (304 p.) |
Note: | 10.1007/978-3-642-88640-9 |
Contents: | 1. Introduction -- 1.1 Outlook -- 1.2 Scope of this Volume -- 1.3 Summary -- References -- 2. VLSI Device Fundamentals -- 2.1 Fundamentals of VLSI Device Improvements -- 2.2 Problem Areas for VLSIC’s -- 2.3 Small-Geometry MOS |
Anomalies -- 2.4 VLSIC Projections -- 2.5 Conclusions -- References -- 3. Advanced Lithography -- 3.1 Optical Lithography -- 3.2 Electron Lithography -- 3.3 X-Ray Lithography -- 3.4 Ion Lithography -- 3.5 Conclusion -- References -- 4. | |
Computer Aided Design for VLSI -- 4.1 What is Computer Aided Design? -- 4.2 History -- 4.3 State-of-the-Art -- 4.4 Perspective -- 4.5 Management of Complexity -- 4.6 Structured Design -- 4.7 Functional Design Tools -- 4.8 Physical | |
Design Tools -- 4.9 Design Management -- 4.10 Conclusion -- References -- 5. GaAs Digital Integrated Circuits for Ultra High Speed LSI/VLSI -- 5.1 Performance Advantages Expected for GaAs ICs -- 5.2 Circuit Approaches for GaAs Digital | |
Logic ICs -- 5.3 GaAs Integrated Circuits: Fabrication Technology -- 5.4 Performance Results for GaAs Digital ICs -- 5.5 Summary, Conclusions and Projections -- Appendix: Nonlinear Switching Analysis for PD?d -- Dependence on ?d and | |
FET K-Value -- References -- 6. VLSI Architecture -- 6.1 VLSI Technology Basis -- 6.2 VLSI Device Architecture -- 6.3 VLSI System Architecture -- 6.4 VLSI Architecture Case Study -- 6.5 Conclusion -- References -- 7. VLSI Applications | |
and Testing -- 7.1 VLSI Applications -- 7.2 VLSI Testing -- 7.3 Conclusion -- References -- 8. VHSIC Technology and Systems -- 8.1 IC Progress -- 8.2 Throughput Capacity -- 8.3 Defense Systems -- 8.4 The VHSIC Program -- 8.5 Example | |
Brassboard Systems -- 8.6 Scaling to Smaller Dimensions: Benefits and Barriers -- 8.7 Computer-Aided Design -- 8.8 Testing -- 8.9 Substrates -- 8.10 Summary -- References -- 9. VLSI in Other Countries -- 9.1 Past Major Semi conductor | |
Programs -- 9.2 Present National Semiconductor Programs -- 9.3 Future Prospects -- References -- Additional References -- Additional References | |
ISBN: | 9783642886409 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Series in Electrophysics: 5 |
Keywords: | Engineering , Computational intelligence , Electronics , Microelectronics , Engineering , Electronics and Microelectronics, Instrumentation , Computational Intelligence |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1982-9783642008528:ONLINE Show nearby items on shelf |
Title: | Applications |
Author(s): | |
Date: | 1982 |
Size: | 1 online resource (218 p.) |
Note: | 10.1007/BFb0121222 |
Contents: | On the development of a general algebraic modeling system in a strategic planning environment -- The indus basin model: A special application of two-level linear programming -- Optimal location of files and programs in computer |
networks -- Stochastic production costing in generation planning: A large-scale mixed integer model -- A theoretical model for the determination of the optimal design of a power transportation and distribution system with several | |
voltage levels -- Mathematical optimization versus practical performance: A case study based on the maximum entropy criterion in image reconstruction -- Optimization of a complex chemical process using an equation oriented model -- An | |
algorithm for optimum structural design using duality -- Continuum approximation to dense networks and its application to the analysis of urban road networks | |
ISBN: | 9783642008528 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematical Programming Studies: 20 |
Keywords: | Mathematics , Computer science , Mathematical optimization , Mathematics , Optimization , Mathematics of Computing |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1982-9781468439441:ONLINE Show nearby items on shelf |
Title: | Acoustical Imaging |
Author(s): | |
Date: | 1982 |
Size: | 1 online resource (851 p.) |
Note: | 10.1007/978-1-4684-3944-1 |
Contents: | Arrays -- Real-Time Constant Depth Scanning with Phased Arrays -- Ultrafast Acoustical Imaging with Surface Acoustic Wave Components -- Ultrasound Simulator -- Dynamic Focusing and Compound Scanning in Linear Array of Transducers -- A |
Phased Array Acoustic Imaging System for Medical Use -- Methods -- Origin of Anomalous Behavior in Transducers Used in Acoustical Imaging -- A Statistical Estimation Approach to Medical Image Reconstruction from Ultrasonic Array Data | |
-- A Computer Model for Speckle in Ultrasound Images Theory and Application -- Coherence and Noise in Ultrasonic Transmission Imaging -- Contour Plotting by a Sonic Phase Lock Loop -- Pseudo Holographic Acoustical Imaging with a Liquid | |
Crystal Convertor -- Computerized Reconstruction of Ultrasonic Fields by Means of Electrostatic Transducer Array -- New Processing Techniques in Ultrasound Imaging Systems -- Measurements and Analysis of Speckle in Ultrasound B-Scans | |
-- Calibration of Imaging Systems by Means of Spherical Targets -- Analysis of Vibrating Surfaces Using Acoustic Holography -- Tissue Characterization -- Role Played by Cellular Cohesion and Organization in the Interaction of | |
Ultrasound with Soft Tissues -- Improvements of Impediograms Accuracy -- Theoretical Basis of an Ultrasonic Investigation Method of Stratified Absorbing Media -- An Analysis of the Parameters Affecting Texture in a B-Mode Ultrasonogram | |
-- The Characteristic Echostructures of the Different Components of Mammary Tissue -- Ultrasonic Blood Characterization -- Algorithm for On Line Deconvolution of Echographic Signals -- Computer Tomography -- Tomographic Reconstruction | |
of B-Scan Images -- Tomography from Multiview Ultrasonic Diffraction Data: Comparison with Image Reconstruction from Projections -- Nonlinear Image Reconstruction from Ultrasonic Time-of-Flight Projections -- Computerized Ultrasonic | |
Tomography by Electronic Scanning and Steering of a Ring Array -- Experimental Results of Computerized Ultrasound Echo Tomography -- Difraction Effects and Image Formation -- Bounded Pulse Propagation -- Theoretical Study of Pulsed | |
Echographic Focusing Procedures -- Matched Gaussian Apodization of Pulsed Acoustic Phased Arrays -- Application of Time-Space Impulise Responses to Calculations of Acoustic Fields in Imaging Systems -- Acoustic Imaging by Wave Field | |
Extrapolation Part I: Theoretical Considerations -- Acoustic Imaging by Wave Field Extrapolation Part II: Practical Aspects -- A Fast Ultrasonic Imaging System for Measuring Unsteady Velocity Fields in Air -- Methods for Efficient | |
Computation of the Image Field of Holographic Lenses for Sound Waves -- Image Quality and Diffraction Efficiency of a Holographic Lens for Sound Waves -- Underwater Imaging and Non-Destructive Evaluation -- An Underwater Focused | |
Acoustic Imaging System -- Acoustical Imaging Via Coherent Reception of Spatially Coloured Transmission -- Flaw Detection and Imaging by High-Resolution Synthetic Pulse Holography -- A Three-Dimensional Synthetic Focus System -- A | |
Real-Time Synthetic Aperature Digital Acoustic Imaging System -- Transducers -- Effect of the Photoconductive Layer on the Resolution of Opto-Acoustic Transducers -- Investigation of a Liquid Crystal Acousto-Optic Conversion Cell -- | |
Performance of Ultrasound Transducer and Material Constants of Piezoelectric Ceramics -- Analog Electrical Simulation of the Transient Behaviour of Piezoelectric Transducers -- Optimization Criterions for the Piezoelectric Transducers | |
used in Acoustical Imaging -- Comparison of Different Piezoelectric Transducer Materials for Optically Scanned Acoustic Imaging -- Acoustical Microscopy -- Dark Field Acoustic Microscope -- Acoustic Microscopy in Non-Destructive | |
Testing -- Imaging Interior Planes by Acoustic Microscopy -- Imaging Techniques for Acoustic Microscopy of Microelectronic Circuits -- List of Participants | |
ISBN: | 9781468439441 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Acoustical Imaging: 10 |
Keywords: | Physics , Acoustics , Physics , Acoustics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1982-9781468411379:ONLINE Show nearby items on shelf |
Title: | Acoustical Imaging |
Author(s): | |
Date: | 1982 |
Size: | 1 online resource (658 p.) |
Note: | 10.1007/978-1-4684-1137-9 |
Contents: | Imaging Systems -- Scanning Acoustic Microscopy of Solid Objects Using Aspheric Lenses -- A Digital Processing System for Acousto-optic Visualization of Sound Fields -- Acoustical Imaging Using Focalization under Oblique Incidence |
through and Interface-Application to Non-destructive Testing -- Generation of Acoustical Images from the Absorption of Pulsed Microwave Energy -- A Thermoplastic Acoustical Holography Recording Device -- Two-dimensional Imaging with a | |
High Resolution PVF2/Si Optically-scanned Receiving Transducer -- Tissue Characterization -- An Ultrasonic Determination of Cardiac Muscle Structures -- The Application of Diffraction Analysis to Liver and Thyroid Disease -- Tissue | |
Parameter Measurement and Imaging -- Pulse Scattering in Dispersive Media -- An Absolute Measurement of Backscattering Coefficients for Excised Human Tissues and its Relevance to Abdominal Imaging -- Signal Processing Techniques -- The | |
Design And Application of Software Filters to Improve Lateral Resolution in a B-mode Ultrasonogram -- Digital Filtering of Acoustic Images -- Two-dimensional Null Processing -- Acoustic Imaging in Marine Sediment: A Multiple | |
Microprocessor Array Processor using the Trace Function -- Phase Error Reduction Method for a Towed Array -- Digital Enhancement of Ultrasonic Images and its Application to Non-destructive Testing of Composite Materials -- Preliminary | |
Results of Computer Aided Acoustic Imaging -- An Optimum Ultrasonic Imaging System Using ARMA Processing -- Acoustical Tomography -- Ultrasonic Planar Scanned Tomography -- A Comparison of Born and Rytov Approximations in Acoustic | |
Tomography -- Tomographie Evaluation of Sound Fields from Acousto-optic Data -- Effects of Diffraction on Ultrasonic Computer-Assisted Tomography -- Inversion Techniques -- An Exact Theory for Coherent Acoustic Probing -- Acoustical | |
Holography Is, At Best, Only a Partial Solution to the Inverse Scattering Problem -- Inverse Scattering, Inverse Field, and Inverse Source Theory -- Wave Equations and Inverse Solutions for Soft Tissue -- Asymptotic Ultrasonic | |
Inversion Based on Using More Than one Frequency -- Transducers and Arrays -- The Properties and Performance of a Si-PVF2 Optically Controlled Acoustic Point Source -- Effect of Mechanical Aberrations on the Resolution of Fresnel Zone | |
Plate Transducers -- Sidelobe Reduction of the Ring Array for Use in Circularly Symmetric Imaging Systems -- Anomalous Quantization Error Lobes in Phased Array Images -- Multi-element Arrays for NDE Applications -- Study of the Normal | |
Modes of Vibration of the Peizoelectric Transducers used in a Acoustic Imaging Applications -- New Techniques -- Linear Impulse Holography -- Acoustic Passive Remote Temperature Sensing -- The Speed of Sound as a Thermal Image CT Scan | |
Parameter -- Focused Acoustic Beams for Accurate Phase Measurements -- High Resolution Ultrasonic Testing System Using Dynamic Focusing and Signal Correlation -- Eddy Current Phasography -- A 50 MHZ Synthetic Focus System -- | |
Bibliographic Index | |
ISBN: | 9781468411379 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Acoustical Imaging: 11 |
Keywords: | Physics , Acoustics , Physics , Acoustics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1982-9781468410983:ONLINE Show nearby items on shelf |
Title: | Anthropometry and Biomechanics Theory and Application |
Author(s): | |
Date: | 1982 |
Size: | 1 online resource (328 p.) |
Note: | 10.1007/978-1-4684-1098-3 |
Contents: | Opening Address -- Postural Research — The Next Challenge to Anthropometrics and Biomechanics -- Session I: Data Acquisition Methods -- Fundamentals of Anthropometric Survey Measurement Techniques -- Evolution of the Techniques of |
Data Collecting and Processing in Biometry -- Results of Large-Scale Anthropometrie Surveys -- The Human Machine in Three Dimensions: Implications for Measurement and Analysis -- An Anthropometric Data Bank: Its Hidden Dimensions -- | |
Session II: Anthropometric Data Bases -- Present and Future Needs for Anthropometric Data Bases -- Anthropometric and Biomechanical Data Acquisition and Application to Rehabilitation Engineering -- Anthropometry of Mentally and | |
Physically Handicapped Persons Employed in Productive Occupations -- Progress and Prospects in Human Biometry Evolution of the Measurement Techniques and Data Handling Methods -- Session III: Models of Anthropometric Data -- | |
Biomechanical Computer Modeling for the Design and Evaluation of Work Stations -- User Needs in Computerised Man Models -- Some Computational Problems in Developing Computerized Man-Models -- Empirical Models of Individuals and | |
Population Maximum Reach Capability -- Issues in the Statistical Modeling of Anthropometric Data for Workplace Design -- Session IV: Maximum Voluntary Exertion Data -- Overview of Methods to Assess Voluntary Exertions -- Postural | |
Considerations in Maximum Voluntary Exertion -- Standardized Strength Testing Methods for Population Descriptions -- Evaluation of Controlled Static Exertions in Various Muscle Groups -- On-Site Maximum Voluntary Exertion Measurements | |
and Job Evaluation -- Session V: Models of Biomechanical Data -- New Perspectives and Needs in Biomechanical Modelling -- The Development and Use of Biomechanical Strength Models -- The Validity of Biomechanical Models of Volitional | |
Activities -- Development of a Biomechanical Hand Model for Study of Manual Activities -- Factor Analytic Approach to Biomechanical Modeling -- Session VI: Applications I -- Workspace Evaluation and Design: USAF Drawing Board Manikins | |
and the Development of Cockpit Geometry Design Guides -- Somatography in Workspace Design -- A Systems Approach to Long Term Task Seating Design -- Evaluation of Chairs Used by Air Traffic Controllers of the U.S. Federal Aviation | |
Administration-Implications for Design -- Biomechanical and Engineering Anthropometry Considerations for the Assessment of Amputees’ Work Performance -- Session VII: Applications II -- Anthropometric and Strength Data in Tool Design -- | |
Container and Handle Design for Manual Handling -- Application of Dynamic Testing and Anthropometic Computer Modeling in Design of an Aircraft/ Ejection Escape System -- The Collection and Application of Anthropometric Data for | |
Domestic and Industrial Standards -- Computer Aided Crew Station Design for the NASA Space Shuttle -- Session VIII: Future Needs and Perspectives -- Postural Considerations in Workspace Design -- Anthropometric and Biomechanical | |
Considerations in Government Regulations -- Extending the State of the Art in Anthropometry and Biomechanics | |
ISBN: | 9781468410983 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Nato Conference Series : 16 |
Keywords: | Engineering , Biomedical engineering , Engineering , Biomedical Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1981-9781461592303:ONLINE Show nearby items on shelf |
Title: | Human Detection and Diagnosis of System Failures |
Author(s): | |
Date: | 1981 |
Size: | 1 online resource (716 p.) |
Note: | 10.1007/978-1-4615-9230-3 |
Contents: | Real Life Perspectives -- Understanding Human Error and Aiding Human Diagnostic Behavior in Nuclear Power Plants -- Commercial Air Crew Detection of System Failures: State of the Art and Future Trends -- Ship Navigational Failure |
Detection and Diagnosis -- Troubleshooting in the Commercial Computer Industry: A Success Story -- Tools for Debugging Computer Programs — How Much Do They Help? -- Field Experience in Maintenance -- Theories and Models -- Monitoring | |
vs. Man-in-the-Loop Detection or Aircraft Control Failures -- Failure Detection in Dynamic Systems -- A Model of Human Fault Detection for Complex Dynamic Processes -- The Role of Attention in the Detection of Errors and the Diagnosis | |
of Failures in Man-Machine Systems -- Experimental Studies and Mathematical Models of Human Problem Solving Performance in Fault Diagnosis Tasks -- System Complexity, Diagnostic Behavior and Repair Time: A Predictive Theory -- Models | |
of Diagnostic Judgments -- Models of Mental Strategies in Process Plant Diagnosis -- Mathematical Equations or Processing Routines? -- Task Analysis and Activity Analysis in Situations of Field Diagnosis -- Models and Experimental | |
Results Concerning the Detection of Operator Failures in Display Monitoring -- Towards a Theory of Qualitative Reasoning about Mechanisms and its Role in Troubleshooting -- System Design and Operator Support -- Fault Management and | |
Supervisory Control of Decentralized Systems -- Computer Support for Diagnostic Tasks in the Process Industries -- Application of Pattern Recognition to Failure Analysis and Diagnosis -- The Use of Flow Models for Automated Plant | |
Diagnosis -- Discriminative Display Support for Process Operators -- Disturbance Analysis Systems -- Automatic Error Detection and Error Recording of a Distributed, Fault-Tolerant Process Computer System -- The User’s Role in Automated | |
Fault Detection and System Recovery -- Aiding Process Plant Operators in Fault Finding and Corrective Action -- A Method for Optimizing Human Performance in Detecting and Diagnosing Mission Avionics Faults -- Training -- Training for | |
Fault Diagnosis in Industrial Process Plant -- A Fault-Finding Training Programme for Continuous Plant Operators -- The Role of Computers in Training for Problem Diagnosis -- Computer-Based Maintenance Training in the Military -- A | |
General-Purpose System for Simulating and Training Complex Diagnosis and Troubleshooting Tasks -- Adaptive Computer Training System (ACTS) for Fault Diagnosis in Maintenance Tasks -- Scat: System Control Analysis and Training Simulator | |
-- Summary of Workshop Discussions -- Participants -- Author Index | |
ISBN: | 9781461592303 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Conference Series : 15 |
Keywords: | Culture , Cultural and Media Studies , Regional and Cultural Studies |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1981-9781461394648:ONLINE Show nearby items on shelf |
Title: | Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface |
Author(s): | |
Date: | 1981 |
Size: | 1 online resource (378 p.) |
Note: | 10.1007/978-1-4613-9464-8 |
Contents: | Keynote Address -- Statistical Theory and the Computer -- Automated Edit and Imputation -- Developing an Edit System for Industry Statistics -- Design of Experiments to Investigate Joint Distributions in Microanalytic Simulations -- |
Descriptive Statistics Used in Monitoring Edit and Imputation Processes -- Do Statistical Packages Have a Future? -- The Effect of Personal Computers on Statistical Practice -- Statistical Software Design and Scientific Breakthrough: | |
Some Reflections on the Future -- Some Thoughts on Expert Software -- Fourier Transforms in Applied Statistics -- How Fast is the Fourier Transform? -- Polynomial Time Algorithms for Obtaining Permutation Distributions -- Efficient | |
Estimation for the Stable Laws -- Algorithms and Statistics -- Applications of Statistics to Applied Algorithm Design -- Algorithms with Random Input -- Recent Results on the Average Time Behavior of Some Algorithms in Computational | |
Geometry -- Genuinely Statistical Methods in the Theory of Algorithms -- Pattern Recognition -- Applications of Pattern Recognition Methods to Hydrologic Time Series -- Recent Advances in Bump Hunting -- Pattern Recognition in the | |
Context of an Asbestos Cancer Threshold Study -- Histologic Patterns and Random Chromatic Graphs -- Volume Testing of Statistical Programs -- Volume Testing of Statistical/Database Software -- Scientific Information Retrieval | |
(SIR/DBMS) -- Volume Testing of Statistical Software — The Statistical Analysis System (SAS) -- Solving Complex Database Problems in P-STAT -- Volume Testing of SPSS -- Volume Testing of Statistical Systems -- Random Number Generation | |
-- In Search of Correlation in Multiplicative Congruential Generators with Modulus 231 — 1 -- Portability Considerations for Random Number Generators -- Generating Discrete Random Variables in the Computer -- Generation of Random | |
Variables by Thinning of Poisson Processes -- Understanding Time Series Analysis -- Recent Developments in Spectrum and Harmonic Analysis -- On Some Numerical Properties of ARMA Parameter Estimation Procedures -- Time Series Recursions | |
and Self-Tuning Control -- Measurement and Evaluation of Software -- On Measurement and Evaluation of Software: A View from the Chair -- Can Statistical Methods Help Solve Problems in Software Measurement? -- Measuring the Performance | |
of Computer Software — A Dual Role for Statisticians -- Software Metrics: Paradigms and Processes -- A Proposal for Structural Models of Software Systems -- Software Metrics: A Key to Improved Software Development Management -- | |
Orthogonalization: An Alternative to Sweep -- Orthogonalization-Triangularization Methods in Statistical Computati ons -- Research Data Base Management -- Simple Query Language Requirements for Research Data Management -- Data Editing | |
on Large Data Sets -- Data Archiving: A New(?) Set of Problems for Research Data Management Systems -- Graphical Methods and Their Software -- Census Bureau Statistical Graphics -- Mosaics for Contingency Tables -- The Use of Kinematic | |
Displays to Represent High Dimensional Data -- Contributed Papers -- Order Statistics and an Experiment in Software Design -- Further Approximation to the Distributions of Some Transformations to the Sample Correlation Coefficient -- | |
Using Linear Programming to Find Approximate Solutions to the Fields to Impute Problem for Industry Data -- Using Computer-Binned Data for Density Estimation -- On the Nonconsistency of Maximum Likelihood Nonparametric Density | |
Estimators -- Computer Program for Krishnaiah’s Finite Intersection Tests for Multiple Comparisons of Mean Vectors -- Approximating the Log of the Normal Cumulative -- A Kth Nearest Neighbour Clustering Procedure -- Interactive | |
Statistical Graphics: Breaking Away -- Interactive Graphical Analysis for Multivariate Data -- SLANG, A Statistical Language for Descriptive Time Series Analysis -- On the Parameter Estimation in Queueing Theory -- Statistical | |
Computation with a Microcomputer -- On the Exact Distribution of Geary’s U-Statistic and its Application to Least Squares Regression -- Exposure to the Risk of an Accident: The Canadian Department of Transport National Driving Survey | |
and Data Analysis System, 1978-79 -- CONCOR: An Edit and Automatic Correction Package -- BGRAPH: A Program for Biplot Multivariate Graphics -- MONCOR--A Program to Compute Concordant and Other Monotone Correlations -- Computer | |
Offerings for Statistical Graphics--An Overview -- Computing Percentiles of Large Data Sets -- A Self-Describing Data File Structure for Large Data Sets -- Nonlinear Estimation Using a Microcomputer -- Statistical Procedures for Low | |
Dose Extrapolation of Quanta! Response Toxicity Data -- An Economic Design of Y-Charts with Warning Limits to Control Non-Normal Process Means -- Prior Probabilities, Maximal Posterior, and Minimal Field Error Localization | |
ISBN: | 9781461394648 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1980-9783662010037:ONLINE Show nearby items on shelf |
Title: | Very Large Scale Integration (VLSI) Fundamentals and Applications |
Author(s): | |
Date: | 1980 |
Size: | 1 online resource (282 p.) |
Note: | 10.1007/978-3-662-01003-7 |
Contents: | 1. Introduction -- 1.1 Outlook -- 1.2 Scope of this Volume -- 1.3 Summary -- References -- 2. VLSI Device Fundamentals -- 2.1 Fundamentals of VLSI Device Improvements -- 2.2 Problem Areas for VLSIC’s -- 2.3 Small-Geometry MOS |
Anomalies -- 2.4 VLSIC Projections -- 2.5 Conclusions -- References -- 3. Advanced Lithography -- 3.1 Optical Lithography -- 3.2 Electron Lithography -- 3.3 X-Ray Lithography -- 3.4 Ion Lithography -- 3.5 Conclusion -- References -- 4. | |
Computer Aided Design for VLSI -- 4.1 What is Computer Aided Design? -- 4.2 History -- 4.3 State-of-the-Art -- 4.4 Perspective -- 4.5 Management of Complexity -- 4.6 Structured Design -- 4.7 Functional Design Tools -- 4.8 Physical | |
Design Tools -- 4.9 Design Management -- 4.10 Conclusion -- References -- 5. GaAs Digital Integrated Circuits for Ultra High Speed LSI/VLSI -- 5.1 Performance Advantages Expected for GaAs ICs -- 5.2 Circuit Approaches for GaAs Digital | |
Logic ICs -- 5.3 GaAs Integrated Circuits: Fabrication Technology -- 5.4 Performance Results for GaAs Digital ICs -- 5.5 Summary, Conclusions and Projections -- Appendix: Nonlinear Switching Analysis for PDt Dependence on ?d and FET | |
K-Value -- References -- 6. VLSI Architecture -- 6.1 VLSI Technology Basis -- 6.2 VLSI Device Architecture -- 6.3 VLSI System Architecture -- 6.4 VLSI Architecture Case Study -- 6.5 Conclusion -- References -- 7. VLSI Applications and | |
Testing -- 7.1 VLSI Applications -- 7.2 VLSI Testing -- 7.3 Conclusion -- References -- 8. VLSI in Other Countries -- 8.1 Past Major Semiconductor Programs -- 8.2 Present National Semiconductor Programs -- 8.3 Future Prospects -- | |
References | |
ISBN: | 9783662010037 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Series in Electrophysics: 5 |
Keywords: | Engineering , Electronics , Microelectronics , Engineering , Electronics and Microelectronics, Instrumentation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1980-9781468410686:ONLINE Show nearby items on shelf |
Title: | Processing of Visible Language |
Author(s): | |
Date: | 1980 |
Size: | 1 online resource (616 p.) |
Note: | 10.1007/978-1-4684-1068-6 |
Contents: | Principles of writing systems within the frame of visual communication (Tutorial paper) -- English shorthand systems and abbreviatory conventions: A psychological perspective -- Remarks on ancient Egyptian writing with emphasis on its |
mnemonic aspects -- The Korean writing system: An alphabet? a syllabary? a logography? -- A structure for nontextual communications (Tutorial paper) -- The syntax of pictorial instructions -- Making newspaper graphs fit to print -- | |
Some problems of illustration -- Islamic calligraphy: Meaning and symbol -- Usability: The criterion for designing written information (Tutorial paper) -- Wholistic models of feature analysis in word recognition: A critical examination | |
-- Developmental trends in the perception of textual cohesion -- Structuring an internal representation of text: A basis of literacy -- Graphic aspects of complex texts: Typography as macro-punctuation -- Pictures and the real thing | |
(Tutorial paper) -- The influence of texture gradients on relief interpretation from isopleth maps -- The acquisition and processing of cartographic information: Some preliminary experimentation -- Graph reading abilities of | |
thirteen-year-olds -- Interpreting directions from graphic displays: Spatial frames of reference -- The presentation of text and graphics (Tutorial paper) -- Spacing of characters on a television display -- Optimal segmentation for | |
sentences displayed on a video screen -- Text enhancement and structuring in computer conferencing -- Towards an electronic journal -- Human performance in computer aided writing and documentation -- Human-computer interactive systems: | |
A state-of-the-art review (Tutorial paper) -- Simultaneous speech transcription and TV captions for the deaf -- Pictorial recognition and teaching the blind to draw -- Telidon Videotex and user-related issues -- Human factors and VDT | |
design -- Theory of representation: Three questions (Tutorial paper) -- Textual literacy: An outline sketch of psychological research on reading and writing -- Anaphoric relations, comprehension and readability -- Communicating with | |
computers -- Towards a model for picture and word processing -- The basic test of the graph: A matrix theory of graph construction and cartography -- Name index | |
ISBN: | 9781468410686 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Nato Conference Series : 13 |
Keywords: | Psychology , Cognitive psychology , Psychology , Cognitive Psychology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1980-9781461329435:ONLINE Show nearby items on shelf |
Title: | Acoustical Imaging Ultrasonic Visualization and Characterization |
Author(s): | |
Date: | 1980 |
Publisher: | Boston, MA : Springer US |
Size: | 1 online resource (801 p.) |
Note: | 10.1007/978-1-4613-2943-5 |
Contents: | Digital Scan Conversion and Smoothing for a Real Time Linear Array Imaging System -- Doppler Wavefront Distortion Effects Due to Continuous Dynamic Array Focusing -- A 1-MHz Linear Phased Array Ultrasound System for Intracranial |
Imaging -- A Digital Synthetic Focus Acoustic Imaging System -- A Flexible, Real-Time System for Experimentation in Phased-Array Ultrasound Imaging -- Monolithic Silicon-PVF2 Piezoelectric Arrays for Ultrasonic Imaging -- Acoustical | |
Holography Matrix Array Imaging System for the Underwater Inspection of Offshore Oil Platform Weldments -- Ultrasonic Imaging Using Monolithic Mosaic Transducer Utilizing Trapped Energy Modes -- Progress in Fresnel Imaging, Clinical | |
Evaluation -- Theoretical Aspects of the Fresnel Focusing Technique -- An Analysis of Pulsed Ultrasonic Arrays -- Three Dimensional Passive Acoustical Imaging System Using Hemispherical Array Detectors -- Periodic Sampling Errors in | |
Scanned Ultrasonic Holography -- Underwater Applications -- Description of Navy Holographic Underwater Acoustic Imaging System (AIS) -- A Computer-Aided Ultrasonic Imaging System -- An Experimental Underwater Acoustic Imaging System | |
Using Multibeam Scanning -- Three-Dimensional Acoustic Imaging -- Angle-Look Sonar -- Seismic Applications -- Seismic Holography In a Norwegian Fiord -- Transducers -- Imaging Characteristics of Clinical Ultrasonic Transducers in | |
Tissue-Equivalent Material -- Magnetostrictive Imaging Systems -- Magnetosonic Image Converter -- Acoustic Imaging Via the Acousto-Photorefractive Effect -- A Polyvinylidene Fluoride Bow-Tie Imaging Element -- A Matrix Technique for | |
Analyzing the Performance of Multilayered Front Matched and Backed Piezoelectric Ceramic Transducers -- Methods -- On Obtaining Maximum Performance From Liquid Surface Levitation Holography -- Reflected Bragg Imaging Studies and | |
Preliminary Results for Improved Optical Design -- Angular Spectrum Filtering of Parasitic Images Introduced by the Spatial Sampling of Acoustical Images -- Super-Resolution for Separating Clustered Images -- Three Dimensional Imaging | |
by Wave-Vector Diversity -- Tissue Characterization -- The Impediography Equations -- Techniques for InVivo Tissue Characterization -- InVivo Characterization of Several Lesions in the Eye Using Ultrasonic Impediography -- High | |
Resolution Imaging of Filtered Ultrasonic Echo Responses -- Computer Tomography -- Acoustic Echo Computer Tomography -- Algebraic and Analytic Inversion of Acoustic Data from Partially or Fully Enclosing Apertures -- Breast Imaging by | |
Ultrasonic Computer-Assisted Tomography -- A New Approach to Acoustic Tomography Using Diffraction Techniques -- Acoustic Microscopy/NDT -- Scanning Acoustic Microscope Operating in the Reflection Mode -- Nondestructive Testing -- A | |
Practical Linear Array Imaging System for Non-destructive Testing Applications -- Experiences in Using Ultrasonic Holography in Laboratory and in the Field with Optical and Numerical Reconstruction -- Digital Signal Processing in | |
Acoustical Focused Image Holography -- Medical Applications -- Dynamic Imaging of the Aorta InVivo with 10 MHz Ultrasound -- The Focussing of Ultrasound Beams Through Human Tissue -- Myocardial Blood Flow: Visualization with Ultrasonic | |
Contrast Agents -- Computer Analysis of Grey Scale Tomograms -- The Information Content of B-Scan Anomalies -- Incentives for Using Higher Frequency in Ultrasonic Imaging -- Participants | |
ISBN: | 9781461329435 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Acoustical Imaging: 8 |
Keywords: | Physics , Acoustics , Optics , Optoelectronics , Plasmons (Physics) , Physics , Acoustics , Optics, Optoelectronics, Plasmonics and Optical Devices |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1978-9781468493542:ONLINE Show nearby items on shelf |
Title: | Pattern Analysis Lectures in Pattern Theory Volume II |
Author(s): |
U Grenander |
Date: | 1978 |
Size: | 1 online resource (616 p.) |
Note: | 10.1007/978-1-4684-9354-2 |
Contents: | 1. Ends and Means in Pattern Analysis -- 1. The Aims of Pattern Analysis -- 2. Properties of Image Operators -- 3. Performance Criteria for Image Operators -- 4. Choosing Image Operators -- 5. Pattern Analysis Algorithms -- 2. |
Analysis of Abstract Patterns -- 1. Paradigmatic Deformations -- 2. Syntactic Deformations -- 3. Measuring Syntactic Style -- 4. Relation Image Algebras and Their Transduction -- 5. Abstract Networks and Their Symmetries -- 3. Analysis | |
of Certain Temporal Patterns -- 1. Images on the Time Axis -- 2. Some Numerical Sequence Patterns -- 3. Segmentation Theory for Time Patterns -- 4. Image Analysis for Other Regime Patterns -- 5. Neural Firing Patterns -- 4. Point | |
Patterns -- 1. Lattice Point Patterns -- 2. X-ray Analysis of Crystal Patterns -- 3. Distinguished Points -- 5. Set Patterns and Statistical Geometry -- 1. Single Generators -- 2. Convex Sets — Order One Feature Logic -- 3. Order Two | |
Feature Logic -- 4. Infinite Order Feature Logic -- 5. A Result on Image Approximation -- 6. Probing Boundaries -- 7. Some Stereology -- 8. Biological Shape -- 6. Network Pattern Processors -- 1. The Image Algebra of a Microworld -- 2. | |
The Observables -- 3. The Initial Network -- 4. The Functioning Network -- 5. The Learning Network -- 6. Inference of the Image Algebra -- 7. The Malfunctioning Network -- 7. Pattern Processors for Language Abduction -- 1. Abduction of | |
Regular Structures -- 2. Abduction of Some Language Patterns -- 3. Word Class Partitioning -- 4. Network Partitioning into Word Class -- 5. Discovering Syntactic Variables -- Notes | |
ISBN: | 9781468493542 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Mathematical Sciences: 24 |
Keywords: | Mathematics , Computer graphics , System theory , Algorithms , Mathematics , Complex Systems , Mathematics of Algorithmic Complexity , Computer Imaging, Vision, Pattern Recognition and Graphics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1978-9781461346227:ONLINE Show nearby items on shelf |
Title: | Manpower Planning and Organization Design |
Author(s): | |
Date: | 1978 |
Size: | 1 online resource (789 p.) |
Note: | 10.1007/978-1-4613-4622-7 |
Contents: | Introductory Statement -- Section 1: Organization Design and Career Management -- Models for Organization Design and Staffing -- Manpower Planning for the Managerial Workforce: A Quantitative and Qualitative Approach -- The Creation |
of a System of Personnel Management Forecasting: Technology or Sociology? -- A Methodological Review of the Treatment of Individual Goals in Some Recent German System Approaches Towards Manpower Planning -- An Optimal Retirement Policy | |
for Individuals -- Section 2: Conversational Computer-Assisted Manpower Management -- Conversational Manpower Planning Models in a Telecommunications Environment -- MANPLAN: A Flexible Computer Package for Practical Manpower Planning | |
-- Bargaining Assignment and Officer Rotation Models in the U.S. Navy -- Developing a Research-Based System for Manpower Management and Career Progression in the U. S. Army Officer Corps -- A Computer Assisted Manpower Planning Model | |
-- Section 3: Organization Design in Workforce Planning -- An Action Research Approach to Organisation Design -- Organization Design in the Smaller Enterprise -- The Place of Value Orientation of Members in Organizational Design -- | |
Manpower Planning on the Halifax Waterfront: A Case Study with Implications for Industrial Relations -- Matrix Organization in an Industrializing Society: Case Studies from Brazil -- Importance of Individual Differences in Intervention | |
and Design for Improving Quality of Working Life -- Section 4: Descriptive Models of Organizations -- The Integration of Human Resources Planning into the Budgetary Cycle of the Canadian Federal Public Service -- Possibilities for | |
Career Management in a Subordinate Organisation -- Organisational Dichotomies: The Dilemma of Management -- Planning for Manpower Needs and Organization Development -- Section 5: Mathematical Methods for Manpower Systems -- A Normative | |
Model for Manpower Planning Under Risk -- Interactive Design of a Manpower System -- Efficient Computation and Long Range Optimization Applications Using a Two-Characteristic Markov-Type Manpower Flow Model -- Two Linear Programming | |
Models of a Large German Federal Department -- Manpower Planning Under Stochastic Turnover Behavior -- Forecasting and Recruitment in Graded Manpower Systems -- Section 6: Planning for Equal Employment Opportunities -- Equal Employment | |
Opportunity Planning and Staffing Models -- Planning Manpower Utilization in a Bi-Cultural Environment -- On the Racial Composition of Workers Available to an Organization -- Section 7: Economic and Demographic Implications of Manpower | |
Planning -- Intertemporal Eco-Demographic Interactions and Their Manpower Planning Implications -- Personnel Transfer in the Public/Private Research and Development (R&D) Sector -- The Demand for Qualified Manpower: Some Implications | |
for Macroeconomic Planning -- Some Economic-Demographic Interactions Affecting Female Manpower Supply: The Greek Experience -- Institutional Considerations for Macro Manpower Planning in Less Developed Countries -- Manpower Planning | |
for Industrial Projects in Libya -- Engineering Education and Manpower Needs of Developing Countries -- Section 8: Practical Experiences with Manpower Planning Systems -- Organizational/Systems Opportunities in the Operational Use of a | |
Personnel Planning Model -- Manpower Planning as a Basis for Current Changes in Periods of Engagement in the Canadian Forces -- Local Government Manpower Planning: Theory in Practice -- Re-Evaluating Company Manpower Planning in the | |
Light of Some Practical Experiences -- An Integrated Assignment and Training Control System of the Army (IVAS) -- On the Application of Analytical Models in Personnel Planning in the Bundeswehr -- Selecting the Most Appropriate | |
Manpower Model -- Section 9: Issues in Selection, Performance and Occupational Choice -- The Identification of Management Potential: A Contingency Approach -- An Objective Approach to the Development of Job Classification Schemes -- | |
The Characteristics of Naval Personnel and Personnel Performance -- Implications of a Country Work Force’s Perceptions of Occupations on Work Force Mix and Macro Manpower Plans -- Contingency Analysis: With an Emphasis on Organization | |
Satisfaction -- Section 10: Quantitative Methods and Studies for Manpower Planning -- An Interactive Manpower Planning and Scheduling System for a Health Facility -- The Cost-Effectiveness of Various Fringe Benefits to U. S. Navy | |
Personnel -- VACATE: A Model for Personnel Inventory Planning Under Changing Management Policy -- An Initial Investigation into the Suitability of Absenteeism Rates as Measures of Performance -- An Evaluation of Navy Unrestricted Line | |
Officer Accession Programs -- An Industry Framework for Company Manpower Planning -- Appendix I: National Points of Contact -- Appendix II: List of Participants | |
ISBN: | 9781461346227 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Conference Series, II Systems Science : 7 |
Keywords: | Geography , Regional planning , Urban planning , Geography , Landscape/Regional and Urban Planning |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1976-9781468425239:ONLINE Show nearby items on shelf |
Title: | Monitoring Behavior and Supervisory Control |
Author(s): | |
Date: | 1976 |
Size: | 1 online resource (528 p.) |
Note: | 10.1007/978-1-4684-2523-9 |
Contents: | Section 1 Man-Vehicle Control -- 1. Preview of Man-Vehicle Control Session -- 2. Some Aspects of Automation in Civil Transport Aircraft -- 3. Techniques for Display/Control System Integration in Supervisory and Monitoring Systems -- |
4. Integrated Computer-Generated Cockpit Displays -- 5. Evaluation of Information Displays in Control and Monitoring Tasks -- 6. Man-Machine Relationship in SELTRAC -- 7. Driver Decision-Making Research in a Laboratory Simulation -- 8. | |
Human Performance and Workload in Simulated Landing-Approaches with Autopilot-Failures -- 9. Evaluation of Vigilance Related to Visual Perception -- 10. Workload in Air Traffic Control — A Field Study -- 11. Pilot Workload Analysis | |
Based upon In-Flight Physiological Measurements and Task Analysis Methods -- 12. The Measurement of Human Response in Man-Vehicle Control Situations -- 13. Pilot Workload Analysis -- 14. The Internal Model — What Does It Mean in Human | |
Control? -- Section 2 General Models -- 1. Preview of Models of the Human Monitor/Supervisor -- 2. The Vigilance Increment: An Ideal Observer Hypothesis -- 3. Monitoring and Control of Unreliable Systems -- 4. Detection of Random | |
Process Failures by Human Monitors -- 5. Attention, Control, and Sampling Behaviour -- 6. A Queueing Model of Monitoring and Supervisory Behaviour -- 7. The Model Supervisor Dilemma -- 8. Toward a General Model of Supervisory Control | |
-- 9. The Human Operator Simulator — HOS -- 10. Adaptive Allocation of Decision Making Responsibility between Supervisor and Computer -- 11. Man/Machine Interaction in Adaptive Computer-Aided Control -- Section 3 Process Control -- 1. | |
Preview of Process Control Session -- 2. The Behaviour of Process Operators under Emergency Conditions -- 3. Evaluation of Man-Machine Relationships in U.S. Nuclear Power Plants -- 4. Control Strategies of Novice and Experienced | |
Controllers with a Slow Response System (A Zero-Energy Nuclear Reactor) -- 5. Human Performance in Manual Process Control -- 6. Outlines of a Hybrid Model of the Process Plant Operator -- 7. The Man-Robot Interface in Automated | |
Assembly -- 8. The Effect of Cost on the Sampling Behavior of Human Instrument Monitors -- 9. Parallel vs. Serial Instrumentation for Multivariable Manual Control in Control Rooms -- 10. Perceptual Organisation and the Design of the | |
Man-Computer Interface in Process Control -- 11. Process Control — Simple and Sophisticated Display Devices as Decision Aids -- 12. Autonomous I/O-Colour-Screen System for Process Control with Virtual Keyboards Adapted to the Actual | |
Task -- 13. Graphic Video Displays for Process and Man-Vehicle Control -- Section 4 Workshop Reports -- and Summary -- Workshop Discussion Report — Group I -- Workshop Discussion Report — Group II -- Workshop Discussion Report — Group | |
III -- Workshop Discussion Report — Group IV -- Appendices -- Appendix A. Glossary of Special Terms -- Appendix B. Participants | |
ISBN: | 9781468425239 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Conference Series : 1 |
Keywords: | Psychology , Personality , Social psychology , Psychology , Personality and Social Psychology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1975-9789401018814:ONLINE Show nearby items on shelf |
Title: | Image Processing Techniques in Astronomy Proceedings of a Conference Held in Utrecht on March 25–27, 1975 |
Author(s): | |
Date: | 1975 |
Size: | 1 online resource (420 p.) |
Note: | 10.1007/978-94-010-1881-4 |
Contents: | 1 What Information Do We Need, for Which Astronomical Problem? -- Astrometry -- Photometry -- The Photometry of Extended Objects: Diode Array Detectors and Interactive Data Processing -- Trends in Astronomical Spectroscopy -- 2 |
Acquisition and Storage -- Information Retrieval by Microdensitome Try -- Fourier Techniques -- Television Detector Techniques -- On Line Digital Correlation of Photon Counting TV Images for Stellar Interferometry -- Photon-Counting | |
Detector Arrays Based on Microchannel Array Plates -- Performance of the MIT Silicon Vidicon Imaging System at the Telescope -- A Self-Scanned Silicon Diode Array for Astronomical Photometry -- Image Detectors for Recording | |
Astronomical Ultraviolet Spectra -- Mesure Des Contours de Raies par les Techniques de Television -- Photometry using Electronographic Techniques -- Integrating TV System Development at Cambridge -- Sec Vidicon System for a Balloon | |
Ultraviolet Stellar Spectrometer -- Problems of Oversampling with Sec Vidicon Television Systems -- Some Experiments with an Sec Image Tube for High Precision Multi-Colour Photometry of Galactic Clusters -- 3 Processing Hardware -- | |
Four Years Experience in APMS Star Plate Processing — Results and Future Plans -- The Use of the “Galaxy” Machine at the Royal Greenwich Observatory -- The Fully Automatic Program-Controlled Microdensitometer-Comparator of the | |
Astronomical Institute at Utrecht -- The Grant Measuring Engine -- The U.S. Naval Observatory’s Automatic Measuring Machines -- The Two-Coordinate Grant Machine in Long-Focus Astrometry -- The Cosmos Facility at the Royal Observatory | |
Edinburgh -- The ESO S-3000 Measuring Machine -- Iris — A Two Axis Comparator and Microdensitometer using Two Different Scanning Modes -- Machine a Mesurer de L’Observatoire de Haute Provence -- The Design of the New S.R.C. Automated | |
Photographic Measuring System -- The Computer Controlled Comparator Astroscan -- A Simultaneous Six-Channel Microphotometer with Computerized Data Acquisition -- A Very Simple Digital Microdensitometer-Comparator -- Photoelectric | |
Spectroscopic Plate Measuring Machine Built at the Meudon Observatory -- 4 Software Techniques -- Software Techniques for Image Processing -- Problems of Machine Independency and Interactive Matters -- Aperture Synthesis -- Interactive | |
Computer Reduction and Display of Radio Super-Synthesis Maps -- The Design of Vamp Software for the Measurement and Reduction of Stellar Spectrograms -- Development of Digital System for Stellar Spectra Reduction at Toru? Observatory | |
-- Evaluation of Master Scans of Photographic Stellar Images -- Image Processing Systems Developed at MIT to Handle Silicon Vidicon Images and Spectra of Astronomical Objects -- Handling of ‘Galaxy’ Photometry -- 5 Applications to | |
Astronomical Problems -- Some Preliminary Results Obtained with a TV Camera in the Field of the Observation of Visual Double Stars -- Echelle Spectra Image Processing for the International Ultraviolet Explorer -- Semi-Automatic | |
Determination of Equivalent Widths -- Accuracy and Results of Spectrophotometry with Objective Prism Plates -- Le Centre de Depouillement de Cliches Astronomiques -- Intercomparison of Ground Based and Satellite Pictures of the Sun -- | |
Flying-Spot Analysis of Solar Images -- Removal of Vignetting from Apollo Low Light Level Photographs -- Search of Significant Features in a Direct non Parametric Pattern Recognition Method. Application to the Classification of a | |
Multiwire Spark Chamber Pictures -- Lock-In Image Subtraction Detectability of Circumstellar Planets with the Large Space Telescope -- Digital Image Centering, I | |
ISBN: | 9789401018814 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Astrophysics and Space Science Library, A Series of Books on the Recent Developments of Space Science and of General Geophysics and Astrophysics Published in Connection with the Journal Space Science Reviews: 54 |
Keywords: | Physics , Observations, Astronomical , Astronomy , Physics , Astronomy, Observations and Techniques |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1975-9781461582168:ONLINE Show nearby items on shelf |
Title: | Acoustical Holography Volume 6 |
Author(s): | |
Date: | 1975 |
Size: | 1 online resource (760 p.) |
Note: | 10.1007/978-1-4615-8216-8 |
Contents: | Biomedical Imaging with the SRI Ultrasonic Camera -- Through-Transmission Acoustical Holography for Medical Imaging—A Status Report -- Research in Ultrasound Image Generation: A Computerized Ultrasound Processing, Acquisition, and |
Display (CUPAD) System -- Algebraic Reconstruction of Spatial Distributions of Acoustic Velocities in Tissue from Their Time-of-Flight Profiles -- Cardiovascular Diagnosis with Real Time Ultrasound Imaging -- Sampled Aperture | |
Techniques Applied to B-Mode Echoencephalography -- High-Resolution B-Scan Systems Using a Circular Array -- Progress in Annular-Array Imaging -- System for Visualizing and Measuring Ultrasonic Wavefronts -- Digital Computer Simulation | |
Study of a Real-Time Collection, Post-Processing Synthetic Focusing Ultrasound Cardiac Camera -- A Scanning Focused-Beam System for Real-Time Diagnostic Imaging -- Optical Visualization of Acoustical Holograms by Area Heterodyning -- | |
Real-Time Doppler Imaging for Unambiguous Measurement of Blood Volume Flow -- An Acoustic Phase Plate Imaging Device -- An Electronically Focused Two-Dimensional Acoustic Imaging System -- Acoustic Microscopy — A Tool for Medical and | |
Biological Research -- Microanatomy of a Histologically Unstained Embryo as Revealed by Acoustic Microscopy -- Assessment of Bragg Imaging and the Importance of its Various Components by Comparison with Radiographic Imaging -- Acoustic | |
Lenses and Low-Velocity Fluids for Improving Bragg-Diffraction Images -- Raman-Nath Imaging -- Optical Imaging Sonar -- Holographic Processing of Near-Field Sonar Data -- Solid Plate Acoustical Wave Focusing -- Earth Holography as a | |
Method to Delineate Buried Structures -- Enhancement by Non-Coherent Superposition of Microwave Images Formed with Crossed, Coherent Arrays -- Holographic Aperture Synthesis via a Transmitter Array -- Synthetic Aperture Approach to | |
Multi-Beam Scanning Acoustical Imaging -- Maximization of Resolution in Three Dimensions -- Experimental Implementation of Advanced Processing in Acoustic Holography -- A New Processing Technique for Scanned Ultrasonic Holography -- | |
Holographic Interferometry with Acoustic Waves -- Acoustical Interferometry Using Electronically Simulated Variable Reference and Multiple Path Techniques -- Fringe Localization in Acoustical Holographic Interferometry -- Acoustic | |
Imaging Techniques for Real-Time Nondestructive Testing -- Performance of an Ultrasound Camera Tube Utilizing Pyroelectric Conversion Layers -- Analysis of the Response of Piezoelectric Receivers in Acoustic Imaging Systems -- Standard | |
Phantom Object for Measurements of Gray Scale and Dynamic Range of Ultrasonic Equipment -- Power Measurement Techniques Applied to Imaging Systems | |
ISBN: | 9781461582168 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Optics , Optoelectronics , Plasmons (Physics) , Physics , Optics, Optoelectronics, Plasmonics and Optical Devices |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1970-9781461582076:ONLINE Show nearby items on shelf |
Title: | Acoustical Holography Volume 2 |
Author(s): | |
Date: | 1970 |
Size: | 1 online resource (376 p.) |
Note: | 10.1007/978-1-4615-8207-6 |
Contents: | 1 Symposium Summary -- 2 Progress in Acoustical Holography -- Liquid-Surface Deformation -- A Unified Theory of Holography -- New Developments in Scanned or Sampled Holograms -- Bragg Diffraction, or Direct Interaction of Light and |
Sound -- Conclusion -- References -- 3 On The Theory of Acoustical Imaging -- The Ray Theory of Acoustics -- Pseudorays -- Characteristics of Pseudorays -- Transfer Matrix for Pseudorays -- References -- 4 Eikonal Theory of | |
Bragg-Diffraction Imaging -- The Eikonal Equation for the Scattered Field -- Application to Two-Dimensional Imaging -- References -- 5 Liquid-Crystal Detectors -- Sensitivity -- Types of Detectors -- Summary -- References -- 6 | |
Large-Aperture Acoustical Image Converters -- The Continuous-Wave Sokolov Image Converter -- Desirability of Increased Aperture -- Limitations on Increased Apertures in the AIC -- Means of Achieving Increased Aperture -- Conclusion -- | |
References -- 7 Temporal Reference Acoustical Holography -- Theory of Temporal Reference Holography -- Temporal Reference Acoustical Hologram Recorded with a Sokolov Ultrasound Camera -- Proposed Methods for Optical Recording of | |
Temporal Reference Acoustical Holograms -- Discussion -- References -- 8 Acoustical Imaging with Linear Transducer Arrays -- Aberrations -- Comparison with Other Systems -- Digital Simulation -- References -- 9 Acoustical Holography by | |
Optically Sampling a Sound Field in Bulk -- References -- 10 Focusing and Scanning of Acoustic Waves in Solids -- Comparison of Contrast Sensitivity for the Scanned and Simultaneous Imaging Techniques -- Magnetoelastic Scanning and | |
Focusing -- Electroacoustical Scanning and Focusing -- Optically Controlled Acoustic-Beam Scanning -- References -- 11 The Application of Holographic Concepts to Sonar -- Present Practice in Sonar Processing -- Some Fundamental | |
Considerations in Sonar Viewing and Processing Systems -- Optical Configurations for Sonar Processing -- Additional Optical Engineering Considerations -- Summary -- References -- 12 An Underwater Viewing System Using Sound Holography | |
-- Performance Requirements -- General Considerations -- Receiving Array -- Real-Time Display System -- Conclusion -- References -- 13 Computed Reconstructions from Phase-Only and Amplitude-Only Holograms -- Phase-Amplitude Hologram -- | |
Phase-Only Hologram -- Amplitude-Only Hologram -- Biased Phase-Only Hologram -- Summary -- References -- 14 Comments About Phase-Only Holograms -- The Problem -- The Background of the Problem -- Some Examples -- Phase-Only Holograms | |
and Geometric Optics -- The Set of Objects Suitable for Phase-Only Holograms -- References -- 15 Computer Reconstruction of Images from Ultrasonic Holograms -- The Data-Acquisition System -- Reconstruction of the Digital Image -- | |
Display of Digital Images -- Results -- Conclusions -- References -- 16 Acoustical Holography Experiments Using Digital Processing -- Earth Holography -- Existing Seismic Methods -- Scaling Problems -- Model Studies -- Conclusions -- | |
17 Holography of Infrasound as Observed from Natural and Artificial Sources -- Atmospheric Acoustics -- Coupling with the Ionosphere -- Past Field Experiments -- Present Field Experiments -- Future Developments -- References -- 18 | |
Diagnostic Holography—A Feasibility Study -- Method -- Results and Discussion -- References -- 19 Acoustical Imaging of Biological Tissue—Holography and Direct Imaging -- Detection with the Sokolov Ultrasound Camera -- Synthesis of | |
Three-Dimensional Images -- Holographic Recording With FM -- Summary -- References -- 20 Thin Liquid Layers for the Detection and Amplification of Ultrasonic Interference Patterns -- Surface Deformations -- A High-Pass Filter for | |
Liquid-Surface Deformations -- Relaxation Behavior of Thin Liquid Layers -- Amplification of Acoustically Induced Surface Deformations -- Amplification Properties of Thin Liquid Layers -- Design of the Acoustical Holography Experiment | |
-- Experimental Results -- Conclusions -- References -- 21 Acoustical Holography with Real-Time Color Translation -- Acoustical Characteristics -- Electronics -- Optics -- Results -- 22 Color Acoustical Holography -- Experimental | |
Configuration -- Method of Reconstruction -- Color-Coding Techniques and Results -- Summary -- References -- 23 Higher-Order Images from Grating-Like Acoustical Holograms and Their Multiplexing and Multicolor Applications -- Some | |
Properties of the Higher-Order Images Reconstructed from Grating-Like Acoustical Holograms -- Space-Division-Multiplexing Acoustical Holography -- Multicolor Acoustical Holography -- Conclusion -- References -- 24 Long-Wavelength | |
Holography and Visual Reproduction Methods -- 25 A New Method for Studying Acoustic Radiation Using Long-Wavelength Acoustical Holography -- Experimental Demonstration -- Conclusions -- 26 Supplementary Bibliography | |
ISBN: | 9781461582076 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Optics , Optoelectronics , Plasmons (Physics) , Physics , Optics, Optoelectronics, Plasmonics and Optical Devices |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | QA76.9.D3N443::2007 Show nearby items on shelf |
Title: | Oracle Database 10g performance tuning Tips & techniques |
Author(s): |
Richard J. Niemiec |
Date: | 2007 |
Publisher: | New York : McGraw-Hill |
Size: | 967 p. |
Contents: | Oracle database 10g new features (DBA and Developer) -- Basic Index Principles (Beginner Developer and beginner DBA) -- Disk implementation Methodology and ASM (DBA) -- Tuning the database with initialization parameters (DBA) -- Enterprise manager and grid control (DBA and Developer) -- Using explain and stored outlines (Developer and DBA) -- Basic hint syntax (Developer and DBA) -- Query tuning and beginner DBA -- Table joins and other advanced tuning (Advanced DBA and Developer) -- Using PL/SQL to enhance performance (Developer and DBA) -- Tuning RAC and using parallel features -- The V$$ views (Developer and DBA) -- The X$$ tables (Advanced DBA) -- Using STATSPACK and the AWR report to tune waits and latches -- Performing a quick system review (DBA) -- Monitor the system using Unix utitlities (DBA) |
ISBN: | 9780072263053 |
Keywords: | Oracle (Computer file) , Relational databases. |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Location: | MAIN |
Call number: | QA76.9.D3A4877::2011 Show nearby items on shelf |
Title: | Oracle Database 11g performance tuning recipes A problem-solution approach |
Author(s): |
Sam R. Alapati Darl Kuhn Bill Padfield |
Date: | 2011 |
Publisher: | Berkeley, CA : Apress |
Size: | 572 p |
Contents: | Optimizing Table Performance, Choosing and Optimizing Indexes, Optimizing Instance Memory, Monitoring System Performance, Minimizing System Contention, Analyzing Operating System Performance, Troubleshooting the Database, Creating Efficient SQL, Manu ally Tuning SQL, Tracing SQL Execution, Automated SQL Tuning, Execution Plan Optimization and Consistency, Configuring the Optimizer, Implementing Query Hints, Executing SQL in Parallel |
ISBN: | 9781430236627 |
Series: | Expert's voice in Oracle. |
Keywords: | Oracle (Computer file) , Database management. , Relational databases. |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Location: | MAIN |
Call number: | QA76.76.W56M45::2010 Show nearby items on shelf |
Title: | The joy of X : the architecture of the X Window System |
Author(s): |
Niall. Mansfield |
Date: | 2010 |
Publisher: | Cambridge, England : UIT |
Size: | 368 p |
Contents: | 1.X in a nutshell -- a quick overview, 2.How X works, in detail, and how the user sees it., 3.Using the system, system administration, performance and programming |
ISBN: | 9781906860004 |
Keywords: | X Window System (Computer system) |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Location: | MAIN |
Call number: | QA76.5.J14::2013 Show nearby items on shelf |
Title: | Intel Xeon Phi coprocessor high-performance programming |
Author(s): |
Jim Jeffers James Reinders |
Date: | 2013 |
Publisher: | Boston : Elsevier |
Size: | 409 p |
Contents: | Ch.1 Introduction -- ch. 2. High performance closed track test drive! -- ch. 3. A friendly country road race -- ch. 4. Driving around town : optimizing a real-world code example -- ch. 5. Lots of data (vectors) -- ch. 6. Lots of tasks (not threads) -- ch. 7. Offload -- ch. 8. Coprocessor architecture -- ch. 9. Coprocessor system software -- ch. 10. Linux on the coprocessor -- ch. 11. Math library -- ch. 12. MPI -- ch. 13. Profiling and timing -- ch. 14. Summary |
ISBN: | 0124104142 |
Keywords: | Coprocessors. , Computer programming. , High performance computing. |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
Location: | MAIN |
Return to the Fermilab Library catalog