ليست عنوان مقالات لاتين فني مهندسي Validating and characterizing high speed datacom devices Validation of MODIS gross primary productivity for a subtropical coniferous plantation in Southern China

<< مقالات لاتين فني مهندسي >>

<< بر اساس عنوان >>

1

Validating and characterizing high speed datacom devices

2

Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications

3

Validating and evolving software requirements in a systematic framework

4

Validating and improving an existing software architectural evaluation process

5

Validating and improving test-case effectiveness

6

Validating and Mapping Surface Water Temperatures in Lake Taihu: Results From MODIS Land Surface Temperature Products

7

Validating and prioritizing quality rules for managing technical debt: An industrial case study

8

Validating and refining clusters via visual rendering

9

Validating and Restoring Defense in Depth Using Attack Graphs

10

Validating and understanding software cost estimation models based on neural networks

11

Validating anechoic chambers above 1 GHz using a reciprocal site VSWR technique

12

Validating ArmAssist Assessment as outcome measure in upper-limb post-stroke telerehabilitation

13

Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers

14

Validating astrophysical simulation codes

15

Validating Attacks on Authentication Protocols

16

Validating Automotive Control Software Using Instrumentation-Based Verification

17

Validating cascading of crossbar circuits with an integrated device-circuit exploration

18

Validating Cloud Infrastructure Changes by Cloud Audits

19

Validating Clustering for Gene Expression Data Based on Semantic Distance of Gene Ontology Terms

20

Validating clusterings of gene expression data

21

Validating clusters using the Hopkins statistic

22

Validating complex computer system availability models

23

Validating complex interactions in Air Traffic Management

24

Validating component compositions in software system generators

25

Validating compositions of geospatial processing Web services in a scientific workflow environment

26

Validating connected vehicles architecture

27

Validating connectionist implementations

28

Validating Constraints for Inter and Intra Relationships in XML Structured Document

29

Validating Context Information in Context Aware Systems

30

Validating continuous kraft digester kinetic models with online NIR measurements

31

Validating Controllers for Internal Stability Utilizing Closed-Loop Data

32

Validating correctness of interfaces of design models using functional abstractions

33

Validating CT-assisted Region of Interest Acquisition Method in 99mTc-DTPA Scintigraphy for Patients with Low Renal Function

34

Validating Cyber Security Requirements: A Case Study

35

Validating data from instruments in harsh environments: the designer´s dilemma

36

Validating Delay Bounds in Networks on Chip: Tightness and Pitfalls

37

Validating Denial of Service Vulnerabilities in Web Services

38

Validating different flexible vocabulary approaches on the Swiss French PolyPhone and PolyVar databases

39

Validating dimension hierarchy metrics for the understandability of multidimensional models for data warehouse

40

Validating direct memory access interfaces with conformance checking

41

Validating directional edge-based image feature representations in face recognition by spatial correlation-based clustering

42

Validating discrete event simulations using event pattern mappings

43

Validating EAST-ADL Timing Constraints Using UPPAAL

44

Validating ECG signals using a single-layer ANN

45

Validating enterprise architecture using ontology-based approach: A case study of student internship programme

46

Validating executable controller specifications through formal model checking

47

Validating Expert System Performance

48

Validating expert system rule confidences using data mining of myocardial perfusion SPECT databases

49

Validating expert systems

50

Validating Families of Latency Insensitive Protocols

51

Validating families of latency insensitive protocols

52

Validating fast simulation of air damping in micromachined devices

53

Validating fault tolerant designs using laser fault injection (LFI)

54

Validating FEA models of complex generator and gearbox assemblies using experimental modal analysis

55

Validating foundry technologies for extended mission profiles

56

Validating functional system requirements with scenarios

57

Validating fuzzy decision model using risk and confidence analysis

58

Validating GEOV1 Fractional Vegetation Cover Derived From Coarse-Resolution Remote Sensing Images Over Croplands

59

Validating global landcover classification pattern using spatial resolution-independent landscape metrics

60

Validating GPS software and implications for the future

61

Validating GrADAR - an Approach for graph-based automated DoS attack response

62

Validating Halstead´s theory for Pascal programs

63

Validating Halstead´s theory with system 3 data

64

Validating health status questionnaires in medicine: examples from a real life trial

65

Validating human-robot interaction schemes in multitasking environments

66

Validating ICESat Over Thick Sea Ice in the Northern Canada Basin

67

Validating Instrument Quality for Measuring Students´ Acceptance of an Online Discussion Site (ODS)

68

Validating interaction patterns in HRI

69

Validating interaction patterns of CORBA based network management systems

70

Validating interactions in ubiquitous software systems using dialogue oriented interactions

71

Validating IPTV service quality under realistic triple play network conditions

72

Validating ITIL maturity to strategic business-IT alignment

73

Validating knowledge systems: a scheduling example

74

Validating lidar depolarization calibration using solar radiation scattered by ice clouds

75

Validating logistics service quality scale in East Java Industries

76

Validating lower extremity counterpulsation during CPR by computer simulated evolution

77

Validating measurement-based composite load model

78

Validating Meronymy Hypotheses with Support Vector Machines and Graph Kernels

79

Validating metric thresholds with developers: An early result

80

Validating metrics for data warehouses

81

Validating metrics for ensuring Space Shuttle flight software quality

82

Validating microscopic traffic flow models

83

Validating mission-critical ethernet networks for protection, automation, and control applications

84

Validating Mixed-Phase Cloud Optical Depth Retrieved From Infrared Observations With High Spectral Resolution Lidar

85

Validating mobility management solutions for interworking UMTS and IEEE 802.11 networks

86

Validating model-based design simulation: The impact of abstraction and fidelity levels

87

Validating models of bacterial chemotaxis by simulating the random motility coefficient

88

Validating MPEG-21 encapsulated functional metadata

89

Validating multiattribute decision making methods for supporting group decisions

90

Validating Multi-column Schema Matchings by Type

91

Validating multipath responses of moving targets through urban environments

92

Validating network protocols using a flexible verifier

93

Validating Network Value of Influencers by Means of Explanations

94

Validating novel CAC algorithms on ATM testbeds

95

Validating objected-oriented prototype of real-time systems with timed automata

96

Validating online recursive independent component analysis on EEG data

97

Validating OPA with WECC Data

98

Validating ORA-SS data models using Alloy

99

Validating Orchestration of Web Services with BPEL and Aggregate Signatures

100

Validating packet origin using external route information

101

Validating personal requirements by assisted symbolic behavior browsing

102

Validating phase relations between cardiac and breathing cycles during sleep

103

Validating physical access layer of WiMAX using SystemVerilog

104

Validating Power Architecture™ Technology-Based MPSoCs Through Executable Specifications

105

Validating PowerPC microprocessor custom memories

106

Validating predicted rural corridor travel times from an automated license plate recognition system: Oregon´s frontier project

107

Validating prediction packages using superresolution direction finding techniques and oblique ionospheric soundings

108

Validating Prognostic Algorithms: A Case Study Using Comprehensive Bearing Fault Data

109

Validating quality attribute requirements via execution-based model checking

110

Validating quality of Business Object based Requirement Analysis Framework: An empirical study

111

Validating Query/View/Transformation Relations

112

Validating Quicksand: Schema Versioning in tauXSchema

113

Validating Real Time Specifications using Real Time Event Queue Modeling

114

Validating real-time constraints in embedded systems

115

Validating Real-time Systems By History-checking TRIO Specifications

116

Validating relationship between aerosol´s liquid water content and optical attenuation for terrestrial FSO links

117

Validating Requirements Engineering Process Improvements - A Case Study

118

Validating requirements for fault tolerant systems using model checking

119

Validating Requirements Model of a B2B System

120

Validating requirements: the evolutionary approach

121

Validating rule-based systems: a complete methodology

122

Validating run-time interactions in distributed Java applications

123

Validating SAR interferometry applications by using EMSL

124

Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications

125

Validating scattering calculations using boundary value and internal field checks

126

Validating Second-Order Mutation at System Level

127

Validating Secure Connections between Wireless Devices in Pervasive Computing Using Data Matrix

128

Validating Security Design Patterns Application Using Model Testing

129

Validating sensors in the field via spectral clustering based on their measurement data

130

Validating Service Value Propositions Regarding Stakeholder Preferences

131

Validating SERVQUAL in information system empirical results from an e-learning system

132

Validating simulation model cycle times at Seagate Technology

133

Validating Simulations of Acoustic Propagation in Complex Terrain

134

Validating SMOS Ocean Surface Salinity in the Atlantic With Argo and Operational Ocean Model Data

135

Validating software architectures for high reliability

136

Validating software metrics: producing quality discriminators

137

Validating Software Reliability by Binary Translation

138

Validating Software Reliability Early through Statistical Model Checking

139

Validating software specifications against user claims

140

Validating Solutions to Major Problems in Software Engineering Project Management

141

Validating SPARK: High Level Synthesis Compiler

142

Validating Spatial Augmented Reality for interactive rapid prototyping

143

Validating specifications: a contract-based approach

144

Validating Storage System Instrumentation

145

Validating Subglacial Volcanic Eruption Using Ground-Based C-Band Radar Imagery

146

Validating sub-pixel classifications: A comparison of approaches using an artificial dataset

147

Validating surface temperature measurements

148

Validating surge test standards by field experience: high-energy tests and varistor performance

