Finding Contents or People

Verification of Quantum Protocols with a Probabilistic Model-Checker
a universal model to predict roadheaders cutting performance
Mathematical models for preemptive shop scheduling problems
A novel model for vibrations of nanotubes conveying nanoflow
A novel model for vibrations of nanotubes conveying nanoflow
ON TRIGONOMETRY IN BELTRAMI-KLEIN MODEL OF HYPERBOLIC GEOMETRY
Infnite statistics condensate as a model of dark matter
Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts
A computational library for multiscale modeling of material failure
Universally Optimality for One-Sided Interference Model
Gauge symmetry in Lagrangian formulation and Schwinger models
A three dimensional compessible lattice Boltzmann model
Modeling and Simulation of Suspension Polymerization of Expandable Polystyrene
Dynamic Modeling and Simulation of Remotely Operatad vehicles
Dynamic Modeling and Simulation of Remotely Operatad vehicles