ARTÍCULO
TITULO

Classical Numerical Methods in Engineering: A Note on Existential Quantifier Elimination Under Parametric Inequality Constraints

Ioakimidis    
N I    

Resumen

No disponible

 Artículos similares

       
 
Paulo Marcelo Vieira Ribeiro and Pierre Léger    
Concrete dams are massive unreinforced quasi-brittle structures prone to cracking from multiple causes. The structural safety assessment of cracked concrete dams is typically performed using computational analysis through numerical methods, with adequate... ver más
Revista: Infrastructures

 
Olivier Pantalé    
Numerical methods based on finite element (FE) have proven their efficiency for many years in the thermomechanical simulation of forming processes. Nevertheless, the application of these methods to new materials requires the identification and implementa... ver más
Revista: Algorithms

 
Klaus Röbenack and Stefan Palis    
The classical buck converter is a very common DC?DC converter, which reduces an higher input supply voltage to a lower output load voltage. Replacing the inductor and the capacitor by a transmission line, we obtain a distributed buck converter, which can... ver más
Revista: Algorithms

 
Efthimios Providas and Ioannis Nestorios Parasidis    
Integro-differential equations involving Volterra and Fredholm operators (VFIDEs) are used to model many phenomena in science and engineering. Nonlocal boundary conditions are more effective, and in some cases necessary, because they are more accurate me... ver más
Revista: Algorithms

 
Daria Gladskikh, Lev Ostrovsky, Yuliya Troitskaya, Irina Soustova and Evgeny Mortikov    
Within the framework of the theory of unsteady turbulent flows in a stratified fluid, a new parameterization of the turbulent Prandtl number is proposed. The parameterization is included in the k-e-closure and used within the three-dimensional model of t... ver más