149

Validating surge test standards by field experience: High-energy tests and varistor performance

150

Validating system and software requirements: extending the Davis-Jordan requirements metamodel to the `user´s view´

151

Validating System Requirements By Functional Decomposition And Dynamic Analysis

152

Validating SystemC implementations against their formal specifications

153

Validating Technology Acceptance Model (TAM) during IT Adoption in Organizations

154

Validating text mining results on protein-protein interactions using gene expression profiles

155

Validating the AIRS Version 5 CO Retrieval With DACOM In Situ Measurements During INTEX-A and -B

156

Validating the Behavioral Equivalence of TTCN-3 Test Cases

157

Validating the Camera and Light Simulation of a Virtual Reality Testbed by Means of Physical Mockup Data

158

Validating the capacity planning process and flowline product sequencing through simulation analysis

159

Validating the defect detection performance advantage of group designs for software reviews: report of a replicated experiment

160

Validating the dependability of embedded systems through fault injection by means of loadable kernel modules

161

Validating the design of dependable systems

162

Validating the design of real-time systems using a formal specification method

163

Validating the distributed ontology framework for deployment onto the semantic grid environment

164

Validating the effect of muscle artifact suppression in localizing focal epilepsy

165

Validating the Effectiveness of Object-Oriented Metrics over Multiple Releases for Predicting Fault Proneness

166

Validating the existence of watermarks on digital images using a mobile phone

167

Validating the FSV Method using reverberation chamber measurements

168

Validating the functional design of embedded systems against stakeholder intentions

169

Validating the Impact on Reducing Fuel Consumption by Using an EcoDriving Assistant Based on Traffic Sign Detection and Optimal Deceleration Patterns

170

Validating the incremental benefits of NextGen transformational elements

171

Validating the integrated paradigm for advertising involvement with the intuitionistic fuzzy set theory

172

Validating the integrity of one-way check valves for the delivery of contrast solution to multiple patients

173

Validating the Intel(R) Pentium(R) 4 microprocessor

174

Validating the Intel^(R) Pentium^(R) 4 microprocessor

175

Validating the ISO/IEC 15504 measure of software requirements analysis process capability

176

Validating the Itanium 2 exception control unit: a unit-level approach

177

Validating the Modified Perpendicular Drought Index in the North China Region Using In Situ Soil Moisture Measurement

178

Validating the Network-Based Objective Measure for Helical Membrane Protein Structures

179

Validating the Neutrosophic approach of MRI denoising based on structural similarity

180

Validating the new SEE low altitude proton model

181

Validating the performance of a 32nm CMOS high speed serial link receiver with adaptive equalization and baud-rate clock data recovery

182

Validating the Performance of Haptic Motor Skill Training

183

Validating the power loss model of a transformer by measurement - Validation is key

184

Validating the power loss model of a transformer by measurement: the price to pay

185

Validating the precision of chromatogram obtained from AMCOS for automated HPLC

186

Validating the result of a quantified Boolean formula (QBF) solver: theory and practice

187

Validating the Rheological Changes during the Fibre Drawing of Microstructured Optical Fibres

188

Validating the safety of embedded real-time control systems using FMEA

189

Validating the SAR Wavenumber Shift Principle With the ERS–Envisat PS Coherent Combination

190

Validating the Search and Rescue Game Environment as a robot simulator by performing a simulated anomaly detection task

191

Validating the separability of independent components from NDE sonic signals

192

Validating the TAME resource data model

193

Validating the unit correctness of spreadsheet programs

194

Validating the use of stochastic models for power electronic converters

195

Validating the Use of Topic Models for Software Evolution

196

Validating the Variability of Snow Accumulation and Melting From GPS-Reflected Signals: Forward Modeling

197

Validating the Z specification of Telephone Book System with symbolic execution

198

Validating theoretical hypothesis on access times and repair times statistical distributions for electric power distribution network

199

Validating Timed Component Contracts

200

Validating timing constraints in multiprocessor and distributed real-time systems

201

Validating trace-driven microarchitectural simulations

202

Validating Transliteration Hypotheses Using the Web: Web Counts vs. Web Mining

203

Validating transmission line impedances using known event data

204

Validating trust models against realworld data sets

205

Validating UI through UX in the Context of a Mobile - Web Crowdsourcing Disaster Management Application

206

Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance

207

Validating unbiased registration on longitudinal MRI scans from the Alzheimer’S Disease neuroimaging initiative (ADNI)

208

Validating Usability of Ionomeric Polymer-Metal Composite Actuators for Real World Applications

209

Validating use-cases with the AsmL test tool

210

Validating VCP using model based approach

211

Validating video stimulus for eliciting human emotion: A preliminary study for e-health monitoring system

212

Validating voice communication requirements using lightweight formal methods

213

Validating Wikis (and other Collaborative Writing Tools)

214

Validating wind field models for power system impact studies

215

Validating Wrekavoc: A tool for heterogeneity emulation

216

Validating X.509 Certificates Based on their Quality

217

Validating XML Constraints Using Automata

218

Validation & verification of intelligent and adaptive control systems

219

Validation & Verification of an EDA automated synthesis tool

220

Validation & Verification of Intelligent and Adaptive Control Systems

221

Validation (not just verification) of deep space missions

222

Validation Algorithms Based on Content Characters and Internal Structure: The PDF File Carving Method

223

Validation analysis and test flow optimization of VLSI chip

224

Validation and Analysis of a Distributed, Agent-Based Metaheuristic for Negotiation of Consensus Inspired by Honeybee Nest Site Selection Behavior

225

Validation and analysis of negative differential resistance of single-electron transistor with conductance model

226

Validation and analysis of wind power plant models using short-circuit field measurement data

227

Validation and analysis process in component based design

228

Validation and Application of a Computational Model for Wrist and Hand Movements Using Surface Markers

229

Validation and application of a perceptual difference model for keyhole MR imaging

230

Validation and application of a snow algorithm in the Eurasian continent

231

Validation and Application of Altimetry-Derived Upper Ocean Thermal Structure in the Western North Pacific Ocean for Typhoon-Intensity Forecast

232

Validation and application of an adaptive transparent defuzzification strategy for fuzzy control

233

Validation and application of different experimental techniques to measure electronic component operating junction temperature

234

Validation and Application of LOADSIM for Planning Load Control System Operations

235

Validation and Application of Loadsim for Planning Load Control System Operations

236

Validation and application of nonlinear elastic model to design triple-beat-free SAW duplexers

237

Validation and Application of Sand Pile Modeling of Multiseeded HTS Bulk Superconductors

238

Validation and applications of a realtime global precipitation analysis

239

Validation and applications of GLI Ocean product

240

Validation and benchmarking for pedestrian video detection based on a sensors simulation platform

241

Validation and Calibration of ASCAT Using CMOD5.n

242

Validation and calibration of human performance models to support simulation-based acquisition

243

Validation and calibration of Quantitative models for software development effort and size estimation

244

Validation and calibration of SAR imagery of Manu National Park, Peru

245

VALIDATION AND COMPARISON OF ANALYTICAL Q-BALL IMAGING METHODS

246

Validation and comparison of coordinated turn aircraft maneuver models

247

Validation and comparison of different PWM converter small signal models

248

Validation and error characterization for the Global Precipitation Measurement

249

Validation and evaluation of a software solution for fault tolerant distributed synchronization

250

Validation and evaluation of model-based cross-talk compensation method in simultaneous /sup 99m/Tc stress and /sup 201/Tl rest myocardial perfusion SPECT

251

Validation and evaluation of model-based crosstalk compensation method in simultaneous ^99mTc stress and ²⁰¹Tl rest myocardial perfusion SPECT

252

Validation and Evaluation of QuikSCAT Ultra-High Resolution Wind Retrieval in the Gulf of Maine

253

Validation and experiment plans for a space based hyperspectral imaging system

254

Validation and experimental tests of the PAU-synthetic aperture radiometer

255

Validation and explanation of waterhammer-based locomotion

256

Validation and extension of IGBT compact model with parameter extraction

257

Validation and Extension of Local Temperature Evaluation of Conductive Filaments in RRAM Devices

258

Validation and extension of the temperature extraction method of conductive filaments in resistive switching materials

259

Validation and extension to three dimensions of the Berenger PML absorbing boundary condition for FD-TD meshes

260

Validation and fusion of longitudinal positioning sensors in AVCS

261

Validation and ground truth for TRMM precipitation radar using the MU radar

262

Validation and Improved Registration of Bone Segmentation Using Contour Coherency

263

Validation and improvement of Models in the Frequency Domain

264

Validation and improvement of precipitation statistical modelling for radiowave propagation

265

Validation and Interactivity of Web API Documentation

266

Validation and Intercomparison of SARAL/AltiKa and PISTACH-Derived Coastal Wave Heights Using In-Situ Measurements

267

Validation and invalidation of systems biology models using robustness analysis

268

Validation and legitimation of an analytic hierarchy approach to integrated resource planning for electric utilities

269

Validation and optimization of modular railgun model

270

Validation and optimization of TMR protections for circuits in radiation environments

271

Validation and parallelization of the particle in Cell/Monte Carlo Collision numerical code for the RF discharge simulations

272

Validation and performance analysis of network algorithms by coloured Petri nets

273

Validation and performance evaluation of the partition and replicate algorithm

274

Validation and Physical Interpretation of the Power-Amplifier Polar Volterra Model

275

Validation and recovery of vibration data in electromachine systems using neural network software

276

Validation and Recovery of Vibration Data in Electromachine Systems Using Neural Network Software

277

Validation and Refinement of an Asset Management Subset of the IEC 61968 Interface Reference Model

278

Validation and refinement of hyperspectral/multispectral atmospheric compensation using shadowband radiometers

279

Validation and regularization in diffusion MRI tractography

280

Validation and reliability estimation of a fingerprint image registration software

281

Validation and reliability of the discriminative power of geometric wood log end features

282

Validation and research of the Three-Process Model of Alertness regulation predictions

283

Validation and robustness assessment of an automotive system

284

Validation and sensitivity analysis of an image processing technique to derive thermal conductivity variation within a printed circuit board

285

Validation and sensitivity experiments comparing the physical parameterization of numerical wave model

286

Validation and simulation of a decentralized intersection collision avoidance algorithm

287

Validation and test generation for object-oriented distributed software

288

Validation and test generation for oscillatory noise in VLSI interconnects

289

Validation and test issues related to noise induced by parasitic inductances of VLSI interconnects

290

Validation and test of network processors and ASICs

291

Validation and test of systems on chip: a case study

292

Validation and testing of design hardening for single event effects using the 8051 microcontroller

293

Validation and testing of sC++ applications

294

Validation and uncertainty quantification of ICEPIC/emphasis codes for a series of gas cell experiments at NRL

295

Validation and Understanding of Moderate Resolution Imaging Spectroradiometer (MODIS) C005 Aerosol Product using Aerosol Robotic Network (AERONET) Ground-Based Data in the North of China

296

Validation and verification [Letters to the Editor]

297

Validation and verification in open systems architectures for RF electronics

298

Validation and verification methodologies in A380 aircraft reliability program

299

Validation and verification of an impulse coupling for safe energy generation by rotation

300

Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt

301

Validation and verification of diagonal neural controller for nuclear power plant

302

Validation and verification of IEEE 1588 Annex K

303

Validation and verification of ITER safety computer codes

304

Validation and Verification of Joint-Actions in Multi-agent Planning

305

Validation and verification of prognostic and health management technologies

306

Validation and verification of simulation models

307

Validation and verification of simulation models

308

Validation and verification of systems designs using MOOSE

309

Validation and verification of temporal knowledge as an important aspect of implementing a temporal knowledge base system supporting organizational creativity

310

Validation and verification of the remote agent for spacecraft autonomy

311

Validation and verification of the simulation model of a photolithography process in semiconductor manufacturing

312

Validation and verification of virtual environment training systems

313

Validation and Verification Techniques for EMC for Functional Safety

314

Validation and verification without normalization

315

Validation Approach for End-to-End Reconfigurable Systems

316

Validation by 25km error free transmission of 10Gb/s directly modulated III-V/SOI hybrid DFB laser

317

Validation by Measurements of an IC Modeling Approach for SiP Applications

318

Validation by the HARP method of a new algorithm to assess left ventricular deformation on standard cine-MRI

319

Validation code generation for unexpected user operation on Web user interface

320

Validation concepts with ground radars for global precipitation mission during the post launch era

321

Validation coverage analysis for complex digital designs

322

Validation environment of engine health monitoring algorithms

323

Validation experiment design of a PMU-based application for detection of sub-synchronous oscillations

324

Validation experiments on structural, conceptual, collection, and access description schemes for MPEG-7

325

Validation Facilities in the Area of ATM Bottleneck Investigation

326

Validation for compatible modular multilevel converter models using PSCAD/EMTDC

327

Validation for Digital Forensics

328

Validation for the absolute radiometric calibration of the HJ-1B CCD sensors of China

329

Validation Gating for Non-Linear Non-Gaussian Target Tracking

330

Validation heat transfer model by experimental measurement

331

Validation in a component-based design flow for multicore SoCs

332

Validation In Animals Of 3D Finite Element Models Of The Thorax

333

Validation in distributed representations

334

Validation in Distributed Representations

335

Validation in Internet Survey Research: Reviews and Future Suggestions

336

Validation in model-driven engineering: testing model transformations

337

Validation Limits of Quasi-TEM Approximation for Buried Bare and Insulated Cables

338

Validation maps for bias correction in Monte Carlo denoising

339

Validation measurements for the Fresnel approximation of the PO model

340

Validation Measures for Clustering Algorithms Incorporating Biological Information

341

Validation method for numerical simulations of large objects using the T-matrix for a collection of scatterers

342

Validation methodologies for complex, hybrid, HWIL, 6DOF missile simulations - A structured approach -

343

Validation Methodology for a Digital Wireless Channel Emulator

344

Validation Methodology of Hardware Simulators for Spacecraft System Testing

345

Validation methods for calibrating software effort models

346

Validation Methods for Cell Cycle Analysis Algorithms in Confocal Fluorescence Images

347

Validation Methods for Digital Road Maps in Predictive Control

348

Validation methods implemented to ascertain the positional data uncertainty of an indigenously developed drifter buoy-Pradyu

349

Validation methods of LAI products based on scaling effect

350

Validation methods using formal techniques

351

Validation of `System 21´ monobeam transit with computer analysis and large models

