بر اساس عنوان

1
Verification of Spatio-Temporal Role Based Access Control using Timed Automata
2
Verification of SpecC using predicate abstraction
3
Verification of specifications in the language L with respect to temporal properties expressible by GR(1) formulas
4
Verification of speed-dependences in single-rail handshake circuits
5
Verification of speed-independent asynchronous circuits with protocol validation tools
6
Verification of speed-independent data-path circuits
7
Verification of Split&Shift techniques for CNN hardware reduction
8
Verification of SRAM MСUs calculation technique for experiment time optimization
9
Verification of Static Signatures by Optical Flow Analysis
10
Verification of steady state model of power autotransformer
11
Verification of stereo vision based localization system
12
Verification of stochastic tram model based on real traffic data
13
Verification of streaming designs by combining symbolic simulation and equivalence checking
14
Verification of streaming hardware and software codesigns
15
Verification of Strict Integrity Policy via Petri Nets
16
Verification of Structure on Model´s Eyes-Hands during Signal Tracking
17
Verification of supervised clustering validity and its applications
18
Verification of Surface Scattering Models and Inversion Algorithms with the Polarimetric Backscatter Measurements of a Bare Soil Surface
19
Verification of switching network properties using satisfiability
20
Verification of switching program by object oriented simulator
21
Verification of Synchronous Elastic Processors
22
Verification of Synchronous Machine Modeling in Stability Studies: Comparative Tests of Digital and Physical Scale Model Power System Simulations
23
Verification of synthesized circuits at register transfer level with flow graphs
24
Verification of system models for steady-state and dynamic security assessment
25
Verification of System Specifications of a High Performance Network Analyzer
26
Verification of SystemC transaction level models using an aspect-oriented and generic approach
27
Verification of systems containing counters
28
Verification of Tactile Sensor for Manipulator
29
Verification of Temporal Properties in Automotive Embedded Software
30
Verification of temporal properties on hybrid automata by simulation relations
31
Verification of temporal requirements of complex systems using UML patterns, application to a railway control example
32
Verification of Tempura specification of sequential circuits
33
Verification of the 3D finite element gun code MICHELLE on a gridded gun
34
Verification Of The Accuracy Of A Network Of Water-vapour
35
Verification of the Accuracy of a Nutritive-Value Calculator Based on Food Name Selection
36
Verification of the Aizerman and/or Kalman conjecture
37
Verification of the applicability of an RF-signal-based detection method for partial discharges on inverter-fed random wound stator windings in a low-voltage induction motor
38
Verification of the behavior of sequential function chart based on its Petri net model
39
Verification of the capability of repeat-pass SAR interferometry to provide tree height information in boreal forest zone
40
Verification of the capacitive pressure sensor with additional air chamber
41
Verification of the Cell Broadband Engine/spl trade/ processor
42
Verification of the Cigarette Smokers´ Problem: a Viable Approach
43
Verification of the Consistency of Timing Constraints of the Orchestration of Factory Automation Web Services
44
Verification of the CoreNet Fabric with SystemVerilog
45
Verification of the damping effect of base plate jerk feedback scheme on the self-oscillation of a pneumatic positioning stage
46
Verification of the decimal floating-point square root operation
47
Verification of the detection of partial discharges by microwaves
48
Verification of the dielectric withstand between the live part and the enclosure during the transformer capacitive synthetic tests for dead-tank breaker
49
Verification of the Dose Distributions With GEANT4 Simulation for Proton Therapy
50
Verification of the dose distributions with GEANT4 simulation for proton therapy
51
Verification of the effect on “Finger Pointing and Calling” method from observation of brain activity related driver´s attention
52
Verification of the effectiveness of robots for sales promotion in commercial facilities
53
Verification of the equivalent circuit of a channel-collector transistor by two-dimensional numerical simulation
54
Verification of the equivalent model of the inverter in microgrid
55
Verification of the existing model for passing sight distance on single two-lane rural carriageways
56
Verification of the fast reservation protocol with delayed transmission using the tool KRONOS
57
Verification of the feasibility of elasticity tomography-simulation study
58
Verification of the fit to user profiles for UML tools
59
Verification of the frozen permeabilities method of calculating the interior permanent magnet motor
60
Verification of the general position assumption in the practice of stereovision
61
Verification of the GREAT Total Data Readout System Using Pseudo Random Pattern Generator
62
Verification of the GREAT total data readout system using pseudo random pattern generator
63
Verification of the identifiability property for nonlinear control systems with computer algebra system Mathematica
64
Verification of the influence of the number of voltage applications on the performance of the protection for high voltage power frequency test transformers during disruptive discharge voltage tests
65
Verification of the integral charge-control relation for high-speed bipolar transistors at high current densities
66
Verification of the Kalman conjecture for systems containing numerator dynamics
67
Verification of the least-time/maximum-probability theory of lightning propagation and lightning protection systems design
68
Verification of the light phase effect at the facet on DFB laser properties
69
Verification of the load sharing characteristics in autonomous decentralized UPS system using FPGA based hardware controller
70
Verification of the low frequency ac-dc transfer difference of thermal converters using sampling with sine wave fit
71
Verification of the Method-of-Moment Codes Using the Method of Manufactured Solutions
72
Verification Of The Micromechanical Characteristics Of Electrostatic Linear Actuators
73
Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks
74
Verification of the Model of Interconnection Capacitances Dependence on Further Neighbourhood in the Bus-Microscopic and Electrical Measurements
75
Verification of the modified method of extending a valid region for far-field pattern reconstruction in planar near-field measurements
76
Verification of the modified Windkessel model of the arterial vasculature
77
Verification of the muscle fatigue detection capability of a unipolar-leads system using a surface electromyogram model
78
Verification of the mutual coupling compensation technique in small planar antenna arrays
79
Verification of the new concept in AC power theory using energy conversion medium
80
Verification of the Noise Parameter Instrumentation
81
Verification of the nonparametric characteristics of backpropagation neural networks for image classification
82
Verification of the Observer Property in Discrete Event Systems
83
Verification of the operation reliability by suitable test procedures for GIL
84
Verification of the optical design for band 9 of the ALMA receiver
85
Verification of the optimum hybridization factor as design parameter of hybrid electric vehicles
86
Verification of the outlet edge cogging force at the Permanent Magnet Linear Synchronous Motor for long-distance transportation system
87
Verification of the performance of parabolic concentrating solar cooker on some food stuffs cooked in bauchi — North East, Nigeria
88
Verification of the phase-noise model for MEMS oscillators operating in the nonlinear regime
89
Verification of the PMCHWT-CBFM for scattering analysis of a microstrip array antenna
90
Verification of the potential of various remote sensing data sources for forest inventory
91
Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism
92
Verification of the Radar Visibility of Small Objects
93
Verification of the reactive power requirements in wind farms
94
Verification of the redundancy management system for space launch vehicle: a case study
95
Verification of the RF subsystem within wireless LAN system level simulation
96
Verification of the RF subsystem within wireless LAN system level simulation
97
Verification of the Rician K-factor-based uncertainty model for measurements in reverberation chambers
98
Verification of the sea surface radar models from collocated radar observations and stereo-photo imaging
99
Verification of the security of a secure network component
100
Verification of the seismic resistance of gas-insulated switchgear (GIS)
101
Verification of the seismic resistance of gas-insulated switchgear (GIS)
102
Verification of the Self-Stabilization Mechanism in Robust Stochastic Adaptive Control using Lyapunov Function Arguments
103
Verification of the Shifting Mechanism of Clutchless Geared Smart Transmission Using the Compact Car Size Test Bench
104
Verification of the Short-Circuit Current Making Capability of High-Voltage Switching Devices
105
Verification of the short-circuit current making capability of high-voltage switching devices
106
Verification of the Sparrow processor
107
Verification of the speed-independent circuits by STG unfoldings
108
Verification of the system for indirect temperatures measurement in the massive batch
109
Verification of the systolic blood-pressure measurement principle by FBG sensors
110
Verification of the ted cathode models by longterm lifetest data
111
Verification of the TerraSAR-X system
112
Verification of the theory of thermal radiation in ground soil
113
Verification of the thin film metal layer thickness by energy dispersive X-ray
114
Verification of the time evolution of cosmological simulations via hypothesis-driven comparative and quantitative visualization
115
Verification of the time-reversal measurements protocol for buried object detection in the soil
116
Verification of the Total Zero Doppler Steering
117
Verification of the UltraSPARC microprocessor
118
Verification of the veracity of brachistochrone curve and evolution of optimal control
119
Verification of the versatility of the RT modules by the multiple robots platform
120
Verification of the Vertical Error in C-Band SRTM DEM Using ICESat and Landsat-7, Otter Tail County, MN
121
Verification Of The Viscoelastic Oxidation Model Using Simple Test Structures
122
Verification of the VLSI-/370 microprocessor
123
Verification of the wafer-level LRM+ calibration technique for GaAs applications up to 110 GHz
124
Verification of the WAP transaction layer
125
Verification of the Wavelet-Based HIF Detecting Algorithm Performance in Solidly Grounded MV Networks
126
Verification of the westervelt equation for focused transducers
127
Verification of THEA Tile Calibration and Beamforming Results using a Near Field Scanner
128
Verification of theoretical model for collector current in SiGe-based heterojunction bipolar transistors
129
Verification of thermal analysis of PWBs for RAMCAD
130
Verification of thermally induced nanometer actuation of magnetic recording transducer to overcome mechanical and magnetic spacing challenges
131
Verification of thermally induced nanometer actuation of the magnetic recording transducer to overcome mechanical and magnetic spacing challenges
132
Verification of TIC characteristics for precise optical fiber time transfer links
133
Verification of timber age mapping with shuttle radar topography mission and national elevation datasets in the U.S.
134
Verification of Time Ontologies with Points and Intervals
135
Verification of time partitioning in the DEOS scheduler kernel
136
Verification of time telegrams in Long Wave Radio systems
137
Verification of timed circuits with failure directed abstractions
138
Verification of timed circuits with failure-directed abstractions
139
Verification of timed circuits with symbolic delays
140
Verification of timed Finite State Machines
141
Verification of Timing Constraints on Large Digital Systems
142
Verification of timing properties in rapid system prototyping
143
Verification of Top-K Algorithm for a Family of Non-monotonic Ranking Functions
144
Verification of Topology and «Radial» Algorithms in Submicron Technology of IS
145
Verification of trace length and trace impedance of fabricated load board using TDR
146
Verification of traction system performance for HSR350X using traction system combined test
147
Verification of train localization by using inertial measurement system and identification of characteristic segments
148
Verification of transactional memory in POWER8
149
Verification of transaction-level SystemC models using RTL testbenches
150
Verification of transformer voltage with finite element method
151
Verification of transient response of linear analog circuits
152
Verification of transient RIC in polyethylene using numerical methods
153
Verification of Treaty Compliance -- Revisited
154
Verification of Trident Warrior 2013 radiosonde and numerical weather prediction results with passive low frequency RF measurements
155
Verification of TVWS Coexistence System Based on P802.19.1 Draft Standard
156
Verification of Twist Drive system and its application to haptic robot hand
157
Verification of Two-Variable Logic Revisited
158
Verification of ultra-broadband calculable dipole antennas & applications
159
Verification of ultra-wideband VHF SAR data DEM
160
Verification of UML/OCL Class Diagrams using Constraint Programming
161
Verification of UML-based real-time system designs by means of cTLA
162
Verification of Unconstrained Handwritten Words at Character Level
163
Verification of unit and dimensional consistencies in polychronous specifications
164
Verification of unmanned underwater vehicle with velocity over 10 knots guidance control system based on hardware in the loop simulation
165
Verification of Unstructured Workflows via Propositional Logic
166
Verification of untrusted chips using trusted layout and emission measurements
167
Verification of usability of teleoperation system using past image records by sharing information obtained from external cameras
168
Verification of Use-Cases with FOAM Tool in Context of Cloud Providers
169
Verification of utility requirements on modern numerical transformer protection by dynamic simulation
170
Verification of variable carrier deadbeat control with digital hysteresis method using SoC-FPGA for utility interactive inverter for FRT conditions
171
Verification of various numerical methods using hardware implementation
172
Verification of VHDL designs using VAL
173
Verification of Vibration Characteristic of Hermetically Sealed Differential Floating Mass Transducer for Implantable Middle Ear Hearing Device Using Mock-Up of Ear
174
Verification of vibration data in electromachine systems using neural-network software
175
Verification of view-based self-localization of autonomous outdoor mobile robots
176
Verification of visual attitude control for outdoor autonomous mobile robots
177
Verification of Volume-of-Fluid (VOF) simulation for thin liquid film applications
178
Verification of wafer-level calibration accuracy at high temperatures
179
Verification of Waveguide Measurements Using 2-Port Standards
180
Verification of waveguide-type optical circulator operation
181
Verification of WCDMA radio network planning prediction methods with fully dynamic network simulator
182
Verification of Web Service Conversations Specified in WSCL
183
Verification of Web service flows with model-checking techniques
184
Verification of Web Services Compositions: Applying Model Checking to BPEL4WS
185
Verification of Web Services Modeled as Finite State Machines
186
Verification of Web services using an enhanced UDDI server
187
Verification of wind parks and their integration into small-interconnected power system
188
Verification of wind power forecasts provided in real-time to the Irish Transmission System Operator
189
Verification of Wireless Data Acquisition Radio Frequency System for Medical Telemetry Application
190
Verification of WLAN 802.11a System-Level Specifications for Commercially Off-The-Shelf Power Amplifiers
191
Verification of wood permittivity spectra using the Kramers ??? Kronig relation
192
Verification of Workflow processes under multilevel security considerations
193
Verification of Workflow Specifications Considering Resource Type and Amount
194
Verification of X-band SRTM DEM data quality in New Zealand
195
Verification of XRL: an XML-based workflow language
196
Verification of ZG controllers for cart path tracking of general IPC model with nonzero link mass
197
Verification of ZY-3 Satellite Imagery Geometric Accuracy Without Ground Control Points
198
Verification on port connections
199
Verification on power controllable domain theory of three-phase voltage source power converter
200
Verification on stability and reproducibility of DSCQS method for assessing 4K Ultra-HD video quality
201
Verification on the approximate theorem of time-varying RBF neural networks and its application analysis
202
Verification on the Dose Profile Variation of a 3-D—NIPAM Polymer Gel Dosimeter
203
Verification on the extreme scalability of STT-MRAM without loss of thermal stability below 15 nm MTJ cell
204
Verification or validation of hardware-software codesigns?
205
Verification pattern generation for core-based design using port order fault model
206
Verification platform research base on SystemC design
207
Verification problems in reusing internal design components
208
Verification procedure for on-orbit controllers for the MIT Middeck Active Control Experiment
209
Verification procedures of performance-based design on the sliding stability of composite breakwaters
210
Verification procedures to ensure consistent energy metering
211
Verification Requirements for Secure and Reliable Cloud Computing
212
Verification results for the choice of projection axes used in fast encoding method of vector quantization
213
Verification Results Of MOS-1 MESSR Data
214
Verification Results of Mos-1 Microwave Scanning Radiometer (msr)
215
Verification State-Space Reduction through Restricted Parsing Environments
216
Verification Steps and Personal Stories in an Instruction Manual for Seniors: Effects on Confidence, Motivation, and Usability
217
Verification strategy determination using dependence analysis of transaction-level models
218
Verification strategy for integration 3G baseband SoC
219
Verification strategy in PROVER
220
Verification strategy of the CATHEDRAL-I silicon compiler based on the SFG-tracing methodology
221
Verification structures for design of video processing circuits
222
Verification structures for transmission line pulse measurements
223
Verification structures for transmission line pulse measurements
224
Verification support for workflow design with UML activity graphs
225
Verification system for real-time specification based on extended real-time logic
226
Verification system for SoC HDL-code
227
Verification system interface for VLSI combinational circuits
228
Verification technique for time Petri nets
229
Verification technique of on-planar VNA calibration
230
Verification techniques for a MIPS compatible embedded control processor
231
Verification techniques for deadlock and real time constraint violation
232
Verification techniques for high-performance OCR of hand-printed postcodes
233
Verification techniques for substrate coupling and their application to mixed-signal IC design
234
Verification techniques imposed upon design of a standard cell based dsp dedicated to cochlear implant
235
Verification test for helium panel of cryopump for DIII-D advanced divertor
236
Verification test of grid stabilization and evaluation of PV module characteristics for large-scale PV generation system
237
Verification test results of 2nd stage in Hokuto mega-solar system
238
Verification test results of 70 MW class of slow-response type B superconducting generator
239
Verification Testing
240
Verification Testing for a 1 MVA 3-Phase Demonstration Transformer Using 2G-HTS Roebel Cable
241
Verification testing of a spherical near-field algorithm and comparison to compact range measurements
242
Verification testing of HEVC compression performance for UHD video
243
Verification Testing of ITER Nb3Sn Strand at the NHMFL
244
Verification Testing—A Pseudoexhaustive Test Technique
245
Verification tests for DTS system measure and calculate power cable temperature
246
Verification Tests for MCAPI
247
Verification tests of 3.3 kV SiC (Silicon Carbide) hybrid IGBT inverter for Nishi-Nippon Railroad Co., Ltd 3000 series
248
Verification tests of a 100 m high-Tc superconducting cable
249
Verification tests of electric double-layer capacitors for static energy storage system in DC electrified railway
250
Verification Tests of the VEPCO 500-kY System
251
Verification the feasibility of SIGVerse for human-robot interaction simulation through following task
252
Verification through calibration: An approach and a case study of a model of conflict in Syria
253
Verification Tool and Unified Specifications for Embedded Software
254
Verification tool for systolic array design
255
Verification tools for embedded robotic electronics
256
Verification Under Increasing Dimensionality
257
Verification using spaceborne microwave imaging
258
Verification via digitized models of real-time hybrid systems
259
Verification Web Services Composition Based on OWL-S
260
Verification with small and short worlds
261
Verification, Validation & Accreditation: Disciplines In Dialogue Or Can We Learn From The Experiences Of Others?
262
Verification, Validation And Accreditation Of Simulation Models
263
Verification, validation and accreditation of simulation models
264
Verification, Validation and Accreditation: An HLA FEDEP Overlay
265
Verification, validation and integrity issues in expert and database systems: the database perspective
266
Verification, validation and the achievement of quality: a holistic approach
267
Verification, validation, and accreditation
268
Verification, validation, and accreditation (VV&A) of models and simulations through reduced order metamodels
269
Verification, validation, and accreditation in the life cycle of models and simulations
270
Verification, validation, and certification of modeling and simulation applications
271
Verification, validation, and demonstration of an aerodrome map information service
272
Verification, validation, and demonstration of an aerodrome map information service
273
Verification, Validation, and Evaluation in Information Security Risk Management
274
Verification/validation of performance simulation using ANSI X3.102 measurements
275
Verification: the whole truth
276
Verification: What works and what doesn´t
277
Verification-Aware Microprocessor Design
278
Verification-based decoding for packet-based low-density parity-check codes
279
Verification-Based Interval-Passing Algorithm for Compressed Sensing
280
Verification-Based Multi-backup Firmware Architecture, an Assurance of Trusted Boot Process for the Embedded Systems
281
Verification-based robust design of BLDC drive electronic control
282
Verification-Based Test Case Generation for Full Feasible Branch Coverage
283
Verification-Driven Design Across Abstraction Levels: A Case Study
284
Verification-enabling interaction model for services in smart space: a TAIS case
285
Verification-Guided Soft Error Resilience
286
Verification-guided voter minimization in triple-modular redundant circuits
287
Verification-oriented MBDD design for digital circuits
288
Verification-Purpose Operating System for Microprocessor System-Level Functions
289
Verifications of RMP: an efficient reliable multicast protocol
290
Verifications of the Kalman conjecture based on locus curvature
291
Verifications of the Kalman conjecture for irrational transfer functions
292
Verifications of the low-cost eye-tracker KSL-240
293
Verifications of transient grounding impedance measurements of a wind turbine generator system using the FDTD method
294
Verified Computation to a Nonlinear Poisson Equation with Neumann Boundary Condition Derived from the Keller-Segel Model
295
Verified Computational Differential Privacy with Applications to Smart Metering
296
Verified concept mapping for eliciting conceptual understanding
297
Verified Enforcement of Security Policies for Cross-Domain Information Flows
298
Verified Firewall Policy Transformations for Test Case Generation
299
Verified functions for generating signed-binary arithmetic hardware
300
Verified high-level synthesis in BEDROC
301
Verified hybrid controllers for automated vehicles
302
Verified in vitro characteristics of ketoconazole and itraconazole nanoparticulates in wet-nanomilling
303
Verified interoperable implementations of security protocols
304
Verified Operational Patterns with Graph Transformation
305
Verified Real Number Calculations: A Library for Interval Arithmetic
306
Verified Security for Browser Extensions
307
Verified Security of Merkle-Damgård
308
Verified simulation of a hydraulic drive
309
Verified simulation of control systems with interval parameters using an exponential state enclosure technique
310
Verified software: a grand challenge
311
Verified Software: Theories, Tools, Experiments
312
Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems
313
Verifier-based password authenticated key exchange protocol via elliptic curve
314
Verifier-based password-authenticated key exchange protocol in cross-realm setting
315
Verifier-Based Three-Party Password-Authenticated Key Exchange with Forward Security
316
Verifiticion of a SEU Model for Advanced 1-um CMOS Structures Using Heavy Ions
317
VERIFUL: VERIfication using FUnctional Learning
318
Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming
319
Verify Election Campaign Optimization Algorithm by Several Optimization Problems
320
Verify Enterprise System Implementation through Business Process Model-Based Test Suite Generation
321
Verify properties of mobile code
322
Verify results of network intrusion alerts using lightweight protocol analysis
323
Verify the number of soda bottles in the casket by using computer vision
324
VERIFY: evaluation of reliability using VHDL-models with embedded fault descriptions
325
Verify: key to the stable single-electron-memory operation
326
VerifyESD: a tool for efficient circuit level ESD simulations of mixed-signal ICs
327
Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving
328
Verifying (k, 0, d)-extendability in bipartite graphs and its application
329
Verifying 3G License Requirements - Some Preliminary Swedish Results
330
Verifying 3G license requirements when every dB is worth a billion
331
Verifying a class of nondeterministic discrete event systems in a generalized temporal logic
332
Verifying a gigabit ethernet switch using SMV
333
Verifying a hardware security architecture
334
Verifying a logic-synthesis algorithm and implementation: a case study in software verification
335
Verifying a multiprocessor cache controller using random test generation
336
Verifying a new design using Bayes´ theorem
337
Verifying a pipelined microprocessor
338
Verifying a Real-Time Language with Constraints
339
Verifying a Secure Session Protocol for Web Services
340
Verifying a self-timed divider
341
Verifying a User in a Personal Face Space
342
Verifying abstract data types a hybrid approach
343
Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned
344
Verifying adaptation of neuro-controlled game opponent by cross validation under supervised and unsupervised player modeling
345
Verifying ADS-B navigation information through Doppler shift measurements
346
Verifying ADS-B navigation information through Doppler shift measurements
347
Verifying agile transparent system performance with field testing
348
Verifying algorithms for autonomous aircraft by simulation - generalities and example
349
Verifying all of an SOC-analog circuitry included
350
Verifying an Arbiter Circuit
351
Verifying an intelligent structural control system: a case study
352
Verifying analog oscillator circuits using forward/backward abstraction refinement
353
Verifying and Analyzing Adaptive Logic through UML State Models
354
Verifying and combining different visual cues into a 3-D model
355
Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces
356
Verifying and explaining agent behavior in an implemented agent system
357
Verifying and Fixing Password Authentication Protocol
358
Verifying and Mining Frequent Patterns from Large Windows over Data Streams
359
Verifying and testing expert system conceptual models
360
Verifying and validating a simulation model
361
Verifying and validating an expert system for financial statement planning
362
Verifying and validating for maintainability
363
Verifying and validating multirobot missions
364
Verifying and validating simulation models
365
Verifying and validating simulation models
366
Verifying and Validating Software Requirements and Design Specifications
367
Verifying architectural variabilities in software fault tolerance techniques
368
Verifying Arithmetic Hardware In Higher-order Logic
369
Verifying armature fusing quality
370
Verifying ASICs by symbolic simulation
371
Verifying Aspect-Oriented Programs Using Open Temporal Logic
372
Verifying asymptotic bounds for discrete-time sliding mode systems with disturbance inputs
373
Verifying asymptotic correctness
374
Verifying Atomicity Requirements of Services Coordination Using B
375
Verifying authentication protocols in CSP
376
Verifying authentication protocols with CSP
377
Verifying authentication protocols: methodology and example
378
Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL
379
Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems
380
Verifying Behavior of L4 Microkernel based Mobile Phone
381
Verifying Bigraphical Models of Architectural Reconfigurations
382
Verifying BPEL-Like Programs with Hoare Logic
383
Verifying Business Process Compatibility (Short Paper)
384
Verifying cache coherence protocols
385
Verifying Causality between Distant Performance Phenomena in Large-Scale MPI Applications
386
Verifying Choreographic Descriptions of Web Services Based on CSP
387
Verifying CIM models of Apache Web-server configurations
388
Verifying circuit-breaker interrupting capacity
389
Verifying client-side input validation functions using string analysis
390
Verifying clock schedules
391
Verifying clock schedules in the presence of crosstalk
392
Verifying closed-loop performance before inserting a new controller
393
Verifying cloud Service Level Agreement
394
Verifying Coalitions in 3-Party Systems
395
Verifying Code and Its Optimizations: An Experience Report
396
Verifying command sequences for satellite systems
397
Verifying communication constraints in RSML specifications
398
Verifying Composite Service Transactional Behavior with EVENT-B
399
Verifying compositional designs for scenario-based timing specifications
400
Verifying concurrent programs
401
Verifying cone-beam CT extended axial coverage with iterative reconstruction using real data
402
Verifying conformance between Web service choreography and implementation using learning and model checking
403
Verifying conformance of security implementation with organizational access policies in community cloud a formal approach
404
Verifying consistency between activity diagrams and their corresponding OCL contracts
405
Verifying Consistency of Web Services Behavior
406
Verifying Consistency of Web Services Behavior Using Type Theory
407
Verifying Correct Microarchitectural Enforcement of Memory Consistency Models
408
Verifying correct pipeline implementation for microprocessors
409
Verifying correctness of interfaces of design models of manufacturing systems using functional abstractions
410
Verifying Correctness of Transactional Memories
411
Verifying Correctness of Web Services Choreography
412
Verifying cryogenic cooling of superconducting cables using optical fiber
413
Verifying Current Conduction in a Low Energy Plasma
414
Verifying Cyber-Physical Interactions in Safety-Critical Systems
415
Verifying DAML+OIL and beyond in Z/EVES
416
Verifying data integration agents with deduction-based models
417
Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center
418
Verifying data integrity: If you cannot believe the data, how can you believe the analytics?
419
Verifying Deadlock- and Livelock Freedom in an SOA Scenario
420
Verifying Deep Logic Hierarchies with ALEX
421
Verifying definite iteration over data structures
422
Verifying Delivered QoS in Multihop Wireless Networks
423
Verifying detected facial parts by multidirectional associative memory
424
Verifying detection probabilities for MIMO system in reverberation chamber
425
Verifying Digital Provenance in Web Services
426
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
427
Verifying Diversity Defense Mechanisms against Common Cause Failures for Safety Instrumented Systems Using a Stress-Strength Model
428
Verifying dynamic aspects of UML models
429
Verifying dynamic power management schemes using statistical model checking
430
Verifying dynamic properties of nonlinear mixed-signal circuits via efficient SMT-based techniques
431
Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets
432
Verifying dynamics of mixed-signal circuits with random noise using statistical Petri Net
433
Verifying EGNOS integrity in practice: GIMAT — a tool based on statistical Extreme Value Theory
434
Verifying electrical/thermal/thermo-mechanical behavior of a 3D stack - Challenges and solutions
435
Verifying electronic combat system operation using free space radiated combat scenario simulations
436
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker
437
Verifying enterprise´s mandatory access control policies with coloured Petri nets
438
Verifying Environmental Kuznets curve in China: Based on panel data of cities
439
Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic
440
Verifying equivalence of digital signal processing circuits
441
Verifying equivalence of functions with unknown input correspondence
442
Verifying equivalence of memories using a first order logic theorem prover
443
Verifying Estelle specifications: numerical Petri nets approach
444
Verifying external data memory interface for H.263 video DSP with memory simulator
445
Verifying external interrupts of embedded microprocessor in SoC with on-chip bus
446
Verifying fault release control of power system via hybrid system reachability
447
Verifying fault tolerance of distributed algorithms formally-an example
448
Verifying fault-tolerant behavior of state machines
449
Verifying fibre channel FC-AV ULP functionality in a UUT
450
Verifying Fingerprint Match by Local Correlation Methods
451
Verifying finite element assumptions using structural system identification
452
Verifying finite element simulation for a piezoresistive MEMS sensor
453
Verifying finite state real-time discrete event processes
454
Verifying firewall circuits by wave-pipelined operations
455
Verifying flying prober performance - fitness is survival
456
Verifying formal specifications using fault tree analysis
457
Verifying FreeRTOS´ Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code
458
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof
459
Verifying functional and non-functional properties of manufacturing control systems
460
Verifying Functional Specifications by Regression Techniques on Lissajous Test Signatures
461
Verifying fuzzy domain theories using a neural network model
462
Verifying general safety properties of Ada tasking programs
463
Verifying generic IEC 61508 CPU self-tests with fault injection
464
Verifying global convergence for a digital phase-locked loop
465
Verifying global minima for L2 minimization problems
466
Verifying GSM-Based Business Artifacts
467
Verifying Hardening Techniques for Distributed Electronic Systems in Critical Applications
468
Verifying hardware in its software context
469
Verifying Haskell programs by combining testing and proving
470
Verifying home network bandwidth sharing plans
471
Verifying Hotspot Quality User Rating with Certified QoS Evidence
472
Verifying Identifier-Authenticity in Ubiquitous Computing Environment
473
Verifying identities
474
Verifying IEC 61499 Function Blocks Using Esterel
475
Verifying ignition timing of gasoline direct injection engine´s PCM
476
Verifying Implementation of Security Design Patterns Using a Test Template
477
Verifying Implementation of UML Sequence Diagrams Using Java PathFinder
478
Verifying imprecisely working arithmetic circuits
479
Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming
480
Verifying infinite Markov chains with a finite attractor or the global coarseness property
481
Verifying Interaction between Methods in Classes
482
Verifying interactive Web programs
483
Verifying interoperability and application performance of PDCs in synchrophasor system solution
484
Verifying interoperability and application performance of PMUs and PMU-enabled IEDs
485
Verifying interoperability and application performance of PMUs and PMU-enabled IEDs at the device and system level
486
Verifying IP-core based system-on-chip designs
487
Verifying Java Programs By Theorem Prover HOL
488
Verifying jitter in an analog and mixed signal design using dynamic time warping
489
Verifying Keys through Publicity and Communities of Trust: Quantifying Off-Axis Corroboration
490
Verifying large numbers of cooperating adaptive agents
491
Verifying large-scale multiprocessors using an abstract verification environment
492
Verifying Linear Real-Time Logic Specifications
493
Verifying Linearizability via Optimized Refinement Checking
494
Verifying linked data structure implementations
495
Verifying liveness by multiple experts in face biometrics
496
Verifying LOC based functional and performance constraints
497
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot
498
Verifying marine-hydro-kinetic energy generation simulations using SNL-EFDC
499
Verifying mediations of Linux Security Modules with BLAST
500
Verifying metamodel coverage of model transformations
501
Verifying model oriented specifications through animation
502
Verifying model-based alignments in the presence of uncertainty
503
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols
504
Verifying multi-threaded software using smt-based context-bounded model checking
505
Verifying multi-threaded software with impact
506
Verifying network performance of cyber-physical systems with multiple runtime configurations
507
Verifying networked programs using a model checker extension
508
Verifying networks of processes that synchronize via shared variables
509
Verifying neural codes: the statistical pattern recognition approach
510
Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking
511
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
512
Verifying nonlinear controllers for stability utilizing closed-loop noisy data
513
Verifying objects inside packaging box on belt conveyor by weight estimator
514
Verifying OO Programs by Linking Algebraic and Abstract Specifications
515
Verifying OWL-S Service Process Models
516
Verifying parameterized refinement
517
Verifying parameters of Bayesian belief networks by exploring the impact intensity
518
Verifying path loss and delay spread predictions of a 3D ray tracing propagation model in urban environment
519
Verifying Performance of Supervised Plants
520
Verifying periodic programs with priority inheritance locks
521
Verifying person descriptions with term-entity association
522
Verifying physical presence of neighbors against replay-based attacks in wireless ad hoc networks
523
Verifying pipelined hardware using symbolic logic simulation
524
Verifying pipelined microprocessors
525
Verifying Preemptive Kernel Code with Preemption Control Support
526
Verifying Privacy-Type Properties in a Modular Way
527
Verifying programmable logic controllers with abstraction
528
Verifying programs with unreliable channels
529
Verifying properties of hardware and software by predicate abstraction and model checking
530
Verifying properties of online adaptive systems
531
Verifying properties of Resilient File System
532
Verifying Properties of Scenarios with Fixed Points
533
Verifying properties of systems with variable timing constraints
534
Verifying properties using sequential ATPG [IC design]
535
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems
536
Verifying provisions for post-transaction user input error correction through static program analysis
537
Verifying quantum complexity in linear optical experiments
538
Verifying ray tracing based CoMP-MIMO predictions with channel sounding measurements
539
Verifying Really Complex Systems: On earth and beyond
540
Verifying real-time properties by intelligent parsing
541
Verifying real-time properties of MOS-transistor circuits
542
Verifying reliability interactions for the robot communication platform and contribution to the international standards
543
Verifying reliability of solid rocket motors (SRMs) at minimum cost
544
Verifying resilient software
545
Verifying resonant grounding in distribution systems
546
Verifying Response Times in Networked Automation Systems Using Jitter Bounds
547
Verifying RF amplifier characteristics at EMC lab
548
Verifying RLC Power Grids With Transient Current Constraints
549
Verifying robust frequency domain properties of non linear oscillators using SMT
550
Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems
551
Verifying safety and liveness for the FlexTM hybrid transactional memory
552
Verifying safety of interconnected passive systems using SOS programming
553
Verifying safety policies with size properties and alias controls
554
Verifying safety-critical timing and memory-usage properties of embedded software by abstract interpretation
555
Verifying scheduling point constraints with model checking
556
Verifying Scientific Simulations via Comparative and Quantitative Visualization
557
Verifying SDL programs using Petri nets
558
Verifying Secure Information Flow in Federated Clouds
559
Verifying Secure Interface Composition for Component-Based System Designs
560
Verifying Security Properties of Cryptoprotocols: A Novel Approach
561
Verifying security requirements using model checking technique for UML-based requirements specification
562
Verifying Self-stabilizing Population Protocols with Coq
563
Verifying Semantic Business Process Models in Inter-operation
564
Verifying Semistructured Data Normalization Using PVS
565
Verifying Semistructured Data Normalization Using SWRL
566
Verifying sensitivity of RFID tags manufactured by conductive ink printed on paper versus an RFID tag made of copper on hard substrate
567
Verifying sequence and content for safety critical hypermedia systems
568
Verifying sequential behavior with model checking
569
Verifying sequential consistency on shared-memory multiprocessors by model checking
570
Verifying Service-Oriented Requirements Using Model Checking
571
Verifying SeVeCom using set-based abstraction
572
Verifying shadow page table algorithms
573
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover
574
Verifying software requirements: a requirement tracing methodology and its software tool-RADIX
575
Verifying Software Streaming Systems
576
Verifying Solution Component Concentration by Measuring Frequency Dependent Conduction of Electrically Charged Species
577
Verifying Solutions to the Dining Philosophers Problem with Activity-Oriented Petri Nets
578
Verifying SOS specifications
579
Verifying speakers in emotional environments
580
Verifying Specifications with Proof Scores in CafeOBJ
581
Verifying SPICE results with hand calculations: handling common discrepancies
582
Verifying SRAM designs
583
Verifying stability of approximate explicit MPC
584
Verifying stabilizing controllers via closed-loop noisy data: MIMO case
585
Verifying start-up failures in coupled ring oscillators in presence of variability using predictive global optimization
586
Verifying Statecharts with State Invariants
587
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools
588
Verifying switched-mode computer controlled systems
589
Verifying synchronous reactive systems using lazy abstraction
590
Verifying system behaviors in EAST-ADL2 with the SPIN model checker
591
Verifying system security using Petri Nets
592
Verifying SystemC using an intermediate verification language and symbolic simulation
593
Verifying SystemC using stateful symbolic simulation
594
Verifying SystemC with predicate abstraction: A component based approach
595
Verifying SystemC: A software model checking approach
596
Verifying temporal constraints on data in multi-rate transactions using timed automata
597
Verifying Temporal Data in Geotagged Images Via Sun Azimuth Estimation
598
Verifying temporal properties of finite-state probabilistic programs
599
Verifying the `consistency´ of shading patterns and 3-D structures
600
Verifying the Accuracy of Automation Tools for the Measurement of Software with COSMIC -- ISO 19761 Including an AUTOSAR-Based Example and a Case Study
601
Verifying The Accuracy Of Machine Vision Algorithms And Systems
602
Verifying the authenticity of chip designs with the DesignTag system
603
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
604
Verifying the Completeness of Query Results on Multi-Dimensional Data
605
Verifying the completeness of test
606
Verifying the Concept of Union Slices on Java Programs
607
Verifying the Concurrent Properties in BPEL Based Web Service Composition Process
608
Verifying the Consistency between Business Process Model and Data Model
609
Verifying the Consistency of Security Policies by Abstracting into Security Types
610
Verifying the cooling capacity and power consumption of thermoelectric cooling holders for vaccine storage
611
Verifying the correctness of cryptographic protocols using “Convince”
612
Verifying the design of a cellular manufacturing system
613
Verifying the design of an outsourced COBOL system with IntensiVE
614
Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal
615
Verifying the DVB-T specification
616
Verifying the effect of distributed generators on voltage profile, power losses and protection system in radial distribution networks
617
Verifying the equivalence of sequential circuits with genetic algorithms
618
Verifying the EROS confinement mechanism
619
Verifying the Evolution of Probability Distributions Governed by a DTMC
620
Verifying the FM9801 microarchitecture
621
Verifying the Implementation of an Operating System Scheduler
622
Verifying the Independence of Security Protocols
623
Verifying the indication method for high-resistance earth faults implemented in centralized protection system
624
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
625
Verifying the Mondex Case Study
626
Verifying the performance of the PCI local bus using symbolic techniques
627
Verifying the performance of transparent clocks in PTP systems
628
Verifying the Precedence Property Pattern Using the B Method
629
Verifying the Produce of Car-Bind through Timed Petri Net
630
Verifying the proximity hypothesis for self-organizing maps
631
Verifying the safety of digital in-circuit testing
632
Verifying the Safety of User Pointer Dereferences
633
Verifying the Safety of Xen Security Modules
634
Verifying the SET registration protocols
635
Verifying the UNIPEN devset
636
Verifying the Use of Evolving Fuzzy Systems for Multi-Step Ahead Daily Inflow Forecasting
637
Verifying thermal/thermo-mechanical behavior of a 3D stack - challenges and solutions
638
Verifying thermal/thermo-mechanical behavior of a 3D stack — challenges and solutions
639
Verifying Time-Estelle specification using communicating time Petri nets
640
Verifying timing consistency in formal specifications
641
Verifying timing properties for distributed real-time systems using timing constraint Petri nets
642
Verifying timing synchronization constraints in distributed embedded architectures
643
Verifying Tolerant Systems Using Polynomial Approximations
644
Verifying Tomasulo´s algorithm by refinement
645
Verifying transmission phase measurements at millimeter wavelengths using beadless air lines
646
Verifying trustworthiness requirements in distributed systems with formal log-file analysis
647
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach
648
Verifying UML/OCL models using Boolean satisfiability
649
Verifying UML-based interaction using coloured Petri nets
650
Verifying VIA Nano microprocessor components
651
Verifying Volume Rendering Using Discretization Error Analysis
652
Verifying Web applications using bounded model checking
653
Verifying Web Services Composition based on LTL and colored Petri Net
654
Verifying Web Services Composition: A Transformation-Based Approach
655
Verifying Web Services compositions using UPPAAL
656
Verifying Web services in a choreography environment
657
Verifying web services of OWL-S with Petri net
658
Verifying Web services substitutability using open colored nets reduction techniques
659
Verifying workflow processes against organization security policies
660
Verifying WS-CDL-Based Web Services Collaboration by Model Checking
661
Verigrid-FCTh Switching 10A at 1000V
662
VERILAT: verification using logic augmentation and transformations
663
VERILAT: verification using logic augmentation and transformations
664
VERILAT: verification using logic augmentation and transformations
665
Verilog - A Implementation of ICS Model for PD SOI Devices
666
Verilog HDL based FPGA design
667
Verilog HDL methodology for redundancy in digital circuits targeting FPGA technology for highly reliable applications
668
Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction
669
Verilog implementation of adaptive compression of RGB images at low bit rates
670
Verilog implementation of double precision floating point division using vedic paravartya sutra
671
Verilog implementation of fully pipelined and multiplierless 2D DCT/IDCT JPEG architecture
672
Verilog implementation of genetic algorithm for minimum leakage vector in input vector control approach
673
Verilog library development using Cadence Central Delay Calculator
674
Verilog modeling and simulation of a communication coprocessor for multicomputers
675
Verilog netlist as an exchange language
676
Verilog nonblocking assignments demystified
677
Verilog plus C language modeling with PLI 2.0: The next generation simulation language
678
Verilog quickstart! a practical guide to simulation and synthesis in verilog, 2nd ed. [Book Review]
679
Verilog simulation of Xilinx designs
680
Verilog Synthesis in the Higher-Order Transformation Framework of TL
681
Verilog synthesis of USB 2.0 full-speed device PHY IP
682
Verilog Transformation for an RTL SAT Solver in Formal Verification
683
Verilog: accelerating digital design
684
Verilog-A and Verilog-AMS provides a new dimension in modeling and simulation
685
Verilog-A Based Effective Complementary Resistive Switch Model for Simulations and Analysis
686
Verilog-A based implementation for coupled model of single event transients in look-up table technique
687
Verilog-A compact model for oxide-based resistive random access memory (RRAM)
688
Verilog-a compact semiconductor device modelling and circuit macromodelling with the QucsStudio-ADMS “turn-key” modelling system
689
Verilog-A compact space-dependent model for biology
690
Verilog-A implementation of energy-efficient SAR ADCs for biomedical application
691
Verilog-A model for phase change memory simulation
692
Verilog-A model of a high-k HfO2-Ta2O5 capacitor
693
Verilog-A modeling and design of a micromachined capacitive accelerometer
694
Verilog-A modeling of BJT NQS excess phase
695
Verilog-A modeling of electrical circuit with adding element based on branched hydrogen bonding network
696
Verilog-A Modeling of Radiation-Induced Mismatch Enhancement
697
Verilog-A modeling of SPAD statistical phenomena
698
Verilog-AMS model of mechanical component of integrated angular velocity microsensor for schematic design level
699
Verilog-AMS: Mixed-signal simulation and cross domain connect modules
700
Verilog-based performance evaluation of a multiprocessor system
701
Verilog-based simulation of hardware support for data-flow concurrency on multicore systems
702
Verilog-HDL based implementation of a fuzzy logic controller for embedded systems
703
VeriNet Web-speaker verification for the World Wide Web
704
VERISEC: verifying equivalence of sequential circuits using SAT
705
Verisim: formal analysis of network simulations
706
Veristic variables
707
Veritas - a versatile modeling environment for test-driven agile simulation
708
VERITAS: A 128-Channel ASIC for the Readout of pnCCDs and DEPFET Arrays for X-Ray Imaging, Spectroscopy and XFEL Applications
709
VERITAS: A 128-channel ASIC for the readout of pnCCDs and DEPFET arrays for X-ray imaging, spectroscopy and X-ray FEL applications. Experimental results and new designs
710
Veritas: Combining Expert Opinions without Labeled Data
711
VERITAS-an application for knowledge verification
712
Verite, abstraction, and ordinateur systems in the evolution of complex process control
713
VeriTrust: Verification for Hardware Trust
714
VeriTrust: Verification for hardware trust
715
Verity: a QoS metric for selecting Web services and providers
716
Verity: an ambient assisted living platform
717
Verizon Ad
718
Verizon Ad
719
Verizon Ad
720
Verizon Ad
721
Verizon Ad
722
Verizon Ad
723
Verizon Ad
724
Verizon Ad
725
Verizon Ad
726
Verizon Ad
727
Verizon Ad
728
Verizon Advertisement
729
Verizon experience with ng ethernet services: evolution to a converged layer 1, 2 network
730
Verizon vs the RIAA: implications for privacy and democracy
731
Verizon´s fiber to the premises: lessons learned
732
Verizon´s fiber-to-the-premises and lessons learned
733
Verlässlichkeit bei Wiederverwendung von IT-Komponenten — Zum stand der Normungsaktivitäten
734
VERL: an ontology framework for representing and annotating video events
735
Verlticatlon of Concurrent Software with FLAVERS
736
Verme: Worm containment in overlay networks
737
VERMEER: A Tool for Tracing and Explaining Faulty C Programs
738
Vermiculite dielectric constant measurement using a volumetric water content probe
739
Vermifiltration as a Final-Stage Process for Rural Sewage Purification in China
740
VERMONT - A toolset for checking SDN packet forwarding policies on-line
741
Vern Clements - Vice President, Slover Group [EIC volunteer profile]
742
Vernacular Architecture Landscape Protection Method Based on Three-Dimensional Panoramic Imaging Hybrid Technology
743
Vernacular Religion and SNS-Media Practices
744
Vernier and displacement thresholds in equiluminance
745
Vernier effect in asymmetrical ring resonator arrays
746
Vernier frequency sampling - a new approach for broadband high-resolution spectroscopy
747
Vernier hybrid machines
748
Vernier hybrid machines for compact drive applications
749
Vernier interferometer performance analysis
750
Vernier MOEMS alignment mechanisms
751
Vernier Motor and Its Design
752
Vernier reluctance dual-stator inner-rotor machines with semi-closed slot
753
Vernier reluctance motor
754
Vernier reluctance motor
755
Vernier reluctance motor
756
Vernier reluctance motor
757
Vernier SI/PI co-simulation
758
Vernon Lindop
759
VERO develops precision drilling
760
Vers une formalisation des politiques de sécurité
761
Vers une Méta Analyse des Phénomÿnes Qui Touchent la Succession des Dirigeants dans le Cadre des PME
762
VERSAG: Context-Aware Adaptive Mobile Agents for the Semantic Web
763
Versal deformations of linear optimal systems
764
VERSANT architecture: supporting high-performance object databases
765
VersaPower: Power estimation for diverse FPGA architectures
766
Versatile 20 GHz wideband RF digitizer for test and measurement
767
Versatile acousto-optic vector-matrix architecture for fast optical space switches
768
Versatile air-coupled phased array transducer for sensor applications
769
Versatile algorithms for accurate indoor geolocation
770
Versatile All-Optical Clock Recovery Circuit for OOK and DPSK Modulated Data Traffic
771
Versatile all-optical logic gate using nonlinear optical loop mirror based multi-periodic transfer function
772
Versatile analogue motion estimator architecture
773
Versatile analysis method for laterally-shielded planar technology leaky-wave antennas
774
Versatile analysis method for leaky-wave antennas in hybrid waveguide - printed circuit technology
775
Versatile and accurate method of group-delay measurement
776
Versatile and accurate modeling of 2D-PBG materials by use of a full-wave theory for gratings
777
Versatile And Efficient Hierarchical Clustering For Picture Segmentation
778
Versatile and Efficient Meta-Learning Architecture: Knowledge Representation and Management in Computational Intelligence
779
Versatile and Efficient Techniques for Speeding-Up Circuit Level Simulated Fault-Injection Campaigns
780
Versatile and portable DSP platform for learning embedded signal processing
781
Versatile and robust 3D walking with a simulated humanoid robot (Atlas): A model predictive control approach
782
Versatile APD-based PET modules for high resolution, fast medical imaging
783
Versatile approximation of the lung field boundaries in chest radiographs in the presence of bacterial pulmonary infections
784
Versatile architecture for block matching motion estimation
785
Versatile architecture for current-mode biquadratic filters in CMOS technology
786
Versatile Architecture for Image Processing on Real Time
787
Versatile architecture-level fault injection framework for reliability evaluation: A first report
788
Versatile architectures for decoding a class of LDPC codes
789
Versatile Automatic Data Logging And Real-time Analysis System
790
Versatile automobile antenna unit for roadside communication
791
Versatile Automotive Sensor Interface ASIC
792
Versatile Autonomous Smartgrid Testbed (VAST): A flexible, reconfigurable testbed for research on autonomous control for critical electricity grids
793
Versatile Battery Chargers for New Age Batteries
794
Versatile Battery-management IC For NICD And NIMH Charging Systems
795
Versatile Bayesian classifier for moving object detection by non-parametric background-foreground modeling
796
Versatile Beam Forming With Concentric Excitations Based On Multiple Weighted Sinc or Bessel Function Distribution
797
Versatile beamforming ASIC architecture for broadband fixed wireless access
798
Versatile BIST: an integrated approach to on-line/off-line BIST
799
Versatile bistable optical switches and latching optical logic using integrated photothyristors and surface-emitting lasers
800
Versatile broadband electrode assembly for cell electroporation
801
Versatile broadband service delivery on PON employing a hybrid optical code division multiple access/radio-over-fiber system
802
Versatile building blocks for multirate processing of bandpass signals
803
Versatile building-block architecture for large area, high performance CCD imagers
804
Versatile calculator from Memory
805
Versatile CAMAC Crate Controller for Computer-Based Data Acquisition Systems
806
Versatile CAMAC Power Supply Controller-Monitor with Built-In Ramping and Ripple Monitor
807
Versatile capabilities of digitally controlled integrated dc-dc converters
808
Versatile Career Consulting Tool
809
Versatile Characterization of Specialty Fibers Using the Phase-Sensitive Optical Low-Coherence Reflectometry Technique
810
Versatile climbing robot for vessels inspection
811
Versatile clinical information system design for emergency departments
812
Versatile CMOS and BiCMOS linear transconductor circuits
813
Versatile CMOS bio-potential amplifier for high-density neural recording applications
814
Versatile CMOS Rate Multiplier/Variable Divider
815
Versatile CMOS-MEMS integrated piezoelectric platform
816
Versatile COFDM demodulator design based on the CORDIC-algorithm
817
Versatile COFDM modulator/demodulator design based on the CORDIC-algorithm
818
Versatile coherent in-line 4-, 16-, 32-QAM subcarrier add/drop-multiplexing by optical frequency conversion
819
Versatile Compact Model for Graphene FET Targeting Reliability-Aware Circuit Design
820
Versatile Control of Unidirectional AC–DC Boost Converters for Power Quality Mitigation
821
Versatile control strategy of the unified power flow controller (UPFC)
822
Versatile current-mode loser-take-all circuits for analog decoders
823
Versatile customers, do we have FTTH solutions?
824
Versatile design technique for customizable electromagnetic band gap structures
825
Versatile distributed pose estimation and sensor self-calibration for an autonomous MAV
826
Versatile distribution of wind power output for a given forecast value
827
Versatile divider circuits up to 9 GHz input-frequency realised in high-speed BICMOS
828
Versatile driving system for non-root-mean-square responding liquid crystal displays
829
Versatile dual stage tunable NOPA with pulse duration down to 17 fs and energy up to 3 μJ at 500 kHz repetition rate
830
Versatile e-beam prebuncher for FEMs and other high power beam devices
831
Versatile educational and research robotic platform based on reconfigurable hardware
832
Versatile emulation of antenna correlation coefficient as MIMO OTA figure of merit using mode-stirred reverberation chambers
833
Versatile energy scheduler compatible with autonomous demand response for home energy management in smart grid: A system of systems approach
834
Versatile engine for virtual testing of ADC/DAC non-linearities
835
Versatile excitation of localized surface plasmon polaritons via spatially modulated polarized focus
836
Versatile exponential time-function generator using two sample-hold circuits
837
Versatile fabrication of PDMS-carbon electrodes for silicone dielectric elastomer transducers
838
Versatile facet-oriented discretization of the electric-field integral equation
839
Versatile FEM of high efficiency and high spectral purity
840
Versatile FET nonlinear transfer function generator elements
841
Versatile finite element solver for gyrotropic phase shift and control components
842
Versatile FPGA Architecture for Skein Hashing Algorithm
843
Versatile FPGA-based locomotion platform for legged robots
844
Versatile GaAs triangular barrier transistor structure grown by molecular beam epitaxy
845
Versatile Gas Detection System Based on Combined NDIR Transmission and Photoacoustic Absorption Measurements
846
Versatile gas measurement system based on combined NDIR transmission and photoacoustic spectroscopy
847
Versatile gate for artificial neural network circuit
848
Versatile graded-index multi-mode fiber for high capacity single- and multi-mode optical home network
849
Versatile graphs for tail-biting convolutional codes
850
Versatile H+ Beam Chopper System at LAMPF
851
Versatile hardware and software tools for educating students in power electronics
852
Versatile headspace and electronics for measurements with gas sensor arrays
853
Versatile high input impedance voltage-mode three-inputs universal biquadratic filter
854
Versatile high performance digital SQUID electronics
855
Versatile high power, high repetition rate Yb femtosecond system
856
Versatile high voltage level shift and driver for MEMS applications
857
Versatile high voltage solid state MOSFET modulators for driving RF sources
858
Versatile high-fidelity photovoltaic module emulation system
859
Versatile High-Frequency Inverter Module for Large-Signal Inductive Loads Characterization Up to 1.5 MHz and 7 kW
860
Versatile high-level synthesis of self-checking datapaths using an on-line testability metric
861
Versatile HV lateral JFETs design in a 0.18μm SOI superjunction BCD technology
862
Versatile hybrid locomotion on bipedal configuration robot
863
Versatile image data compression for the Beagle 2 probe
864
Versatile inertial displacement sensor for planar motion
865
Versatile infrared gas measurement system with tunable microstructured Fabry-Pérot Filter
866
Versatile in-line transceiver chip operating in two full-duplex modes at 1.3 and 1.55 μm
867
Versatile inner university ratings calculation system
868
Versatile input and output port circuit with power mode control signal
869
Versatile insensitive current-mode universal biquad implementation using current conveyors
870
Versatile integrated PMD emulation and compensation elements
871
Versatile Integrity and Security Environment (VISE) for Computer Systems
872
Versatile Intelligent Portable Robot Platform for flexible robotic cells with AGV
873
Versatile inter system information exchange facilitator [VISIEF]
874
Versatile Interactive Digital Simulator Based on EMTP for AC/DC Power System Transient Studies
875
Versatile Interactive Digital Simulator Based on EMTP for AC/DC Power System Trasient Studies
876
Versatile IPTV for broadband wireless with adaptive channel coding
877
Versatile Key Management for Secure Cloud Storage
878
Versatile Laboratory Computer Interfaces
879
Versatile laboratory tools for advanced course of power electronics
880
Versatile land navigation using inertial sensors and odometry: Self-calibration, in-motion alignment and positioning
881
Versatile Link Adaptation Based on Mutual Information
882
Versatile load flow method for multiterminal HVDC systems
883
Versatile locktronics
884
Versatile Logic System for Use in Nuclear Experiments on Scientific Satellites
885
Versatile Low Cost Laboratory Switches
886
Versatile low cost wafer level packaging enabled by powderblasting
887
Versatile low voltage low power op-amp design
888
Versatile low-complex 16-QAM optical transmitter driven by binary signals
889
Versatile Low-Cost Color Text/Graphics Generator
890
Versatile low-power-drain hybrid tunnel diode pulse generator
891
Versatile macromodel for the power supply of submicronic CMOS microprocessors based on voltage down DC-DC converter
892
Versatile march test generator for hands-on memory testing laboratory
893
Versatile Mask Generation Techniques for Custom Microelectronic Devices
894
Versatile measurement method for characterising the permanent magnets used in electric vehicles
895
Versatile measurement system for imaging setups prototyping
896
Versatile measurement system for the characterization of gas sensing materials
897
Versatile medium access control (VMAC) protocol for mobile sensor networks
898
Versatile medium ion implanter EXCEED2300V
899
Versatile MEMS and mems integration technology platforms for cost effective MEMS development
900
Versatile meter of parameters of gas-discharge plasma
901
Versatile method of sub-micro particle pattern formation using self-assembly and two-step transfer
902
Versatile Method of Submicroparticle Pattern Formation Using Self-Assembly and Two-Step Transfer
903
Versatile methodology for generating size-controlled composite micrometer beads capsulating nanomaterials
904
Versatile microfluidic generation of chemical concentration gradients in a flow-free setting
905
Versatile microwave dual-band tunable resonator
906
Versatile MIMO voltage-mode OTA-C universal biquadratic filter
907
Versatile Model Architecture for Multi-channel MAC Simulation in NS2
908
Versatile model for power flow control using FACTS devices
909
Versatile model of a unified power flow controller in a simple power system
910
Versatile models and expanded application of the IEC 61000-4-2 test
911
Versatile models of systems using map queueing networks
912
Versatile modular electronics for rapid design and development of humanoid robotic subsystems
913
Versatile Multichannel Television Control Equipment
914
Versatile multidecade CMOS voltage controlled oscillator with accurate amplitude and PWM control
915
Versatile Multifiber Optical Connectivity Solution: From Concept to Realization
916
Versatile multi-function universal voltage-mode filter
917
Versatile multilayer MCM-D structure for high reliability applications
918
Versatile Multilayer Transparent Electrodes for ITO-Free and Flexible Organic Solar Cells
919
Versatile multimode interference photonic switches with partial index-modulation regions
920
Versatile multi-objective genetic optimization for non-identical multi-storey building projects
921
Versatile Multiplexing Based on Hunting-Free Framing
922
Versatile multiplier arrays
923
Versatile multipurpose modular instrument for conductivity measurements
924
Versatile multistandard digital TV encoder based on programmable hardware (CPLD)
925
Versatile multiview layered video based on distributed source coding
926
Versatile neural network method for recovering shape from shading by model inclusive learning
927
Versatile new generation muzzle velocity radar
928
Versatile non linear control strategy for reconnaissance robotic system
929
Versatile non-contact micro-manipulation method using rotational flows locally induced by magnetic microrobots
930
Versatile object tracking standard database for security surveillance
931
Versatile on-chip read-out for compound-eye image sensor array
932
Versatile Online Image data Compression for Spaceborne Applications
933
Versatile optical code-based MPLS for circuit, burst, and packet switchings
934
Versatile optical switch technology for dynamic optical networking
935
Versatile optical switching of 4×4 novel slotted multi-mode interference phase-arrayed photonic switch
936
Versatile parametric wavelength exchange
937
Versatile patterning process for semiconductors based on microcontact printing
938
Versatile PC/FPGA based verification/fast prototyping platform with multimedia applications
939
Versatile PC/FPGA-Based Verification/Fast Prototyping Platform With Multimedia Applications
940
Versatile PDP-11 CAMAC Crate Controller for Nuclear Data Acquisition and Processing
941
Versatile performance expression for energy detector over α-mμ generalised fading channels
942
Versatile phase comparator based on detection of phase sequence for protective relays
943
Versatile phasers constituted of coupling-free nonuniform stub-loaded transmission lines
944
Versatile photonic device fabrication using nonlinear processing in glass with a femtosecond laser oscillator
945
Versatile platforms for wide area synchronous measurements in power distribution systems
946
Versatile polycrystalline silicon transistor/switching structure
947
Versatile power flow transformer
948
Versatile power generator for the parametric study of DBD excimer lamps supply and its optimization
949
Versatile power transfer strategies of PV-battery hybrid system for residential use with energy management system
950
Versatile precision fullwave rectifier
951
Versatile precision full-wave rectifier using current and voltage conveyor
952
Versatile Precision Full-Wave Rectifiers for Instrumentation and Measurements
953
Versatile Precoder Codebook Design Method for Orthogonal Space-Time Block Codes
954
Versatile prediction and fast estimation of Architectural Vulnerability Factor from processor performance metrics
955
Versatile processor design for efficiency and high performance
956
Versatile processor for GF(pm) arithmetic for use in cryptographic applications
957
Versatile Processor for GF(pm) Arithmetic for use in Cryptographic Applications
958
Versatile Protocol Processing for Multimedia Communications
959
Versatile proton beam writing system with stage movement
960
Versatile PSIM Simulation Model for Photovoltaic Array with MPPT Function
961
Versatile pulsed source using a pulsed diode seed and ultrahigh gain bounce geometry amplifier
962
Versatile quadrature oscillator with grounded components
963
Versatile RDF Representation for Multimedia Semantic Search
964
Versatile reactive ion beam etching (RIBE) of InP-based material using CH4/H2/Ar chemistry
965
Versatile reactive navigation
966
Versatile real time microprocessor development system
967
Versatile real-time vision based on a distributed system of personal computers
968
Versatile Recognition Using Haar-Like Feature and Cascaded Classifier
969
Versatile reconfiguration of radiation patterns, frequency and polarization: A discussion on the potential of controllable reflectarrays for software-defined and cognitive radio systems
970
Versatile RF Measurement System to Thoroughly Evaluate the Non-linear Behaviour of SOI versus Bulk CMOS Technologies
971
Versatile robot vision based on features of objects: comparison of norm criterion and neural network
972
Versatile robust Capon beamforming: theory and applications
973
Versatile route planning for sightseeing with tourist´s satisfaction dependent on fatigue degree
974
Versatile SAR sensors for south east asian applications
975
Versatile Search Range Adjustment Algorithm for Fast Block-Based Motion Estimation
976
Versatile second order filter structures for low-voltage multiple-input amplifiers
977
Versatile Sensor Front End for Low-Depth Modulation Capacitive Sensors
978
Versatile sensorless drive of switched reluctance motor
979
Versatile silicon bipolar XOR gate for signal processing up to 8 Gbit/s
980
Versatile silicon photodiode detector technology for scanning electron microscopy with high-efficiency sub-5 keV electron detection
981
Versatile silicon-oxynitride planar lightwave circuits for interconnect applications
982
Versatile simulation package for ultrafast pulse propagation and high harmonic generation
983
Versatile single-chip digital TV encoder based on programmable hardware (CPLD)
984
Versatile Size and Shape Microlens Arrays With High Numerical Apertures
985
Versatile Size- l Object Summaries for Relational Keyword Search
986
Versatile Spectral Imaging With an Algorithm-Based Spectrometer Using Highly Tuneable Quantum Dot Infrared Photodetectors
987
Versatile Spectrum Sensing on Mobile Devices?
988
Versatile SQUID Susceptometer With Multiple Measurement Modes
989
Versatile Stack Management for Multitasking Sensor Networks
990
Versatile stacked ARROW crossconnect for three-dimensional optical interconnects
991
Versatile strategy for CAD of multistage low-noise amplifiers
992
Versatile sub-bandgap reference IP core
993
Versatile Sub-THz Spectrometer for Trace Gas Analysis
994
Versatile surface model reconstruction from serial planar contours
995
Versatile surrogate models for IC buffers
996
Versatile Swept Source With Adjustable Coherence Length
997
Versatile Task Assignment for Heterogeneous Soft Dual-Processor Platforms
998
Versatile test environment for compact pulsed power system evaluation
999
Versatile thin wafer stacking technology for monolithic integration of temporary bonded thin wafers
1000
Versatile toroidal facility (VTF) for space plasma research