Arama Sonuçları - finite model theory

Mathematical Modeling and Simulation in Mechanics and Dynamic Systems

Konular: “…code-based modelling approach…”
DOAB: download the publication
DOAB: description of the publication

In Memoriam, Solomon Marcus

Konular: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication

Recent Advances in Theoretical and Computational Modeling of Composite Materials and Structures

Konular: “…dynamics modeling…”
DOAB: download the publication
DOAB: description of the publication

The comparison of biomechanical effects of the conventional and bone-borne palatal expanders on late adolescence with unilateral cleft palate: a 3-dimensional finite element analys... Yazar: Wen-yu Meng, Yan-qing Ma, Bing Shi, Ren-kai Liu, Xiao-ming Wang

Connect to this object online.

Numerical Simulation in Biomechanics and Biomedical Engineering

Konular: “…finite element modelling…”
DOAB: download the publication
DOAB: description of the publication

Engineering Mathematics in Ship Design Yazar: Dos Santos, Elizaldo Domingues

Konular: “…finite element…”
DOAB: download the publication
DOAB: description of the publication

Computational Mathematics, Algorithms, and Data Processing

Konular: “…multiscale model reduction…”
DOAB: download the publication
DOAB: description of the publication

Dynamics of Charged Particles and their Radiation Field Yazar: Spohn, Herbert

Konular: “…Abraham model…”
DOAB: download the publication
DOAB: description of the publication

Dynamics of Charged Particles and their Radiation Field Yazar: Spohn, Herbert

Konular: “…Abraham model…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Advances in Modeling and Management of Urban Water Networks

Konular: “…GIS modeling…”
DOAB: download the publication
DOAB: description of the publication

Experimental Testing and Constitutive Modelling of Pavement Materials

Konular: “…modeling theories…”
DOAB: download the publication
DOAB: description of the publication

Applications of Mathematical Models in Engineering

Konular: “…kinetic theory…”
DOAB: download the publication
DOAB: description of the publication

GASFLOW-MPI: A Scalable Computational Fluid Dynamics Code for Gases, Aerosols and Combustion. Band 1 (Theory and Computational Model (Revision 1.0) und Band 2 (Users' Manual). (KIT... Yazar: Xiao, JianjunTravis, JackRoyl, PeterNecker, GottfriedSvishchev, AnatolyJordan, Thomas

DOAB: download the publication
DOAB: description of the publication

Process Modeling in Pyrometallurgical Engineering

Konular: “…prediction model…”
DOAB: download the publication
DOAB: description of the publication

Biomedical Sensing and Imaging

Konular: “…thin shell model…”
DOAB: download the publication
DOAB: description of the publication

Sex Differences in Reading and Math Test Scores of Children A Heterodoxical Model Yazar: Thomas, Hoben

DOAB: download the publication
DOAB: description of the publication

Sex Differences in Reading and Math Test Scores of Children A Heterodoxical Model Yazar: Thomas, Hoben

OAPEN Library: download the publication
OAPEN Library: description of the publication

Brain and Human Body Modeling 2020 Computational Human Models Presented at EMBC 2019 and the BRAIN Initiative® 2019 Meeting /

İçindekiler: “…Surgery Planning and Treatment Evaluation with Finite Element Methods -- A Computational FEM Parcelled-Brain Model for Electric Field Analysis in Transcranial Direct Current Stimulation -- Computer Model of Electroconvulsive Therapy with Tractography Analysis -- Personalization of multi-electrode setups in tCS: methods and advantages -- Solving High-Resolution Forward Problems for Extra- and Intracranial Neurophysiological Recordings Using Boundary Element Fast Multipole Method -- Modeling Primary Fields of TMS Coils with the Fast Multipole Method -- Functional Requirements of Small- and Large-Scale Neural Circuitry Connectome Models -- A miniaturized ultra-focal magnetic stimulator and its preliminary application to the peripheral nervous system -- Modelling studies of non-invasive electric and magnetic stimulation of the spinal cord -- Simplifying the Numerical Human Model with k-means Clustering Method -- Using Anatomical Human Body Model for FEM SAR Simulation of a 3T MRI System -- RF-Induced Unintended Stimulation for Implantable Medical Devices in MRI.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

İçindekiler: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

Robust Design Optimization of Electrical Machines and Devices

Konular: “…equivalent circuit model…”
DOAB: download the publication
DOAB: description of the publication