352

Validation of $k$ -Nearest Neighbor Classifiers

353

Validation of ${\\rm K}$ and ${\\rm L}$ Shell Radiative Transition Probability Calculations

354

Validation of 3-D curved objects: CAD model and fabricated workpiece

355

Validation of 3D radiographical image distortion correction and calibration algorithms

356

Validation of 3-D registration methods based on points and frames

357

Validation of 3D scattering measurements

358

Validation of 3-D Time Domain Particle-in-Cell Simulations for Cold Testing a $W$ -Band Gyrotron Cavity

359

Validation of 3D ultra-short TE (UTE) Phase-Contrast MRI for imaging of steady flow: Initial phantom experiments

360

Validation of 3GPP Spatial Channel Model Including WINNER Wideband Extension Using Measurements

361

Validation of a 3-D Finite Element Human Fingerpad Model Composed of Anatomically Accurate Tissue Layers

362

Validation of a 3D hidden-Markov model for breast tissue segmentation and density estimation from MR and tomosynthesis images

363

Validation of a 3-D near-field ISAR imaging technique with far-field RCS extraction by means of a hybrid GO-PO/PTD ray tracing algorithm

364

Validation of a backscatter model of a river ice covers using Radarsat-1 images

365

Validation of a blood pressure simulator that regenerates oscillometric cuff pressure waveforms

366

Validation of a BRDF model for boreal forest

367

Validation of a cardiovascular model identification method in porcine trials

368

Validation of a CFAR vessel detection algorithm using known vessel locations

369

Validation of a Clinical PET Scanner Using Monte Carlo Simulation Code: MCNP5

370

Validation of a closed-loop sensory stimulation technique for selective sleep restriction in mice

371

Validation of a clustering algorithm for voltage stability analysis on the Bosnian electric power system

372

Validation of a coil impedance model for simultaneous measurement of electromagnetic properties and inner diameter of a conductive tube

373

Validation of a coil impedance model for simultaneous measurement of electromagnetic properties and inner diameter of a conductive tube

374

Validation of a coilgun design code

375

Validation of a Complex Permittivity Meter for Porous Media Operating Between 1 and 20 MHz

376

Validation of a comprehensive analytic approach to determine the noise behaviour of induction machines

377

Validation of a Comprehensive Analytic Noise Computation Method for Induction Machines

378

Validation of a comprehensive space radiation transport code

379

Validation of a computational electromagnetic model of a boeing 707 aircraft by comparison to scale model measurements

380

Validation of a computational model of cardiac defibrillation

381

Validation Of A Computer Controlled Experimental Set-ljp For Studying The Process Of Thrombolysis

382

Validation of a computer model for the determination of aortic compliance curves

383

Validation of a computer-aided EMG decomposition method

384

Validation of a COTS EHM solution for the JSF program

385

Validation of a Coupled Thermal-Electromagnetic Quench Model for Accelerator Magnets

386

Validation of a crosstalk correction algorithm for ASTER/SWIR

387

Validation of a crystal detector model for the calibration of the Large Signal Network Analyzer

388

Validation of a DDV-based aerosol optical depth retrieval algorithm for atmospheric corrections

389

Validation of a device for fluorescence sensing of rare circulating cells with diffusive light in an optical flow phantom model

390

Validation of a DiffServ based QoS model implementation for real-time traffic in a test bed

391

Validation of a dual energy technique using a single source multidetector computed tomography scanner

392

Validation of a dual-polarization SAR storm observation model

393

Validation of a DVB-H dynamic system simulator using field measurements

394

Validation of a dynamic 3D heart model for integrating clinical and instrumental data of patients with ischemic heart disease

395

Validation of a dynamic control model to simulate investment cycles in electricity generating capacity

396

Validation of a Dynamically Adaptive Lattice Boltzmann Method for 2D Thermal Convection Simulations

397

Validation of a dynamics simulation for a structurally flexible manipulator

398

Validation of a embeddable voltage phasor magnitude meter for household and commercial environments

399

Validation of a fast loss and temperature simulation method for power converters

400

Validation of a fast voltage stability analysis method on the Hydro-Quebec system

401

