1. Semiconductor Device Technology [1983]
 Goodge, Malcolm E., author.
 London : Macmillan Education UK : Imprint : Palgrave, 1983.
 Description
 Book — 1 online resource (IX, 495 pages) : online resource Digital: text file; PDF.
2. Cardinalities of Fuzzy Sets [2003]
 Wygralak, Maciej.
 Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
 Description
 Book — 1 online resource (xiv, 196 pages) Digital: text file; PDF.
 Summary

 1. Triangular Operations and Negations (Allegro). 1
 .1. Triangular Norms and Conorms. 1
 .2. Negations. 1
 .3. Associated Triangular Operations. 1
 .4. Archimedean Triangular Operations. 1
 .5. Induced Negations and Complementary Triangular Operations. 1
 .6. Implications Induced by Triangular Norms.
 2. Fuzzy Sets (Andante spianato). 2
 .1. The Concept of a Fuzzy Set. 2
 .2. Operations on Fuzzy Sets. 2
 .3. Generalized Operations. 2
 .4. Other Elements of the Language of Fuzzy Sets. 2
 .5. Towards Cardinalities of Fuzzy Sets.
 3. Scalar Cardinalities of Fuzzy Sets (Scherzo). 3
 .1. An Axiomatic Viewpoint. 3
 .2. Cardinality Patterns. 3
 .3. Valuation Property and Subadditivity. 3
 .4. Cartesian Product Rule and Complementarity. 3
 .5. On the Fulfilment of a Group of the Properties. 3.5
 .1. VAL and CART. 3.5
 .2. CART and COMP. 3.5
 .3. VAL and COMP. 3.5
 .4. VAL, CART and COMP.
 4. Generalized Cardinals with Triangular Norms (Rondeau a la polonaise). 4
 .1. Generalized FGCounts. 4.1
 .1. The Corresponding Equipotency Relation. 4.1
 .2. Inequalities. 4.1
 .3. Arithmetical Operations. 4.1.3
 .1. Addition. 4.1.3
 .2. Subtraction. 4.1.3
 .3. Multiplication. 4.1.3
 .4. Division. 4.1.3
 .5. Exponentiation. 4.1
 .4. Some Derivative Concepts of Cardinality. 4
 .2. Generalized FLCounts. 4.2
 .1. Equipotencies and Inequalities. 4.2
 .2. Addition and Other Arithmetical Operations. 4
 .3. Generalized FECounts. 4.3
 .1. The Height of a Generalized FECount. 4.3
 .2. Singular Fuzzy Sets. 4.3
 .3. Equipotencies, Inequalities and Arithmetical Questions. List of Symbols.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 International Conference on High Performance Scientific Computing (7th : 2018 : Hanoi, Vietnam)
 Cham, Switzerland : Springer, [2021]
 Description
 Book — 1 online resource (viii, 405 pages : illustrations (some color)) Digital: text file.PDF.
 Summary

 Global Optimization Approach for the Ascent Problem of Multistage Launchers
 A Robust Predictive Control Formulation for Heliogyro Blade Stability
 Piecewise Polynomial Taylor ExpansionsThe Generalization of Faà di Bruno's Formula
 GridEnhanced Polylithic Modeling and Solution Approaches for Hard Optimization Problems
 Model Predictive QLearning (MPQL) for Bilinear Systems
 SCOUT: Scheduling Core Utilization to Optimize the Performance of Scientific Computing Applications on CPU/CoprocessorBased Cluster
 ChainerXP: A Flexible Framework for ANNs Run on the Intel® Xeon PhiTM Coprocessor
 Inverse Problems in Designing New Structural Materials
 Coupled Electromagnetic Field and Electric Circuit Simulation: A Waveform Relaxation Benchmark
 SCIPJack: An Exact High Performance Solver for Steiner Tree Problems in Graphs and Related Problems
 Physical Parameter Identification with Sensors or Actuators Spanning Multiple DOF's
 Monotonization of a Family of Implicit Schemes for the Burgers Equation
 The Insensitivity of the Iterative Learning Control Inverse Problem to Initial Run When Stabilized by a New Stable Inverse
 Strategy Optimization in Sports via Markov Decision Problems
 An Application of RASPEN to Discontinuous Galerkin Discretisation for Richards' Equation in Porous Media Flow
 On the Development of Batch Stable Inverse Indirect Adaptive Control of Systems with Unstable DiscreteTime Inverse
 An Improved Conjugate Gradients Method for Quasilinear Bayesian Inverse Problems, Tested on an Example from Hydrogeology
 Idiosyncrasies of the Frequency Response of DiscreteTime Equivalents of ContinuousTime System.
