Keywords: تایید; Room acoustics; Microperforated panel; Finite element method; Frequency domain; Verification
مقالات ISI تایید (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تایید; Units-of-measure; Dimension typing; Type systems; Verification; Code base evolution; Fortran; Language design;
Keywords: تایید; Magnetic strong anion-exchange resins; Chemical weapons convention; Chemical warfare agents; Derivatization; GC-MS; Alkylalkyl phosphonic acids; Alkylphosphonic acids; Verification;
Keywords: تایید; Data sources; Small disasters; Hazards; Losses; Extreme rainfall; Verification;
Keywords: تایید; Homogenization; Localization; Thermoelasticity; Predictors of failure; Verification
Keywords: تایید; Verification; Alias analysis; Frame inference; Object-oriented; Static analysis
Keywords: تایید; CPS; Digital logic; Modeling; Effectiveness; Verification; Component
Keywords: تایید; Construction technical plan; Ontology; Semantic modeling; Verification
Keywords: تایید; Model checking; Verification; Validation; Iterative abstraction refinement
Keywords: تایید; Artifact-centric business process model; Verification; Constraint programming
Keywords: تایید; Laser tracker; Articulated arm coordinate measuring machine; Verification; Calibration; Gauge
Keywords: تایید; Security; Verification; Stateful firewalls; Distributed firewalls; Cloud computing; Constraint satisfaction problem
Keywords: تایید; Verification; Mechanical characterization; Recrystallization; Inverse solution
Keywords: تایید; Longline; Dynamic simulation; Deployment; Settlement; Verification;
Keywords: تایید; Privacy protection; Access control; Purpose of data access; Formal modelling; Verification;
Keywords: تایید; Biometrics; Vein pattern; Authentication; Verification; Multi-modal fusion
Keywords: تایید; Validation; Verification; Standardization; Automated blood cell counter; Hematology analyzers; Clinical hematology laboratory;
Keywords: تایید; Web Service; Global land cover mapping; Data production; Verification; CSCW; Web GIS;
Keywords: تایید; Multi-level system; Uncertainty quantification; Bayesian network; Calibration; Validation; Verification;
Keywords: تایید; Business process management; Business process modeling; Workflow modeling; Verification; Model checking; Petri net
Keywords: تایید; 3D visualization; Dempster-Shafer theory; DSI; Ontology; GPS; Query language; Uncertain localization; Verification
Keywords: تایید; Hybrid systems; Decidability; Planar systems; Piecewise constant derivatives; Bisimulations; Reachability; Verification; Safety
Keywords: تایید; Verification; Direct simulation Monte Carlo; Computational error; Conservation laws; Time-step; Cell-size; Convergence history;
Keywords: تایید; Hydrological ensemble prediction; Forecast performance; Evaluation; Verification; Benchmark; Probabilistic forecasts;
Keywords: تایید; Verification; Skill; Ensemble forecasting; Multi-sensor precipitation; Radar precipitation;
Keywords: تایید; Verification; Non-overlapping domain decomposition methods; Quantity of interest; Local refinement
Keywords: تایید; Verification; Shock-capturing; Manufactured solutions; Integrative manufactured solutions; Weak manufactured solutions; Discontinuity propagation
Keywords: تایید; Software evolution; Object orientation; Verification; Proof systems; Class updates; Dynamic code modification
Keywords: تایید; Concurrent algorithm; Mutual exclusion; Fault tolerance; Time complexity; Verification
Keywords: تایید; Disparity; 3D; Stereo vision; Colour; Population coding; Learning; Biological model; Figure-ground; Segregation; Object; Categorisation; Verification; Neural network; Visual cortex;
Keywords: تایید; Verification; Formal semantics; MOF; QVT-relations; Theory of institutions
Keywords: تایید; Multi-agent systems; Model checking; Knowledge; Social commitments; Verification
Keywords: تایید; Software Product Lines; Software variability; Verification; Static analysis; Abstract interpretation
Keywords: تایید; Carbon capture and storage; Monitoring; Verification; Review;
Keywords: تایید; Datum plane; Stroboscopic light sources; Verification
Keywords: تایید; Distinct lattice spring model; Rock; Stress wave; Verification
Keywords: تایید; Bounds; Node-based smoothed finite element method; Finite element method; Verification; Quantity interest; Elasticity
Keywords: تایید; Heat pumps; Model; Black box; Simulation; Verification; Validation; Field test; Monitoring; Seasonal performance factor; Standby
Keywords: تایید; Validation; Finite element model; Lumbar spine; Verification; Sensitivity; Inter-subject variability; Predictive power
Keywords: تایید; Verification; Domain decomposition methods; FETI; BDD; Convergence criterion
Keywords: تایید; Thermal energy storage; Extended lumped capacitance; Effective heat transfer coefficient; CFD results; Verification
Keywords: تایید; Verification; Offline verification; Runtime verification; Monte Carlo simulations; Propulsion systems; Automated contingency management (ACM)
Keywords: تایید; Statistical damage; Aleatory uncertainty; Scale effect; Pole point; Verification
Keywords: تایید; Paired-catchments; Calibration; Verification; Nash-Sutcliffe; Experiments;
Keywords: تایید; Boundary conditions; Finite volume; Lagrange multipliers; Manufactured solutions; Verification
Keywords: تایید; Collection tree protocol (CTP); MultiHopLQI (MHLQI); Wireless sensor networks (WSN); Evolutionary algorithms (EA); Routing protocols; Verification; Energy consumption
Keywords: تایید; Conjugate heat transfer; Coupling; Finite Volume Method; Conservativity; Accuracy; Verification
Keywords: تایید; Stochastic optimal control; Verification; Viscosity solution; Exit time; Comparison result
Keywords: تایید; Design; Knowledge-based system; Verification; Validation; Cogeneration
Keywords: تایید; Voting schemes; Verification; Bounded model checking; Single transferable vote; SMT solvers