Validation of a Faulted Rotor Induction Machine Model With an Insightful Geometrical Interpretation of Physical Quantities

402

Validation of a feature fusion scheme for urban DSM retrieval from high resolution SAR interferogram

403

Validation of a fiducial frame system for image-guided otologic surgery utilizing BAHA/spl reg/ bone screws

404

Validation of a finite element model for slack ROV tethers

405

Validation of a Finite Element Model of C0-C1-C2

406

Validation of a finite element model of pediatric patient-specific mandible

407

Validation of a flexible and innovative platform for the home monitoring of heart failure patients: Preliminary results

408

Validation of a flexible causality treatment for transient analysis of nonlinearly loaded structures

409

Validation of a Full-Chip Simulation Model for Supply Noise and Delay Dependence on Average Voltage Drop With On-Chip Delay Measurement

410

Validation of a Fully Digital Real-Time Electromagnetic TRansients Simulator for HVDC System & Controls Studies

411

Validation of a GATE Model of $^{176}$ Lu Intrinsic Radioactivity in LSO PET Systems

412

Validation of a GEANT4 simulation model for pinhole SPECT including calibration parameters

413

Validation of a generic GQM based measurement framework for software projects from industry practitioners

414

Validation of a Geometry-Based Statistical mmWave Channel Model Using Ray-Tracing Simulation

415

Validation of a glacier surface mass balance model using remote sensing

416

Validation of a graphic measurement of heart rate variability to assess analgesia/nociception balance during general anesthesia

417

Validation of a green wireless communication system with ICA based semi-blind equalization

418

Validation of a Ground Dynamics Model Formulation By use of Landing Data

419

Validation of a Haptic-Based Simulation to Test Complex Figure Reproduction Capability

420

Validation of a high resolution geolocation database for UK white space

421

Validation of a high resolution measurement technique for estimating the parameters of impinging waves in indoor environments

422

Validation of a home monitoring system based on calibration-free wireless tracking

423

Validation of a home rehabilitation system for range of motion measurements of limb functions

424

Validation of a hybrid approach for imputing missing data

425

Validation of a knowledge-based system: the ICE case

426

Validation of a language measure for discrete event supervisory control

427

Validation of a large medical database

428

Validation of a laser-induced fluorescence (LIF) model for mole-fraction imaging

429

Validation of a leaf reflectance and transmittance model for three agricultural crop species

430

Validation of a Link Layer Synthesizable Core-a prototyping case study

431

Validation of a Load Shared Integrated Network with Heterogeneous Services

432

Validation of a magnetic network-based dynamic model of permanent magnet linear synchronous machine built by finite reluctance approach

433

Validation of a manual measurement method for deriving 3D canopy structure using the BPMS

434

Validation of a mechanical component constant failure rate database

435

Validation of a Mechanical Model for Fault Ride-Through: Application to a Gamesa G52 Commercial Wind Turbine

436

Validation of a Method for Real Time Foot Position and Orientation Tracking With Microsoft Kinect Technology for Use in Virtual Reality and Treadmill Based Gait Training Programs

437

Validation of a methodology for assessing software reliability

438

Validation of a methodology for service restoration on a real Brazilian distribution system

439

Validation of a methodology to assess customer demand response: Application to the commercial sector

440

Validation of a microscopic single lane urban traffic simulator

441

Validation of a microwave multitone signal with known phase

442

Validation of a MMC model in a real-time simulation platform for industrial HIL tests

443

Validation of a modal identification procedure for linear frames under unmeasured seismic input

444

Validation of a model for an induction machine with faulty stator

445

Validation of a Model for Coping and Mood for Virtual Agents

446

Validation of a model of a resonant optothermoacoustic trace gas sensor

447

Validation of a model of ferrite-core probes over composite workpieces

448

Validation of a model of regulation in the tryptophan operon against multiple experiment data using global optimisation

449

Validation of a model-based virtual trials method for tight glycaemic control in intensive care

450

Validation of a multi-exponential alternative model of solar cell and comparison to conventional double exponential model

451

Validation of a multi-scale model of the coronary circulation in adult sheep and newborn lambs

452

Validation of a multisegment foot and ankle kinematic model for pediatric gait

453

Validation of a multi-segment foot and ankle kinematic model for pediatric gait

454

Validation of a multivariable relay-based PID autotuner with specified robustness

455

Validation of a Na⁺-Ca⁺⁺ regulation model for high variations of the inner cell conditions

456

Validation of a narrowband signal processing system for beam position monitoring purposes in linear accelerators

457

Validation of a Negotiation Protocol for Registry Composition in Ambient Networks

458

Validation of a neural network model for the separation of atmospheric effects on attenuation

459

Validation of a New 3D-US Imaging Robotic System to Detect and Quantify Lower Limb Arterial Stenoses

460

Validation of a new deterministic transport code for SPECT simulation

461

Validation of a new empirical SAR algorithum

462

Validation of a new full reference metric for quality assessment of mobile 3DTV content

463

Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques

464

Validation of a new method for bone motion measurement by soft-tissue artifact compensation through spatial interpolation

465

Validation of a new method for the diagnosis of rotor bar failures via wavelet transform in industrial induction machines

466

Validation of a new method for the diagnosis of rotor bar failures via wavelet transformation in industrial induction machines

467

Validation of a new modal performance measure for flexible controllers design

468

Validation of a new multiclass mesoscopic simulator based on individual vehicles for dynamic network loading

469

Validation of a new nonlinear HEMT model by intermodulation characterization

470

VALIDATION OF A NEW OPTIMISATION ALGORITHM FOR REGISTRATION TASKS IN MEDICAL IMAGING

471

Validation of a New Parametric Model for Atmospheric Correction of Thermal Infrared Data

472

Validation of a new satellite communication protocol for long-term ATM needs

473

Validation of a new satellite communications protocol for long-term ATM needs

474

Validation of a new self-alignment algorithm on a rocking base

475

Validation of a new small-antenna radiated testing range

476

Validation of a new SPECT quantification method using computer simulation

477

Validation of a new strain transfer function of FBG sensors with finite element

478

Validation of a new structural health monitoring technique of a wind turbine prototype

479

Validation of a new tracer model of non-steady-state glucose kinetics

480

Validation of a noninvasive blood pressure monitoring device in pediatric intensive care patients

481

Validation of a nonlinear HEMT model by power spectrum characteristics

482

Validation of a nonlinear reactive control law for three-dimensional particle tracking in confocal microscopy

483

Validation of a nonlinear transistor model by power spectrum characteristics of HEMT´s and MESFET´s

484

Validation of a non-line-of-sight path-loss model for V2V communications at street intersections

485

Validation of a Nonrigid Registration Error Detection Algorithm Using Clinical MRI Brain Data

486

Validation of a non-rigid registration method for motion compensation in 4D ultrasound of the liver

487

Validation of a novel algorithm for ventricular repolarization analysis: use of Physionet resources

488

Validation of a novel approach to subjective quality evaluation of conventional and 3D broadcasted video services

489

Validation of A Novel Atrial Fibrillation Model Through Simulated Atrial Pacing Protocols

490

Validation of a novel automatic sleep spindle detector with high performance during sleep in middle aged subjects

491

Validation of a Novel Catheter Guiding Method for the Ablative Therapy of Ventricular Tachycardia in a Phantom Model

492

Validation Of A Novel Electrode System To Study The Surface Flashover Behavior of Insulators

493

Validation of a Novel Kinematic Based Protocol to Study Foot and Ankle Biomechanics

494

Validation of a novel luminance based sensor system for visual environment monitoring and control

495

Validation of a novel method for non-invasive blood potassium quantification from the ECG

496

Validation of a novel radio location technique by a deterministic propagation model

497

Validation of a novel three-dimensional electrode array within auditory cortex

498

Validation of a novel unit protection scheme based on superimposed fault currents

499

Validation of a novel unit protection scheme for long transmission lines based on superimposed fault currents

500

Validation of a novel vector method for blood peak velocity detection in an anthropomorphic phantom

501

Validation of a numerical model for the study of anchovy recruitment in the Bay of Biscay

502

Validation of a one-antenna reverberation-chamber technique for estimating the total and radiation efficiency of an antenna

503

Validation of a Parametric Identification Technique through a Derivative CESTAC Method

504

Validation of a passive dynamic walker model for human gait analysis

505

Validation of a patient headache care education system (PHCES) developed from a unified modeling language (UML) domain model

506

Validation of a perturbed-continuum model for shear localization

507

Validation of a PET Monte-Carlo simulator with random events and dead time modeling

508

Validation of a PET Monte-Carlo simulator with random events and dead time modeling

509

Validation of a Photovoltaic electrical model against experimental data

510

Validation of a plasma contour identification code

511

Validation of a PMSM model based on static and transient FEM

512

Validation of a point to multipoint cognitive radio transport protocol over GNU radio testbed

513

Validation of a polynomial camera model for generic cameras: Calibration of catadioptric, fish-eye, short- and long focal length cameras

514

Validation of a prediction model for control of micro wind turbines

515

Validation of a preterm infant cardiovascular system model under baroreflex control with heart rate and blood pressure data

516

Validation of a Probabilistic Approach to Outdoor Localization

517

Validation of a proposed voltage sag prediction methodology for interconnected systems during motor starting

518

Validation of a protocol for communication management in CSCW systems using a coloured-Petri net modelization

