ليست عنوان مقالات لاتين فني مهندسي Formaldehyde Gas Sensor Utilizing Self-heating NiO Thin Film and Pt Electrodes Formation of electric potential in a tokamak edge by limiter biasing

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

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

1

Formaldehyde Gas Sensor Utilizing Self-heating NiO Thin Film and Pt Electrodes

2

Formaldehyde Removal from Air by Adsorption - Photooxidation Technology

3

Formaldehyde Removal System with Corona Discharge and Manganese Oxide

4

Formaldehyde-free varnishing on stator core sheets to prevent formaldehyde emissions

5

Formalisation and animation of rules for oceanic aircraft separation

6

Formalisation and implementation of access control models

7

Formalisation and mapping of terminologies for Systems of Systems Engineering thesaurus

8

Formalisation and verification of programmable logic controllers timers in Coq

9

Formalisation d´une session collaborative sécurisée

10

Formalisation of interaction diagrams

11

Formalisation of transformation-based learning

12

Formalised approaches for multimedia design-are they used by Australian designers?

13

Formalised hybrid control scheme for a UAV group using Dubins set and model checking

14

Formalised Implementation of Safety Related HW/SW Architectures in Compliance with Functional Safety Requirements

15

Formalised method for effecting multiple modes in single MOS gated power devices

16

Formalised specification of a test tool for safety related communication

17

Formalising a CORE requirements model in the air traffic control domain

18

Formalising a derivation strategy for formal specifications from natural language requirements models

19

Formalising control in robust spoken dialogue systems

20

Formalising design patterns composition

21

Formalising Design Patterns in Predicate Logic

22

Formalising Dynamic Trust Negotiations in Decentralised Collaborative e-Health Systems

23

Formalising ERP selection criteria

24

Formalising Flash Memory: First Steps

25

Formalising humans in software processes

26

Formalising living labs to achieve organisational objectives in emerging economies

27

Formalising Message Exchange Patterns using BPEL Light

28

Formalising Middleware Systems: A Design Pattern-Based Approach

29

Formalising model transformation rules for UML/MOF 2

30

Formalising Natural Language Specifications Using a Cognitive Linguistics/Configuration Based Approach

31

Formalising ODP enterprise policies

32

Formalising of Transactional Memory Using Interval Temporal Logic (ITL)

33

Formalising pragmatic features of graph-based notations

34

Formalising process scheduling requirements for an aircraft operational flight program

35

Formalising replicated distributed processing

36

Formalising research methods for graduate programs in computer science

37

Formalising stories: sequences of events and state changes

38

Formalising system structure

39

Formalising the software evaluation process

40

Formalising Traffic Rules for Accountability of Autonomous Vehicles

41

Formalising VERILOG

42

Formalising visual languages

43

Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs

44

Formalism and informality in RE

45

Formalism and reuse in NoC design

46

Formalism for content-based retrieval multimedia systems

47

Formalism for high level specification of parallel/distributed languages

48

Formalism for information transfer in dynamical network

49

Formalism for Safe Component Upgrades

50

Formalism helps in describing accidents

51

Formalism of self-stabilization with linear temporal logic and its verification

52

Formalism of the Access Control Model Based on the Marqued Petri Nets

53

Formalism to Optimize Magnetic Noise in Giant Magnetoimpedance-Based Devices

54

Formalisms and structures: Keynote abstract

55

Formalisms for IT Management Process Representation

56

Formalisms for modelling the discrete manufacturing systems

57

Formalisms for ontology validation

58

Formality based genetic programming

59

Formality of the Security Specification Process: Benefits Beyond Requirements

60

Formality, Agility, Security, and Evolution in Software Development

61

Formalization and ´literate´ programming

62

Formalization and analyses of pose estimation from a single view

63

Formalization and analysis of Borda protocol using pi calculus

64

Formalization and analysis of dataflow in object-oriented design models

65

Formalization and analysis of timed BPEL

66

Formalization and automated detection of human errors

67

Formalization and completeness of evolving requirements using Contracts

68

Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy

69

Formalization and Development of Logic Based Emergency Response Systems Using Situation Calculus

70

Formalization and knowledge gaining problems in intellectual systems

71

Formalization and Management of Group Obligations

72

Formalization and proof of secrecy properties

73

Formalization and Rules for Recognition of Satirical Irony

74

Formalization and strictness of simulation event orderings

75

Formalization and Systematization of Differential Cryptanalysis Notions

76

Formalization and validation of a subset of the European Train Control System

77

Formalization and Verification of Automatic Composition Based on Pi-Calculus for Semantic Web Service

78

Formalization and verification of coherence protocols with the gamma framework

79

Formalization and Verification of Group Behavior Interactions

80

Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce

81

Formalization and Verification of PLC Timers in Coq

82

Formalization and Verification of REST Architecture in Viewpoints

83

Formalization and verification of safety properties of Statechart specifications

84

Formalization and Visualization of Non-binary PLC Programs

85

Formalization Assessment Criterion Attacks on Cryptosystems Using Elliptic Curves

86

Formalization based on XML path redundancy

87

Formalization Description and Instance Research on Particle Swarm Optimization Algorithm

88

Formalization description of artificial immune algorithms based on intelligent computation framework

89

Formalization description of estimation of distribution algorithms based on intelligent computation framework

90

Formalization description of genetic algorithms based on intelligent computation framework

91

Formalization in Programming Environments

92

Formalization Model and Safety Analyses of High Speed Train in CTCS-3 Control Mode

93

Formalization of a novel sugeno type adaptive fuzzy sliding mode controller for a class of nonlinear systems

94

Formalization of a Parameterized Parallel Adder Within the Coq Theorem Prover

95

Formalization of a realtime person-computer ensemble system with an effective matching algorithm

96

Formalization of a software architecture for embedded systems: a process algebra for SPLICE

97

Formalization of Architecture-Centric Model Mapping Using Category Theory

98

Formalization of clinical trial eligibility criteria: Evaluation of a pattern-based approach

99

Formalization of computer supported cooperative work applications

100

Formalization of confidence levels in verification efforts

101

Formalization of context-free grammars by means of modified algebra of algorithms

102

Formalization of context-free grammars by means of modified algebra of algorithms

103

Formalization of continuous Functions in Topological Spaces using Isabelle/HOL

104

Formalization of Contradicting Source Quantities and Boundary Conditions in Quasi-Statics

105

Formalization of digital forensic theory by using Buchi Automaton

106

Formalization of discovery and communication mechanisms of Tuple Space based Mobile Middleware for underlying unreliable infrastructure

107

Formalization of Entities for Agent Based Simulation Using Situation Calculus: A Specific Case Study of Fire Emergency Response

108

Formalization of Fashion Sensory Data Based on Fuzzy Set Theory

109

Formalization of financial problems and solutions under risk as an essential requirement for IT-based financial planning

110

Formalization of finite state machines with data path for the verification of high-level synthesis

111

Formalization of Functional Aspects in Business Software Globalization

112

Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar

113

Formalization of Generalized Constraint Language: A Crucial Prelude to Computing With Words

114

Formalization of information-theoretic security for key agreement, revisited

115

Formalization of ISDN LAPD for conformance testing

116

Formalization of Link Farm Structure Using Graph Grammar

117

Formalization of Mapping Rules from iStar to Class Diagram in UML

118

Formalization of Memory Transfer Language with C, C++ and Java on the Mold of Register Transfer Language

119

Formalization of multiagent reasoning

120

Formalization of Multi-Dimensional Responsibility Taylorism versus Socio-Technical Systems Design

121

Formalization of multi-resolution modeling based on dynamic structure DEVS

122

Formalization of mutual exclusion algorithms in N-labeled calculus

123

Formalization of natural language queries

124

Formalization of opportunistic switching for context-adaptive vision systems

125

Formalization of PLC programs to sustain reliability

126

Formalization of protocol engineering concepts

127

Formalization of Receipt-Freeness in the Context of Electronic Voting

128

Formalization of Recurrent Uses of e-Learning Tools as Reusable Pedagogical Activities

129

Formalization of reliability model for assessment and prognosis using proactive monitoring mechanism

130

Formalization of security properties using VDM-SL

131

Formalization of self-route networks and the rotary switch

132

Formalization of sequential function chart as synchronous model in LUSTRE

133

Formalization of software testing criteria using the Z notation

134

Formalization of the general rules of the Hoare logic using S-formulas

135

Formalization of the interval circuit analysis

136

Formalization of the IT Audit Management Process

137

Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks

138

Formalization of the Paper Registration Process to Institutional Repositories

139

Formalization of the protein production by means of Petri nets

140

Formalization of the variable-length source coding theorem: Direct part

141

Formalization of the Whole-Part relationship in the Unified Modeling Language

142

Formalization of UML class diagram using description logics

143

Formalization of UML Composition in OCL

144

Formalization of UML Models by RTPA

145

