Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | 1848215908:ONLINE Show nearby items on shelf |
Title: | Metaheuristic Optimization for the Design of Automatic Control Laws |
Author(s): |
Sandou |
Date: | 2013 |
Publisher: | Wiley-ISTE |
Size: | 1 online resource (145 p.) |
ISBN: | 9781848215900 |
Series: | eBooks |
Series: | Wiley Online Library |
Series: | Wiley 2016 package purchase |
Keywords: | Industrial Engineering |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | 10169645:ONLINE Show nearby items on shelf |
Title: | Practical industrial safety, risk assessment and shutdown systems for industry [electronic resource] |
Author(s): |
Dave Macdonald |
Date: | 2004 |
Publisher: | Amsterdam : Newnes |
Size: | 1 online resource (354 p.) |
Contents: | Introduction to Safety Instrumentation -- Hazards and Risk Reduction -- Hazard Studies -- Safety Requirements Specifications -- Technology Choices and the Conceptual Design Stage -- Basic Reliability Analysis Applied to Safety Systems -- Safety in Field Instruments and Devices -- Engineering the Safety System : Hardware -- Engineering: the Application Software -- Overall Planning: IEC Phases 6,7 and 8 -- Installation and Commissioning (IEC Phase 12) -- Validation, Operations and Management of Change -- Justification for a Safety Instrumented System -- Practicals -- Practical Answers -- Glossary |
ISBN: | 9780750658041 |
Series: | ebrary eBook |
Series: | Practical professional books from Elsevier |
Series: | eBooks |
Keywords: | Automatic control , Industrial safety , Risk assessment |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | TJ223.V3D73::1983 Show nearby items on shelf |
Title: | Control-valve selection and sizing |
Author(s): |
Les Driskell |
Date: | 1983 |
Publisher: | Instrument Society of America, Research Triangle Park, N.C |
Size: | 508 |
ISBN: | 0876646283 |
Series: | An Independent learning module from the Instrument Society of America v. 52, nos. 1-4 |
Keywords: | Automatic 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 |
Location: | ILL |
Call number: | TJ213.SH63::1972 Show nearby items on shelf |
Title: | Modern control system theory and application |
Author(s): |
Stanley M. Shinners |
Date: | 1972 |
Publisher: | Addison-Wesley Pub. Co, Reading, Mass |
Size: | 528 |
Series: | Addison-Wesley series in electrical engineering v. 7 |
Keywords: | Automatic 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. |
Location: | MAIN |
Call number: | TJ213.N497::2000 Show nearby items on shelf |
Title: | Control systems engineering |
Author(s): |
Norman S. Nise |
Date: | 2000 |
Edition: | 3rd ed. |
Publisher: | John Wiley, New York |
Size: | 970 |
ISBN: | 0471366013 |
Keywords: | Automatic 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 |
Location: | MAIN |
Call number: | TJ213.N497::1991 Show nearby items on shelf |
Title: | Control systems engineering |
Author(s): |
Norman S. Nise |
Date: | 1992 |
Publisher: | Benjamin/Cummings Pub. Co, Redwood City, Calif |
Size: | 756 |
ISBN: | 0805354204 |
Keywords: | Automatic 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 |
Location: | MAIN |
Call number: | TJ213.L434::1997 Show nearby items on shelf |
Title: | Basic control systems engineering |
Author(s): |
Paul H. Lewis 1934- Chang. Yang |
Date: | 1997 |
Publisher: | Prentice Hall, Upper Saddle River, NJ |
Size: | 450 |
ISBN: | 0135974364 |
Keywords: | Automatic 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 |
Location: | MAIN |
Call number: | TJ213.K8354::2003 Show nearby items on shelf |
Title: | Automatic control systems |
Author(s): |
Benjamin C. Kuo Farid Golnaraghi |
Date: | 2003 |
Edition: | 8th ed. |
Publisher: | New York : John Wiley & Sons |
Size: | 609 p. |
Note: | CD-ROM in back of book |
Contents: | Chapter 1. Introduction. Chapter 2. Mathematical Foundation. Chapter 3. Block Diagrams and Signal-Flow Graphs. Chapter 4. Modeling of Physical Systems. Chapter 5. State Variable Analysis. Chapter 6. Stability of Linear Control Systems. Chapter 7. Time-Domain Analysis of Control Systems. Chapter 8. Root-Locus Technique. Chapter 9. Frequency-Domain Analysis. Chapter 10. Design of Control Systems. Chapter 11. The Virtual Lab. Index. Appendix A. Complex Variable Theory. Appendix B. Differential and Difference Equations. Appendix C. Elementary Matrix Theory and Algebra.. Appendix D. Laplace Transform Table. Appendix E. Operational Amplifiers. Appendix F. Properties and Construction of the Root Loci. Appendix G. Frequency-Domain Plots. Appendix H. General Nyquist Criterion. Appendix I. Discrete-Data Control Systems. Appendix J. z-Transform Table. Appendix K. ACSYS 2002: Description of the Software. Answers to Selected Problems |
ISBN: | 0471134767 |
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 |
Call number: | TJ213.K8::1982 Show nearby items on shelf |
Title: | Automatic control systems |
Author(s): |
Benjamin C. Kuo 1930- |
Date: | 1982 |
Edition: | 4th ed. |
Publisher: | Prentice-Hall, Englewood Cliffs, NJ |
Size: | 721 |
ISBN: | 0130548170 |
Keywords: | Automatic 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 |
Location: | MAIN |
Call number: | TJ213.G186::1968 Show nearby items on shelf |
Title: | Introduction to control system performance measurements, by K. C. Garner. |
Author(s): |
Kenneth Charles Garner |
Date: | 1968 |
Edition: | [1st ed.] |
Publisher: | Pergamon Press, Oxford |
Size: | 204 |
Series: | The Commonwealth and international library. Automatic control division no. 135 |
Keywords: | Automatic 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. |
Location: | MAIN |
Call number: | TJ213.B5952::1988 Show nearby items on shelf |
Title: | Computer control of machines and processes |
Author(s): |
John G. Bollinger Neil A. Duffie |
Date: | 1988 |
Publisher: | Addison-Wesley, Reading, Mass |
Size: | 613 |
ISBN: | 0201106450 |
Series: | Addison-Wesley series in mechanical engineering 11 |
Keywords: | Automatic control Data 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 |
Location: | MAIN |
Call number: | TJ213.A78::1997 Show nearby items on shelf |
Title: | Computer-Controlled Systems : Theory and Design |
Author(s): |
Karl Johan Astrom 1934- Bjorn. Wittenmark |
Date: | 1997 |
Publisher: | Prentice Hall, Upper Saddle River, N.J |
Size: | 557 |
Note: | 3rd ed. |
ISBN: | 0133148998 |
Series: | Prentice Hall Information and System Sciences Series HB-76 |
Keywords: | Automatic Control Data 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 |
Location: | MAIN |
Call number: | TJ212.AD95::1976 Show nearby items on shelf |
Title: | Hierarchical and distributed computer control : the proceedings of the 3rd annual Advanced Control Conference |
Conference: | Advanced Control Conference, Purdue University, 1976 |
Author(s): |
K. Mehlhope |
Date: | 1976 |
Publisher: | Dun-Donnelley Pub. Corp, Chicago |
Keywords: | Automatic control Data 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. |
Location: | MAIN |
Call number: | SPRINGER-2013-9781461477891:ONLINE Show nearby items on shelf |
Title: | State-Space Models [electronic resource] : Applications in Economics and Finance |
Author(s): |
Yong Zeng Shu Wu |
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: | State-space models as an important mathematical tool has been widely used in many different fields. This edited collection explores recent theoretical developments of the models and their applications in economics and finance. Thebook includes nonlin ear andnon-Gaussian time series models, regime-switching and hidden Markov models, continuous- or discrete-time state processes, and models of equally-spaced or irregularly-spaced (discrete or continuous)observations.The contributed chapters are divided i nto four parts. The first part is on Particle Filtering and Parameter Learning in Nonlinear State-Space Models.The second part focuseson the application of Linear State-SpaceModels in Macroeconomics and Finance.The third part deals with Hidden Markov Mode ls, Regime Switching and Mathematical Finance and the fourth part is on Nonlinear State-Space Models for High Frequency Financial Data. The book willappeal to graduate students and researchers studying state-space modeling in economics, statistics, and ma thematics, as well as to finance professionals. Yong Zeng is a professor in Department of Mathematics and Statistics atUniversity of Missouri at Kansas City. His main research interest includes mathematical finance, financial econometrics, stochastic nonl inear filtering, and Bayesian statistical analysis. Notably, he developed the statistical analysisvia filtering for financial ultra-high frequency data, where the model can be viewed as a random-arrival-time state space model. He has published in Mathemat ical Finance, International Journal of Theoretical and Applied Finance,Applied Mathematical Finance, IEEE Transactions on Automatic Control, Statistical Inference for Stochastic Processes, among others. He held visiting associate professor positions at Pr inceton University and the University of Tennessee.He received his B.S. from Fudan University in 1990, M.S. from University of Georgia in 1994, and Ph.D. from University of Wisconsin at Ma |
Note: | Springer eBooks |
Contents: | Particle Filtering and Parameter Learning in Nonlinear State |
Space Models | |
Linear State | |
Space Models in Macroeconomics and Finance | |
Hidden Markov Models, Regime | |
Switching, and Mathematical Finance | |
Nonlinear State | |
Space Models for High Frequency Financial Data | |
Index | |
ISBN: | 9781461477891 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Statistics and Econometrics for Finance : v1 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Statistics , Mathematical statistics , Economics Statistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781461454533:ONLINE Show nearby items on shelf |
Title: | Multivariate Statistical Quality Control Using R [electronic resource] |
Author(s): |
Edgar Santos-Fernndez |
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: | The intensive use of automatic data acquisition system and the use of cloud computingfor process monitoring have led to an increased occurrence of industrial processes that utilize statistical process control and capabilityanalysis. These analyses ar eperformed almost exclusivelywithmultivariate methodologies. The aim of this Briefis to present the most important MSQC techniques developed in R language. The book is divided intotwo parts. Thefirst part contains the basic R elements, an introduction to statistical procedures, and the main aspects related toStatistical Quality Control (SQC). The second part covers the construction of multivariate control charts, thecalculation of Multivariate Capability Indices. |
Note: | Springer eBooks |
Contents: | An introduction to R |
Basic Statistical and SQC Procedures | |
Multivariate Control Charts | |
Multivariate Process Capability | |
Multivariate tools of support for MSQC | |
Appendix | |
Index | |
Problem | |
Solutions | |
ISBN: | 9781461454533 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | SpringerBriefs in Statistics, 2191-544X : v14 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Statistics , Mathematical statistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9783034804110:ONLINE Show nearby items on shelf |
Title: | Mathematical Methods in Systems, Optimization, and Control [electronic resource] : Festschrift in Honor of J. William Helton |
Author(s): |
Harry Dym Mauricio C Oliveira Mihai Putinar |
Date: | 2012 |
Publisher: | Basel : Springer Basel : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This volume is dedicated to Bill Helton on the occasion of his sixty-fifth birthday. It contains biographical material, a list of Bill's publications, a detailed survey of Bill's contributions to operator theory, optimization andcontrol, and 19 techn ical articles. Most of the technical articles are expository and should serve as useful introductions to many of the areas which Bill's highly original contributions have helped to shape over the last forty-oddyears. These include interpolation, Szeg limi t theorems, Nehari problems, trace formulas, systems and control theory, convexity, matrix completion problems, linear matrix inequalities and optimization. The book should be useful tograduate students in mathematics and engineering, as well as to facult y and individuals seeking entry level introductions and references to the indicated topics. It can also serve as a supplementary text to numerous courses in pure andapplied mathematicsand engineering, and as a source book for seminars |
Note: | Springer eBooks |
Contents: | Preface |
Inroduction (an overview of the contents of the book, from the perspective of Helton's landmark contributions) | |
Biographical Note and List of Publications of J.W. Helton | |
Bounded Analytic Interpolation and H | |
infinity Control | |
Linear Matrix Inequalities and Matrix Convexity | |
Optimization and Realization in the Free * | |
algebra | |
Automatic Verification of Matrix Inequalities | |
Non | |
commutative Algebraic Geometry | |
Non | |
Commutative Differential Geometry and Probability | |
Modern Trends in Robust Control | |
Challenges of Mathematical Biology | |
Mathematical Programming and Comput | |
ISBN: | 9783034804110 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Operator Theory: Advances and Applications : v222 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Algebra , Functions of complex variables , Operator theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9783642181016:ONLINE Show nearby items on shelf |
Title: | Fractional-Order Nonlinear Systems [electronic resource] : Modeling, Analysis and Simulation |
Author(s): |
Ivo Petr |
Date: | 2011 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Fractional-Order Nonlinear Systems: Modeling, Analysis and Simulation presents a study of fractional-order chaotic systems accompanied by Matlab programs for simulating their state space trajectories, which are shown in theillustrations in the book. Description of the chaotic systems is clearly presented and their analysis and numerical solution are done in an easy-to-follow manner. Simulink models for the selected fractional-order systems are alsopresented. The readers will understand the fundamenta ls of the fractional calculus, how real dynamical systems can be described using fractional derivatives and fractional differential equations,how such equations can be solved, andhow to simulate and explore chaotic systems of fractional order. The book ad dresses to mathematicians, physicists, engineers, and other scientists interested in chaos phenomena or in fractional-order systems. It can be used in courseson dynamical systems, control theory, and applied mathematics at graduate or postgraduate level. Ivo Petr is an Associate Professor of automatic control and the Director of the Institute of Control and Informatization ofProduction Processes, Faculty of BERG, Technical University of Koice, Slovak Republic. His main research interests include control s ystems, industrial automation, and applied mathematics |
Note: | Springer eBooks |
Contents: | Introduction |
Fractional Calculus | |
Fractional | |
Order Systems | |
Stability of Fractional | |
Order Systems | |
Fractional | |
Order Chaotic Systems | |
Control of Chaotic Systems | |
Conclusion | |
ISBN: | 9783642181016 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Nonlinear Physical Science, 1867-8440 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Engineering , Differentiable dynamical systems |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9783642030376:ONLINE Show nearby items on shelf |
Title: | Stability Analysis and Robust Control of Time-Delay Systems [electronic resource] |
Author(s): |
Min Wu Yong He Jin-Hua She |
Date: | 2010 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Stability Analysis and Robust Control of Time-Delay Systems focuses on essential aspects of this field, including the stability analysis, stabilization, control design, and filtering of various time-delay systems. Primarilybased on the most recent re search, this monograph presents all the above areas using a free-weighting matrix approach first developed by the authors. The effectiveness of this method and its advantages over other existing ones areproven theoretically and illustrated by means of var ious examples. The book will give readers an overview of the latest advances in this active research area and equip them with a pioneering method for studying time-delay systems. Itwill be of significant interest to researchers and practitioners engaged i n automatic control engineering. Prof. Min Wu, senior member of the IEEE, works at the Central South University, China |
Note: | Springer eBooks |
Contents: | Introduction |
Preliminaries | |
Stability of Systems with Time | |
Varying Delay | |
Stability of Systems with Multiple Delays | |
Stability of Neutral Systems | |
Stabilization of Systems with Time | |
Varying Delay | |
Stability and Stabilization of Discrete | |
Time Systems with Time | |
Varying Delay | |
HInfinity Control Design for Systems with Time | |
Varying Delay | |
HInfinity Filter Design for Systems with Time | |
Varying Delay | |
Stability of Neural Networks with Time | |
Varying Delay | |
Stability of T | |
S Fuzzy Systems with Time | |
Varying Delay | |
Stability and Stabilization of NCSs | |
Stability of Stochastic System | |
ISBN: | 9783642030376 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Functional equations , Systems theory , Vibration |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9783211929483:ONLINE Show nearby items on shelf |
Title: | Quantitative EPR [electronic resource] : A Practitioners Guide |
Author(s): |
Gareth R Eaton Sandra S Eaton David P Barr Ralph T Weber |
Date: | 2010 |
Publisher: | Vienna : Springer Vienna : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This is the first comprehensive yet practical guide for people who perform quantitative EPR measurements. No existing book provides this level of practical guidance to ensure the successful use of EPR. There is a growing need inboth industrial and ac ademic research to provide meaningful and accurate quantitative EPR results. This text discusses the various sample, instrument and software related aspects required for EPR quantitation. Specific topics include:choosing a reference standard, resonator co nsiderations (Q, B1, Bm), power saturation characteristics, sample positioning, and finally, putting all the factors together to obtain an accurate spin concentration of a sample |
Note: | Springer eBooks |
Contents: | Introduction |
Principles of Quantitative EPR Why should examples of applications be quantitative? Examples of applications | |
Introduction to Quantitative EPR General expression for CW EPR signal intensity The EPR transition Derivative spectra The CW EPR line width Second derivative operation What transitions can we observe Features oftransition metal EPR Parallel an d perpendicular transitions | |
Getting started | |
some practical matters Operating the spectrometer | |
cautionary notes Sample preparation Dont forget the cooling water! Detector current Automatic frequency control a | |
ISBN: | 9783211929483 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Chemistry , Chemistry, Physical organic , Biochemistry , Surfaces (Physics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9780817647575:ONLINE Show nearby items on shelf |
Title: | H-Optimal Control and Related Minimax Design Problems [electronic resource] : A Dynamic Game Approach |
Author(s): |
Tamer Baar Pierre Bernhard |
Date: | 2008 |
Edition: | Second Edition |
Publisher: | Boston, MA : Birkhuser Boston : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | I believe that the authors have written a first-class book which can be used for a second or third year graduate level course in the subject... Researchers working in the area will certainly use the book as a standardreference... Given how well the b ook is written and organized, it is sure to become one of the major texts in the subject in the years to come, and it is highly recommended to both researchers working in the field, and those who wantto learn about the subject. SIAM Review (Review of the First Edition) This book is devoted to one of the fastest developing fields in modern control theory---the so-called 'H-infinity optimal control theory'... In the authors'opinion 'the theory is now at a stage where it can easily be incorporated into a sec ond-level graduate course in a control curriculum'. It seems that this book justifies this claim. Mathematical Reviews (Review of the FirstEdition) This work is a perfect and extensive research reference covering the state-space techniques for solving lin ear as well as nonlinear H-infinity control problems. IEEE Transactions on Automatic Control (Review of theSecond Edition) The book, based mostly on recent work of the authors, is written on a good mathematical level. Many results in it are original, inte resting, and inspirational...The book can be recommended to specialists and graduatestudents working in the development of control theory or using modern methods for controller design. Mathematica Bohemica (Review of the Second Edition) This book is a sec ond edition of this very well-known text on H-infinitytheory...This topic is central to modern control and hence this definitive book is highly recommended to anyone who wishes to catch up with this important theoretical development in applied mathematics and control. Short BookReviews (Review of the Second Edition) The book can be recommended to mathematicians specializing in control theory and dynamic (differential) games. It |
Note: | Springer eBooks |
Contents: | A General Introduction to Minimax (H? |
Optimal) Designs | |
Basic Elements of Static and Dynamic Games | |
The Discrete | |
Time Minimax Design Problem with Perfect | |
State Measurements | |
Continuous | |
Time Systems with Perfect | |
State Measurements | |
The Continuous | |
Time Problem with Imperfect | |
State Measurements | |
The Discrete | |
Time Problem with Imperfect | |
State Measurements | |
Minimax Estimators and Performance Levels | |
Robustness to Regular and Singular Perturbations | |
Appendix A: Conjugate Points and Existence of Value | |
Appendix B: Danskins Theorem | |
ISBN: | 9780817647575 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Modern Birkhuser Classics, 2197-1803 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Systems theory , Mathematical optimization |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9780387754505:ONLINE Show nearby items on shelf |
Title: | Graphs, Dioids and Semirings [electronic resource] : New Models and Algorithms |
Author(s): |
Michel Gondran Michel Minoux |
Date: | 2008 |
Publisher: | Boston, MA : Springer US |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The origins of Graph Theory date back to Euler (1736) with the solution of the celebrated 'Koenigsberg Bridges Problem' and to Hamilton with the famous 'Trip around the World' game (1859), stating for the first time a problemwhich, in its most recent version the 'Traveling Salesman Problem' -, is still the subject of active research. Yet, it has been during the last fifty years or sowith the rise of the electronic computersthat Graph theory hasbecome an indispensable discipline in terms of the numbe r and importance of its applications across the Applied Sciences. Graph theory has been especially central to Theoretical and Algorithmic Computer Science, and Automatic Control,Systems Optimization, Economy and Operations Research, Data Analysis in the E ngineering Sciences. Close connections between graphs and algebraic structures have been widely used in the analysis and implementation of efficientalgorithms for many problems, for example: transportation network optimization, telecommunication network o ptimization and planning, optimization in scheduling and production systems, etc. The primary objectives of GRAPHS, DIODS ANDSEMIRINGS: New Models and Algorithms are to emphasize the deep relations existing between the semiring and diod structures with gr aphs and their combinatorial properties, while demonstrating the modeling and problem-solvingcapability and flexibility of these structures. In addition the book provides an extensive overview of the mathematical properties employed by nonclassical algebr aic structures, which either extend usual algebra (i.e., semirings),or correspond to a new branch of algebra (i.e., diods), apart from the classical structures of groups, rings, and fields |
Note: | Springer eBooks |
Contents: | Pre |
Semirings, Semirings and Dioids | |
Combinatorial Properties of (Pre) | |
Semirings | |
Topology on Ordered Sets: Topological Dioids | |
Solving Linear Systems in Dioids | |
Linear Dependence and Independence in Semi | |
Modules and Moduloids | |
Eigenvalues and Eigenvectors of Endomorphisms | |
Dioids and Nonlinear Analysis | |
Collected Examples of Monoids, (Pre) | |
Semirings and Dioids | |
ISBN: | 9780387754505 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Operations Research/Computer Science Interfaces, 1387-666X : v41 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer network architectures , Computational complexity , Combinatorics , Operations research |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2006-9780817644703:ONLINE Show nearby items on shelf |
Title: | Current Trends in Nonlinear Systems and Control [electronic resource] : In Honor of Petar Kokotovi and Turi Nicosia |
Author(s): |
Laura Menini Luca Zaccarian Chaouki T Abdallah |
Date: | 2006 |
Publisher: | Boston, MA : Birkhuser Boston |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This volume is an outgrowth of the workshop Applications of Advanced Control Theory to Robotics and Automation, organized in honor of the 70th birthdays of Petar V. Kokotovic and Salvatore (Turi) Nicosia. Both Petar and Turihave carried out distingui shed work in the control community and have long been recognized as mentors, experts, and pioneers in the field of automatic control, covering many topics in control theory and several different applications.The variety of their research is reflected in t his book, which includes contributions from leading experts in the field ranging from mathematics to laboratory experiments. Main topics covered include: * State Estimation andIdentification: observer designs for nonlinear systems and linear time-delay sy stems, as well as identification techniques for linear, nonlinear, piecewise linear, and hybrid systems. * Control and System Theory: theoretical resultsrelated to the analysis and control of dynamical systems, including a presentation of Lyapunov tools f or linear differential inclusions, a study of the control of constrained systems, and a treatment of finite-time stability concepts.* Robotics: new studies of robot manipulators, parameter identification, and different control problems for mobile robots. * Control of Electromechanical Systems: applications of modern control techniques to port-controlled Hamiltoniansystems, different classes of vehicles, and web processing systems. * Manufacturing Systems: applications of the max-plus algebra to system agg regation, optimal machine scheduling problems, and inventory control with cooperationbetween retailers. * Networked Control Systems: analysis and design problems related to linear and nonlinear networked control systems. The scope of the work is quite bro ad, and although each chapter is self-contained, the book hasbeen organized into thematically related chapters, and in some cases, convenient reading sequences are suggested to the reader. The wide |
Note: | Springer eBooks |
Contents: | Foreword |
Preface | |
List of Contributors | |
Part I: State Estimation and Identification | |
Circle | |
criterion observers and their feedback applications: an overview | |
Unknown input observers and residual generators for linear time delay systems | |
Set membership identification: the H | |
infinity case | |
Algebraic methods for nonlinear systems: parameter identification and state estimation | |
Recent techniques for the identification of piecewise affine and hybrid systems | |
Part II: Control and System Theory | |
Dual matrix inequalities in stability and performance analysis of linear differential | |
ISBN: | 9780817644703 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Systems and Control: Foundations & Applications |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Systems theory , Mathematical optimization , Vibration |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783662054505:ONLINE Show nearby items on shelf |
Title: | Python Scripting for Computational Science |
Author(s): |
Hans Petter Langtangen |
Date: | 2004 |
Size: | 1 online resource (732 p.) |
Note: | 10.1007/978-3-662-05450-5 |
Contents: | 1 Introduction -- 2 Getting Started with Python Scripting -- 3 Basic Python -- 4 Numerical Computing in Python -- 5 Combining Python with Fortran, C, and C++ -- 6 Introduction to GUI Programming -- 7 Web Interfaces and CGI Programming |
-- 8 Advanced Python -- 9 Fortran Programming with NumPy Arrays -- 10 C and C++ Programming with NumPy Arrays -- 11 More Advanced GUI Programming -- 12 Tools and Examples -- A Setting up the Required Software Environment -- A.1 | |
Installation on Unix Systems -- A.1.1 A Suggested Directory Structure -- A.1.2 Setting Some Environment Variables -- A.1.3 Installing Tcl/Tk and Additional Modules -- A.1.4 Installing Python -- A.1.5 Installing Python Modules -- A.1.6 | |
Installing Gnuplot -- A.1.7 Installing SWIG -- A.1.8 Summary of Environment Variables -- A.1.9 Testing the Installation of Scripting Utilities -- A.2 Installation on Windows Systems -- B Elements of Software Engineering -- B.1 Building | |
and Using Modules -- B.1.1 Single-File Modules -- B.1.2 Multi-File Modules -- B.1.3 Debugging and Troubleshooting -- B.2 Tools for Documenting Python Software -- B.2.1 Doc Strings -- B.2.2 Tools for Automatic Documentation -- B.3 | |
Coding Standards -- B.3.1 Style Guide -- B.3.2 Pythonic Programming -- B.4 Verification of Scripts -- B.4.1 Automating Regression Tests -- B.4.2 Implementing a Tool for Regression Tests -- B.4.3 Writing a Test Script -- B.4.4 Verifying | |
Output from Numerical Computations -- B.4.5 Automatic Doc String Testing -- B.4.6 Unit Testing -- B.5 Version Control Management -- B.5.1 Getting Started with CVS -- B.5.2 Building Scripts to Simplify the Use of CVS -- B.6 Exercises | |
ISBN: | 9783662054505 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Texts in Computational Science and Engineering: 3 |
Keywords: | Mathematics , Software engineering , Computer mathematics , Physics , Computational intelligence , Mathematics , Computational Science and Engineering , Numerical and Computational Physics , Software Engineering/Programming and Operating Systems , Computational Intelligence |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783034878463:ONLINE Show nearby items on shelf |
Title: | Applied Laplace Transforms and z-Transforms for Scientists and Engineers A Computational Approach using a Mathematica Package |
Author(s): |
Urs Graf |
Date: | 2004 |
Size: | 1 online resource (500 p.) |
Note: | 10.1007/978-3-0348-7846-3 |
Contents: | 1 Laplace Transformation -- 1.1 The One-Sided Laplace Transform -- 1.2 The Two-Sided Laplace Transform -- 1.3 Ordinary Linear Differential Equations -- 2 z-Transformation -- 2.1 z-Transforms and Inverse z-Transforms -- 2.2 Difference |
Equations -- 3 Laplace Transforms with the Package -- 3.1 Basics -- 3.2 The Use of Transformation Rules -- 3.3 The Finite Laplace Transform -- 3.4 Special Functions -- 3.5 Inverse Laplace Transformation -- 3.6 Differential Equations -- | |
4 z-Transformation with the Package -- 4.1 Basics -- 4.2 Use of Transformation Rules -- 4.3 Difference Equations -- 5 Applications To Automatic Control -- 5.1 Controller Configurations -- 5.2 State-Variable Analysis -- 5.3 Second Order | |
Differential Systems -- 5.4 Stability -- 5.5 Frequency Analysis -- 5.6 Sampled-Data Control Systems -- 6 Laplace Transformation: Further Topics -- 6.1 The Complex Inversion Formula -- 6.2 Laplace Transforms and Asymptotics -- 6.3 | |
Differential Equations -- 7 z-Transformation: Further Topics -- 7.1 The Advanced z-Transformation -- 7.2 Applications -- 7.3 Use of the Package -- 8 Examples from Electricity -- 8.1 Transmission Lines -- 8.2 Electrical Networks -- 9 | |
Examples from Control Engineering -- 9.1 Control of an Inverted Pendulum -- 9.2 Controling a Seesaw-Pendulum -- 9.3 Control of a DC Motor -- 9.4 A Magnetic-Ball-Suspension-System -- 9.5 A Sampled-Data State-Variable Control System -- | |
10 Heat Conduction and Vibration Problems -- 10.1 Flow of Heat -- 10.2 Waves and Vibrations in Elastic Solids -- 11 Further Techniques -- 11.1 Duhamel’s Formulas -- 11.2 Green’s Functions -- 11.3 Fundamental Solutions -- 11.4 Finite | |
Fourier Transforms -- 12 Numerical Inversion of Laplace Transforms -- 12.1 Inversion by the Use of Laguerre Functions -- 12.2 Inversion by Use of Fourier Analysis -- 12.3 The Use of Gaussian Quadrature Formulas -- 12.4 The Method of | |
Gaver and Stehfest -- 12.5 Example -- Appendix: Package Commands | |
ISBN: | 9783034878463 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Functional analysis , Integral transforms , Operational calculus , Computer mathematics , Mathematics , Functional Analysis , Symbolic and Algebraic Manipulation , Integral Transforms, Operational Calculus , Computational Mathematics and Numerical Analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783642557538:ONLINE Show nearby items on shelf |
Title: | Mathematics — Key Technology for the Future Joint Projects between Universities and Industry |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (732 p.) |
Note: | 10.1007/978-3-642-55753-8 |
Contents: | I. Motors, Vehicles -- Synthesis of Automotive Cams Using Multiple Shooting-SQP Methods for Constrained Optimization -- Numerical Optimization of Scavenging in Two-Stroke Engines with Transfer Ducts, an Exhaust Port and a Moving |
Piston -- A Numerical Tool for Flow Simulation in a Wankel Motor -- An Efficient Navier-Stokes Solver for Automotive Aerodynamics -- Numerical Simulation of Exhaust Systems in Car Industry — Efficient Calculation of Radiation Heat | |
Transfer -- Combinatorial Optimization Techniques for Three-Dimensional Arrangement Problems -- Simulation of Test-drives of Automobiles at Driving Limit -- An Optimal Control Approach To Real-Time Vehicle Guidance -- Theoretical and | |
Experimental Studies of an S-Catamaran -- II. Environmental Technology -- Robust Error Estimators for Interface Problems Occuring in Transport Processes in Porous Media -- Modelling and Simulation of a Planned Bio-Chemical in situ | |
Remediation -- Influence of Surfactants on Spreading of Contaminants and Soil Remediation -- Improvement of Environment Observing Remote Sensing Devices by Regularization Techniques -- III. Flow, Transport and Reactions in | |
Technological Processes -- Stability Analysis for Reactors from Chemical Industry -- Heterogeneous Dynamic Process Flowsheet Simulation of Chemical Plants -- Numerical Simulation of Annular Chromatography -- Numerical Methods for | |
Parameter Estimation in Bingham-Fluids -- A Viscoelastic Turbulence Model Based on Renormalization Group Theory -- Modelling and Simulation of Capacitor Impulse Welding -- Analysis of Transport Processes for Layered Porous Materials | |
Used in Industrial Applications -- Modelling and Numerical Simulation of District Heating Networks with Time-Saving Solution Methods -- Sensitivity and Robustness Analysis for Construction and Monitoring of Tubine-Generator Shafts -- | |
IV. Optics and Sensors -- Adaptive Multigrid Methods for the Vectorial Maxwell Eigenvalue Problem for Optical Waveguide Design -- Direct and Inverse Problems for Diffractive Structures — Optimization of Binary Gratings -- Computation | |
of Electromagnetic Fields for a Humidity Sensor -- V. Crystal Growth, Semiconductors -- Simulation of Industrial Crystal Growth by the Vertical Bridgman Method -- Numerical Simulation and Control of Industrial Crystal Growth Processes | |
-- Optimal Control of Sublimation Growth of SiC Crystals -- Mathematical Modelling and Numerical Simulation of Semiconductor Detectors -- Optimal Design of High Power Electronic Devices by Topology Optimization -- Modelling and | |
Simulation of Strained Quantum Wells in Semiconductor Lasers -- VI. Electronic Circuits -- Efficient Analysis of Oscillatory Circuits -- Modelling and Simulation of Power Devices for High-Voltage Integrated Circuits -- Finding | |
Beneficial DAE Structures in Circuit Simulation -- CHORAL — a Charge-Oriented Algorithm for the Numerical Integration of Electrical Circuits -- VII. Tomography, Image Analysis and Visualisation -- Reconstructing Crystalline Structures | |
from Few Images Under High Resolution Transmission Electron Microscopy -- Measurement of Paint Layer Thickness with Photothermal Infrared Radiometry -- Spatio-Temporal Current Density Reconstruction from EEG-/MEG-Data -- Signal | |
Correction in NMR Spectroscopy -- On Scattering of Ultrasonic Waves -- Smoothing of Tomographic Data and Hybrid Volume-Surface Visualisation -- Video Coding with Adaptive Vector Quantization and Rate Distortion Optimization -- VIII. | |
Statistical Methods in Medical Applications -- The Application of Statistical Methods of Meta-Analysis for Heterogeneity Modelling in Medicine and Pharmacy, Psychology, Quality Control and Assurance -- An Application for the Analysis | |
of Human Tremor Time-Series -- IX. Optimization in Design and Production -- Free Material Optimization -- Automatic Layout and Labelling of State Diagrams -- Optimization Problems in a Semi-Automatic Device for Cutting Leather -- | |
Stochastic Programming for Power Production and Trading Under Uncertainty -- Scheduling Scarce Resources in Chemical Engineering -- X. Optimization in Traffic and Communication -- Duty Scheduling in Public Transit -- Rotation Planning | |
for the Continental Service of a European Airline -- Computer Aided Scheduling of Switching Engines -- Train Schedule Optimization in Public Rail Transport -- An Integrated Planning Approach for Cellular Radio Networks -- Author Index | |
ISBN: | 9783642557538 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Chemometrics , Computer graphics , Computer mathematics , Visualization , Statistics , Applied mathematics , Engineering mathematics , Mathematics , Computational Science and Engineering , Visualization , Appl.Mathematics/Computational Methods of Engineering , Math. Applications in Chemistry , Computer Imaging, Vision, Pattern Recognition and Graphics , Statistics for Life Sciences, Medicine, Health Sciences |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783642555084:ONLINE Show nearby items on shelf |
Title: | Large-Scale PDE-Constrained Optimization |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (12 p.) |
Note: | 10.1007/978-3-642-55508-4 |
Contents: | I Introduction -- Large-Scale PDE-Constrained Optimization: An Introduction -- II Large-Scale CFD Applications -- Nonlinear Elimination in Aerodynamic Analysis and Design Optimization -- Optimization of Large-Scale Reacting Flows |
using MPSalsa and Sequential Quadratic Programming -- III Multifidelity Models and Inexactness -- First-Order Approximation and Model Management in Optimization -- Multifidelity Global Optimization Using DIRECT -- Inexactness Issues in | |
the Lagrange-Newton-Krylov-Schur Method for PDE-constrained Optimization -- IV Sensitivities for PDE-based Optimization -- Solution Adapted Mesh Refinement and Sensitivity Analysis for Parabolic Partial Differential Equation Systems -- | |
Challenges and Opportunities in Using Automatic Differentiation with Object-Oriented Toolkits for Scientific Computing -- Piggyback Differentiation and Optimization -- V NLP Algorithms and Inequality Constraints -- Assessing the | |
Potential of Interior Methods for Nonlinear Optimization -- An Interior-Point Algorithm for Large Scale Optimization -- SQP SAND Strategies that Link to Existing Modeling Systems -- Interior Methods For a Class of Elliptic Variational | |
Inequalities -- Hierarchical Control of a Linear Diffusion Equation -- VI Time-Dependent Problems -- A Sequential Quadratic Programming Method for Nonlinear Model Predictive Control -- Reduced Order Modelling Approaches to | |
PDE-Constrained Optimization Based on Proper Orthogonal Decomposition -- Adaptive Simulation, the Adjoint State Method, and Optimization -- VII Frameworks for PDE-Constrained Optimization -- 18 The SIERRA Framework for Developing | |
Advanced Parallel Mechanics Applications -- rSQP++: An Object-Oriented Framework for Successive Quadratic Programming -- Sundance Rapid Prototyping Tool for Parallel PDE Optimization -- Color Plates | |
ISBN: | 9783642555084 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 30 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Partial differential equations , Computer mathematics , Mathematical optimization , Mathematics , Analysis , Computational Mathematics and Numerical Analysis , Optimization , Computational Science and Engineering , Partial Differential Equations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9780306480560:ONLINE Show nearby items on shelf |
Title: | Handbook of Metaheuristics |
Author(s): | |
Date: | 2003 |
Publisher: | Boston, MA : Springer US |
Size: | 1 online resource (557 p.) |
Note: | 10.1007/b101874 |
Contents: | Scatter Search and Path Relinking: Advances and Applications -- An Introduction to Tabu Search -- Genetic Algorithms -- Genetic Programming: Automatic Synthesis of Topologies and Numerical Parameters -- A Gentle Introduction to |
Memetic Algorithms -- Variable Neighborhood Search -- Guided Local Search -- Greedy Randomized Adaptive Search Procedures -- The Ant Colony Optimization Metaheuristic: Algorithms, Applications, and Advances -- The Theory and Practice | |
of Simulated Annealing -- Iterated Local Search -- Multi-Start Methods -- Local Search and Constraint Programming -- Constraint Satisfaction -- Artificial Neural Networks for Combinatorial Optimization -- Hyper-Heuristics: An Emerging | |
Direction in Modern Search Technology -- Parallel Strategies for Meta-Heuristics -- Metaheuristic Class Libraries -- Asynchronous Teams | |
ISBN: | 9780306480560 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Series in Operations Research & Management Science: 57 |
Keywords: | Mathematics , Operations research , Decision making , Artificial intelligence , Mathematical optimization , Calculus of variations , Management science , Mathematics , Optimization , Calculus of Variations and Optimal Control Optimization , Artificial Intelligence (incl. Robotics) , Operation Research/Decision Theory , Operations Research, Management Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9783662045671:ONLINE Show nearby items on shelf |
Title: | Calibration and Orientation of Cameras in Computer Vision |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (236 p.) |
Note: | 10.1007/978-3-662-04567-1 |
Contents: | 1 Introduction -- 2 Minimum Solutions for Orientation -- 3 Generic Estimation Procedures for Orientation with Minimum and Redundant Information -- 4 Photogrammetric Camera Component Calibration: A Review of Analytical Techniques -- 5 |
Least-Squares Camera Calibration Including Lens Distortion and Automatic Editing of Calibration Points -- 6 Modeling and Calibration of Variable-Parameter Camera Systems -- 7 System Calibration Through Self-Calibration -- 8 | |
Self-Calibration of a Stereo Rig from Unknown Camera Motions and Point Correspondences | |
ISBN: | 9783662045671 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Series in Information Sciences: 34 |
Keywords: | Computer science , Computer simulation , Image processing , Space sciences , Control engineering , Robotics , Mechatronics , Computer Science , Image Processing and Computer Vision , Simulation and Modeling , Control, Robotics, Mechatronics , Extraterrestrial Physics, Space Sciences |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9783034882330:ONLINE Show nearby items on shelf |
Title: | Fast Solution of Discretized Optimization Problems Workshop held at the Weierstrass Institute for Applied Analysis and Stochastics, Berlin, May 8–12, 2000 |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (283 p.) |
Note: | 10.1007/978-3-0348-8233-0 |
Contents: | Block Preconditioners for KKT Systems in PDE-GovernedOptimal Control Problems -- Iterative Multiscale Methods for Process Monitoring -- Three Dimensional Shape and Topology Optimizationin Cauchy-Navier’s PDE -- A Multigrid Method for |
Optimal Control of Time-dependentReaction Diffusion Processes -- On the Implementation of Multilevel Solversfor Constrained Variational Problems in Dual Formulation -- Nonlinear Boundary Control for the Heat Equation UtilizingProper | |
Orthogonal Decomposition -- A Posteriori Error Estimation for the Sourcewise RepresentedSolution with Application to the Problem of Heat Conductivity -- Efficient Algorithms for Contact Shape Optimization -- Fast Algorithms for | |
Positional Optimization of Dynamic Systems -- Optimal Sizing Using Automatic Differentiation -- On a Globalized Augmented Lagrangian-SQP Algorithmfor Nonlinear Optimal Control Problems with Box Constraints -- Recent Advances in Mesh | |
Adaptivity for Optimal Control Problems -- Optimal Geometrical Design of Bingham ParameterMeasurement Devices -- Sufficient Optimality for Discretized Parabolic and EllipticControl Problems -- Global Quadratic Dynamic Minimization | |
Approachesfor Shape Design withIncomplete Sensitivities on Cad-Free Parameterization of Multi-disciplinary Configurations -- Convergence of Runge-Kutta Discretization for Optimal ControlProblems -- Numerical Optimal Control Strategies | |
for Semi-Active VehicleSuspension with Electrorheological Fluid Dampers -- Adaptive Approximation Algorithm for Relaxed Optimization Problems -- Optimization Tools for Solving Nonlinear Ill-posed Problems -- Material Optimization with | |
a Penalty Barrier Multiplier Method -- List of authors and co-authors | |
ISBN: | 9783034882330 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | ISNM International Series of Numerical Mathematics : 138 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Mathematics , Analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9781461505532:ONLINE Show nearby items on shelf |
Title: | Linear Control Systems With solved problems and MATLAB examples |
Author(s): |
Branislav Kisačanin |
Date: | 2001 |
Size: | 1 online resource (381 p.) |
Note: | 10.1007/978-1-4615-0553-2 |
Contents: | I Theory of linear control systems -- 1 Historical overview of automatic control -- 2 Modern control theory -- II Solved problems -- 3 Continuous linear systems -- 4 Discrete linear systems -- 5 Exercise problems -- III Appendixes -- |
A.1 Introduction -- A.2 Basic matrix operations -- A.3 Plotting graphs -- A.4 Data analysis -- A.5 Data management and I/O operations -- A.6 Exercises -- B Mathematical preliminaries -- B.1 Introduction -- B.2 Differential and | |
difference equations -- B.4 Matrices and determinants -- C Results from advanced matrix theory -- C.1 Eigenvectors and eigenvalues -- C.2 Diagonal and Jordan forms -- C.3 Similarity of matrices -- C.4 Symmetric and Hermitian matrices | |
-- C.5 Quadratic forms and definiteness -- C.6 Some special matrices -- C.7 Rank, pseudoinverses, SVD, and norms -- C.8 Problems | |
ISBN: | 9781461505532 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Engineering , System theory , Mechanical engineering , Electrical engineering , Engineering , Electrical Engineering , Mechanical Engineering , Systems Theory, Control |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9789401596084:ONLINE Show nearby items on shelf |
Title: | Communication-Based Systems Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (196 p.) |
Note: | 10.1007/978-94-015-9608-4 |
Contents: | Performance Evaluation of Communication Based Systems -- GSPN Models of Dual-Band GSM Networks -- Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets -- Safe System-Level Diagnosis for Selected Fault |
Models -- Fault-Tolerance Mechanisms for a Parallel Programming System — A Responsiveness Perspective -- Foundations and Applications of Communication Based Systems -- Run Time Modification of Algebraic High Level Nets and Algebraic | |
Higher Order Nets using Folding and Unfolding Construction -- Compositional Specification of Distributed Systems by Distributed Graph Transformation -- Specifying, Analyzing and Programming Communication Systems in Maude -- Towards | |
Dynamic Shaping -- A Personal, Historical Perspective of Parallel Programming for High Performance -- Distributed Environments for Communication Based Systems -- Automatic Distribution in Pangaea -- Multiphase Consensus Finding in | |
Collaborative Problem Solving -- Efficient and Secure Information Sharing in Distributed, Collaborative Environments -- A Constraint Programming Framework for AI Planning -- Atomic Broadcast in a Byzantine Model | |
ISBN: | 9789401596084 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Microprocessors , Software engineering , Programming languages (Electronic computers) , Category theory (Mathematics) , Homological algebra , System theory , Mathematics , Category Theory, Homological Algebra , Systems Theory, Control , Processor Architectures , Programming Languages, Compilers, Interpreters , Software Engineering/Programming and Operating Systems |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9783642576782:ONLINE Show nearby items on shelf |
Title: | COMPSTAT Proceedings in Computational Statistics 14th Symposium held in Utrecht, The Netherlands, 2000 |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (540 p.) |
Note: | 10.1007/978-3-642-57678-2 |
Contents: | Keynote papers -- The broad role of multiple imputation in statistical science -- Official Statistics: an estimation strategy for the IT-era -- Invited papers -- Bayesian model selection methods for nonnested models -- Spatio-temporal |
hierarchical modeling of an infectious disease from (simulated) count data -- GBMs: GLMs with bilinear terms -- Generalized calibration and application to weighting for non-response -- Methodological issues in data mining -- Practical | |
data mining in a large utility company -- HGLMs for analysis of correlated non-normal data -- Bootstrapping impulse responses in VAR analyses -- An application of TRAMO-SEATS model selection and out-of-sample performance. The Swiss CPI | |
series -- Spreadsheets as tools for statistical computing and statistics education -- An algorithm for deepest multiple regression -- Non-proportional hazards models in survival analysis -- A spatio-temporal analysis of a field trial | |
-- Contributed papers -- Principal component logistic regression -- Sieve bootstrap prediction intervals -- Clustering by maximizing a fuzzy classification maximum likelihood criterion -- Tree-based algorithms for missing data | |
imputation -- MiPy: a system for generating multiple imputations -- A linear approximation to the wild bootstrap in specification testing -- The size of the largest nonidentifiable outlier as a performance criterion for multivariate | |
outlier identification: the case of high-dimensional data -- The influence of data generation and imputation methods on the bias of factor analysis of rating scale data -- Model on a population and prediction on another one: a | |
generalized discriminant rule -- Disclosure control on multi-way tables by means of the shuttle algorithm: extensions and experiments -- An MLE strategy for combining optimally pruned decision trees -- Semi-parametric models for data | |
mining -- Preliminary estimation of ARFIMA models -- A collection of applets for visualizing statistical concepts -- Non-parametric regression and density estimation under control of modality -- Multivariate approaches for aggregate | |
time series -- Some space-time models: an application to NO2 pollution in an urban area -- SLICE: generalised software for statistical data editing and imputation -- Improved PCB inspection: computational issues -- Optimization of the | |
antithetic Gibbs sampler for Gaussian Markov random fields -- Computing zonoid trimmed regions of bivariate data sets -- Outlier resistant estimators for canonical correlation analysis -- Graphical and phase space models for univariate | |
time series -- The use of the Tweedie distribution in statistical modelling -- Predictive dimension: an alternative defmition to embedding dimension -- Post-stratification to correct for nonresponse: classification of ZIP code areas -- | |
Approximate Bayesian inference for simple mixtures -- Correlated INAR(1) process -- Confidence regions for stabilized multivariate tests -- Comparison of stationary time series using distribution-free methods -- Generation of Boolean | |
classification rules -- A statistical package based on Pnuts -- Generalized regression trees -- Generalized linear mixed models: an improved estimating procedure -- The stochastic dimension in a dynamic GIS -- A robust version of | |
principal factor analysis -- TESS: system for automatic seasonal adjustment and forecasting of time series -- The BADAME project -- Improving Statistics Canada’s cell suppression software (CONFID) -- The multimedia project MM*STAT for | |
teaching statistics -- Projection pursuit approach to robust canonical correlation analysis -- A fast algorithm for highly robust regression in data mining -- Optimal classification trees -- GAM spline algorithms: a direct comparison | |
-- Markov Chain Monte Carlo methods for handling missing covariates in longitudinal mixed models -- Robust Bayesian classification -- Social science measurement by means of item response models -- Multivariate DLMs for forecasting | |
financial time series, with application to the management of portfolios -- An algorithm for the multivariate Tukey median -- Analyzing and synthesizing information from a multiple-study database -- Bootstrapping neural discriminant | |
model -- An improved algorithm for robust PCA -- Applying techniques of dynamic programming to sequential mastery testing -- The introduction of formal structure into the processing of statistical summary data -- Validation of | |
association rules by interactive mosaic plots -- Optimality models for PRAM -- Dealing with real ordinal data: recent advances in analyzing tied, censored, and multivariate observations -- Testing for differences in location: a | |
comparison of bootstrap methods in the small sample case -- Two principal points for location mixtures -- Vector splines and other vector smoothers -- Index of authors -- Index of keywords | |
ISBN: | 9783642576782 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Information technology , Business , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistics for Business/Economics/Mathematical Finance/Insurance , Statistics and Computing/Statistics Programs , IT in Business |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9781441985569:ONLINE Show nearby items on shelf |
Title: | A Guide to Maple |
Author(s): |
Ernic Kamerich |
Date: | 1999 |
Size: | 1 online resource (325 p.) |
Note: | 10.1007/978-1-4419-8556-9 |
Contents: | 1 Basic elements in the use of Maple -- 2 Numbers and algebraic operators -- 3 Names and evaluation 1: mathematical variables -- 4 Elementary calculus -- 5 Names and evaluation 2: applying procedures -- 6 Creating and using |
mathematical functions -- 7 Graphics -- 8 Taylor or Laurent expansion and limits -- 9 Numerical calculations with Maple -- 10 Manipulating several objects at once -- 11 Substitution and subexpressions -- 12 Manipulating and converting | |
numbers -- 13 Polynomials and rational expressions -- 14 Polynomial equations and factoring polynomials -- 15 Manipulating algebraic expressions -- 16 Solving equations and inequalities in general -- 17 Solving differential equations | |
-- 18 Vectors and matrices -- Appendix A Types, properties, and domains -- A.1 Basic types -- More types -- Selection on type -- Properties, the assume facility -- Derived properties -- Asking for the assumed properties -- Adding | |
properties -- Combining properties -- Properties and assigning -- Properties and formal parameters -- Domains, the Domains package -- Appendix B Names and evaluation 3: some special features -- Changing names, alias -- Finding names | |
used -- Indexed names -- Quotes with table, arrays, vectors, and matrices -- Recovering lost procedures -- Exceptions to the rule of automatic full evaluation -- Appendix C The user interface for text-only versions -- Starting, | |
interrupting, and quitting Maple -- Editing commands -- Pictures -- Maple system messages -- Saving a session and its results -- Appendix D Procedures remembering previous results -- Remember tables of procedures -- Clearing (parts of) | |
the remember table -- An example of side effects of the remember table: infolevel -- Appendix E Control structures -- Procedures -- Searching for causes of odd behavior with trace or printlevel -- Using if ... fi for choices -- | |
Recursion -- Using do od for repeating actions -- An example: checking the results of solve by substituting -- Error messages and warnings -- Catchword index | |
ISBN: | 9781441985569 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Applied mathematics , Engineering mathematics , Mathematics , Applications of Mathematics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1998-9781461217800:ONLINE Show nearby items on shelf |
Title: | Computational Methods for Optimal Design and Control Proceedings of the AFOSR Workshop on Optimal Design and Control Arlington, Virginia 30 September–3 October, 1997 |
Author(s): | |
Date: | 1998 |
Size: | 1 online resource (460 p.) |
Note: | 10.1007/978-1-4612-1780-0 |
Contents: | Optimal Disturbances in Boundary Layers -- MDO - A Mathematical View Point -- Optimization Using Surrogate Objectives on a Helicopter Test Example -- Observations in Adaptive Refinement Strategies for Optimal Design -- The Simplex |
Gradient and Noisy Optimization Problems -- Adjoint-Based Methods in Aerodynamic Design Optimization -- Semi-Automatic Differentiation -- Robust Reduced-Order Controller of Transitional Boundary Layers -- Modern Optimization Methods | |
for Structural Optimization under Flutter Constraints -- On Shape Optimization and Related Issues -- Using Sensitivities for Flow Analysis -- Sensitivities in Computational Methods for Optimal Flow Control -- Fictitious Domain | |
Approaches in Shape Optimization -- Process Modeling and Optimization: Issues and Challenges -- Automatic Differentiation and Navier-Stokes Computations -- Numerical Computation of Sensitivities and the Adjoint Approach -- | |
Sensor/Actuator Placement via Optimal Distributed Control of Exterior Stokes Flow -- Fast Bounds for Outputs of Partial Differential Equations -- A Comparison of Local and Global Projections in Design Sensitivity Computations -- | |
Gradients, Curvature, and Visual Tracking -- Adjoint Methods for Inverse Free Convection Problems with Application to Solidification Processes -- Shape Differential Equation with a Non Smooth Field | |
ISBN: | 9781461217800 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Progress in Systems and Control Theory : 24 |
Keywords: | Engineering , System theory , Computer mathematics , Applied mathematics , Engineering mathematics , Engineering , Appl.Mathematics/Computational Methods of Engineering , Computational Mathematics and Numerical Analysis , Systems Theory, Control , Computational Science and Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1997-9781461240464:ONLINE Show nearby items on shelf |
Title: | Introduction to the Theory of Stability |
Author(s): |
David R Merkin |
Date: | 1997 |
Size: | 1 online resource (320 p.) |
Note: | 10.1007/978-1-4612-4046-4 |
Contents: | 1 Formulation of the Problem -- 1.1 Basic Definitions -- 1.2 Equations of Perturbed Motion -- 1.3 Examples of Derivation of Equations of a Perturbed Motion -- 1.4 Problems -- 2 The Direct Liapunov Method. Autonomous Systems -- 2.1 |
Liapunov Functions. Sylvester’s Criterion -- 2.2 Liapunov’s Theorem of Motion Stability -- 2.3 Theorems of Asymptotic Stability -- 2.4 Motion Instability Theorems -- 2.5 Methods of Obtaining Liapunov Functions -- 2.6 Application of | |
Liapunov’s Theorem -- 2.7 Application of Stability Theorems -- 2.8 Problems -- 3 Stability of Equilibrium States and Stationary Motions of Conservative Systems -- 3.1 Lagrange’s Theorem -- 3.2 Invertibility of Lagrange’s Theorem -- 3.3 | |
Cyclic Coordinates. The Routh Transform -- 3.4 Stationary Motion and Its Stability Conditions -- 3.5 Examples -- 3.6 Problems -- 4 Stability in First Approximation -- 4.1 Formulation of the Problem -- 4.2 Preliminary Remarks -- 4.3 | |
Main Theorems of Stability in First Approximation -- 4.4 Hurwitz’s Criterion -- 4.5 Examples -- 4.6 Problems -- 5 Stability of Linear Autonomous Systems -- 5.1 Introduction -- 5.2 Matrices and Basic Matrix Operations -- 5.3 Elementary | |
Divisors -- 5.4 Autonomous Linear Systems -- 5.5 Problems -- 6 The Effect of Force Type on Stability of Motion -- 6.1 Introduction -- 6.2 Classification of Forces -- 6.3 Formulation of the Problem -- 6.4 The Stability Coefficients -- | |
6.5 The Effect of Gyroscopic and Dissipative Forces -- 6.6 Application of the Thomson-Tait-Chetaev Theorems -- 6.7 Stability Under Gyroscopic and Dissipative Forces -- 6.8 The Effect of Nonconservative Positional Forces -- 6.9 | |
Stability in Systems with Nonconservative Forces -- 6.10 Problems -- 7 The Stability of Nonautonomous Systems -- 7.1 Liapunov Functions and Sylvester Criterion -- 7.2 The Main Theorems of the Direct Method -- 7.3 Examples of | |
Constructing Liapunov Functions -- 7.4 System with Nonlinear Stiffness -- 7.5 Systems with Periodic Coefficients -- 7.6 Stability of Solutions of Mathieu-Hill Equations -- 7.7 Examples of Stability Analysis -- 7.8 Problems -- 8 | |
Application of the Direct Method of Liapunov to the Investigation of Automatic Control Systems -- 8.1 Introduction -- 8.2 Differential Equations of Perturbed Motion of Automatic Control Systems -- 8.3 Canonical Equations of Perturbed | |
Motion of Control Systems -- 8.4 Constructing Liapunov Functions -- 8.5 Conditions of Absolute Stability -- 9 The Frequency Method of Stability Analysis -- 9.1 Introduction -- 9.2 Transfer Functions and Frequency Characteristics -- 9.3 | |
The Nyquist Stability Criterion for a Linear System -- 9.4 Stability of Continuously Nonlinear Systems -- 9.5 Examples -- 9.6 Problems -- References | |
ISBN: | 9781461240464 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Texts in Applied Mathematics: 24 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Mathematics , Analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9781468404845:ONLINE Show nearby items on shelf |
Title: | Introduction to Maple |
Author(s): |
André Heck |
Date: | 1996 |
Edition: | Second Edition |
Note: | 10.1007/978-1-4684-0484-5 |
Contents: | 1 Introduction to Computer Algebra -- 1.1 What is Computer Algebra? -- 1.2 Computer Algebra Systems -- 1.3 Some Properties of Computer Algebra Systems -- 1.4 Advantages of Computer Algebra -- 1.5 Limitations of Computer Algebra -- 1.6 |
Design of Maple -- 2 The First Steps: Calculus on Numbers -- 2.1 Getting Started -- 2.2 Getting Help -- 2.3 Integers and Rational Numbers -- 2.4 Irrational Numbers and Floating-Point Numbers -- 2.5 Algebraic Numbers -- 2.6 Complex | |
Numbers -- 2.7 Exercises -- 3 Variables and Names -- 3.1 Assignment and Unassignment -- 3.2 Evaluation -- 3.3 Names of Variables -- 3.4 Basic Data Types -- 3.5 Attributes -- 3.6 Properties -- 3.7 Exercises -- 4 Getting Around with | |
Maple -- 4.1 Maple Input and Output -- 4.2 The Maple Library -- 4.3 Reading and Writing Files -- 4.4 Importing and Exporting Numerical Data -- 4.5 Low-Level I/O -- 4.6 Code Generation -- 4.7 Changing Maple to Your Own Taste -- 4.8 | |
Exercises -- 5 Polynomials and Rational Functions -- 5.1 Univariate Polynomials -- 5.2 Multivariate Polynomials -- 5.3 Rational Functions -- 5.4 Conversions -- 5.5 Exercises -- 6 Internal Data Representation and Substitution -- 6.1 | |
Internal Representation of Polynomials -- 6.2 Generalized Rational Expressions -- 6.3 Substitution -- 6.4 Exercises -- 7 Manipulation of Polynomials and Rational Expressions -- 7.1 Expansion -- 7.2 Factorization -- 7.3 Canonical Form | |
and Normal Form -- 7.4 Normalization -- 7.5 Collection -- 7.6 Sorting -- 7.7 Exercises -- 8 Functions -- 8.1 Mathematical Functions -- 8.2 Arrow Operators -- 8.3 Piecewise Defined Functions -- 8.4 Maple Procedures -- 8.5 Recursive | |
Procedure Definitions -- 8.6 unapply -- 8.7 Operations on Functions -- 8.8 Anonymous Functions -- 8.9 Exercises -- 9 Differentiation -- 9.1 Symbolic Differentiation -- 9.2 Automatic Differentiation -- 9.3 Exercises -- 10 Integration | |
and Summation -- 10.1 Indefinite Integration -- 10.2 Definite Integration -- 10.3 Numerical Integration -- 10.4 Integral Transforms -- 10.5 Assisting Maple’s Integrator -- 10.6 Summation -- 10.7 Exercises -- 11 Series, Approximation, | |
and Limits -- 11.1 Truncated Series -- 11.2 Approximation of Functions -- 11.3 Power Series -- 11.4 Limits -- 11.5 Exercises -- 12 Composite Data Types -- 12.1 Sequence -- 12.2 Set -- 12.3 List -- 12.4 Array -- 12.5 Table -- 12.6 Last | |
Name Evaluation -- 12.7 Function Call -- 12.8 Conversion Between Composite Data Types -- 12.9 Exercises -- 13 The Assume Facility -- 13.1 The Need for an Assume Facility -- 13.2 Basics of assume -- 13.3 An Algebra of Properties -- 13.4 | |
Implementation of assume -- 13.5 Exercises -- 13.6 Hierarchy of Properties -- 14 Simplification -- 14.1 Automatic Simplification -- 14.2 expand -- 14.3 combine -- 14.4 simplify -- 14.5 convert -- 14.6 Trigonometric Simplification -- | |
14.7 Simplification w.r.t. Side Relations -- 14.8 Control Over Simplification -- 14.9 Defining Your Own Simplification Routines -- 14.10 Exercises -- 14.11 Simplification Chart -- 15 Graphics -- 15.1 Some Basic Two-Dimensional Plots -- | |
15.2 Options of plot -- 15.3 The Structure of Two-Dimensional Graphics -- 15.4 The plottools Package -- 15.5 Special Two-Dimensional Plots -- 15.6 Two-Dimensional Geometry -- 15.7 Plot Aliasing -- 15.8 A Common Mistake -- 15.9 Some | |
Basic Three-Dimensional Plots -- 15.10 Options of plot3d -- 15.11 The Structure of Three-Dimensional Graphics -- 15.12 Special Three-Dimensional Plots -- 15.13 Data Plotting -- 15.14 Animation -- 15.15 List of Plot Options -- 15.16 | |
Exercises -- 16 Solving Equations -- 16.1 Equations in One Unknown -- 16.2 Abbreviations in solve -- 16.3 Some Difficulties -- 16.4 Systems of Equations -- 16.5 The Gröbner Basis Method -- 16.6 Inequalities -- 16.7 Numerical Solvers -- | |
16.8 Other Solvers in Maple -- 16.9 Exercises -- 17 Differential Equations -- 17.1 First Glance at ODEs -- 17.2 Analytic Solutions -- 17.3 Taylor Series Method -- 17.4 Power Series Method -- 17.5 Numerical Solutions -- 17.6 DEtools -- | |
17.7 Perturbation Methods -- 17.8 Partial Differential Equations -- 17.9 Lie Point Symmetries of PDEs -- 17.10 Exercises -- 18 Linear Algebra: The linalg Package -- 18.1 Loading the linalg Package -- 18.2 Creating New Vectors and | |
Matrices -- 18.3 Vector and Matrix Arithmetic -- 18.4 Basic Matrix Functions -- 18.5 Structural Operations -- 18.6 Vector Operations -- 18.7 Standard Forms of Matrices -- 18.8 Exercises -- 19 Linear Algebra: Applications -- 19.1 | |
Kinematics of the Stanford Manipulator -- 19.2 A Three-Compartment Model of Cadmium Transfer -- 19.3 Molecular-Orbital Hückel Theory -- 19.4 Vector Analysis -- 19.5 Moore-Penrose Inverse -- 19.6 Exercises -- References | |
ISBN: | 9781468404845 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Chemistry, Physical and theoretical , Computer science , Computer graphics , Algebra , Mathematical analysis , Analysis (Mathematics) , Physics , Mathematics , Algebra , Analysis , Theoretical and Computational Chemistry , Symbolic and Algebraic Manipulation , Computer Graphics , Mathematical Methods in Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9781461313656:ONLINE Show nearby items on shelf |
Title: | Fuzzy Modelling Paradigms and Practice |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (394 p.) |
Note: | 10.1007/978-1-4613-1365-6 |
Contents: | 1: Modelling with Fuzzy Sets -- 1.1. Fuzzy Models: Methodology, Design, Applications, and Challenges -- 2: Relational Models -- 2.1. Fundamentals of Fuzzy Relational Calculus -- 2.2. Max-Min Relational Networks -- 2.3. Relational |
Calculus in Designing Fuzzy Petri Networks -- 2.4. Prediction in Relational Models -- 2.5 Implementing A Fuzzy Relational Network For Phonetic Automatic Speech Recognition -- 2.6 Fuzzy Ecological Models -- 3: Fuzzy Neural Networks -- | |
3.1. Fuzzy Neural Networks: Capabilities -- 3.2. Development of Fuzzy Neural Networks -- 3.3. Designing Fuzzy Neural Networks Through Backpropagation -- 4: Rule-Based Modelling -- 4.1. Foundations of Rule-Based Computations in Fuzzy | |
Models -- 4.2. Evolutionary Learning of Rules Competition and Cooperation -- 4.3 Logical Optimization of Rule-Based Models -- 4.4 Interpretation and Completion of Fuzzy Rules -- 4.5 Hyperellipsoidal Clustering -- 4.6. Fuzzy Rule-Based | |
Models in Computer Vision -- 4.7. Forecasting in Rule-Based Systems | |
ISBN: | 9781461313656 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Series in Intelligent Technologies: 7 |
Keywords: | Mathematics , System theory , Mathematical logic , Electrical engineering , Mathematics , Mathematical Logic and Foundations , Systems Theory, Control , Electrical Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9789401100335:ONLINE Show nearby items on shelf |
Title: | High Performance Computing in the Geosciences |
Author(s): | |
Date: | 1995 |
Size: | 1 online resource (261 p.) |
Note: | 10.1007/978-94-011-0033-5 |
Contents: | Performance and Portability in Parallel Computing: a Weather Forecast View -- The New Canadian Variable-Resolution Model: a Universal Tool to Study Atmospheric Phenomena on a Broad Temporal and Spatial Scale -- Experiences with |
Parallel Programming in Meteorology -- Porting the Quasi-Nonhydrostatic Meteorological Model to the Kendall Square Research KSR1 -- Automatic Differentiation, Tangent Linear Models, and (Pseudo-) Adjoints -- Iterative Domain | |
Decomposition Algorithms: Theory and Applications -- Parallel Computing and Operational Sea-Ice Forecasting -- Coupled Ocean-Atmosphere Simulations -- First Considerations about Modelling the Ocean General Circulation on MIMD Machines | |
by Domain Decomposition Method -- Predicibility of the Oceanic Circulations -- Application of Fifth-Order Compact Upwind Differencing to Moisture Transport Equation in AGCM -- A Parallel Algorithm for Simulation of Long Range Transport | |
of Air Pollution -- Multidisciplinary Mathematical Model for Earthquake Prediction Studies -- Basic Functional Representation of Programs for Automatic Differentiation in the Odyssée System -- Translation Tools for High Performance | |
Computing -- Global Atmospheric and Ocean Modeling on the Connection Machine -- Efficiency of a Number of Processors in Integrating a Global Weather Model | |
ISBN: | 9789401100335 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Science Series, Series C: Mathematical and Physical Sciences: 462 |
Keywords: | Earth sciences , Oceanography , Atmospheric sciences , Numerical analysis , System theory , Air pollution , Earth Sciences , Oceanography , Atmospheric Sciences , Systems Theory, Control , Numeric Computing , Atmospheric Protection/Air Quality Control/Air Pollution |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9783642468230:ONLINE Show nearby items on shelf |
Title: | Recent Developments in Optimization Seventh French-German Conference on Optimization |
Author(s): | |
Date: | 1995 |
Size: | 1 online resource (356 p.) |
Note: | 10.1007/978-3-642-46823-0 |
Contents: | Semi-local convergence of the Lagrange-Newton method with application to optimal control -- Intrinsic bounds for Kuhn-Tucker points of perturbed convex programs -- Shape sensitivity analysis of nonsmooth shape functionals -- |
Infinite-horizon problems under holonomic constraints. -- A survey of examples of convex functions and classifications of normed spaces -- Stochastic optimal control and decomposition-coordination methods Part I: Theory -- Stochastic | |
optimal control and decomposition-coordination methods. Part II: Application -- Approximation, inversion and implicit function theorems -- A survey on separability and generalized convexity or generalized monotonicity -- On regularity | |
of optimal control -- Degeneracy, normality, stability in mathematical programming -- A smooth variational principle for vector optimization problems -- Automatic directional differentiation of nonsmooth composite functions -- A | |
Hilbert space approach to some flow problems -- On the critical sets of one-parameter quadratic optimization problems -- On new proximal methods for elliptic variational inequalities (case of symmetric operators) -- On quantitative | |
stability for C1,1 programs -- Linear approximation under infinitely many linear constraints -- Approximation of multifunctions and superlinear convergence -- On the convergence of some iterative methods for convex minimization -- | |
Generalized convexity in the light of nonsmooth analysis -- Fuel mixture nonconvex problem: Solution methods and numerical simulations -- Filtering and control under pointwise in time bounds by the use of central solutions -- On an | |
optimal control problem for chemical reactors -- A generalized sequential formula for subdifferentials of sums of convex functions defined on Banach spaces -- Subdifferentiability, lower semicontinuity and exactness of the level sum of | |
two convex functions on locally convex spaces | |
ISBN: | 9783642468230 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Economics and Mathematical Systems: 429 |
Keywords: | Mathematics , Operations research , Decision making , System theory , Calculus of variations , Economic theory , Mathematics , Calculus of Variations and Optimal Control Optimization , Economic Theory/Quantitative Economics/Mathematical Methods , Operation Research/Decision Theory , Systems Theory, Control |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9781461242727:ONLINE Show nearby items on shelf |
Title: | Finite Horizon H∞ and Related Control Problems |
Author(s): |
M. Bala Subrahmanyam |
Date: | 1995 |
Size: | 1 online resource (122 p.) |
Note: | 10.1007/978-1-4612-4272-7 |
Contents: | 1 Necessary Conditions for Optimality in Problems with Nonstandard Cost Functionals -- 1. Introduction -- 2. Preliminaries -- 3. Necessary Conditions For Optimality -- 4. Cost Functional Of The Form Of A Product -- 5. Certain |
Generalizations -- References -- 2 Synthesis of Suboptimal H? Controllers over a Finite Horizon -- Abstract -- 1. Introduction -- 2. Finite Horizon Problem -- 3. Computation Of $$\tilde \lambda $$ -- 4. A Differential Equation For | |
$$\tilde \lambda $$ -- 5. Examples -- 6. A Suboptimal Feedback Controller -- 7. Conclusions -- References -- 3 General Formulae for Suboptimal H? Control over a Finite Horizon -- Abstract -- 1. Introduction -- 2. Problem Formulation -- | |
3. Full State Feedback Problem -- 4. Output Feedback Controller -- 5. Summary Of Results -- 6. Conclusions -- References -- 4 Finite Horizon H? with Parameter Variations -- Abstract -- 1. Introduction -- 2. Problem Formulation -- 3. | |
Feedback Solutions -- 4. Computation Of Performance -- 5. Performance Variation -- 6. Performance Robustness Problem Solution -- 7. An Example -- 8. Conclusions -- References -- 5 A General Minimization Problem with Application to | |
Performance Robustness in Finite Horizon H? -- Abstract -- 1. Introduction -- 2. Existence Of A Minimizer -- 3. Characterization Of v0 And $$\tilde \lambda $$ -- 4. Variation Of The Minimum Value -- 5. Application To Performance | |
Robustness -- 6. Conclusions -- References -- 6 H? Design of the F/A-18A Automatic Carrier Landing System -- Abstract -- 1. Introduction -- 2. H? Controller Design -- 3. Actuator And Engine Dynamics -- 4. Response To Disturbances -- 5. | |
Conclusions -- References | |
ISBN: | 9781461242727 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , System theory , Mathematics , Systems Theory, Control |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9781461242482:ONLINE Show nearby items on shelf |
Title: | Modeling, Mesh Generation, and Adaptive Numerical Methods for Partial Differential Equations |
Author(s): | |
Date: | 1995 |
Size: | 1 online resource (450 p.) |
Note: | 10.1007/978-1-4612-4248-2 |
Contents: | Week 1 -- NURBS and grid generation -- Coping with degeneracies in Delaunay triangulation -- Geometric approaches to mesh generation -- Refining quadrilateral and brick element meshes -- Automatic meshing of curved three—dimensional |
domains: Curving finite elements and curvature-based mesh control -- Week 2 -- Optimization of tetrahedral meshes -- A class of error estimators based on interpolating the finite element solutions for reaction-diffusion equations -- | |
Accuracy-based time step criteria for solving parabolic equations -- Week 3 -- Adaptive domain decomposition methods for advection-diffusion problems -- LP-posteriori error analysis of mixed methods for linear and quasilinear elliptic | |
problems -- A characteristic-Galerkin method for the Navier-Stokes equations in thin domains with free boundaries -- Parallel partitioning strategies for the adaptive solution of conservation laws -- Adaptive multi-grid method for a | |
periodic heterogeneous medium in 1 ? D -- A knowledge-based approach to the adaptive finite element analysis -- An asymptotically exact, pointwise, a posteriori error estimator for the finite element method with super convergence | |
properties -- A mesh-adaptive collocation technique for the simulation of advection-dominated single- and multiphase transport phenomena in porous media -- Three-step H-P adaptive strategy for the incompressible Navier-Stokes equations | |
-- Applications of automatic mesh generation and adaptive methods in computational medicine -- Solution of elastic-plastic stress analysis problems by the p-version of the finite element method -- Adaptive finite volume methods for | |
time-dependent P.D.E.S -- Superconvergence of the derivative patch recovery technique and a posteriori error estimation | |
ISBN: | 9781461242482 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | The IMA Volumes in Mathematics and its Applications: 75 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Mathematics , Analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1995-9780585280004:ONLINE Show nearby items on shelf |
Title: | Fuzzy Logic and Intelligent Systems |
Author(s): | |
Date: | 1995 |
Size: | 1 online resource (450 p.) |
Note: | 10.1007/b102307 |
Contents: | Improvement of Fuzzy Control Methods -- Neural Networks and Fuzzy Basis Functions for Functional Approximation -- Ordering Fuzzy Real Quantities -- Fuzzy Logic Controllers for Aircraft Flight Control -- A Classical Controller: A |
Special Case of The Fuzzy Logic Controller -- Real Time Fuzzy Logic Controller for Balancing a Beam-and-Ball System -- Design of Fuzzy Controllers Based on Frequency And Transient Characteristics -- Fuzzy Inference Integrating 3D | |
Measuring System with Adaptive Sensing Strategy -- Robot Hand-Eye Coordination Based on Fuzzy Logic -- Using FPGA Technique for Design and Implementation of a fuzzy Inference System -- An Empirical Analysis of One Type of Direct | |
Adaptive Fuzzy Control -- Automatic Optimal Design of Fuzzy Systems Based on Universal Approximation and Evolutionary Programming -- Intelligent Control Using Dynamic Neural Networks with Robotic Applications -- Camcorder Operation | |
Judgement Using a Neural Computing Approach -- Model Reduction and Control of Multistage Flash (MSF) Desalinization Plants | |
ISBN: | 9780585280004 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Series in Intelligent Technologies: 3 |
Keywords: | Mathematics , Operations research , Decision making , Computer science , Artificial intelligence , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Operation Research/Decision Theory , Computer Science, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1994-9783709193464:ONLINE Show nearby items on shelf |
Title: | Robotics in Alpe-Adria Region Proceedings of the 2nd International Workshop (RAA ’93), June 1993, Krems, Austria |
Author(s): | |
Date: | 1994 |
Size: | 1 online resource (230 p.) |
Note: | 10.1007/978-3-7091-9346-4 |
Contents: | Surveys -- Robotics Research in Austria -- Considerations on Objectives, Tasks and Organisation of Alpe-Adria Centre for Robotics and Automation -- Advanced Control Concepts for Industrial Robots -- IMProvement in Automation and |
Control Technology — A Joint European Initiative -- Robotics Research in Alpe Adria -- Research Activities in Robotics at RISC — Linz -- Applied Robotics Group Research Activities at the ITIA — Institute for Industrial Technologies and | |
Automation of CNR -- Robotic Research at the Scientific Academy of Lower Austria -- Robot Kinematics and Kinetics -- Robot Wrist Configurations, Mechanisms and Kinematics -- Parallel Evaluation of Robot Kinematic Transformations -- | |
Robot Arm Modelling and Control -- Dynamic Model of a Mobile Robot for Analyzing End-effector Deviations Caused from Ground Unevenness -- Construction, Design and Simulation of Robots -- Considerations for the Construction of | |
Lightweight Robots -- Design and Construction of a Modular Robot with Eulerian Joints -- Design of SCARA Robot -- Design and Measures for Lightweight Industrial Robots -- Designing Manipulators for a Robotized Manufacturing -- Optimal | |
Stochastic Design of a Parallel Robot for Tolerance -- USIS — an Advanced 3D-Robot Simulation System -- Emulation of Articulated Robots -- ALMORO — Symbolic Robot Dynamics Customizer -- Techniques to Improve the Performance of an | |
Industrial SCARA Robot -- Robot Control -- Experimental Multiprocessor Robot Controller -- Implementation of a Low Cost Robot Controller PC-ROBOCONT on Hydraulic Robot for Spray Painting G-201 -- Robust Adaptive Lyapunov — based Robot | |
Control -- Stability of Hybrid Position/Force Control Scheme during Free Motion -- Sensors and Mobile Robots -- Recognition of Three-dimensional Objects Using Two-dimensional Subspaces Gained by Intersections -- Multi-sensor Technique | |
for Increasing Intelligence of Assembly Robots -- Design of a Planetary Leg Mechanism Using Chebyshev’s Optimization Method -- A New Hybrid Locomotion Mobile Robot for Semi-structured Environments -- Commanding a Robot by Voice: Speech | |
and Autonomous Navigation for the Mobile Robot of MAIA -- Applications -- Robot Welding of Tubes -- CAD for Robot Workcells in Battery Manufacturing -- An Automatic Control on Band Saw Tool Vibrations in the Primar Cutting Process -- | |
Low Cost CAD/CAM-coupling Applications of Artificial Intelligence to Robotic Assembly -- Robots in Manufacturing Cells -- Scheduling in Flexible Manufacturing Systems, Supported through Cyclic Net Analysis -- Computer Aided Planning of | |
Robotized Assembly Systems -- A User-friendly Software Tool for the Semiautomatic Design of Small Assembly Cells -- Data Structures and Procedures for Computer Representation of Robot Cells -- Robots in Testing -- Robot Guided | |
Anthropoidic Measuring Device -- Circular Test: a New Method for Testing Industrial Robots -- A Low Cost Robot System for Stylus and Workpiece Manipulation in Computer Aided Quality Control -- Low Cost Automated Measuring System for | |
Circularity Measurements -- Rationalization of the CAD Data Management in Quality Assurance Systems -- Various Aspects -- Modular Parallel Gripper System -- Robotics in Transportation | |
ISBN: | 9783709193464 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Computer-aided engineering , Mechanics , Engineering design , Control engineering , Robotics , Mechatronics , Physics , Mechanics , Engineering Design , Control, Robotics, Mechatronics , Computer-Aided Engineering (CAD, CAE) and Design |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1994-9783642511752:ONLINE Show nearby items on shelf |
Title: | New Approaches in Classification and Data Analysis |
Author(s): | |
Date: | 1994 |
Size: | 1 online resource (693 p.) |
Note: | 10.1007/978-3-642-51175-2 |
Contents: | Classification and Clustering: Problems for the Future -- From classifications to cognitive categorization: the example of the road lexicon -- A review of graphical methods in Japan—from histogram to dynamic display -- New Data and |
New Tools: A Hypermedia Environment for Navigating Statistical Knowledge in Data Science -- On the logical necessity and priority of a monothetic conception of class, and on the consequent inadequacy of polythetic accounts of category | |
and categorization -- Research and Applications of Quantification Methods in East Asian Countries -- Algorithms for a geometrical P.C.A. with the L1-norm -- Comparison of hierarchical classifications -- On quadripolar Robinson | |
dissimilarity matrices -- An Ordered Set Approach to Neutral Consensus Functions -- From Apresjan Hierarchies and Bandelt-Dress Weak hierarchies to Quasi-hierarchies -- Spanning trees and average linkage clustering -- Adjustments of | |
tree metrics based on minimum spanning trees -- The complexity of the median procedure for binary trees -- A multivariate analysis of a series of variety trials with special reference to classification of varieties -- Quality control | |
of mixture. Application: The grass -- Mixture Analysis with Noisy Data -- Locally optimal tests on spatial clustering -- Choosing the Number of Clusters, Subset Selection of Variables, and Outlier Detection in the Standard | |
Mixture-Model Cluster Analysis -- An examination of procedures for determining the number of clusters in a data set -- The gap test: an optimal method for determining the number of natural classes in cluster analysis -- Mode detection | |
and valley seeking by binary morphological analysis of connectivity for pattern classification -- Interactive Class Classification Using Types -- K-means clustering in a low-dimensional Euclidean space -- Complexity relaxation of | |
dynamic programming for cluster analysis -- Partitioning Problems in Cluster Analysis: A Review of Mathematical Programming Approaches -- Clusters and factors: neural algorithms for a novel representation of huge and highly | |
multidimensional data sets -- Graphs and structural similarities -- A generalisation of the diameter criterion for clustering -- Percolation and multimodal data structuring -- Classification and Discrimination Techniques Applied to the | |
Early Detection of Business Failure -- Recursive Partition and Symbolic Data Analysis -- Interpretation Tools For Generalized Discriminant Analysis -- Inference about rejected cases in discriminant analysis -- Structure Learning of | |
Bayesian Networks by Genetic Algorithms -- On the representation of observational data used for classification and identification of natural objects -- Alternative strategies and CATANOVA testing in two-stage binary segmentation -- | |
Alignment, Comparison and Consensus of Molecular Sequences -- An Empirical Evaluation of Consensus Rules for Molecular Sequences -- A Probabilistic Approach To Identifying Consensus In Molecular Sequences -- Applications of Distance | |
Geometry to Molecular Conformation -- Classification of aligned biological sequences -- Use of Pyramids in Symbolic Data Analysis -- Proximity Coefficients between Boolean symbolic objects -- Conceptual Clustering in Structured | |
Domains: A Theory Guided Approach -- Automatic Aid to Symbolic Cluster Interpretation -- Symbolic Clustering Algorithms using Similarity and Dissimilarity Measures -- Feature Selection for Symbolic Data Classification -- Towards | |
extraction method of knowledge founded by symbolic objects -- One Method of Classification based on an Analysis of the Structural Relationship between Independent Variables -- The Integration of Neural Networks with Symbolic Knowledge | |
Processing -- Ordering of Fuzzy k-Partitions -- On the Extension of Probability Theory and Statistics to the Handling of Fuzzy Data -- Fuzzy Regression -- Clustering and Aggregation of Fuzzy Preference Data: Agreement vs. Information | |
-- Rough Classification with Valued Closeness Relation -- Representing proximities by network models -- An Eigenvector Algorithm to Fit lp-Distance Matrices -- A non linear approach to Non Symmetrical Data Analysis -- An Algorithmic | |
Approach to Bilinear Models for Two-Way Contingency Tables -- New Approaches Based on Rankings in Sensory Evaluation -- Estimating failure times distributions from censored systems arranged in series -- Calibration Used as a | |
Nonresponse Adjustment -- Least Squares Smoothers and Additive Decomposition -- High Dimensional Representations and Information Retrieval -- Experiments of Textual Data Analysis at Electricité de France -- Conception of a Data | |
Supervisor in the Prospect of Piloting Management Quality of Service and Marketing -- Discriminant Analysis Using Textual Data -- Recent Developments in Case Based Reasoning: Improvements of Similarity Measures -- Contiguity in | |
discriminant factorial analysis for image clustering -- Exploratory and Confirmatory Discrete Multivariate Analysis in a Probabilistic Approach for Studying the Regional Distribution of Aids in Angola -- Factor Analysis of Medical | |
Image Sequences (FAMIS): Fundamental principles and applications -- Multifractal Segmentation of Medical Images -- The Human Organism—a Place to Thrive for the Immuno-Deficiency Virus -- Comparability and usefulness of newer and | |
classical data analysis techniques. Application in medical domain classification -- The Classification of IRAS Point Sources -- Astronomical classification of the Hipparcos input catalogue -- Group identification and individual | |
assignation of stars from kinematical and luminosity parameters -- Specific numerical and symbolic analysis of chronological series in view to classification of long period variable stars -- Author and Subject Index | |
ISBN: | 9783642511752 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Probabilities , Biomathematics , Statistics , Economic theory , Econometrics , Economics , Economic Theory/Quantitative Economics/Mathematical Methods , Econometrics , Probability Theory and Stochastic Processes , Statistics for Business/Economics/Mathematical Finance/Insurance , Physiological, Cellular and Medical Topics , Statistics for Life Sciences, Medicine, Health Sciences |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1994-9783540484486:ONLINE Show nearby items on shelf |
Title: | Chaotic and Stochastic Behaviour in Automatic Production Lines |
Author(s): |
Max-Olivier Hongler |
Date: | 1994 |
Size: | 1 online resource (90 p.) |
Note: | 10.1007/978-3-540-48448-6 |
Contents: | Vibratory Feeding -- Orienting Devices -- Random Insertion Mechanisms -- Stochastic Buffered Flows -- General Conclusions -- References |
ISBN: | 9783540484486 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Physics Monographs: 22 |
Keywords: | Physics , Mechanics , Statistical physics , Dynamical systems , Control engineering , Robotics , Mechatronics , Engineering economics , Engineering economy , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , Statistical Physics, Dynamical Systems and Complexity , Mechanics , Control, Robotics, Mechatronics , Engineering Economics, Organization, Logistics, Marketing |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1994-9783034884976:ONLINE Show nearby items on shelf |
Title: | Computational Optimal Control |
Author(s): | |
Date: | 1994 |
Size: | 1 online resource (382 p.) |
Note: | 10.1007/978-3-0348-8497-6 |
Contents: | 1 A Survey on Computational Optimal Control -- Issues in the Direct Transcription of Optimal Control Problems to Sparse Nonlinear Programs -- Optimization in Control of Robots -- Large-scale SQP Methods and their Application in |
Trajectory Optimization -- Solving Optimal Control and Pursuit-Evasion Game Problems of High Complexity -- 2 Theoretical Aspects of Optimal Control and Nonlinear Programming -- Continuation Methods In Boundary Value Problems -- Second | |
Order Optimality Conditions for Singular Extremals -- Synthesis of Adaptive Optimal Controls for Linear Dynamic Systems -- Control Applications of Reduced SQP Methods -- Time Optimal Control of Mechanical Systems -- 3 Algorithms for | |
Optimal Control Calculations -- Second Order Algorithm for Time Optimal Control of a Linear System -- An SQP-type Solution Method for Constrained Discrete-Time Optimal Control Problems -- Numerical Methods for Solving Differential | |
Games, Prospective Applications to Technical Problems -- Construction of the Optimal Feedback Controller for Constrained Optimal Control Problems with Unknown Disturbances -- Repetitive Optimization for Predictive Control of Dynamic | |
Systems under Uncertainty -- Optimal Control of Multistage Systems Described by High-Index Differential-Algebraic Equations -- A New Class of a High Order Interior Point Method for the Solution of Convex Semiinfinite Optimization | |
Problems -- A Structured Interior Point SQP Method for Nonlinear Optimal Control Problems -- 4 Software for Optimal Control Calculations -- Automated Approach for Optimizing Dynamic Systems -- ANDECS: A Computation Environment for | |
Control Applications of Optimization -- Application of Automatic Differentiation to Optimal Control Problems -- OCCAL: A mixed symbolic-numeric Optimal Control CALculator -- 5 Applications of Optimal Control -- A Robotic Satellite with | |
Simplified Design -- Nonlinear Control under Constraints of a Biological System -- An Object-Oriented Approach to Optimally Describe and Specify a SCADA System Applied to a Power Network -- Near-Optimal Flight Trajectories Generated by | |
Neural Networks -- Performance of a Feedback Method with Respect to Changes in the Air-Density during the Ascent of a Two-Stage-To-Orbit Vehicle -- Linear Optimal Control for Reentry Flight -- Steady-State Modelling of Turbine Engine | |
with Controllers -- Shortest Paths for Satellite Mounted Robot Manipulators -- Optimal Control of the Industrial Robot Manutec r3 | |
ISBN: | 9783034884976 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | ISNM International Series of Numerical Mathematics : 115 |
Keywords: | Engineering , Chemometrics , System theory , Calculus of variations , Computational intelligence , Control engineering , Economic theory , Engineering , Control , Systems Theory, Control , Calculus of Variations and Optimal Control Optimization , Economic Theory/Quantitative Economics/Mathematical Methods , Math. Applications in Chemistry , Computational Intelligence |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1993-9781461203490:ONLINE Show nearby items on shelf |
Title: | Advances in Nonlinear Dynamics and Control: A Report from Russia |
Author(s): | |
Date: | 1993 |
Size: | 1 online resource (278 p.) |
Note: | 10.1007/978-1-4612-0349-0 |
Contents: | The Decomposition of Controlled Dynamic Systems -- A Differential Game for the Minimax of a Positional Functional -- Global Methods in Optimal Control Theory -- On the Theory of Trajectory Tubes — a Mathematical Formalism for |
Uncertain Dynamics, Viability and Control -- A Theory of Generalized Solutions to First-Order PDEs with an Emphasis on Differential Games -- Adaptivity and Robustness in Automatic Control Systems | |
ISBN: | 9781461203490 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Progress in Systems and Control Theory : 17 |
Keywords: | Science , Science, general , Science, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1992-9781461569961:ONLINE Show nearby items on shelf |
Title: | First Leaves: A Tutorial Introduction to Maple V |
Author(s): |
Bruce W Char |
Date: | 1992 |
Note: | 10.1007/978-1-4615-6996-1 |
Contents: | One Interactive Use of Maple -- 1.1 The user interface and the computational engine -- 1.2 Getting started -- 1.3 Starting a Maple session: how Maple behaves interactively -- 1.4 Simple arithmetic in Maple -- 1.5 Fixing mistakes -- |
1.6 help yourself to more of Maple -- 1.7 Parentheses and the priority of arithmetic operations -- 1.8 Ending a Maple session -- 1.9 Maple variables -- 1.10 Built-in commands for mathematical computation -- 1.11 Introducing Maple’s | |
mathematical commands -- 1.12 Using Maple as a numerical calculator -- 1.13 Graphing and plotting functions on screen and on paper -- 1.14 More about syntax errors -- 1.15 You ask too much! (Run-time errors) -- 1.16 Interrupting a | |
Maple computation -- 1.17 Printing values: print and lprint -- 1.18 Defining simple functions in Maple -- 1.19 Automatic simplification -- 1.20 Simplifying expressions with simplify -- 1.21 Maple’s commands for calculus -- 1.22 | |
Computing sums -- 1.23 Solving recurrence relations with rsolve -- 1.24 Other commands for solving, and other mathematical functions -- Two Less Simple Maple -- 2.1 A few words to experienced programmers -- 2.2 Programming variables | |
and mathematical symbols -- 2.3 More on simplification: specialized simplification commands -- 2.4 Full and delayed evaluation -- 2.5 Quotation and unevaluation -- 2.6 Using quoted variables as function arguments -- 2.7 Concatenation — | |
forming new names from old -- 2.8 Looking at parts of expressions — op, nops, coeff -- 2.9 Expression sequences, sets, and lists -- 2.10 Tables and arrays — indexed collections of data -- 2.11 Converting from one structure to another | |
-- 2.12 The map function: performing the same operation on all elements of a data structure -- 2.13 Linear algebra in Maple -- 2.14 alias for changing the names of built-in functions and mathematical symbols -- 2.15 Saving the state of | |
your Maple session -- 2.16 Recording results in files in human-readable format -- 2.17 Access to additional library procedures -- 2.18 Other formats for output: fortran, latex, and eqn -- Three The Maple Programming Language -- 3.1 | |
Repetition while you wait -- 3.2 Repetition for each one -- 3.3 Conditional execution with if-then-else-fi -- 3.4 break and next: control within for-while loops -- 3.5 Simple Maple procedures -- 3.6 Maple procedures — multiple | |
statements, local variables, RETURN -- 3.7 Using error — exiting several procedures at once -- 3.8 Checking types: writing safer programs -- 3.9 Nested types and structured types -- 3.10 Remembering function values -- 3.11 Functional | |
operators -- 3.12 Packages in Maple -- 3.13 Your Maple initialization file -- 3.14 Creating help for your procedures -- 3.15 Creating your own library -- 3.16 Creating and debugging Maple programs -- 3.17 Viewing Maple library source | |
code -- 3.18 Calling Maple from programs written in other languages -- Four Advanced Graphics -- 4.1 More on plot -- 4.2 Plotting in three dimensions: graphing surfaces -- 4.3 Plotting functional expressions with plot and plot3d -- | |
Five Measuring and improving performance -- 5.1 Monitoring time and space consumed during a computation -- 5.2 Garbage collection and gc -- 5.3 Querying the state of the system through status -- 5.4 Profiling the performance of Maple | |
programs -- 5.5 Using option remember to improve performance -- 5.6 Faster floating-point computation -- Six Advanced Examples -- 6.1 Introduction -- 6.2 Balancing chemical reactions -- 6.3 Maxwell’s formula for the velocity of a gas | |
sample -- 6.4 Critical length of a rod -- 6.5 Zeros of Bessel functions -- 6.6 Stock market analysis through linear algebra -- 6.7 Primitive trinomials -- 6.8 Computations on the 3n +1 conjecture -- 6.9 A numerical approximation | |
problem -- 6.10 Reading more about Maple problem-solving techniques -- Seven Global access to Maple information -- 7.1 New users’ problems -- 7.2 The community of Maple users -- 7.3 What to do when the answer seems wrong -- 7.4 | |
Electronic access to user-contributed Maple software -- 7.5 Maple publications -- Conclusion -- A Bibliography -- B Books and articles for Maple users -- B.1 Some books for Maple users -- B.2 Some research articles on Maple and its | |
usage | |
ISBN: | 9781461569961 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Algorithms , Mathematics , Algorithms |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1991-9789401132220:ONLINE Show nearby items on shelf |
Title: | Nonparametric Functional Estimation and Related Topics |
Author(s): | |
Date: | 1991 |
Size: | 1 online resource (708 p.) |
Note: | 10.1007/978-94-011-3222-0 |
Contents: | I. Curve and Functional Estimation -- Reproducing Kernels and Finite Order Kernels -- Laws of the Iterated Logaritm for Density Estimators -- Exponential Inequalities in Nonparametric Estimation -- Conservative Confidence Bands for |
Nonparametric Regression -- Data-Adaptive Kernel Estimation -- On the Nonparametric Estimation of the Entropy Functional -- II. Curve and Functional Estimation (Continued) -- Analysis of Samples of Curves -- Bootstrap Methods in | |
Nonparametric Regression -- On the Influence Function of Maximum Penalized Likelihood Density Estimators -- Nonparametric Curve Estimation and Simple Curve Characteristics -- Applications of Multiparameter Weak Convergence for Adaptive | |
Nonparametric Curve Estimation -- On Asymptotic Efficiency of Average Derivative Estimates -- Nonparametric Estimation of Elliptically Contoured Densities -- Uniform Deconvolution: Nonparametric Maximum Likelihood and Inverse | |
Estimation -- III. Parameter Selection, Smoothing -- Smoothing Parameter Selection in Image Restoration -- Estimating the Quantile-Density Function -- Data-Driven Smoothing Based on Convexity Properties -- Prospects for Automatic | |
Bandwidth Selection in Extensions to Basic Kernel Density Estimation -- Root n Bandwidth Selection -- Estimating Smooth Distribution Functions -- Smoothing Techniques in Time Series Analysis -- IV. Regression Models -- Nonparametric | |
Inference in Heteroskedastic Regression -- Bounded Influence Regression in the Presence of Heteroskedasticity of Unknown Form -- Linear Regression with Randomly Right-Censored Data Using Prior Nonparametric Estimation -- Universal | |
Consistencies of a Regression Estimate for Unbounded Regression Functions -- Minimax Bayes Estimation, Penalized Likelihood Methods, and Restricted Minimax Estimation -- On Exponential Bounds on the Bayes Risk of the Nonparametric | |
Classification Rules -- Nonparametric Regression Analysis of Some Economic Data -- V. Dependent Data -- Nonparametric Regression Methods for Repeated Measurements -- Nonparametric Prediction for Unbounded Almost Stationary Processes -- | |
Monte Carlo and Turbulence -- Kernel Density Estimation Under a Locally Mixing Condition -- Nonparametric Estimation of Survival Functions Under Dependent Competing Risks -- Estimation of Transition Distribution Function and Its | |
Quantiles in Markov Processes: Strong Consistency and Asymptotic Normality -- L1 Strong Consistency for Density Estimates in Dependent Samples -- VI. Time Series Analysis, Signal Detection -- Nonparametric Statistical Signal Detection | |
Problems -- Functional Identification in Nonlinear Time Series -- Modelization, Nonparametric Estimation and Prediction for Continuous Time Processes -- Estimation of Chaotic Dynamic Systems with Control Variables -- Nonparametric | |
Estimation of a Class of Nonlinear Time Series Models -- Semiparametric and Nonparametric Inference from Irregular Observations on Continuous Time Stochastic Processes -- VII. Various Topics -- Complexity Regularization with | |
Application to Artificial Neural Networks -- Designing Prediction Bands -- Analysis of Observational Studies from the Point of View of Nonparametric Regression -- Some Issues in Cross-Validation -- Nonparametric Function Estimation | |
Involving Errors-in-Variables -- VII. Various Topics (Continued) -- A Consistent Goodness of Fit Test Based on the Total Variation Distance -- On a Problem in Semiparametric Estimation -- On the Integrable and Approximately Integrable | |
Linear Statistical Models -- Nonparametric Techniques in Image Estimation -- Regularized Deconvolution on the Circle and the Sphere -- List of Attendants -- Contributed Papers | |
ISBN: | 9789401132220 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO ASI Series, Series C: Mathematical and Physical Sciences: 335 |
Keywords: | Mathematics , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistical Theory and Methods |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1991-9789400907034:ONLINE Show nearby items on shelf |
Title: | Proceedings of the Fourth European Conference on Mathematics in Industry |
Author(s): | |
Date: | 1991 |
Size: | 1 online resource (448 p.) |
Note: | 10.1007/978-94-009-0703-4 |
Contents: | Invited Lectures -- On a Mathematical Model for the Crystallization of Polymers -- Remarks on New Mathematical Problems Arising in the Context of Information Technology -- Time Division Multiple Access Systems and Matrix Decomposition |
-- Fresh Breeze around the Ivory Tower — Current Trends in Austrian Higher Education -- Determination of the Transient Thermal Behaviour of Thyristors with Cooling Devices (abstract) -- Mathematics for Industry -- Mathematical Problems | |
in Research at HILTI -- Minisymposium: Steel Processing -- Water Droplet Cooling of Galvanised Iron -- A Mathematical Model for the Calculation of Cooling Criteria for Round Bloom -- Automatic Secondary Cooling Control for the | |
Continuous Casting Process of Steel -- Some Problems of Identification and Control Arising from Cooling Rolled Wires -- Minisymposium: Chemical Engineering -- Numerical Simulation of Emulsion Liquid Membrane Permeation -- The Lay-out | |
of Reactive Extractors -- The Simulation of a Co-Current Bubble Reactor -- A Numerical Model for Calculation of a Counter Current Heat Exchanger -- Contributed Lectures -- Modelling Oxygen Supply in Spheroids of Tumor Cells -- On a | |
Numerical Method for Variable Heat Flow through External Walls -- Optimization of a Solar Domestic Hot-Water System -- The Fluttering of Fibres in Airspinning Processes -- A Numerical Model for Electromagnetic Casters -- On Consistent | |
Initialization of Differential-Algebraic Equations with Discontinuities -- On the Generation of Optical Solitons -- Mathematical Models for the Diffusion of Innovations -- Image Segmentation by Minimum Information Loss (abstract) -- A | |
Brief Mathematical Analysis of Electrochemical Machining Problems -- A Mathematical Model for the Production of Bimetallic Strip -- Computing Guaranteed Error Bounds for Problems in Renewal Theory -- Threshold Accepting Algorithms for | |
0–1 Knapsack Problems -- Digital Topology in Document Processing -- Modelling the Rheology of a Coal-Water Slurry -- Nonorthogonal Expansions of Signals and Some of their Applications (abstract) -- Two-Phase Flow Methodology and | |
Modelling -- Maximum Expected Information (MEI) Discretization Method for Spatial Data Analysis (abstract) -- Automatic Mesh Generation for 3D Domains with Application in Fluid Mechanics, Structures, Electrotechnics and Aerospace | |
Problems -- Quality Control of Artificial Fabrics (abstract) -- Developing a Unidimensional Simulation Model for Producing Silicon in an Electric Furnace -- Numerical Study of the Nonlinear Barotropic Instability of Rossby Wave Motion | |
-- The Method of Region Analysis and its Application for Optimal Control Problems of Hydroelectric Power Plants -- Stochastic Modelling of the Dielectric Relaxation in Condensed Matter (abstract) -- A Calculation and Contour Plotting | |
System for Flame Temperatures -- On the Taper Curves in the Forest Industry -- Analytical Three-Dimensional Stress Distribution in the Healthy Hip Joint -- Torsional Vibrations in a Crank Shaft -- An Adaptive Finite Element Method for | |
Stefan Problems -- The Theoretical Ecology of Coccidia with Reference to Poultry Production -- A Dynamic Two-Phase Flow Model for a Purification Plant -- Exchange of Parametric Curve and Surface Geometry between Computer Aided Design | |
Systems -- Fairing of Ship Lines with Mechanical Splines -- Numerical Simulation of the Stretching Behavior of Polymeric Liquids by Nonlinear Volterra Integrodifferential Equations with Boundary Conditions -- 3-D-Fitting of Blades and | |
Vanes -- Development of a Method for Electrical Load Forecasting and its Implementation Using Expert System Techniques -- Fibre Drying -- Optimal Extension of a System of Hydro Energy Storage Plants -- Modelling Separated Flows -- On | |
the Impact of Rigid Bodies with Small Deadrise Angle onto Inviscid, Incompressible Fluid -- B-Spline Library for Mathematical Modelling and Solving of Scientific and Industrial Problems | |
ISBN: | 9789400907034 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | European Consortium for Mathematics in Industry : 6 |
Keywords: | Mathematics , Chemical engineering , System theory , Mathematical models , Applied mathematics , Engineering mathematics , Mechanical engineering , Mathematics , Mathematical Modeling and Industrial Mathematics , Systems Theory, Control , Appl.Mathematics/Computational Methods of Engineering , Mechanical Engineering , Industrial Chemistry/Chemical Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1991-9783034870047:ONLINE Show nearby items on shelf |
Title: | Bifurcation and Chaos: Analysis, Algorithms, Applications |
Author(s): | |
Date: | 1991 |
Size: | 1 online resource (388 p.) |
Note: | 10.1007/978-3-0348-7004-7 |
Contents: | A Complete Bifurcation Scenario for the 2-d Nonlinear Laplacian with Neumann Boundary Conditions on the Unit Square -- The Effect of Fluctuations on the Transition Behavior of a Nonlinear Chemical Oscillator -- Examples of Boundary |
Crisis Phenomenon in Structural Dynamics -- Bifurcation, Pattern Formation and Transition to Chaos in Combustion -- On the Primary and Secondary Bifurcation of Equations Involving Scalar Nonlinearities -- Periodic Solutions Leading to | |
Chaos in an Oscillator with Quadratic and Cubic Nonlinearities -- Turing Structures in Anisotropic Media -- Regular and Chaotic Patterns of Rayleigh-Bénard Convection -- Bifurcations in Slowly Rotating Systems with Spherical Geometry | |
-- An Elastic Model with Continuous Spectrum -- Mechanistic Requirements for Chemical Oscillations -- Envelope Soliton Chans Model for Mechanical System -- Rolling Motion of Ships Treated as Bifurcation Problem -- Normal Forms for | |
Planar Systems with Nilpotent Linear Part -- Two Methods for the Numerical Detection of Hopf Bifurcations -- Automatic Evaluation of First and Higher-Derivative Vectors -- On the Stability of a Spinning Satellite in a Central Force | |
Field -- Codimension Two Bifurcation in an Approximate Model for Delayed Robot Control -- Lacunary Bifurcation of Multiple Solutions of Nonlinear Eigenvalue Problems -- Branches of Stationary Solutions for Parameter-dependent | |
Reaction-Diffusion Systems from Climate Modeling -- A Note on the Detection of Chaos in Medium Sized Time Series -- An Approach for the Analysis of Spatially Localized Oscillations -- On the Application of Invariant Manifold Theory, in | |
particular to Numerical Analysis -- Combined Analytical-Numerical Analysis of Nonlinear Dynamical Systems -- Monotony Methods and Minimal and Maximal Solutions for Nonlinear Ordinary Differential Equations -- Interior Crisis in an | |
Electrochemical System -- Multiple Bifurcation of Free-Convection Flow Between Vertical Parallel Plates -- Description of Chaotic Motion by an Invariant Distribution at the Example of the Driven Duffing Oscillator -- Augmented Systems | |
for Generalized Turning Points -- Numerical Analysis of the Orientability of Homoclinic Trajectories -- Qualitative and Quantitative Behaviour of Nonlinearly Elastic Rings under Hydrostatic Pressure -- Computation of Basins of | |
Attraction for Three Coexisting Attractors -- Controllability of Lorenz Equation -- Spatially Periodic Forcing of Spatially Periodic Oscillators -- Solution Branches at Corank-Two Bifurcation Points with Symmetry -- Two-dimensional | |
Maps Modelling Periodically Driven Strictly Dissipative Oscillators -- On Computing Coupled Turning Points of Parameter-Dependent Nonlinear Equations -- Generating Hopf Bifurcation Formulae with MAPLE -- On a Codimension Three | |
Bifurcation Arising in an Autonomous Electronic Circuit -- Efficient Parallel Computation of Periodic Solutions of Parabolic Partial Differential Equations -- Comparison of Bifurcation Sets of Driven Strictly Dissipative Oscillators -- | |
Echo Waves in Reaction-Diffusion Excitable Systems -- The Local Stability of Inactive Modes in Chaotic Multi-Degree-of-Freedom Systems -- Bifurcations in Dynamic Systems with Dry Friction -- The Approximate Analytical Methods in the | |
Study of Bifurcations and Chaos in Nonlinear Oscillators -- Periodic and Homoclinic Orbits in Conservative and Reversible Systems -- On the Dynamics of a Horizontal, Rotating, Curved Shaft -- Lyapunov Exponents and Invariant Measures | |
of Dynamic Systems -- Computation of Hopf Branches Bifurcating from Takens-Bogdanov Points for Problems with Symmetries | |
ISBN: | 9783034870047 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Series of Numerical Mathematics / Internationale Schriftenreihe zur Numerischen Mathematik / Série Internationale d’Analyse Numérique : 97 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Mathematics , Analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1991-9781475794830:ONLINE Show nearby items on shelf |
Title: | Biologically Inspired Physics |
Author(s): | |
Date: | 1991 |
Size: | 1 online resource (394 p.) |
Note: | 10.1007/978-1-4757-9483-0 |
Contents: | Macromolecules -- Physics from Proteins -- Search and Recognition: Spin Glass Engineering as an Approach to Protein Structure Prediction -- Random Heteropolymers Folding -- DNA Topology -- Correlation Between Structural Conformations |
at Different Levels in Hemoglobin Determined by XANES -- Selective Constraints over DNA Sequence -- The Physics of DNA Electrophoresis -- Membranes -- Recent Developments in the Physics of Fluctuating Membranes -- Vesicle Shapes and | |
Shape Transformations: A Systematic Study -- Theoretical Analysis of Phospholipid Vesicles and Red Blood Cell Shapes and the Effect of External Electric Field -- Lipid Membrane Curvature Elasticity and Protein Function -- Observation | |
of Surface Undulations on the Mesoscopic Length Scale by NMR -- A Possible Correlation Between Fluctuations and Function of a Membrane Protein -- Microphase Separation in Bilayer Membranes -- Morphological Changes in Partially | |
Polymerized Vesicles -- Unbinding Transitions of Polymers or Membranes in Two Dimensions -- Heat-Flux Driven Biomembrane Transport of Matter and Charge -- A Lattice Model for Steric Repulsive Interactions in Phospholipid Systems -- | |
Cellular Structures -- Dynein-Microtubule Interactions -- Cell Movement and Automatic Control -- Dielectric Study of the Hydration Process in Biological Materials -- Photonic Conductivity in Biomaterials in the Frame of Percolation | |
Model -- Networks -- Problems in Theoretical Immunology -- Specialization, Adaptation and Optimization in Dilute Random Attractor Neural Networks -- Computational Strategy in the Premotor Cortex of the Monkey: a Neural Network Model -- | |
Morphogenesis -- Mechanisms of Biological Pattern Formation -- Liquid Crystalline Order in Collagen Networks -- Dynamical Systems -- Physical Approaches to Biological Evolution -- Quantitative Analysis of Selection and Mutation in | |
Self-Replicating RNA -- Disordered Systems and Evolutionary Models -- What Controls the Exocytosis of Neurotransmitter? -- Structure and Function of the Photosynthetic Apparatus -- Relaxational Processes in Frustrated Random Systems: A | |
Spherical-Spin Model -- Crystallography of Composite Flowers: Mode Locking and Dynamical Maps -- Participants -- Authors | |
ISBN: | 9781475794830 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO ASI Series, Series B: Physics: 263 |
Keywords: | Physics , Biophysics , Biological physics , Physics , Biophysics and Biological Physics , Theoretical, Mathematical and Computational Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1989-9783642839573:ONLINE Show nearby items on shelf |
Title: | Advanced Robotics: 1989 Proceedings of the 4th International Conference on Advanced Robotics Columbus, Ohio, June 13–15, 1989 |
Author(s): | |
Date: | 1989 |
Size: | 1 online resource (687 p.) |
Note: | 10.1007/978-3-642-83957-3 |
Contents: | A-1: Hand Design -- On a New Torque Sensor for Compliant Grasp by Robot Fingers with a Tendon Actuation System -- A Learning Mechanism of Control Parameters for The Variable Structure Fuzzy Logic Controller -- B-1: Manipulator |
Kinematics (I) -- On the Inverse Kinematics of Redundant Manipulators: Characterization of the Self-Motion Manifolds -- Symbolic Equation Generation for Manipulators -- An Approach to Manipulator Kinematic Modeling -- A-2: Mobile | |
Robots -- Fundamental Studies of Collision Avoidance Problems Between a Robot and a Moving Obstacle. Part 1 Heuristic Collision Avoidance Techniques and Fundamental Experiments with a Real Robot -- Model and Sensor Based Precise | |
Navigation by an Autonomous Mobile Robot -- Reactive Processes for Mobile Robot Control -- Powered Wheelchair Equipped with Voice Control and Automatic Locomotion -- B-2: Flexible Arm Control -- Nonlinear Decoupling Control/Control of | |
Flexible Robots -- Application and Comparison of On-Line Identification Methods for Flexible Manipulator Control -- Trajectory Shaping for Flexible Manipulators: A Comparative Study -- A-3: Manipulator Dynamics -- An Algorithm for | |
Efficient Computation of Dynamics of Robotic Manipulators -- Calculation of the Minimum Inertial Parameters of Tree Structure Robots -- Parallel Algorithms and Architectures for Manipulator Inverse Dynamics -- B-3: Actuators and | |
Sensors -- Shape Memory Alloy Actuators for Robotic End-Effectors -- An Artificial Muscle Actuator for Robots -- High Precision Mark Position Sensing Device R-HPSD Suitable for 3-D Position Determination in Robotics -- The Ultrasonic | |
Inspection Robot System -- A-4: Multiple-Limb Co-ordination and Legged Locomotion -- An Approach to Simultaneous Control of Trajectory and Interaction forces in Dual Arm Configurations -- Realization of Dynamic Biped Walking Walking | |
Stabilized With Trunk Motion Under Known External Force -- Power System of a Multi-Legged Walking Vehicle -- On the Stability Properties of 2N-Legged Wave Gaits -- B-4: Vision -- Depth Perception for Robots: Structural Stereo from | |
Extended Laplacian-of-Gaussian Features -- Location of the Mobile Robot CENTAURE in a Modelled Environment with PYRAMIDE -- An Auto-Calibration System for Vision-Servoed Robots -- Visual Servoing of a Robot Assembly Task -- A-5: Path | |
Planning and Collision Avoidance -- Computing Moveability Areas of a Robot Among Obstacles Using Octrees -- Determination of the Space Occupied by Moving Links of Manipulators and Linkages -- Collision-Free Path Planning for a | |
Reconfigurable Robot -- Characterizing Repetition in Workcell Applications and the Implications for Sequence Optimization -- B-5: Hybrid Control (I) -- Analysis and Design of a Six Axis Truss Type of Force Sensor -- The Interaction of | |
Robots with Passive Environments: Application to Force Feedback Control -- A-6: Manipulator Kinematics (II) -- The Dynamic Model of a Three Degree of Freedom Parallel Robotic Shoulder Module -- Kinematics of Redundantly Actuated Closed | |
Kinematic Chains -- Identifying the Kinematics of Non-Redundant Serial Chain Manipulators by a Closed-loop Approach -- General Dynamic Formulation of the Force Distribution Equations -- B-6: Cooperative Manipulation -- An Overview of | |
KALI: a System to Program and Control Cooperative Manipulators -- A-7: Hybrid Control (II) -- A Local Solution with Global Characteristics for the Joint Torque Optimization of a Redundant Manipulator -- Joint Compliance Control of the | |
Anthropomorphic Manipulator -- Independent Joint Controllability of Manipulator System -- A Generalized Approach for the Control of Constrained Robots -- B-7: Legged Locomotion and Adaptive Vehicles -- A Study on Walking Robots | |
Controlled with Attitude Sensors -- Development on Walking Robot for Underwater Inspection -- Locomotion of a Machine of a Static Crawler Type: Gait Modelling -- Terrain Adaptive Tracked Vehicle HELIOS-I | |
ISBN: | 9783642839573 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Mechanics , Engineering design , Control engineering , Robotics , Mechatronics , Engineering economics , Engineering economy , Manufacturing industries , Machines , Tools , Physics , Mechanics , Engineering Design , Manufacturing, Machines, Tools , Control, Robotics, Mechatronics , Engineering Economics, Organization, Logistics, Marketing |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1989-9783034891486:ONLINE Show nearby items on shelf |
Title: | Mathematical Models for Phase Change Problems |
Author(s): | |
Date: | 1989 |
Size: | 1 online resource (412 p.) |
Note: | 10.1007/978-3-0348-9148-6 |
Contents: | I — Generalized Phase Changes -- Internal constraints and constitutive laws, by M. Frémond -- Liquid-vapour phase change in porous media, by P. Nicolas -- The Cahn-Hilliard model for the kinetics of phase separation, by C.Elliott -- |
An evolution problem related to shape memory alloys, by P. Colli -- Automatic control of one-dimensional thermomechanical phase transitions, by J. Sprekels -- Irreversible phase changes, by D. Blanchard -- Phase change without sharp | |
interfaces, by A. Fasano and M. Primicerio -- II — Stefan Problems -- The Stefan problem revisited, by J.F. Rodrigues -- Stefan problem with surface tension, by A. Visintin -- On the singularities of one-dimensional Stefan problems | |
with supercooling, by A. Fasano, M. Primicerio, S.D. Howison and J.R. Ockendon -- Kinetic undercooling regularization of supercooled Stefan problems, by S. Howison and Xie W. -- Two-phase Stefan problems with feedback controls, by | |
K.-H. Hoffmann and N. Kenmochi -- Local mesh refinements for two-phase Stefan problems in two space variables, by R.H. Nochetto, M. Paolini and C. Verdi -- Linearization of parabolic free boundary problems, by R.H. Nochetto -- III – | |
Miscellaneous Problems -- Externally induced dissipative collision, by M.M Marques -- Optimal control of systems governed by hemivariational inequalities, by P.D. Panagiotopoulos and J. Haslinger -- A mathematical formulation for a | |
generalized Hertz impact problem, by J.A.C Martins and L. Trabucho -- Free boundary value problems arising in composite masonry structures, by C.C. Baniotopoulos -- On uniqueness for evolution problems with hysteresis, by M. Hilpert -- | |
A diffusion problem with gradient constaint, by L. Santos -- AUTHOR INDEX | |
ISBN: | 9783034891486 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Series of Numerical Mathematics : 88 |
Keywords: | Science , Science , Science, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1989-9781468456462:ONLINE Show nearby items on shelf |
Title: | Data Analysis in Astronomy III |
Author(s): | |
Date: | 1989 |
Size: | 1 online resource (417 p.) |
Note: | 10.1007/978-1-4684-5646-2 |
Contents: | Data Analysis Methods and Tools -- Attractor Reconstruction and Dimensional Analysis of Chaotic Signals -- The Rayleigh Statistic in the Case of Weak Signals -Applications and Pitfalls -- Stability in Factor Analyses with respect to |
Small Perturbations of the Data -- Moving Regression: A Tool for the Statistical and Astrometrical Analyses of Solar Observations -- Multivariate Linear Regression with Self-Estimation of Errors -- Maximum Entropy Image Processing in | |
Gamma-Ray Astronomy -- Search for Bursts of Gamma-Ray Emission from the Crab Pulsar in the COS-B Data by Adaptive Cluster Analysis -- Statistical Restoration of Astronomical Images -- Multidimensional Discrete Signals Description Using | |
Rotation and Scale Invariant Pattern Spectrum -- Applications of Decomposition Algorithm in Clustering Methods -- Clustering Analysis as a Method of Auto-Classification and its Application to the Search for Galaxy Chains in Two | |
Dimensions -- Object Detection and Analysis in Digitised Images: Algorithmic Components and Software Structure -- Automated Classification of Resolved Galaxies -- STSDAS: The Space Telescope Science Data Analysis System -- IRAS | |
Calibration -- Simulation of Large-Scale Astronomical CCD Surveys -- Tests of Reduction and Analysis Algorithms for Astronomical Images -- A Model for the Infrared Space Observatory Photometer -- Algorithms for the Analysis of Data | |
from the Extreme Ultraviolet Explorer -- Analysis of Absorption Lines in Quasar Spectra -- Attitude Determination Using Star Tracker Data -- Artificial Intelligence: What Can It Do for Astronomy ? -- Artificial Intelligence Approaches | |
to Astronomical Observation Scheduling -- OCAPI: An Artificial Intelligence Tool for the Automatic Selection and Control of Image Processing Procedures -- An Expert Assistant Supporting Hubble Space Telescope Proposal Preparation -- | |
Decision Problems in the Search for Periodicities in Gamma-Ray Astronomy -- Rule-Based Description and Plausible Classification of Objects in Digitized Astronomical Images -- Parallelism in Low-Level Computer Vision -A Review -- | |
Performance of the Mesh Architecture in the Analysis of Sparse Images -- Crystal Gazing VI. Updating Computer Technology Projections -- New Frontieres in Astrophysics -- Cosmic Background Radiations -- Cosmic Background Explorer (COBE) | |
Satellite Anisotropy Experiment Data Analysis Techniques -- Some Statistical Problems Encountered in the Analysis of Ultra High Energy Cosmic Ray and Ultra High Energy Gamma Ray Data -- Track Pattern Analysis for Study of Point-Source | |
Air Showers -- Data Analysis and Algorithms for G.W. Antennas -- Detecting Gravitational Waves by Laser Interferometers -- Data Analysis in Neutrino Astronomy -- Participants | |
ISBN: | 9781468456462 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Ettore Majorana International Science Series : 40 |
Keywords: | Physics , Astronomy , Astrophysics , Cosmology , Physics , Astronomy, Astrophysics and Cosmology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1988-9781461387626:ONLINE Show nearby items on shelf |
Title: | Stochastic Differential Systems, Stochastic Control Theory and Applications |
Author(s): | |
Date: | 1988 |
Size: | 1 online resource (609 p.) |
Note: | 10.1007/978-1-4613-8762-6 |
Contents: | Optimality of “full bang to reduce predicted miss” for some partially observed stochastic control problems -- On some approximation techniques in non-linear filtering -- Applications of Homogenization Theory to the control of flexible |
structures -- Control of Markov chains with long-run average cost criterion -- Automatic study in stochastic control -- Some results on Kolmogoroff equations for infinite dimensional stochastic systems -- Hamilton-Jacobi equations with | |
constraints -- An approximate minimum principle for a partially observed Markov chain -- Generalized solutions in the optimal control of diffusions -- Consistency of maximum likelihood and pseudo-likelihood estimators for Gibbs | |
Distributions -- Brownian models of queueing networks with heterogeneous customer populations -- Non-linear filtering — the degenerate case -- The asymptotic behaviour of the maximum likelihood estimates for a class of diffusion | |
processes -- The filtering problem for infinite dimensional stochastic processes -- Stochastic control under finite-fuel constraints -- Recent advances in the theory of stochastic adaptive control -- Almost optimal controls for | |
wideband noise driven systems -- Asymptotic solutions of bandit problems -- Viscosity solutions of second-order equations, stochastic control and stochastic differential games -- On the memory length of the optimal nonlinear filter -- | |
Implementation issues for Markov decision processes -- Navigating and stopping multi-parameter bandit processes -- Bounded variation control of a damped linear oscillator under random disturbances -- The support of the law of a filter | |
in C? topology -- Existence of densities for statistics in the cubic sensor problem -- Piecewise linear filtering -- Quick simulation of excessive backlogs in networks of queues -- On some perturbation problems in optimal stopping and | |
impulse control -- Optimal control of jump-markov processes and viscosity solutions -- An introduction to singular stochastic control -- Scheduling, routing, and flow control in stochastic networks -- Product expansions of exponential | |
Lie Series and the discretization of stochastic differential equations -- A survey of large time asymptotics of simulated annealing algorithms -- Stochastic scheduling on parallel processors and minimization of concave functions of | |
completion times | |
ISBN: | 9781461387626 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | The IMA Volumes in Mathematics and Its Applications: 10 |
Keywords: | Mathematics , System theory , Calculus of variations , Probabilities , Mathematics , Probability Theory and Stochastic Processes , Systems Theory, Control , Calculus of Variations and Optimal Control Optimization |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1988-9781461310259:ONLINE Show nearby items on shelf |
Title: | Advances in Biomedical Measurement |
Author(s): | |
Date: | 1988 |
Size: | 1 online resource (499p p.) |
Note: | 10.1007/978-1-4613-1025-9 |
Contents: | 1 Measurement and Instrumentation -- A Family of Microcomputer Electrocardiographs -- A Personal Computer-Based System for Cardiac Electric Field Investigation in the Clinic and in Research -- Technical Means for Clinical |
Investigations of Brain Bioelectrical Processes -- Microcomputer-Based Objective Visual Field Diagnosis -- A Temperature Sensitive Microelectrode for Measurements in Soft Tissues at the Cellular Level -- Electrical Measurement of Fluid | |
Distribution in Human Legs and Arms and Its Clinical Application -- A New Method for Eliminating Micro-Bubbles in the Extra-Corporial Blood Circulation System -- Measurement of Leg Blood Volume Change by Impedance Plethysmography with | |
Special Reference to Micro-Gravity Simulation Testing -- A Method for Continuous Measurement of Muscle Fibre Conduction Velocity -- A System for Intracranial Pressure Processing and Inter-Pretation in Intensive Care -- Electromagnetic | |
Cardiography: Theory, Clinical and Technical Aspects -- Identification of Average Non-Linear Properties of a Typical Ultrasonic Real-Time Sector Scanner Under More Realistic Conditions -- An Experimental Approach to The Problem of | |
Possible Embryotoxicity Due to Biomedical Ultrasound -- Interaction of Blood with Biomedical Polymers — Some Basic Aspects -- Changes in Vascular Regulation After Implantation of a Total Artificial Heart -- Topographical Methods in | |
Electrocardiological Diagnostics -- Biomagnetic Measurements in Unshielded Environment -- Method for Determining Some Elements of Impedance Plethys-Mography (IPG) Signals to be Used in Automatic Analysis -- Neurostimulation and | |
Neuroprostheses -- 2 Signal and Image Processing -- Detection of Late Potentials of The Heart -- ECG Interpolation Using Taut Cubic Splines -- A Quantitative Estimation of Proximity Between ECG Waveforms -- R@-System — The Software | |
System for Real Biomedical Data Acquisition and Processing with Regard to Clinic and Research -- A First Experience with the Automatic Extraction of Compressed Information from the EEG in Clinical Practice -- Non-Linear Models of Time | |
Series and Applications to Analysis of EEG Signals -- Amplitude and Correlational Mapping of EEG — A Software System -- Foetal Monitoring: Autocorrelation of Ultrasound Foetal Signal in the Device AM-2 -- Analysis of Frequency | |
Properties of Images from Ultrasound Scanners -- Digital Processing of Biomedical Dynamical Images -- Computer Simulation of the Fourier Method of Image Reconstruction from Projections in Tomography -- A Mathematical Model for | |
CT-Reconstruction with Uncertain Data -- 3 Modelling and Simulation -- Development of Minimal Modelling of IVGTT: The Measurement of Glucose Production -- Modelling and Control Properties of the Basal Ganglia -- Identification Problems | |
of a Non-Linear RLC Lung Model During Artificial Ventilation -- Evaluation of Cardiorespiratory Functions During Heart Catheterisation Through Simulation Model Identification -- Computer Modelling of Atrioventricular Nodal Properties | |
-- Simulation of Biological Processes and of Health Care Systems: Methodological Problems -- Model of Electromagnetic Field Distribution in the Human Brain During Electric Stimulation -- 4 Decision Support -- Intelligent | |
Instrumentation in Critical Care Medicine -- ICAR - Intensive Care Expert System -- An Expert System for the Diagnosis and Treatment of Ischaemic Heart Disease: Cardexp -- Search for the Most Discriminative Features of Coronary Heart | |
Disease Using a Branch and Bound Method -- Application of Expert Systems and Simulation Processing in the Physiology of Exercise -- A Program System for Computer-Aided Drug Dosage -- Graphsearch A* Algorithm in Insulin Therapy -- An | |
Expert System for Therapy Management of Type I Diabetic — Diabetex -- Projection of the Prevalence of Type 1 and Type 2 Diabetes -- Computer-Aided Consultation in Gynaecological Health Care Based Upon Medical Expert Knowledge -- | |
Sequential Methods in Medical Decision Making -- Application of Fuzzy Sets in Rheumatology -- Experience from Running the Clinical Information System CIS 1.T -- DPS — A Diagnostic Preventive System -- Transformation of Data to Findings | |
-- Conceptual Modelling in Medical Database Design -- Application of the FEL-Expert Sysem in the Diagnosis of Genetic Diseases -- Methods for the Evaluation of Expert Systems -- Contributors | |
ISBN: | 9781461310259 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Physics , Physics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1986-9789400944145:ONLINE Show nearby items on shelf |
Title: | Mechanical Problems in Measuring Force and Mass Proceedings of the XIth International Conference on Measurement of Force and Mass, Amsterdam, The Netherlands, May 12–16, 1986 Organized by: Netherlands Organization for Applied Scientific Research (TNO) on behalf of IMEKO — Technical Committee o f Measurement of Force and Mass |
Author(s): | |
Date: | 1986 |
Size: | 1 online resource (333 p.) |
Note: | 10.1007/978-94-009-4414-5 |
Contents: | 1. Development of Multicomponent Force Transfer Standards by ONERA for French BNM -- 2. Development, Testing and Specifications of Super Precision Force Transducers for International Comparison Measurements -- 3. Measurement of Force |
by Means of Fiber-Optic Sensors -- 4. Fiber Optic Load Sensor as a Microcomputer Peripheral -- 5. A New Design for 6-Component Force/Torque Sensors -- 6. A Directly Weighing Suspension Balance with Frequency Variant Output -- 7. | |
Microprocessor-Based System for Belt-Scales Dosing of Mixed Feed Components -- 8. A Contribution to the Analysis of Conveyor Belt Weighing Errors -- 9. Feeding Control of Automatic Bagging Scale -- 10. Weighing in Roadvehicles -- 11. | |
In-Motion Weighing Scale and Some Problems of Its Metrological Evaluation -- 12. 6-Component Load Cell for Automobile Wheel -- 13. Measurement Uncertainty in the Determination of Weight and Centre of Gravity of Offshore Modules Using | |
Strain Gauge Load Cells -- 14. The Measurement Method of Big Torque Moments in Drive Shafts -- 15. Movable Electronic Locomotive Scale with Microprocessor -- 16. Improvement of the Weighing Accuracy of a 50 KG Beam Balance -- 17. | |
Decoding of the State of Scales Equilibrium by Microprocessor Scales Terminal -- 18. Application of a New Beam Type Loadcell to Mechanical Hand -- 19. A New Bending Test Method of Leaf Springs -- 20. A Calibration Instrument for Roller | |
Brake Testers -- 21. Characteristic Data of Force Transducers Terms and Definitions -- 22. A Compensating Lever and Its Control System for Compensating the Force of the Frame of a Deadweight Force Standard Machine -- 23. Some | |
Calibration and Test Facilities at VSL -- 24. A Group Verification System for Force Standard Machines Using High Precision Load Cells -- 25. Calibration and Classification of Force Transducers by Using a Traceable Set of | |
High-Performance Facilities -- 26. About the Uncertainty of the Higher Capacity Primary Standard and the Dissimination of Force in the ASMW -- 27. High Accuracy Calibration Methods for Force Transducers -- 28. Evaluation of Parasitic | |
Components on National Deadweight Force Standard Machines -- 29. The Effect of Time Response of Force Transducers on Their Transfer Properties in Force Comparisons -- 30. Calibration and Verification of Multicomponent Dynamometers in | |
the Meganewton Range -- 31. Investigation of the Calibration Signal of Force Measuring Devices -- 32. Eccentric Load Sensitivity of Force Sensors -- 33. Ways for the Removal of the Main Disadvantages of Force Transducers with | |
Semiconductor Strain Gages -- 34. Improving Creep Performance of the Strain Gage Based Load Cell -- 35. Temperature Effect and Compensation of Strain Gage Load Cell -- 36. Pilot Tests to Determine Micro-Elastic Effects in Load Cell | |
Receptor Materials -- 37. Creep of Low-Range-Scales | |
ISBN: | 9789400944145 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | ITC Series No. 8 : 3 |
Keywords: | Physics , Mechanics , Manufacturing industries , Machines , Tools , Physics , Mechanics , Manufacturing, Machines, Tools |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1986-9789400944022:ONLINE Show nearby items on shelf |
Title: | Control of structures |
Author(s): |
H. H. E Leipholz |
Date: | 1986 |
Size: | 1 online resource (413 p.) |
Note: | 10.1007/978-94-009-4402-2 |
Contents: | 1 — Introduction to Structural Control -- 1.1 Introduction -- 1.2 Structural Control -- 1.3 Classification of Structural Control -- 1.4 Elaboration of Vibration Control -- 1.5 Active Control of ODOF Systems -- 1.6 The Control Devices |
-- 1.7 References -- Appendix A — Classical Control Theory -- A. 1 Introduction -- A. 2 Feedback Control Systems -- A. 3 Design of a Control System -- A. 4 References -- 2 — Morphology Of Structural Control -- 2.1 Preliminary Remarks | |
-- 2.2 On the Basics and the Actual Nature of Structural Control Problems -- 2.3 Examples -- 2.4 The Modal Approach -- 2.5 References -- 3 — Automatic Active Control of Simple Span Bridges -- 3.1 Mathematical Models of Simple Span | |
Bridges -- 3.2 Active Control Mechanisms in Bridges -- 3.3 Active Control by Classical Control Methods -- 3.4 Active Structural Control by Pole Assignment Method -- 3.5 Active Structural Control by Optimal Control Methods -- 3.6 Study | |
of Secondary Effects -- 3.7. Optimal Control and Sensors Locations -- 3.8 References -- 4 — Automatic Active Control of Tall Buildings -- 4.1 Introduction -- 4.2 Building Response due to Wind Forces -- 4.3 Active Control of Tall | |
Buildings -- 4.4 Control Using Active Tendons -- 4.5. Control Using Tuned Mass Dampers -- 4.6 Active Control By Means of Appendages -- 4.7 Stochastic Control of Tall Buildings -- 4.8 Control of Tall Buildings Taking Time Delay into | |
Account -- 4.9 Feasibility of Active Control of Tall Buildings -- 4.10 Finding a Practical Control Mechanism for Tall Buildings -- 4.11 References -- 5 — A Review of Methods in the Control of Continuous Systems -- 5.1 Introduction -- | |
5.2 Considerations of Existence and Performance of a Control -- 5.3 A Closed Form Solution to the Control Problem -- 5.4 A Liapunov-Like Assessment of a Spillover-Safe Design -- 5.5 References | |
ISBN: | 9789400944022 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mechanics of Elastic Stability: 11 |
Keywords: | Physics , Mechanics , Civil engineering , Electrical engineering , Physics , Mechanics , Civil Engineering , Electrical Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1986-9781475718959:ONLINE Show nearby items on shelf |
Title: | Adaptive and Learning Systems Theory and Applications |
Author(s): | |
Date: | 1986 |
Size: | 1 online resource (418 p.) |
Note: | 10.1007/978-1-4757-1895-9 |
Contents: | Adaptive Control Theory -- Robust Adaptive Control -- Methods of Averaging for Adaptive Systems -- A Robust Indirect Adaptive Control Approach -- Global Stability of a Direct Adaptive Control Scheme With Respect to a Graph Topology -- |
Robust Discrete-Time Adaptive Control -- Identification and Adaptive Control of Linear Stochastic Systems -- Adaptive Control Applications -- On Practical Implementations of Adaptive Control -- Self Tuning and Adaptive Control of | |
Chemical Processes -- Application of Multivariable Adaptive Control Schemes to Distillation Columns -- The Exact Pattern Recognition Adaptive Controller, a User-Oriented Commercial Success -- Self-Cohering a Large. Distorted Antenna | |
for Microwave Imaging -- Identification of Robot Dynamics: An Application of Recursive Estimation -- Learning Systems -- Recent Developments in Learning Automata -- Learning Automata Models for Adaptive Flow Control in Packet-Switching | |
Networks -- Application of Learning Automata to Image Data Compression -- Cooperativity in Networks of Pattern Recognizing Stochastic Learning Automata -- The Genetic Algorithm Approach: Why. How, and What Next? -- Knowledge Growth in | |
an Artificial Animal -- Control of Flexible Space Structures -- Issues in Control Design for Large Space Structures -- Progress in Adaptive Control of Flexible Spacecraft Using Lattice Filters -- The Search for Appropriate Actuator | |
Distribution Criteria in Large Space Structures Control -- Direct Model Reference Adaptive Control in Infinite-Dimensional Hilbert Space -- Robotics -- A Survey on Advances in the Theory of Computational Robotics -- Continuous Robot | |
Motion Planning In Unknown Environment -- Impedance Control Applied to Automated Deburring -- The Potential Field Approach And Operational Space Formulation In Robot Control -- Mathematical Theory of Learning with Applications to Robot | |
Control -- Automatic Planning and Control of Robot Natural Motion Via Feedback -- Authors’ Index | |
ISBN: | 9781475718959 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1986-9781468450569:ONLINE Show nearby items on shelf |
Title: | Numerical Derivatives and Nonlinear Analysis |
Author(s): |
Harriet Kagiwada |
Date: | 1986 |
Size: | 1 online resource (212 p.) |
Note: | 10.1007/978-1-4684-5056-9 |
Contents: | 1. Methods for Numerical Differentiation -- 1.1. Wengert’s Method -- 1.2. FEED (Fast and Efficient Evaluation of Derivatives) -- 1.3. An Implementation of the FEED Procedure in BASIC -- 1.4. Wexler’s Approach -- 1.5. Higher-Order |
Methods for Finding Roots -- Exercises -- 2. Nonlinear Least Squares -- 2.1. Fitting the CES Production Function -- 2.2. Passive Ranging -- 2.3. Constrained Optimization -- 3. Optimal Control -- 3.1. Control Theory -- 3.2. Numerical | |
Methods -- 3.3. Description of the Subroutines -- 3.4. Examples of Optimal Control Problems -- 3.5. Program Listings -- Exercises -- 4. System Identification -- 4.1. Quasilinearization -- 4.2. Fast and Efficient Evaluation of | |
Derivatives (FEED) -- 4.3. Computer Program -- 4.4. Numerical Results -- 4.5. Program Listing -- 5. Sukhanov’s Variable Initial Value Method for Boundary Value Problems -- 5.1. Sukhanov’s Initial Value Equations -- 5.2. Automatic | |
Derivative Evaluation -- 5.3. Examples Using Sukhanov’s Method -- 5.4. Program Listing -- Exercises -- 6. Nonlinear Integral Equations -- 6.1. Derivation of the Imbedding Equations -- 6.2. Method of Computation -- 6.3. Automatic | |
Derivative Evaluation -- 6.4. Examples of Integral Equation Problems -- 6.5. Program Listing -- Exercises -- References -- Author Index | |
ISBN: | 9781468450569 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematical Concepts and Methods in Science and Engineering : 31 |
Keywords: | Engineering , Computer science , Electrical engineering , Engineering , Electrical Engineering , Computer Science, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1986-9781461321835:ONLINE Show nearby items on shelf |
Title: | Advances in Nuclear Science and Technology Simulators for Nuclear Power |
Author(s): | |
Date: | 1986 |
Size: | 1 online resource (224 p.) |
Note: | 10.1007/978-1-4613-2183-5 |
Contents: | A Methodology for the Design of Plant Analysers -- I. Introduction -- II. CEGB Operations -- III. Historical Development within the CEGB -- IV. Design and Provision of Training Simulators -- V. Requirements of Design Quality Assurance |
-- VI. Simulation Language PMSP -- VII. Conservation of Validated Plant Models -- VIII. Converged Modelling Philosophy -- Acknowledgements -- References -- Models and Simulation in Nuclear Power Station Design and Operation -- I. | |
Introduction -- II. Physical Full-Scale Engineering Models -- III. Part-Scale Models -- IV. Full-Scale Static Control Room Mock-ups -- V. Full-Scale Control Room Mock-ups with Dynamic Displays -- VI. Full-Scope Training Simulators -- | |
VII. Large Simulation Facilities for Design -- VIII. Nuclear Plant Analysers -- IX. Predictive Devices Used as Operator Aids -- X. Heysham II Power Station Fault Level Monitoring and Indication Equipment -- XI. CEGB Essential System | |
Integrating Simulator -- XII. Equipment, Systems and Human Reliability -- XIII. Testing of Automatic Control Loops -- XIV. Computer Hardware Necessary -- XV. Conclusions -- Acknowledgements -- References -- Psychological Aspects of | |
Simulator Design and Use -- I. Introduction -- II. Simulator Uses and Human Factors -- III. Simulators as Learning Environments -- IV. Alternative Approaches to Training -- V. Remaining Tasks for the Full-Scope Simulator -- VI. | |
Conclusions -- References -- The Development of Full-Scope AGR Training Simulators within the CEGB -- I. Introduction -- II. User Requirement -- III. Functional Specification -- IV. Choice of Plant Model Complexity -- V. Choice of | |
Display and Tutorial Facilities -- VI. Computer and Interface Hardware -- VII. Software Development Strategy -- VIII. Long Term Support -- IX. Quality Assurance -- X. AGR Simulator System Design -- XI. Conclusions -- Acknowledgements | |
-- References -- Parallel Processing for Nuclear Safety Simulation -- I. Introduction -- II. Problem Definition and Solution Methodology -- III. Solution of Gas-Flow Equations -- IV. Application to RELAPV -- V. Conclusions -- | |
Acknowledgement -- References -- Developments in Full-scope, Real-time Nuclear Plant Simulators -- I. Introduction -- II. Nuclear Submarine Simulators -- III. The Hunterston ‘B’ Simulator -- IV. The Torness AGR Simulator -- V. | |
Simulator System Design Philosophy -- VI. Automatic Testing -- VII. Computer System Architecture -- VIII. Conclusion -- Acknowledgement -- Authors’ Biography | |
ISBN: | 9781461321835 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Advances in Nuclear Science and Technology: 17 |
Keywords: | Physics , Nuclear energy , Atoms , Nuclear engineering , Physics , Atomic, Molecular, Optical and Plasma Physics , Nuclear Engineering , Nuclear Energy |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1984-9789401710268:ONLINE Show nearby items on shelf |
Title: | Chemometrics Mathematics and Statistics in Chemistry |
Author(s): | |
Date: | 1984 |
Size: | 1 online resource (485 p.) |
Note: | 10.1007/978-94-017-1026-8 |
Contents: | Experimental Designs: Fractionals -- Multivariate Data Analysis in Chemistry -- Statistics Aand Chemistry, and the Linear Calibration Problem -- Chemometrics and Analytical Chemistry -- Multivariate Calibration -- Autocorrelation and |
Time Series Analysis -- Sampling -- Automatic Control of Chemical Processes -- Data Analysis in Chromatography -- Experimental Design: Response Surfaces -- Linear Models And Matrix Least Squares In Clinical Chemistry -- Data Analysis | |
in Food Chemistry -- Multidimensional Data Representation in Medicinal Chemistry -- Analysis of Variance and Linear Models -- Cluster Analysis -- Operational Research -- Variation In Space: An Introduction to Regionalized Variables -- | |
Three-Dimensional Graphics for Scientific Data Display and Analysis -- Teaching Chemometrics | |
ISBN: | 9789401710268 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO ASI Series, Series C: Mathematical and Physical Sciences: 138 |
Keywords: | Chemistry , Physical chemistry , Chemistry , Physical Chemistry |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1984-9783540391302:ONLINE Show nearby items on shelf |
Title: | Computing in Accelerator Design and Operation Proceedings of the Europhysics Conference Held at the Hahn-Meitner-Institut für Kernforschung Berlin GmbH Berlin, Germany, September 20–23,1983 |
Author(s): | |
Date: | 1984 |
Size: | 1 online resource (578 p.) |
Note: | 10.1007/3-540-13909-5 |
Contents: | Future high energy accelerators -- Beam optics and dynamics -- Design of r.f. cavities -- Computer aided magnet design -- Beam instabilities and computer simulations -- Calculation of polarization effects -- Particle tracking in |
accelerators with higher order multipole fields -- Programs for designing the accelerating cavities for linear accelerators -- The MAGMI program for double pass electron linear accelerators -- A fortran program (RELAX3D) to solve the 3 | |
dimensional poisson (Laplace) equation -- Calculation of three dimensional electric fields by successive over-relaxation in the central region of a cyclotron -- The design of the accelerating cavity for SuSe with the aid of the | |
three-dimensional cavity calculation program CAV3D -- The further development of the calculation of the three dimensional electric field in the central region of the INR cyclotron -- Particle tracking using lie algebraic methods -- | |
Numerical investigation of bunch-merging in a heavy-ion-synchrotron -- Nonlinear aspects of Landau damping in computer simulation of the microwave instability -- The transport theory of particle beam-congregation in six-dimensional | |
phase space -- The MAD program -- Analogue computer display of accelerator beam optics -- A Monte Carlo beam transport program, REVMOC -- Multiparticle codes developed at GANIL -- MIRKO — an interactive program for beam lines and | |
synchrotrons -- Aperture studies of the BNL colliding beam accelerator with reduced superperiodicity -- The study of misalignmental characteristics of beam optical components of HI-13 tandem -- Calculations for the design and | |
modification of the 2 cyclotrons of S.A.R.A. -- Magnetic field optimization and beam dynamics calculations for SuSe -- ‘DFLKTR’ the code for designing the electrostatic extraction system for cyclotrons -- RFQ design considerations -- | |
Effects of higher order multipole fields on high current RFQ accelerator design -- Versatile codes and effective method for orbit programming with actually existing first harmonics in cyclotron -- Calculations of the heavy ion saclay | |
tandem post accelerator beams -- Electron injector computer simulations -- Numerical simulations of orbit correction in large electron rings -- Simulation of polarization correction schemes in e+e? storage rings -- Computation of | |
electron spin polarisation in storage rings -- Archsim: A proton synchrotron tracking program including longitudinal space charge -- A method for distinguishing chaotic from quasi-periodic motions in orbit tracking programs -- PATH — a | |
lumped-element beam-transport simulation program with space charge -- Workshop no. 1. Computer programs for lattice calculations -- Digital control of accelerators — the first ten years -- Distributed digital control of accelerators -- | |
Centralized digital control of accelerators -- Concurrent control of interacting accelerators with particle beams of varying format and kind -- Integrated control and data acquisition of experimental facilities -- Software engineering | |
tools -- Centralization and decentralization in the TRIUMF Control System -- The Fermilab Accelerator Controls System -- The control system for the daresbury synchrotron radiation source -- The microprocessor-based control system for | |
the Milan superconducting cyclotron -- The ELSA control system hardware -- Computer control system of polarized ion source and beam transport line at KEK -- Computer control system of TRISTAN -- The system for process control and data | |
analysis based on microcomputer and CAMAC equipment in the LAE 13/9 linear electron accelerator -- Some features of the computer control system for the Spallation Neutron Source (SNS) of the Rutherford Appleton Laboratory -- Design | |
criteria for the operation of accelerators under computer control -- Computer aided control of the bonn penning polarized ion source -- Treatment and display of transient signals in the CERN antiproton accumulator -- Fast CAMAC-based | |
sampling digitizers and digital filters for beam diagnostics and control in the CERN PS complex -- Automated cyclotron magnetic field measurement at the University of Manitoba -- On the problem of magnet ramping -- High level control | |
programs at NSLS -- The minicomputer network for control of the dedicated synchrotron radiation storage ring BESSY -- The electronic interface for control of the dedicated synchrotron radiation storage ring BESSY -- to computing for | |
accelerator operation -- Man-machine interface versus full automation -- Models and simulations -- Operations and communications within the Daresbury nuclear structure facility control system -- Consoles and displays for accelerator | |
operation -- Operator interface to the oric control system -- Computer aided setting up of VICKSI -- GANIL beam setting methods using on-line computer codes -- A multi-processor, multi-task control structure for the CERN SPS -- | |
Computer codes for automatic tuning of the beam transport at the Unilac -- Interactive testprogram for ion optics -- Numerical orbit calculation for a linac and improvement of its transmission efficiency of a beam -- The computerized | |
beam phase measurement system at GANIL its applications to the automatic isochronization in the Separated Sector Cyclotrons (SSC) and other main tuning procedures -- On-line optimization code used at Saturne -- Automatic supervision | |
for Saturne -- A local computer network for the experimental data acquisition at BESSY -- Closing remarks | |
ISBN: | 9783540391302 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Physics: 215 |
Keywords: | Physics , Condensed matter , Solid state physics , Spectroscopy , Microscopy , Complexity, Computational , Physics , Condensed Matter Physics , Solid State Physics , Spectroscopy and Microscopy , Complexity |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1983-9783642691560:ONLINE Show nearby items on shelf |
Title: | Ion Implantation: Equipment and Techniques Proceedings of the Fourth International Conference Berchtesgaden, Fed. Rep. of Germany, September 13–17, 1982 |
Author(s): | |
Date: | 1983 |
Size: | 1 online resource (558 p.) |
Note: | 10.1007/978-3-642-69156-0 |
Contents: | I Ion Implanters -- Physical Limitations of Ion Implantation Equipment (With 16 Figures) -- A New Ion Implanter for Solar-Cell Fabrication (With 7 Figures) -- SURIM – A Westinghouse Surface Implantation Machine (With 8 Figures) -- A |
New Research Implanter at the University of Surrey (With 4 Figures) -- Radio Frequency Ion Accelerator (With 6 Figures) -- II Ion Sources -- Performance of the Bethge-Baumann Ion Source with Radio Frequency Operation (With 1 Figures) | |
-- Emittance Measurements on an Indirectly Heated Heavy-Ion Source (With 3 Figures) -- A High-Brightness Duoplasmatron Ion Source (With 2 Figures) -- Optimization of a Single-Aperture Extraction System for High-Current Ion Sources | |
(With 9 Figures) -- Development of a High-Current Ion Source for Non-Volatile Elements (With 5 Figures) -- The Use of Computers for Designing and Testing Ion Beam Systems (With 23 Figures) -- Multipole Ion Source for Ion Implantation | |
and Isotope Separation (With 5 Figures) -- An Ion Source for Semiconductor Implantation (With 7 Figures) -- III Implanter Subsystems -- High Throughput Wafer Handling System for Serial Process Ion Implantation (With 13 Figures) -- | |
Comparison of Beam Scanning Systems (With 16 Figures) -- A Low-Internal-Resistance and High-Precision High-Voltage Power Supply (With 5 Figures) -- Electrostatic Switch Used for 600 kV Ion Implanter (With 6 Figures) -- Automatic Wafer | |
Handling for a Mechanically Scanned Ion Implanter (With 3 Figures) -- On-Line Control of Production Ion Implanters Using Standard Desk Computers (With 3 Figures) -- A Forty-Channel Optical-Fiber Telecommunication System for | |
Manipulation of High-Voltage Terminals in Ion Implanters (With 3 Figures) -- Low-Cost Analog Signal Fiber Link with 300 kV Isolation (With 3 Figures) -- Improvements in the Vacuum System of a VDG Accelerator Used for Clean Ion | |
Implantation (With 3 Figures) -- IV Special Implantation Techniques -- High Temperature Implantation of Powders Using a Horizontal Ion Beam (With 2 Figures) -- A Technique for Implanting Dopant Distributions in Solids (With 5 Figures) | |
-- Wafer Cooling and Photoresist Masking Problems in Ion Implantation (With 18 Figures) -- Electron-Beam-Induced Recoil Implantation in Semiconductors at 300 K (With 10 Figures) -- Wafer Cooling in Ion Implantation (With 8 Figures) -- | |
A Rotating Attenuator for Concentration Profiling of Implanted Helium Ions (With 6 Figures) -- V Ion Beam Lithography -- Ion-Beam Lithography (With 11 Figures) -- Development Characteristics of Ga+ Exposed PMMA and Associated | |
Lithographic Resolution Limits (With 5 Figures) -- Simulation of the Lithographic Properties of Ion-Beam Resists (With 6 Figures) -- Deposition of Masking Films by Ion-Beam Induced Polymerization (With 4 Figures) -- VI Measuring | |
Techniques -- Dosimetry and Beam Quality (With 21 Figures) -- A New Facility for Ion Beam Surface Analysis (With 6 Figures) -- Non-Destructive Techniques for Measuring the Parameters of Low-Energy Continuous Ion Beams (With 5 Figures) | |
-- Investigation of the Lifetime of Photocurrent Carriers in Si During Ion Implantation (With 5 Figures) -- A Mössbauer Spectrometer for in situ Low Temperature Studies of Ion-Bombarded Metals (With 4 Figures) -- Background in (n, p) | |
and (n, ?) Spectrometry (With 6 Figures) -- Monitoring of X-Y-Scan Quality by Amorphization Contrast on Silicon Wafers (With 4 Figures) -- VII Implantation into Metals -- Techniques and Equipment for Implantation into Metals (With 7 | |
Figures) -- Nitriding of Steels: Conventional Processes and Ion Implantation (With 5 Figures) -- Effect of Ion Mixing on the Wear Behaviour of Silver (With 4 Figures) -- Methods to Control Target Heating During Ion Implantation (With 5 | |
Figures) -- VIII Implantation into Semiconductors -- New Applications of Ion Implantation in Silicon Processing (With 14 Figures) -- Limitations of Ion Implantation in MOS Technology (With 13 Figures) -- Implant Processes for Bipolar | |
Product Manufacturing and Their Effects on Device Yield (With 16 Figures) -- Buried Silicon-Nitride Layers Formed by Nitrogen-Ion Implantation and High-Temperature Annealing (With 5 Figures) -- Combined Boron and Aluminum Implantation | |
for High-Voltage Devices (With 4 Figures) -- Deep Implanted Layers of Boron in Silicon (With 5 Figures) -- Planar Channelling of Si Implants in GaAs (With 4 Figures) -- Application of High-Current Ion-Implantation Systems in | |
Semiconductor Device Technology (With 6 Figures) -- Implantation Doping of Germanium with Be, Mg, Zn, and B Ions (With 7 Figures) -- Low Energy Implantation of Nitrogen and Ammonia into Silicon (With 12 Figures) -- Doping Behavior of | |
Implanted Magnesium in Silicon (With 11 Figures) -- IX Transient Annealing -- Beam Annealing of Ion-Implanted Silicon (With 16 Figures) -- Radiation Annealing of Silicon-Implanted GaAs with a CW Xe Arc Lamp (With 7 Figures) -- | |
Pulse-Laser-Induced Epitaxial Regrowth of Ion-Implanted Semiconductors (With 15 Figures) -- CO2 Laser Annealing of Ion-Implanted Silicon: Relaxation Characteristics of Metastable Concentrations (With 6 Figures) -- Rapid Isothermal | |
Annealing for Semiconductor Applications: Aspects of Equipment Design (With 5 Figures) -- Investigation of Polysilicon Implantation Under Thermal and Laser Annealing (With 8 Figures) -- CW-CO2-Laser Alloying of Au-Ge-Ni Ohmic Contacts | |
on GaAs (With 7 Figures) -- Photoluminescence of Ion-Implanted Gallium Arsenide After Laser Annealing (With 7 Figures) -- Channeling and High-Resolution Backscattering Studies of Laser-Annealed Low-Energy Arsenic-Implanted Silicon | |
(With 8 Figures) -- Index of Contributors | |
ISBN: | 9783642691560 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Series in Electrophysics: 11 |
Keywords: | Physics , Crystallography , Optics , Optoelectronics , Plasmons (Physics) , Physics , Crystallography , Optics, Optoelectronics, Plasmonics and Optical Devices |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1982-9783540390091:ONLINE Show nearby items on shelf |
Title: | Numerical Analysis Proceedings of the 9th Biennial Conference Held at Dundee, Scotland, June 23–26, 1981 |
Author(s): | |
Date: | 1982 |
Size: | 1 online resource (248 p.) |
Note: | 10.1007/BFb0093144 |
Contents: | A second-order method for solving the continuous multifacility location problem -- Data smoothing by divided differences -- On the control of the global error in stiff initial value problems -- Chebyshev methods for integral and |
differential equations -- Simulation of miscible displacement in porous media by a modified method of characteristic procedure -- Full matrix techniques in sparse Gaussian elimination -- Second order corrections for non-differentiable | |
optimization -- Automatic methods for highly oscillatory ordinary differential equations -- Convergence of a two-stage Richardson iterative procedure for solving systems of linear equations -- Curved knot lines and surfaces with ruled | |
segments -- On the time integration of parabolic differential equations -- Precision control, exception handling and a choice of numerical algorithms -- Generalized hermitian matrices: A new frontier for numerical analysis? -- Some | |
applications of geometry in numerical analysis -- A quasioptimal estimate in piecewise polynomial Galerkin approximation of parabolic problems | |
ISBN: | 9783540390091 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 912 |
Keywords: | Mathematics , Numerical analysis , Mathematics , Numerical Analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1982-9781461334187:ONLINE Show nearby items on shelf |
Title: | Contemporary Topics in Analytical and Clinical Chemistry Volume 4 |
Author(s): | |
Date: | 1982 |
Size: | 1 online resource (381 p.) |
Note: | 10.1007/978-1-4613-3418-7 |
Contents: | 1. Polychromatic Analysis Using the Technicon STAC™ Analyzer -- 1. Introduction -- 2. The STAC Analyzer -- 3. General Theory -- 4. Selection of Primary and Secondary Wavelengths -- 5. Classification of Polychromatic Analysis -- 6. |
STAC Assays -- 7. Examples of Polychromatic Analysis -- 8. Conclusion -- References -- 2. Introduction to Multiple-Wavelength Spectrophotometric Measurements in Analytical and Clinical Chemistry -- 1. Introduction -- 2. Definitions -- | |
3. Applications in Analytical Chemistry -- 4. Applications in Clinical Chemistry -- 5. Epilogue -- References -- 3. Bichromatic Analysis: The Design and Function of the ABA-100 -- 1. Introduction -- 2. Design Principles -- 3. | |
Performance of Individual Instrument Functions -- 4. Automation of a Specific Method with the ABA -- 5. Quality Control -- 6. Special Applications -- 7. Epilogue -- References -- 4. Bichromatic Analysis as Performed in the Du Pont | |
Automatic Clinical Analyzer (‘aca’) -- 1. Introduction -- 2. Analytical Test Pack -- 3. Instrument -- 4. Measurement System -- 5. Measurement Principles -- 6. Advantages -- References -- 5. The Analysis of Matrix Formatted | |
Multicomponent Data -- 1. Introduction -- 2. Linear Algebra Review -- 3. Theory and Application of MFMDT in Qualitative Analysis of the Fluorescence Emission-Excitation Matrix (FEEM) -- 4. Theory and Application of MFMDT in | |
Quantitative Analysis of the FEEM -- 5. Summary and Conclusion -- 6. Appendices -- References -- 6. Nonlinear Parameter Estimation of Convolved Excitation and Multiple Emission Response Functions -- 1. Introduction -- 2. | |
Instrumentation and Analytical Parameters -- 3. Data Handling -- 4. Experimental -- 5. Results and Discussion -- 6. Summary -- References -- 7. ESCA Studies of Electrode Surfaces -- 1. Introduction -- 2. Electrode Transfer -- 3. Data | |
Analysis -- 4. Carbon and Related Electrodes -- 5. Electrodes Involving Magnesium and Aluminum -- 6. Electrodes Involving Titanium -- 7. Vanadium Pentoxide Electrodes in Reserve Cells -- 8. Electrodes Involving Chromium -- 9. The | |
Manganese Dioxide Electrode -- 10. Electrodes Involving Iron -- 11. Electrodes Involving Nickel -- 12. Electrodes Involving Copper -- 13. Electrodes Involving Zinc -- 14. The Niobium Electrode -- 15. The Molybdenum Electrode -- 16. | |
Ruthenium Dioxide-Based Film Electrodes -- 17. Electrodes Involving Tantalum -- 18. Electrodes Involving Tungsten -- 19. Electrodes Involving Tin -- 20. The Study of Anodic Oxide Films on Gallium Arsenide and Related Compounds -- 21. | |
Chemically Modified Electrodes -- 22. Studies of Solid Electrolytes -- 23. Ion-Selective Electrodes -- 24. Noble Metal Electrodes -- 25. Trace Metal Analysis -- 26. Studies of Paint Films -- 27. AES Studies of Electrode Surfaces -- 28. | |
Conclusion -- References -- 8. Spatially Resolved Spectroscopy: Theory and Applications of the Abel Inversion -- 1. Introduction -- 2. Fundamentals -- 3. Computation of Area Matrices -- 4. Abel Inversion of Strictly Emitting Profiles | |
-- 5. Self-Absorption and the Abel Inversion—Theory -- 6. Self-Absorption and the Abel Inversion—Examples -- 7. Background Correction in the Presence of Self-Absorption -- 8. Instrumental Misalignment and Spark Wander -- 9. Summary on | |
Wander -- 10. True Measurement Noise -- 11. Spatially Unseparated Emission and Absorption -- 12. Conclusion -- 13. Appendix -- References | |
ISBN: | 9781461334187 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Medicine , Physical chemistry , Internal medicine , Medical biochemistry , Biochemistry , Medicine & Public Health , Internal Medicine , Biochemistry, general , Medical Biochemistry , Physical Chemistry |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1981-9783540385387:ONLINE Show nearby items on shelf |
Title: | Ordinary and Partial Differential Equations Proceedings of the Sixth Conference Held at Dundee, Scotland, March 31 – April 4, 1980 |
Author(s): | |
Date: | 1981 |
Size: | 1 online resource (384 p.) |
Note: | 10.1007/BFb0089819 |
Contents: | Equivalence of differential operators -- Some unitarily equivalent differential operators with finite and infinite singularities -- The land beyond bessel: A survey of higher special functions -- Nonlinear two-point boundary value |
problems -- On nonlinear boundary value problems for an elliptic system in the plane -- Totally singular extensions of the Cauchy problem for a special class of partial derivative operators with distributional coefficients -- Complex | |
extensions of a submanifold of solutions of the sine-gordon equation -- Remark on bifurcation problems with several parameters -- Asymptotic theory and deficiency indices for fourth and higher order self-adjoint equations: A simplified | |
approach -- On the spectra of Schrödinger operators with a complex potential -- Non-modal eigenfunction expansions -- Asymptotic distribution of eigenvalues of elliptic operators on unbounded domains -- Generalized hyperanalytic | |
function theory -- Some spectral gap results -- A regular left-definite eigenvalue problem with eigenvalue parameter in the boundary conditions -- Some topics in nonlinear wave propagation -- An ordering of oscillation types for y(n) + | |
py = 0 -- Fundamental properties of the solutions of quasilinear differential equations of the fifth order -- Oscillation properties of weakly nonlinear differential equations -- On boundary integral equation methods in stationary | |
electromagnetic reflection -- Norm inequalities for derivatives -- Fixed point theorems -- Automatic control of errors for invariant imbedding -- A bound for solutions of a fourth order dynamical system -- Reducibility of almost | |
periodic linear systems -- Convergence of solutions of infinite delay differential equations with an underlying space of continuous functions -- On a system of non linear strongly coupled partial differential equations arising in | |
biology -- Differential operators with discrete spectrum -- On spectral theory for the linear selfadjoint equation Fy = ?Gy -- Estimates for some free boundary problems -- A new proof of existence of similarity solutions -- Symmetry | |
and bifurcation from multiple eigenvalues -- Convergence to a travelling wave in an initial-boundary value problem -- Geometric remarks on second order criteria for maxima and minima -- Variational methods and almost solvability of | |
semilinear equations | |
ISBN: | 9783540385387 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 846 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Mathematics , Analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1981-9781461592303:ONLINE Show nearby items on shelf |
Title: | Human Detection and Diagnosis of System Failures |
Author(s): | |
Date: | 1981 |
Size: | 1 online resource (716 p.) |
Note: | 10.1007/978-1-4615-9230-3 |
Contents: | Real Life Perspectives -- Understanding Human Error and Aiding Human Diagnostic Behavior in Nuclear Power Plants -- Commercial Air Crew Detection of System Failures: State of the Art and Future Trends -- Ship Navigational Failure |
Detection and Diagnosis -- Troubleshooting in the Commercial Computer Industry: A Success Story -- Tools for Debugging Computer Programs — How Much Do They Help? -- Field Experience in Maintenance -- Theories and Models -- Monitoring | |
vs. Man-in-the-Loop Detection or Aircraft Control Failures -- Failure Detection in Dynamic Systems -- A Model of Human Fault Detection for Complex Dynamic Processes -- The Role of Attention in the Detection of Errors and the Diagnosis | |
of Failures in Man-Machine Systems -- Experimental Studies and Mathematical Models of Human Problem Solving Performance in Fault Diagnosis Tasks -- System Complexity, Diagnostic Behavior and Repair Time: A Predictive Theory -- Models | |
of Diagnostic Judgments -- Models of Mental Strategies in Process Plant Diagnosis -- Mathematical Equations or Processing Routines? -- Task Analysis and Activity Analysis in Situations of Field Diagnosis -- Models and Experimental | |
Results Concerning the Detection of Operator Failures in Display Monitoring -- Towards a Theory of Qualitative Reasoning about Mechanisms and its Role in Troubleshooting -- System Design and Operator Support -- Fault Management and | |
Supervisory Control of Decentralized Systems -- Computer Support for Diagnostic Tasks in the Process Industries -- Application of Pattern Recognition to Failure Analysis and Diagnosis -- The Use of Flow Models for Automated Plant | |
Diagnosis -- Discriminative Display Support for Process Operators -- Disturbance Analysis Systems -- Automatic Error Detection and Error Recording of a Distributed, Fault-Tolerant Process Computer System -- The User’s Role in Automated | |
Fault Detection and System Recovery -- Aiding Process Plant Operators in Fault Finding and Corrective Action -- A Method for Optimizing Human Performance in Detecting and Diagnosing Mission Avionics Faults -- Training -- Training for | |
Fault Diagnosis in Industrial Process Plant -- A Fault-Finding Training Programme for Continuous Plant Operators -- The Role of Computers in Training for Problem Diagnosis -- Computer-Based Maintenance Training in the Military -- A | |
General-Purpose System for Simulating and Training Complex Diagnosis and Troubleshooting Tasks -- Adaptive Computer Training System (ACTS) for Fault Diagnosis in Maintenance Tasks -- Scat: System Control Analysis and Training Simulator | |
-- Summary of Workshop Discussions -- Participants -- Author Index | |
ISBN: | 9781461592303 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Conference Series : 15 |
Keywords: | Culture , Cultural and Media Studies , Regional and Cultural Studies |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1981-9781461394648:ONLINE Show nearby items on shelf |
Title: | Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface |
Author(s): | |
Date: | 1981 |
Size: | 1 online resource (378 p.) |
Note: | 10.1007/978-1-4613-9464-8 |
Contents: | Keynote Address -- Statistical Theory and the Computer -- Automated Edit and Imputation -- Developing an Edit System for Industry Statistics -- Design of Experiments to Investigate Joint Distributions in Microanalytic Simulations -- |
Descriptive Statistics Used in Monitoring Edit and Imputation Processes -- Do Statistical Packages Have a Future? -- The Effect of Personal Computers on Statistical Practice -- Statistical Software Design and Scientific Breakthrough: | |
Some Reflections on the Future -- Some Thoughts on Expert Software -- Fourier Transforms in Applied Statistics -- How Fast is the Fourier Transform? -- Polynomial Time Algorithms for Obtaining Permutation Distributions -- Efficient | |
Estimation for the Stable Laws -- Algorithms and Statistics -- Applications of Statistics to Applied Algorithm Design -- Algorithms with Random Input -- Recent Results on the Average Time Behavior of Some Algorithms in Computational | |
Geometry -- Genuinely Statistical Methods in the Theory of Algorithms -- Pattern Recognition -- Applications of Pattern Recognition Methods to Hydrologic Time Series -- Recent Advances in Bump Hunting -- Pattern Recognition in the | |
Context of an Asbestos Cancer Threshold Study -- Histologic Patterns and Random Chromatic Graphs -- Volume Testing of Statistical Programs -- Volume Testing of Statistical/Database Software -- Scientific Information Retrieval | |
(SIR/DBMS) -- Volume Testing of Statistical Software — The Statistical Analysis System (SAS) -- Solving Complex Database Problems in P-STAT -- Volume Testing of SPSS -- Volume Testing of Statistical Systems -- Random Number Generation | |
-- In Search of Correlation in Multiplicative Congruential Generators with Modulus 231 — 1 -- Portability Considerations for Random Number Generators -- Generating Discrete Random Variables in the Computer -- Generation of Random | |
Variables by Thinning of Poisson Processes -- Understanding Time Series Analysis -- Recent Developments in Spectrum and Harmonic Analysis -- On Some Numerical Properties of ARMA Parameter Estimation Procedures -- Time Series Recursions | |
and Self-Tuning Control -- Measurement and Evaluation of Software -- On Measurement and Evaluation of Software: A View from the Chair -- Can Statistical Methods Help Solve Problems in Software Measurement? -- Measuring the Performance | |
of Computer Software — A Dual Role for Statisticians -- Software Metrics: Paradigms and Processes -- A Proposal for Structural Models of Software Systems -- Software Metrics: A Key to Improved Software Development Management -- | |
Orthogonalization: An Alternative to Sweep -- Orthogonalization-Triangularization Methods in Statistical Computati ons -- Research Data Base Management -- Simple Query Language Requirements for Research Data Management -- Data Editing | |
on Large Data Sets -- Data Archiving: A New(?) Set of Problems for Research Data Management Systems -- Graphical Methods and Their Software -- Census Bureau Statistical Graphics -- Mosaics for Contingency Tables -- The Use of Kinematic | |
Displays to Represent High Dimensional Data -- Contributed Papers -- Order Statistics and an Experiment in Software Design -- Further Approximation to the Distributions of Some Transformations to the Sample Correlation Coefficient -- | |
Using Linear Programming to Find Approximate Solutions to the Fields to Impute Problem for Industry Data -- Using Computer-Binned Data for Density Estimation -- On the Nonconsistency of Maximum Likelihood Nonparametric Density | |
Estimators -- Computer Program for Krishnaiah’s Finite Intersection Tests for Multiple Comparisons of Mean Vectors -- Approximating the Log of the Normal Cumulative -- A Kth Nearest Neighbour Clustering Procedure -- Interactive | |
Statistical Graphics: Breaking Away -- Interactive Graphical Analysis for Multivariate Data -- SLANG, A Statistical Language for Descriptive Time Series Analysis -- On the Parameter Estimation in Queueing Theory -- Statistical | |
Computation with a Microcomputer -- On the Exact Distribution of Geary’s U-Statistic and its Application to Least Squares Regression -- Exposure to the Risk of an Accident: The Canadian Department of Transport National Driving Survey | |
and Data Analysis System, 1978-79 -- CONCOR: An Edit and Automatic Correction Package -- BGRAPH: A Program for Biplot Multivariate Graphics -- MONCOR--A Program to Compute Concordant and Other Monotone Correlations -- Computer | |
Offerings for Statistical Graphics--An Overview -- Computing Percentiles of Large Data Sets -- A Self-Describing Data File Structure for Large Data Sets -- Nonlinear Estimation Using a Microcomputer -- Statistical Procedures for Low | |
Dose Extrapolation of Quanta! Response Toxicity Data -- An Economic Design of Y-Charts with Warning Limits to Control Non-Normal Process Means -- Prior Probabilities, Maximal Posterior, and Minimal Field Error Localization | |
ISBN: | 9781461394648 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1980-9789400990913:ONLINE Show nearby items on shelf |
Title: | Spoken Language Generation and Understanding Proceedings of the NATO Advanced Study Institute held at Bonas, France, June 26 – July 7, 1979 |
Author(s): | |
Date: | 1980 |
Size: | 1 online resource (600 p.) |
Note: | 10.1007/978-94-009-9091-3 |
Contents: | § 1. An Overview, with an Emphasis on Psychology -- Spoken Language Generation and Understanding by Machine: A Problems and Applications Oriented Overview -- Speech Understanding as a Psychological Process -- What the Engineers Would |
Like to Know from the Psychologists -- Perceptual Studies of Speech Rhythm: Isochrony and Intonation -- Estimation of Articulatory Motion from Speech Waves and Its Application for Automatic Recognition -- § 2. Acoustic and Phonemic -- | |
Speech Signal Processing and Feature Extraction -- Pattern Recognition Techniques for Speech Recognition -- Automatic Mapping of Acoustic Features into Phonemic Labels -- Automatic Phoneme Recognition in Continuous Speech: A Syntactic | |
Approach -- Syntactic Approach to Pattern Recognition -- Phoneme Recognition Using a Cochlear Model -- Pitch Determination of Speech Signals — A Survey -- Speech Analysis Using Syntactic Methods and a Pitch Synchronous Formant Detector | |
on the Direct Signal -- Variability of Vowel Formant Frequency in Different Speech Styles -- § 3. Lexicon, Syntax and Semantic -- The Representation and Use of a Lexicon in Automatic Speech Recognition and Understanding -- Control of | |
Syntax and Semantics in Continuous Speech Understanding -- A Classification Method Based on Fuzzy Naming Relations over Finite Languages -- § 4. Speech Synthesis -- Speech Synthesis from Text -- An Over-view of Speech Synthesis -- | |
Speech Synthesis for an Unlimited Vocabulary, a Powerful Tool for Inquiry and Information Services -- Time-Domain Formant-Wave-Function Synthesis -- A Programmable, Digital Speech Synthesiser -- An Intelligent Speech Prosthesis with a | |
Lexical Memory -- § 5. Sysytems and Applications -- Industrial Applications of Speech Recognition -- Some Points Concerning Speech Communication with Computers -- Secure Speech Communication over a CCITT-Speech Channel -- Speech | |
Compression/Recognition with Robust Features -- A Real-Time System for Speech Recognition -- Speech Training of Deaf Children Using the Sirene System: First Results and Conclusions -- The KEAL Speech Understanding System -- The LOCUST | |
System -- The MYRTILLE II Speech Understanding System -- Index of Names | |
ISBN: | 9789400990913 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 59 |
Keywords: | Mathematics , Mathematics , Mathematics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1976-9781461588610:ONLINE Show nearby items on shelf |
Title: | Transportation Planning for a Better Environment |
Author(s): | |
Date: | 1976 |
Size: | 1 online resource (439 p.) |
Note: | 10.1007/978-1-4615-8861-0 |
Contents: | Section 1 Regional and Urban Transportation Planning -- Better Towns with Less Traffic -- Recent Changes in Transportation and Urban Planning -- Transportation and Land-Use: Problems in Recent Urban Planning Concepts -- The Quality of |
Urban Life and of Transportation Systems as Determinants of Regional Development Plans -- Land-Use as an Element of Community Structure and Transport -- Section 2 Transportation Planning in Developing Countries -- Problems of | |
Long-Range Travel Behaviour Forecasts in Developing Countries -- Transportation and Urban Life in Developing Nations -- The Relation between Socio-Economic Development and Transportation in Turkey -- Section 3 Modelling and | |
Quantitative Techniques -- Analysis Tools for Evaluating the Effects of Land-Use and Fiscal Control Policies in Developing Communities -- The Sensitivity of Transport Model Output to Variation in Input Assumptions about Travellers’ | |
Behaviour -- Roads for New Communities -- Section 4 The Development and Operation of Public Transport Systems -- Australian Government Involvement in Urban Transport -- Cluster Analysis of West German Towns with Special Reference to | |
Personal Rapid Transit Systems -- Human Factors and Ergonomic Considerations in the Design of Automatic Transit Systems -- Peak Period Underground Rail Travel — The London Experience -- Analytic Reflections on the Planning of Public | |
Transport in Metropolitan Areas -- Section 5 Human and Social Factors in Transportation Planning -- Transportation as a Social Environment: Can We Change a Tradition? -- The Mutual Impacts of Transportation and Human Behaviour -- City | |
Centre and Transport Planning — Human Factors and Systems Science. A Problem of Imbalance -- Environmental Assessments for United Kingdom Urban Transportation Studies -- Section 6 Environmental Assessment -- The Social Severance | |
Effects of Major Urban Roads -- People’s Responses to Pedestrianisation Schemes -- Socio-Economic and Situational Factors in Urban Traffic Noise Annoyance Levels -- Motor Traffic Noise and Housing -- The Concept of Spatial Mobility and | |
an Analytical Approach -- Section 7 Traffic Accidents -- The System Concept and the Study of Accidents -- A Quasi-Clinical Strategy for Investigating Attitudes in the Transportation Domain -- The Relationship between Road Accidents and | |
Urban Structure -- A Systems Approach to Urban Bicycle Safety -- Section 8 Citizen Participation and Open Planning -- Popper and Participation. A Solution to Urban Segregation -- The Question of Land-Use in the Participatory | |
Transportation Study -- Citizen Participation in Transportation Planning -- Citizen Participation: an Administrative Strategy for Transportation Improvement | |
ISBN: | 9781461588610 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Nato Conference Series : 1 |
Keywords: | Science , Science, general , Science, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1973-9781468420371:ONLINE Show nearby items on shelf |
Title: | Vision Human and Electronic |
Author(s): |
Albert Rose |
Date: | 1973 |
Size: | 1 online resource (197 p.) |
Note: | 10.1007/978-1-4684-2037-1 |
Contents: | 1 · The Visual Process -- 1.1. Introduction -- 1.2. Quantum Limitations on the Visual Process -- 1.3. A Summary Experiment -- 1.4. A Second Experiment -- 1.5. Resolution, Signal-to-Noise Ratio, and Test Patterns -- 1.6. An Absolute |
Scale of Performance -- 1.7. Geometric versus Noise Limitations to Performance -- 1.8. Beyond the Visible Spectrum -- 1.9. Summary -- 1.10. References -- 2 · Human Vision -- 2.1. Introduction -- 2.2. Optical Parameters -- 2.3. | |
Performance Data -- 2.4. Quantum Efficiency of Human Vision -- 2.5. A Preferred Method for Measuring Quantum Efficiency -- 2.6. A Comparison of Estimates of Quantum Efficiency -- 2.7. Dark Adaptation -- 2.8. Automatic Gain Control -- | |
2.9. Visual Noise -- 2.10. Afterimages -- 2.11. Visibility of High-Energy Radiations -- 2.12. Vision and Evolution -- 2.13. Summary -- 2.14. References -- 3 · Television Camera Tubes -- 3.1. Introduction -- 3.2. Scanning Discs and | |
Dissector Tubes -- 3.3. Iconoscope -- 3.4. Image Iconoscope -- 3.5. Orthicon -- 3.6. Image Orthicon -- 3.7. Image Isocon -- 3.8. Intensifier Image Orthicon -- 3.9. Bombardment-Induced Conductivity -- 3.10. Vidicons -- 3.11. Solid-State | |
Self-Scanned Arrays -- 3.12. Summary -- 3.13. References -- 4 · Photographic Film -- 4.1. Introduction -- 4.2. Sensitivity and Signal-to-Noise Ratio -- 4.3. Resolution, Signal-to-Noise Ratio, and Effective Passband -- 4.4. Threshold | |
Properties of Photographic Grains -- 4.5. Fog -- 4.6. High-Energy Radiations -- 4.7. Comparative Sensitivities of Film, Television Camera Tubes, and the Human Eye -- 4.8. Summary -- 4.9. References -- 5 · Comparative Noise Properties | |
of Vision, Television, and Photographic Film -- 5.1. Statement of Problem -- 5.2. A Proper Measure of the Signal-to-Noise Ratio in a Television Picture -- 5.3. A Comparison of Arrangements for Noise Reduction -- 5.4. Effect of High | |
Contrast on the Visibility of Noise -- 5.5. Noise in Dark Areas -- 5.6. Noise versus Brightness of Reproduced Pictures -- 5.7. Summary -- 5.8. References -- 6 · Image Multipliers -- 6.1. Introduction -- 6.2. Varieties of Image | |
Multipliers -- 6.3. Typical Performance of a Three-Stage Image Multiplier -- 6.4. Summary -- 6.5. References -- 7 · Solid-State Photon Counters -- 7.1. Introduction -- 7.2. Noise Currents and Charges -- 7.3. Photoconductive Photon | |
Counter -- 7.4. An Analysis of 1/f Noise -- 7.5. Photon Counting by MOS Triodes -- 7.6. Non-Photon-Counters -- 7.7. Summary -- 7.8. References -- 8 · Solid-State Photographic Systems, Light Amplifiers, and Display Systems -- 8.1. | |
Introduction -- 8.2. Blocking Contacts -- 8.3. Sensitivity Aspects of Blocking Contacts -- 8.4. Ohmic Contacts -- 8.5. Sensitivity Aspects of Ohmic Contacts -- 8.6. Special Arrangements -- 8.7. Null Systems -- 8.8. Summary -- 8.9. | |
References -- 9 · Solid-State Photomultipliers -- 9.1. Introduction -- 9.2. Multiplication in Semiconductors -- 9.3. Multiplication in Insulators -- 9.4. Rates of Energy Loss by Hot Electrons -- 9.5. Summary -- 9.6. References -- 10 · | |
Vision: Past, Present, and Future -- 10.1. Introduction -- 10.2. Human Vision -- 10.3. Photographic Vision -- 10.4. Electronic Vision -- 10.5. The Need for High Quantum Efficiencies -- 10.6. Conclusion -- 10.7. References | |
ISBN: | 9781468420371 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Materials science , Materials Science , Characterization and Evaluation of Materials |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | QC787.P3I62::1996 Show nearby items on shelf |
Title: | Proceedings of the International Workshop on Controls for Small- and Medium-Scale Accelerators : IWCSMSA96 : November 11-15, 1996, KeK, Tsukuba, Japan |
Conference: | International Workshop on Controls for Small and Medium Scale Accelerators, KEK, 1996 |
Author(s): |
T. Katoh |
Date: | 1998 |
Publisher: | High Energy Accelerator Research Organization, Oho, Tsukuba-shi, Ibaraki-ken, Japan |
Size: | 206 |
Series: | KEK proceedings : 97-19 |
Keywords: | Particle accelerators Automatic 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. |
Location: | MAIN |
Call number: | QC787.P3I55::1991 Show nearby items on shelf |
Title: | Proceedings of International Conference on Accelerators and Large Experimental Physics Control Systems : KEK, Tsukuba, Japan, November 11-15, 1991 |
Conference: | International Conference on Accelerator and Large Experimental Physics Control Systems, KEK, Tsukuba, Japan, 1991 |
Author(s): |
C.O. Pak |
Date: | 1992 |
Publisher: | National Laboratory for High Energy Physics, Oho, Tsukuba-shi, Ibaraki-ken, Japan |
Size: | 635 |
Series: | KEK proceedings: 92-15 |
Keywords: | Particle accelerators Automatic 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. |
Location: | MAIN |
Call number: | QC787.P3I48::2000 Show nearby items on shelf |
Title: | Accelerator and large experimental physics control systems : proceedings of the 7th International Conference on Accelerator and Large Experimental Physics Control Systems : icalepscs 99, 4-8 October 1999, Trieste, Italy |
Conference: | International Conference on Accelerator and Large Experimental Physics
Control Systems (ICALEPCS 99), Trieste, Italy, 4-8 Oct 1999
[C99-10-04] |
Author(s): |
(ed.) Bulfone |
Date: | 2000 |
Publisher: | Trieste, Italy : Comitato Conferenze ELETTRA |
Size: | 687 p |
ISBN: | 8887992002 |
Keywords: | Particle accelerators Congresses , Automatic control Congresses , Conference proceedings , Conferences |
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