519

Validation of a quad-rotor helicopter Matlab/Simulink and solidworks models

520

Validation of a Quasi-Analytical Algorithm for Highly Turbid Eutrophic Water of Meiliang Bay in Taihu Lake, China

521

Validation of a real time digital simulator with published field test

522

Validation of a real-time cable deployment control system for slack cable laying

523

Validation of a reduced order model for modular multilevel converters and analysis of circulating current

524

Validation of a reflected-impedance design method for wireless power transfer applications

525

Validation of a retrospective respiratory gating method for small-animal CT scanners

526

Validation of a Robotic Balance System for Investigations in the Control of Human Standing Balance

527

Validation of a rough surface model based on fractal Brownian geometry with SIRC and ERASME data over Orgeval

528

Validation of a Rowing Oar Angle Measurement System Based on an Inertial Measurement Unit

529

Validation of A Satellite Docking Simulator using the SOSS Experimental Testbed

530

Validation of a S-band reflectarray prototype with square ring resonators

531

Validation of a sea ice model using forward simulation of ERS-1 SAR data: a case study in the Beaufort Sea

532

Validation of a sea surface model for simulations of dynamic maritime SAR images

533

Validation of a second generation Type 3 generic wind model

534

Validation of a Security Policy by the Test of Its Formal B Specification -- A Case Study

535

Validation of a Selective Ensemble-Based Classification Scheme for Myoelectric Control Using a Three-Dimensional Fitts´ Law Test

536

Validation of a set of algorithms for ventricular fibrillation detection: experimental results

537

Validation of a signal quality monitoring technique over a set of spoofed scenarios

538

Validation of a SIL3 middleware for safety-related system-on-chips

539

Validation of a simple relay-based PID autotuner with specified modulus margin

540

Validation of a simple, tunable-chirp 40-Gb/s RZ pulse carver using fulloptical field characterization

541

Validation of a simulation model for the calculation of polarization currents in polypropylene films

542

Validation of a simulation model of the National Airspace System

543

Validation of a simulation tool for ship traffic noise

544

Validation of a small signal probing concept for prognosis on a nonlinear model for longitudinal motion of a Boeing-747

545

Validation of a smart antenna prototype: Model and experiments

546

Validation of a smartphone based photoplethysmographic beat detection algorithm for normal and ectopic complexes

547

Validation of a smooth movement model for a human reaching task

548

Validation of a snow water equivalence algorithm over landfast first-year sea ice using RADARSAT-1

549

Validation of a software dependability tool via fault injection experiments

550

Validation of a software program for measuring fatigue-related changes in keystroke durations

551

Validation of a solution model for the optimization of a binary batch distillation column

552

Validation of a spatially interconnected model for plane poiseuille flow transition control

553

Validation of a STATCOM Transient Stability Model through Small-Disturbance Stability Studies

554

Validation of a static VAr system model for a renewable project for grid code compliance

555

Validation of a statistical non-linear model of GaAs HEMT MMIC´s by hypothesis testing and principal components analysis

556

Validation of a strategic bidding model within the Spanish sequential electricity market

557

Validation of a subject specific 3-actuator torque-driven model in human vertical jumping

558

Validation of a Subsea Navigation Analysis Program

559

Validation of a synthesis technique for the optimal control of an electro-hydraulic positioning system

560

Validation of a System for Evaluation of High-Voltage Impulses According to IEC 60060:2010

561

Validation of a tele-home-care for hand-telerehabilitation

562

Validation of a theoretical approach for estimation of velocity error of a Vector Doppler system

563

Validation of a theoretical model for NFmin estimation of SiGe HBTs

564

Validation of a thin wire moment method code against a triangular patch code for antennas in multi-layered media

565

Validation of a Three-Dimensional Transmission Line Matrix (TLM) Model Implementation of a Mode-Stirred Reverberation Chamber

566

Validation of a Time-Harmonic Numerical Model for Solving Magnetic Field in End Region of a Radial-Flux Machine

567

Validation of a time-variant electrical equivalent circuit for a dry bacteriorhodopsin sensor

568

Validation of a tool for estimating the effects of soft-errors on modern SRAM-based FPGAs

569

Validation of a Traffic-Based CAC Method under General Channel Holding Time

570

Validation of a transit time blood flow meter used for coronary bypass surgery

571

Validation of a tuning method for haptic shared control using neuromuscular system analysis

572

Validation of a two-antenna reverberation-chamber technique for estimating the total and radiation efficiency of antennas

573

Validation of a two-time step HVDC transient stability simulation model including detailed HVDC controls and DC line L/R dynamics

574

Validation of a variable width blood pressure cuff

575

Validation of a vehicle emulation platform supporting OBD-II communications

576

Validation of a vibrotactile stimulation system to treat apnea of prematurity

577

Validation of a virtual agronomic image modelling

578

Validation of a Virtual Arm Model for Movement Control and Rehabilitation

579

Validation of a virtual control oriented cylinder selective soot sensor

580

Validation of a Vision Based Time to Line Crossing Computation

581

Validation of a waveform delineator device for cardiac studies: Repeatability and data mining analysis

582

Validation of a wireless portable biofeedback system for balance control: Preliminary results

583

Validation of a wrist monitor for accurate estimation of RR intervals during sleep

584

Validation of absorbed-dose calculations using Y-90 in different source and target geometries

585

Validation of accuracy of liver model with temperature-dependent thermal conductivity by comparing the simulation and in vitro RF ablation experiment

586

Validation Of Acoustic Doppler Current Profiler Measurements By Buoy Drift Analysis

587

Validation of acoustic intensity measurements for power transformers

588

Validation of acoustic models of auditory neural prostheses

589

Validation of active fire detection from moderate-resolution satellite sensors: the MODIS example in northern eurasia

590

Validation of adaptive threshold spike detector for neural recording

591

Validation of ADCP surface wave measurements in a shelf sea

592

Validation of advanced CDMA concepts for UMTS and FPLMTS

593

Validation of Advanced EM Models for UXO Discrimination

594

Validation of Advanced Microwave Scanning Radiometer Soil Moisture Products

595

Validation of advanced transport telematics applications in 5 European capitals

596

Validation of aeronautical fuselage channel model for Iris Air-Traffic Management via satellite

597

Validation of Agent-Based Urban Policy Models by Means of State Space Analysis

598

Validation of Airborne FMCW Radar Measurements of Snow Thickness Over Sea Ice in Antarctica

599

Validation of aircraft and satellite remote sensing of brightness temperature and derived soil moisture using a hydrologic/radiobrightness model

600

Validation of algorithms for optimal routing of flow in networks

601

Validation of along-track interferometric SAR measurements of ocean surface waves

602

Validation of alpine glacier velocity measurements using ERS Tandem-Mission SAR data

603

Validation of Alternating Kernel Mixture Method Based Segmentation of the Human Brain

604

Validation of AMSR-E soil moisture algorithms with ground based networks

605

Validation of AMSR-E soil moisture product and the future perspective of soil moisture estimation using SMOS data over tropical region

606

Validation of AMSR-E Soil Moisture Products Using Watershed Networks

607

Validation of an accelerometer-based fall prediction model

608

Validation of an accurate and simple delay model and its application to voltage scaling

609

Validation of an advanced encryption standard (AES) IP core

610

Validation of an advanced fan model with multiple reference frame approach

611

Validation of an Air-Traffic Controller behavioral model for fast time simulation

612

Validation of an algorithm for atrial fibrillation and flutter diagnosis

613

Validation of an algorithm for the reconstruction of an inhomogeneous dielectric profile

614

Validation of an analytical large signal model for AlGaN/GaN HEMT´s on SiC substrates

615

Validation of an analytical large signal model for AlGaN/GaN HEMTs

616

Validation of an analytical model for contact mode plate deflection of touch mode capacitive pressure sensors

617

Validation of an analytical model of si-ring resonators for designing a 1×8 multiplexer in SCISSOR configuration

618

Validation of an analytical model to describe the dynamic of the volume of the yeast cell submitted to an osmotic pressure shock

619

Validation of an Analytical Snow BRDF Model Using PARASOL Multi-Angular and Multispectral Observations

620

Validation of an approach for finding good anchor nodes in ontologies in the semantic web

621

Validation of an approach for improving existing measurement frameworks

622

Validation of an architectural level power analysis technique

623

Validation of an automated dynamic phantom to assess the performance of ultrasound system

624

Validation of an automated system model generator

625

Validation of an automatic contour propagation method for lung cancer 4D adaptive radiation therapy

626

Validation of an automatic image orthorectification processing

627

Validation of an automatic system to detect oil spills in X- and L-band SAR images

628

Validation of an automatic vessel detection algorithm using SAR data and known vessel fleet distributions

629

Validation of an autopilot through hardware in loop simulation

630

Validation of an ECG-derived respiration monitoring method

631

Validation of an elastic matching algorithm based on complex wavelets for the realignment of dynamic MR breast images

632

Validation Of An Electrocardiographic Inverse Solution Using Percutaneous Transluminal Coronary Angioplasty

633

Validation Of An Ensemble-Averaged Impedance Cardiogram For Estimation Of Stroke Volume

634

Validation of an image-guided robot system for measurement, biopsy and injection in rodents

635

Validation of an improved location-based handover algorithm using GSM measurement data

636

Validation of an improved TES algorithm based on corrected ALPHA difference spectra

