<< مقالات لاتين فني مهندسي >>
<< بر اساس عنوان >>
1
Symbol error probabilities for general Cooperative links
2
Symbol error probabilities for general cooperative links
3
Symbol Error Probabilities for M-ary CPFSK: Coherent and Noncoherent Detection
4
Symbol Error Probability Analysis for Multihop Relaying over Nakagami Fading Channels
5
Symbol error probability analysis of a multiuser detector for M-PSK signals based on successive cancellation
6
Symbol Error Probability Analysis of an FFH/MFSK Receiver with Noise-Normalization Combining in a Fading Channel with Partial-Band Jamming
7
Symbol Error Probability Analysis of L-Branch Maximal-Ratio Combiner for Generalized eta-mu Fading
8
Symbol error probability analysis of MIMO-relay multiplexing scheme in IEEE 802.16j systems
9
Symbol error probability analysis of the Decode and Forward relaying over the composite fading multipath/shadowing channels
10
Symbol Error Probability and Channel Capacity for Multiuser Diversity of Amplify-and-Forward Cooperative Networks
11
Symbol error probability and effective capacity of an underlay CRN over α-μ fading channels
12
Symbol Error Probability Bounds for Coherently Viterbi Detected Continuous Phase Modulated Signals
13
Symbol error probability bounds for CPM signaling over AWGN channels
14
Symbol error probability for double selection/equal gain combining of branches in a Rayleigh fading environment without channel statistical information
15
Symbol error probability for guided scrambling over a recording channel
16
Symbol error probability for guided scrambling over a recording channel
17
Symbol error probability for rectangular M-QAM OFDM transmission over Rayleigh fading channels
18
Symbol Error Probability for Space-Time Block Codes Over Spatially Correlated Rayleigh Fading Channels
19
Symbol error probability of cross QAM in rayleigh fading channels
20
Symbol Error Probability of Distributed-Alamouti Scheme in Wireless Relay Networks
21
Symbol error probability of hop-by-hop beamforming in Nakagami-m fading
22
Symbol error probability of low-order orthogonal signalings in Rayleigh fading with general diversity combining
23
Symbol error probability of M-PSK multiuser detector using successive cancellation
24
Symbol Error Probability of M-QAM in Multihop Communication Systems with Regenerative Relays
25
Symbol error probability of non-coherent M-ary frequency shift keying with postdetection selection and switched combining over Hoyt fading channel
26
Symbol error probability of non-coherent MFSK with square-law diversity combining in generalized η — μ fading channels
27
Symbol Error Probability of QAM with MRC Diversity in Two-Wave with Diffuse Power Fading Channels
28
Symbol Error Probability of Rectangular QAM in MRC Systems With Correlated
–
Fa
29
Symbol error probability of time spread PPM signals in the presence of interference
30
Symbol error probability of two-dimensional signaling in Ricean fading with imperfect channel estimation
31
Symbol Error Probability of Two-Way Amplify-and-Forward Relaying
32
Symbol Error Rate Analysis and Antenna Selection in Limited Feedback Distributed Antenna Systems
33
Symbol error rate analysis and power allocation for decode and forward relaying with channel estimation error
34
Symbol error rate analysis for colour-shift keying modulation in visible light communication system with RGB light-emitting diodes
35
Symbol error rate analysis for cooperative diversity networks by distributed embedded space time code
36
Symbol Error Rate Analysis for Cooperative Diversity Networks in Raighlay Channels
37
Symbol error rate analysis for MPSK under Rician fading channels with fading compensation based on time correlation
38
Symbol error rate analysis for M-QAM modulated physical-layer network coding with phase errors
39
Symbol error rate analysis in multiuser underlay cognitive radio systems
40
Symbol error rate analysis of cooperative cellular communication
41
Symbol Error Rate Analysis of Joint Diversity System With Channel Estimation Error
42
Symbol Error Rate Analysis of MIMO Dual-Hop Amplify-and-Forward Relaying Systems with Transmit and Receive Beamforming
43
Symbol error rate analysis of multiple-input multiple-output maximal ratio combining systems with self-interference and co-channel interference
44
Symbol error rate analysis of relay-based wireless systems
45
Symbol Error Rate Analysis of Spatially Correlated Keyhole MIMO Channels with Space-Time Block Coding and Linear Precoding
46
Symbol error rate analysis of transmit beamforming systems under delayed and limited feedback
47
Symbol Error Rate Calculation for Alamouti Space Time Coded OFDM in Direct Conversion Receivers
48
Symbol error rate comparisons of star MQAM schemes based on equal cubic metric
49
Symbol error rate curves for
M
-QAM signals with multiple cochannel interferers
50
Symbol error rate evaluation for OFDM systems with MPSK modulation
51
Symbol error rate evaluation of satellite mobile communication channels
52
Symbol error rate for Ricean fading channel with random K parameter
53
Symbol error rate of amplify-and-forward distributed space-time codes over nakagami-m fading channel
54
Symbol Error Rate of Decode-and-Forward Relaying in Two-Wave with Diffuse Power Fading Channels
55
Symbol Error Rate of MIMO Broadcast Scheduling Systems with Partial Channel State Information
56
Symbol Error Rate of MPSK Over EGK Channels Perturbed by a Dominant Additive Laplacian Noise
57
Symbol Error Rate of MPSK with Multihop Regenerative Relays
58
Symbol Error Rate of Multi-Relay Decode-and-Forward Cooperative Communication Systems under Nakagami-m Fading
59
Symbol Error Rate of OFDM Systems with Carrier Frequency Offset and Channel Estimation Error in Frequency Selective Fading Channels
60
Symbol Error Rate of Rectangular QAM with Best-Relay Selection in Cooperative Systems over Rayleigh Fading Channels
61
Symbol error rate of selection amplify-and-forward relay systems
62
Symbol error rate of selective cooperation in Nakagami-m environments
63
Symbol Error Rate of Space - Time Network Coding in Nakagami-m Fading
64
Symbol Error Rate of Space-Time Coded Multi-Antenna Wireless Cooperative Networks
65
Symbol error rate of the dm-mpsk under the influence of jamming signals
66
Symbol error rate of two-way decode-and-forward relaying with co-channel interference
67
Symbol Error Rate of Wireless Multiuser Relay Networks in Nakagami-m Fading Channels
68
Symbol error rate performance for macrodiversity maximal ratio combining in flat Rayleigh fading
69
Symbol error rate performance of M-ary NCFSK with S + N selection combining in Rician fading
70
Symbol error rate performance of QPSK receivers over two-wave with diffuse power fading channels
71
Symbol error rate prediction for mobile receivers in urban single frequency networks
72
Symbol Error Rates of Maximum-Likelihood Detector: Convex/Concave Behavior and Applications
73
Symbol error rates of MPSK and MDPSK for optimum combining with multiple interferers in a Rayleigh fading channel
74
Symbol error-correcting codes for computer memory systems
75
Symbol estimation for MIMO underwater acoustic communication based on multiplicative noise model
76
Symbol for the decibel
77
Symbol generation and feature selection for reinforcement learning agents using affordances and U-Trees
78
Symbol generator for a graphical-display system
79
Symbol graph based discriminative training and rescoring for improved math symbol recognition
80
Symbol Grounding for Semantic Image Interpretation: From Image Data to Semantics
81
Symbol grounding transfer with hybrid self-organizing/supervised neural networks
82
Symbol Insertion: A Low-Complexity Joint Peak Power Reduction and Forward Error Correction for Single-Carrier Systems
83
Symbol interleaved parallel concatenated trellis coded modulation
84
Symbol Interleaver Design in Gigabit Wireless Communications Systems
85
Symbol Interval Optimization for Molecular Communication With Drift
86
Symbol Knowledge Extraction from a Simple Graphical Language
87
Symbol level equalizer-based receiver for downlink MAI suppression in CDMA systems
88
Symbol level iterative soft decision decoder for Reed-Solomon codes based on parity-check equations
89
Symbol Loss Probability of OFDMA Technique in Mobile Multi-Hop Relaying Systems
90
Symbol LU method of large scale sparse linear equations
91
Symbol Manipulating Techniques
92
Symbol MAP detection aided with first channel estimate for TDMA systems over a frequency selective channel
93
Symbol mapping and context filtering for lossless image compression
94
Symbol Mapping Diversity and Power Adjustment for High Speed Downlink Packet Access (HSDPA)
95
Symbol mapping diversity design for multiple packet transmissions
96
Symbol mapping diversity design for packet retransmissions through fading channels
97
Symbol mapping diversity in iterative decoding/demodulation of ARQ systems
98
Symbol merging approach for intercell interference mitigation in wireless OFDM systems
99
Symbol of the Dirichlet-to-Neumann operator in 2D diffraction problems with large wavenumber
100
Symbol of the IRE
101
Symbol overlapped multiwavelet packets based OFDM
102
Symbol Phase Synchronizers Tested with Different Input Sequences
103
Symbol ranking text compressors
104
Symbol ranking type interference canceller (SRIC) for CDMA system
105
Symbol rate adaptation and blind rate detection using FOSSIL (forest for OVSF-sequence-set-inducing lineages)
106
Symbol rate and modulation level controlled adaptive modulation system with TDMA/TDD for high bit rate transmission in high delay spread environments
107
Symbol rate and modulation level controlled adaptive modulation/TDMA/TDD for personal communication systems
108
Symbol rate and modulation level-controlled adaptive modulation/TDMA/TDD system for high-bit-rate wireless data transmission
109
Symbol rate classification of PSK/QAM signals using direct frequency estimators
110
Symbol rate dependency of XPM-induced phase noise penalty on QPSK-based modulation formats
111
Symbol rate detectability of filtered OQPSK by a delay and multiply receiver
112
Symbol Rate Estimation Based on Wavelet Transform
113
Symbol rate estimation by the wavelet transform
114
Symbol Rate Estimation Using Cyclic Correlation and Haar Wavelet Transform
115
Symbol Rate Estimation with Inverse Fourier Transforms
116
Symbol rate identification using asynchronous delayed sampling
117
Symbol rate processing for the downlink of DS-CDMA systems
118
Symbol rate simulation of Doppler spectrum effects for WCDMA receivers
119
Symbol rate timing recovery for higher order partial response channels
120
Symbol Rate Upper-Bound on Distributed STBC with Channel Phase Information
121
Symbol recognition and surface reconstruction from topographic map by parallel method
122
Symbol recognition by error-tolerant subgraph matching between region adjacency graphs
123
Symbol Recognition by Multiresolution Shape Context Matching
124
Symbol Recognition Combining Vectorial and Pixel-Level Features for Line Drawings
125
Symbol recognition in electronic diagrams using decision tree
126
Symbol Recognition of Printed Piano Scores with Touching Symbols
127
Symbol Recognition Using a 2-class Hierarchical Model of Choquet Integrals
128
Symbol Recognition Using a Galois Lattice of Frequent Graphical Patterns
129
Symbol recognition using directional and spatial features
130
Symbol recognition using graphs
131
Symbol recognition via statistical integration of pixel-level constraint histograms: a new descriptor
132
Symbol recognition with a new autonomously evolving classifier autoclass
133
Symbol Recognition with Kernel Density Matching
134
Symbol Recognition: Cognitive Approach
135
Symbol reliability estimation using code trellis degeneration for QLI codes
136
Symbol reliability estimation using the bidirectional Viterbi algorithm with a code trellis and a syndrome trellis for QLI codes
137
Symbol re-mapping method for improvement of TML-1 VLC coder
138
Symbol repetition and power re-allocation scheme for orthogonal code hopping multiplexing systems
139
Symbol request sharing scheme for mobile cooperative receivers in OFDM systems
140
Symbol security condition considered harmful
141
Symbol separation in oversaturated CDMA system
142
Symbol set for regenerated communications
143
Symbol shaping for Barker spread Wi-Fi communications
144
Symbol solver in single neuron and in network
145
Symbol spaced adaptive MIMO equalization for ultra high bit rate coherent optical communication
146
Symbol Spaced Adaptive MIMO Equalization for Ultrahigh Bit Rate Metro Coherent Optical Links
147
Symbol spotting for technical documents: An efficient template-matching approach
148
Symbol Spotting in Line Drawings through Graph Paths Hashing
149
Symbol spreading for ultrawideband systems based on multiband OFDM
150
Symbol Statistics for Concept Formation in AI Agents
151
Symbol synchronisation for binary baseband PAM operating at only one sample per symbol
152
Symbol Synchronisation Implementation for Low-Power RF Communication in Wireless Sensor Networks
153
Symbol Synchronization Algorithm Based on Pseudo-superimposed Zadoff-Chu in Advanced-LTE
154
Symbol synchronization algorithms for M-PSK operating at one sample per symbol
155
Symbol synchronization and data detection in DS/CDMA systems affected by multiple narrowband interferers
156
Symbol synchronization at the BPSK-OFDM receiver
157
Symbol synchronization based on cyclic prefix for the uplink of OFDMA systems
158
Symbol Synchronization Capture Method on SFH-GMSK - PART I: Signal Analysis
159
Symbol Synchronization Capture Method on SFH-GMSK - PART II: The Capture Method
160
Symbol Synchronization Exploiting the Symmetric Property in Optical Fast OFDM
161
Symbol Synchronization for a Class of CPFSK Receiver
162
Symbol synchronization for digital signals with multisegment trajectory: digital data transition tracking loop
163
Symbol synchronization for MC-CDMA using a timing estimator and a delay locked loop
164
Symbol synchronization for multichannel frequency diversity transmission over fading channels
165
Symbol synchronization for OFDM based heterogeneous network in the presence of co-channel interference
166
Symbol synchronization for optical multi-pulse pulse position modulation systems
167
Symbol synchronization for zero-crossing demodulator under static and mobile fading environments
168
Symbol synchronization in coded UWB systems using adaptive iterative detection
169
Symbol synchronization in convolutionally coded systems (Corresp.)
170
Symbol synchronization in digital communication systems using partial response CPM signaling
171
Symbol synchronization in DVB-T system in mobile environment
172
Symbol synchronization in OFDM system for time selective channel conditions
173
Symbol synchronization performance using loop switching type quenching method
174
Symbol synchronization technique in COFDM systems
175
Symbol synchronization using baud-rate sampling and data-sequence-dependent signal processing
176
Symbol synchronization using signal samples and interpolation
177
Symbol synchronization using wavelets
178
Symbol synchronizer performance affected by non-ideal interpolation in digital modems
179
Symbol synchronizers based on filter with Phase Lock Loop
180
Symbol systems in constructed complex systems
181
Symbol table construction and name lookup in ISO C++
182
Symbol Time Error and Channel Estimation in Wireless OFDM LAN/MAN
183
Symbol time offset estimation in coherent OFDM systems
184
Symbol time offset estimation in coherent OFDM systems
185
Symbol Time Synchronization Based on SINR Maximization for OFDM
186
Symbol timing algorithm for DC-OFDM system
187
Symbol timing and carrier frequency united estimation for MPSK signals
188
Symbol timing and channel estimation of IEEE802.11a based on OFDM
189
Symbol Timing Estimation Algorithm for OFDM Systems with a Preamble Consisting Two Identical Parts Based on the Maximum-Likelihood Principle
190
Symbol Timing Estimation for OFDM Systems Using Particle Filtering
191
Symbol Timing Estimation for Physical-Layer Network Coding
192
Symbol timing estimation in multiband OFDM based ultrawide band system
193
Symbol timing estimation in ultra wideband communications
194
Symbol timing estimation using near ML techniques and statistical performance evaluation for binary communications
195
Symbol timing estimation with CPM modulation
196
Symbol timing for multiple antenna OFDM systems
197
Symbol timing measurement for single carrier digital modulations
198
Symbol timing offset (STO) correction in orthogonal frequency division multiplexing (OFDM) based systems
199
Symbol timing offset estimation scheme for OFDM systems based on power difference measurements
200
Symbol Timing Offset Mitigation in OFDMA-Based CoMP Utilizing Position Aware Transmission
201
Symbol timing offset tracking for DRM receiver
202
Symbol Timing Recovery Algorithm with Near Timing-jitter Free for ATSC DTV Receivers
203
SYMBOL TIMING RECOVERY FOR A CLASS OF CONSTANT ENVELOPE SIGNALS
204
Symbol Timing Recovery for CPM with Correlated Data Symbols
205
Symbol timing recovery for generalized minimum shift keying modulations in software radio receiver
206
Symbol timing recovery for GMSK modulation based on squaring algorithm
207
Symbol timing recovery for low-SNR partial response recording channels
208
Symbol timing recovery for wavelet-based linear modulations
209
Symbol timing recovery in digital subscriber loops in the presence of residual echo and impulsive noise
210
Symbol timing recovery in digital subscribers loops in the presence of residual echo and crosstalk
211
Symbol timing recovery scheme tolerant to carrier phase error
212
Symbol timing recovery techniques for digital wireless personal telecommunication systems
213
Symbol timing recovery using digital spectral line method for 16-CAP VDSL system
214
Symbol timing recovery using oversampling techniques
215
Symbol timing synchronization algorithm for 112Gbit/s PDM CO-OFDM systems
216
Symbol Timing Synchronization Algorithm for Wireless LAN Systems in Multipath Channels
217
Symbol timing synchronization for IEEE 802.11n WLAN systems
218
Symbol timing synchronization for ISDB-T system in multipath fading channel
219
Symbol timing synchronization for ultra-wideband (UWB) multi-band OFDM (MB-OFDM) systems
220
Symbol timing synchronization of π / 4 - DQPSK signals using polyphase filterbanks
221
Symbol timing tracking for continuous phase modulation over fast flat-fading channels
222
Symbol Transitions in Discrete Systems
223
Symbol/bit-error rate of LMMSE receiver for M-ary QAM in multipath faded CDMA channels
224
Symbol-aided approach to nonlinear distortion cancellation for self-heterodyne OFDM direct conversion receivers
225
Symbol-aided channel estimation and multiuser detection for CDMA systems using a decorrelating detector
226
Symbol-aided channel estimation and multiuser detection for synchronous CDMA systems using a decorrelating decision-feedback detector
227
Symbol-aided channel estimation with nonselective Rayleigh fading channels
228
Symbol-aided channel estimation with nonselective Rayleigh fading channels
229
Symbol-aided plus decision-directed reception for PSK/TCM modulation on shadowed mobile satellite fading channels
230
Symbol-asynchronous compute-and-forward
231
Symbol-balanced quaternionic periodicity transform for latent pattern detection in DNA sequences
232
Symbol-Based Belief Propagation Decoding of Reed-Solomon Codes
233
Symbol-based BP detection for MIMO systems associated with non-binary LDPC codes
234
SYMBOL-BASED INTERFLOW NETWORK CODING FOR WIRELESS NETWORKS
235
Symbol-based iterative decoding of convolutionally encoded multiple descriptions
236
Symbol-based joint decoding of convolutionally encoded variable-length codes
237
Symbol-Based Machine Learning Approach for Supervised Segmentation of Follicular Lymphoma Images
238
Symbol-Based Modeling and Coding of Block Markov Sources
239
Symbol-based parallel message-passing decoding on partial-response channels
240
Symbol-based physical-layer network coding for two-way relay channel
241
Symbol-Based Physical-Layer Network Coding with MPSK Modulation
242
Symbol-based processing with balanced subcarrier performance for MIMO-OFDM systems
243
Symbol-based soft relaying strategy for cooperative wireless networks
244
Symbol-based space diversity for coded OFDM systems
245
Symbol-based successive cancellation list decoder for polar codes
246
Symbol-based turbo codes
247
Symbol-Blanking Superimposed Training for Orthogonal Frequency Division Multiplexing systems
248
Symbol-by-symbol adaptive null-space exploiting (SANE) channel truncation for fading OFDM channels
249
Symbol-by-symbol and trellis-based equalization with widely linear processing for space-time block-coded transmission over frequency-selective fading channels
250
Symbol-by-symbol APP decoding of the Golay code and iterative decoding of concatenated Golay codes
251
Symbol-by-symbol based adaptive interference canceller for asynchronous DS/CDMA systems in multipath fading channels
252
Symbol-by-symbol CDMA spreading gain adaptation and detection using OVSF sequences
253
Symbol-by-symbol detection of space-time coded continuous phase modulated signals over fast Rayleigh fading channels
254
Symbol-by-symbol jitter measurement in high-speed digital systems
255
Symbol-by-symbol joint polarization and phase tracking in coherent receivers
256
Symbol-by-symbol MAP decoding algorithm for high-rate convolutional codes that use reciprocal dual codes
257
Symbol-by-symbol MAP decoding of convolutional codes using reciprocal dual convolutional codes
258
Symbol-by-symbol MAP demodulation of CPM and PSK signals on Rayleigh flat-fading channels
259
Symbol-by-symbol MAP detection of differential frequency hopping signals for PLC applications
260
Symbol-by-symbol MAP detection of differential frequency hopping signals over Rayleigh flat fading channels
261
Symbol-by-symbol mobile radio channel equalization using the MN classifier
262
Symbol-by-symbol projection receiver for interference rejection in asynchronous CDMA networks
263
Symbol-by-symbol rate adapting wireless communication systems: architecture
264
Symbol-chaos characteristics based on system noise
265
Symbol-error probability and bit-error probability for optimum combining with MPSK modulation
266
Symbol-error rate analysis of Fischer´s bit-loading algorithm
267
Symbol-error rate of selection combining over two-wave with diffuse power fading
268
Symbol-flipping based decoding of generalized low-density parity-check codes over GF(q)
269
Symbol-flipping decoding of nonbinary LDPC codes over BI-AWGN channels
270
Symbolic
z
-transforms using DSP knowledge bases
271
Symbolic abstractions for the scheduling of event-triggered control systems
272
Symbolic active-RC circuit synthesis by admittance matrix expansion
273
Symbolic Aggregate approXimation (SAX) under interval uncertainty
274
Symbolic algebra and matrix oriented programs as EE educational tools
275
Symbolic algebra and physical-model-based control
276
Symbolic algebra and physical-model-based control
277
Symbolic algebra and physical-model-based control
278
Symbolic algebra and timing driven data-flow synthesis
279
Symbolic algebra as a tool for understanding edge elements
280
Symbolic algebra for the calculation of the series and parallel resistances in PV module model
281
Symbolic algebra toolbox for the design of dynamical adaptive backstepping controllers
282
Symbolic algebra toolbox for the design of dynamical adaptive backstepping controllers
283
Symbolic algebra tools for control teaching
284
Symbolic algebra tools for control teaching
285
Symbolic algebraic discrete systems theory-applied to a fighter aircraft
286
Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits
287
Symbolic algorithms to calculate steady-state probabilities of a finite state machine
288
Symbolic analysis aid to power flows graphing in open electricity market
289
Symbolic analysis and optimization of piezo-electromechanical systems
290
Symbolic Analysis and Simulation for Power System Dynamic Performance Assessment
291
Symbolic analysis and simulation for power system dynamic performance assessment
292
Symbolic analysis and synthesis of linguistic parametrizations in fuzzy controllers
293
Symbolic Analysis Based on Graph Transformations
294
Symbolic analysis congestion management
295
Symbolic analysis for automatic model generation
296
Symbolic analysis for computer-aided circuit design-The interpolative approach
297
Symbolic analysis for fault detection in switch-level circuits
298
Symbolic analysis for large networks and systems including both numerical and symbolic parameters by using hybrid decomposition method
299
Symbolic analysis in analog integrated circuit design: an application example
300
Symbolic analysis in gyrator-capacitor filters
301
Symbolic analysis methods and applications for analog circuits: a tutorial overview
302
Symbolic analysis methods and applications-an overview
303
Symbolic analysis methods for averaged modeling of switching power converters
304
Symbolic analysis methods for masks, circuits and systems
305
Symbolic analysis of 24h holter heart period variability series: comparison between normal and heart failure patients
306
Symbolic Analysis of an Electric Vehicle Charging Protocol
307
Symbolic analysis of analog and digital circuits
308
Symbolic Analysis of Analog Circuits By Boolean Logic Operations
309
Symbolic analysis of analog circuits with hard nonlinearity
310
Symbolic analysis of analog integrated circuits
311
Symbolic analysis of assembly traces: Lessons learned and perspectives
312
Symbolic Analysis of Authentication Protocol Based on GSPM
313
Symbolic analysis of bifurcations in planar variable structure systems
314
Symbolic analysis of bounded Petri nets
315
Symbolic analysis of circuits containing active elements
316
Symbolic analysis of complex microwave circuits in terms of flower-wave parameters
317
Symbolic Analysis of Concurrency Errors in OpenMP Programs
318
Symbolic Analysis of Cryptographic Protocols Containing Bilinear Pairings
319
Symbolic analysis of dataflow applications mapped onto shared heterogeneous resources
320
Symbolic analysis of DC-DC converters using generalized averaged model of PWM switch
321
Symbolic analysis of electronic circuits based on a tree enumeration technique
322
Symbolic analysis of faulty logic circuits in the presence of correlated gate failures
323
Symbolic analysis of heart rate variability differentiates anesthesiological procedures
324
Symbolic Analysis of Homogeneous Interconnects
325
Symbolic analysis of hybrid systems
326
Symbolic Analysis of Input Impedance of CMOS Floating Active Inductors with Application in Fully Differential Bandpass Amplifier
327
Symbolic analysis of large analog circuits using a sensitivity-driven enumeration of common spanning trees
328
Symbolic analysis of large analog circuits with determinant decision diagrams
329
Symbolic analysis of large analog integrated circuits by approximation during expression generation
330
Symbolic analysis of large analog integrated circuits: the numerical reference generation problem
331
Symbolic analysis of large linear circuits with the bilinear-splitting transformation
332
Symbolic analysis of large signals in nonlinear systems
333
Symbolic analysis of large-scale microwave networks
334
Symbolic analysis of linear microwave circuits by extension of the polynomial interpolation method
335
Symbolic analysis of microwave circuits
336
Symbolic analysis of microwave circuits - summary
337
Symbolic analysis of mixed continuous and sampled-data systems
338
Symbolic analysis of nearly sinusoidal oscillators
339
Symbolic analysis of networks by partitioned polynomial interpolation
340
Symbolic analysis of networks containing current conveyors
341
Symbolic analysis of nonlinear analog circuits
342
Symbolic analysis of nonlinear electronic circuits by PraCAn package in Maple program
343
Symbolic analysis of programmable digital filters
344
Symbolic Analysis of Programmable Logic Controllers
345
Symbolic analysis of quantization errors in transform and subband coders
346
Symbolic Analysis of Shanghai Stock Market Returns
347
Symbolic analysis of short-term heart period variability during graded head-up tilt
348
Symbolic Analysis of Sonar Data for Underwater Target Detection
349
Symbolic analysis of switched-capacitor networks using compacted nodal analysis in the s-domain
350
Symbolic analysis of switching circuits
351
Symbolic analysis of switching power converters based on a general averaging method
352
Symbolic Analysis of Switching Systems: Application to Bifurcation Analysis of DC/DC Switching Converters
353
Symbolic analysis of the base parameters for closed-chain robots based on the completion procedure
354
Symbolic Analysis of the Neuron Action Potential
355
Symbolic Analysis of the Proposed UDT Security Architecture
356
Symbolic analysis of the Tau Cell log-domain filter using affine MOSFET models
357
Symbolic analysis of time series signals using generalized Hilbert transform
358
Symbolic analysis of time-varying, dynamic phenomena
359
Symbolic analysis tools-the state of the art
360
Symbolic analysis with Mathematica in power electronics and electromechanical systems
361
Symbolic analysis: a formulation approach by manipulating data structures
362
Symbolic analysis-a tool for teaching undergraduate circuit theory
363
Symbolic and geometric connectivity graph methods for route planning in digitized maps
364
Symbolic and numeric DAE approach for dynamical system simulation
365
Symbolic and numeric quantum circuit simulation
366
Symbolic and numerical computations for analysis of uncertain systems
367
Symbolic and numerical investigation of manipulator performance limiting factors
368
Symbolic and numerical software tools for LFT-based low order uncertainty modeling
369
Symbolic and Pictorial Displays for Submarine Control
370
Symbolic Anomaly Detection and Assessment Using Growing Neural Gas
371
Symbolic approach in design of BaTiO/sub 3/-ceramics capacitive properties [bandpass filters]
372
Symbolic approach to 2D biorthogonal diamond-shaped filter design
373
Symbolic approach to nonblocking and safe control of Extended Finite Automata
374
Symbolic approach to SAR image classification
375
Symbolic approach to the implementation of linearizing compensator for robotic manipulators
376
Symbolic approach to verification and control of deterministic/probabilistic Boolean networks
377
Symbolic approximation of analog circuits using Sspice
378
Symbolic approximation of circuit response containing negative terms
379
Symbolic approximation strategies and the symbolic analysis of large and nonlinear circuits
380
Symbolic argumentation for decision making under uncertainty
381
Symbolic Array Dataflow Analysis for Array Privatization and Program Parallelization
382
Symbolic associations in neural network activations: Representations in the emergence of communication
383
Symbolic behavioral model generation of current-mode analog circuits
384
Symbolic behavioral model generation of nonlinear analog circuits
385
Symbolic behavioral modeling for slew and settling analysis of operational amplifiers
386
Symbolic behavioral modeling of low voltage amplifiers
387
Symbolic binding for clustered VLIW ASIPs
388
Symbolic Bisimulations for Probabilistic Systems
389
Symbolic cache: fast memory access based on program syntax correlation of loads and stores
390
Symbolic CAD system for algebraic approach on MATLAB-Symbolic Control Toolbox
391
Symbolic calculus for class of quantum computing circuits
392
Symbolic circuit analysis
393
Symbolic circuit analysis: an overview
394
Symbolic circuit-noise analysis and modeling with determinant decision diagrams
395
Symbolic clustering using a new similarity measure
396
Symbolic code approach to GTD ray tracing
397
Symbolic cognitive abilities implementation on the NI-9631 pervasive mobile robot
398
Symbolic compaction of digital CMOS cells
399
Symbolic Compilation of PSL
400
Symbolic computation aided design of observers for a class of nonlinear control systems
401
Symbolic computation aids for SAW and BAW analysis
402
Symbolic computation and construction of exact traveling wave solutions to the variant Boussinesq equations
403
Symbolic computation and construction of exact travelling wave solutions to (2+1)-dimensional GMKPI equation
404
Symbolic Computation and Construction of Soliton-Like Solutions to (3+1)-Dimensional Potential-YTSF Equation
405
Symbolic computation and construction of theta function solutions to the mKdV-ZK equation
406
Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software
407
Symbolic computation as a basis for numerical methods
408
Symbolic computation environment for nonlinear L
2
control. application examples
409
Symbolic Computation for a Class Vector Field with Double Resonance Hopf Bifurcation
410
Symbolic computation for control
411
Symbolic computation for discrete event systems
412
Symbolic computation for dynamic sliding mode controller design
413
Symbolic Computation for Evaluation of Measurement Uncertainty
414
Symbolic Computation for inverse Boundary-Value Problems and its Application to impedance Tomography Reconstruction
415
Symbolic computation for inverse boundary-value problems and its application to impedance tomography reconstruction
416
Symbolic Computation for Nonlinear Systems Using Quotients over Skew Polynomial Ring
417
Symbolic computation in analysis and synthesis for homogeneous multi-agent dynamical systems
418
Symbolic computation in nonlinear control system modeling and analysis
419
Symbolic computation in value sets of plants with uncertain parameters
420
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques
421
Symbolic computation of digital filter transfer function using MATLAB
422
Symbolic computation of fisher information matrices
423
Symbolic computation of Hurwitz criterion
424
Symbolic computation of logic implications for technology-dependent low-power synthesis
425
Symbolic computation of nonblocking control function for timed discrete event systems
426
Symbolic Computation of Reduced Guards in Supervisory Control
427
Symbolic computation of robot manipulator kinematics
428
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
429
Symbolic computation of SNR for variational analysis of sigma-delta modulator
430
Symbolic computation of the inverse dynamics of elastic joint robots
431
Symbolic Computation of the Jacobian of Manipulators Using Dual Number Transformations
432
Symbolic computation techniques for aperture antennas
433
Symbolic computation with Maple V for undergraduate electromagnetics
434
Symbolic computation: A Java based computer algebra system
435
Symbolic computation-based synthesis of neural network dynamics and controller for robots
436
Symbolic computations in nonlinear control of multibody space systems
437
Symbolic Computations in Volterra System Identification
438
Symbolic computations: an overview and application to controller design
439
Symbolic computer algebra algorithms for factorizations of Sylvester mappings with applications to the production of linear matrix inequalities in systems and controls
440
Symbolic computing in computer-aided control system analysis and design
441
Symbolic computing, Lisp languages, and parallel computing
442
Symbolic connectionism in natural language disambiguation
443
Symbolic constraint-based reasoning in Pandora
444
Symbolic construction of a 2-D scale-space image
445
Symbolic construction of dynamic mixed integer programs for power system management
446
Symbolic Construction of Dynamic Mixed Integer Programs for Power System Management
447
Symbolic construction of models for multibody dynamics
448
Symbolic control for underactuated differentially flat systems
449
Symbolic control in computer aided teleoperation: the SPARTE language and its basic principles
450
Symbolic control of linear systems based on symbolic subsystems
451
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
452
Symbolic convolution
453
Symbolic coordinate anatomy for neurology (scan)
454
Symbolic coupling traces for causality analysis of cardiovascular control
455
Symbolic cover minimization of fully I/O specified finite state machines
456
Symbolic Crosschecking of Data-Parallel Floating-Point Code
457
Symbolic data mining using self-organizing map
458
Symbolic DDD-based tool for the computation of noise in CMOS analog circuits
459
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
460
Symbolic debugging of embedded hardware and software
461
Symbolic debugging of globally optimized behavioral specifications
462
Symbolic debugging scheme for optimized hardware and software
463
Symbolic Derivation and Dynamic Simulation of Flexible Manipulators
464
Symbolic derivation and numeric computation of dyadic Green´s functions using Mathematica
465
Symbolic derivation of dynamic equations of motion for robot manipulators using Piogram symbolic method
466
Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
467
Symbolic derivation of nonlinear benchmark bicycle dynamics with holonomic and nonholonomic constraints
468
Symbolic description and visual querying of image sequences using spatio-temporal logic
469
Symbolic description of field calculation problems
470
Symbolic descriptor and state space model of interconnected linear systems with algebraic loops
471
Symbolic design methodology for high-density macro-cell
472
Symbolic Design of Combinational and Sequential Logic Circuits Implemented by Two-Level Logic Macros
473
Symbolic design space exploration for multi-mode reconfigurable systems
474
Symbolic Design Techniques Applied to a Generalized Computer
475
Symbolic device for short-range wireless pairwise communication
476
Symbolic diagnosis for intelligent control
477
Symbolic dimension bound checking in a matrix language
478
Symbolic discrete event system specification
479
Symbolic discrete event system specification
480
Symbolic Dynamic Analysis of Heart Rate and Blood Pressure Time Series of Rats
481
Symbolic Dynamic Analysis of Physiological Time Series
482
Symbolic dynamic and frequency analysis in foetal monitoring
483
Symbolic Dynamic Filtering and Language Measure for Behavior Identification of Mobile Robots
484
Symbolic dynamic filtering of seismic sensors for target detection and classification
485
Symbolic dynamic modelling and analysis of object/robot-team systems with experiments
486
Symbolic dynamic techniques for trellis group codes
487
Symbolic dynamical adaptive backstepping control design via MATLAB
488
Symbolic Dynamics Analysis of Pathological Signals
489
Symbolic dynamics and coding applications
490
Symbolic dynamics and measures of complexity to quantify cancellous bone structure
491
Symbolic dynamics applied to EEG signal for monitoring anaesthetic depth during propofol infusion
492
Symbolic dynamics approach in the analysis of heart rate in premature babies at high risk for sudden infant death syndrome (SIDS)
493
Symbolic dynamics based bearing fault detection
494
Symbolic dynamics based method for rigorous study of the existence of short cycles for chaotic systems
495
Symbolic dynamics for localization of the subcortical structures during deep brain stimulation surgery for Parkinson´s disease
496
Symbolic dynamics for processing chaotic signal. II. Communication and coding
497
Symbolic dynamics for processing chaotic signals. I. Noise reduction of chaotic sequences
498
Symbolic dynamics in cardiotocographic monitoring
499
Symbolic dynamics method for chaotic communications
500
Symbolic dynamics of piecewise-linear maps
501
Symbolic dynamics of pulse transit time and heart period in children with upper airway obstruction
502
Symbolic dynamics of QT interval series in ischemic cardiomyopathy
503
Symbolic dynamics of respiratory cycle related sleep EEG in children with sleep disordered breathing
504
Symbolic dynamics of wavelet images for pattern identification
505
Symbolic encoding of analytic signals for structural monitoring of power systems
506
Symbolic Evaluation and the Analysis of Programs
507
Symbolic Evaluation Of Performance Models For Tradeoff Visualization
508
Symbolic evaluation of transmittances from the nodal-admittance matrix
509
Symbolic Evaluation of Universal Matrices for High-Order Elements in Anisotropic Field Problems
510
Symbolic execution — An efficient approach for test case generation
511
Symbolic execution and testing
512
Symbolic execution for software testing in practice: preliminary assessment
513
Symbolic execution of data paths
514
Symbolic Execution of Network Software Based on Unit Testing
515
Symbolic execution of program paths involving pointer structure variables
516
Symbolic Execution of Virtual Devices
517
Symbolic execution systems-a review
518
Symbolic Execution Techniques Extended to Systems
519
Symbolic Execution with Interval Solving and Meta-heuristic Search
520
Symbolic execution-based verification of Ada tasking programs
521
Symbolic executions of symmetrical parallel programs
522
Symbolic exposition of medical data-sets: a data mining workbench to inductively derive data-defining symbolic rules
523
Symbolic expression analysis for compiled communication
524
Symbolic expressions within a spatial algebra: unification and impact upon spatial reasoning
525
SYMBOLIC FACTORIAL DISCRIMINANT ANALYSIS FOR FACE RECOGNITION UNDER VARIABLE LIGHTING
526
Symbolic factorization of inertia matrix for space robot simulation
527
Symbolic failure analysis of complex CMOS circuits due to excessive leakage current and charge sharing
528
Symbolic failure analysis of custom circuits due to excessive leakage current
529
Symbolic fault modeling for switched-capacitor circuits
530
Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy
531
Symbolic feature-based representation and planning for an agent based robot controller
532
Symbolic features for classification of medical X-ray body organ images
533
Symbolic Feedback Control for Navigation
534
Symbolic Feedback Control for Navigation
535
Symbolic feedback control for navigation
536
Symbolic formulation method for mixed-mode analog circuits using nullors
537
Symbolic formulation of coefficients of the characteristic polynomial of a restricted class of RCL networks
538
Symbolic Fractional Dynamics
539
Symbolic Framework for Linear Active Circuits Based on Port Equivalence Using Limit Variables
540
Symbolic FSM traversals based on the transition relation
541
Symbolic function extraction and fault modelling of MOS circuits
542
Symbolic functional and timing verification of transistor-level circuits
543
Symbolic Functional Decomposition Algorithm for FSM Implementation
544
Symbolic functional vector generation for VHDL specifications
545
Symbolic functions and first-order operators
546
Symbolic fusion of hue-chroma-intensity features for region segmentation
547
Symbolic generation of constrained random logic cells
548
Symbolic generation of finite elements for skin-effect integral equations
549
Symbolic Generation of Models for Microwave Software Tools
550
Symbolic graph matching using the EM algorithm and singular value decomposition
551
Symbolic Gray Code as a Multikey Hashing Function
552
Symbolic Gray Code as a Perfect Multiattribute Hashing Scheme for Partial Match Queries
553
Symbolic guided search for CTL model checking
554
Symbolic harmonic analysis of quartz crystal oscillators
555
Symbolic hazard-free minimization and encoding of asynchronous finite state machines
556
Symbolic Hierarchical Artwork Generation System
557
Symbolic hybrid analysis of nonlinear analog circuits
558
Symbolic identification and anomaly detection in complex dynamical systems
559
Symbolic identification for anomaly detection in aircraft gas turbine engines
560
Symbolic identification of dynamical systems: Theory and experimental validation
561
Symbolic image indexing and retrieval by spatial similarity: A new approach based on multi-dimensional B
+
tree
562
Symbolic implementation of the generalized transform in Mathematica
563
Symbolic implementation of the new elementary operation approach for MIMO multidimensional realization
564
Symbolic implementation of the new elementary operation approach for multidimensional realization and LFR uncertainty modeling
565
Symbolic implication in test generation
566
Symbolic incompletely specified functions for correct evaluation in the presence of indeterminate input values
567
Symbolic inner loop parallelisation for massively parallel processor arrays
568
Symbolic Innovation in Agile Transformations
569
Symbolic integration and autonomous state estimation: Building blocks for an intelligent power grid
570
Symbolic Integration and the Complexity of Computing Averages
571
Symbolic integration of dynamical systems by collocation methods
572
Symbolic Integration of Dynamical Systems by Collocation Methods
573
Symbolic interface for pollutant forecast. An evaluation
574
Symbolic interpretation of artificial neural networks
575
Symbolic interpretation of legacy assembly language
576
Symbolic interval time series forecasting using a hybrid model
577
Symbolic kinematic and dynamic modelling toolbox for Multi-DOF robotic manipulators
578
Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol
579
Symbolic layout compaction under conditional design rules
580
Symbolic Layout for Bipolar and MOS VLSI
581
Symbolic layout for rapid full-custom prototyping of high-speed telecommunications chips
582
Symbolic Layout System: Application Results and Functional Improvements
583
Symbolic layout techniques for ASIC design
584
Symbolic learning supporting early diagnosis of melanoma
585
Symbolic linear Mathematica based technique for piecewise linear circuits
586
Symbolic Logic and Engineering
587
Symbolic logic inference system based on recurrent multilayered perceptron neural networks
588
Symbolic loop parallelization for balancing I/O and memory accesses on processor arrays
589
Symbolic macro test for DSP systems applied to a voice coder application
590
Symbolic macromodeling of parameterized S-parameter frequency responses
591
Symbolic Magnifying Lens Abstraction in Markov Decision Processes
592
Symbolic Malleable Zero-Knowledge Proofs
593
Symbolic manipulation and analysis of morphological expressions
594
Symbolic Manipulation of Boolean Functions Using a Graphical Representation
595
Symbolic manipulation of rational matrices and applications
596
Symbolic manipulation of transfer functions and state space realizations
597
Symbolic manipulations and numerical optimization techniques for robust eigenstructure assignment in LQR design of multivariable control systems
598
Symbolic MAPLE-Based Design of Allpole Filters
599
Symbolic match hypothesis evaluation for UHRR radar targets
600
Symbolic Matching and Constraint Generation for Systematic Comparison of Analog Circuits
601
Symbolic matrix inversion with application to electronic circuits
602
Symbolic memory for humanoid robots using hierarchical bifurcations of attractors in nonmonotonic neural networks
603
Symbolic method for simplifying AND-EXOR representations of Boolean functions using a binary-decision technique and a genetic algorithm
604
Symbolic Methods for VTB Model Development
605
Symbolic minimization of multilevel logic and the input encoding problem
606
Symbolic mining of temporal specifications
607
Symbolic Model Checking APSL
608
Symbolic model checking for event-driven real-time systems
609
Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns
610
Symbolic Model Checking for Propositional Projection Temporal Logic
611
Symbolic model checking for real time systems using difference typed decision graphs
612
Symbolic model checking for real-time systems
613
Symbolic model checking for self-stabilizing algorithms
614
Symbolic model checking for sequential circuit verification
615
Symbolic Model Checking for Three Valued Logic
616
Symbolic Model Checking of Analog/Mixed-Signal Circuits
617
Symbolic model checking of dual transition Petri Nets
618
Symbolic model checking of hierarchical UML state machines
619
Symbolic model checking of process networks using interval diagram techniques
620
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
621
Symbolic model checking of real-time systems
622
Symbolic model checking of software product lines
623
Symbolic model checking of UML statechart diagrams with an integrated approach
624
Symbolic model checking on SystemC designs
625
Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams
626
Symbolic model checking the knowledge of the dining cryptographers
627
Symbolic model checking using SAT procedures instead of BDDs
628
Symbolic model checking: 10
20
states and beyond
629
Symbolic model order reduction
630
Symbolic model-based diagnosis with auto-correction framework for arithmetic circuits
631
Symbolic Modeling and Evaluation of Data Paths
632
Symbolic modeling of ac power signal gain input and output impedance of fully differential single stage common-source microwave power amplifier based on LDMOS large signal model
633
Symbolic modeling of driving behavior based on hierarchical segmentation and formal grammar
634
Symbolic modeling of flexible manipulators
635
Symbolic modeling of non-linear devices for the virtual test bed
636
Symbolic modeling of periodically time-varying systems using harmonic transfer matrices
637
Symbolic Modeling of Prosody: From Linguistics to Statistics
638
Symbolic Modeling of Signal Transduction in Pathway Logic
639
Symbolic modeling of switched DC-DC converters
640
Symbolic modelling and design of parallel capacitors in dc-dc converters
641
Symbolic modelling of database representations
642
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
643
Symbolic Models and Emergent Models: A Review
644
Symbolic models for linear control systems with disturbances
645
Symbolic models for networks of discrete-time nonlinear control systems
646
Symbolic models for nonlinear control systems affected by disturbances
647
Symbolic models for nonlinear control systems using approximate bisimulation
648
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
649
Symbolic models for randomly switched stochastic systems
650
Symbolic models for stochastic control systems without stability assumptions
651
Symbolic models for unstable nonlinear control systems
652
Symbolic Moment Computation for Statistical Analysis of Large Interconnect Networks
653
Symbolic moment computation with application to statistical timing analysis
654
Symbolic motion analysis in digital subtraction angiography: a preliminary study
655
Symbolic multi-level verification of refinement
656
Symbolic music representation in MPEG
657
Symbolic Negotiation in Linear Logic with Coalition Formation
658
Symbolic network analysis methods for practical analog integrated circuits: a survey
659
Symbolic network analysis with the valid trees and the valid tree-pairs
660
Symbolic network analysis-An algebraic formulation
661
Symbolic network function generation via discrete Fourier transform
662
Symbolic NFA scheduling of a RISC microprocessor
663
Symbolic nodal analysis of analog integrated circuits using pathological elements
664
Symbolic Nodal Analysis of Circuits Using Pathological Elements
665
Symbolic nodal analysis of fully-differential analog circuits
666
Symbolic noise analysis approach to computational hardware optimization
667
Symbolic noise analysis in analog integrated circuits
668
Symbolic Noise Analysis in Gm-C Filters
669
Symbolic noise analysis of low voltage amplifiers by using nullors
670
Symbolic Noise, Signal Processing, and Signal Enhancement by the Use of Chaos
671
Symbolic nomenclature for sinusoids
672
Symbolic numerical computational tools for nonlinear and adaptive control
673
Symbolic Occam
674
Symbolic Optimization Method for Reversible Circuits
675
Symbolic optimization of FSM networks based on sequential ATPG techniques
676
Symbolic optimization of interacting controllers based on redundancy identification and removal
677
Symbolic oriented stuck fault modeling of CMOS sequential circuits
678
Symbolic packages for dynamic sliding mode output feedback control of nonlinear systems
679
Symbolic parallelization of loop programs for massively parallel processor arrays
680
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
681
Symbolic Parasitic Extractor for Circuit Simulation (SPECS)
682
Symbolic Partition Refinement with Dynamic Balancing of Time and Space
683
Symbolic partitioning and scheduling of parameterized task graphs
684
Symbolic passive-RC circuit synthesis by admittance matrix expansion
685
Symbolic Path Sensitization Analysis and Applications
686
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
687
Symbolic performance analysis of elastic systems
688
Symbolic performance modeling of parallel systems
689
Symbolic performance prediction of scalable parallel programs
690
Symbolic planning and control of robot motion [Grand Challenges of Robotics]
691
Symbolic planning for industrial applications - the eRobotics approach
692
Symbolic pointer analysis
693
Symbolic pole and zero estimation for circuit design
694
Symbolic pole/zero calculation using SANTAFE
695
Symbolic pole/zero calculation using SANTAFE
696
Symbolic pole/zero derivation
697
Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation
698
Symbolic precompilation of piecewise-linear behavioral models for efficient simulation of dual time scale systems
699
Symbolic precompilation of piecewise-linear behavioral models for efficient simulation of dual time scale systems
700
Symbolic prime generation for multiple-valued functions
701
Symbolic probabilistic inference with both discrete and continuous variables
702
Symbolic processes in decision making: a cognitive engineering approach
703
Symbolic processing
704
Symbolic processing in intelligent monitoring
705
Symbolic Processing was Developed to Solve Two Kinds of Problems: The Complex and the Impossible [advertisement]
706
Symbolic processing: Issues and opportunties
707
Symbolic Program Analysis Using Term Rewriting and Generalization
708
Symbolic programming
709
Symbolic Proof of Limits of Functions in Mathematica with Applications to Mathematics Education
710
Symbolic protocol analysis with products and Diffie-Hellman exponentiation
711
Symbolic protocol verification with queue BDDs
712
Symbolic pruning in a structural approach to engineering drawing analysis
713
Symbolic python
714
Symbolic quasi-static scheduling of actor-oriented SystemC models
715
Symbolic range propagation
716
Symbolic reachability analysis of large finite state machines using don´t cares
717
Symbolic Reachability Computation of a Class of Nonlinear Systems
718
Symbolic reachability computation of a class of second-order systems
719
Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory
720
Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-notch protein signalling
721
Symbolic Reductionist Model for Program Comprehension
722
Symbolic regression and evolutionary computation in setting an optimal trajectory for a robot
723
Symbolic regression methods for control system synthesis
724
Symbolic regression modeling of blown film process effects
725
Symbolic regression of discontinuous and multivariate functions by Hyper-Volume Error Separation (HVES)
726
Symbolic regression on noisy data with genetic and gene expression programming
727
Symbolic regression via genetic programming
728
Symbolic Reliability Analysis and Optimization of ECU Networks
729
Symbolic Reliability Analysis with the Aid of Variable-Entered Karnaugh Maps
730
Symbolic Reliability Evaluation Using Logical Signal Relations
731
Symbolic representation and clustering of bio-medical time-series data using non-parametric segmentation and cluster ensemble
732
Symbolic Representation and Computation of Timed Discrete-Event Systems
733
Symbolic representation and distributed matching strategies for schematics
734
Symbolic representation and manipulation of signals
735
Symbolic Representation Based on Temporal Order Information for Time Series Classification
736
Symbolic Representation of Border Collision Bifurcation in Switching DC/DC Converters
737
Symbolic representation of brain vascular network with Arteriovenous Malformations from 3DRA images
738
Symbolic Representation of Coordinate Transformations
739
Symbolic Representation of General Alternating Waves and of Double Frequency Vector Products
740
Symbolic representation of Kannada characters for recognition
741
Symbolic representation of network transfer functions using norator-nullator pairs
742
Symbolic representation of neural networks
743
Symbolic Representation of On-line Signatures
744
Symbolic representation of optic nerve head cup presents difference in patients with Primary Open Angle Glaucoma
745
Symbolic Representation of Recurrent Neural Network Dynamics
746
Symbolic representation of securities trade settlement messages applying the principles of formal languages for business communication
747
Symbolic representation of TD-echo and Doppler imaging in a clinical departmental database
748
Symbolic representation of the EEG for sleep stage classification
749
Symbolic representation of trajectories for skill generation
750
Symbolic representation of user-defined time granularities
751
Symbolic representation scheme for matching and retrieval of two dimensional shapes
752
Symbolic Representation Techniques in Dynamic Reliability Evaluation
753
Symbolic representation with ordered function templates
754
Symbolic Representations for Autonomous Vehicle Perception and Control in Urban Environments
755
Symbolic representations of biological oscillations
756
Symbolic representations of charge-capacitance effects in 4-terminal field-effect transistors
757
Symbolic Road Perception-based Autonomous Driving in Urban Environments
758
Symbolic robot simulation software for educational purposes
759
Symbolic Robustness Analysis
760
Symbolic Routing for Location-Based Services in Wireless Mesh Networks
761
Symbolic RTL simulation
762
Symbolic rule extraction with a scaled conjugate gradient version of CLARION
763
Symbolic schedulability analysis of real-time systems
764
Symbolic Scientific Software Skills for Engineering Students
765
Symbolic search-based testing
766
Symbolic segment dissimilarity measure and its applications in speech synthesis
767
Symbolic Semantics and Program Reduction
768
Symbolic sensitivity analysis in the sizing of analog integrated circuits
769
Symbolic sensitivity analysis of digital filter structures using MATLAB
770
Symbolic sensitivity analysis using nullators, norators and modified coates signal - flow graph
771
Symbolic sensitivity analysis using Sspice
772
Symbolic Sequence Analysis Method of Gas/Liquid Two-Phase Flow Measurement Fluctuation Signals
773
Symbolic Shape Descriptors for Classifying Craniosynostosis Deformations from Skull Imaging
774
Symbolic signal processing
775
Symbolic signal representation using nonlinear filtering
776
Symbolic signatures for deformable shapes
777
Symbolic simplification of digital signal processing software
778
Symbolic simulation as a simplifying strategy for SoC verification
779
Symbolic Simulation for Correct Machine Design
780
Symbolic simulation for efficient repetitive analysis and artificial intelligence techniques in CAD
781
Symbolic Simulation for Functional Verification with ADLIB and SDL
782
Symbolic simulation heuristics for high-level design descriptions with uninterpreted functions
783
Symbolic simulation of analog circuits in S- and Z-domain
784
Symbolic simulation of engineering systems
785
Symbolic simulation of harmonic distortion in analog integrated circuits with weak nonlinearities
786
Symbolic simulation of hybrid systems
787
Symbolic simulation of large-scale circuits in both frequency and time domains
788
Symbolic simulation on complicated loops for WCET Path Analysis
789
Symbolic simulation techniques-state-of-the-art and applications
790
Symbolic simulation using decision diagrams
791
Symbolic simulation: a new approach to automated electronic circuit design
792
Symbolic simulation: theory and application to protocol modeling and validation
793
Symbolic simulation-techniques and applications
794
Symbolic Simulators of Digital Circuits
795
Symbolic small-signal analysis (SSA) tool
796
Symbolic Small-Signal Analysis of Various Amplifiers
797
Symbolic software model validation
798
Symbolic Solution of Kronecker-Based Structured Markovian Models
799
Symbolic solution of networks by digital computer
800
Symbolic solution of non-Markovian jump linear quadratic (JLQ) systems
801
Symbolic solution of simultaneous linear algebraic equations via parallel numerical computing
802
Symbolic solution of the multiconductor transmission-line equations for lines containing shielded wires
803
Symbolic space modeling based on WiFi network data analysis
804
Symbolic speaker adaptation with phone inventory expansion
805
Symbolic stability analysis under relaxed non-separate condition with new fuzzy inference method
806
Symbolic State Space Exploration of RT Systems in the Cloud
807
Symbolic Statistical Analysis of SNR Variation for Delta–Sigma Modulators
808
Symbolic Statistics with SymPy
809
Symbolic step response analysis of electronic circuits
810
Symbolic sub-systems and symbolic control of linear systems
811
Symbolic Supervisory Control of Distributed Systems With Communications
812
Symbolic Supervisory Control of Timed Discrete Event Systems
813
Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control
814
Symbolic synthesis as a tool for circuit optimization
815
Symbolic synthesis of analog-to-digital conversion architectures using direct-mapping techniques
816
Symbolic synthesis of clock-gating logic for power optimization of control-oriented synchronous networks
817
Symbolic synthesis of non-linear data converters
818
Symbolic synthesis of parallel processing systems
819
Symbolic Synthesis of Supervisory Controllers
820
Symbolic system level reliability analysis
821
Symbolic system synthesis in the presence of stringent real-time constraints
822
Symbolic System Time in Distributed Systems Testing
823
Symbolic techniques addressed to the fault diagnosis of large linear electric circuits
824
Symbolic techniques applied to switched-current ADCs synthesis
825
Symbolic techniques for model-based design of hybrid electric vehicles
826
Symbolic techniques for performance analysis of timed systems based on average time separation of events
827
Symbolic techniques for statistical timing analysis of RCL mesh networks with resistor loops
828
Symbolic techniques in neural network based fault diagnosis of analog circuits
829
Symbolic techniques: A new tool for teaching circuits and electronics
830
Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions
831
Symbolic test generation for hierarchically modeled digital systems
832
Symbolic Testing and the DISSECT Symbolic Evaluation System
833
Symbolic time separation of events
834
Symbolic time series analysis based health condition forecasting in complex electronic systems
835
Symbolic time series analysis for measuring complexity in radar emitter signals
836
Symbolic time series analysis of the soft starting transient in induction machines
837
Symbolic Time Series Representation for Stream Data Processing
838
Symbolic time-domain behavioral and performance modeling of linear analog circuits using an efficient symbolic Newton-iteration algorithm for pole extraction
839
Symbolic time-series analysis for anomaly detection in mechanical systems
840
Symbolic time-varying root-locus analysis for oscillator design
841
Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths
842
Symbolic timing analysis of asynchronous systems
843
Symbolic timing simulation using cluster scheduling
844
Symbolic Timing Verification Of Timing Diagrams Using Presburger Formulas
845
Symbolic to genetic tuning of PID controllers
846
Symbolic to numerical conversion of DNA sequences using finite-context models
847
Symbolic tools for verification of large scale DEDS
848
Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU
849
Symbolic transfer functions for MESFET small-signal parameter extraction
850
Symbolic transient time-series analysis for fault detection in aircraft gas turbine engines
851
Symbolic traversals of data paths with auxiliary variables
852
Symbolic Treatment of Certain Selector Functions
853
Symbolic Twilight [Microwave Bytes]
854
Symbolic two and three dimensional picture retrieval
855
Symbolic two-level minimization
856
Symbolic Universal Composability
857
Symbolic user-defined periodicity in temporal relational databases
858
Symbolic Vector Dynamics Approach to Initial Condition and Control Parameters Estimation of Coupled Map Lattices
859
Symbolic vector dynamics for processing chaotic signals I: Communication
860
Symbolic vector dynamics for processing chaotic signals II: Noise reduction
861
Symbolic verification and error prediction methodology
862
Symbolic verification of Boolean constraints over partially specified functions
863
Symbolic verification of CMOS synchronous circuits using characteristic functions
864
Symbolic verification of executable control specifications
865
Symbolic verification of hardware systems
866
Symbolic verification of infinite systems using a finite union of DFAs
867
Symbolic verification of requirements in VRS system
868
Symbolic verification of synthesized RTL using Boolean satisfiability and uninterpreted RTL transformations
869
Symbolic verification of timed asynchronous hardware protocols
870
Symbolic verification of web crawler functionality and its properties
871
Symbolic vs. connectionist learning: an experimental comparison in a structured domain
872
Symbolic/neural recognition of cursive amounts on bank cheques
873
Symbolic/numeric computations for feedback control system design
874
Symbolic/Numeric Steady-State Contingency Analysis of Electric Power Systems
875
Symbolic/numeric steady-state contingency analysis of electric power systems
876
Symbolic/Numerical Nonlinear Circuit Analysis Using Volterra Series
877
Symbolical singular value decomposition for a 7-DOF manipulator and its application to robot control
878
Symbolically aided model development for an induction machine in virtual test bed
879
Symbolically defined empirical large-signal model for HBTs compared to the Gummel-Poon model
880
Symbolically defined non-linear device modelling including self heating effects in GaAs DHBTs
881
Symbolically synthesizing small circuits
882
Symbolically-aided simulation of nonlinear passive components
883
Symbolic-based motion control method for wheeled mobile robots
884
Symbolic-numeric circuit analysis or symbolic circuit analysis with online approximations
885
Symbolic-Numeric Cooperation in an Open Science Project
886
Symbolic-numeric co-simulation of large analogue circuits
887
Symbolics Architecture
888
Symbolics in control design: prospects and research issues
889
Symbol-index-feedback polar coding schemes for low-complexity devices
890
Symbol-interleaver design for turbo trellis-coded modulation
891
Symbol-intersecting codes
892
Symbol-intersecting codes
893
Symbolism and connectionism of artificial intelligence
894
Symbolization of time-series: An evaluation of SAX, Persist, and ACA
895
Symbolized particles store type neuron model and its application
896
Symbol-level adaptive modulation for coded OFDM on block fading channels
897
Symbol-level combining for hybrid ARQ on interference-aware successive decoding
898
Symbol-level detection: A new approach to silencing hidden terminals
899
Symbol-Level Network Coding Based Wireless Video Conference System
900
Symbol-level Rake MMSE receiver for asynchronous DS/CDMA systems in multipath fading channels
901
Symbol-level random network coded cooperation with hierarchical modulation in relay communication
902
Symbol-level selective decode-forward relaying for uncoordinated dense wireless networks
903
Symbol-Level Synchronization and LDPC Code Design for Insertion/Deletion Channels
904
Symbol-level synchronization using probability lookup-table for IDS error correction
905
Symbol-MAP-based trellis vector quantization
906
Symbology and Communication
907
Symbology evaluation for strategic weather information on the flight deck
908
Symbol-pair codes: Algebraic constructions and asymptotic bounds
909
Symbol-parallel Vlc Decoding Architecture For Hdtv Application
910
Symbol-rate blind equalization based on constrained blind separation
911
Symbol-Rate Dependence of Dominant Nonlinearity and Reach in Coherent WDM Links
912
Symbol-rate detection by a power-series-nonlinear envelope detector receiver
913
Symbol-rate estimation based on filter bank
914
Symbol-Rate Second-Order Blind Channel Estimation in Coded Transmissions
915
Symbol-rate timing error detectors for DSL transceivers
916
Symbol-rate timing recovery comprising the optimum signal-to-noise ratio in a digital subscriber loop
917
Symbol-rate-variable DQPSK receiver fabricated using CMOS-compatible process
918
Symbols and notation
919
Symbols and Rules for a Self-Explanatory Machine Model
920
Symbols facilitate programming of industrial robots
921
Symbols for Cockpit Displays of Traffic Information
922
Symbols for Electricity and Electronics
923
Symbols for heat and thermodynamics
924
Symbols for photometry and illumination approved as American standard
925
Symbols for Proofreading Your Own Copy or What to Do while Waiting for the Printer
926
Symbols for space co-ordinates
927
Symbols for space co-ordinates
928
Symbols for space co-ordinates
929
Symbols for space co-ordinates
930
Symbols recognition by global-local structural approaches, based on the scenarios use,and with a XML representation of data
931
Symbol-spaced delay circuit design with half-rate clock timing for multi-taps FIR filter as pre-emphasis
932
Symbol-timing estimation in space-time coding systems based on orthogonal training sequences
933
Symbol-timing recovery for M-PSK modulation schemes using the signum function
934
Symbol-Timing Recovery with Modified Gardner Detectors
935
Symbol-timing synchronization in space-time coding systems using orthogonal training sequences
936
Symbol-to-symbol performance evaluation of densely populated asynchronous DS-CDMA in Gaussian and impulsive noise environments: a Fourier-Bessel series approach
937
Symbol-wavelength MMSE gain in a multi-antenna UWB system
938
Symbol-Wise Beamforming for Co-Channel Interference Reduction in MIMO-OFDM Systems
939
Symbol-wise beamforming for MIMO-OFDM transceivers in the presence of co-channel interference and spatial correlation
940
Symbol-Wise Beamforming with Limited Feedback for MIMO-OFDM Systems
941
Symbol-Wise Chase Decoding of q-ary Block Codes over BI-AWGN Channels
942
Symbolwise graph-cover decoding: Connecting sum-product algorithm decoding and bethe free energy minimization
943
Symbol-wise processing implementation of semi-iterative turbo principle in multi-hop relay networks
944
SymbricatorRTOS: A flexible and Dynamic framework for bio-inspired robot control systems and evolution
945
SymbSI-a program for the symbolic signal flow graph generation of switched current circuits
946
SYMCAD: synthesis of microprogrammed control for automated VLSI design
947
Symcell II - A Second-generation Symbolic Standard Cell System
948
SYMCELL-a symbolic standard cell design system
949
SYMCELL-a symbolic standard cell system
950
SYMCON: Symbolic Computation Controller package for use with MapleV
951
Symerton--using virtualization to accelerate packet processing
952
Symetry analysi & magnetis resonance for hexagonal barium ferrite
953
SymFET: A proposed symmetric graphene tunneling field effect transistor
954
SymFET: A Proposed Symmetric Graphene Tunneling Field-Effect Transistor
955
SYM-FISH: A Symmetry-Aware Flip Invariant Sketch Histogram Shape Descriptor
956
SYMFONET: interconnect technology for multinode computing
957
SYMFONET: ultra-high-capacity distributed packet switching network for telecoms and multiprocessor computer applications
958
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information
959
SyMGiza++: A tool for parallel computation of symmetrized word alignment models
960
SymGrid: A Framework for Symbolic Computations on the Grid
961
SYMIAN: Analysis and performance improvement of the IT incident management process
962
SyMiC, a Methodology for the Pinpointing and Utilization of Natural Products: A Review and Future Prospects
963
Symilarity of standards and models according to risk management process for software development
964
SymMatch: Secure and privacy-preserving symptom matching for mobile healthcare social networks
965
Symmetric α-stable sparse linear regression for musical audio denoising
966
Symmetric
-Gb/s DSP-Enhanced TWDM-PON With DSB Modulation and RSOA
967
Symmetric 10 Gb/s WDM-PON based on a cross wavelength-reusing scheme to avoid rayleigh backscattering and maximize band usage
968
Symmetric 10 Gbit/s WDM-PON based on cross-wavelength reuse to avoid Rayleigh backscattering and maximise band usage
969
Symmetric 10 Gbit/s WDM-PONs with remote pumping and channel fault monitoring
970
Symmetric 100-Gb/s TWDM-PON with DSB OFDM modulation
971
Symmetric 10Gb/s transmission with IM-IM remodulation in extended WDM PONs
972
Symmetric 10-Gb/s WDM-PON Using Directly Modulated Lasers for Downlink and RSOAs for Uplink
973
Symmetric 10G-EPON ONU burst-mode transceiver employing dynamic power save control circuit
974
Symmetric 10G-EPON ONU transceiver integrated with newly-developed burst-mode pre-bias timing control IC
975
Symmetric 2.5 Gb/s RSOA-based WDM-PON with electronic equalization and overlapped-subcarrier multiplexing
976
Symmetric 3D passive components for RF ICs application
977
Symmetric 3D passive components for RF ICs application
978
Symmetric 40-Gb/s TWDM-PON With 39-dB Power Budget
979
Symmetric 40-Gb/s, 100-km Passive Reach TWDM-PON with 53-dB Loss Budget
980
Symmetric 4-Band Dual Frames with Rational Coefficients
981
Symmetric Absorbers Realized as Gratings of PEC Cylinders Covered by Ordinary Dielectrics
982
Symmetric Active/Active High Availability for High-Performance Computing System Services: Accomplishments and Limitations
983
Symmetric Active/Active Replication for Dependent Services
984
Symmetric adaptive customer modeling in an electronic store
985
Symmetric Adaptive Decorrelation for I/Q imbalance compensation in narrowband receivers
986
Symmetric adaptive maximum likelihood estimation for noise cancellation and signal separation
987
Symmetric adaptive predictive structure for tracking channel non-stationarities
988
Symmetric algorithmic differentiation based exact Hessian SQP method and software for Economic MPC
989
Symmetric Allocations for Distributed Storage
990
Symmetric alpha-stable filter theory
991
Symmetric alpha-stable filter theory
992
Symmetric and Asymmetric Design and Implementation of New Cascaded Multilevel Inverter Topology
993
Symmetric and asymmetric mode interaction in high-power traveling wave amplifiers: experiments and theory
994
Symmetric and asymmetric Slepian-Wolf codes with systematic and nonsystematic linear codes
995
Symmetric and asymmetric transformer based cascaded multilevel inverter with minimum number of components
996
Symmetric and asymmetric T-shaped plasmonic waveguides
997
Symmetric and Asymmetric Two-Hemidisk Quasi-Optical Dielectric Resonators
998
Symmetric and asymmetric two-hemidisk quasi-optical dielectric resonators
999
Symmetric and Compact Single-Pole Multiple-Throw (SP7T, SP11T) RF MEMS Switches
1000
Symmetric and programmable multi-chip module for rapid prototyping system