Formalization of UML object dynamics and behavior

146

Formalization of UML statechart diagrams in the π-calculus

147

Formalization of UML use case diagram-a Z notation based approach

148

Formalization of variation process of information networks´ users´ quantity

149

Formalization Of VHDL Synthesis Procedure In Higher-order Logic

150

Formalization of virtual enterprise using CPL (case: Electronic marketplace)

151

Formalization of Viruses and Malware Through Process Algebras

152

Formalization the task of increasing the websites attendance based on management the dynamics of their characteristics

153

Formalizations and algorithms for optimized parallel protocol implementation

154

Formalize the software quality measurement for heterogeneous requirements

155

Formalize UML 2 Sequence Diagrams

156

Formalized analysis of structural characteristics of large complex systems

157

Formalized analysis of the web-site structure

158

Formalized answer extraction technology based on pattern learning

159

Formalized approach for managing IS-enabled organizational transformation

160

Formalized Description and Analysis of FTP on Petri Net

161

Formalized Description of Service View within C4ISR Architecture Framework

162

Formalized Description of Workflow Exception Handlings Based on Automaton

163

Formalized Dynamic Modeling Methods for Web-Based Collaborative Business Negotiation Systems using CPN

164

Formalized Dynamic Modeling of Web-Based Collaborative Negotiation Systems

165

Formalized Hardware Design Process by an Example of Building Energy Efficient Sensor Network for Computational Algorithm

166

Formalized Method Based on Extenics for Information Security Risk Identification

167

Formalized Method to Obtain Optimal Coefficients for Sculling Algorithms

168

Formalized methodology for data reuse exploration in hierarchical memory mappings

169

Formalized methodology for data reuse: exploration for low-power hierarchical memory mappings

170

Formalized model and implementation of service visualization

171

Formalized model of the zone presence of biological objects structures

172

Formalized procedures of software reliability models analysis and synthesis

173

Formalized Representation of EGP Process Based on Multi-agent

174

Formalized Research on Incompatibility Problems in Marketing

175

Formalized restoration of ultrasonic tomograms

176

Formalized security model of identity-based multi-proxy signature

177

Formalized security model of multi-proxy signature schemes

178

Formalized three-layer system-level model and reuse methodology for embedded data-dominated applications

179

Formalized three-layer system-level reuse model and methodology for embedded data-dominated applications

180

Formalized timing diagrams

181

Formalizing "Traceability\´ for Architectural Evolutions

182

Formalizing a design technique for distributed programs

183

Formalizing a Framework for Dynamic Hybrid Strategy Models in Distributed Interactive Applications

184

Formalizing a Methodology for Design- and Runtime Self-Healing

185

Formalizing a Systematic Review Updating Process

186

Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Development

187

Formalizing agility, part 2: how an agile organization embraced the CMMI

188

Formalizing agility: an agile organization´s journey toward CMMI accreditation

189

Formalizing air traffic control system using agent-based Mobile Petri Nets

190

Formalizing an abstract architecture for the alternative data source utilized during system availability under intrusion threat

191

Formalizing an empirical model: A way to enhance the communication between users and designers

192

Formalizing an engineering approach to cooperating knowledge-based systems

193

Formalizing Analytical Discourse in Visual Analytics

194

Formalizing and analyzing service oriented software architecture style

195

Formalizing and Analyzing the Train-to-Wayside Network System for CBTC

196

Formalizing and automating component reuse

197

Formalizing and Checking SET Protocol Based on TLA

198

Formalizing and Enforcing Purpose Restrictions in Privacy Policies

199

Formalizing and integrating the dynamic model for object-oriented modeling

200

Formalizing and Integrating the Dynamic Model within OMT

201

Formalizing and Modeling Fairness for Benefit Distribution in Collaborations

202

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract)

203

Formalizing Anonymous Blacklisting Systems

204

Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification

205

Formalizing architectural connection

206

Formalizing architectural refactorings as graph transformation systems

207

Formalizing AspectJ Weaving for Static Pointcuts

208

Formalizing big data processing lifecycles: Acquisition, serialization, aggregation, analysis, mining, knowledge representation, and information dissemination

209

Formalizing Business Process Execution Language Based on Petri Nets

210

Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems

211

Formalizing certain tasks for processor architecture verification

212

Formalizing certificate management systems

213

Formalizing class diagram in UML

214

Formalizing Class Dynamic Software Updating

215

Formalizing cognitive and motor strategy of haptic exploratory movements of individuals who are blind

216

Formalizing conceptual knowledge using linear method: Opportunities and challenges

217

Formalizing consistent dynamic updates for component-based software

218

Formalizing correctness criteria of dynamic updates derived from specification changes

219

Formalizing COSMIC-FFP using ROOM

220

Formalizing data mining with association rules

221

Formalizing Delegation Authorization of Workflow Using Graph Transformation with Variables

222

Formalizing design patterns

223

Formalizing designer´s preferences for multiattribute optimization with application to leakage-delay tradeoffs

224

Formalizing electrocardiogram (ECG) signal behavior in event-B

225

Formalizing Enterprise Architecture Decision Models Using Integrity Constraints

226

Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification

227

Formalizing executable dynamic and forward slicing

228

Formalizing for querying learning objects using OWL

229

Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels

230

Formalizing Fuzzy UML Class Diagrams with Fuzzy Description Logics

231

Formalizing geographical models using specification and description language: The wildfire example

232

Formalizing Google File System

233

Formalizing governance in virtual districts

234

Formalizing hardware/software interface specifications

235

Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity

236

Formalizing incremental design in real-time area: SCTL/MUS-T

237

Formalizing informal social behavior - developing a visual tool to support collaborative discussions

238

Formalizing Informal Stakeholder Decisions--A Hybrid Method Approach

239

Formalizing MapReduce with CSP

240

Formalizing MDA-Based Refactorings

241

Formalizing MDA-Based Reverse Engineering Processes

242

Formalizing meta-programming techniques to reconcile heterogeneous scheduling disciplines in open distributed real-time systems

243

Formalizing mobile agent system model based on ontology

244

Formalizing Mobile Cloud Service Migration with Event-B

245

Formalizing Mobility in Dynamic Location-Aware Sensor Networks

246

Formalizing models and meta-models for system development extended abstract

247

Formalizing Multi-Agent Planning Domains with Sorted Actions

248

Formalizing multi-agent POMDP´s in the context of network routing

249

Formalizing Multi-state Learning Dynamics

250

Formalizing neural networks using graph transformations

251

Formalizing object membership in fuzzy ontology with property importance and property priority

252

Formalizing Object Oriented Design Patterns with Object-Z

253

Formalizing Object Typicality in Context-Aware Ontology

254

Formalizing ODP computational viewpoint specifications in Maude

255

Formalizing Operations And Relationships On Objects To Support Dynamic Refinement Of Process Models Instances

256

Formalizing Operations Intent and Effects for Network-Centric Applications

257

Formalizing operator requirements for the development of telecommunications networks and services

258

Formalizing Over Design and Under Design of Value Engineering for Context-Aware Cloud Service Development

259

Formalizing perspectival defeasible reasoning

260

Formalizing Practical Reasoning Under Uncertainty: An Argumentation-Based Approach

261

Formalizing prioritized consistency management in requirement engineering

262

Formalizing quantum computation

263

Formalizing Randomized Matching Algorithms

264

Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems

265

Formalizing Safety Requirements Using Controlling Automata

266

Formalizing Semantic Differences between Combining Algorithms in XACML 3.0 Policies

267

Formalizing semantic workflow in term of pi- calculus

268

Formalizing Semantics of OWL-S Process Model

269

Formalizing sensitivity in static analysis for intrusion detection

270

Formalizing Service-Oriented Architectures

271

Formalizing Signature Analysis for Control Flow Checking of Pipelined RISC Microprocessors

272

Formalizing software development methods

273

Formalizing software engineering standards

274

Formalizing specification modeling in OOA

275

Formalizing spider diagrams

276

Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering

277

Formalizing System Behavior for Evaluating a System Hang Detector

278

Formalizing the Cloud through Enterprise Topology Graphs

279

Formalizing the Coding Rules of Clinical Terminology on Traditional Chinese Medicine Using Formal Concept Analysis

280

Formalizing the design of a collaborative system by Petri nets

281

Formalizing the design, evaluation, and analysis of quality of protection in wireless networks

282

Formalizing the Effect of Feistel Cipher Structures on Differential Cache Attacks

283

Formalizing the framework design language F-UML

284

Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter

285

Formalizing the informal, precisiating the imprecise: How fuzzy logic can help mathematicians and physicists by formalizing their intuitive ideas

286

Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard

287

Formalizing the learner model for CSCL environments

288

Formalizing the Management Automation with Workflow of Software Development Process Based on the SPEM Activities View

289

Formalizing the movement of microparticles in a continuous flow microfluidic device for field flow fractionation