637

Validation of an inflation method for measuring the strength of engineered tissues

638

Validation of an in-line evaporation process for large-scale production of CuInSe₂-based solar cells

639

Validation of an Inter-Cell Interference Coordination Solution in Real-World Deployment Conditions

640

Validation of an interconnected high-gain observer for a sensorless induction motor against a low frequency benchmark: application to an experimental setup

641

Validation of an inversion scheme for shear wave speed using Scholte wave dispersion

642

Validation of an IT value model for branchless banking

643

Validation of an m-Health solution for the follow-up of post-operative patients of ambulatory surgery

644

Validation of an Odor Source Identification Algorithm via an Underwater Vehicle

645

Validation of an on-chip watchdog for embedded systems exposed to radiation and conducted EMI

646

Validation of an optical flow method for tag displacement estimation

647

Validation of an optimized algorithm to use Kinect in a non-structured environment for Sit-to-Stand analysis

648

Validation of an SEU simulation technique for a complex processor: PowerPC7400

649

Validation of an Urban Traffic Network Model using Colored Timed Petri Nets

650

Validation of an X-Band SAR Wind Algorithm by SIR-C/X SAR Data

651

Validation of analytical and numerical techniques to predict the magnetic shielding effectiveness of finite extension shields

652

Validation of analytically modeled Leaky Lamb radiation using Schlieren photography

653

Validation of anatomy-enhanced cardiac FDG-PET imaging: An ex vivo sheep study

654

Validation of and delay variation in total ionizing dose hardened standard cell libraries

655

Validation of antenna coupling and channel modeling in a real propagation environment

656

Validation of Antenna Modeling Methodology in IMT-Advanced Channel Model

657

Validation of anti-slip control for traction system using Hardware-In-the-Loop simulation

658

Validation of application behavior on a virtual time integrated network emulation testbed

659

Validation of applying the maximum likelihood duty cycle forecast for residential load aggregation

660

Validation of approximate dependability models of a RAID architecture with orthogonal organization

661

Validation of architectural targets in business components identification

662

Validation of areal wave and current measurements based on X-band radar

663

Validation of arrhythmia detection library on bedside monitor data for triggering alarms in intensive care

664

Validation of artificial neural network based model of microturbine power plant

665

Validation of Artificial Neural Network Model for Share Price UK Banking Sector Short-Term Trading

666

Validation of ASAR wave mode level 2 product

667

Validation of ASIP Architecture Description

668

Validation of ASTER/TIR standard atmospheric correction using water surfaces

669

Validation of ATP Transmission Line Models for a Monte Carlo Study of Switching Transients

670

Validation of Autodesk Ecotect™ accuracy for thermal and daylighting simulations

671

Validation of automated arrhythmia detection for Holter ECG

672

Validation of Automated MAST to MODELICA Translation Tool for Aeronautical Application

673

Validation of automatic CPAP leak algorithm

674

Validation of autonomous fault diagnostic software

675

Validation of autonomous rover functionality for planetary environments

676

Validation of AVHRR/MODIS/AMSR-E Satellite SST Products in the West Tropical Pacific

677

Validation of battery energy storage control for wind farm dispatching

678

Validation of behavior specifications of production systems within different phases of the engineering process

679

Validation of beta ray scintillation spectra in liquid scintillation counter using Geant4 simulation

680

Validation of bidirectional reflectance models using the first scene acquired by the CHRIS sensor over the Jornada Experimental Range

681

Validation of bioelectrical impedance to assess body composition change at altitude

682

Validation of biological models with Temporal Logic and Timed Hybrid Petri Nets

683

Validation of BiPLS for improving yield estimation of rice paddy from hyperspectral data in West Java, Indonesia

684

Validation of bitstream syntax and synthesis of parsers in the MPEG Reconfigurable Video Coding framework

685

Validation of blackboard architecture for dynamic intent inferencing

686

Validation of blind region learning and tracking

687

Validation of body surface potential mapping during thrombolysis: multi-centre study by means of a communication computer network

688

Validation of bone segmentation and improved 3-D registration using contour coherency in CT data

689

Validation of both number and coverage of bus schedules using AVL data

690

Validation of BRF data based on computer simulation model

691

Validation of building energy management strategy: Application to home thermal zone

692

Validation of building energy modeling tools: Ecotect™, Green Building Studio™ and IES<VE>™

693

Validation of cable models for simulation of transients in shipboard power systems

694

Validation of calibration by spatial registration between US and MRI scans: Application to carotid of bifurcation

695

Validation of canopy bidirectional reflectance models with ASAS imagery of a spruce forest in Maine

696

Validation of capacity reductions in traffic monitoring systems

697

Validation of C-Band Permittivity of Fresh Water using Periodic Jets

698

Validation of C-DOT DSS family of switching systems

699

Validation of centralized diagnostics concept

700

Validation of channel decoding ASIPs a case study

701

Validation of channel simulators for mobile user objective system (MUOS)

702

Validation of channels stability in multiple wavelength Brillouin-erbium fiber laser

703

Validation of Chaos Hypothesis in NADA and Improved DDoS Detection Algorithm

704

Validation of chronic implantable neural sensing technology using electrocorticographic (ECoG) based brain machine interfaces

705

Validation of circuit extraction procedure by means of frequency and time domain measurement

706

Validation of CISPR 12 test sites investigation of the feasibility of a simulation model to fit real site measurements

707

Validation of CK Metrics for Object Oriented Design Measurement

708

Validation of cleaning evaluation of surgical instruments with RFID tags attached based on cleaning appraisal judgment guidelines

709

Validation of clinical activity tracking system in Intensive Care Unit to assess nurse workload distribution

710

Validation of closed-loop behaviour from noisy frequency response measurements

711

Validation of Clouds and the Earth´s Radiant Energy System (CERES) instruments aboard EOS-TERRA spacecraft using tropical ocean measurements

712

Validation of CM SAF SARAH solar radiation datasets for Switzerland

713

Validation of CMOS Active Pixel Sensor with double readout rolling shutter architecture for charged particle tracking

714

Validation of Coarse Resolution Microwave Soil Moisture Products

715

Validation of coarse-resolution Fractional Vegetation Cover product in Heihe basin, China

716

Validation of cognitive architectures by use cases: Examplified with the psychoanalytically-inspired ARS model implementation

717

Validation of color-enhanced composite lung images

718

Validation of compact antenna on motherboard based on an improved fast multipole method

719

Validation of compact conduction models of BGA under an expanded boundary condition set

720

Validation of compact models of microcantilever actuators for RF-MEMS application

721

Validation of completely absorber lined chambers with an optically driven antenna and free space antenna factors

722

Validation of complex designs through hardware prototyping

723

Validation of complex naval target models using superresolution imagery methods

724

Validation of complex vehicle systems of prototype vehicles

725

Validation of Complexity Metrics of Agent-Based Systems Using Weyuker´s Axioms

726

Validation of Component-Based Software with a Customer Centric Domain Level Approach

727

Validation of compound Poisson noise model for computed tomography with energy-integrating detector

728

Validation of computational fluid dynamics methods with anatomically exact, 3D printed MRI phantoms and 4D pcMRI

729

Validation of computer model predictions of the large-scale transient dynamic towing response of flexible cables

730

Validation of computer models for homeland security purposes

731

Validation of concentric square rings backscattering for reflectarray applications

732

Validation of Confocal Micro-PIV Technique by Poiseuille Flow Measurement

733

Validation of consistent inter-subject connectivity-based parcellation

734

Validation of constitutive models for electrically conductive adhesives

735

Validation of Context Respectful Counseling Agent

736

Validation of continuous-time control models by finite experimental data

737

Validation of contracts using enabledness preserving finite state abstractions

738

Validation of controlled receptor expression using adenoviral techniques and targeted ultrasound imaging

739

Validation of Controller Inputs in Electronically Controlled Engines

740

Validation of convolution based forced detection SIMIND with analytical collimator response modeling using GATE

741

Validation of correspondences in MLESAC robust estimation

742

Validation of COSMOS DSL programs

743

Validation of Course Prerequisites Based on Student Grade Using Fuzzy Association Rules

744

Validation of CryoSat sea-ice products: instruments and methods

745

Validation of CT-based attenuation correction for multi-pinhole PSF reconstruction for small-animal SPECT

746

Validation of current and bathymetry measurements in the German Bight by airborne along-track interferometric SAR

747

Validation of CW THz spectral measurements

748

Validation of data categorization using extensions of information systems: Experiments on melanocytic skin lesion data

749

Validation of data warehouse requirements - model traceability metrics using a formal framework

750

Validation of daylight calculation for an anisotropic diffuse reflecting interior of arbitrary geometry under any sky conditions

751

Validation of Decision Tables Used in Process Control

752

Validation of deformable registration in adaptive radiation therapy with scale invariant feature transform

753

Validation of DEMs derived from radar interferometry, airborne laser scanning and photogrammetry by using GPS-RTK

754

Validation of DEMs for two-pass SAR differential interferometry — A case study in Wangfeng coal mine, Jiaozuo city

755

Validation of design for space launch vehicles

756

Validation of Detect2000-Based PetDetSim by Simulated and Measured Light Output of Scintillator Crystal Pins for PET Detectors

757

Validation of detection of positive flashes by the austrian lightning location system ALDIS

758

