1
Shell and Spatial Structures [E-Book] : Proceedings of IWSS 2023 /
Table of Contents: ... -- Internal force and moment surfaces for shells -- Steel frames optimization considering beam-column joint stiffness and geometric constraints -- Dynamic Analysis of Doubly-curved Shells Made of Advanced Materials with Higher Order Theories and Generalized...

Full text 
2
Advanced Robust Nonlinear Control Approaches for Quadrotor Unmanned Aerial Vehicle [E-Book] : Roadmap to Improve Tracking-Trajectory Performance in the Presence of External Disturbances /
3
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,  Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II /
Table of Contents: ... Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax...

Full text 
4
Modeling and computation in vibration problems. Volume 1. Numerical and semi-analytical methods [E-Book] /
Table of Contents: ...1. Higher order theory for the modal analysis of doubly-curved shells with lattice layers and honeycomb cores / Francesco Tornabene, Matteo Viscoti and Rossana Dimitri -- 2. Particle impact damping technology : modelling and applications / Nazeer Ahmad...

Full text 
5
Topics in Integral and Integro-Differential Equations [E-Book] : Theory and Applications /
Table of Contents: ... -- Solutions of integral equations by reproducing kernel Hilbert space method -- Restricted global convergence domains for integral equations of the Fredholm-Hammerstein type -- Boundary integral equation formulation for fractional order theory of thermo...

Full text 
6
Advances in Thick Section Composite and Sandwich Structures [E-Book] : An Anthology of ONR-sponsored Research /
Table of Contents: ... of Composite Materials -- Low Velocity Impact of Marine Composites: Theory and Experiments -- Transient Deformations of Doubly Curved Shells using Third Order Shear and Normal Deformable Shell Theory -- An Advanced High Order Theory for the Linear and Nonlinear...

Full text 
7
Biophysics [E-Book] : A Student's Guide to the Physics of the Life Sciences and Medicine /
Table of Contents: ... -- Chapter12: Entropy and Information in Biology -- Chapter13: Modeling Biological Systems -- Chapter14: Neural Networks and Brains -- Chapter15: Ordering Theory -- Chapter16: Energy Flow in the Production of Order -- Chapter17: Life in the Universe -- Chapter18...

Full text 
8
Long-lived nuclear spin order : theory and applications [E-Book] /
9
Advances in Artificial Intelligence and Its Applications [E-Book] : 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I /
Table of Contents: ...Some Properties of Logic N-GLukG -- The Inverse Method for Many-Valued Logics -- A Parametric Interpolation Framework for First-Order Theories -- Dalal’s Revision without Hamming Distance -- Default Assumptions and Selection Functions: A Generic...

Full text 
10
Structural materials and engineering / [E-Book]
Table of Contents: ... deformations / Ali A. Abbas, Milija N. Pavlović, Michael D. Kotsovos -- Towards efficient analytical models for seismic analysis of multistoried buildings / Y. Belmouden, P. Lestuzzi -- Dynamic stability of beams using a higher order theory / Sebastian P. Machado...

Full text 
11
Relativistic Heavy-Particle Collision Theory [E-Book] /
Table of Contents: ...-Order Theories -- 1. Second-Order Theories of Relativistic Electron Capture -- 2. Relativistic OBK1 and Peaking Approximations -- 3. The Relativistic Bates Approximation -- 4. Relativistic OBK2 -- 5. The Relativistic Impulse Approximation -- 6. Half-on-Shell...

Full text 
12
Grundlagen der chemischen Kinetik /
Book
13
Admissibility of logical inference rules [E-Book] /
14
Atoms in Plasmas [E-Book] /
Table of Contents: ... Numerical Calculations of Spectra of an Atom in a Magnetic Field -- 6.6 Hydrogen Atom in Crossed Electric and Magnetic Fields -- 6.6.1 First-Order Theory -- 6.6.2 Second-Order Corrections -- 6.6.3 Atom in Electric and Strong Magnetic Fields -- 6.7 Conclusions...

Full text 
15
Recursive functionals [E-Book] /
16
First order theories for the verification of complex FSMs.
Book
17
Predictability, Stability, and Chaos in N-Body Dynamical Systems [E-Book] /
Table of Contents: ... Commensurabilities in the Main Lunar Problem: A Postscript to a Discovery of the Ancient Chaldeans -- Moon’s Influence on the Transfer from the Earth to a Halo Orbit Around L1 -- First Order Theory of Perturbed Circular Motion: An Application to Artificial Satellites...

Full text 
18
Composite Structures [E-Book] /
Table of Contents: ... -- 7. Buckling and Postbuckling Analysis of Laminated Shell Structures by Finite Elements Based on the Third Order Theory -- 8. Finite Element Analysis of Sandwich Structures -- 9. Finite Element and Experimental Studies on an Orthotropic Disc -- Damage...

Full text 
19
Nonequilibrium Vibrational Kinetics [E-Book] /
Table of Contents: ... in Atom-Diatom and Diatom-Diatom Collisions -- 4.1 First-Order Theories -- 4.2 Scaling Theories -- 4.3 Semiclassical Theories -- 4.4 Analytical Expressions for V-V and V-T Rate Constants -- 4.5 Energy Transfer in Specific Systems -- 4.A Appendix: Tables...

Full text 
20
Aspects of positivity in functional analysis [E-Book] : proceedings of the conference held on the occasion of H.H. Schaefer's 60th birthday, Tübingen, 24-28 June 1985 /