290

Formalizing the multiple abstraction process within the G-KRA model framework

291

Formalizing the Role of Goals in the Development of Domain-Specific Ontological Frameworks

292

Formalizing the semantics of ASCEND

293

Formalizing the semantics of UML statecharts with Z

294

Formalizing the situation of a business process activity

295

Formalizing the specification of model integrated program synthesis environments

296

Formalizing the Structure and Behaviour of Context-Aware Systems in Bigraphs

297

Formalizing UML class diagrams-a hierarchical predicate transition net approach

298

Formalizing UML collaborations by using description logics

299

Formalizing Web Service Choreography Interface

300

Formalizing Workflow with Location Constraints by Colored Petri Nets

301

Formalizing, Implementing and Reusing Controller´s Behaviors and Interactions

302

Formally analysing a security protocol for replay attacks

303

Formally Analyzing Software Vulnerability Based on Model Checking

304

Formally assessing an instructional tool: a controlled experiment in software engineering

305

Formally Certifying the Security of Digital Signature Schemes

306

Formally comparing user and implementer model-based testing methods

307

Formally Composing Components in Product Line Context

308

Formally correct translation of DSP algorithms specified in an asynchronous applicative language

309

Formally Counting Electronic Votes (But Still Only Trusting Paper)

310

Formally defining NFC M-coupon requirements, with a case study

311

Formally designing Web services for mobile team collaboration

312

Formally developing creative leadership as a driver of organizational innovation

313

Formally expressing HIPAA privacy policies for web services

314

Formally modeling a metal processing plant and its closed loop specifications

315

Formally modeling and analyzing a secure mobile agent finder

316

Formally Modeling and Analyzing the Reliability of Composite Service Evolution

317

Formally modeling and verifying Ricart&Agrawala distributed mutual exclusion algorithm

318

Formally Proved Anti-tearing Properties of Embedded C Code

319

Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code

320

Formally specified monitoring of temporal properties

321

Formally specifying and mechanically verifying programs for the Motorola complex arithmetic processor DSP

322

Formally specifying and verifying real-time systems

323

Formally specifying engineering design rationale

324

Formally specifying real-time Ada software

325

Formally Specifying Requirements with RSL-IL

326

Formally specifying temporal constraints and error recovery

327

Formally specifying the syntax and semantics of a visual query language for the domain of high energy physics data analysis

328

Formally testing fail-safety of electronic purse protocols

329

Formally verifiable features in embedded vehicular security systems

330

Formally Verified Argument Reduction with a Fused Multiply-Add

331

Formally verified authenticated query dissemination in sensor networks

332

Formally verified Byzantine agreement in presence of link faults

333

Formally verified on-line diagnosis

334

Formally verified redundancy removal

335

Formally Verifying a Microprocessor Using a Simulation Methodology

336

Formally verifying an RTOS scheduling monitor IP core in embedded systems

337

Formally Verifying the Distributed Shared Memory Weak Consistency Models

338

FORMAN-Program formal annotation language

339

Formant AM-FM for speaker identification

340

Formant Analysis and Mathematical Model of Kazakh Vowels

341

Formant analysis and vowel classification methods

342

Formant analysis in assessment of the quality of choral singers

343

Formant analysis of breath and snore sounds

344

Formant Analysis of Punjabi Non-nasalized Vowel Phonemes

345

Formant analysis using mixtures of Gaussians

346

Formant based analysis of emphaticness property in MSA Arabic

347

Formant based linear prediction coefficients for speaker identification

348

Formant coding of speech using dynamic programming

349

Formant contour estimation in noise: comparison of a new zero-crossing based method with other spectral estimators

350

Formant data analysis from averaged short-time spectra

351

Formant Detection Through Instantaneous-frequency Estimation Using Recursive Least Square Algorithm

352

Formant distortion after codecs for Arabic

353

Formant Estimation Algorithm Based on Digital Waveguide Models

354

Formant estimation algorithm based on pole focusing offering improved noise tolerance and feature resolution

355

Formant estimation algorithm based on pole focusing offering improved noise tolerance and feature resolution

356

Formant estimation by LPC with a new error criterion

357

Formant estimation for speech recognition

358

Formant estimation from cepstral coefficients using a feedforward memoryless neural network

359

Formant estimation method using inverse-filter control

360

Formant estimation of speech and singing voice by combining wavelet with LPC and Cepstrum techniques

361

Formant estimation of speech signals using subspace-based spectral analysis

362

Formant estimation of whispered speech based on pole interaction

363

Formant estimation of whispered speech based on spectral segmentation

364

Formant estimation system based on weighted least-squares lattice filters

365

Formant estimation system based on weighted least-squares lattice filters

366

Formant estimation using singular value decomposition

367

Formant excitation before and after glottal closure

368

Formant excursion in singing synthesis

369

Formant extraction algorithm in error

370

Formant extraction from Fourier transform phase

371

Formant extraction from group delay function

372

Formant extraction from phase using weighted group delay function

373

Formant features statistical analysis of male and female emotional speech in Czech and Slovak

374

Formant frequencies of normal breath sounds of snorers may indicate the risk of Obstructive Sleep Apnea Syndrome

375

Formant frequency as an effective treatment for non-invasive assessment of menstrual cycle

376

Formant frequency estimation in noise

377

Formant frequency estimation of phonemes of Assamese speech

378

Formant frequency estimation using a Mel-scale LPC algorithm

379

Formant frequency estimation with windowless autocorrelation in the presence of noise

380

Formant labelling using pole-focused spectra

381

Formant location from LPC analysis data

382

Formant map counterpart in auditory processing based on cochlear pressure wave trajectories

383

Formant representation of parameters for a channel vocoder

384

Formant speech synthesis: improving production quality

385

Formant Synthesis of Haegeum: A Sound Analysis/Synthesis System Using Cepstral Envelope

386

Formant tones: weak components at formant frequencies actively generated in the vocal tract

387

Formant tracking by mixture state particle filter

388

Formant Tracking Using Context-Dependent Phonemic Information

389

Formant Tracking using Fixed and Adaptive Sine Liftering

390

Formant tracking using hidden Markov models

391

Formant tracking using hidden Markov models and vector quantization

392

Formant tracking using the wavelet-based DST

393

Formant tracking with quasilinearization

394

Formant trajectories in linguistic units for text-independent speaker recognition

395

Formant transition detection in isolated vowels with transitions in initial and final position

396

Formant Vowel Structure Tracking by Goertzel Algorithm

397

Formant weighted cepstral feature for LSP-based speech recognition

398

Formant-based acoustic features for cow´s estrus detection in audio surveillance system

399

Formant-based analysis of vowels in Modern Standard Arabic—Preliminary results

400

Formant-based feature extraction for emotion classification from speech

401

Formant-Based Robust Voice Activity Detection

402

Formant-based technique for automatic filled-pause detection in spontaneous spoken english

403

Formant-modulation method of speech intelligibility evaluation: Measuring and exactness

404

Formants Based Analysis for Speech Recognition

405

Formants Measurement for Esophageal Speech Using Wavelets with Band and Resolution Adjustment

406

Formants Of Visual Evoked Response As Signature Of Photostimulation

407

408

Format A4. Edition 300 copies

409

Format A4. Edition 300 copies

410

Format Compliant Degradation for PNG Image

411

Format compliant RoI encryption of JPEG XR bitstreams based on tiling

412

Format considerations for composite digital video tape recording

413

Format Conversion From 120-Gb/s RZ-D8PSK to 80-Gb/s RZ-DQPSK Through FWM-Based Optical Phase Erasure

414

Format conversion from QPSK to BPSK using wavelength-shift-free FWM and interference

415

Format conversion of optical data using four-wave mixing in semiconductor optical amplifiers

416

Format Conversion of Optical Multilevel Signals Using FWM-Based Optical Phase Erasure

417

Format converter IC for field sequential color display

418

Format detection for DVD+ReWritable 4.7 GB

419

Format for Branching Programs in Automated Instruction

420

Format free wavelength conversion by OSSB modulator and AWG

421

Format independent encryption of generalized scalable bit-streams enabling arbitrary secure adaptations [multimedia communication applications]

422

Format mediation for matching patient records in a three-layer information architecture

423

Format of E & P

424

Format of E & P

425

Format of E & P

426

Format of Pre Recorded R-DAT Tape and Results of High Speed Duplication

427

Format of Students´ Quarterly Journal

428

Format selection and the treatment effects on chain businesses outlet performance: A self-selection approach

429

430

Format wars all over again

431

Format-agnostic wavelength conversion and its applications for optical networks

432

Format-Compliant Encryption of H.264/AVC and SVC

433

Format-compliant encryption techniques for high efficiency video coding

434

Format-Compliant Entropy Coding Encryption Algorithms for Wireless Video System

435

Format-compliant perceptual video encryption based on multiple description coding

436

