Keywords: تایید; Soil moisture deficit; Fire danger rating; Land surface model; JULES; JASMIN; KBDI; SDI; Triple collocation; Verification; Calibration;
مقالات ISI تایید (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تایید; Distributed systems; Consistency; Linearizability; Verification;
Keywords: تایید; Bingham; Grouting; Verification; Cement; Radial penetration; Hard rock;
Keywords: تایید; Forest carbon model; Forest carbon dynamics; Substitution effect; Sensitivity analysis; Verification;
Keywords: تایید; ER; Emission reduction; GEST; Greenhouse gas emission site type; VCS; Verified carbon standard; Carbon credit; Peatland rewetting; Verified emission reduction; Emission factor; Regional carbon market; Verification;
Keywords: تایید; Fluid flow; Positron Emission Particle Tracking (PEPT); Time-dependent flow measurement; Uncertainty; Verification;
Keywords: تایید; Stochastic control; Stochastic systems; Verification; Safety analysis; Reachability; Game theory; Duality; Dynamic programming;
Keywords: تایید; Porous media; Quartz sand; Methane hydrate; Permeability; Saturation; Experimental simulation; Mathematical model; Verification;
Keywords: تایید; Latent prints; Latents; Fingerprint; Verification; Consultation; Conflict;
Keywords: تایید; Biomonitoring; Human serum albumin; μLC-ESI MS/HR MS; Organophosphate; Pesticide; Protein-adducts; Verification;
Keywords: تایید; Double-clad; Fiber; Convection heat transfer; Model; Verification;
Keywords: تایید; Cloud computing; Secure outsourcing; Linear regression; Verification; Data perturbation;
Keywords: تایید; Verification; Empirical point set; Affine variety; Vanishing ideal;
Keywords: تایید; Allometry; Above ground biomass; Bias; Carbon sequestration; Eucalyptus; Verification;
Keywords: تایید; Numerical modeling; Verification; Experiment; Steel structure; FEM; Fillet weld; 68U07; 74-05; 74A10; 74C05; 74S05;
Keywords: تایید; Nuclear data; Cross sections; Verification; Salt; Benchmark;
Keywords: تایید; Sub-grid; Multiphase; Heat transfer; Verification; Validation; Uncertainty quantification;
Keywords: تایید; Run-Time Management; Code generation; Formal methods; Verification;
Keywords: تایید; Power transformer; Transformer fault; Predictive maintenance; Computer algebra systems; Knowledge based systems; Verification;
Keywords: تایید; Supervisory control; Hazard monitoring; Temporal logic; Dynamic risk assessment; Verification;
Keywords: تایید; Risk; Verification; STPA; Maritime systems; Maritime Safety;
Keywords: تایید; Temporal logic; Model checking; Satisfiability; Verification;
Keywords: تایید; Artificial sky; Mirror; Luminance; Illuminance; Building scale model; Verification;
Keywords: تایید; Stereo vision; Visual cortex; Disparity-energy model; Population coding; Face recognition; Verification; Neural network; LDA; PCA;
Keywords: تایید; Elastomeric bearing; Lead rubber; Seismic isolation; Verification; Validation; OpenSees; ABAQUS; LS-DYNA; User elements;
Keywords: تایید; Self-Adaptivity; Self-learning of adaptation rules; MAPE-K feedback loop; Comprehensible adaptation logics; Run-time models; Verification;
Keywords: تایید; Abstract interpretation; Run-time checking; Verification; Logic programming; Horn clauses;
Keywords: تایید; Verification; Manufactured solution; OpenFOAM; Poisson equation; Navier-Stokes equations;
Keywords: تایید; Multilevel non-interference; Intransitive policies and downgrading; Petri nets; Unfolding semantics; True concurrency; Verification;
Keywords: تایید; Cattle recognition; Muzzle point image; Deep learning; Convolution Neural Network; DBN; SDAE; Verification; Computer vision; LBP; SURF; PCA; VLAD; LDA;
Keywords: تایید; Signatures; Electroencephalography (EEG); Multimodal data; Identification; Verification; Hidden Markov Model (HMM);
Keywords: تایید; Business process modeling; BPMN collaboration; Operational semantics; Maude; Verification;
Keywords: تایید; Albumin; Organophosphorus pesticide; Disulfide-adduct; High-resolution mass spectrometry; Verification;
Keywords: تایید; Abstract argumentation; Argumentation framework; Incomplete knowledge; Verification; Computational complexity;
Keywords: تایید; Multi-view modeling; View consistency; Formal methods; Modeling; Verification;
Keywords: تایید; Quantitative games; Partial observation; Verification; Synthesis; Game theory;
Keywords: تایید; Software product lines; Product-line analysis; Reliability analysis; Model checking; Verification;
Keywords: تایید; multi-agent system; domain theory; verification; intelligent agent.;
Keywords: تایید; Peer review; Verification; Cognitive factors; Expert evidence; Report;
Keywords: تایید; Modeling languages; Verification; Refinement; Coordination; Algorithm;
Keywords: تایید; Occupancy simulation; Occupancy pattern; Model performance evaluation; Verification; Occupant presence and movement; Occupant behavior;
Keywords: تایید; Size-resolved population balance modeling; Fractal-like aggregate; High concentration; Verification;
Keywords: تایید; Wire-wrapped fuel rod; Bundle size; Verification;
Keywords: تایید; Combined watermarking; Biometric data protection; Robustness; Computational complexity; Invisibility; Verification;
Keywords: تایید; High speed spindle; Heat sources; Inverse method; Experimental temperatures; Verification;
Keywords: تایید; Analog circuits; Global optimization; Verification; Qualitative simulation;
Keywords: تایید; Piecewise polynomial systems; Policy iterations; Sums-of-Squares; Semi-algebraic invariants; Verification;
Keywords: تایید; Flight controls; Electromechanical actuators; Model-based design; Monitoring; Uncertainty; Verification;
Keywords: تایید; Finite volume method; Non-orthogonal grid; H2/O2; Numerical error estimate; Verification; Nozzle;
Keywords: تایید; Timed temporal logic; Temporal relaxation; Controller synthesis; Verification; Finite state automata; Unambiguous languages;