Wave Maps and Ill-posedness of their Cauchy Problem -- On the Global Behavior of Classical Solutions to Coupled Systems of Semilinear Wave Equations -- Decay and Global Existence for Nonlinear Wave Equations with Localized Dissipations in General Exterior Domains -- Global Existence in the Cauchy Problem for Nonlinear Wave Equations with Variable Speed of Propagation -- On the Nonlinear Cauchy …
Introduction: Basic Notions and Methods -- Heterogeneous Rod -- Heterogeneous Plate -- Finite Rod Structures -- Lattice Structures -- The Multi-Scale Domain Decomposition.Numerous applications of rod structures in civil engineering, aircraft and spacecraft confirm the importance of the topic. On the other hand the majority of books on structural mechanics use some simplifying hypotheses; these …
Atomistic Models -- Lattice Gas Models and Kinetic Monte Carlo Simulations of Epitaxial Growth -- Cluster Diffusion and Island Formation on fcc(111) Metal Surfaces Studied by Atomic Scale Computer Simulations -- A Multiscale Study of the Epitaxial CVD of Si from Chlorosilanes -- Off-lattice Kinetic Monte Carlo Simulations of Strained Heteroepitaxial Growth -- Quasicontinuum Monte Carlo Simulati…
Multiscale Discontinuous Galerkin Methods for Elliptic Problems with Multiple Scales -- Discrete Network Approximation for Highly-Packed Composites with Irregular Geometry in Three Dimensions -- Adaptive Monte Carlo Algorithms for Stopped Diffusion -- The Heterogeneous Multi-Scale Method for Homogenization Problems -- A Coarsening Multigrid Method for Flow in Heterogeneous Porous Media -- On th…
Nonlinear Inverse Problems: Theoretical Aspects and Some Industrial Applications -- Numerical Methods for the Simulation of Incompressible Viscous Flow: An Introduction -- Computational Techniques for the Verification and Control of Hybrid Systems -- Data Assimilation Methods for an Oceanographic Problem -- Ant Colonies: a Nature inspired Paradigm for the Mathematical Modelling of Self-Organizi…
The Evolution of Type Theory until the 1940s -- Prehistory -- Type theory in Principia Mathematica -- Deramification -- Propositions as Types, Pure Type Systems, AUTOMATH -- Propositions as Types and Pure Type Systems -- The pre-PAT RTT and STT in PAT-style -- A Correspondence between RTT and the system Nuprl -- Automath -- Extensions of Pure Type Systems -- Pure Type Systems with definitions -…
Why probability and statistics? -- Outcomes, events, and probability -- Conditional probability and independence -- Discrete random variables -- Continuous random variables -- Simulation -- Expectation and variance -- Computations with random variables -- Joint distributions and independence -- Covariance and correlation -- More computations with more random variables -- The Poisson process -- …
Constraint Retraction for Dynamic Constraint Satisfaction Problems over Disjoint Real Intervals -- Computational Methods for Large Distributed Parameter Estimation Problems in 3D -- Robust Parameter Estimation for Identifying Satellite Injection Orbits -- On the Numerical Simulation of the Free Fall Problem -- Searching the Web: a Semantics-Based Approach -- Adaptive Computation with Perfectly …
An Energetic Variational Formulation with Phase Field Methods for Interfacial Dynamics of Complex Fluids: Advantages and Challenges -- Non-Equilibrium Statistical Mechanics of Nematic Liquids -- Anisotropy and Heterogeneity of Nematic Polymer Nano-Composite Film Properties -- Non-Newtonian Constitutive Equations Using the Orientational Order Parameter -- Surface Order Forces in Nematic Liquid C…
Gas Flows -- Governing Equations and Slip Models -- Shear-Driven Flows -- Pressure-Driven Flows -- Thermal Effects in Microscales -- Prototype Applications of Gas Flows -- Basic Concepts and Technologies -- Liquid Flows -- Electrokinetic Flows -- Surface Tension-Driven Flows -- Mixers and Chaotic Advection -- Simple Fluids in Nanochannels -- Water in Nanochannels -- Electroosmotic Flow in Nanoc…