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 Multi-stage Launchers
- A Robust Predictive Control Formulation for Heliogyro Blade Stability
- Piecewise Polynomial Taylor Expansions-The Generalization of Faà di Bruno's Formula
- Grid-Enhanced Polylithic Modeling and Solution Approaches for Hard Optimization Problems
- Model Predictive Q-Learning (MPQ-L) for Bilinear Systems
- SCOUT: Scheduling Core Utilization to Optimize the Performance of Scientific Computing Applications on CPU/Coprocessor-Based Cluster
- Chainer-XP: 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
- SCIP-Jack: 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 Discrete-Time Inverse
- An Improved Conjugate Gradients Method for Quasi-linear Bayesian Inverse Problems, Tested on an Example from Hydrogeology
- Idiosyncrasies of the Frequency Response of Discrete-Time Equivalents of Continuous-Time 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.- Bench-top vs. hand-held, battery-operated 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 PC-based oscilloscopes.- Triggered-sweep 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 Life-like 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 Two-Dimensional Cellular Automaton Drew Reisinger, Taylor Martin, Mason Blankenship, Christopher Harrison, Jesse Squires and Anthony Beavers 18. Irreducibility and Computational Equivalence Herve Zwrin and Jean-Paul Delahaye 19. Computational Equivalence and Classical Recursion Theory Klaus Sutner
- Part VII Deliberations and Philosophical Implications 20. Wolfram and the Computing Nature Gordana Dodig-Crnkovic 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 N-body codes.- Numerical solution of stochastic differential equations on transputer network.- Development of a stencil compiler for one-dimensional convolution operators on the CM-5.- Automatic parallelization of the AVL FIRE benchmark for a distributed-memory system.- 2-D cellular automata and short range molecular dynamics programs for simulations on networked workstations and parallel computers.- Pablo-based 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 Hessenberg-triangular form.- Parallelization of algorithms for neural networks.- Paradigms for the parallelization of Branch&Bound algorithms.- Three-dimensional 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.- User-level 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 ab-initio molecular dynamics.- Dynamic domain decomposition and load balancing for parallel simulations of long-chained molecules.- Concurrency in feature analysis.- A parallel iterative solver for almost block-diagonal linear systems.- Distributed general matrix multiply and add for a 2D mesh processor network.- Distributed and parallel computing of short-range 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.- Multi-million 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.- Data-parallel molecular dynamics with neighbor-lists.- Visualizing astrophysical 3D MHD turbulence.- A parallel sparse QR-factorization algorithm.- Decomposing linear programs for parallel solution.- A parallel computation of the Navier-Stokes 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 image-space subdivision algorithms for Direct Volume Rendering on distributed-memory 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 : Springer-Verlag 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 In-Shoe Loading for Different Soil Densities
- Validation of a Full-Body 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
- Time-Resolved 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 Draw-Length 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 Semi-Rigid 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 'run-out' 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
- Computer-Aided 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 Ski-Snow 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 Ski-Turn (Change of Width and Shoe Center)
- A Unified, Custom-built 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 Eccentric-Concentric 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.