Format-compliant selective scrambling for multimedia access control

437

Formated Navigation of Mobile Robots with Obstacle Avoidance

438

Format-Independent Authentication of Arbitrary Scalable Bit-Streams using One-Way Accumulators

439

Format-Independent Media Delivery, Applied to RTP, MP4, and Ogg

440

Format-Independent Motion Content Description based on Spatiotemporal Visual Sensitivity

441

Format-Independent Multimedia Streaming

442

Format-Independent Protection of DNA Microarray Images

443

Format-Independent Rich Media Delivery Using the Bitstream Binding Language

444

Format-independent scalable bit-stream adaptation using MPEG-21 DIA

445

Formation & path tracking control for multiple unmanned ships

446

Formation 1-2 floors of inhabited building in the historical centre of Tomsk

447

Formation acquisition sensor for the Terrestrial Planet Finder (TPF) mission

448

Formation adaptation control of autonomous robots in a dynamic environment

449

Formation analysis and feasibility for high-order linear time-invariant swarm systems with time delays

450

Formation and Acceleration of Nanosecond Beam Pulses in an Isochronous Cyclotron

451

Formation and acceleration of precompressed compact tori in RACE

452

Formation and activation of feature hierarchies under reinforcement

453

Formation and agreement problems for synchronous mobile robots with limited visibility

454

Formation and amplification of flat top picosecond pump pulses for OPCPA systems

455

Formation and analysis of competencies in elite engineering specialists

456

Formation and analysis of shallow arsenic profiles

457

Formation and annihilation characteristics of space charge in PE/EVA interfaces

458

Formation and annihilation of Cu conductive filament in the nonpolar resistive switching Cu/ZrO2:Cu/Pt ReRAM

459

Formation And Annihilation Of Edge Walls In Thin-film Permalloy Strips

460

Formation and annihilation of edge walls in thin-film Permalloy strips

461

Formation and annihilation of the metastable defect in boron-doped Czochralski silicon

462

Formation and anomalous properties of fractals

463

Formation and antibacterial action of Pt and Pd nanoparticles sputtered into liquid

464

Formation and automatic calculation of the dynamic time parallax in binocular vision system

465

Formation and catalytic performance of novel colourful BiOI photocatalysts with adjustable bandgap under visible light

466

Formation and characterisation of nanoporous TiO₂ layers on microroughened titanium surfaces by electrochemical anodisation

467

Formation and characteristics of a semiconductor field emission cathode

468

Formation and characteristics of the Si-O-C-H composite films with low dielectric constant deposited by O/sub 2//BTMSM-ICPCVD

469

Formation and characteristics of wide band gap II-VI semiconductor quantum dots

470

Formation and Characterization of 1.5-Monolayer Self-Assembled InAs/GaAs Quantum Dots Using Postgrowth Annealing

471

Formation and characterization of Al_xMo_1-x/n-InP alloy electrode system for realization of thermally stable ohmic contacts

472

Formation and characterization of aluminum-oxide by stack-layered metal structure Schottky diode

473

Formation and characterization of Au-Al2O3-native oxide-HgCdTe structures

474

Formation and characterization of CdS_xTe_1-x alloys prepared from thin film couples of CdS and CdTe

475

Formation and characterization of CdSe thin films on Ni substrate

476

Formation and characterization of cobalt-reinforced Sn-3.5Ag solder

477

Formation and characterization of dry bands in clean fog on polluted insulators

478

Formation and characterization of ferroelectric Sr₂Nb₂O₇ thin film for MFMIS-FET type non-volatile memory

479

Formation and Characterization of Filamentary Current Paths in $\\hbox {HfO}_{2}$ -Based Resistive Switching Structures

480

Formation and characterization of hexagonal patterns in a single feedback experiment with synthetic kerr-nonlinearity

481

Formation and characterization of III-V native oxides for optoelectronic applications

482

Formation and characterization of mechanically induced MZI in optical fiber

483

Formation and characterization of multi-layered nanocavities in silicon with cascade helium implantation/anneal

484

Formation and characterization of silicon self-assembled nanodots

485

Formation and characterization of sputtered thin film for optimizing multilayered interconnection structure

486

Formation and characterization of tin layers for metal gate electrodes of CMOS capacitors

487

Formation and Characterization of Ultra-Sensitive Surface Plasmon Resonance Sensor Based Upon a Nano-Scale Corrugated Multi-Layered Coated D-Shaped Optical Fiber

488

Formation and characterization of ultra-thin Ni silicides on strained and unstrained silicon

489

Formation and characterizations of Porous 3C-SiC thin films for micro/nano systems

490

Formation and control of boron buried layers in silicon using an excimer laser

491

Formation and control of grinding-hardened layer

492

Formation and control of turing patterns from interacting polaritons in coupled semiconductor microcavities

493

Formation and cooperation for SWARMed intelligent robots

494

Formation and Cooperation for SWARMed Intelligent Robots

495

Formation and CSS performance of NiP surface textured by argon ion laser

496

Formation and curvature tuning of micro lens using surface tension and hydraulic pressure assisted molding process

497

Formation and decay of micropinch in a laser initiated vacuum spark

498

Formation and destruction of polarization by migration of space charge

499

Formation and destruction of waves with singularities on the spherical wavefront

500

Formation and detection of ultracold ground-state molecules

501

Formation And Device Applications Of Compound Semiconductor Quantum Nanostructures

502

Formation and diagnostic of helical gyrotron electron beams

503

Formation and dielectric properties of a novel polymer-metal nanocomposite [for embedded capacitor application]

504

Formation and disappearance of defect centers in GeO2-doped silica fibers with heat treatments

505

Formation and dispersion of small water droplets in an insulating oil under a pulsed electric field

506

Formation and dissipation of the electron cloud

507

Formation and distortions of the ultrashort pulse train spectrum broadened in tapered fiber

508

Formation and duration of shock waves in nonlinear lines

509

Formation and dynamics of an artificial ring of dust for active orbital debris removal

510

Formation and electrical properties of metal/Ge1−xSnx contacts

511

Formation and electrochemical behaviour of polyoxometalate-capped gold nanoparticles assembly electrode

512

Formation and Energy Exchange of Vector Dark Solitons in Fiber Lasers

513

Formation and Evolution of Nickel Silicide in Silicon Nanowires

514

Formation and Evolution of the Structure Phase States and Dislocation Substructures the Fatigue in Stainless Steels

515

Formation and Expansion Phases of an Atmospheric Pressure Glow Discharge in a PECVD Reactor via Fast ICCD Imaging

516

Formation and growth kinetics of interfacial intermetallics in Pb-free solder joint

517

Formation and growth mechanisms of Bi-2212/Ag composite tapes

518

Formation and growth of interfacial intermetallic layers of Sn-8Zn-3Bi-0.3Cr on Cu, Ni and Ni-W substrates

519

Formation and Growth of Intermetallic Compounds in Cu–Au and Au–Al Systems for Copper on Gold Bonding

520

Formation and growth of intermetallic compounds of Sn-2Ag-2.5Zn on Cu and Ni substrates

521

Formation and growth of intermetallics evolution at the SAC305 and SAC0307 solder joints after wave soldering

522

Formation and Growth of Intermetallics in an Annealing-Twinned Ag-8Au-3Pd Wire Bonding Package During Reliability Tests

523

Formation and inhibition of free-radicals in insulating materials aged by electrical field

524

Formation and Innovation of Industrial Networks under the Transitional Economy: The Cases from Chinese Old Industrial Regions

525

Formation and Integration of a Ball Lens Utilizing Two Phase Liquid Technology

526

Formation and integration of tunable anisotropic magnetic polymer composites by two stages solidification process

527

Formation and interaction of micro/nano multi-scale structures

528

Formation and interaction of self-guided optical beams in a pre-engineered soft-matter system

529

Formation and interaction of spatially incoherent solitons in a slow nonlinear medium

530

Formation and investigation of an intense rotating electron beam and its interaction with solid materials

531

Formation and Kinetics of Self-Assembled Structures of Magnetic Microparticles in Rotating Fields

532

Formation and luminescence of p-type porous polycrystalline silicon

533

Formation and magnetic properties of γ-Fe2O3particles surface modified with crystallized cobalt-ferrite

534

Formation and magnetic properties of Fe-B-Si amorphous alloys

535

Formation and magnetic properties of metastable phases (Fe5Sm, Fe7Sm2) in binary Fe-Sm alloys

536

Formation and magnetic properties of ultrafine spinel ferrites

537

Formation and magnetic properties of ultrafine spinel ferrites

538

Formation and magnetostructural characterization of the novel ternary compound Ce₃Fe_29-xMo_x

539

Formation And Magneto-structural Properties Of The New Nd/sub 3/Fe/sub 29-x/W/sub x/Intermetallic Phase

540

Formation and magneto-structural properties of the new Nd₃Fe_29-xW_x intermetallic phase

