<< مقالات لاتين فني مهندسي >>
<< بر اساس عنوان >>
1
Specialised processor for channel allocation in a cellular mobile network
2
Specialised productionߞdiesel engine manufacture
3
Specialised theorem-proving in an intelligent tutoring system for the Dijkstra-Gries programming methodology
4
Specialising for High Performance FFT Algorithms Based on Fixed-Point DSP
5
Specialising in Software Engineering
6
Specialising in Software Engineering
7
Specialist discussion on developments in automatic turning machines
8
Specialist discussion on metal cutting, Stratford upon Avon, November, 1972
9
Specialist discussion on more effective managerial controls in manufacture, Meriden, February, 1973
10
Specialist divisions: new activities within the institution
11
Specialist exhibitions
12
Specialist Experts for Prediction with Side Information
13
Specialist power engineering programs for the rapid development of new graduate capabilities
14
Specialist show
15
Specialist tool for monitoring the measurement degradation process of induction active energy meters
16
SPECIALIST: A dynamic speed limit control algorithm based on shock wave theory
17
SPECIALIST-RM — Integrated variable speed limit control and ramp metering based on shock wave theory
18
Specialists on show
19
Specialists or Generalists?
20
Specialities of laser homodyne vibrometers work in pulse mode
21
Specialities of the FDL v. 1.0, the fronted description language
22
Specialization and diversification in cities: The evidence from China
23
Specialization and performance: Evidence from Chinese venture capital funds
24
Specialization and skill
25
Specialization as an optimal strategy under varying external conditions
26
Specialization classes: an object framework for specialization
27
Specialization for energy efficiency using agile development
28
Specialization L-preorder of stratified L-fuzzy convergence spaces
29
Specialization of keyword extraction approach to Persian texts
30
Specialization of the Cell SPE for Media Applications
31
Specialization patterns
32
Specialization versus generalization in neural network learning for ballistic interception movement
33
Specialization with clause splitting for deriving deterministic constraint logic programs
34
Specialization, fan-out, and multi-human/multi-robot supervisory control
35
Specialization: Times change, journals change
36
Specialized acoustic models for hyperarticulated speech
37
Specialized algorithms for spectrum surveys
38
Specialized analyser for electrical energy quality estimation in ship electrical power system
39
Specialized Apparatus for Testing Subway Cars
40
Specialized Aspect Languages Preserving Classes of Properties
41
Specialized battery emulator for automotive electrical systems
42
Specialized coal and pet-coke firing pipe design
43
Specialized compact external electro-optic modulating unit
44
Specialized container and string systems employment in vector graphics environment development
45
Specialized convolver & correlator design for PN sequence in Chinese DTMB system
46
Specialized cooperative economic organization of Chinese farmers: Growth model and implications
47
Specialized course "salary + bonus" assessment
48
Specialized Courses Required in Bio-Medical Engineering Science
49
Specialized custom circuits - Session 6
50
Specialized data neuroprocessors and diagnostics quasisteady objects based on cluster models
51
Specialized device - Slave - for monitoring the antihail systems
52
Specialized Digital Signal Processor for control of multi-rail/multi-phase high switching frequency power converters
53
Specialized Discourse: Linguistic Features and Changing Conventions
54
Specialized drive waveforms for the parametric acoustic source
55
Specialized dynamic optimizations for high-performance energy-efficient microarchitecture
56
Specialized Eigenvalue Methods for Large-Scale Model Order Reduction Problems
57
Specialized electrolytic grounding system for anechoic chamber
58
Specialized electron beam nanolithography for EUV and X-ray diffractive optics
59
Specialized Embedded DBMS: Cell Based Approach
60
Specialized File Transfer Service for Large Oil and Gas Datasets
61
Specialized Genetic Algorithm for Transmission Network Expansion Planning Considering Reliability
62
Specialized genetic algorithm of Chu-Beasley applied to the Distribution System Reconfiguration problem considering several demand scenarios
63
Specialized genetic algorithm to solve the electrical distribution system expansion planning
64
Specialized groups in local centres
65
Specialized hardware for deformable object modeling
66
Specialized hardware for real time navigation
67
Specialized healthcare network redeployment maximizing multiple stakeholders satisfaction using ant colony optimization
68
Specialized Heuristics for the Controller Placement Problem in Large Scale SDN Networks
69
Specialized I/O and High-Speed CPU Yields Efficient Microcontroller for Automotive Applications
70
Specialized knowledge acquisition tool support compared to manual development-a case study
71
Specialized language models using dialogue predictions
72
Specialized LED for medical instrument making
73
Specialized mappings and the estimation of human body pose from a single image
74
Specialized Meter of Parameters of Ultrasonic Oscillation Systems
75
Specialized microcircuits for communications systems and information processing
76
Specialized microcomputer-based perfusion system of multiple organs
77
Specialized microprocessor modules for the synchrotron automatic control system
78
Specialized Microwave Network Analyzer
79
Specialized MLP Classifiers to Support the Isolation of Patients Suspected of Pulmonary Tuberculosis
80
Specialized multiprobe multimeters in technological high power microwave plants
81
Specialized neural network and fuzzy logic algorithm in comparison for word frequency prediction in document filtering
82
Specialized N-modular redundant processors in large-scale distributed systems
83
Specialized non-heating chamber with spatially-homogeneous microwave energy distribution to support DBD-produced remote exposure atmospheric plasma processing for anti-microbial air decontamination
84
Specialized photolithography equipment and thick photo resist for wafer level packaging and wafer bumping
85
Specialized physiology-based channels for the detection of articulatory-acoustic events. A preliminary scheme and its performance
86
Specialized polymer concrete composite material for in-situ cleansing/improvement of transformer oil
87
Specialized polymer concrete material for in-situ cleansingamprovement of transformer oil
88
Specialized power electronics converter for channel-type industrial induction heating furnaces
89
Specialized ppe testing for electric arc hazards beyond heat exposure
90
Specialized predictive SVPWM current control of back-to-back converters for wind power generation systems
91
Specialized Program Module for Forming the Program Models of Behavior Algorithms of Information Systems
92
Specialized Pyrometer
93
Specialized receivers for three-phase contactless energy transfer desktop applications
94
Specialized remote patients´ diagnostic tool for treatment optimization
95
Specialized resource repository of ZADL—A case of co-construction and sharing of resources
96
Specialized Review Selection for Feature Rating Estimation
97
Specialized RFI filter for synthetic aperture radiometers and performance with 2D-STAR
98
Specialized Scanning Electron Microscopy Voltage Contrast Techniques for LSI Failure Analysis
99
Specialized software for fuzzy natural logic and fuzzy transform applications
100
Specialized system development
101
Specialized telecommunications system in the transmission of digital radiological images in hostile environments
102
Specialized telepathology electronic patient record based on JPEG 2000
103
Specialized temperature measuring systems in high precision devices
104
Specialized tools for biological assessment using split beam hydroacoustics
105
Specialized undergraduate pilot training system-an overview of systems development
106
Specialized Video and Physiological Data Coding System for Remote Monitoring
107
Specializing Compiler Optimizations through Programmable Composition for Dense Matrix Computations
108
Specializing object-oriented RPC for functionality and performance
109
Specializing the Java object serialization using partial evaluation for a faster RMI [remote method invocation]
110
Specially cast plastic scintillators developed by argonne laboratory
111
Specially Designed Driver Circuits to Stabilize LED Light Output Without a Photodetector
112
Specially doped LiNbO/sub 3/ crystal holography using a visible-light low-power laser diode
113
Specially patterned and aligned neural bundle formed by neural stem cell microfibers
114
Specially shaped reflector for constant secondary pattern multi-octave bandwidths
115
Special-Purpose AC Converter Systems for Constant Horsepower Applications
116
Special-purpose computer for 64-point FFT based on FPGA
117
Special-purpose computer for video signal processing in radar systems
118
Special-Purpose Computer Organization for Double-Precision Realization of Digital Filters
119
Special-purpose devices using techniques of discontinuous control and setting adjustment (DC&SA) in control applications
120
Special-purpose hardware architecture for neuromorphic computing
121
Special-purpose hardware for digital filtering
122
Special-Purpose Hardware in Cryptanalysis: The Case of 1,024-Bit RSA
123
Special-Purpose Orthonormal Basis Functions - Application to Motor Unit Action Potentials
124
Special-purposed VLIW architecture for IEEE-754 quadruple precision elementary functions on FPGA
125
Special-Relativistic Visualization
126
Specials of electrical wiring in Altium Designer & SolidWorks
127
Specialties [solar wings, oil spill avoidance, on-line patents]
128
Specialty fiber evaluation for in-building distribution of multiple-format OFDM radio signals
129
Specialty fiber gratings for sensing GAST (Gamma dose, axial strain and temperature)
130
Specialty fiber: novel fibers for devices
131
Specialty fibers
132
Specialty fibers as key components for dispersion management
133
Specialty fibers for 160, 320 and 640 Gb/s signal processing
134
Specialty fibers for fiber-optic sensors
135
Specialty fibers for optical amplifiers in communications
136
Specialty fibers for optical signal processing
137
Specialty Foundry technology and design enablement for RF, high performance analog, and power
138
Specialty high bandwidth multimode fiber for optical interconnection
139
Specialty high bandwidth multimode fiber for optical interconnection
140
Specialty Memories - Performance Through Architecture
141
Specialty microstructured fiber-based all-fiber devices for applications in the MID-IR
142
Specialty optical fiber
143
Specialty optical fibre for stabilising and enhancing electro-optic effect induced by poling
144
Specialty plastic molding for VRLA and other battery technologies
145
Specialty Static RAMs Fuel Development Of High Performance Architectures
146
Specialty technology for loT
147
Specialty technology for loT
148
Specialty wire for the coil winding industry
149
Specialty-fiber hybrid laser system: A ~1-mJ, 1-ns Output at a multi-kHz repetition rate
150
Speciated GA for optimal ensemble classifiers in DNA microarray classification
151
Speciated neural networks evolved with fitness sharing technique
152
Speciation analysis of arsenic in fruits and vegetables by high performance liquid chromatography-hydride generation-atomic fluorescence spectrometry with ultrasonic extraction
153
Speciation Analysis of Heavy Metals of Core Huoshaohei Sediments
154
Speciation and risk assessment of Cd, Zn, Pb, Cu and Ni in surface sediments of Dongdagou stream, Baiyin, China
155
Speciation as automatic categorical modularization
156
Speciation Measurements of Butyltins: Application to Controlled Release Rate Determination and Production of Reference Standards
157
Speciation of Cr(III) and Cr(VI) in the Presence of Chromium Azo Dye Acid Yellow 99 by Column Solid Phase Extraction
158
Speciation of Methyl- and Butyltin Compounds in the Great Bay Estuary (N.H.)
159
Speciation Techniques in Evolved Ensembles with Negative Correlation Learning
160
Speciation through Exaptation
161
Species abundance distribution model for real periphyton samples
162
Species area relations and information rich modelling of plant species variation
163
Species based evolutionary algorithms for multimodal optimization: A brief review
164
Species classification of submerged aquatic plants using acoustic images in shallow lakes
165
Species composition in a CO
2
laser discharge
166
Species composition in the CO
2
discharge laser
167
Species Densities And Hg/Na Ratio In AC Metal Halide Discharges
168
Species distribution and forest type mapping in Mexico
169
Species distribution modeling and prediction: A class imbalance problem
170
Species diversity and spatial variation of ephemeral community In the southern part of the Gurbantunggut Desert
171
Species evolve, individuals age
172
Species of DPSK & DQPSK
173
Species of information
174
Species selection of pre-amorphous implantation in Nickle Silicide process
175
Species Sensitive Distribution for Aquatic Biota Exposed to DDT
176
Species separation and field-penetration in a multi-component plasma
177
Species, dose and energy dependence of implant induced transient enhanced diffusion
178
Species-based differential evolution with switching search strategies for multimodal function optimization
179
Specific (bio-)chemical sensing with organic microlasers
180
Specific 2-D spectral estimation for wideband beamforming
181
Specific Absorption Calculation for Pilot Exposed to High Power Microwave
182
Specific absorption radiation measurement of anomalous Bessel-Hankel fields by base stations antennas
183
Specific Absorption Rate (SAR) distribution in human tissue with magnetic resonance
184
Specific Absorption Rate (SAR) estimation using near-field modal reconstruction from surface measurements in a curved phantom
185
Specific Absorption Rate (SAR) evaluation of biomedical telemetry textile antennas
186
Specific absorption rate (SAR) evaluation of human body model in the presence of radar wave radiation on a warship deck
187
Specific Absorption Rate (SAR) Evaluation of Textile Antennas
188
Specific absorption rate (SAR) in the head of Google glasses and Bluetooth user´s
189
Specific absorption rate (SAR) induced in human heads of various sizes when using a mobile phone
190
Specific Absorption Rate (SAR) Numerical Evaluation: a Critical Discussion
191
Specific Absorption Rate (SAR) on the Human Head as Function of Orientation of Plane Wave Radiation: FDTD-Based Analysis
192
Specific Absorption rate (SAR) Post-Processing Implementation: Numerical Approach [EM Programmer´s Notebook]
193
Specific Absorption Rate (SAR) safety assessment for Wireless Network after Next (WNaN) radio antennas
194
Specific Absorption Rate and Current Densities in the Human Eye and Head Induced by the Telemetry Link of an Epiretinal Prosthesis
195
Specific absorption rate and path loss in specific body location in heterogeneous human model
196
Specific absorption rate and temperature elevation in a subject exposed in the far-field of radio-frequency sources operating in the 10-900-MHz range
197
Specific absorption rate and temperature increases in the head of a cellular-phone user
198
Specific Absorption Rate Assessment Using Simultaneous Electric Field and Temperature Measurements
199
Specific absorption rate assessments based on a selective isotropic measuring system for electromagnetic fields
200
Specific Absorption Rate Distribution in a Full-Scale Model of Man at 350 MHz
201
Specific Absorption Rate Distribution in a Model of W at Various Polarizations
202
Specific absorption rate distribution on a human head model from inductive power coils
203
Specific Absorption Rate estimation from phase-less surfaces measurements in a curved phantom
204
Specific Absorption Rate Evaluation for Passengers Using Wireless Communication Devices Inside Vehicles With Different Handedness, Passenger Counts, and Seating Locations
205
Specific absorption rate evaluation for people using wireless communication device in vehicle
206
Specific Absorption Rate evaluation in apple exposed to RF radiation from GSM mobile towers
207
Specific absorption rate in a standard phantom containing a Deep Brain Stimulation lead at 3 Tesla MRI
208
Specific absorption rate in human fetus with fetal growth for RF far-field exposure
209
Specific absorption rate in human tissues: Accurate and approximated values
210
Specific absorption rate in human torso from microwave-based heart failure detection systems
211
Specific absorption rate in the human head due to different far field exposure sources
212
Specific Absorption Rate Measurement of Birdcage Coil for 3.0-T Magnetic Resonance Imaging System Employing Thermographic Method
213
Specific absorption rate of inductively powered brain implanted circuits
214
Specific Absorption Rate Reduced (SAR) Mobile Phone Antenna Designs
215
Specific absorption rate reduction based on outage probability analysis for wireless capsule endoscope with spatial receive diversity
216
Specific absorption rate reduction of multi-standard mobile antenna with double-negative metamaterial
217
Specific absorption rate study for wireless power links in brain-machine interface applications
218
Specific Absorption Rate toward human body of multiband fractal Koch textile antenna
219
Specific absorption rates (SARs) induced in head tissues by microwave radiation from cell phones
220
Specific absorption rates in a flat phantom in the near-field of dipole antennas
221
Specific absorption rates in muscle tissues for passive UHF RFID tag backscatter
222
Specific Absorption Rates in the Human Head Due to Circular Metallic Earrings at 1800MHZ
223
Specific absorption rates induced in a heterogeneous model of the human female urinary and reproductive systems
224
Specific absorption rates induced in head tissues by microwave radiation from cell phones
225
Specific Absorption Rates of Anatomically Realistic Human Models Exposed to RF Electromagnetic Fields From Mobile Phones Used in Elevators
226
Specific Absorption Rates of Energy in Man Models Exposed to Cellular UHF Mobile-Antenna Fields
227
Specific Academic Area based Automatic Query Expansion
228
Specific acoustic unit processing in concatenative Romanian speech synthesis used for talking agents
229
Specific actions for desertion reduction, competence identification and guidance for new students of an engineering program, a case study
230
Specific Analog Electronic Circuits Analysis Using PC-based Acquisition Card
231
Specific and label-free immunoglobulin G antibody detection using nano porous hydrogel photonic crystals
232
Specific antenna for Ultra Wide Band applications
233
Specific appearing of stimulated Raman scattering in dyed multiple scattering media
234
Specific applications of the transistor converter in excitation systems of synchronous generators
235
Specific arithmetics in radices +/-4
236
Specific articles on social questions
237
Specific attenuation and depolarisation in rain from 2-dimensional video disdrometer data
238
Specific azimuth self-calibration of PIGA of inertial platform system
239
Specific biomass indicator for tropical dense forests over hilly terrains derived from the P-band SAR coherency matrix
240
Specific boosting method for scientific discovery
241
Specific boundary problems as an analytic investigation of signal transmissions
242
Specific boundary resistance in Y/sub 1/Ba/sub 2/Cu/sub 3/O/sub 7-x//Au thin-film bilayer
243
Specific capacitance of Josephson tunnel junctions
244
Specific cell capture and temperature-mediated release using surface-immobilized aptamers in a microfluidic device
245
Specific CH
4
gas sensor based on tungsten carbide/SnO
2
core-shell modified interdigitated electrode
246
Specific changes detection in visible-band VHR images using classification likelihood space
247
Specific Characterization for Destructive Single Event Effects on GaAs Power P-HEMT MMIC
248
Specific charge measurements in electrostatic air sprays
249
Specific chromatic errors: A quality assessment
250
Specific Circuit for Solving Elliptic PDEs
251
Specific Circuits for HDTV Applications
252
Specific class extraction from remote sensing imagery based on nearest neighbor classification
253
Specific color-pair edge detection using quaternion convolution
254
Specific Comic Character Detection Using Local Feature Matching
255
Specific conditions for EMI filters measuring
256
Specific contact resistance measurements of metal-semiconductor junctions
257
Specific contact resistance measurements on C-Si solar cells by novel TLM method
258
Specific Contact Resistance of Phase Change Materials to Metal Electrodes
259
Specific contact resistivity measurement by a vertical Kelvin test structure
260
Specific contact resistivity of InGaAs/InP p-isotype heterojunctions
261
Specific contact resistivity of InGaAs/InP p-isotype heterojunctions
262
Specific contact resistivity of metal-semiconductor contacts-a new, accurate method linked to spreading resistance
263
Specific contact resistivity of n-type Si and Ge M-S and M-I-S contacts
264
Specific contact resistivity of TiSi
2
to P
+
and n
+
junctions
265
Specific Contact Resistivity of Tunnel Barrier Contacts Used for Fermi Level Depinning
266
Specific Contact Resistivity Reduction Through Ar Plasma-Treated TiO
2−x
Interfacial Layer to Metal/Ge Contact
267
Specific crossover and mutation operators for a grouping problem based on interaction data in a regional science context
268
Specific damage energy of dielectric materials as the universal characteristic of polymer insulation stability under the influence of surface partial discharges (phenomena, measurement, practical supplement)
269
Specific Data Model of Smart Fuel Consumption Cost Estimator
270
Specific design and implementation of a piezoelectric droplet actuator for evaporative cooling of free space
271
Specific Design and Optimization of JTAG IP Core
272
Specific design considerations for AC induction motors connected to adjustable frequency drives
273
Specific design rules for micro linear motors
274
Specific Detection of Alpha-Fetoprotein Using AlGaAs/GaAs High Electron Mobility Transistors
275
Specific detection of Escherichia coli by using metallic mesh sensor in THz region
276
Specific detection of topoisomerase i from the malaria causing P. falciparum parasite using isothermal Rolling Circle Amplification
277
Specific differences and similarities in the learning preferences of engineering students
278
Specific digital characterization system for dye sensitized solar cells
279
Specific Drivers for SOA in E-government: Challenges and Solutions
280
Specific dynamic features of flow of electrons in crossed fields
281
Specific electrodynamic features of a plasma channel created in gas by powerful femtosecond UV laser pulse application to the problem of guiding and amplification of microwave radiation
282
Specific emitter identification
283
Specific emitter identification (SEI) and classical parameter fusion technology
284
Specific emitter identification based on amplitude features
285
Specific emitter identification based on Hilbert-Huang transform-based time-frequency-energy distribution features
286
Specific Emitter Identification Based on Intrinsic Time-Scale Decomposition
287
Specific Emitter Identification for Cognitive Radio with Application to IEEE 802.11
288
Specific emitter identification using intrapulse data
289
Specific Emitter Identification using Nonlinear Device Estimation
290
Specific Emitter Identification using video signals
291
Specific Emitter Identification: Analysis on real radar signal data
292
Specific energy concept applied to the voltage sag ride-through capability of sensitive equipment in DG embedded systems
293
Specific engineering problems in rural electrification and electroagriculture
294
Specific Engineering Problems in Rural Electrification and Electroagriculture
295
Specific engineering problems in rural electrification and electroagriculture
296
Specific engineering problems in rural electrification and electroagriculture
297
Specific environmental sounds recognition using time-frequency texture features and random forest
298
Specific Equations for One and Two Section Quarter-Wave Matching Networks for Stub-Resistor Loads
299
Specific fabrication techniques of the Polo model coil and its components
300
Specific failure identification algorithms for the F-8
301
Specific Features of
Magnetooptics in Terbium Iron and Terbium Gallium Garnets (
MgB
2
Bulk Samples With and Without Additives
336
Specific Heat and Thermal Conductivity Measurement of XLPE Insulator and Semiconducting Materials
337
Specific heat capacity measurement at high temperature by thermal radiation calorimetry
338
Specific heat capacity of ultra-thin atomic layer deposition nanobridges for microbolometers
339
Specific heat in nanostructures by quantum mechanics
340
Specific heat measurement at low temperature by thermal radiation calorimetry
341
Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary
342
Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary
343
Specific heat of regenerative material RNi
2
system
344
Specific heat of solid dielectrics charged at room temperature
345
Specific heat studies of ErT/sub 4/Al/sub 8/ compounds
346
Specific heat study of /spl alpha/-(BEDT-TTF)/sub 2/MHg(SCN)/sub 4/
347
Specific heat study of some Nd-Fe-B magnets
348
Specific heat study of some Nd-Fe-B magnets
349
Specific Heat, A Method to Determine the T
c
Distribution in Industrial
Nb
3
Sn
Wires Prepared by Various Techniques
350
Specific Heat, Magnetization And C-isotope Y/sub 2/C/sub 2/(I,Br)/sub 2/ superconductors
351
Specific heats of a magnet wire varnish-enamel combination as a measure of thermal stability of the insulation system
352
Specific Heats of a Magnet-Wire-Varnish-Enamel Combination as a Measure of Thermal Stability of the Insulation System
353
Specific Heats of Composite Bi2212,
, and
Wire Co
354
Specific Human Capital and Optimal Design of Pension Plans
355
Specific Human Detection from Surveillance Video Based on Color Invariant Moments
356
Specific humidity forecasting using recurrent Neural Network
357
Specific Immunity Elicited by Cross-link Complex Alpha-fetoprotein and Glycoprotein 96
358
Specific interactions between functionalised particles and circulating tumour cells
359
Specific investigations to quantify heavy damage causes on loading resistor modules
360
Specific issues associated with high power levels in space
361
Specific Jacket SMA-Connected TO-Can Package FPLD Transmitter With Direct Modulation Bandwidth Beyond 6 GHz for 256-QAM Single or Multisubcarrier OOFDM up to 15 Gb/s
362
Specific kinematic changes in a linear-actuated parallel mechanism according to differences in actuator arrangement
363
Specific language modelling for new-word detection in continuous-speech recognition
364
Specific Length Trajectories Optimised for Maximum Acceleration using Conic Parameterised Clothoids
365
Specific LEO mission simulation with multi-cell batteries
366
Specific lighting spectrum matching by normalized correlation coefficient and generalized reduced gradient method
367
Specific local sites in activity of the brain during listening to music
368
Specific losses. A new possibility for PD evaluation
369
Specific material properties for voxels in FEM-based 3D model deformation
370
Specific materials based on mica papers for fire resistant cable production
371
Specific MCU design of On board Unit in Electronic Toll Collection system
372
Specific monitoring of neonatal brain function with optimized frequency bands
373
Specific Movement Detection in EEG Signal Using Time-Frequency Analysis
374
Specific nearby electronic scheme for multiplexed excitation and detection of piezoelectric silicon-based micromembranes resonant frequencies using FPGA technology
375
Specific noises in mesoscopic structures
376
Specific objectives of electrical engineering curricula at the undergraduate level
377
Specific of ride through solutions for electric submerisible pumps with adjustable speed drive
378
Specific ontology building on equipment maintenance support domain research
379
Specific opportunistic routing at road intersection in VANETs
380
Specific Optical Properties Of Multilayer Mirrors For Fel Experiments
381
Specific optimal estimation
382
Specific output of windmills—A discovery
383
Specific Overground Walking Kinematic Measures are Related to Degree of Spinal Injury in the Rat
384
Specific patterns of premature beats tend to initiate ventricular tachyarrhythmias in human patients
385
Specific pedestrian crossing traffic lights
386
Specific person recognition and tracking of mobile robot with Kinect 3D sensor
387
Specific persons surveillance using satellite technique
388
Specific power based optimal design of novel single phase PM BLDC motor using GA
389
Specific power capacity for estimating the allowable load and PVs installation
390
Specific power illustration of proposed 7T SRAM with 6T SRAM using 45 nm technology
391
Specific primary user sensing for wireless security in IEEE 802.22 network
392
Specific problems in smart power design
393
Specific problems of numerical analysis of the Josephson junction circuits
394
Specific problems of sliding contact in railgun. The influence of hall-effect in the micro-plasma of contact zone
395
Specific process models derived from extremely small data sets and general process models
396
Specific processing of the spontaneous EMG. Detection and classification of multiplets using self-organizing neural networks
397
Specific processor in FPGA for BLAKE algorithm
398
Specific properties and optical anisotropy parameters measurements of BaF
2
and SrF
2
materials
399
Specific Protein Detection in Multiprotein Coexisting Environment by Using LSPR Biosensor
400
Specific protocol (SENSLOG) over TCP/IP for sensors applications
401
Specific purpose Monte Carlo modelling of nuclear well logging tool responses
402
Specific PVMAT R&D on Siemens CZ silicon product manufacturing
403
Specific radar emitter identification based on a digital channelized receiver
404
Specific radar emitter recognition based on wavelet packet transform and probabilistic SVM
405
Specific removal of anti-A and anti-B antibodies using modified dialysis filters
406
Specific resistance
407
Specific resistance
408
Specific Resistance, Scattering Asymmetry, and Some Thermal Instability, of Co/Al, Fe/Al, and Co
91
Fe
9
/Al Interfaces
409
Specific Results of 7-Year Hydrometeor Attenuation Research at 58 GHz on an 850 m Terrestrial Path
410
Specific scheduling support to minimize the reconfiguration overhead of dynamically reconfigurable hardware
411
Specific short-circuit conditions in power plants with small generator units
412
Specific Single-Molecule Detection Based on Orbital Mediated Tunneling in Nanotube Double-Barrier Heterostructures
413
Specific spatial domain of a random laser
414
Specific spectral features of green to UV and violet up-conversion in Nd
3+
-doped fluorozirconate glass
415
Specific structural factors influencing on reliability of CVD-HfO/sub 2/
416
Specific structures for large-scale state estimation algorithms having information exchange
417
Specific system to make teaching materials for catheterization and interface improvement
418
Specific target recognition and segmentation algorithm for real-time side scan sonar images
419
Specific Techniques to Be Used in Developing Hi-Reliability Connector Specifications
420
Specific timestamp image recovery algorithm research based on SVG incremental storage
421
Specific time-varying digital filtering techniques for intra-operative monitoring of middle-latency and brainstem auditory evoked potential
422
Specific Timing System for the LASER MEGAJOULE Pulse Shaping Function
423
Specific tool for evaluation of eLearning
424
Specific Total Loss Components Under Axial Magnetization in Electrical Steel Sheets With Different Degree of Goss Texture
425
Specific total power loss measurements using an IEC single-sheet tester
426
Specific Touch Gesture on Mobile Devices to Find Attractive Phrases in News Browsing
427
Specific usage of a wire-grid polarizer for millimeter waves
428
Specific Versus Diverse Computing in Media Cloud
429
Specific vibration frequency detection based on hetero-core fiber optic sensing scheme for security environment monitoring
430
Specific Video Scenes Enlarged and Displayed on Mobile Phone Set
431
Specific video scenes enlarged and displayed on mobile phone set
432
Specific Web Spider Design for the Extraction of Unknown Chinese Words from BBS Corpus
433
Specifically Measurement Protections for High Voltage and High Power on Megajoule Laser
434
Specification & Enforcement of Access Control in Information & Communication Systems
435
Specification analysis and test data generation by solving Boolean combinations of numeric constraints
436
Specification and agreement for joint use of poles
437
Specification and allocation of reliability and availability requirements
438
Specification and analysis of a Bluetooth handoff protocol for real-time applications
439
Specification And Analysis Of A Security Management System
440
Specification and Analysis of Attribute-Based Access Control Policies: An Overview
441
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars
442
Specification and analysis of concurrent systems using STOCS model
443
Specification and Analysis of Dynamic Authorisation Policies
444
Specification and analysis of hardware designs using mCRL2
445
Specification and analysis of intercomponent communication
446
Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions
447
Specification and analysis of power-managed systems
448
Specification and Analysis of Power-Managed Systems
449
Specification and analysis of real-time problem solvers
450
Specification and analysis of real-time systems in Statecharts
451
Specification and analysis of soft real-time systems: quantity and quality
452
Specification and analysis of system architecture using Rapide
453
Specification and analysis of system level inter-component communication
454
Specification and analysis of the DCF and PCF protocols in the 802.11 standard using systems of communicating machines
455
Specification and analysis of the SNR high-speed transport protocol
456
Specification and analysis of timed and functional TRMCS behaviours
457
Specification and analysis of timing constraints for embedded systems
458
Specification and analysis of timing constraints in signal transition graphs
459
Specification and analytical procedure for 30 per cent hevea rubber insulating compound
460
Specification and Analytical Procedure for 30 Per Cent Hevea Rubber Insulating Compound
461
Specification and animation of a bank transfer
462
Specification and Application of SF6 Compressed Gas Insulated Switchgear A Utility´s Point of View
463
Specification and architecture supports for component adaptations on distributed environments
464
Specification and assessment of a fitness function for the creation of opportunistic networks
465
Specification and automated implementation of coordination protocols in distributed controls for flexible manufacturing cells
466
Specification and automated simulation-based verification of power requirements for system-on-chips
467
Specification and automatic generation of intelligent graphical interfaces
468
Specification and automatic prototype implementation of polymorphic objects in Turing using the TXL dialect processor
469
Specification and classification of role-based authorization policies
470
Specification and Composition of Student-Oriented Services
471
Specification and Construction of Control Flow Semantics
472
Specification and control of cooperative work in a heterogeneous computing environment
473
Specification and Control of Interface Responses to User Input in Rich Internet Applications
474
Specification and control of motion for kinematically redundant manipulators
475
Specification and coordination of a flexible manufacturing system
476
Specification and delivery of quality indicators in IP packet eXchange networks
477
Specification and description language (SDL)
478
Specification and Design Aspects of the Academic Researcher´s Assistant (ARA) Software for Mobile Devices
479
Specification and Design Considerations for Reliable Embedded Systems
480
Specification and Design Methodology for Real Time Embedded Systems [Book Review]
481
Specification and design of a fast-tuning stepped-frequency synthesizer for a short-range-SAR-system in the K-Band
482
Specification and design of a general purpose image processing chip
483
Specification and design of a new haptic interface for maxillo facial surgery
484
Specification and design of a new memory fault simulator
485
Specification and design of a prototype filter for filter bank based multicarrier transmission
486
Specification and design of a quasi-delay-insensitive Java card microprocessor
487
Specification and design of a radial vane silicon tracker for a new measurement of the muon anomalous magnetic moment g-2 and electric dipole moment at J-PARC
488
Specification and design of coordinated motions for autonomous vehicles
489
Specification and design of distributed hard real-time systems
490
Specification and design of electronic control units
491
Specification and design of embedded hardware-software systems
492
Specification and Design of Established Reliability Power Relays
493
Specification and design of input devices for teleoperation
494
Specification and design of mechanical sampling devices relative to telemetering system requirements
495
Specification and design of multi-million gate SOCs
496
Specification and design of transactions in information systems: a formal approach
497
Specification and Detection of SOA Antipatterns
498
Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic
499
Specification and development of a multimedia conferencing call model using distributed object oriented techniques
500
Specification and development of an equalizer-demodulator for wideband digital microwave radio signals
501
Specification and Development of Database Applications Based on Z and SQL
502
Specification and Efficient Computation of Passage-Time Distributions in GPA
503
Specification and enforcement of classification and inference constraints
504
Specification and Enforcement of Dynamic Authorization Policies Oriented by Situations
505
Specification and enforcement of object-oriented RBAC model
506
Specification and enforcement of separation-of-duty policies in role-base access control
507
Specification and evaluation of coating systems for power transformer radiators
508
Specification and Evaluation of Large Induction Motors in High Inertia Applications
509
Specification and execution of gateways in integrated architectures
510
Specification and execution of multiagent missions
511
Specification and execution of policies for grid service selection
512
Specification and formal verification of interconnect bus protocols
513
Specification and formal verification of power gating in processors
514
Specification and generation of a motion path for compliant motion
515
Specification and Generation of Learning Object Sequences for E-learning Using Sequence Feature Diagrams and Metaprogramming Techniques
516
Specification and identification of events for debugging and performance monitoring of distributed multiprocessor systems
517
Specification and implementation environment for neural networks using communicating sequential processes
518
Specification and implementation of a cryptocoprocessor for ISDN
519
Specification and implementation of a digital Hopfield-type associative memory with on-chip training
520
Specification and implementation of a distributed planning and information system for courses based on story driven modelling
521
Specification and Implementation of a Folding Parametric Operator to Assist Architectural Conception at the Drafting Stage
522
Specification and implementation of a reference grid for distribution network dynamics studies
523
Specification and implementation of a support platform for the accelerated development of technological products applying concurrent engineering
524
Specification and implementation of application-oriented languages
525
Specification and implementation of dynamic Web site benchmarks
526
Specification and Implementation of Multicast Congestion Control Stair Protocol: Use Case with Multimedia Ubiquitous Networks
527
Specification and Implementation of Mutual Exclusion
528
Specification and implementation of reconfigurable distributed applications
529
Specification and inference of fuzzy attributes
530
Specification and integration of software and reconfigurable hardware using Hardware Join Java
531
Specification and judging of high speed rotating machinery with AMB - A practical guideline for OEMS, EPC and end users
532
Specification and Judging of High-Speed Rotating Machinery With AMB—A Practical Guideline for OEMs, EPC, and End Users
533
Specification and management of extended transactions in a programmable transaction environment
534
Specification and management of QoS in imprecise real-time databases
535
Specification and management of QoS in real-time databases supporting imprecise computations
536
Specification and management of timing constraints in behavioral VHDL
537
Specification and Measurement of Oscillator Phase Noise Instability
538
Specification and Measurement of Receiver Sensitivity at the Higher Frequencies
539
Specification and measurement of the frequency versus temperature characteristics of crystal oscillators
540
Specification and method for solving complex motion and calibration tasks
541
Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems
542
Specification and modeling of dynamic, distributed real-time systems
543
Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks
544
Specification and modeling of QoS based on AADL
545
Specification and modeling: an industrial perspective
546
Specification and operation of 160 Gbit/s/port interface optical packet switch prototype with narrow-band optical code label processor and high extinction ratio optical buffer
547
Specification and Performance Evaluation of a Micromobility Protocol Based on Multicast Transmission
548
Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra
549
Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks
550
Specification and Performance of Passive Sonar Spectral Estimators
551
Specification and planning of UAV missions: a Process Algebra approach
552
Specification and programming
553
Specification and proof of a distributed recovery algorithm
554
Specification and Proof Techniques for Serializers
555
Specification and reasoning in SE projects using a Web IDE
556
Specification and refinement of a message router
557
Specification and refinement of probabilistic processes
558
Specification and Requirements for Uninterruptible Power Systems
559
Specification and Runtime Enforcement of Security Policies
560
Specification and simulation of a concurrent real-time system
561
Specification and simulation of microprocessor operations and parallel instructions
562
Specification and support for multidimensional DSP in the SILAGE language
563
Specification and synthesis in interval temporal logic
564
Specification and synthesis of a mixed-mode systems: Experiments in a VHDL environment
565
Specification and synthesis of a multimedia synchronizer
566
Specification and synthesis of bounded indirection
567
Specification and synthesis of control software for flexible manufacturing systems
568
Specification and synthesis of hardware checkpointing and rollback mechanisms
569
Specification and synthesis of hybrid automata for physics-based animation
570
Specification and synthesis of parallel hierarchical finite state machines for control applications
571
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
572
Specification and synthesis of sensory datasets in pervasive spaces
573
Specification and tasking in Ada
574
Specification and test of a mobile data system
575
Specification and testing of a comprehensive strategic analysis framework for distributed generation
576
Specification and testing of a comprehensive strategic analysis framework for distributed generation
577
Specification and testing of automotive powertrain control system software using CACSD tools
578
Specification and Testing of Consumer Linear Integrated Circuits
579
Specification and testing of the behavior of network management agents using SDL-92
580
Specification and validation of a control architecture for autonomous mobile robots
581
Specification and validation of a distributed transaction processing facility for the MMS applications
582
Specification and validation of a real-time parallel kernel using LOTOS
583
Specification and Validation of a Real-Time Simple Parallel Kernel for Dependable Distributed Systems
584
Specification and validation of a security policy model
585
Specification and validation of communications in client/server models
586
Specification and validation of control-intensive IC´s in hopCP
587
Specification and validation of distributed IP-based designs with JavaCAD
588
Specification and validation of dynamic systems using temporal logic
589
Specification and validation of information processing systems by process encapsulation and symbolic execution
590
Specification and validation of multimedia protocols using RT-LOTOS
591
Specification and validation of new control algorithms for electric drives using SpecC language
592
Specification and Validation of Protocols
593
Specification and validation of services and protocols for a public land mobile ISDN system
594
Specification and validation of time constraints with the HMS machines model
595
Specification and verification of a distributed real-time arbitration protocol
596
Specification and verification of agent interactions in matchmaking processes using FSP and FLTL
597
Specification and verification of an object request broker
598
Specification and verification of behavioural properties of fault diagnosis
599
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
600
Specification and verification of componentbased systems (SAVCBS) - {editorial}
601
Specification and verification of constraints in role based access control
602
Specification and verification of cryptographic protocols based on TCPL
603
Specification and Verification of Data-Centric Web Services
604
Specification and Verification of Digital Logic and PLCs using an Automaton Model with Delays
605
Specification and verification of digital systems using higher-order predicate logic
606
Specification and Verification of Dynamic Communication Systems
607
Specification and Verification of Dynamics in Cognitive Agent Models
608
Specification and Verification of LambdaRAM- A Wide-area Distributed Cache for High Performance Computing
609
Specification and verification of multi-agent applications using temporal Z
610
Specification and Verification of Multi-Agent Systems with a Property-Preserving Component-Based Methodology
611
Specification and Verification of Normative Texts Using C-O Diagrams
612
Specification and verification of policy using RAISE and modelchecking
613
Specification and Verification of Position Based Routing for Mobile Ad Hoc System
614
Specification and verification of quality requirements in distributed multimedia presentations
615
Specification and verification of real-time embedded systems using time-constrained reactive automata
616
Specification and verification of real-time properties using LOTOS and SQTL
617
Specification and verification of real-time requirements of fault diagnosis
618
Specification and verification of real-time systems using ACSR-VP
619
Specification and Verification of Safe Web Service Behavior Adaptation
620
Specification and verification of security properties of e-contracts
621
Specification and verification of SOC using PTL
622
Specification and Verification of Soft Error Performance in Reliable Internet Core Routers
623
Specification and verification of spatial data types with B-Toolkit
624
Specification and Verification of Switching Software
625
Specification and verification of system-level hardware designs using time diagrams
626
Specification and verification of technical plant behavior with symbolic timing diagrams
627
Specification and verification of the alternating bit protocol by temporal Petri nets
628
Specification and verification of the ASOS kernel
629
Specification and verification of the Co
4
distributed knowledge system using LOTOS
630
Specification and verification of the real-time synchronisation software for a modular independently driven high-speed machine
631
Specification and Verification of Time Properties in Distributed Automation Systems during Test Planning Phase
632
Specification and verification of timed automaton using meta-modeling and graph grammars
633
Specification and verification of timing properties of distributed real-time systems
634
Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata
635
Specification and verification of VLSI systems
636
Specification and verification technologies for communication software
637
Specification and verification using dependent types
638
Specification and-production techniques for portable software components
639
Specification approaches express different world hypotheses
640
Specification as a Product for Export
641
Specification back-propagation and its application to DC fault simulation for analog/mixed-signal circuits
642
Specification based digital compatible built-in test of embedded analog circuits
643
Specification based IDS for camouflaging wormhole attack in OLSR
644
Specification based prototyping of control systems
645
Specification Based Regression Testing Using Explicit State Space Enumeration
646
Specification Based Testing of Inheritance: A Framework of a Tool
647
Specification based testing with QuickCheck
648
Specification by example using graphical animation and a production system
649
Specification by-example of virtual agents behavior
650
Specification capture and yield enhancement in an interactive environment
651
Specification components: reusability at the HW/SW system specification level
652
Specification coverage aided test selection
653
Specification criticism via goal-directed envisionment
654
Specification design of planar feature based on the new generation geometrical product specification and verification
655
Specification development of robotic system for pesticide spraying in greenhouse
656
Specification directed module testing
657
Specification driven design of complex systems
658
Specification Driven Design of Phase Locked Loops
659
Specification driven synthesis of CMOS op-amps
660
Specification Enforcing Refinement for Convertibility Verification
661
Specification engineering and modular verification using a web-integrated verifying compiler
662
Specification extraction by symbolic execution
663
Specification for a police video enhancement system
664
Specification for a university department quality management system
665
Specification for common IEEE styles
666
Specification for Concurrency and Communication Characteristic of Grid Service Composition using Pi-calculus
667
Specification for Generic Enablers as Software
668
Specification for insulator testing: Covering inspection and tests of high-tension line insulators of porcelain, for over 25,000 volts
669
Specification for reactive bulk-synchronous programming
670
Specification for SystemC-AADL interoperability
671
Specification for User Modeling with Self-Observing Systems
672
Specification for Visual Requirements of Work-Centered Software Systems
673
Specification fragments with defined semantics to support SW-evolution
674
Specification guidelines to improve power quality immunity and reduce plant operating costs
675
Specification in a large industry consortium-the MOST approach
676
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application
677
Specification issues of secure systems
678
Specification Language for Transaction Level Assertions
679
Specification languages
680
Specification languages as front-ends towards the DEVS formalism
681
Specification languages at different stages in the software life-cycle
682
Specification languages-assessment and trends
683
Specification level interoperability
684
Specification matching of object-oriented components
685
Specification matching of state-based modular components
686
Specification Meta Systems
687
Specification method based on temporal SADT and deterministic/stochastic Petri nets. Application to safety assessment
688
Specification methodology applied to the GSM system
689
Specification mining in concurrent and distributed systems
690
Specification mining in concurrent and distributed systems
691
Specification Model for Avoiding Miss-Detection of Feature Interactions
692
Specification Model of Paragraph Summarization by Verbal Relationships: Objective, Cause, Consequence, Concurrence
693
Specification modeling and validation applied to a family of network security products
694
Specification modeling and validation applied to network security gateways
695
Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata
696
Specification of a batch plant using process algebra and Petri nets
697
Specification of a class of discrete event processes and their controllers
698
Specification of a collaborative framework for equipment suppliers´ integration in product development process
699
Specification of a collision-free CSMA MAC protocol for wireless LANs: The CANlike protocol
700
Specification of a computer aided design system
701
Specification of a configurable general-purpose protocol processor
702
Specification of a control system fitness function using constraints for genetic algorithm based design methods
703
Specification of a Convergent Referential Platform for the New Generation of Wireless Networks
704
Specification of a coprocessor for efficient access of data structures
705
Specification of a functional architecture for e-learning supported by wireless technologies
706
Specification of a gas station using a formalism integrating formal datatypes within state diagrams
707
Specification of a Knowledge Crossroads for a Productive and Optimised Design
708
Specification of a MIB XML for systems management
709
Specification of a multipoint congram-oriented high performance internet protocol
710
Specification of a polar sigma delta architecture for mobile multi-radio transmitter - validation on IEEE 802.16e
711
Specification of a Policy Based Network Management architecture
712
Specification of a query language for multimedia database systems
713
Specification of a rapid prototyping capability for the automated patent system
714
Specification of a Scilab meta-computing extension
715
Specification of a secured multi-server MMS protocol
716
Specification of a technology portable logic cell library for RSFQ: an automated approach
717
Specification of a video test imagery library (VITAL)
718
Specification of a Voting Service Provider
719
Specification of a wavelet for multiscale analysis of discrete boundary
720
Specification of A/D and D/A converters for FDM telephone signals
721
Specification of abstract data types using real-time process algebra (RTFA)
722
Specification of Access Control Policies for Web Services
723
Specification of acoustic output level and measurement uncertainty in ultrasonic exposimetry
724
Specification of adaptable model migrations
725
Specification of adaptive aiding systems
726
Specification of Adaptive Client-Tailored Product Models
727
Specification of adaptive HW/SW systems in SystemC
728
Specification of Agent in Complex Adaptive System
729
Specification of an access control system with a formalism combining CCS and CASL
730
Specification of an active force control tool for performing deburring and chamfering on a robot platform
731
Specification Of An Inertial Measurement Unit For The DLR Airborne Synthetic Aperture Radar, Z-bar
732
Specification of an ISDN Q.931 protocol entity using the LOTOS formal description technique
733
Specification of an overvoltage damping filter for the National Railways of Zimbabwe
734
Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols
735
Specification of ATM systems - experiences of RM-ODP
736
Specification of attribute relations for access control policies and constraints using Policy Machine
737
Specification of behavioural embodied agents
738
Specification of Bipolar LSI Device Input States for Latchup Testing
739
Specification of Bipolar Lsi Device Input States for Latchup Testing
740
Specification of camera parameters for virtual keyboard
741
Specification of cell dispersion in ATM networks
742
Specification of channel codes types using the PSD and histogram attributes of the received signal
743
Specification of composite trading activities in supply chain management
744
Specification of concurrently executable modules and distributed modular systems
745
Specification of constraints in business flow
746
Specification of control goals for mechanical systems as function minimization problem
747
Specification of cooperative constraints in virtual enterprise workflow
748
Specification of coordinated objects and verification of their temporal properties
749
Specification of customer and user requirements in industrial control system procurement projects
750
Specification of customizable business components
751
Specification of decision-making and control flow branching in Topological Functioning Models of systems
752
Specification of design patterns using real-time process algebra (RTPA)
753
Specification of deterministic execution timing schema for parallel programs on a multiprocessor
754
Specification of diagram editors providing layout adjustment with minimal change
755
Specification of distributed systems using multi-Level Petri nets
756
Specification of distributed systems with a combination of graphical and formal languages
757
Specification of distributed systems with actors using object-oriented Petri nets
758
Specification of distribution functions for magnetic hysteresis modeling
759
Specification of driving constraints for dynamics simulation of a parallel-serial manipulator
760
Specification of Dynamic Fault Tree Concepts with Stochastic Petri Nets
761
Specification of dynamic structure cellular automata & agents
762
Specification of e-Health system using Z: A motivation to formal methods
763
Specification of E-LOTOS system in the E-DART environment
764
Specification Of Embedded, Real-time Systems
765
Specification of error amplifiers for use in feedforward transmitters
766
Specification of events and states in complex systems
767
Specification of EX`e¿ enclosures for electrical equipment for use in hazardous atmospheres
768
Specification of exception handling in grammar-based hardware synthesis
769
Specification of expert systems
770
Specification of Fair Data Practice Principles Using Privacy Policy Languages
771
Specification of fault current limitation level for FCLs in power systems
772
Specification of fault-tolerant system issues by predicate/transition nets and regular expressions-approach and case study
773
Specification of FMS real-time control based on Petri nets with objects and process failure monitoring
774
Specification of force-controlled actions in the “task frame formalism”-a synthesis
775
Specification of Forms Processing and Business Procedures for Office Automation
776
Specification of Function Block Applications with UML
777
Specification of GIS substations and equipment
778
Specification of GIS Substations and Equipment
779
Specification of GNSS application for multiprocessor platform
780
Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language
781
Specification of hard real-time industrial automation systems with UML-PA
782
Specification of high resolution graphics man/machine interface for British Rail´s electric traction power supply network SCADA systems
783
Specification of Holistic Mechatronic Objects Based on Semantic Web Technology
784
Specification of Housing Bubbles Based on Time-Varying Present Value Model: A Case of China
785
Specification of hybrid systems in cTLA+
786
Specification of image acquisition parameters for stereo panoramas
787
Specification of industrial digital controllers with object-oriented Petri nets
788
Specification of interface behavior for the automatic generation of bus-interface models
789
Specification of interface components for synchronous data paths
790
Specification of interfering programs based on interconditions
791
Specification of internal sensor noise to meet SAR motion compensation requirements
792
Specification of invocable semantic Web resources
793
Specification of iterators
794
Specification of Key Distribution Protocols for Networks
795
Specification of learning trails in virtual courses
796
Specification of long term reliability of frequency control products
797
Specification of management information systems combining data modeling and structured analysis
798
Specification of manufacturing systems controllers using the standard IEC61499
799
Specification of mCRM Enterprise Applications to Support IT-Consultants
800
Specification of meteorological data requirements for a wind power infeed model used in power system simulator
801
Specification of minimum short circuit capacity for three-phase unbalance evaluation of high-speed railway power system
802
Specification of mixed bilinear time series models
803
Specification of Models Based on Contexts using Graph Grammars
804
Specification of modular systems
805
Specification of Multi-Agent Systems in the Gamma Language
806
Specification of multiple AUV strategies for search of freshwater oceanic sources
807
Specification of Network Services and Mapping Algorithms
808
Specification of non-functional intellectual property components
809
Specification of non-functional requirements for contract specification in the NGOSS framework for quality management and product evaluation
810
Specification of order and reliability in SMIL documents
811
Specification of performance problems in MPI programs with ASL
812
Specification of polarization parameters for optimal-performance in rain of dual circularly polarized radio links
813
Specification of Production Systems using PPN and Sequential Operation Charts
814
Specification of radio relay equipment for road tunnels
815
Specification of Rating Function of Online Charging System in 3GPP IP Multimedia System (IMS) Environment
816
Specification of real time control systems by means of sequential function charts
817
Specification of Realizable Service Conversations Using Collaboration Diagrams
818
Specification of real-time broadcast networks
819
Specification of real-time distributed database systems
820
Specification of real-time interaction constraints
821
Specification of real-time properties for UML models
822
Specification of real-time systems in real-time temporal interval logic
823
Specification of real-time systems using a timed automata model with shared variables and verification of partial-deadlock freeness
824
Specification of realtime systems using ASTRAL
825
Specification of role and attribute transitions for secure information system access
826
Specification of rolling stock power capacity
827
Specification of rotor side voltage source inverter of a doubly-fed induction generator for achieving ride-through capability
828
Specification of Safety Functions
829
Specification of sampled data system timing parameters for hard-real-time avionics systems
830
Specification of SA-RBAC Policy Based on Colored Petri Net
831
Specification of secure distributed collaboration systems
832
Specification of security constraint in UML
833
Specification of service level agreements, clarifying concepts on the basis of practical research
834
Specification of signboard region and extraction of characters from scene picture
835
Specification of SLA survivability requirements for optical path protected connections
836
Specification of smart instruments for distributed intelligent control
837
Specification of Software Component Requirements Using the Trace Function Method
838
Specification of Software Controlling a Discrete-Continuous Environment
839
Specification of software for emergency shutdown system of an offshore installation
840
Specification of software process measurement
841
Specification of spatial integrity constraints in pictorial databases
842
Specification of static auxiliary converters for rolling stock
843
Specification of stochastic properties with CSP
844
Specification of synchronization by means of constraints
845
Specification of synchronization in multimedia conferencing services using the TINA life-cycle model
846
Specification of synchronization requirements for distributed multimedia systems
847
Specification of Synchronizing Processes
848
Specification of syntax directed editors for visual languages: a syntax-directed approach
849
Specification of System of Systems for Policymaking in The Energy Sector
850
Specification of technical plant behavior with a safety-oriented technical language
851
Specification of test rules for vehicle comfort systems with formalized models and methods
852
Specification of the ADC interface for an interference robust UWB impulse radio
853
Specification of the broadband user-network interface
854
Specification of the bump on the disk surface by deviation of impulse force
855
Specification of the database behavior through the active object paradigm
856
Specification of the DRM and the time for preventive maintenance for an aging resource
857
Specification of the dynamic response of NPN
−
N power transistors
858
Specification of the Geometric Regularity Model for Fuzzy
If-Then
Rule-Based Deinterlacing
859
Specification of the Ionization Potential of AlI
860
Specification of the linear feedback system sensitivity function
861
Specification of the middle-latitude ionosphere´s parameters for increase of calculation´s authenticity of fading depth at transionospheric propagation
862
Specification of the military precedence and preemption in the DS-TE networks
863
Specification of the MIL-Standard 1553 protocol using systems of communicating machines
864
Specification of the observation model for regularized image up-sampling
865
Specification of the radiation belt slot region: comparison of the NASA AE8 model with TSX5/CEASE data
866
Specification of the RTPA grammar and its recognition
867
Specification of the structure and behaviours of a robotic system able to determine object convexity
868
Specification of the theory of telecommunication system devices on the basis of field effect transistors
869
Specification of the UNIX Filing System
870
Specification of timed finite state machine in Z for distributed real-time systems
871
Specification of timing constraints for controller synthesis
872
Specification of traces in the security protocols analysis
873
Specification of Transistor Parameters for Broadcast Receiver Design
874
Specification of transmission tower structure for following surge protection simulation
875
Specification of UML Model Transformations
876
Specification of user-configurable communication aids
877
Specification of user-interfaces using CRUISE/OBSERV
878
Specification of variable frequency drive systems to meet the new IEEE 519 standard
879
Specification of variable frequency drive systems to meet the new IEEE 519 standard
880
Specification of video-on-demand service using object oriented technique
881
Specification partitioning for system design
882
Specification Patterns for Formal Web Verification
883
Specification patterns for probabilistic quality properties
884
Specification patterns for time-related properties
885
Specification patterns from research to industry: A case study in service-based applications
886
Specification quality [formal SDL and signalling]
887
Specification refinement using transformation-based tools
888
Specification requirement of temporal HILS environment for RCP of DMS
889
Specification scheme for the visualisation of data structures
890
Specification sensitivity and its use in system design
891
Specification slicing in formal methods of software development
892
Specification Synthesis for Monitoring and Analysis of MANET Protocols
893
Specification techniques for data abstractions
894
Specification test compaction for analog circuits and MEMS [accelerometer and opamp examples]
895
Specification test coverage adequacy criteria = specification test generation inadequacy criteria
896
Specification test minimization for given defect level
897
Specification transformations and design for testability
898
Specification versus reality: Experimental evaluation of link capacity estimation in IEEE 802.11
899
Specification with Java IDL for Correctness and Maintainability of Distributed Software System
900
Specification, analysis and generation of a reusable FMS flight planning architecture
901
Specification, analysis and implementation of architectural patterns for dependable software systems
902
Specification, Analysis and Testing of Grid Environments Using Abstract State Machines
903
Specification, analysis, and prototyping of mobile systems
904
Specification, assembly and configuration of autonomous multi-rotors
905
Specification, design and implementation of a digital binary image processing ASIC
906
Specification, Design and Implementation of a Reuse Repository
907
Specification, Design, and Calibration of the Space Weather Suite of Instruments on the NOAA GOES-R Program Spacecraft
908
Specification, design, and implementation of an interactive conferencing system
909
Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design
910
Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. II. Design and implementation
911
Specification, Evaluation And Selection Of A Host/array System
912
Specification, hardware implementation and prototyping environment for image processing algorithms
913
Specification, modeling and design tools for system-on-chip
914
Specification, modelling and verification of concurrent discrete event systems
915
Specification, operation and maintenance of GIS
916
Specification, partitioning and design of a DAB channel decoder
917
Specification, performance, testing and qualification of extra-heavy-duty connectors for high-voltage applications
918
Specification, performance, testing and qualification of extra-heavy-duty connectors for high-voltage applications
919
Specification, planning, and synthesis in a VHDL design environment
920
Specification, safety and reliability analysis using stochastic Petri net models
921
Specification, selection and development of a CAD system for power station project engineering
922
Specification, Selection, and Maintenance of Foreign Electrical Equipment
923
Specification, simulation, and synthesis of self-timed circuits
924
Specification, Synthesis, and Simulation of Transactor Processes
925
Specification, treatment and properties of soft irons for electromagnetic relays
926
Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors
927
Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model
928
Specification, Verification and Implementation of Business Processes Using CSP
929
Specification, verification and implementation of OSI X.25/FR gateway based on high-level Petri nets
930
Specification, verification and simulation of a wireless LAN protocol: MACAW
931
Specification-Based Approach to Select Regression Test Suite to Validate Changed Software
932
Specification-based browsing of software component libraries
933
Specification-based class testing with ClassBench
934
Specification-based class testing: a case study
935
Specification-based code generation
936
Specification-based component retrieval by means of examples
937
Specification-based computing environments for information management
938
Specification-based data reduction in dimensional data warehouses
939
Specification-Based Denial-of-Service Detection for SIP Voice-over-IP Networks
940
Specification-based design of ΣΔM for A/D and D/A conversion
941
Specification-based IDS for securing RPL from topology attacks
942
Specification-based incremental testing of object oriented systems
943
Specification-Based Intrusion Detection for Advanced Metering Infrastructures
944
Specification-based intrusion detection for H.323-based voice over IP
945
Specification-based Intrusion Detection for home area networks in smart grids
946
Specification-Based Intrusion Detection in WLANs
947
Specification-based retrieval strategies for component architectures
948
Specification-based retrieval strategies for module reuse
949
Specification-Based Software Engineering with TAGS
950
Specification-based Synthesis of Tailor-made Grid Service Wrappers for Scientific Legacy Codes
951
Specification-based Test Generation and Optimization Using Model Checking
952
Specification-based test oracles for reactive systems
953
Specification-based test oracles with JUnit
954
Specification-based testing for real-time avionic systems
955
Specification-based testing for real-time reactive systems
956
Specification-based testing for refinement
957
Specification-based Testing Method Using Testing Flow Graphs
958
Specification-based testing of Ada units with low encapsulation
959
Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria
960
Specification-based Testing of Reactive Software: Tools and Experiments Experience Report
961
Specification-based testing with buchi automata: Transition coverage criteria and property refinement
962
Specification-based testing with linear temporal logic
963
Specification-Based Unit Testing of Publish/Subscribe Applications
964
Specification-based verification and validation of Web services and service-oriented operating systems
965
Specification-centered robustness
966
Specification-correct and Scalable Coordination of Scientific Applications in Grid Environments
967
Specification-driven automated testing of java swing GUIs using XML
968
Specification-driven monitoring of TCP/IP
969
Specification-driven test design for analog circuits
970
Specification-driven test generation for analog circuits
971
Specification-driven testbench development for synchronous parallel-pipeline designs
972
Specification-guided Golden Run for Analysis of Robustness Testing Results
973
Specification-led design for interface simulation, collecting use-data, interactive help, writing manuals, analysis, etc
974
Specificationof change points of failure rate or intensity function: A non-parametric approach
975
Specification-Oriented Orchestration
976
Specifications
977
Specifications and Design of a PM Electric Variable Transmission for Toyota Prius II
978
Specifications and FPGA implementation of a systolic Hopfield-type associative memory
979
Specifications and maintenance of girth gears
980
Specifications and measurements of service areas coverage for mobile radio systems
981
Specifications and Rapid Prototyping of Multi-agent Systems through Coloured Petri Net Represented in Abductive Logic Programming (CPN-LP)
982
Specifications and standards for the electric warship
983
Specifications and Standards Germaine to Frequency Control [breaker page]
984
Specifications and Standards Germaine to Frequency Control [breaker page]
985
Specifications and Standards Germaine to Frequency Control [breaker page]
986
Specifications and Standards Germaine to Frequency Control [breaker page]
987
Specifications and Standards Germaine to Frequency Control [breaker page]
988
Specifications and Standards Germaine to Frequency Control [breaker page]
989
Specifications and Standards Germaine to Frequency Control [breaker page]
990
Specifications and Standards Germane to Frequency Control
991
Specifications and Standards Germane to Frequency Control
992
Specifications and Standards Germane to Frequency Control
993
Specifications and Standards Germane to Frequency Control
994
Specifications and Standards Germane to Frequency Control
995
Specifications and standards scene [HV switchgear]
996
Specifications and standarts of the digital TV broadcast
997
Specifications and verification of network protocols by process algebra
998
Specifications and yields of composite magnetic films for a high-density memory
999
Specifications are (preferably) executable
1000
Specifications correction algorithm by the position of multicoordinate servo drive