Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD COMPUTER SYSTEM PERFORMANCE *END*INIT* use /tmp/qspiwww.webspi1/28281.48 QRY 131.225.70.96 . find keyword computer system performance ( in books using www Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover Image
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