Finite

Results: 6380



#Item
611Software / Numerical analysis / Finite element method / Application software / Structural analysis / Computational fluid dynamics / Code Aster / SPECfp

NAFEMS eLibrary Corporate Subscription

Add to Reading List

Source URL: www.nafems.org

Language: English - Date: 2012-11-08 06:49:06
612Software engineering / Computing / Models of computation / Software / Finite automata / Finite-state machine / Transition system / XC / Verilog / Clock / Presentation / Specification and Description Language

IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu  , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:31
613Mathematics / Mathematical analysis / Markov processes / Functional analysis / Combinatorics on words / Smooth functions / Dynamical system / Distribution / Valuation / Reversible cellular automaton / Subshift of finite type / Cellular automaton

Conservation Laws and Invariant Measures in Surjective Cellular Automata Jarkko Kari1† and Siamak Taati2‡ 1 2

Add to Reading List

Source URL: www.staff.science.uu.nl

Language: English - Date: 2011-12-30 16:36:18
614Dynamical systems / Engineering / Product lifecycle management / Numerical analysis / Finite element method / Business / Computer-aided engineering / Multibody system / Multibody simulation / Simulation / Ansys / Virtual prototyping

Microsoft Word - Advanced Neurophysiology - DA CORREGGERE

Add to Reading List

Source URL: phd.dibris.unige.it

Language: English - Date: 2015-02-12 05:43:30
615Algebra / Mathematics / Linear algebra / Vector space / Linear map / Dual space

d-dimensional symmetric bilinear DHO in V (((1/r)d2 + 3d + 2)/2, 2) The 11th International Conference on Finite Fields and their Applications, Otto-Von Guericke University (Magdeburg), July 23 – 26, 2013. Hiroaki Tanig

Add to Reading List

Source URL: www.math.uni-magdeburg.de

Language: English - Date: 2013-08-14 05:46:40
616Numerical analysis / Mathematical analysis / Computational fluid dynamics / Computational science / Shock capturing method / Finite volume method / Partial differential equation / Finite difference method / CourantFriedrichsLewy condition / RungeKutta methods / Discretization

Staggered Finite Difference Schemes for Balance Laws Gabriella Puppo and Giovanni Russo Abstract. In this paper a new family of high-order finite-difference shock-capturing central schemes for hyperbolic systems with sti

Add to Reading List

Source URL: www.dmi.unict.it

Language: English - Date: 2005-02-08 09:42:14
617Wave mechanics / Waves / Mechanics / Mathematical analysis / Seismic tomography / Kernel / Dispersion / Phase velocity / Wave / Integral transform / Sine wave / Earthscope

Geophysical Journal International Geophys. J. Intdoi: j.1365-246Xx Empirically determined finite frequency sensitivity kernels

Add to Reading List

Source URL: noise.earth.utah.edu

Language: English - Date: 2015-06-29 13:55:03
618Algebra / Mathematics / Abstract algebra / Group theory / Finite groups / Projective geometry / Conjugacy class / Lie groups / Covering space / Elliptic curve / Direct product of groups / Sylow theorems

Elements and cyclic subgroups of finite order of the Cremona group J´er´emy Blanc April 12, 2009 Abstract We give the classification of elements – respectively cyclic subgroups –

Add to Reading List

Source URL: jones.math.unibas.ch

Language: English - Date: 2014-09-21 13:51:04
619Computational complexity theory / Logic / Complexity classes / Abstraction / Metalogic / Predicate logic / Finite model theory / IP / FO / Quantifier / PSPACE-complete / Model theory

Constraint Satisfaction with Counting Quantifiers⋆ Florent Madelaine1 , Barnaby Martin2⋆⋆ and Juraj Stacho3⋆ ⋆ ⋆ 2

Add to Reading List

Source URL: www.bedewell.com

Language: English - Date: 2012-03-15 13:21:54
620Algebra / Abstract algebra / Mathematics / Algebraic number theory / Analytic number theory / Group theory / Field theory / Elliptic curve / Generalized Riemann hypothesis / Prime number / Algebraic number field / Finite field

C OMPOSITIO M ATHEMATICA R AJIV G UPTA M. R AM M URTY Primitive points on elliptic curves Compositio Mathematica, tome 58, no), p.

Add to Reading List

Source URL: www.mast.queensu.ca

Language: English - Date: 2008-12-04 19:42:26
UPDATE