541

Formation and maintenance of self-organizing wireless networks

542

Formation and Maintenance of Spatial Polymorphism Induced by Niche Construction

543

Formation and maneuver control of multiple spacecraft

544

Formation and microstructure of ferroelectric lead lanthanum zirconate titanate thick film

545

Formation and movement of voids in copper interconnect structures

546

Formation and Network Chain Control in Sparse Robot ad hoc Networks based on Potential Field

547

Formation and Nonvolatile Memory Application of Ge Nanocrystals by Using Internal Competition Reaction of $\\hbox {Si}_{{\\bf 1.33}} \\hbox {Ge}_{{\\bf 0.67}} \\hbox {O}_{\\bf 2}$

Formation and observation of thermal bubble from multilayer heating material

549

Formation and obstacle avoidance in the unknown environment of multi-robot system

550

Formation and obstacle-avoidance control for mobile swarm robots based on artificial potential field

551

Formation and obstacles avoidance of leader-follower networks with time-varying coupling delays

552

Formation and operation mechanism of ecological and high-end industry value chain of nanomaterials for energy

553

Formation and Optical Characteristics of Type-II Strain-Relieved GaSb/GaAs Quantum Dots by Using an Interfacial Misfit Growth Mode

554

Formation and oxidation of implanted cobalt silicides on polycrystalline-silicon

555

Formation and path following for multiple mobile robots

556

Formation and Photographic Properties of Selenium-Tellurium Particle Migration Electrophotographic Film

557

Formation and propagation of dipolar spin wave envelope solitons under the influence of parametric pumping

558

Formation and propagation of dipolar spin wave envelope solitons under the influence of parametric pumping

559

Formation and properties of proton-exchanged and annealed LiNbO/sub 3/ waveguides for surface acoustic wave

560

Formation and properties of ternary silicide (Co_xNi_1-x)Si₂ thin films

561

Formation and Reduction of Embedded Contamination Defects Detected after FEOL Poly Patterning

562

Formation and Reduction of Embedded Contamination Defects Detected after FEOL Poly Patterning

563

Formation and relaxation dynamics of a breather in trans-polyacetylene

564

Formation and release of micro objects self-assembled from photocurable liquid by molding and inkjet printing

565

Formation and Simulation on Chinese Lexical Networks

566

Formation and spectroscopy of ultracold Cs/sub 2/ molecules

567

Formation and status of the MEMS microfluidics industry

568

Formation and storage of structures in dynamic models of neural media

569

Formation and structural transition of molecular self-assembly on solid surface investigated by STM

570

Formation and structure of epitaxial Fe-films by targets-facing type of sputtering

571

Formation and structure of vortex zones in explosive welding of carbon steel

572

Formation and suppression of a newly discovered secondary EOS event in HBM test systems

573

Formation and sustainment of a 250 kA tokamak by coaxial helicity injection

574

Formation and Thermal Stability Characteristics of Ni Silicide on Boron Cluster (B18H22) Implanted Source/Drain

575

Formation and trajectory tracking of a class of nonlinear systems with super twisting control

576

Formation and trajectory tracking of discrete-time multi-agent systems using block control

577

Formation and transport of low-voltage, space-charge dominated sheet electron beams for high-power microwave devices

578

Formation And Transport Of Pcm-focused Sheet Electron Beams

579

Formation and transportation of a microsecond high-current electron beam in a plasma-anode gun

580

Formation and Tribology Behavior of NiP Surface Textured by Argon Ion Laser

581

Formation and variability of orientation preference maps in visual cortex: an approach based on normalized Gaussian arrays

582

Formation behavior of multiple robots based on tele-operation

583

Formation behavior of multi-robot for exploration and monitoring

584

Formation by ions the plasma channel at propagation of the finite sequence of relativistic electron bunches (REB) in underdense plasmas

585

Formation clusters in different gas jet nozzles and their radiation properties under interaction with high-intensive fs laser pulses

586

Formation conditions of biogas hydrate

587

Formation conditions of random laser cavities in annealed ZnO epilayers

588

Formation constrained coordinated motion control methods for the crustal movement simulation system

589

Formation constrained multi-agent control

590

Formation constrained multi-agent control

591

Formation constrained multi-robot system in unknown environments

592

Formation Control Algorithm of Multiple Autonomous Vehicles

593

Formation Control and Attitude Cooperative Control of Multiple Rigid Body Systems

594

Formation Control and Collision Avoidance for Multi-Agent Systems and a Connection between Formation Infeasibility and Flocking Behavior

595

Formation Control and Collision Avoidance in Mobile Agent Systems

596

Formation Control and Network Localization via Orientation Alignment

597

Formation Control and Obstacle Avoidance Algorithm of Multiple Autonomous Underwater Vehicles(AUVs) Based on Potential Function and Behavior Rules

598

Formation control and obstacle avoidance for multi-agent systems with dynamic topology

599

Formation control and obstacle avoidance for multi-vehicle systems with optimal assignment

600

Formation control and obstacle avoidance for nonholonomic robots using decentralized MPC

601

Formation control and obstacle avoidance of multi-AUV for 3-D underwater environment

602

Formation control and obstacles avoidance for multi-agent systems based on position estimation

603

Formation control and vision based localization of system of mobile robots

604

Formation control and vision based localization of system of mobile robots

605

Formation control based on a consensus protocol under directed communications with two time delays

606

Formation control based on adaptive NN with time-varying interaction among robots

607

Formation control based on artificial intelligence for multi-agent coordination

608

Formation control based on flocking algorithm in multi-agent system

609

Formation control based on second-order feedback linearization

610

Formation control based on virtual space configuration for multi-robot collective navigation

611

Formation control design for car-like nonholonomic robots using the backstepping approach

612

Formation control design for multi-robot system with obstacle avoidance

613

Formation control for a cooperative multi-agent system using decentralized navigation functions

614

Formation control for cooperative containment of a diffusing substance

615

Formation Control for High-Order Linear Time-Invariant Multiagent Systems With Time Delays

616

Formation control for large scale multi-agent systems while preserving network connectivity

617

Formation control for mobile multiple robots based on hierarchical virtual structures

618

Formation Control for Mobile Robots in partially known Environments using Mixed Integer Programming and Fuzzy Systems

619

Formation Control for Mobile Robots with Limited Sensor Information

620

Formation control for multiple autonomous agents based on virtual leader structure

621

Formation control for multiple mobile robots based on Leader-following schema

622

Formation control for multiple mobile robots based on the Spiking Neural Network

623

Formation control for multiple mobile robots: a non-linear attractor dynamics approach

624

Formation control for multiple nonlinear autonomous agents based on iterative method

625

Formation control for multiple robots in uncertain environments

626

Formation control for multi-robot system using adaptive Kalman filter algorithm

627

Formation Control for Multi-Robot Teams Using A Data Glove

628

Formation control for multi-vehicle system using adaptive control method

629

Formation control for networked centric collective robot (NCCR) with restricted communication capability

630

Formation control for nonlinear multi-agent systems with linear extended state observer

631

Formation control for nonlinear multi-agent systems with time-delay coupling and noise disturbance in directed graphs

632

Formation control for quadrotor swarm systems: Algorithms and experiments

633

Formation control for second-order multi-agent systems with time-varying delays under directed interconnection topology

634

Formation control for uncertain multiple Euler-Lagrange systems with dynamic surface control and interval type-2 neuro-fuzzy networks

635

Formation control for wheeled mobile robots based on consensus protocol

636

Formation control in uncertain environment

637

Formation Control Laws for Autonomous Flight Vehicles

638

Formation Control Numerical Simulations of Geometric Patterns for Unmanned Autonomous Vehicles with Swarm Dynamical Methodologies

639

Formation Control of 6-DOF Euler-Lagrange Systems with Restricted Inter-Vehicle Communication

640

Formation Control of a Group of Micro Aerial Vehicles (MAVs)

641

Formation control of a large group of UAVs with safe path planning

642

Formation control of a large group of UAVs with safe path planning and obstacle avoidance

643

Formation control of a multi-agent system using decentralized nonlinear servomechanism

644

Formation control of a team of single-integrator agents with measurement error

645

Formation control of autonomous agents in 3D workspace

646

Formation control of autonomous robots based on cooperative behavior

647

Formation control of autonomous robots following desired formation during tracking a moving target

648

Formation control of autonomous robots to track a moving target in an unknown environment

649

Formation Control of Autonomous Underwater Vehicles Subject to Communication Delays

650

Formation Control of Autonomous Underwater Vehicles under Fixed Topology

651

Formation control of balloons: A block circulant approach

652

Formation control of car-like autonomous vehicles under communication delay

653

Formation control of car-like mobile robots: A Lyapunov function based approach

654

Formation control of cooperative robots with limited sensing using a virtual robot as reference

655

Formation control of cooperative transportation of mother ship for SMC

656

