Keywords: صدا; Cyber-physical systems; Model-based testing; Conformance testing; Soundness; Reachability analysis;
مقالات ISI صدا (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: صدا; Code reuse; Modular reasoning; Early reasoning; Uninterpreted predicates; Soundness; Completeness;
Keywords: صدا; Blended cement; Compressive strength; Mortar; Ferronickel slag; Soundness;
Keywords: صدا; Geopolymer; Reacted alkali; Free alkali; Quality control; Soundness;
Keywords: صدا; Numbers; G22; G28; G01; Competition; Soundness; Boone indicator; European life insurers; Financial crisis;
Keywords: صدا; Multi-agent systems; Knowledge; Social commitments; Soundness; Completeness; Correspondence theory
Keywords: صدا; Bisimulation; Completeness; Fuzzy labeled transition system; Logical characterization; Simulation; Soundness;
Keywords: صدا; Profitability; Soundness; Ownership effectG21; G28; C33
Keywords: صدا; Conditional independence statement; Saturated conditional independence statement; Axiom system; Semigraphoid axioms; Soundness; Completeness; Databases
Keywords: صدا; Soundness; Workflow nets; Decision-process Petri nets; Stability; Lyapunov methods; Optimization
Keywords: صدا; Time workflow net; Soundness; Partial order reduction; State space; Abstraction;
Keywords: صدا; Exception; Anchored exception declaration; Modular; Soundness
Keywords: صدا; Association rule mining; Outsourcing; Semantic security; Privacy; Soundness
The soundness of steel slag with different free CaO and MgO contents
Keywords: صدا; Steel slag; Soundness; f-CaO; MgO;
Laboratory investigation of carbonated BOF slag used as partial replacement of natural aggregate in cement mortars
Keywords: صدا; BOF slag; Mineral carbonation; Fine aggregate; Cement mortar; Soundness; Leaching;
Expansion of ordinary Portland cement paste varied with nano-MgO
Keywords: صدا; Cement paste; Dam concrete; Expansion; Nano-MgO; Soundness
Testing the soundness of aggregates using different methodologies
Keywords: صدا; Soundness; Aggregate; Sodium sulphate; Magnesium sulphate; Standardised test
Regulations and soundness of insurance firms: International evidence
Keywords: صدا; Insurance; Regulations; Solvency; Soundness
Symbolic model checking composite Web services using operational and control behaviors
Keywords: صدا; Composite Web service; Behavior; Soundness; Completeness; Symbolic model checking; NuSMV
On the semantics of Markov automata
Keywords: صدا; Markov automata; Bisimulation; Soundness; Completeness
Preparation of high performance blended cements and reclamation of iron concentrate from basic oxygen furnace steel slag
Keywords: صدا; Basic oxygen furnace steel slag; Blended cement; Iron concentrate; Cementitious activity; Soundness
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible
Keywords: صدا; Conceptual workflow models; Soundness; Refinement; Verification; Correctness; May/must semantics
Analysis on demand: Instantaneous soundness checking of industrial business process models
Keywords: صدا; Business Process Modeling; Quality assurance; Soundness; Verification; Control-flow analysis
Verification of lime and water glass stabilized FGD gypsum as road sub-base
Keywords: صدا; FGD gypsum; Water glass; Soundness; Road sub-base; Curing method
Assessing bank soundness with classification techniques
Keywords: صدا; Bank; Classification; Integration; Soundness
Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies
Keywords: صدا; Knowledge acquisition; Armstrong relation; Functional dependency; Soundness; Completeness
Modeling and monitoring of E-commerce workflows
Keywords: صدا; Electronic commerce workflow; Labeled workflow net; Modeling; Monitoring; Soundness
Soundness-preserving reduction rules for reset workflow nets
Keywords: صدا; Reset nets; Reduction rules; Workflow verification; Soundness
The incidence and significance of excess acupuncture channel imbalance in the equine sport horse purchase examination, 1999–2004
Keywords: صدا; acupuncture; sport horse; prepurchase; soundness
Unauthorized inferences in semistructured databases
Keywords: صدا; Privacy; Inference problem; Semistructured data; Entailment; Soundness; Completeness
Structural soundness of workflow nets is decidable
Keywords: صدا; Petri net; Workflow net; Soundness; Decidability; Algorithms;
Microstructure characterization and tensile properties of squeeze-cast AlSiMg alloys
Keywords: صدا; AlSiMg; Squeeze casting; Soundness; Macro-/microstructure; Aging; Tensile properties;
Normalized workflow net (NWF-net): Its definition and properties
Keywords: صدا; NWF-net; Petri net; Soundness; Context-free language;