Validation of Deterministic Radio Propagation Algorithms for UHF Mobile Network Planning in Mountain Environment

759

Validation of developed grey-box model of Distribution Network Cell

760

Validation of differential light emission analysis on FPGA

761

Validation of digital simulation for studies of torsional interaction between a turbo-generator and an HVDC link

762

Validation of Digital Simulation of DC Links

763

Validation of Digital Simulation of DC Links

764

Validation of Digital Simulation of DC Links - Part II

765

Validation of Digital Simulation of DC Links - Part II

766

Validation of direct and indirect far-field antenna measurements at Memorial University´s electromagnetic facilities

767

Validation of direct current control in LED lamp with non-inverting buck-boost converter

768

Validation of directional drilling well design trajectory with a case study in Kuwait

769

Validation of distal femur preparation using a universal cutting guide for a Total Knee Arthroplasty

770

Validation of distributed algorithms and protocols

771

Validation of distribution level measurements for power system monitoring and low frequency oscillation analysis

772

Validation of driving behavior in the Vehicle in the Loop: Steering responses in critical situations

773

Validation of dynamic model parameters for stability analysis; industry need, current practices and future trends

774

Validation of Dynamic Thermal Simulations of Power Assemblies Using a Thermal Test Chip

775

Validation of Echo-Dynamography by virtual color doppler echocardiography generated from phase contrast magnetic resonance angiography datasets

776

Validation of eddy current loss models for permanent magnet machines with fractional-slot concentrated windings

777

Validation of eHS FPGA reconfigurable low-latency electric and power electronic circuit solver

778

Validation of electrical power system using Electrical Test Bed of GEO satellite

779

Validation of electroadhesion as a docking method for spacecraft and satellite servicing

780

Validation of electrocardiographic criteria for predicting the culprit artery in patients with acute myocardial infarction

781

Validation of electromagnetic-thermal coupled modelling of levitation melting

782

Validation of electron beam position monitoring probes by comparison of dose profile measurements with beam displacement sensing in the microwave range

783

Validation of electron density profiles derived from oblique ionograms

784

Validation of electro-optic sensors for near-field measurement

785

Validation of Embedded Software through Static Analysis of Machine Codes

786

Validation of embedded system verification models

787

Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator

788

Validation of embedded systems using formal method aided simulation

789

Validation of EMC near-field scanning amplitude and phase measurement data

790

Validation of EMI model for matrix converters

791

Validation of Emissivity Estimates from ASTER and MODIS Data

792

Validation of emissivity estimates from ASTER data

793

Validation of end-use load data from direct metering projects

794

Validation of ENVISAT ASAR based lake ice maps on Lake Päijänne

795

Validation of ENVISAT ASAR Wave Mode Level 1 and 2 products using ERS SAR data

796

Validation of ENVISAT RA-2 and JASON-1 altimeter wind and wave measurements

797

Validation of Envisat Rain Detection and Rain Rate Estimates by Comparing With TRMM Data

798

Validation of equivalent circuit lightning model of strike to a steel reinforced structure

799

Validation of equivalent circuits extracted from S-parameter data for eye-pattern evaluation

800

Validation of Equivalent Dynamic Model of Active Distribution Network Cell

801

Validation of ERS-1/SAR data to map the Rio Amazonas floodplain according to the cartographic accuracy standards

802

Validation of estimated Dense Multipath Components with respect to antenna array calibration accuracy

803

Validation of Exception Handling in the Development of Dependable Component-Based Software Systems

804

Validation of executable application models mapped onto network-on-chip platforms

805

Validation of Existing Nuclear Station Instrumentation and Electrical Procedures to Reduce Human Error: One Utility´s Perspective

806

Validation of Existing Nuclear Station Instrumentation and Electrical Procedures to Reduce Human Error; One Utility´s Perspective

807

Validation of experimental simple solar still mass flow rate using a Lewis number correlation

808

Validation of expert-system image understanding in histopathology

809

Validation of Exposure Time for Discharge Measurements made with Two Bottom-Tracking Acoustic Doppler Current Profilers

810

Validation of extended hybrid surveillance

811

Validation of Extended Hybrid Surveillance

812

Validation of Externally Developed Assessment Procedures for Identification of Supervisory Potential

813

Validation of F2 layer peak height and density by Real-Time IRI

814

Validation of far-field numerical predictions through near-field measurements

815

Validation of fault tolerance mechanisms of an onboard system

816

Validation of Fault-Free Behavior of a Reliable Multiprocessor System FTMP: A Case Study

817

Validation of FDIR Strategy for Spaceborne SRAM-Based FPGAs Using Proton Radiation Testing

818

Validation of FDS+Evac for pedestrian simulations in wide bottlenecks

819

Validation of FDTD handset and head patterns by measurement

820

Validation of FD-TD modeling of the radar cross section of three-dimensional structures spanning up to nine wavelengths

821

Validation of FDTD RCS computations for PEC targets

822

Validation of FE Deformation Models using Ultrasonic and MR Images

823

Validation of FE model for transient hot wire thermal conductivity measurements

824

Validation of FETI-2LM formulation for EBG material prediction and optimal strategy for multiple RHS (invited)

825

Validation of FFT-based algorithms for large-scale modeling of wave propagation in tissue

826

Validation of field-to-transmission line coupling models

827

Validation of finite element analysis for RF heating of plastic composites

828

Validation of finite element analysis of the magnetic fields around fine cracks

829

Validation of Finite Element Model (FEM) of Coplanar Electrodes Capacitive Sensing Using Microfluidic-based Sensor Device

830

Validation of Finite Element Models of Liver Tissue Using Micro-CT

831

Validation of finite element solutions of nonlinear, periodic eddy current problems

832

Validation of Finite-Element Models of Persistent-Current Effects in Nb₃Sn Accelerator Magnets

833

Validation of first-order stratified KBs

834

Validation of Fixed Speed Induction Generator Models for Inertial Response Using Wind Farm Measurements

835

Validation of fluid-structure interaction simulation environment in analysis of large-break loss of coolant accident

836

Validation of fluorescence transition probability calculations

837

Validation of forward modeling target detection approach on a new hyperspectral data set featuring an urban scenario and variable illumination conditions

838

Validation of four major algorithms for estimating the instantaneous helical axis with miniature triaxial gyroscope

839

Validation of four-component decomposition with rotated coherency matrix of TerraSAR-X

840

Validation of Frame-Transfer Correction of SELENE/LISM/MI

841

Validation of free surface vortex analytical models

842

Validation of Frequency- and Time-domain Fidelity of an Ultra-low Latency Hardware-in-the-Loop (HIL) Emulator

843

Validation of frequency dependent transmission line models

844

Validation of frequency-dependent transmission line models

845

Validation of frequency-dependent, lossy transmission line simulations for printed circuit boards

846

Validation of fusion through linear programming

847

Validation of fuzzy and crisp c-partitions

848

Validation of Fuzzy set Qualitative Comparative Analysis (fsQCA): Granular description of a function

849

Validation of FY-3B satellite temperature product

850

Validation of GATE Monte Carlo simulation of the performance characteristics of a GE eXplore VISTA small animal PET system

851

Validation of gate Monte Carlo simulations for indium 111 imaging

852

Validation of GATE Monte Carlo simulations of the Philips GEMINI TF and TruFlight Select PET/CT scanners based on NEMA NU2 standards

853

Validation of GATE optical transportation with experimental single scintillator dual-end readout data

854

Validation of GATE simulations of the ¹⁷⁶Lu intrinsic activity in LSO detectors

855

Validation of GE wind plant models for system planning simulations

856

Validation of GEANT3 simulation studies with a dual-head PMT ClearPET™ prototype

857

Validation of Geant4 Atomic Relaxation Against the NIST Physical Reference Data

858

Validation of Geant4 Atomic Relaxation against the NIST reference data

859

Validation of Geant4 Bremsstrahlung models: first results

860

Validation of Geant4 electromagnetic and hadronic processes in the BaBar detector

861

Validation of Geant4 electromagnetic physics versus protocol data

862

Validation of Geant4 hadronic physics

863

Validation of Geant4 hadronic physics models at intermediate energies

864

Validation of Geant4 Low Energy Electromagnetic Processes Against Precision Measurements of Electron Energy Deposition

865

Validation of Geant4 low energy physics models against electron energy deposition and backscattering data

866

Validation of Geant4 Physics Models for the Simulation of the Proton Bragg Peak

867

Validation of Geant4 Simulation of Electron Energy Deposition

868

Validation of Geant4 X-ray fluorescence transitions - validation of Geant4 electromagnetic models against calorimetry measurements in the energy range up to 1 MeV

869

Validation of Geant4-based dose computational tools with REEF experiments

870

Validation of Geant4-Based Radioactive Decay Simulation

871

Validation of generalized continuous equivalent model on a DC/DC ladder multilevel converter

872

Validation of generator reactive capability

873

Validation of generic models for stability analysis of two large static var systems in New York using PMU data

874

Validation of GETM model simulated long-term salinity fields in the pathway of saltwater transport in response to the Major Baltic Inflows in the Baltic Sea

875

Validation of GLAS calibration using ground- and satellite-based data

876

Validation of GLASS albedo products using ground measurements and landsat TM data

877

Validation of global moderate-resolution LAI products: a framework proposed within the CEOS land product validation subgroup