Formation control of differential-drive mobile robots in the framework of functionally related systems

657

Formation control of directed multi-agent networks based on complex Laplacian

658

Formation control of dynamic nonholonomic mobile robots with curvature constraints via potential functions

659

Formation control of fully-actuated marine vessels using group agreement protocols

660

Formation control of leader following unmanned ground vehicles using nonlinear model predictive control

661

Formation control of marine craft using constraint functions

662

Formation Control of Marine Surface Craft using Lagrange Multipliers

663

Formation Control of Marine Surface Craft: A Lagrangian Approach

664

Formation control of marine veihicles via real-time Networked Decentralized MPC

665

Formation control of mobile agent groups based on localization

666

Formation Control of Mobile Agents Based on Distributed Position Estimation

667

Formation control of mobile agents using local potential functions

668

Formation control of mobile agents without an initial common sense of orientation

669

Formation control of mobile robots based on vector field with obstacle avoidance capability

670

Formation control of mobile robots subject to wheel slip

671

Formation control of mobile robots using decentralized nonlinear model predictive control

672

Formation Control of Mobile Robots Using Multiple Aerial Cameras

673

Formation control of mobile robots with input constraints: An elliptic approximation approach

674

Formation control of mobile robots with obstacle avoidance

675

Formation control of mobile robots with obstacle avoidance using fuzzy artificial potential field

676

Formation control of mobile sensors in the process of dynamic coverage

677

Formation control of multi-agent system based on potential function

678

Formation control of multi-agent systems for urban earthquake disasters: Model predictive control approach

679

Formation control of multi-agent systems with connectivity preservation by using both event-driven and time-driven communication

680

Formation control of multi-agent systems with double integrator dynamics using delayed static output feedback

681

Formation control of multi-agent systems with environmental influence

682

Formation Control of Multi-Agent Systems with Sampled Information -- Relationship Between Information Exchange Structure and Control Performance --

683

Formation control of multi-agent systems with stochastic switching topology and time-varying communication delays

684

Formation control of multi-agent systems with switching topologies: An ILC-based distributed algorithm design

685

Formation control of multiple autonomous underwater vehicles based on state feedback

686

Formation control of multiple autonomous vehicles

687

Formation Control of Multiple Behavior-based robots

688

Formation Control of Multiple Biomimetic Robotic Fish

689

Formation control of multiple groups of robots

690

Formation control of multiple marine vehicles based passivity-control design

691

Formation Control of Multiple Mobile Robots Based on Orientation Bias

692

Formation control of multiple mobile robots based on the modal decomposition by discrete fourier series expansion

693

Formation control of multiple mobile robots with uncertainty

694

Formation control of multiple nonholonomic mobile robots

695

Formation control of multiple nonholonomic mobile robots based on cascade design

696

Formation control of multiple nonholonomic mobile robots via dynamic feedback linearization

697

Formation control of multiple nonholonomic mobile robots with limited information of a desired trajectory

698

Formation control of multiple nonholonomic unicycles using adaptive perturbation method

699

Formation control of multiple quadrotors based on leader-follower method

700

Formation control of multiple robot fishes based on artificial potential field and leader-follower framework

701

Formation control of multiple robots using constrained motion formulation

702

Formation Control of Multiple Underactuated AUVs

703

Formation control of multiple underactuated surface vessels

704

Formation control of multiple wheeled mobile robots via leader-follower approach

705

Formation control of multiple wheeled mobile robots with uncertainty

706

Formation control of multi-robot systems

707

Formation control of multi-UUV for CTD detection

708

Formation control of multi-vehicle systems using cooperative game theory

709

Formation control of networked multi-agent systems [Brief Paper]

710

Formation control of non-holonomic agents with collision avoidance

711

Formation control of nonholonomic mobile robots

712

Formation control of nonholonomic mobile robots with omnidirectional visual servoing and motion segmentation

713

Formation Control of Nonholonomic Vehicles Under Time Delayed Communications

714

Formation control of omnidirectional mobile robots using distributed model predictive control

715

Formation control of quad-rotor UAVs using a single camera

716

Formation control of quad-rotors in three dimension based on euclidean distance dynamics matrix

717

Formation control of rigid bodies based on orientation alignment and position estimation

718

Formation control of robot swarm based on community division and multilevel topology design via pining

719

Formation control of robotic swarms based on sonar sensing

720

Formation control of robotic vehicles

721

Formation control of second-order dynamic agents with heterogeneous communication delays

722

Formation control of second-order multi-agent with diverse delays

723

Formation control of SMC with multiple coordinate systems

724

Formation control of spacecraft flying with network-induced delays and packet dropouts

725

Formation control of three-coleader agents in the plane via backstepping design

726

Formation control of UAVs with a fourth-order flight dynamics

727

Formation control of underactuated autonomous surface vessels using redundant manipulator analogs

728

Formation control of underactuated autonomous underwater vehicles in horizontal plane

729

Formation Control of Underactuated Satellite using Holonomy

730

Formation Control of Underactuated Surface Vessels using the Null-Space-Based Behavioral Control

731

Formation control of unicycle mobile robots: a virtual structure approach

732

Formation control of unicycle robots using the virtual structure approach

733

Formation control of unmanned aerial vehicles based on the null-space

734

Formation control of unmanned surface vehicles with vision sensor constraints

735

Formation control of vehicles using leader-following consensus

736

Formation control of VTOL UAVs without linear-velocity measurements

737

Formation control of VTOL-UAVs

738

Formation control of weak autonomous robots

739

Formation control of wheeled mobile robots based on fuzzy logic and system dynamics

740

Formation control of wheeled robots with vision-based position measurement

741

Formation control on lines, circles and ellipses: Genericity results and Morse theoretic ideas

742

Formation control over antagonistic networks

743

Formation control over delayed communication networks

744

Formation control strategies for a separated spacecraft interferometer

745

Formation control strategies for emulation of field covering

746

Formation control strategy for a group of quadrotors

747

Formation control using adaptive parameter-dependent potential functions

748

Formation control using finite state automaton based on multi-AUVs state feedback

749

Formation control using generalized coordinates

750

Formation control via distributed optimization of alignment error

751

Formation control via quasi-time optimal protocol

752

Formation control via receding horizon control: A set theoretic approach

753

Formation control with collision avoidance

754

Formation control with collision avoidance for a multi-UAV system using decentralized MPC and consensus-based control

755

Formation control with configuration space constraints

756

Formation control with fault-tolerance based on rigid graph theory

757

Formation control with potential functions and Newton´s iteration

758

Formation control with size scaling using relative displacement feedback

759

Formation control with triangulated Laman graphs

760

Formation control with velocity assignment for second-order multi-agent systems with heterogeneous time-delays

761

Formation Control with Virtual Leaders and Reduced Communications

762

Formation control: a review and a new consideration

763

Formation controllability of high-order linear time-invariant swarm systems

764

Formation coordinated control for multi-AUV based on spatial curve path tracking

765

Formation coordination for self-mobile localization: Framework

766

Formation Coordination for the Propagation of a Group of Mobile Agents via Self-Mobile Localization

767

Formation dependency in event-driven hybrid learning classifier systems for soccer video games

768

Formation deployment & separation simulation of multi-satellite Scenarios using SatLauncher

769

Formation design and baseline optimization of GEO SAR interferometry

770

Formation Distance Problem in Multi-Agents Control

771

Formation drillability prediction based on PSO-SVM

772

Formation dynamics of Bragg phase gratings in photosensitive optical fibers

773

Formation dynamics of excited components in discharge XeCl laser plasma from the data of dye laser absorption probing

774

Formation dynamics of excitons and electron-hole droplets in Si probed by THz time domain spectroscopy

775

Formation dynamics under a class of control laws

776

Formation energies of carbon related defects in Cu2ZnSnS4

777

Formation Energy of Arsenic Impurities in MCT: First-Principles Study

778

Formation establishment and reconfiguration using differential elements in J2-perturbed orbits

779

Formation Evaluation of Multi-AUV System for Deep-Sea Hydrothermal Plume Exploration

780

Formation exchange of the multiple mobile robot system

781

Formation factors of watermark for immersion lithography

782

Formation feedback control for multiple spacecraft via virtual structures

783

Formation flight control design in the presence of unknown leader commands

784

Formation flight control of multirotor helicopters with collision avoidance

785

Formation flight of multiple fixed-wing unmanned aerial vehicles

786

Formation Flight of Spacecraft in Earth Orbit via MPC

787

Formation flight of unmanned rotorcraft based on robust and perfect tracking approach

788

Formation flight system design concept

789

Formation flight using multiple Integral Backstepping controllers

790

Formation flight: evaluation of autonomous configuration control algorithms

791

Formation flying activities and capabilities at ball aerospace

792

Formation flying control for the MMS mission using GVE-based MPC

793

Formation flying control of a pair of nano-satellites based on switching predictive control