(source: Nielsen Book Data)
4. The world is triangular [2021]
 Czichos, Horst, author.
 Cham, Switzerland : Springer, [2021]
 Description
 Book — 1 online resource (xii, 178 pages) : illustrations (some color) Digital: text file.PDF.
 Summary

 The World of Antiquity
 Philosophy
 Physics
 Technology.
 Herres, David, author.
 Cham, Switzerland : Springer, [2020]
 Description
 Book — 1 online resource (x, 267 pages) : illustrations (some color) Digital: text file.PDF.
 Summary

 Introduction. History of Oscilloscopes/ Fourier's mathematical transformation. Semiconductors inside the oscilloscope and as objects of inquiry. Benchtop vs. handheld, batteryoperated instruments, and use of the differential probe. The math function in oscilloscopes. Oscilloscope memory depth and sampling rate problems. Using cursors to measure the value of a function. Oscilloscope troubleshooting techniques. Networking oscilloscopes with each other and with local and remote computers. The PCbased oscilloscopes. Triggeredsweep digital storage oscilloscope block diagram. What lies ahead  In a nutshell, Artificial Intelligence.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Allen, J. B., 1942 author.
 Cham, Switzerland : Springer, [2020]
 Description
 Book — 1 online resource
 Summary

 Introduction
 Number Systems
 Algebraic Equations
 Scalar Calculus
 Vector Calculus.
7. Inspec analytics [2018 ]
 London [England] : The Institution of Engineering and Technology, [2018]
 Description
 1 online resource
 Database topics
 Science (General); Physics and Astronomy; Chemistry and Chemical Engineering; Engineering; Computer Science
 Summary

