Mathematical Sciences

Kondo-lattice: Kondo-effect?

Kondo effect / Mathematical Sciences / Physical sciences / Long Range / Exchange coupling / Specific Heat / Mean Field Theory / Critical Temperature / Perturbation Theory / Specific Heat / Mean Field Theory / Critical Temperature / Perturbation Theory

Fusion energy in degenerate plasmas

Mathematical Sciences / Physical sciences / Degeneration / Low Temperature / High Density Concrete / Inertial Confinement Fusion / Specific Heat / Shock Wave / Inertial Confinement Fusion / Specific Heat / Shock Wave

Acoustic black holes in a two-dimensional “photon fluid”

Mathematical Sciences / Physical sciences / CHEMICAL SCIENCES

Dynamic sliding mode control design using attracting ellipsoid method

Engineering / Robust control / Linear Matrix Inequalities / Mathematical Sciences / Automatica / Sliding mode control / First-Order Logic / Linear System / Sliding Mode / Sliding Mode Controller / Sliding mode control / First-Order Logic / Linear System / Sliding Mode / Sliding Mode Controller

Compendio ANAC

Engineering / Mechanical Engineering / Applied Mathematics / Mathematical Sciences / Measurement / Advanced manufacturing technology

A dislocation density based crystal plasticity finite element model: Application to a two-phase polycrystalline HCP/BCC composites

Engineering / Materials Engineering / Mechanical Engineering / Microstructure / Titanium / Finite Elements / Grain Boundaries / Boundary / Mathematical Sciences / Crystal Plasticity / Physical sciences / Dislocations / Interfaces / Microstructure and Grain Boundary Engineering / Texture / Dislocation Density / Grain Boundary / Single Crystal / Constitutive model / CPFEM / Strain Hardening / Finite Elements / Grain Boundaries / Boundary / Mathematical Sciences / Crystal Plasticity / Physical sciences / Dislocations / Interfaces / Microstructure and Grain Boundary Engineering / Texture / Dislocation Density / Grain Boundary / Single Crystal / Constitutive model / CPFEM / Strain Hardening

Note on singular optima in laminate design problems

Engineering / Topology Optimization / Mathematical Sciences

Note on singular optima in laminate design problems

Engineering / Topology Optimization / Mathematical Sciences

Note on singular optima in laminate design problems

Engineering / Topology Optimization / Mathematical Sciences

Note on singular optima in laminate design problems

Engineering / Topology Optimization / Mathematical Sciences

Explicación de física basica

Engineering / Fluid Mechanics / Heat Transfer / Fluid Dynamics / Vortex dynamics / Mathematical Sciences / Three Dimensional / Velocity Field / Aspect Ratio / Runge Kutta / Mathematical Sciences / Three Dimensional / Velocity Field / Aspect Ratio / Runge Kutta

An efficient transitive closure algorithm for cyclic digraphs

Engineering / Random Graph Theory / Design and Analysis of Algorithms / Simulation / Mathematical Sciences / Random Graphs / Directed Graph / Random Graphs / Directed Graph

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

CONTACTORES

Engineering / Mathematical Sciences / Computer Aided Geometric Design / Boolean Satisfiability / Linear Time

Nonlinear closures for hydrodynamical semiconductor transport models

Mathematical Sciences / Physical sciences

«
1
2
3
4
5
6
7
8
9
10
11
12
»

Copyright © 2017 DATOSPDF Inc.