A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
8th NASA Formal Methods Symposium
2016
Substantiation of Decision Making Processes in Construction Management and Real Estate Development
Creative Construction Conference
2016
Expression analysis of KDEL-CysEPs programmed cell death markers during reproduction in Arabidopsis
Plant Reproduction
2016
29
265-272
Deducing Truth From Correlation
IEEE Transactions on Information Theory
2016
62
12
Sep
7505 - 7517
Lattice Boltzmann methods in porous media simulations: From laminar to turbulent flow
Computers & Fluids
2016
140
nov
247--259
Modeling and Finite Element Formulation for Acoustic Problems Including Rotating Domains
AIAA Journal
2016
54
12
dec
3768--3777
Isogeometric dual mortar methods for computational contact mechanics
Computer Methods in Applied Mechanics and Engineering
2016
301
apr
259--280
Multi-rate time stepping schemes for hydro-geomechanical model for subsurface methane hydrate reservoirs
Advances in Water Resources
2016
91
may
78--87
A Local Error Estimate for the Poisson Equation with a Line Source Term
Numerical Mathematics and Advanced Applications ENUMATH 2015
Springer International Publishing
2016