878

Validation of GMS-5 S-VISSR solar exposure estimates over the Australian continent

879

Validation of GOES-R Satellite Land Surface Temperature Algorithm Using SURFRAD Ground Measurements and Statistical Estimates of Error Properties

880

Validation of GOMOS O₃ vertical profiles

881

Validation of grid-based surface reconstruction techniques applied to digital elevation models including the Shuttle Radar Topographic Mission

882

Validation of guidance control software requirements specification for reliability and fault-tolerance

883

Validation of HADES-based simulations of radiographic experiments

884

Validation of handset antenna test methods

885

Validation of hardware error recovery mechanisms for the SPARC64 V microprocessor

886

Validation of HDOP Measure for Impact Detection in Sensor Network-Based Structural Health Monitoring

887

Validation of health-monitoring algorithms for civil aircraft engines

888

Validation of heart rate extraction through an iPhone accelerometer

889

Validation of heart rate extraction using video imaging on a built-in camera system of a smartphone

890

Validation of Helium Inlet Design for ITER Toroidal Field Coil

891

Validation of HF channel simulators

892

Validation of High Efficiency ICP Source performance for advanced resist ashing

893

Validation of high frequency acoustic target modeling

894

Validation of High Gradient Magnetic Field Based Drug Delivery to Magnetizable Implants Under Flow

895

Validation of High Spatial Resolution Wave Data From Envisat RA-2 Altimeter in the Gulf of Cádiz

896

Validation of high-definition electric power delivery network simulation

897

Validation of Higher-Order Approximations and Boundary Conditions for Lossy Conducting Bodies

898

Validation of high-speed broadband satellite communications on airborne platforms

899

Validation of Homogenized Filament Bundle Model in AC Loss Computations

900

Validation of human skin models in the MHz region

901

Validation of Hybrid MinMax FuzzyNeuro Systems

902

Validation of Hybrid MoM Scheme With Included Equivalent Glass Antenna Model for Handling Automotive EMC Problems

903

Validation of hydrodynamic model by remote sensing data for China´s largest freshwater lake

904

Validation of hydroelectric power plant model for speed governor development studies

905

Validation of hydrothermal test cases for economic analysis

906

Validation of ice edges derived from SSM/I data using ERS-SAR images

907

Validation of ICT-based protection and control applications in electric power systems

908

Validation of IEC 61853-2 standard (Draft): Angle of incidence effect on photovoltaic modules

909

Validation of image defect models for optical character recognition

910

Validation of impedance-based small-signal stability analysis for single-phase grid-feeding inverters with PLL

911

Validation of in vivo Leukocyte Velocity Estimates via Modeling and Simulation

912

Validation of Individual Pitch Control by Field Tests on Two- and Three-Bladed Wind Turbines

913

Validation of inductance measurements at NMi VSL

914

Validation of infarct size and location from the ECG by inverse body surface mapping

915

Validation of information system models: Petri nets and test case generation

916

Validation of Infrared Camera Thermal Measurements on High-Voltage Power Electronic Components

917

Validation of instrument control methodology in remote labs of analog electronic

918

Validation of integer and fractional order PI controllers for a real time non linear process

919

Validation of integrated capacitor-via-planes model

920

Validation of Interlocking Systems by Testing their Models

921

Validation of intermediate level circuit models (ILCM) of a generic system through measurement

922

Validation of international space station electrical performance model via on-orbit telemetry

923

Validation of in-vehicle-protocol network topologies

924

Validation of inverse eigenvalue technique for characterisation of coupled micro/nano resonators

925

Validation of Inverted Pendulum model for gait length calculation

926

Validation of in-water 3D radiative transfer using DIRSIG

927

Validation of IP²C devices as touch sensors

928

Validation of Iranna-Bapat´s generalized empirical models for the estimation of global solar radiation for few locations in Chinese province

929

Validation of IT-security measurement tools

930

Validation of ITU-T P.863 for low bit-rate coded speech quality measurements

931

Validation of kernel-based TMR in an autonomous guided vehicle

932

Validation of kernel-driven semiempirical BRDF models for application to MODIS/MISR data

933

Validation of kill-rate and yield model for clustering visual defects in semiconductor manufacturing

934

Validation of klystron development code-KLYS 4.5

935

Validation of knowledge-based systems by means of stochastic search

936

Validation of Landsat-7/ETM+ Thermal-Band Calibration and Atmospheric Correction With Ground-Based Measurements

937

Validation of land-surface temperature retrieval from space

938

Validation of language recognition specificity of N400 cognitive evoked potential

939

Validation of Laplacian sensor characteristics

940

Validation of Latch-Up Mitigation in Complex VLSI Circuits

941

Validation of Liaw´s attitude questionnaire: A study with Portuguese teachers

942

Validation of linear fractional uncertain models: solutions via matrix inequalities

943

Validation of linear fractional uncertain models: solutions via matrix inequalities

944

Validation of Lithosphere-Atmosphere-Ionosphere coupling concept by geo space observation of natural and anthropogenic processes

945

Validation of liveness for 1-safe hybrid Petri nets using network unfolding

946

Validation of load-independent X-parameters® formulation for use in analytical circuit design

947

Validation of logic controllers from events observation in a closed-loop system

948

Validation of Logistic Regression Models for Landslide Susceptibility Maps

949

Validation of long-term changes of evoked response with self-orgnization map

950

Validation of loop-star basis function approach to model EM/EMI problems on complicated surface and wire geometries from low to microwave frequencies

951

Validation of LOTOS specifications using an interpreter: an application to telephone systems

952

Validation of low-accuracy quantization in massive MIMO and constellation EVM analysis

953

Validation of low-cost eye tracking setup for smooth pursuit application

954

Validation of low-dimensional models using diffusion maps and harmonic averaging

955

Validation of low-level, high-frequency transient FDTD simulation with radiated field measurements

956

Validation of lumped-circuit and finite-element modelling of axially-laminated brushless motors

957

Validation of magnetic resonance imaging (MRI) multispectral tissue classification

958

Validation of magneto hydrodynamics model

959

Validation of material electrical properties between the true package and ideal modeling

960

Validation of MCNPX-PoliMi fission models

961

Validation of measurement tools to extract metrics from open source projects

962

Validation of measurement-based load modeling for large-scale power grid

963

Validation of mechanical governor performance and models using an improved system for driving ballhead motors

964

Validation of Mechanical Transmission with Clutch using Hardware-In-the-Loop Simulation

965

Validation of medical image processing in image-guided therapy

966

Validation of MEMS acceleration measurements for seismic monitoring with LVDT and vision system

967

Validation of MERIS chlorophyll a products in the Lithuanian Baltic Sea case 2 coastal waters

968

Validation of MERIS water vapour in the central Italy by concurrent measurements of microwave radiometers and GPS receivers

969

Validation of method for estimating interferometric phase offset without the use of ground control points

970

Validation of methods for determining ankle stiffness during walking using the Perturberator robot

971

Validation of microaneurysm-based diabetic retinopathy screening across retina fundus datasets

972

Validation of microcomputer antenna codes

973

Validation of microwave emission models by simulating AMSR-E brightness temperature data from ground-based observations

974

Validation of microwave scattering radiative transfer models using an aircraft radiometer and a ground-based radar

975

Validation of Microwave Tomographic Inverse Scattering Approach via Through-the-Wall Experiments in Semicontrolled Conditions

976

Validation of minimum-energy band-limited prediction using vehicular channel measurements

977

Validation of mission critical software design and implementation using model checking [spacecraft]

978

Validation of Mobile Laser Scanning for Understory Tree Characterization in Urban Forest

979

Validation of Mobility Simulations via Measurement Drive Tests in an Operational Network

980

Validation of modal/MoM in shielding effectiveness studies of rectangular enclosures with apertures

981

Validation of modal/MoM in shielding effectiveness studies of rectangular enclosures with apertures

982

Validation of model of external-cavity semiconductor laser and extrapolation from five-element to multielement fiber-coupled high-power laser

983

Validation of model simulations with respect to in situ observations by the use of probabilistic estimations

984

Validation of Model-Based Testing in Hardware in the Loop Platform

985

Validation of models and algorithms for microwave radiometric investigations of tropical cyclones

986

Validation of Models and Tests for Constrained Combinatorial Interaction Testing

987

Validation of models for air cooled plane fin heat sinks used in computer cooling

988

Validation of models for the diffusion weighted MR signal in brain white matter

989

Validation of models for traffic resulting from mobility in microcellular mobile broadband systems

990

Validation of models: statistical techniques and data availability

991

Validation of MODIS Aerosol Optical Depth Retrievals in Anhui Province

992

Validation of MODIS albedo product by using field measurements and airborne multi-angular remote sensing observations

993

Validation of MODIS Albedo Products of Paddy Fields in Japan

994

Validation of MODIS albedo products with high resolution albedo estimates from FORMOSAT-2

995

Validation of MODIS and AVHRR/3 sea surface temperature retrieval algorithms

996

Validation of MODIS F/sub PAR/ products in boreal forests of Alaska

997

Validation of MODIS FAPAR products in Hulunber grassland of China

998

Validation of MODIS FLH Algorithm using Satellite Imagery

999

Validation of MODIS global LAI products in forested terrain

1000

Validation of MODIS gross primary productivity for a subtropical coniferous plantation in Southern China

بازگشت