794

Formation flying control of multiple spacecraft via graphs, matrix inequalities, and switching

795

Formation flying control via elliptical virtual structure

796

Formation flying in elliptical orbits

797

Formation Flying InSAR Configuration Error Simulation and Compensation

798

Formation flying mission for the UW Dawgstar satellite

799

Formation flying of multiple spacecraft with autonomous rendezvous and docking capability

800

Formation flying of small satellites using suboptimal MPSP guidance

801

Formation flying radio frequency instrument: First flight results from the PRISMA mission

802

Formation flying with nonlinear partial integrated guidance and control

803

Formation games of reliable networks

804

Formation in KhNURE of the Scientific-Educational Laboratory of Processing and Analysis of Measuring in-Formation of GPS/EGNOS Reference Stations, Navigation and Geodetic User Receivers

805

Formation in robotics, the key to integration in industrial environments

806

Formation iterative learning control for multi-agent systems with higher-order dynamics

807

Formation keeping of Micro-Satellites LQR control algorithms analysis

808

Formation kinetics and extent of the boron oxygen defect in compensated n-type silicon

809

Formation kinetics of the triatomic excimer Ar2F^*

810

Formation learning algorithms for mobile agents subject to 2-D dynamically changing topologies

811

Formation maneuvering using passive acoustic communications

812

Formation maneuvering with collision avoidance and connectivity maintenance

813

Formation maneuvers in three dimensions

814

Formation mechanism dependence on laser power of UV-laser ablated silicon surface gratings

815

Formation mechanism for the atmospheric environment of North Blizzard in November 2009

816

Formation Mechanism of Cooperative Spirit from Game Theory Perspective

817

Formation mechanism of defects around the Y211 inclusion trapped within the melt-textured Y123 domain

818

Formation mechanism of Fe atomic structures on Cu(111) surfaces

819

Formation mechanism of light-emitting porous silicon prepared by reactive ions etching

820

Formation Mechanism of Quality and Safety Control Abilities of Core Enterprises in High Quality Pork Supply Chain

821

Formation mechanism of space charge in silicone rubber insulation under low DC stress

822

Formation mechanism of surface corona on dielectric plates under negative impulse voltage in atmospheric air

823

Formation Mechanism of the So-Called Corona Figure

824

Formation mechanism of transition metal boride nanoparticles in induction thermal plasma processing

825

Formation mechanism of twin boundaries in silicon multicrystals during crystal growth

826

Formation Mechanisms of Clean Zones During the Surface Flashover of Contaminated Insulators

827

Formation mechanisms of statistically degenerate quasi 2D confined exciton systems

828

Formation mechanisms of the component composition for thin films and aqueous solutions of symmetric cyanine dyes

829

Formation Modelling and 6DOF Spacecraft Coordination Control

830

Formation movements in minimally rigid formation control with mismatched mutual distances

831

Formation of α-MoO3 (010) micropalettes for nanoarchitecture

832

Formation of β-SiC thin layers by implantation of carbon ions into silicon using MEVVA ion source

833

Formation of γ-Fe by mechanical alloying of Cu-Fe?

834

Formation of (001) Texture in Fe-O Underlayered $L1_{0}$ FePt Films

835

Formation of (TixW1-x)Si2/(TixW1-x)N contacts by rapid thermal silicidation

836

Formation Of /spl gamma/- Fe By Mechanical Alloying Of Cu-Fe.

837

Formation of {100} texture in 2.3%Si-0.1%Mn steel strips by short-time annealing and their magnetic properties

838

