Keywords: تایید; Automation; GIS; Quality control; Verification; Mono-temporal; Satellite images
مقالات ISI تایید (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تایید; Voting schemes; Verification; Bounded model checking; Single transferable vote; SMT solvers
Keywords: تایید; Counter Machines; Verification; Reachability; Mixed real-integer logic; Reversal-bounded
Keywords: تایید; Biomarkers; Biomarker discovery; Verification; Validation; Multiple reaction monitoring; Selected reaction monitoring; Cancer; Targeted proteomics; Plasma or serum; Mass spectrometry;
Keywords: تایید; Concurrency; Parallelism; Formal methods; Specification; Verification; Model checking; Program analysis
Keywords: تایید; Product lifecycle management; Workflow management; Verification; Process model; Compliance
Keywords: تایید; Formal methods; Verification; Security protocol; Constraint system
Keywords: تایید; Network management; Verification; Bigraphical reaction systems; Bigraphs with sharing; Runtime model generation;
Keywords: تایید; Verification; Finite element method; Error bounds; Admissible stress field
Keywords: تایید; Variability; Models at runtime; Autonomic computing; Dynamic adaptation; Dynamic software product line; Web service composition; Constraint programming; Verification
Keywords: تایید; Software product line; Verification; Feature; Language; Specification;
Keywords: تایید; Interactive Systems; I/O-machines; Specification; Verification; Invariants
Keywords: تایید; Biometrics; Knuckle recognition; Pattern recognition; Identity authentication; Identification; Verification; Discriminative common vector; Security
Keywords: تایید; Cryptographic protocols; Formal methods; Verification; Secrecy; Authentication
Keywords: تایید; Mesoscopic; Oxidation; Model; Lead bismuth eutectic; Cellular automaton; Verification;
Keywords: تایید; Animal welfare; Verification; Consumer demand; Credence attribute; Willingness to pay; Dairy products;
Keywords: تایید; Dynamical systems; Reachability; Robustness; Computational power; Verification;
Keywords: تایید; Agent-based models; Verification; Calibration; Validation; Swarm intelligence;
Keywords: تایید; Model Checking; Verification; Interpreted systems; Multi-agent systems; Markov chains; Markov decision processes; Probabilistic and epistemic logic;
Keywords: تایید; CRT; Confidence; Error-monitoring; Attribute substitution; Verification;
Keywords: تایید; Meteorological satellite; Convective storm; NWP model; Verification; Czech Republic
Keywords: تایید; Burkina Faso; Performance-based financing; Verification; Implementation; Unintended consequences; Multiple case study;
Keywords: تایید; technological readiness level; verification; validation; best practices
Keywords: تایید; Probabilistic safety analysis; Nuclear plant; Verification; Software; Failure tree; Event tree
Keywords: تایید; concurrent system; verification; category theory; Failures; CSP; process-oriented programming
Keywords: تایید; Hearing aids; Verification; Real-ear measurements; Probe-microphone measurements; Satisfaction
Keywords: تایید; Verification; Sodium coolant; Steam generator; Uncertainty; Software; Reactor facility; Normal operation mode; Steady-state parameters; Temperature
Keywords: تایید; Mathematical modeling; Outliers data; Robust statistic; Calibration; Verification; Validation
Keywords: تایید; Property specification; Business process management; Workflow management; Verification; Model checking; Petri net; Industrial processes; Vehicle commissioning processes
Keywords: تایید; Anti-patterns; Collaborative Business Processes; Verification; Formal methods; Control flow; Behavior; Cross-organizational collaborations
Keywords: تایید; Model-Driven Development (MDD); Model-Driven Architecture (MDA); Executable models; Verification; Static analysis; Alf action language
Keywords: تایید; Formal methods; Temporal logic; Functional reliability; Fault-tolerant design; Verification; Cyber-physical systems; AND/OR graph search
Keywords: تایید; Tunnel fire safety; Performance-based requirements; Design; Verification
Keywords: تایید; Grid code; Compliance; Generator testing; Staged fault testing; Model validation; Generic model; Verification; Certification; Wind power; Renewable generation; Commissioning;
Analytical solutions to a coupled fluid dynamics and neutron transport problem with application to GeN-Foam verification
Keywords: تایید; Verification; Multiphysics; Analytical solution; Method of manufactured solutions;
Validation of the ICU-DaMa tool for automatically extracting variables for minimum dataset and quality indicators: The importance of data quality assessment
Keywords: تایید; ICU; Intensive care medicine; EMR; electronic medical record; CIS; Clinical information systems; ICU-DaMa; Intensive Care Unit Data Management; CRRT; Continuous renal replacement therapy; SNOMED-CT; Systematized Nomenclature of Medicine-Clinical Terms;
Verification of SuperMC for MNSRs core analysis: The case of Ghana Research Reactor-I
Keywords: تایید; Modeling; Neutronics; SuperMC; Criticality; MCNP; MNSR-GHARR-1; Verification;
Performance evaluation of the new measurement channels on the automated Sysmex XN-9000 hematology analyzer
Keywords: تایید; Hematology analyzer; Morphology flags; Full blood count; Verification; Sysmex XN-9000;
Software verification process and methodology for the development of FPGA-based engineered safety features system
Keywords: تایید; FPGA; Verification; ESF-CCS; I&C;
Implementation and assessment of wall friction models for LWR core analysis
Keywords: تایید; Friction factor; CTF; Pressure drop; Subchannel analysis; Validation; Verification;
Progress and challenges in measles and rubella elimination in the WHO European Region
Keywords: تایید; Disease elimination; European Region; Measles; Rubella; Progress; Verification; Vaccines;
High-accuracy Geant4 simulation and semi-analytical modeling of nuclear resonance fluorescence
Keywords: تایید; Nuclear resonance fluorescence; G4NRF; Geant4; Benchmarking; Verification;
NBTI: Experimental investigation, physical modelling, circuit aging simulations and verification
Keywords: تایید; NBTI; Experimental; Modelling; Aging simulation; Verification;
DiVM: Model checking with LLVM and graph memory
Keywords: تایید; Model checking; C++; Virtual machine; Verification;
SARAX: A new code for fast reactor analysis part II: Verification, validation and uncertainty quantification
Keywords: تایید; Fast reactor; Neutronics; Verification; Validation; Uncertainty quantification;
Simplifying low-power SoC top-down design using the system-level abstraction and the increased automation
Keywords: تایید; High-level synthesis; Low power design; Power management; System-level specification; Verification;
A case-study in open-source CFD code verification, Part I: Convergence rate loss diagnosis
Keywords: تایید; Verification; Manufactured solution; OpenFOAM; CFD; Poisson equation;
First-order μ-calculus over generic transition systems and applications to the situation calculus
Keywords: تایید; Reasoning about actions; Verification; Situation calculus; First-order μ-calculus; Infinite transition systems; State-bounded transition systems;
Decision table in Rough Set as a new chemometric approach for synthesis optimization: Mn-doped ZnS quantum dots as the example
Keywords: تایید; Decision table; Chemometric approach; Synthesis optimization; Mn-doped ZnS quantum dots; Fluorescence performance; Verification;
Ensuring the semantic correctness of a BAUML artifact-centric BPM
Keywords: تایید; Verification; Validation; Reasoning; Tool; Business process modeling; UML;