Verification of Infinite-State Systems 2001-06-08 Development of Highly Integrated 3D Microwave - Millimeter Wave Radio Front-End System-on-Package SOP 2001-10-18 Analysis Of Complex Lns Ffts 2002-08-22 The Number of Views of Piecewise-Smooth Algebraic 2002-07-16 Sylvain Petitjean Received: August 28, 2001, Accepted: October 04, 2001 HYPER VERSION 2002-05-24 Comparison of Computational Models of Familiarity 2003-03-26 Proc. of the 7th International Workshop on Quality of Service IEEEIFIP IWQOS'99, London, UK, June 1999. 1999-04-22 Different Times, Different Games: When You Can Beat The System 2003-11-07 Giacomo Aletti Low-Power Sequential Access Memory Design 2002-03-15 Unknown 1999-10-21 Maarit Harsu Flexible Syntactic Matching of Curves and its Application to Automatic Hierarchical Classification of Silhouettes 2000-01-05 Turkish Morphology 2004-03-22 The long-memory infinite source Poisson model: scaling limit and its representation 2003-06-30 Ingemar Kaj Enhancing Knowledge Acquisition 2000-08-04 Simon White Contactless Manipulation of Microparts by ac Electric Fields 2003-04-28 Minimum Distortion Transmission of Gaussian Sources over Fading Channels 2003-12-16 Covariance Approach To The Free Photon Field 2002-07-21 An Operating System Framework for Large Parallel Computers 2002-03-28 Influence Of Operating Parameters On The Performance 2003-07-07 MOLECULAR AND CELLULAR BIOLOGY, Dec. 2002, p. 8539--8551 Vol. 22, No. 24 0270-7306/02/$04.000 DOI: 10.1128/MCB.22.24.8539--8551.2002 2002-12-02 Developing BON as an Industrial-Strength 2002-10-28 PlanetP: Using Gossiping to Build Content Addressable Peer-to-Peer Information Sharing Communities 2003-04-24 Unknown-Multiple Speaker Clustering Using Hmm 2002-06-10 Doe / Msu Composite Material Fatigue 2003-11-04 Liveness Enforcing Supervision 2001-10-04 Spyros A. Reveliotis Learning in the Presence of Finitely or Infinitely Many Irrelevant 1998-01-19 Projective Singletons 2002-09-27 Sy D. Friedman U.S. Department of Energy Nevada Operations Office 2000-03-03 Dynamic Decentralized Area Partitioning for Cooperating Cleaning Robots 2002-02-19 Simple and Accurate PIV Camera Calibration using a Single Target Image and Camera Focal Length 2001-10-01 Unknown 1995-12-27 Implementation of Fast Address-Space Switching and TLB Sharingon the StrongARM Processor 2003-06-30 Recurrence Quantification Analysis to Characterise the Heart Rate Variability Before the Onset of Ventricular Tachycardia 2001-10-11 Visualization Techniques for Hierarchical Information Structures 2002-10-11 Nickie Buckner Dynamic Global Constraints 2002-06-06 Roman Bartk A Loss Function Analysis for Classi 2003-06-05 Fan Li Yiming Yang September 30, 1999 2002-05-16 Minimizing Flow Time Nonclairvoyantly 2002-05-14 Technology U.S. Department of Energy Office of Environmental Management Office of Science and Technology Deactivation and Decommissioning Focus Area Prepared for 2000-12-06 Design andanalyV% of 2002-09-13 Relative Completeness of Abstraction Refinement for Software Model Checking 2002-01-22 Dynamic Pointers and Threads 2002-01-03 Alan Dix Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic 2003-04-16 High-order Maximal Principles 2003-03-03 Matthias Kawski The Structure of the Circumstellar Gas of SN 1987A 1997-06-18 Equivalence Problems for Boolean Constraint Satisfaction 2001-09-19 Electronic Publishing 2000, Kaliningrad/Svetlogorsk 2001-01-21 Department 1997-06-27 From CMOS-Gates to Computer Architecture: 2002-06-05 Norman Hendrich Moving Frames and Joint Differential Invariants 1999-09-02 Peter J. Olver Unknown 2003-01-13 Aart Middeldorp Computing Singularities of 3D Vector Fields with Geometric Algebra 2002-07-17 Unknown 2002-02-06 IEICE Transactions on Fundamentals of Electronics, Communications 2003-03-13 Induced subdivisions in K s;s -free graphs of large 2003-01-28 Deryk Osthus Unknown 2003-06-22 Compositional Calculation of Steady-State 2003-01-19 Eugene W. Stark How Good are Association-rule Mining Algorithms ? 2001-11-20 Jayant R. Haritsa Series of Publications C 2002-05-03 Depth-Complexity Based Occluder-Selection sketches_0007 2002-07-28 Unknown 2002-08-06 Toward Some Circuitry of Ethical Robots or an Observational Science of the Genesis of . . . 2004-03-14 Spectroscopic And Spectropolarimetric Observations Of V838 Monocerotis 2003-04-23 Technical Report Pattern Recognition and Image Processing Group 2003-05-19 Robert Sablatnig A Taxonomy for Spatial Vagueness 2001-09-10 On the Convergence of Stewart's QLP 2004-06-11 John J. Wilson, Acting Administrator From the Administrator 2001-01-10 John J. Wilson A Stage Structured Predator-Prey model and its 2003-08-06 Experimental Implementation of 2003-04-22 A Low Power Digital Servo 2001-10-31 Counting Extensional Differences in BC-Learning 2002-04-05 Employing Theory Formation 2002-04-22 Scalability Study of Parallel Spatial Direct Numerical Simulation Code on IBM SP1 Parallel Supercomputer 1994-11-18 Icarus 157, 205--218 2002 2002-05-15 An Invariant Of Simple Algebraic Groups 2002-05-25 R. Skip Garibaldi Power-aware NoC Reuse on the Testing of Core-based Systems 2003-07-23 Master-Slave Synchronization using Dynamic Output Feedback J.A.K. Suykens 2001-07-27 Robust Regularization 2002-09-18 A. S. Lewis Proceedings of ICRC 2001: 97 c 2001-10-05 Analysing the Quantum Fourier Transform for finite groups through the Hidden Subgroup 2002-09-27 Jean-noel Murphy Fuzzy Multiple Objective Programming 2003-02-06 What You See is What You Store: 2001-02-09 The totaldeman scale: anS measure of quality for static an dynic0 originCfl80fiCLE4 trip tables 2004-05-12 Michel Bierlaire Implicit Trajectory Modeling through Gaussian Transition 2004-02-08 Tokenization and Proper Noun Recognition for Information Retrieval 2002-05-02 European Organization For Nuclear Research 2002-07-03 Modeling and Rendering of Real Environments 2002-08-01 Sigma I J 1998-06-05 Universes for Generic Programs and Proofs 2003-09-24 On the Number of Distinct Languages Accepted by Finite Automata with n States 2001-12-07 A Combinatorial Characterization of Classical 2000-09-21 Measuring Long-Range Dependence 2003-10-02 Paper No. 87 2003-06-27 Pier-paolo Saviotti An Overview of Domino and Lozenge Tilings 1997-09-09 A Simulation Model For Floating-Gate Mos 2002-07-15 Article Submitted to Journal ofSymbolic Computation Double Sylvester sums for subresultants and multi-Schur functions Alain Lascoux 2003-06-26 Alain Lascoux A Hardware/Software Reconfigurable Architecture for Adaptive Wireless Image Communication 2001-10-19 HE 2.2.02 1 Cosmic Ray Energy Spectrum around the Knee by 2001-06-11 The Fundamental Group of an Algebraic Curve 2001-12-12 Incorporating Query Term Dependencies in 2003-05-13 Shortest Axiomatizations of Implicational S4 and S5 2002-06-13 arXiv:astro-ph/9703182 2001-06-11 Functional Size Of Real Time Software: Overview Of 2003-12-01 Bayesian Treatment of Incomplete Discrete Data applied to Mutual Information and 2003-06-24 Incorporating Decision-Theoretic Planning in a Robot Architecture 2003-03-07 Unknown 2003-01-27 Numerical Modeling and Experiments of Periodic Waves Shoaling Over 2003-05-07 Timeline Variability: The Variability of Binding Time of Variation Points 2003-02-17 Meet iCAM: A Next-Generation Color Appearance Model 2003-02-14 th AIAA Aerospace Sciences 2002-05-31 Further Examination Of The Vibratory Loads Reduction Results From 2002-08-20 Multi-Fidelity Algorithms for Interactive Mobile Applications 2000-12-26 Towards a Micro-Economic Model for Resource Allocation 2002-06-15 Imaging and Spectroscopy of Hot Young 2000-10-09 Space-Efficient Online Computation of Quantile Summaries 2001-10-15 A relaxation scheme for solving the Boltzmann equation 2001-09-28 Coordination in Dynamic Environments 2003-05-26 The application of recursive aggregate T-matrix 1996-08-29 Stochastic Analysis Of Tree-Like Data Structures 2002-06-10 Michael Drmota A Linearly Complex Model for 2002-11-15 Program Insertion in Real-Time IP Multicasts 2003-03-25 Bounds for Eigenvalues of Matrix Polynomials 2002-11-25 Formal Properties of Constraint Calculi for 2003-01-15 Distances for Uncertain Topological Relations 2002-11-29 Stephan Winter The Potential to Improve Retrieval Effectiveness with Multiple 2003-04-22 Research Engineer, AIAA Senior Member 2002-08-27 A Logical Approach to Incorporating 1997-09-17 Proceedings of IEEE International Conference on Multimodel Interfaces, 2002 2002-08-20 Optimal Investment in Incomplete Financial Markets 2001-12-20 Walter Schachermayer Hierarchical Structure and Nonrigid Motion Recovery from 2D Monocular Views 2001-05-30 EuroGP'2001 Julian Miller, Marco Tomassini, Pier Luca Lanzi, Conor Ryan, 2004-06-11 An Enhanced TSP-Based Heuristic for Makespan Minimization 1999-03-22 Unknown 2002-05-21 Mem. S.A.It. Vol. 73, 23 2002-12-02 G. Peres Computation of the Ramsey Number RB 3 ; K 5 2003-08-18 A Grand Challenge Proposal for Formal Methods: 2002-08-17 A Toolkit of Octave Functions for Discrete-Time Analysis of Queuing Systems 2002-12-10 Notker Gerlich Intelligz- Classroom":changro teaching andlearning 2003-02-07 Design of a Multimedia Player 2001-09-25 Rainer Koster Unknown 2002-01-17 Plant Ecology 134: 97--111, 1998. 97 2002-06-04 Daniel G. Brown Unknown 2002-06-19 DISCRETE AND CONTINUOUS Website: http://AIMsciences.org DYNAMICAL SYSTEMS--SERIES B 2003-09-29 Alea jacta est - Verification of Probabilistic, Real-Time and Parametric Systems 2002-07-23 Combining Online Algorithms for Rejection and Acceptance 2003-05-28 Self-Organizing Latent Lattice Models for Temporal Gene Expression Profiling 2003-02-17 Membranes and Nanotubes: 2002-12-09 Bruce J. Maclennan Coalgebraic Semantics of an Imperative Class 2003-01-09 A Performance Study of a Large-scale Data Collection Problem 2002-09-02