<< مقالات لاتين فني مهندسي >>
<< بر اساس عنوان >>
1
Model-based robust guaranteed stability control of stock refining with parameter uncertainties
2
Model-based Robust Online Fault Detection for Mating Process of Electric Connectors in Robotic Wiring Harness Assembly Systems
3
Model-based robust variational method for motion de-blurring
4
Model-based runtime analysis of distributed reactive systems
5
Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot
6
Model-based safety analysis of SELinux security policies
7
Model-Based Safety Assessment Using OCL and Petri Nets
8
Model-Based Safety Assessment: Rational and trends
9
Model-based safety assessment: Review of the discipline and its challenges
10
Model-Based Safety Test Automation of Safety-Critical Software
11
Model-Based Satellite Image Fusion
12
Model-based scanning path generation for inspection
13
Model-based Scatter Correction For Fully 3D PET
14
Model-based scene tracking using radar sensors for intelligent automotive vehicle systems
15
Model-Based Scheduling Analysis for Software Projects
16
Model-based scheduling for networked control systems
17
Model-Based Screening of Wall Motion Measures for Detection of Ischemia in Three-Dimensional Cardiac Images
18
Model-based sea mine classification with synthetic aperture sonar
19
Model-based security analysis for IMS network
20
Model-based security analysis for mobile communications
21
Model-Based Security Engineering of Distributed Information Systems Using UMLsec
22
Model-Based Security Engineering with UML: The Last Decade and towards the Future (Keynote)
23
Model-Based Security Evaluation of Vehicular Networking Architectures
24
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)
25
Model-Based Security Verification and Testing for Smart-cards
26
Model-Based Security Vulnerability Testing
27
Model-based segmentation and estimation of 3D surfaces from two or more intensity images using Markov random fields
28
Model-based segmentation and tracking of head-and-shoulder video objects for real time multimedia services
29
Model-based segmentation of aortic ultrasound images
30
Model-based segmentation of brain tissue and tumor
31
Model-based segmentation of cardiac and vascular images
32
Model-Based Segmentation of Femoral Head and Acetabulum from CT Images
33
Model-based segmentation of flexor tendons from magnetic resonance images of finger joints
34
Model-based segmentation of FLIR images
35
Model-based segmentation of leukocytes clusters
36
Model-based segmentation of medical imagery by matching distributions
37
Model-Based Segmentation of Reconstructed Dental X-Ray Volumes
38
Model-Based Segmentation of Surfaces Using Illumination Series
39
Model-based segmentation of the brain from 3-D MRI using active surfaces
40
Model-based segmentation of the left main coronary bifurcation from 2D angiograms
41
Model-based segmentation of the middle phalanx in digital radiographic images of the hand
42
Model-Based Seizure Detection for Intracranial EEG Recordings
43
Model-based seizure detection method using statistically optimal null filters
44
Model-Based Self-Abstracting Rule Fuzzy Control
45
Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications
46
Model-Based Self-Managing Systems Engineering
47
Model-based self-optimization for manufacturing systems
48
Model-Based Self-Tuning PI Control of Bolt-Nut Tightening for Wind Turbine Bearing Assembly
49
Model-based semiautomatic safety analysis of programmable systems in automotive applications
50
Model-based Sensing of Track Components for Location of Rail Vehicles
51
Model-based sensitivity analysis of the look-ahead cruise control
52
Model-based sensor and actuator fault detection and isolation
53
Model-based sensor fault detection algorithm design for Electro-Mechanical Brake
54
Model-based Sensor Fault Detection and Isolation for X-By-Wire Vehicles Using a Fuzzy Logic System with Fixed Membership Functions
55
Model-based sensor fault detection and isolation in gas turbine
56
Model-Based Sensor Fault Detection and Isolation System for Unmanned Ground Vehicles: Experimental Validation (part II)
57
Model-Based Sensor Fault Detection and Isolation System for Unmanned Ground Vehicles: Theoretical Aspects (part I)
58
Model-based sensor fault detection to brushless DC motor using Luenberger observer
59
Model-based sensor fault diagnosis for the Stuttgart SmartShell
60
Model-based Sensor-based Velocity Control Of Teleoperated Heavy-duty Hydraulic Machines
61
Model-based sensorless control of an SPM synchronous motor drive for a hybrid catamaran
62
Model-based sequential base calling for Illumina sequencing
63
Model-based sequential organization in cochannel speech
64
Model-based service discovery for next-generation mobile systems
65
Model-based service integration for extensible enterprise systems with adaptation patterns
66
Model-Based Services for Computing Grid Performance Analyses & Tuning
67
Model-based Shape Analysis of Gas Concentration Gridmaps for Improved Gas Source Localisation
68
Model-based shape matching with structural feature grouping
69
Model-based shape matching with structural feature grouping
70
Model-based shape recognition using recursive mathematical morphology
71
Model-based shape recovery from single images of general and unknown lighting
72
Model-based signal analysis and interpretation in the intensive care unit
73
Model-Based Signal Subspace Channel Tracking for Correlated Underwater Acoustic Communication Channels
74
Model-Based Simulation of Distributed Real-time Applications
75
Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications
76
Model-based simulation systems for adaptive training in time-critical decision making
77
Model-Based Simulation Testing for Embedded Software
78
Model-based simultaneous optimization of multiple design parameters for lithium-ion batteries for maximization of energy density
79
Model-based slopping monitoring by change detection
80
Model-based smoothing for reducing artifacts in compressed images
81
Model-based SoC design using ESL environment
82
Model-Based Software Architecture Evolution and Evaluation
83
Model-Based Software Component Testing: A UML-Based Approach
84
Model-Based Software Design and Adaptation
85
Model-based software design generation techniques
86
Model-based software development for automatic train protection system
87
Model-based software engineering for an imaging CubeSat and its extrapolation to other missions
88
Model-based software health management for real-time systems
89
Model-based software synthesis
90
Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring
91
Model-based software testing and verification panel at COMPSAC 2005, Edinburgh, July 26-28
92
Model-based software testing via incremental treatment learning
93
Model-based software tools for integrated vehicle health management
94
Model-based software validation for automotive control systems
95
Model-based software-defined radio(SDR) design using FPGA
96
Model-based solution and software engineering environment for UAV critical onboard applications
97
Model-Based Solution for Personalization of the User Interaction in Ubiquitous Computing
98
Model-based solution techniques for the source localization problem
99
Model-based solution techniques for the source localization problem
100
Model-Based Sonar Motion Compensation for Bottom Reverberation Coherence
101
Model-based sound synthesis of tanbur, a Turkish long-necked lute
102
Model-based source separation for multi-class motor imagery
103
Model-based space robot teleoperation of ETS-VII manipulator
104
Model-based spacecraft and mission design for the evaluation of technology
105
Model-based spacecraft fault management design & formal validation
106
Model-based space-time adaptive processing for active sonar
107
Model-based sparse component analysis for reverberant speech localization
108
Model-based sparse recovery method for automatic classification of helicopters
109
Model-based sparse source identification
110
Model-based sparsity projection pursuit for lattice vector quantization
111
Model-based spatiotemporal analysis and control of a network of spiking Basal Ganglia neurons
112
Model-based specification and execution of embedded real-time systems
113
Model-based specification and refinement of usage control policies
114
Model-based specification and validation of automotive electronics
115
Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions
116
Model-Based Specification of Virtual Interaction Environments
117
Model-based spectrum management: Loose coupling spectrum management and spectrum access
118
Model-based speech enhancement for automotive applications
119
Model-based speech enhancement using SNR dependent MMSE estimation
120
Model-Based Speech Enhancement With Improved Spectral Envelope Estimation via Dynamics Tracking
121
Model-based speech/non-speech segmentation of a heterogeneous multilingual TV broadcast collection
122
Model-based speed identification for induction Machines in the whole operating range
123
Model-based stability analysis of torsional drillstring oscillations
124
Model-based stabilization of vortex shedding with CFD verification
125
Model-based starting transient speed control scheme for automotive engines
126
Model-based state of charge estimation and observability analysis of a composite electrode lithium-ion battery
127
Model-based state recognition of bone drilling with robotic orthopedic surgery system
128
Model-based Static and Dynamic Filter Application to Resistive Wall Mode Identification and Feedback Control in DIII-D
129
Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security
130
Model-based statistical analysis of PolSAR data
131
Model-based statistical sensor fusion for unexploded ordnance detection
132
Model-based statistical signal processing using electromagnetic induction data for landmine detection and classification
133
Model-based statistical tracking and decision making for collision avoidance application
134
Model-Based Stator Fault Detection in Induction Motors
135
Model-based stator interturn short-circuit fault detection and diagnosis in induction motors
136
Model-Based Stochastic Optimal Air–Fuel Ratio Control With Residual Gas Fraction of Spark Ignition Engines
137
Model-based stochastic simulation of super peer promotion in P2P VoIP using graph transformation
138
Model-Based Subspace Projection Beamforming for Deep Interference Nulling
139
Model-based superpixel segmentation of SAR images
140
Model-based super-resolution for MRI
141
Model-based supervision of valves in a flotation process
142
Model-based synthesis and optimization of static multi-rate image processing algorithms
143
Model-based synthesis and suppression of transformer alarms in a control center environment
144
Model-based synthesis for diagnostic neuro-classifiers
145
Model-based synthesis for real-time embedded systems
146
Model-based synthesis of a real-time image processing system
147
Model-based synthesis of fault trees from Matlab-Simulink models
148
Model-based synthesis of plucked string instruments by using a class of scattering recurrent networks
149
Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systems
150
Model-based synthesis of sensor location
151
Model-based synthetic fuzzy logic controller for indirect blood pressure measurement
152
Model-based synthetic view generation from a monocular video sequence
153
Model-based system architecture for preventing XPath injection in database-centric web services environment
154
Model-Based System Design of Time-Triggered Architectures - Avionics Case Study
155
Model-based system development
156
Model-based system development
157
Model-based system development for embedded mobile platforms
158
Model-based system engineering of the Orion flight test 1 end-to-end information system
159
Model-based system engineering using SysML: Deriving executable simulation models with QVT
160
Model-Based System Specification With Tesperanto: Readable Text From Formal Graphics
161
Model-Based System Testing Using Visual Contracts
162
Model-based system tool for Thai Tax Revenue Forecasting (MBS-TTRF)
163
Model-based systems analysis of a hybrid fuel cell vehicle configuration
164
Model-based systems analysis using CSIM18
165
Model-Based Systems Engineering for design and automated operation of modern waterway systems
166
Model-based systems engineering of automotive systems
167
Model-based systems engineering tools devoloping the GUILTE system
168
Model-based systems engineering with requirements variability for embedded real-time systems
169
Model-Based Systems Engineering: An Emerging Approach for Modern Systems
170
Model-based systems security quantification
171
Model-Based Tabular Structure Detection and Recognition in Noisy Handwritten Documents
172
Model-based tactile object recognition
173
Model-based Tagging: Promoting Access to Online Texts on Complex Systems for Interdisciplinary Learning
174
Model-based Takagi-Sugeno fuzzy approach for vehicle longitudinal velocity estimation during braking
175
Model-based target classification using spatial and temporal features of metal detector response
176
Model-based target recognition in pulsed ladar imagery
177
Model-based target recognition in pulsed ladar imagery
178
Model-based task planning for loading operation in mining
179
Model-based technique for super resolution and enhanced target characterization using a step-frequency radar: a simulation study
180
Model-Based Techniques for Data Reliability in Wireless Sensor Networks
181
Model-based techniques for digital halftoning
182
Model-based teleconferencing
183
Model-based telehaptic systems with time varying communication delay
184
Model-based teleoperation of a Space robot on ETS-VII using a haptic interface
185
Model-based telerobotic control with virtual fixtures for satellite servicing tasks
186
Model-based telerobotics with vision
187
Model-based temperature and humidity control of paint booth HVAC systems
188
Model-based temperature control of a selective catalytic reduction system
189
Model-based temperature control of heated plates
190
Model-based temperature estimation methods in design of industrial manipulator and their assessment
191
Model-based template-recombination in Markov network estimation of distribution algorithms for problems with discrete representation
192
Model-based templates for real-time scheduling
193
Model-based temporal object verification using video
194
Model-based tendon segmentation from ultrasound images
195
Model-Based Test and Validation Support for Autonomous Mechatronic Systems
196
Model-Based Test Case Generation by Reusing Models From Runtime Monitoring of Deeply Embedded Systems
197
Model-based test cases generation for Onboard system
198
Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level
199
Model-based test driven development of the Tefkat model-transformation engine
200
Model-based test for analog integrated circuits
201
Model-based test generation for software product line
202
Model-based test generation techniques verifying the on-board module of a satellite-based train control system model
203
Model-Based Test Generation Using Evolutional Symbolic Grammar
204
Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems
205
Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker
206
Model-Based Test Suite Reduction with Concept Lattice
207
Model-based test-case generation for Simulink/Stateflow using dependency graph approach
208
Model-based testing
209
Model-Based Testing
210
Model-based testing
211
Model-based testing and maintenance
212
Model-based testing and monitoring for hybrid embedded systems
213
Model-based testing and validation on artificial intelligence systems
214
Model-based testing and validation on knowledge-based systems
215
Model-based Testing Considering Cost, Reliability and Software Quality
216
Model-based testing for enterprise software solutions
217
Model-based testing for execution algorithms in the simulation of cyber-physical systems
218
Model-Based Testing for the Second Generation of Integrated Modular Avionics
219
Model-based testing in practice
220
Model-based testing of a highly programmable system
221
Model-Based Testing of Automotive Electronics
222
Model-based testing of automotive software: Some challenges and solutions
223
Model-Based Testing of Automotive Systems
224
Model-based testing of autonomous systems based on Coloured Petri Nets
225
Model-Based Testing of Community-Driven Open-Source GUI Applications
226
Model-based testing of concurrent programs with predicate sequencing constraints
227
Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience
228
Model-based testing of embedded systems in hardware in the loop environment
229
Model-based testing of high-resolution ADCs
230
Model-Based Testing of Infotainment Systems on the Basis of a Graphical Human-Machine Interface
231
Model-based testing of NASA´s OSAL API — An experience report
232
Model-Based Testing of Obligations
233
Model-Based Testing of SDN Firewalls: A Case Study
234
Model-Based Testing of Service-Oriented Applications via State Models
235
Model-Based Testing of Stateful APIs with Modbat
236
Model-based Testing of the Conference Protocol with Spec Explorer
237
Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results
238
Model-based testing of web service compositions
239
Model-Based Testing Using Symbolic Animation and Machine Learning
240
Model-Based Testing Using System vs. Test Models - What Is the Difference?
241
Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework
242
Model-based testing: challenges ahead
243
Model-Based Tests for Access Control Policies
244
Model-based tests of truisms
245
Model-Based Texture Measures
246
Model-Based Thermal Anomaly Detection in Cloud Datacenters
247
Model-based thermoacoustic oscillation control via ℋ
∞
loop-shaping and Integral Quadratic Constraints
248
Model-Based Threat Assessment for Avoiding Arbitrary Vehicle Collisions
249
Model-based threat assessment for lane guidance systems
250
Model-based threat assessment in semi-autonomous vehicles with model parameter uncertainties
251
Model-Based Three-Dimensional Interpretations of Two-Dimensional Images
252
Model-based throughput prediction in data center networks
253
Model-based THz imaging for 2D reflection-mode geometry
254
Model-based Tikhonov-Miller image restoration
255
Model-Based Time and Cost Estimation in a Software Testing Environment
256
Model-Based Time Estimate of Software Test Processes
257
Model-Based Tomographic Reconstruction of Objects Containing Known Components
258
Model-based tools to record program understanding
259
Model-based torque controller for dynamical engine test stands
260
Model-based torque estimator for switched reluctance motors
261
Model-based torsional vibration control of internal combustion engines
262
Model-based traceability
263
Model-based tracking and hybrid force/vision control for the UJI librarian robot
264
Model-Based Tracking at 300Hz Using Raw Time-of-Flight Observations
265
Model-Based Tracking by Classification in a Tiny Discrete Pose Space
266
Model-based tracking control over networks
267
Model-based tracking for autonomous arrays
268
Model-based tracking in compressed video
269
Model-based tracking of 3D objects based on a sequential Monte-Carlo method
270
Model-based tracking of complex articulated objects
271
Model-based tracking of human walking in monocular image sequences
272
Model-based tracking of laboratory animals
273
Model-based tracking of self-occluding articulated objects
274
Model-based tracking with stereovision for AR
275
Model-based tracking: Temporal conditional random fields
276
Model-based tractography based on statistical atlas of MR-DTI
277
Model-based trade space exploration for near-Earth space missions
278
Model-based traffic and emission control using PWA models — A mixed-logical dynamic approach
279
Model-based traffic monitoring by means of neural networks
280
Model-Based Traffic Prediction Using Sensor Networks
281
Model-based trajectory control of robots with pneumatic actuator dynamics
282
Model-based trajectory reconstruction using IMM smoothing and motion pattern identification
283
Model-Based Transition from Requirements to High-Level Software Design
284
Model-Based Transrating of H.264 Coded Video
285
Model-based troubleshooting for information survivability
286
Model-based troubleshooting of complex technical systems using integrated qualitative techniques
287
Model-based tuning approach for multi-band power system stabilisers PSS4B using an improved modal performance index
288
Model-based two-dimensional industrial part recognition
289
Model-based two-dimensional phase unwrapping
290
Model-based ultrasonic inversion for layered structures
291
Model-based understanding of uncertain observational data for oil spill tracking
292
Model-based uniformity control for epitaxial silicon deposition
293
Model-based university course programs for model-based engineering
294
Model-Based Unsupervised Spoken Term Detection with Spoken Queries
295
Model-based urea injection control strategy and ammonia storage estimation for diesel engine SCR system
296
Model-based user support: design principles and an example
297
Model-Based Validation & Verification Integrated with SW Architecture Analysis: A Feasibility Study
298
Model-based validation and verification of autonomous networked vehicles
299
Model-based validation approaches and matching techniques for automotive vision based pedestrian detection
300
Model-Based Validation for Internet Services
301
Model-based validation of an intrusion-tolerant information system
302
Model-based validation of CANopen systems
303
Model-based validation of drive control firmware using Simulink
304
Model-Based Validation of Industrial Control Systems
305
Model-based validation of safety-critical embedded systems
306
Model-Based Variability Management for Complex Embedded Networks
307
Model-based variable position mapping for telerobotic assistance in a cylindrical environment
308
Model-Based Vasculature Extraction From Optical Fluorescence Cryomicrotome Images
309
Model-based vector quantization with application to remotely sensed image data
310
Model-Based Vehicle Localization Based on 3-D Constrained Multiple-Kernel Tracking
311
Model-Based Vehicle Pose Estimation and Tracking in Videos Using Random Forests
312
Model-based vehicular motion and structure estimation
313
Model-based velocity control for Limit Cycle Walking
314
Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems
315
Model-Based Verification and Validation of Component Structures for RF and Optical Experimental Systems
316
Model-based verification and validation of the SMAP uplink processes
317
Model-based verification in the development of dependable systems
318
Model-Based Verification of a Non-Linear Separation Scheme for Ballistocardiography
319
Model-based verification of batch process control software
320
Model-Based Verification of Embedded Software
321
Model-Based Verification of Energy-Aware Real-Time Automotive Systems
322
Model-based verification of knowledge-based systems: a case study
323
Model-based verification of the SIP invite scenario
324
Model-based verification of Web service compositions
325
Model-based versus knowledge-guided representation of non-rigid objects: a case study
326
Model-based vibration suppression control for an articulated robot
327
Model-based vibration suppression in piezoelectric tube scanners through induced voltage feedback
328
Model-Based Video Coding Using Colour and Depth Cameras
329
Model-based video compression for real world data
330
Model-based video scene clustering with noise analysis
331
Model-based view-extrapolation for interactive VR Web-systems
332
Model-Based Virtual Prototype Acceleration
333
Model-based virtual sensors and core temperature observers in thermoforming applications
334
Model-Based Virtual Sensors and Core-Temperature Observers in Thermoforming Applications
335
Model-Based Virtual Thermal Sensors for Lithium-Ion Battery in EV Applications
336
Model-based vision for automatic alarm interpretation
337
Model-based vision for automatic alarm interpretation
338
Model-based vision for robotic manipulation of twisted tubular parts: using affine transforms and heuristic search
339
Model-based visual feedback control for a hand-eye coordinated robotic system
340
Model-based visual self-localization using geometry and graphs
341
Model-based visual tracking for outdoor augmented reality applications
342
Model-based visualization for enterprise information management
343
Model-based visualization of temporal abstractions
344
Model-based voltage calculation for inverters with small DC-Link capacitance
345
Model-based voltage phase control for IPMSM with equilibrium point search
346
Model-based Volt-Var Optimization using Advanced Metering Infrastructure in distribution networks
347
Model-based volumetric flaw reconstruction from a limited number of radiographic projections
348
Model-based vs auto-tuning design of PID controller for knee flexion during gait
349
Model-Based Vulnerability Testing for Web Applications
350
Model-based walking support system with wearable walking helper
351
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems
352
Model-based waveform design for the universal software radio peripheral with simulink
353
Model-Based Weather Radar Remote Sensing of Explosive Volcanic Ash Eruption
354
Model-Based Wheel Slip Detection for Outdoor Mobile Robots
355
Model-based Wheel Speed acquistion by interrupt capture method for integrated stability control
356
Model-based Wind Estimation Using Seasat Scatterometer Measurements
357
Model-based Wind Field Estimates From Wind Scatterometer Measurements
358
Model-based within-a-cycle estimation of rate shaping for a piezoelectric fuel injector
359
Model-based work-piece localization with salient feature selection
360
Model-based, delay-tolerant teleoperation in unstructured environments
361
Model-based, knowledge-based epicardial boundary detector
362
Model-based, memory-centric performance and power optimization on NUMA multiprocessors
363
Model-based, multiple fault diagnosis of time-varying, continuous physical devices
364
Model-based, multiple-fault diagnosis of dynamic, continuous physical devices
365
Model-based, real-time control of electrical power systems
366
Model-based/waveform hybrid coding for videotelephone images
367
Model-Based-Design Is Nice But...
368
Model-Basedwiener Filter for Noise Robust Speech Recognition
369
Model-building algorithms for multiobjective EDAs: Directions for improvement
370
Model-building for fault detection: adaptive parameter estimation of multi-input multi-output systems
371
Model-building semi-Markov adaptive critics
372
Model-catalog compression for radar target recognition
373
Model-Centered Customizable Architectural Design Decisions Management
374
Model-centric nonlinear equalizer for coherent long-haul fiber-optic communication systems
375
Model-Characterizing Formulas and Normal Forms in Godel Logics
376
Model-Checker-Based Testing of LTL Specifications
377
Model-checking algorithms for continuous-time Markov chains
378
Model-Checking an Ecosystem Model for Decision-Aid
379
Model-checking and control of self-assembly
380
Model-Checking and Game theory for Synthesis of Safety Rules
381
Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks
382
Model-Checking based Verification approach for advanced Industrial Automation solutions
383
Model-checking behavioral programs
384
Model-Checking BNDC Properties in Cyber-Physical Systems
385
Model-Checking C Programs against JML-like Specification Language
386
Model-Checking Driven Security Testing of Web-Based Applications
387
Model-checking for real-time systems
388
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support
389
Model-checking for the functional safety of Control Component-based heterogeneous embedded systems
390
Model-checking for validation of a fault protection system
391
Model-checking framework for embedded systems controllers development using IOPT Petri nets
392
Model-checking hierarchical structures
393
Model-checking of causality properties
394
Model-checking of component-based event-driven real-time embedded software
395
Model-checking of correctness conditions for concurrent objects
396
Model-Checking of Real-Time Systems: A Telecommunications Application Experience Report
397
Model-Checking of Web Services Choreography
398
Model-Checking Parse Trees
399
Model-checking problems as a basis for parameterized intractability
400
Model-checking real-time concurrent systems
401
Model-checking real-time control programs: verifying LEGO MINDSTORMS
TM
systems using UPPAAL
402
Model-Checking Real-Time Properties of an Auto Flight Control System Function
403
Model-checking the Flooding Time Synchronization Protocol
404
Model-checking trace event structures
405
Model-combination-based acoustic mapping
406
Model-comparison study of quasi-ballistic electron transport in nanoscale semiconductor devices
407
Model-compiler based efficient statistical circuit analysis: an industry case study of a 4 GHz/6-bit ADC/DAC/DEMUX ASIC
408
Model-Control PROMC---A New Control Strategy with Microcomputer for Drive Applications
409
Model-convolution approach to modeling fluorescent protein dynamics
410
MODE-LD+SS: A novel Differential Evolution algorithm incorporating local dominance and scalar selection mechanisms for multi-objective optimization
411
Model-data comparison of total dose experiment on KITSAT-1
412
Model-Defining of Directed-Graph´s Storage Structure Based on Object Petrinet
413
Model-derived brightness temperature in AMSU moisture channels for various precipitation structures: Comparison of two radiative transfer formulations
414
Model-deviation compensation control based on the transformation of state
415
Model-deviation compensation control for uncertain systems with time delay
416
Model-directed mobile robot navigation
417
Model-Directed Multi-Level Parallelization for Multi-Task Programs on the Cell BE
418
Model-distributed solution of regularized least-squares problem over sensor networks
419
Model-driven 3D building reconstruction based on integeration of DSM and spectral information of satellite images
420
Model-Driven Accuracy Bounds for Noisy Sensor Readings
421
Model-driven adaptive wireless sensing for environmental healthcare feedback systems
422
Model-driven agent generation approach for adaptable and resource-aware sensor node
423
Model-driven agile development (MAD) for situation-aware software in ubiquitous computing environments
424
Model-Driven Agile Development of Reactive Multi-Agent Systems
425
Model-Driven Allocation Engineering (T)
426
Model-driven and metrics-driven user experience re-modeling for Rich Internet Applications
427
Model-driven and ontology-based framework for semantic description and validation of business processes
428
Model-Driven Application-Level Encryption for the Privacy of E-health Data
429
Model-Driven Approach for Agent Based Software System
430
Model-Driven Approach for Automatic Dynamic Partially Reconfigurable IP Customization
431
Model-driven approach for building efficient Wireless Sensor and Actuator Network applications
432
Model-Driven Approach for Logistics Management Information System
433
Model-driven approach to Agilla Agent generation
434
Model-Driven Approach to Constructing UML Sequence Diagram
435
Model-driven approach to design ICT infrastructure for precision farming
436
Model-driven approach to developing domain functional requirements in software product lines
437
Model-Driven approach to Software Architecture design
438
Model-driven Approach to the Integration of Multiagent Systems and Semantic Web Services
439
Model-Driven Architecture Approach for Data Warehouse
440
Model-driven architecture for cancer research
441
Model-driven assessment in Software Product Management
442
Model-driven automated software FMEA
443
Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition
444
Model-Driven Automation in Grid Environments
445
Model-Driven Autonomic Architecture
446
Model-Driven Autoscaling for Hadoop Clusters
447
Model-Driven Based Evolution Rules and Conflicts Analysis for Enterprise Energy Consumption Process
448
Model-Driven Business Document Evolution
449
Model-driven business performance management
450
Model-driven business process recovery
451
Model-Driven Code Generation for Secure Smart Card Applications
452
Model-driven coding with VPAT: The Verbal Protocol Analysis Tool
453
Model-Driven Co-evolution for Agile Development
454
Model-driven collaboration and information integration for enhancing video semantic concept detection
455
Model-driven communication routing in industrial automation and control systems
456
Model-Driven Comparison of State-Machine-Based and Deferred-Update Replication Schemes
457
Model-driven complex workflow automation for laboratories
458
Model-driven Composition of Context-aware Web Services Using ContextUML and Aspects
459
Model-Driven Consistency Checking of Behavioural Specifications
460
Model-Driven Consistency Verification for Service-Oriented Applications
461
Model-driven consolidation of Java workloads on multicores
462
Model-driven contour extraction for physically deformed objects -application to analysis of stomach X-ray images
463
Model-Driven Dashboards for Business Performance Reporting
464
Model-driven data acquisition for temperature sensor readings in Wireless Sensor Networks
465
Model-driven data cleaning for signal processing system in sensor networks
466
Model-driven data collection for biological systems
467
Model-Driven Data Layout Selection for Improving Read Performance
468
Model-Driven Data Mining in the Oil & Gas Exploration and Production
469
Model-Driven Data Warehousing for Service-Based Business Process Monitoring
470
Model-Driven Decision Procedures for Arithmetic
471
Model-Driven Dependability Analysis of Virtualization Systems
472
Model-Driven Design and Generation of New Multi-Facet Arbiters: From the Design Model to the Hardware Synthesis
473
Model-Driven Design and Organic Computing -- Combinable Strategies?
474
Model-Driven Design and Organic Computing - Contradictory or Synergetic Approaches to Overcome the Embedded Software Crisis
475
Model-Driven Design and Organic Computing -- Two Different but Possibly Accordable Concepts for the Design of Embedded Systems
476
Model-driven design flow for distributed control in reconfigurable FPGA systems
477
Model-driven design for the development of multi-platform smartphone applications
478
Model-Driven Design for the Visual Analysis of Heterogeneous Data
479
Model-Driven Design of Audiovisual Indexing Processes for Search-Based Applications
480
Model-Driven Design of Cloud Applications with Quality-of-Service Guarantees: The MODAClouds Approach, MICAS Tutorial
481
Model-Driven Design of Embedded Multimedia Applications on SoCs
482
Model-driven design of Industrial Control Systems
483
Model-Driven Design of Network Aspects of Distributed Embedded Systems
484
Model-Driven Design of Performance Requirements
485
Model-driven design of real-time component-based applications
486
Model-Driven Design, Development, Execution and Management of Service-Based Applications
487
Model-driven detection of Design Patterns
488
Model-driven determination of object pose for a visually servoed robot
489
Model-driven development - Guest editor´s introduction
490
Model-Driven Development and Adaptation of Autonomous Control Applications
491
Model-Driven Development and Business Process Modeling Applied to Personal Productivity in the Consumer Mobile App Market
492
Model-driven development and search-based software engineering: an opportunity for research synergy
493
Model-driven development and the future of software engineering education
494
Model-Driven Development for Requirements Engineering: The Case of Goal-Oriented Approaches
495
Model-driven development for user-centric well-being support from dynamic well-being domain models to context-aware applications
496
Model-Driven Development in Real-Time Embedded Control Systems: A Case Study
497
Model-Driven Development in the Enterprise
498
Model-Driven Development in the Production of Customizable Learning Objects
499
Model-Driven Development Meets Security: An Evaluation of Current Approaches
500
Model-Driven development method of the virtual data warehouse
501
Model-Driven Development Methodology for B2B Collaborations
502
Model-Driven Development of a Mediation Service
503
Model-driven development of a standard-compliant Customer Energy Manager
504
Model-Driven Development of a Web Service-Oriented Architecture and Security Policies
505
Model-driven development of ARINC 653 configuration tables
506
Model-driven development of ARINC 653 configuration tables
507
Model-Driven Development of Aspectual Pervasive Software Services
508
Model-driven Development of Complex Software: A Research Roadmap
509
Model-Driven Development of Content-Based Image Retrieval Systems
510
Model-Driven Development of Context-aware Adaptive Learning Systems
511
Model-Driven Development of context-aware services: Issues, techniques and review
512
Model-Driven Development of Control Software for Distributed Automation: A Survey and an Approach
513
Model-Driven Development of Cross-Platform Mobile Applications with Web Ratio and IFML
514
Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL)
515
Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model
516
Model-Driven Development of Human Tasks for Workflows
517
Model-driven development of industrial embedded systems: Challenges faced and lessons learnt
518
Model-Driven Development of Information Flow-Secure Systems with IFlow
519
Model-driven development of integrated health management architectures
520
Model-driven development of learning objects
521
Model-Driven Development of Mobile Applications
522
Model-Driven Development of Mobile Personal Health Care Applications
523
Model-driven development of multi-core embedded software
524
Model-driven development of multi-view modelling tools the MUVIEMOT approach
525
Model-driven development of multi-view modelling tools the MUVIEMOT approach
526
Model-driven development of multi-view modelling tools the MuVieMOT approach
527
Model-driven development of multi-view modelling tools the muviemot approach
528
Model-driven development of multi-view modelling tools: The MuVieMOT approach
529
Model-driven development of multi-view modelling tools: The MUVIEMOT approach
530
Model-driven development of multi-view modelling tools: The MuVieMOT approach
531
Model-driven development of multi-view modelling tools: The MUVIEMOT approach
532
Model-driven development of Particle System Families
533
Model-Driven Development of Radar Control Software
534
Model-Driven Development of Real-Time Software Based on OMG Standards
535
Model-driven development of real-time software using OMG standards
536
Model-driven development of real-time systems with UML 2.0 and C
537
Model-Driven Development of Reconfigurable Protocol Stack for Networked Control Systems
538
Model-driven development of recursive CORBA component assemblies
539
Model-driven development of reliable avionics architectures for Lunar Surface Systems
540
Model-Driven Development of Secure Service Applications
541
Model-Driven Development of Self-Describing Components for Self-Adaptive Distributed Embedded Systems
542
Model-driven development of smart grid services using SoaML
543
Model-Driven Development of User Interfaces: Promises and Challenges
544
Model-Driven Development of Wireless Sensor Network Applications
545
Model-Driven Development of WSN Applications
546
Model-driven development using UML 2.0: promises and pitfalls
547
Model-driven development versus aspect-oriented programming a case study
548
Model-driven development within a legacy system: an industry experience report
549
Model-driven development: a metamodeling foundation
550
Model-driven development: its essence and opportunities
551
Model-Driven Development: Where Does the Code Come From?
552
Model-driven diagnostics generation for industrial automation
553
Model-driven distributed systems
554
Model-driven embedded systems design environment for the industrial automation sector
555
Model-Driven Engineering and Safety-Critical Embedded Software
556
Model-Driven Engineering and the Impact of a Change
557
Model-driven engineering applied in functional Testing: The practical experience of the AQUA-WS project
558
Model-driven engineering applied to Smart Grid automation using IEC 61850 and IEC 61499
559
Model-driven engineering applied to the development of embedded software for B-mode ultrasound imaging systems - A case study
560
Model-Driven Engineering for Autonomic Provisioned Systems
561
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
562
Model-Driven Engineering for Requirements Analysis
563
Model-Driven Engineering for the Social Enterprise
564
Model-Driven Engineering of a General Policy Modeling Language
565
Model-driven engineering of a railway interlocking system
566
Model-Driven Engineering of Dependable Systems
567
Model-driven engineering of industrial process control applications
568
Model-Driven Engineering of Multi Agent Systems
569
Model-Driven Engineering of Multi-target Plastic User Interfaces
570
Model-driven engineering of networked industrial automation systems
571
Model-driven engineering of planning and optimisation algorithms for pervasive computing environments
572
Model-driven engineering of Second-Life-style simulations
573
Model-Driven Engineering of Service Orchestrations
574
Model-driven engineering practices in industry
575
Model-Driven Engineering with Large Models in the Context of Product Line Engineering with IBYKUS AP
576
Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks
577
Model-driven estimation of operators??? workload for usage centred design of interactive systems
578
Model-Driven Evolution of Software Architectures
579
Model-driven experiments for decision making teams
580
Model-driven fast prototyping of RIAs: From conceptual models to running applications
581
Model-driven functional test engineering for service centric systems
582
Model-driven generative techniques for scalable performability analysis of distributed systems
583
Model-Driven Geo-Elasticity in Database Clouds
584
Model-driven GUI generation and navigation for Android BIS apps
585
Model-Driven Harmonic Parameterization of the Cortical Surface: HIP-HOP
586
Model-Driven HMI Development: Can Meta-CASE Tools do the Job?
587
Model-Driven Inline Assembler Generator for Retargetable Compilers
588
Model-Driven Instructional Engineering to Generate Adaptable Learning Materials
589
ModelDriven Instrumentation for Monitoring the Quality of Web Service Compositions
590
Model-Driven Instrumentation of Graphical User Interfaces
591
Model-driven integration for a service placement optimizer in a sustainable cloud of clouds
592
Model-driven integration of building automation systems into Web service gateways
593
Model-driven integration using existing models
594
Model-driven interface management a practical approach to systems engineering in large-scale international research projects
595
Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments
596
Model-Driven Language Engineering: The ASMETA Case Study
597
Model-driven Level 3 BLAS Performance Optimization on Loongson 3A Processor
598
Model-driven line-following in scanned cable diagrams
599
Model-Driven Management of Services
600
Model-driven mapping onto distributed memory parallel computers
601
Model-Driven Method of Information Extraction for E-Government
602
Model-Driven Monitoring of Time-Critical Systems Based on Aspect-Oriented Programming
603
Model-driven Monitoring: Generating Assertions from Visual Contracts
604
Model-driven multi-level safety analysis of critical systems
605
Model-driven multisite workflow scheduling
606
Model-driven multi-target tracking in crowd scenes
607
Model-driven network emulation with virtual time machine
608
Model-driven networking: A novel approach for SDN applications development
609
Model-driven open packet telephony management
610
Model-Driven Open Source Software Development - The Open Models Approach
611
Model-Driven Optimization of Opportunistic Routing
612
Model-driven organisational reengineering A framework to support organisational improvement
613
Model-driven parameterization of fetal cortical surfaces
614
Model-driven parametric monitoring of high-dimensional nonlinear functional profiles
615
Model-Driven Performance Analysis Methodology for Distributed Software Systems
616
Model-Driven Performance Analysis of Large Scale Irrigation Networks
617
Model-Driven Performance Analysis of Reconfigurable Conveyor Systems Used in Material Handling Applications
618
Model-Driven Performance Prediction of Distributed Real-Time Embedded Defense Systems
619
Model-driven performance prediction of HLA-based distributed simulation systems
620
Model-driven PID control system in single-loop controller
621
Model-Driven Placement of Compute Tasks and Data in a Networked Utility
622
Model-driven pose correction
623
Model-driven privacy assessment in the smart grid
624
Model-driven processes and tools to design GLO for CS education
625
Model-Driven Productivity Evaluation for Self-Adaptive Context-Oriented Software Development
626
Model-Driven Quality Assurance for End Users
627
Model-Driven Quality of Service for Web Services: An Aspect-Oriented Approach
628
Model-Driven Reconstruction of 3-D Buildings Using LiDAR Data
629
Model-Driven Reengineering of Database
630
Model-Driven Refactoring Approaches: A Comparison Criteria
631
Model-driven regulatory compliance: A case study of “Know Your Customer” regulations
632
Model-Driven Remote Attestation: Attesting Remote System from Behavioral Aspect
633
Model-Driven Requirements Engineering for Embedded Systems Development
634
Model-driven requirements validation for automotive embedded software using UML
635
Model-Driven Research in Human-Centric Computing
636
Model-Driven Retail Information System Based on REA Business Ontology and Retail-H
637
Model-driven retrieval of fractional snow cover area
638
Model-driven reverse engineering
639
Model-driven reverse engineering for data warehouse design
640
Model-driven robot-software design using integrated models and co-simulation
641
Model-Driven Runtime Embedded Monitoring for Industrial Controllers
642
Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures
643
Model-Driven Safety Analysis of Closed-Loop Medical Systems
644
Model-driven safety assessment of robotic systems
645
Model-driven safety modeling and analysis of embedded parallel software
646
Model-driven security based on a Web services security architecture
647
Model-driven security for Web services in e-Government system: Ideal and real
648
Model-driven security management of embedded service systems
649
Model-Driven Security Patterns Application Based on Dependences among Patterns
650
Model-driven self-adaptation of robotics software using probabilistic approach
651
Model-Driven Self-Reconfiguration for Highly Available SOAs
652
Model-driven semantic Web service composition
653
Model-Driven Serious Game Development Integration of the Gamification Modeling Language GaML with Unity
654
Model-Driven Service Development for A-posteriori Application Integration
655
Model-driven service engineering towards the manufacturing liquid-sensing enterprise
656
Model-Driven Service Integration Testing - A Case Study
657
Model-Driven SIMD Code Generation for a Multi-resolution Tensor Kernel
658
Model-driven simulation for cross-domain policy enforcement
659
Model-Driven Simulation of Grid Scheduling Strategies
660
Model-driven Simulation Of World-wide-web Cache Policies
661
Model-Driven Simulation to Evaluate Performance Impact of Workload Features on Parallel Systems
662
Model-driven SoC design via executable UML to SystemC
663
Model-driven software design for smart grid data analytics
664
Model-Driven Software Development for Pervasive Information Systems Implementation
665
Model-Driven Software Engineering in Robotics: Models Are Designed to Use the Relevant Things, Thereby Reducing the Complexity and Cost in the Field of Robotics
666
Model-Driven Software Measurement Framework: A Case Study
667
Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties
668
Model-Driven Specification of Software Services
669
Model-driven spreadsheets in a multi-user environment
670
Model-driven statistical analysis of human gait motion
671
Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems
672
Model-Driven System Capacity Planning under Workload Burstiness
673
Model-driven system identification of transcritical vapor compression systems
674
Model-driven systems development
675
Model-driven systems engineering for netcentric system of systems with DEVS unified process
676
Model-driven techniques for evaluating the QoS of middleware configurations for DRE systems
677
Model-driven template metaprogramming
678
Model-driven tenant development for PaaS-based SaaS
679
Model-driven test generation for system level validation
680
Model-driven testing in software product lines
681
Model-Driven Testing of Security Protocols with SecureMDD
682
Model-Driven Traffic Data Acquisition in Vehicular Sensor Networks
683
Model-driven trust negotiation for Web services
684
Model-driven Validation of SystemC Designs
685
Model-Driven Video-Based Rendering for Vehicles
686
Model-driven virtual prototyping for real-time simulation of distributed embedded systems
687
Model-driven Visual Analytics
688
Model-driven visual requirements engineering
689
Model-driven Walks for Resource Discovery in Peer-to-Peer Networks
690
Model-driven web applications
691
Model-driven Web services development
692
Model-driven, probabilistic level set based segmentation of magnetic resonance images of the brain
693
Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks
694
Modeled Analysis on Requantization Error
695
Modeled and Measured Act Based Convolver Performance
696
Modeled and measured instruction fetching performance for superscalar microprocessors
697
Modeled and measured mutual impedances, element patterns, and sensitivity for a 19 element focal plane array
698
Modeled and measured results from two proposed standard EMI modeling problems
699
Modeled channel distributions explain extracellular recordings from cultured neurons sealed to microelectrodes
700
Modeled Current Distribution Inside the Normal and Malignant Human Urothelium Using Finite Element Analysis
701
Modeled evaporation duct climatology in a limited area using multiple data sources
702
Modeled gait variations in human micro-doppler
703
Modeled insulin sensitivity and interstitial insulin action from a pilot study of dynamic insulin sensitivity tests
704
Modeled Performance of a Long Baseline Planar SQUID Gradiometer for Biomagnetism
705
Modeled performance of monolithic, 3-terminal InP/Ga
0.47
In
0.5
As concentrator solar cells as a function of temperature and concentration ratio
706
Modeled performance of triple junction, double heterostructure p
+
in
+
solar cells
707
Modeled radar surface signature of deep ocean convection
708
Modeled Response Of L-band Radar Backscatter From Conifer Woodland To Changes In Tree Canopy Volume
709
Modeled space-fed phased-array antenna performance with varying subarray weightings
710
Modeled specific contact resistivity with high doping effects: Requirements for 1 nΩ-cm
2
contacts
711
Modeled tunnel currents for high dielectric constant dielectrics
712
Modeled velocity of airflow in the airways during various respiratory patterns
713
Model-embedded on-line problem solving environment for chemical engineering
714
Model-empirical study of the HF propagation during magnetospheric substorm
715
Modeler independent procedural interfaces for solid modeling
716
Model-error feedback design for systems with time-varying delay based on mixed H
2
/H
∞
control
717
Model-error feedback for time-delay systems with communication disturbance observer
718
Modeless highly coherent frequency-shifted-feedback vertical external cavity surface emitting laser
719
Modeless Japanese Input Method Using Multiple Character Sequence Features
720
Modeless motion binning in Cone Beam CT
721
Modeless reconstruction of missing synchrophasor measurements
722
Modeless robots calibration in 3D workspace with an on-line fuzzy interpolation technique
723
Model-Extrapolated S-Parameter Design of MM-Wave GaAs FET Amplifiers
724
Model-fitting approach to array calibration
725
Model-fitting in the presence of outliers
726
Model-follower longitudinal control for automated guideway transit vehicles
727
Model-following adaptive equalizer
728
Model-following control of a helicopter in hover
729
Model-Following Control of Single-Phase Inverters Using Time-Varying Sliding Surface
730
Model-following control of uncertain nonminimum phase LTI plants via sliding modes
731
Model-following controller design based on a stabilized digital inverse system
732
Model-Following Controller for Nonlinear Plants using RBF Neural Networks
733
Model-following neuro-adaptive control design for non-square, non-affine nonlinear systems
734
Model-following reference adaptive control for a class of composite systems
735
Model-following sliding mode controller design for flight control systems with wind disturbances
736
Model-free adaptive (MFA) control
737
Model-free adaptive algorithm for optimal control of continuous-time nonlinear system
738
Model-free adaptive control for magnetic levitation ball system
739
Model-free adaptive control for model mismatch power converters
740
Model-Free Adaptive Control Method for Nuclear Steam Generator Water Level
741
Model-free adaptive control of dual-axis linear motor gantry system
742
Model-free adaptive control of evaporators
743
Model-Free Adaptive Control of MIMO Systems Based on Linearization of Partial Format
744
Model-free adaptive control scheme applied to control the pH of industrial wastewater
745
Model-free Adaptive Control Used in Permanent Magnet Linear Motor
746
Model-Free Adaptive Control with Contractive Constraints for Nonlinear Systems
747
Model-free adaptive dynamic programming for online optimal solution of the unknown nonlinear zero-sum differential game
748
Model-free Adaptive Hysteresis for Dynamic Bandwidth Reservation
749
Model-free adaptive learning solutions for discrete-time dynamic graphical games
750
Model-Free adaptive neural fuzzy feed forward torque control for nonlinear parallel mechanism
751
Model-Free Adaptive PI Predictive Control for a Class of Nonlinear SISO Systems
752
Model-Free Adaptive Switching Control of Time-Varying Plants
753
Model-free Adaptive with Human-simulated Intelligent Control and its Application in Super-heated Steam Temperature System
754
Model-free analysis of time-dependent single-molecule spectroscopy: Dynamics of biological macromolecules
755
Model-free anchor speaker turn detection for automatic chapter generation in broadcast news
756
Model-free and model-based time-optimal control of a badminton robot
757
Model-free apprenticeship learning for transfer of human impedance behaviour
758
Model-free approach and methodology for data anomaly detection for real time diagnostic solution
759
Model-free approach to controlling nonlinear systems with single output delay
760
Model-free approximate dynamic programming for continuous-time linear systems
761
Model-free Approximate Dynamic Programming Schemes for Linear Systems
762
Model-free augmented reality by virtual visual servoing
763
Model-free compression creep methods for differentiation of lesion from background tissue
764
Model-free construction of the Kalman filter based on measurement signals
765
Model-free control based on neural networks
766
Model-Free Control Design for Hybrid Magnetic Levitation System
767
Model-free control for wind farms using a gradient estimation-based algorithm
768
Model-free control framework for multi-limb soft robots
769
Model-free control of a 3-DOF piezoelectric nanopositioning platform
770
Model-free control of a flapping-wing flying microrobot
771
Model-free control of a quadrotor vehicle
772
Model-free control of a thermal plant
773
Model-free control of a two-dimensional system based on uncertainty reconstruction and attenuation
774
Model-free control of automotive engine and brake for Stop-and-Go scenarios
775
Model-free control of dc/dc converters
776
Model-free control of general discrete-time systems
777
Model-free control of nonlinear stochastic systems in discrete time
778
Model-free control of nonlinear stochastic systems in discrete time
779
Model-free control of nonlinear stochastic systems with discrete-time measurements
780
Model-Free Control or Active Disturbance Rejection Control? On different approaches for attenuating the perturbation
781
Model-free control techniques for Stop & Go systems
782
Model-Free Controller Tuning Based on DFT Processing: Application to Induction Motor Drives
783
Model-free controller tuning based on frequency response data
784
Model-free controllers of a single-link smart material robot
785
Model-free dense stereo reconstruction for creating realistic 3D city models
786
Model-Free Detection, Encoding, Retrieval, and Visualization of Human Poses From Kinect Data
787
Model-free distributed learning
788
Model-Free Dual Heuristic Dynamic Programming
789
Model-free estimation of defect clustering in integrated circuit fabrication
790
Model-free execution monitoring by learning from simulation
791
Model-Free Execution Monitoring in Behavior-Based Robotics
792
Model-free expectation maximization for divisive hierarchical clustering of multicolor flow cytometry data
793
Model-free face detection and head tracking with morphological hole mapping
794
Model-free fault diagnosis for nonlinear systems: a combined kernel-regression and neural networks approach
795
Model-free force tracking control of piezoelectric actuators: Application to variable damping actuator
796
Model-free functional MRI analysis using Kohonen clustering neural network and fuzzy C-means
797
Model-free fuzzy leader-follower formation control of fixed wing UAVs
798
Model-free fuzzy tightening control for bolt/nut joint connections of wind turbine hubs
799
Model-free H
∞
stochastic optimal design for unknown linear networked control system zero-sum games via Q-learning
800
Model-free high order sliding mode control for ROV: Station-keeping approach
801
Model-Free H-Infinity Load-Frequency Controller Design for Power Systems
802
Model-free human-like humanoid push recovery
803
Model-free HVAC control using occupant feedback
804
Model-free image guidance for intelligent tubular robots with pre-clinical feasibility study: Towards minimally invasive trans-orifice surgery
805
Model-free impedance control for safe human-robot interaction
806
Model-free indirect adaptive decoupling control for nonlinear discrete-time MIMO systems
807
Model-free intelligent control of a 6-DOF Stewart-Gough based parallel manipulator
808
Model-Free Interval-Based Localization in Manets
809
Model-free iterative learning control for LTI systems and experimental validation on a linear motor test setup
810
Model-free iterative learning of time-optimal point-to-point motions for LTI systems
811
Model-free learning adaptive controller with neural network compensator and differential evolution optimization
812
Model-Free Learning and Control in a Mobile Robot
813
Model-Free Learning Control for processes with constrained incremental control
814
Model-free learning control for unstable system
815
Model-free learning control of nonlinear discrete-time systems
816
Model-free learning of wire winding control
817
Model-free learning-based online management of hybrid electrical energy storage systems in electric vehicles
818
Model-free linear quadratic tracking control for unmanned helicopters using reinforcement learning
819
Model-free local navigation for humanoid robots
820
Model-free LQ control for unmanned helicopters using reinforcement learning
821
Model-free marginal orientation distribution function reconstruction in single-shell Q-Ball imaging
822
Model-free norm-based fixed structure controller synthesis
823
Model-free observer backstepping control design for nonlinear systems in strict feedback form
824
Model-free observer for MIMO systems
825
Model-free observer for state estimation applied to a quadrotor
826
Model-free off-policy reinforcement learning in continuous environment
827
Model-Free Optimal Control for Affine Nonlinear Systems With Convergence Analysis
828
Model-free optimal de-drifting and enhanced detection in fMRI data
829
Model-free optimal trajectories in the image space
830
Model-free optimal trajectories in the image space: application to robot vision control
831
Model-free optimization based feedforward control for an inkjet printhead
832
Model-free optimization in cement plants
833
Model-free optimization of fuzzy rule-based systems using evolution strategies
834
Model-free path planning for redundant robots using sparse data from kinesthetic teaching
835
Model-free periodic adaptive control for a class of SISO nonlinear discrete-time systems
836
Model-free PID controller with gain scheduling for turning processes
837
Model-free plug-n-play optimization techniques to design autonomous and resilient complex systems
838
Model-Free Power-Level Control of MHTGRs Against Input Saturation and Dead-Zone
839
Model-Free Precompensator and Feedforward Tuning Based on the Correlation Approach
840
Model-Free Precompensator Tuning Based on the Correlation Approach
841
Model-Free Predictive
Control for Grid-Connected Solar Power Generation Systems
842
Model-free predictive control
843
Model-free predictive control of human heart rate and blood pressure
844
Model-free predictive control of nonlinear systems based on linearization of partial format
845
Model-Free Predictive Current Control for Interior Permanent-Magnet Synchronous Motor Drives Based on Current Difference Detection Technique
846
Model-free predictive current control of a voltage source inverter
847
Model-free predictive current controller for four-switch three-phase inverter-fed interior permanent magnet synchronous motor drive systems
848
Model-Free Primitive-Based Iterative Learning Control Approach to Trajectory Tracking of MIMO Systems With Experimental Validation
849
Model-free Probabilistic Movement Primitives for physical interaction
850
Model-free Q-learning designs for discrete-time zero-sum games with application to H-infinity control
851
Model-free Q-learning over finite horizon for uncertain linear continuous-time systems
852
Model-free reconstruction of 3-D myocardial strain from planar tagged MR images: precision and spatial resolution
853
Model-free Region Of Interest Based Analysis of fMRI Data
854
Model-free regulation of multi-link smart materials robots
855
Model-free regulation of multi-link smart materials robots
856
Model-Free Reinforcement Learning of Impedance Control in Stochastic Environments
857
Model-Free reinforcement learning with continuous action in practice
858
Model-free repetitive control design for nonlinear systems
859
Model-free robot anomaly detection
860
Model-free robot manipulation of doors and drawers by means of fixed-grasps
861
Model-Free Robust Adaptive Control for flexible rubber objects manipulation
862
Model-free stochastic learning in adaptive wireless networks
863
Model-Free Stochastic Localization of CBRN Releases
864
Model-free subspace-based control scheme for grid-connected voltage source inverters
865
Model-free subspace-based LQG-design
866
Model-free tracking control for vehicle active suspension systems
867
Model-free trajectory optimisation for wireless data ferries
868
Model-free trajectory optimization for wireless data ferries among multiple sources
869
Model-free tuning solution for sliding mode control of servo systems
870
Model-free unified tracking and regulation visual servoing of nonholonomic mobile robots
871
Model-free vision-based facial motion analysis in epilepsy
872
Model-free visual servoing on complex images based on 3D reconstruction
873
Model-Free Visually Servoed Deformation Control of Elastic Objects by Robot Manipulators
874
Model-free voltage stability assessments via singular value analysis of PMU data
875
Model-Free, Statistical Detection and Tracking of Moving Objects
876
ModelGen: Model Independent Schema Translation
877
Model-Groups Design Methods for Multiple-Model Estimation with Variable Structure
878
Model-Guided Adaptive Recovery of Compressive Sensing
879
Model-Guided Approaches for MaxSAT Solving
880
Model-Guided Empirical Optimization for Multimedia Extension Architectures: A Case Study
881
Model-guided labeling of coronary structure
882
Model-guided performance analysis of the sparse matrix-matrix multiplication
883
Model-guided performance tuning of parameter values: A case study with molecular dynamics visualization
884
Model-Guided Segmentation of 3D Neuroradiological Image Using Statistical Surface Wavelet Model
885
Model-guided segmentation of corpus callosum in MR images
886
Model-guided segmentation of opacified thorax vessels
887
Model-guided strip size selection for minimal execution time on imagine stream processor
888
Modelibra education
889
Modelica - a general object-oriented language for continuous and discrete-event system modeling and simulation
890
Modelica — A cyber-physical modeling language and the OpenModelica environment
891
Modelica based modeling of automotive transmission
892
Modelica hybrid modeling and efficient simulation
893
Modelica modeling language as a tool on control engineering education: Simulation of a two-tank system
894
Modelica Models Translation into Java Components for Optimization and DAE Solving Using Automatic Differentiation
895
Modelica-a language for physical system modeling, visualization and interaction
896
Modelica-enabled rapid prototyping of cyber-physical energy systems via the functional mockup interface
897
Modelig and Simulation of Hybrid RF Circuits Using a Versatile Compact Bondwire Model
898
Model-Implemented Fault Injection for Hardware Fault Simulation
899
Model-Independent Adaptive Fault-Tolerant Output Tracking Control of 4WS4WD Road Vehicles
900
Model-independent approach for Chirp Parameter Estimation employing collection of filters
901
Model-independent differences
902
Model-independent method for fMRI analysis
903
Model-independent recovery of object orientations
904
Model-independent rendezvous of Euler-Lagrange agents on directed networks
905
Model-independent robust adaptive fault-tolerant control for wind turbine power maximization
906
Model-independent sensorless control for non-salient PM Synchronous Motors at low speeds including standstill
907
Model-independent solution for active contact force control of pantographs in high-speed trains
908
Modeling
909
Modeling
910
Modeling
911
Modeling "Dog Bone" Gate Geometry n-Channel MOSFETs
912
Modeling "Just-in-Time" Communication in Distributed Real-Time Multimedia Applications
913
Modeling & Analysis Planar Transformer for Power ICs Application
914
Modeling & Measurement of Mutual Coupling Resulting from via Structures Within Printed Circuit Boards
915
Modeling & Measurements of EM Effects in Multichip Modules
916
Modeling & Monitoring of Product DPPM with Multiple Fail Modes
917
Modeling & Solving Flexible Job Shop Problem With Sequence Dependent Setup Times
918
Modeling & stabilization policies in financial systems
919
Modeling & analysis of transaction management for distributed database environment using Petri Nets
920
Modeling & characterizing stochastic actuator arrays
921
Modeling & Simulation - Development And Applications Of Compact Models For Advanced Circuit Design
922
Modeling & Simulation - Nanotubes, Nanowires, and Nanoribbons
923
Modeling & Simulation - Performance Analysis And Transport Modeling
924
Modeling & simulation to study the performance of hybrid free space optical/rf military communication networks
925
Modeling & analysis of cost effective high availability security architecture for whole of government systems to cater DDoS attack
926
Modeling & analysis of weld short faults of bar-wound propulsion IPM machine part I: Turn short
927
Modeling & analysis of weld short faults of bar-wound propulsion IPM machine part II: Phase-to-phase short
928
Modeling & control of a meat-cutting robotic cell
929
Modeling & control policy optimization of algae growth
930
Modeling & design for variability and reliability
931
Modeling & developing a single-drive robotic fish
932
Modeling & fault diagnosis system for electric vehicles
933
Modeling & measurement of track width induced spacing loss
934
Modeling & optimization of the FCC unit to maximize gasoline production and reduce carbon dioxide emissions in the presence of CO
2
emissions trading scheme
935
Modeling & PVT characterization of arbitrary ordered VSCP-PLL using an efficient event-driven approach
936
Modeling & simulating fading channels for systems with smart antennas
937
Modeling & simulating power line communications on civil aircraft: First steps
938
Modeling & Simulation Capability for Consequence Management
939
Modeling & simulation framework for the inclusion of simulation objectives by abstraction
940
Modeling & simulation of AC dielectrophoresis of SWCNTs
941
Modeling & simulation of educational multi-agent systems in DEVS-suite
942
Modeling & simulation of nanostructures for superhydrophobic coatings
943
Modeling & simulation of pulsed power magnetron
944
Modeling Δm curves using the complete-moving-hysteresis model
945
Modeling “what the opportunity is” in personal communications
946
Modeling (2-2) piezocomposites partially sliced in the polymer phase
947
Modeling (almost) periodic moving average processes using cyclic statistics
948
Modeling
nand
Flash Memories for IC Design
949
Modeling
Segmented-Ladder DACs
950
Modeling
SF
6
Circuit Breaker for Characterizing Shunt Reactor Switching Transients
951
Modeling
13
N-ammonia from projections in rat-PET studies
952
Modeling 1.4 GHz land surface brightness: what measure of vegetation temperature should be used?
953
Modeling 1/f Noise and Extraction of the Spice Noise Parameters Using a New Extraction Procedure
954
Modeling 1-3 composite piezoelectrics: hydrostatic response
955
Modeling 1-3 composite piezoelectrics: thickness-mode oscillations
956
Modeling 1-D FDTD transmission line voltage sources and terminations with parallel and series RLC loads
957
Modeling 20-nm Germanium FinFET With the Industry Standard FinFET Model
958
Modeling 21st century tactical communications networks
959
Modeling 2-D AR Processes With Various Regions of Support
960
Modeling 2-D forward-scan sonar imagery for diffuse reflectors
961
Modeling 2D image data by robust M-estimation
962
Modeling 2-D jets impinging on Stirling regenerators
963
Modeling 2-D Magnetostriction in Nonoriented Electrical Steels Using a Simple Magnetic Domain Model
964
Modeling 2D speckle images accounting for 3D strain effects
965
Modeling 2R regenerator based on High Nonlinear Dispersion Imbalanced Loop Mirror (HN- DILM)
966
Modeling 3-D complex buildings with user assistance
967
Modeling 3D Euclidean geometry
968
Modeling 3D human poses from uncalibrated monocular images
969
Modeling 3-D lung morphogenesis using fractal geometries and a boundary constraint
970
Modeling 3D of generator with hybrid excitation
971
Modeling 3D scanned data to visualize the built environment
972
Modeling 3D textured objects by fusion of multiple views
973
Modeling 3D tremor signals with a quaternion weighted Fourier Linear Combiner
974
Modeling 3D video user experience forwireless networks
975
Modeling 3GPP LTE Advanced DRX Mechanism Under Multimedia Traffic
976
Modeling 3-tiered Web applications
977
Modeling 40 Gb/s CSRZ-DPSK and RZ-DPSK trans-Atlantic transmission with dispersion slope compensation
978
Modeling 4D Human-Object Interactions for Event and Object Recognition
979
Modeling 6 MV gas switches for the ZR accelerator
980
Modeling 802.11 AP Usage through Daily Keep-Alive Event Counts
981
Modeling 802.11 mesh networks
982
Modeling 802.11e for data traffic parameter design
983
Modeling A 10 Gbit/s/port Shared Memory ATM Switch
984
Modeling a 3.5 Mev Induction Voltage Adder
985
Modeling a 3.5 MEV Induction Voltage Adder
986
Modeling a 3-D non-rigid virtual object by motion capture and its appearance in the real space
987
Modeling a bi-criteria two stage assembly flow shop scheduling problem with sequence dependent setup times
988
Modeling a biped robot on Matlab/SimMechanics
989
Modeling a bipedal humanoid robot using inverted pendulum towards push recovery
990
Modeling a Broadband Bismuth-Doped Fiber Amplifier
991
Modeling a buck-based switching amplifier for sinusoid wide band tracking by using a nonlinear time varying map
992
Modeling a bulk manufacturing system using Extend
993
Modeling a class of multilink manipulators with the last link flexible
994
Modeling a class of multi-port nonlinearities in wave digital structures
995
Modeling a class of priority-based ATM communication switch designs
996
Modeling A Code-Division Multiple-Access Network-on-Chip using SystemC
997
Modeling a Collaborative Answer Negotiation Activity Using IMS-Based Learning Design
998
Modeling a combination of projects selection system- using the Mahalanobis Taguchi system
999
Modeling a complete ontology for adaptive web based systems using a top-down five layer framework
1000
Modeling a complex antenna on a handheld telephone close to human tissue