"A research intelligence tool based on our renowned Inspec database. Using powerful semantic mapping, our technology helps you identify trends and patterns in global engineering and physics research. Monitor the research output of your organisation and see how you rank globally, Compare your organisation to identify strengths and areas for growth, Identify potential collaborators, Explore global trends
8. Irreducibility and computational equivalence : 10 years after Wolfram's A new kind of science [2013]
 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 2013.
 Description
 Book — 1 online resource (xvi, 360 pages : 84 illustrations Digital: text file; PDF.
 Summary

 Foreword Gregory Chaitin Part I Mechanisms in Programs and Nature 1. Hyperbolic Cellular Automata Maurice Margenstern 2. A Lyapunov View on the Stability of Cellular Automata Jan M. Baetens & Bernard De Baets 3. On the Necessity of Complexity Joost J. Joosten 4. Computational Technosphere and Cellular Engineering Mark Burgin
 Part II The World of Numbers & Simple Programs 5. Cellular Automata: Models of the Physical World Herbert W. Franke 6. Symmetry and Complexity of Cellular Automata: Towards an Analytical Theory of Dynamical System Klaus Mainzer 7. A New Kind of Science: Ten Years Later David H. Bailey
 Part III Everyday Systems 8. A New Kind of Finance Philip Z. Maymin 9. The Relevance and Importance of Computation Universality in Economics Kumaraswamy Velupillai 10. Exploring the Sources of and Nature of Computational Irreducibility Brian Beckage, Stuart Kauffman, Louis Gross, Asim Zia, Gabor Vattay and Chris Koliba
 Part IV Fundamental Physics 11. The Principle of a Finite Density of Information Gilles Dowek and Pablo Arrighi 12. Artificial Cosmogenesis: A New Kind of Cosmology Clement Vidal 13. Do Particles Evolve? Tommaso Bolognesi
 Part V The Behavior of Systems & the Notion of Computation 14. An Incompleteness Theorem for the Natural World Rudy Rucker 15. Pervasiveness of Universalities of Cellular Automata: Fascinating Lifelike Behaviours Emmanuel Sapin 16. Wolfram's Classification and Computation in Cellular Automata Classes III and IV Genaro J. Martinez, Juan Carlos Seck Tuoh Mora and Hector Zenil
 Part VI Irreducibility & Computational Equivalence 17. Exploring the Computational Limits of Haugeland's Game as a TwoDimensional Cellular Automaton Drew Reisinger, Taylor Martin, Mason Blankenship, Christopher Harrison, Jesse Squires and Anthony Beavers 18. Irreducibility and Computational Equivalence Herve Zwrin and JeanPaul Delahaye 19. Computational Equivalence and Classical Recursion Theory Klaus Sutner
 Part VII Deliberations and Philosophical Implications 20. Wolfram and the Computing Nature Gordana DodigCrnkovic 21. A New Kind of Philosophy. Manifesto for a Digital Ontology Jacopo Tagliabue 22. Free Will For Us, not For Robots Selmer Bringsjord
 Afterword Cristian Calude.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 PARA '95 (1995 : Lyngby, Denmark)
 Berlin ; New York : Springer, 1996.
 Description
 Book — 1 online resource (562 pages) : illustrations
 Summary

 A high performance matrix multiplication algorithm for MPPs. Iterative moment method for electromagnetic transients in grounding systems on CRAY T3D. Analysis of crystalline solids by means of a parallel FEM method. Parallelization strategies for Tree Nbody codes. Numerical solution of stochastic differential equations on transputer network. Development of a stencil compiler for onedimensional convolution operators on the CM5. Automatic parallelization of the AVL FIRE benchmark for a distributedmemory system. 2D cellular automata and short range molecular dynamics programs for simulations on networked workstations and parallel computers. Pablobased performance monitoring tool for PVM applications. Linear algebra computation on parallel machines. A neural classifier for radar images. ScaLAPACK: A portable linear algebra library for distributed memory computers  Design issues and performance. A proposal for a set of parallel basic linear algebra subprograms. Parallel implementation of a Lagrangian stochastic particle model of turbulent dispersion in fluids. Reduction of a regular matrix pair (A, B) to block Hessenbergtriangular form. Parallelization of algorithms for neural networks. Paradigms for the parallelization of Branch&Bound algorithms. Threedimensional version of the Danish Eulerian Model. A proposal for a Fortran 90 interface for LAPACK. ScaLAPACK tutorial. Highly parallel concentrated heterogeneous computing. Adaptive polynomial preconditioning for the conjugate gradient algorithm. The IBM parallel engineering and scientific subroutine library. Some preliminary experiences with sparse BLAS in parallel iterative solvers. Load balancing in a Network Flow Optimization code. Userlevel VSM optimization and its application. Benchmarking the cache memory effect. Efficient Jacobi algorithms on multicomputers. Front tracking: A parallelized approach for internal boundaries and interfaces. Program generation techniques for the development and maintenance of numerical weather forecast Grid models. High performance computational chemistry: NWChem and fully distributed parallel applications. Parallel abinitio molecular dynamics. Dynamic domain decomposition and load balancing for parallel simulations of longchained molecules. Concurrency in feature analysis. A parallel iterative solver for almost blockdiagonal linear systems. Distributed general matrix multiply and add for a 2D mesh processor network. Distributed and parallel computing of shortrange molecular dynamics. Lattice field theory in a parallel environment. Parallel time independent quantum calculations of atom diatom reactivity. Parallel oil reservoir simulation. Formal specification of multicomputers. Multimillion particle molecular dynamics on MPPs. Wave propagation in urban microcells: a massively parallel approach using the TLM method. The NAG Numerical PVM Library. Cellular automata modeling of snow transport by wind. Parallel algorithm for mapping of parallel programs into pyramidal multiprocessor. Dataparallel molecular dynamics with neighborlists. Visualizing astrophysical 3D MHD turbulence. A parallel sparse QRfactorization algorithm. Decomposing linear programs for parallel solution. A parallel computation of the NavierStokes equation for the simulation of free surface flows with the volume of fluid method. Improving the performance of parallel triangularization of a sparse matrix using a reconfigurable multicomputer. Comparison of two imagespace subdivision algorithms for Direct Volume Rendering on distributedmemory multicomputers. Communication harnesses for transputer systems with tree structure and cube structure. A thorough investigation of the projector quantum Monte Carlo method using MPP technologies. Distributed simulation of a set of elastic macro objects. Parallelization of ab initio molecular dynamics method. Parallel computations with large atmospheric models.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Moritz, Eckehard Fozzy.
 New York, NY : SpringerVerlag New York, 2006.
 Description
 Book — 1 online resource : v.: digital Digital: text file.PDF.
 Summary

 Biomechanics
 Synopsis of Current Developments: Biomechanics
 Influence of Footwear on InShoe Loading for Different Soil Densities
 Validation of a FullBody Computer Simulation of the Golf Drive for Clubs of Differing Length
 Measurement of Hand Palm Pressures in "La Pelota Vasca" Game
 Analysis of the Relationship Between Mechanical Properties and Players' Perception of the Balls in a Spanish Traditional Sport: "La Pilota Valenciana"
 Biomechanical Analysis of Running on Third Generation Artificial Soccer Turf
 Evaluation of Energy Expenditure Rate During Continuous Upper Body Cyclic Exercise
 Measurement Techniques
 Synopsis of Current Developments: Measurement Techniques
 Use of the Infrared Based Motion Capture System AS 200 in Sport Science
 Employing Modern Elements of Vehicle Navigation for Integrated Motion Measurement in Sport
 TimeResolved Measurements of Grip Force During a Golf Shot
 Pacing Lights
 a New Approach to Controlling Speed in the Gait Laboratory
 Measuring Equine Ground Reaction Forces
 Examination of a Swimming Dummy's Flow Field Using Laser Doppler Velocimetry
 Head Accelerations During Soccer Heading
 A New Six Component Dynamometer for Measuring Ground Reaction Forces in Alpine Skiing
 Measurement of DrawLength Alterations in the Final Pull in Archery
 Power Measurement During Rowing
 Modelling Equipment
 Synopsis of Current Developments: Modelling Equipment
 Large Deflections during Bounce of Inflated Balls
 Finite Element Simulation of Ice Axe Pick Impact on a SemiRigid Surface
 Optimization of the Handbike's Drive Concept
 Mathematical Approach
 Using CFD to Understand the Effects of Seam Geometry on Soccer Ball Aerodynamics
 Optimization of a Recurve Bow Riser Using Evolutionary Computing
 A Preliminary Investigation into Racing Motorcycle Aerodynamics
 A Comparison of Aerodynamic Drag of a Rugby Ball Using EFD and CFD
 Modelling Systems
 Synopsis of Current Developments: Modelling Systems
 Relating Grip Characteristics to the Dynamic Response of Tennis Racquets
 Modelling the 'runout' Throw in Cricket
 Simulation Analysis of Maneuver in Skydiving
 The Measurement of Applied Pressure at Depth with Two Natural Soil Surfaces at Different Densities
 Methods of Simulation and Manipulation for the Evaluation of Figure Skating Jumps
 ComputerAided Football Training: Exploiting Advances in Distributed Tactical Operations Research
 Modelling and Measurement Equipment in Skiing
 Synopsis of Current Developments: Modelling and Measurement Equipment in Skiing
 Modeling of the SkiSnow Contact for a Carved Turn
 Improvements of Simulating Approach for Ski Turn
 Influence of Ski Bending Stiffness on the Turning Radius of Alpine Skis at Different Edging Angles and Velocities
 Study on Modification of Ski Referring Characteristic of SkiTurn (Change of Width and Shoe Center)
 A Unified, Custombuilt Measuring System for a Ski Athlete
 Analysis of Binding Loads in Snowboarding from Field Data Acquisition
 Climbing
 Pulley Mechanics and Taping
 Synopsis of Climbing
 Pulley Mechanics and Taping
 Biomechanical Properties of the A2 Pulley in Rock Climbers
 Biomechanics of Finger Pulleys during Climbing
 Biomechanical Model for the Determination of the Forces acting on the Pulley System
 Impact of "Taping" after Finger Flexor Tendon Pulley Ruptures in Rock Climbers
 Mechanical Influence of Finger Taping in Sport Climbing
 Climbing
 Technical Aspects of Training and Performance
 Synopsis of Climbing
 Technical Aspects of Training and Performance
 Chronic Exertional Compartment Syndrome of Forearm Flexor Muscles in Rock Climbers
 Evaluation of Physiological Standard Pressures
 Relation Between Specific Force Tests and Chained Degree in High Level Sport Climbers
 Dynamic EccentricConcentric Strength Training of the Finger Flexors to Improve Rock Climbing Performance
 Strength Measurement and Clinical Outcome after Conservatively Treated Pulley Ruptures in Climbers
 Evolvement and Experimentation of a New Interval Method For Strength Endurance Development
 Testing, Prototyping, Benchmarking
 Synopsis of Current Developments: Testing, Prototyping and Benchmarking
 Test Methods in the Development of Sports Equipment
 The Design and Implementation of a Crash Pad Evaluation System for Speed Skating
 Optimization of the Handbike's Drive Concept
 Experimental Approach
 Sports Surfaces
 Impact Assessment Tools.