Keywords: قابل اجرا بودن; Structural explanation; Mechanism; Optimality; Realizability; Multiple realization; Mathematical properties;
مقالات ISI قابل اجرا بودن (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: قابل اجرا بودن; Petri nets; Unfolding; Scheduling; Realizability;
Keywords: قابل اجرا بودن; Enterprise system; Suitability; Selection factor; Perception gap; Importance; Realizability;
Keywords: قابل اجرا بودن; Linear Temporal Logic; Linear Dynamic Logic; Parametric Linear Temporal Logic; Model checking; Realizability;
Keywords: قابل اجرا بودن; Burgers' equation; Large eddy simulation; Realizability; 76F65; 76F55;
Keywords: قابل اجرا بودن; Reynolds stress model; Positivity; Limiter; Realizability; Unconditionally stable; Unstructured grid
Keywords: قابل اجرا بودن; Fire Dynamics Simulator; Realizability; Boundedness
Keywords: قابل اجرا بودن; Computability; Interaction; Realizability;
Keywords: قابل اجرا بودن; Convex optimization; Realizability; Kinetic theory; Transport; Entropy-based closures; Moment equations;
Keywords: قابل اجرا بودن; Reynolds stress model; Positivity; Realizability; Implicit method
Keywords: قابل اجرا بودن; 44A60; 28C05; 28C20; 28C15Moment problem; Realizability; Infinite dimensional moment problem; Semi-algebraic set
Keywords: قابل اجرا بودن; 18B25; 03G30; 03D80; Effective topos; Local operators; Realizability; Sights;
The truncated moment problem on N0
Keywords: قابل اجرا بودن; Truncated moment problem; Discrete moment problem; Realizability;
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems
Keywords: قابل اجرا بودن; Reactive systems; Dynamic system structure; Scenarios; Realizability; Controller synthesis;
A realizability-preserving discontinuous Galerkin scheme for entropy-based moment closures for linear kinetic equations in one space dimension
Keywords: قابل اجرا بودن; Radiation transport; Moment models; Realizability; Discontinuous Galerkin; High order;
Realizability with a local operator of A.M. Pitts
Keywords: قابل اجرا بودن; Realizability; Non-standard arithmetic; Hyperarithmetical functions
CZF does not have the existence property
Keywords: قابل اجرا بودن; 03F50; 03F55; 03F25; 03B40; CZF; Existence property; Realizability;
Radiation transport modeling using extended quadrature method of moments
Keywords: قابل اجرا بودن; Radiation transport; EQMOM; Realizability; Finite-volume scheme
Generalizing realizability and Heyting models for constructive set theory
Keywords: قابل اجرا بودن; 03F25; 03F50; 03E35Constructive set theory; CZF; Realizability; Heyting models; Formal topology; Pca’s
Synthesis of Reactive(1) designs
Keywords: قابل اجرا بودن; Property synthesis; Realizability; Game theory
Realizability models and implicit complexity
Keywords: قابل اجرا بودن; Implicit computational complexity; Realizability; Linear logic;
Aspects of predicative algebraic set theory, II: Realizability
Keywords: قابل اجرا بودن; Constructive set theory; Realizability; Categorical logic;
An eddy viscosity model with elliptic relaxation approach
Keywords: قابل اجرا بودن; Near-wall correction; Turbulence anisotropy; Realizability; Elliptic relaxation; Flow separation and reattachment
On realizability of neural networks-based input–output models in the classical state-space form
Keywords: قابل اجرا بودن; Discrete-time nonlinear systems; Input–output models; Neural networks; Realizability
On the realizability of pair correlation functions
Keywords: قابل اجرا بودن; 05.20.--y; 05.10.--a; 02.70.UuPair correlation function; Realizability; Hard spheres and disks
An infinite sequence of non-realizable weavings
Keywords: قابل اجرا بودن; Primary: 51M20; Algebraic knot theory; Weaving; Realizability; Projection;
Output feedback stabilization for symmetric control systems
Keywords: قابل اجرا بودن; Symmetric systems; Output feedback; Realizability; Stability;
Realizability for Monotone and Clausular (Co)inductive Definitions
Keywords: قابل اجرا بودن; second-order logic AF2; realizability; monotone (co)inductive definitions; system F; monotone (co)inductive types; programming with proofs;
Remarks on applicative theories
Keywords: قابل اجرا بودن; Applicative theories; Combinatory logic; Axiom of choice; Reflection; Uniformity; Forcing; Realizability;
A theory of regular MSC languages
Keywords: قابل اجرا بودن; Message sequence charts; Message-passing systems; Regularity; Realizability; Synthesis; Monadic second-order logic;