Aeroassisted orbital transfer : guidance and control strategies
Technology Evolution and Its Impact on Air Traffic Management
Scheduling Models and Algorithms for TMA Traffic Management
Network Optimization in Air Traffic Management
Safely Reducing Delays Due to Adverse Terminal Weather
The Probable Evolution of the "Air Segment" on a Medium and a Long Term Basis
Multi-Airport Ground Holding Problem: A Heuristic Approach Based on Priority Rules
Creating New Operational Concepts for Global Automated ATM Systems
The Center-Tracon Automation System: Simulation and Field Testing
New concepts and methods in air traffic management :with 15 tables
New concepts and methods in air traffic management :with 15 tables
Hybrid Control of a Truck and Trailer Vehicle
Reusable Dialog Component Framework for Rapid Voice Application Development
A CCA-compliant Nuclear Power Plant Simulator Kernel
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations
A Linear-Time Algorithm for the Perfect Phylogeny Haplotyping (PPH) Problem
Modeling the Combinatorial Functions of Multiple Transcription Factors
Amino Acid Sequence Control of the Folding of the Parallel beta-Helix, the Simplest beta-Sheet Fold
Using Multiple Alignments to Improve Gene Prediction
EigenMS: De Novo Analysis of Peptide Tandem Mass Spectra by Spectral Graph Partitioning
Multi Class Adult Image Classification Using Neural Networks
Integrating Web Content Clustering into Web Log Association Rule Mining
Queuing Local Solutions in Distributed Constraint Satisfaction Systems
ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems
Maximum Likelihood of Evolutionary Trees Is Hard
RIBRA - An Error-Tolerant Algorithm for the NMR Backbone Assignment Problem
Real-Time Decision Making for Large POMDPs
Error Bounds in Reinforcement Learning Policy Evaluation
Quick Spatial Outliers Detecting with Random Sampling
On the Role of the Markov Condition in Causal Reasoning
Fast Protein Superfamily Classification Using Principal Component Null Space Analysis
A Bayesian Model to Smooth Telepointer Jitter
Performance Analysis of Secure Multipath Routing Protocols for Mobile Ad Hoc Networks
A Methodology for Implementing a Stress Workload Generator for the GTP-U Plane
Content-Aware Packet-Level Interleaving Method for Video Transmission over Wireless Networks
TeStor: Deriving Test Sequences from Model-Based Specifications
Efficient Upgrading in a Purely Functional Component Deployment Model
Learning Interpretable SVMs for Biological Sequence Classification
The Factor Graph Network Model for Biological Systems
Generating Adaptive Multimedia Presentations Based on a Semiotic Framework
A Novel Use of VXML to Construct a Speech Browser for a Public-Domain Speech Web
Adjectives: A Uniform Semantic Approach
A Supervised Learning Approach to Acronym Identification
A Document Browsing Tool: Using Lexical Classes to Convey Information
A Logic of Inductive Implication or Artificial Intelligence Meets Philosophy of Science II