Formation of MgB₂ Layer Through the Interface Diffusion Reaction in an Fe−Mg alloy / (B+(

Formation of 0.05- mu m p/sup +/-n and n/sup +/-p junctions by very low (<500 eV) ion implantation

840

Formation of 0.1 µm N⁺/P and P⁺/N junctions by doped silicide technology

841

Formation of 0.5 μm-period GaAs network structures for two-dimensional photonic crystals by selective area metal-organic vapor phase epitaxy

842

Formation of 1- to 2-ns high-energy OPO/OPA pulses

843

Formation of 1:13 Phase in La(Fe,Si) $_{13}$ -Based Compounds by Diffusion of LaFe,Si $/\\alpha -$

844

Formation of 1-D Nanostructures Using Atomic Force Microscope

845

Formation of 3D Ge quantum dots array for advanced photovolatics in layer-cake technique

846

Formation of a back contact by fire-through process of screen-printed silicon solar cells

847

Formation of a backward wave in metamaterial

848

Formation of a beam with a uniform intensity distribution of radiation in a waveguide rectangular resonator with a nonuniform mirror

849

Formation of a biocompatible protein corona on magnetic nanoparticles

850

Formation of a bonded SOI interface using a spin-on dielectric

851

Formation of a charged droplets cloud and corona discharge between the cloud and a grounded electrode

852

Formation of a closed, spheromak-like magnetic configuration in plasma focus discharges and the enhanced radiation yield in high-current discharges

853

Formation of a columnar topography on Al/sub 2/O/sub 3/-TiC ceramic after KrF laser machining

854

Formation of a conductive grid on thin film modules glass by laser-patterning

855

Formation of a defect-free junction layer by controlling defects due to As/sup +/ implantation

856

Formation of a Diffractional Grating by Magnetic Lithograph

857

Formation of a double electric layer at the Zn_mIn₂S_m+3 (m=1,2,3) - H₂O(S²-/S₂^2-) interface

858

Formation of a Double Layer in Electronegative ${\\rm O}_{2}$ Plasma

859

Formation of a fractal basin boundary in a forced oscillator

860

Formation of a GPS-linked global ensemble of hydrogen masers, and comparison to JPL´s linear ion trap

861

Formation of a group of unmanned aerial vehicles (UAVs)

862

Formation of a high-current pulsed gas discharge as a source of highly concentrated energy flux to treat metal surfaces

863

Formation of a highly ionized plasma in a capillary discharge with a programmed pulse of input power

864

Formation of a Highly Resistive Deposit in the Reed Contact Unit

865

Formation of a homogeneous hydrogen plasma layer for the production of terawatt ion beams

866

Formation of a homogeneous magnetic field in spectrometer dipole magnet using permanent magnet

867

Formation of a Hot Electron Ring in an ECR Mirror Trap Through a Particle-in-Cell Simulation Study

868

Formation Of A Induced Lattices By Light Interaction With Acoustic Waves

869

Formation of a long-lived plasma bubble upon laser-induced evaporation of a metallic target into a dense gas

870

Formation of a long-wavelength buried-crescent laser structure on channelled substrates

871

Formation of a Near Optimal Solution for Raster Region Having Min/Max Cell Value

872

Formation of a New Manufacturing Resource Model Based on Virtual Manufacturing Cell

873

Formation of a nitrified hafnium oxide buffer layer on silicon substrate and GaN quantum well crystal growth for GaN-Si hybrid optical MEMS

874

Formation of a paper neural-fuzzy time scale in the eastern Asia

875

Formation of a Plasma Conductor by Induction

876

Formation of a protective layer during IEC(b) test of epoxy resin loaded with silica nanoparticles

877

Formation of a quasi-neutral region in Schottky diodes based on semi-insulating GaAs

878

Formation of a quasi-uniform output beam in the waveguide CO2 laser

879

Formation of a Real-Time Time Scale With Asia-Pacific TWSTFT Network Data

880

Formation of a single nanodimensional emitting protrusion on a surface of a tungsten carbide field emitter

881

Formation of a SiO2/Si3N4/SiO2 electret on a silicon substrate

882

Formation of a strategy for energy development and utilization with power electronic conversion technologies: a southeast USA regional approach

883

Formation of a TiSi2/n⁺poly-Si layer by rapid lamp heating and its application to MOS devices

884

Formation of a Trapped-Ion Cloud Around a Dust Particle in Low-Density Plasma

885

Formation of a tripolar vortex in a contaminated electron-positron magnetoplasma with sheared flows

886

Formation of A15-phase in Ta/ Nb3Al0.75Ge0.25-powder - and Nb/ Nb3Al0.75Ge0.25-powder - composites and their superconducting properties

887

Formation of abnormally high localized waves due to nonlinear two-dimensional waves interaction

888

Formation of accelerated electron flows in a low-current pulsed vacuum discharge

889

Formation of Active Species by Bipolar Pulsed Discharge in Water

890

Formation of active surface of copper catalysts in methanol oxidation

891

Formation of adatom density gratings on a substrate by channeling an atomic beam through a pulsed laser standing wave under a completely off-resonant condition

892

Formation of adhesive contacts between neutrophils and beads coated with endothelial ligands

893

Formation of advanced glycation end products in bone matrix using different sugars

894

Formation of advanced silicides using single wafer rapid thermal furnace in the temperature range of 200° - 1000°C

895

Formation of Ag/Al Screen-Printing Contacts on B Emitters

896

Formation of AgSn plates in Sn-Ag-Cu alloys and optimization of their alloy composition

897

Formation of aircraft groups promoted by sections committee

898

Formation of Al₃Ti during physical vapor deposition of titanium on aluminium

899

Formation of Al₃Ti during physical vapor deposition of titanium on aluminium

900

Formation of Alcohols and Carbonyl Compounds From Hexane and Cyclohexane With Water in a Liquid Film Plasma Reactor

901

Formation of algorithms module and dynamic interface in web mining and storage process to retrieve metadata

902

Formation of aluminium porous structures under conditions of quasi-equilibrium condensation

903

Formation of aluminum nano-dot array by the use of nano-indentation and anodic oxidation

904

Formation of Ambiguity Functions with Frequency-Separated Golay Coded Pulses

905

Formation of an electron beam in a matrix carbon field-emission cells

906

Formation of an electron beam in its squeezed state

907

Formation of an electron-positron pair by a photon in the field of two pulsed laser waves

908

Formation of an intense proton beam of microsecond duration

909

Formation of an Internal Model of Environment Dynamics During Upper Limb Reaching Movements: A Fuzzy Approach

910

Formation of an Online Community of Practice: An Inductive Study Unearthing Key Elements

911

Formation of anions and cations of atomic hydrogen by cathode operation

912

Formation of anisotropic Tl-1212, Tl-2212, Tl-1223 and Tl-2223 particles using aerosol flow reacted powders

913

Formation of arsenic segregated Ytterbium and Nickel silicide using microwave annealing

914

Formation of atomic point contacts and molecular junctions with a combined mechanical break junction and electrodeposition method

915

Formation of atomically flat interface and effect of silicidation condition on Schottky contact characteristics in ErSi_1.7/Si(100) system

916

Formation of atomically sharp silicon needles (for vacuum microelectronics)

917

Formation of Au Colloidal Crystals for Optical Sensing by DEP-Based Nano-Assembly

918

Formation of austenite antiwear coating with the controlled carbide strengthening

919

Formation of azimuthally polarized beams in isotropic-rod based laser oscillators

920

Formation of Ba Atoms in excited States at Hyper-Raman Scattering of Laser Radiation

921

Formation of Ba-ferrite films with perpendicular magnetization by targets-facing type of sputtering

922

Formation of barium strontium titanate thin films via electrophoretic deposition process

923

Formation of Barium Strontium Titanate Thin Films via Electrophoretic Deposition Process

924

Formation of Bi-substituted Garnet Films with Perpendicular Magnetization by Thermal Decomposition Method

925

Formation of boron heavily doped nanolayer in silicon by recoil implantation using high-intensive power ion beams

926

Formation of bound solitons and their properties in a figure-eight fiber laser

927

Formation of Bragg gratings in pristine SMF- 28e fibre using CW 244-nm Ar⁺laser

928

Formation of bremsstrahlung flow with small divergence at linac output for planet surface sounding with interplanetary space stations

929

Formation of bright discrete gap solitons in onedimensional photonic lattices in lithium niobate

930

Formation of bulk nanocrystalline and amorphous alloy with controllable microstructure and magnetic properties by plasma spray deposition

931

Formation of bulk unipolar diodes in hydrogenated amorphous silicon by ion implantation

932

Formation of Buried Layers by Laser Radiation

933

Formation of business solutions of cognitive economy

934

Formation of CaPO4 and suppression of Ni leaching in nitinol using oxygen and sodium plasma immersion ion implantation

935

Formation of carbonates and PH variations in conditions representative of deep saline aquifers

936

Formation of CdTe diode detectors by laser irradiation in water

937

Formation of ceramic thin films using electrospray in cone-jet mode

938

Formation of ceramic thin films using electrospray in cone-jet mode

939

Formation of ceramic thin films using electrospray in cone-jet mode

940

Formation Of CFC Alternative R134a Gas Hydrate

941

Formation of chaos attractor as searching space in hierarchical layer model

942

Formation Of Charge Transfer Complex And Electron Transfer In Organized Monolayers

943

Formation of charge-transfer complex and enlarging the absorption ability of MEH-PPV by Ag-Graphene Nanocomposite

944

Formation of checkerboard patterns in one-dimensional computational verb cellular networks

945

Formation of chemical species and their effects on microorganisms using a pulsed high voltage discharge in water

946

Formation of chemical species and their effects on microorganisms using a pulsed high-voltage discharge in water

947

Formation of chips with passive part by the alumina technology for microwave attenuator

948

Formation of circuit patterns on the only modification area using selective electroless deposition

949

Formation of circumgyration patterns in two-dimentional computational verb cellular networks

950

Formation of clathrates

951

Formation of cluster ions A⁻(H2O)n in nonpolar liquid

952

Formation of cluster ions O₂(H₂O) and CO₂(H₂O) in water solutions in nonpolar liquid

953

Formation of Co Moment in the Paramagnetic Phase of RCo₂

954

Formation of cobalt silicided shallow junction using implant into/through silicide technology and low temperature furnace annealing

955

Formation of coherent longitudinal optical phonon and plasmon coupling modes in semiconductors

956

Formation of coherent structures in helical electron beam with a virtual cathode

957

Formation of Collaborative System of Systems Through Belonging Choice Mechanisms

958

Formation of colonies of locally aligned grains during thallination of spray-pyrolyzed Ba/sub 2/Ca/sub 2/Cu/sub 3/O/sub x/ thick films

959

Formation of Columnar Structures by the Magnetically Directed Assembly of Cobalt Ferrite Nanoparticles

960

Formation of complex clusters in Ar/O₂ gas cluster beams

961

Formation of complex image with active-passive radiomonitoring system

962

Formation of complex structure of laser fields for the radiation effect on impurities in nano-optoelectronics

963

Formation of complexes of quantum dots InAs and nanoclusters as in matrix GaAs by molecular beam epitaxy

964

Formation of Compounds and Their Magnetic Properties of Rapidly Quenched (Fe1-xCox)4.5(Ni,Al)0.5Sm Alloys

965

Formation of Conducting Columns in Adhesive Epoxy

966

Formation of cooperative cluster for coordinated transmission in multi-cell wireless networks

967

Formation of coordination in fetal behavior

968

Formation of copper 3D structures under stationary conditions of quasi-equilibrium condensation

969

Formation of copper oxide nanowires on glass substrate through thermal annealing process

970

Formation of Copper oxide thin films from RF sputtered Cu thin film by ultra high pure boiled water

971

Formation of Core-Shell Structure of BaTiO3 Grains in MLCC

972

Formation of Cosmic Dust Bunnies

973

Formation of Coulomb crystals in a capacitively coupled plasma

974

Formation of creative abilities in the course of drawing

975

Formation of cross-shaped Escherichia coli

976

Formation of Cu or CU2O nanoparticles embedded in a polyimide film for nanofloating gate memory

977

Formation of Cu(InGa)Se2 thin films by selenization using Se vapour

978

Formation of CuGaTe2 nanoparticles in the silicate matrix. The method of preparation and properties

979

Formation of cylindrical profile of Si by KrF excimer laser system for optical interconnect

980

Formation of deep sub-micron buried channel pMOSFETs with plasma doping

981

Formation of defined SPIO clusters by continuous flow encapsulation

982

Formation of dendrites: experimental observations

983

Formation of diamond like carbon films by plasma source ion implantation from CH₄, C₂H₂ and C₆H₆

984

Formation of dielectric films by ultraviolet photolysis of several organic monomers

985

Formation of disconnected decision regions with a single hidden layer

986

Formation of Disordered ${\\rm Th}_{2}{\\rm Zn}_{17}$ -Type ${\\rm Sm}_{2}{\\rm Fe}_{17}$ With T

987

Formation of disruptions in molten fused silica induced by heat accumulation of ultrashort laser pulses at high repetition rates

988

Formation of DLC by a pure carbon arc under high vacuum

989

Formation of DNA molecules ordered systems on silicon surfaces

990

Formation of dot patterns with particles using inkjet method to examine and inspect performance of CMP cleaning process

991

Formation of double-layer Cu3Sn in solid-state aging process at the interface of eutectic SnBi solder and (100) single crystal Cu

992

Formation of double-walled titania nanotubes with cone like tips

993

Formation of droplets interface bilayer by coplanar EWOD device

994

Formation of droplets using branch channels in a microfluidic circuit

995

Formation of Dual-Color Soliton-like High Intensive Femtosecond Pulses under the Conditions of SHG

996

Formation of Dynamic Collaborative Cloud Links Based on Provider Capability Cost and Resource Health Monitoring

997

Formation of dynamic distribution network using connection-element

998

Formation of edge dislocations in thin epitaxial YBCO films

999

Formation of educational clusters, including Institutions of Different Level Professional Education

1000

Formation of electric potential in a tokamak edge by limiter biasing

بازگشت