List of Books starting with O

Home

O

O gØ£Ú¾nero Cheilosporum (Decaisne) Zanardini (Corallinales, Rhodophyta) no litoral do Brasil

O gØ£Ú¾nero Ichnanthus (Poaceae: Paniceae) na Chapada Diamantina, Bahia, Brasil

O gØ£Ú¾nero Phyllanthus L. (Euphorbiaceae) na Chapada Diamantina, Bahia, Brasil

O mosaico vegetacional numa Ø£ØŒrea de floresta contØ£Ânua da planØ£Âcie litorØ£Â¢nea, Parque Estadual da Campina do Encantado, Pariquera-AØ£Â§u, SP

O#-line variable substitution for scaling points-to analysis

O6-methylguanine-DNA methyltransferase is downregulated in transformed astrocyte cells: implications for anti-glioma therapies

OAEP reconsidered

Oasis: A front-end for prototyping catalog enhancements

OASIS: An Open Architecture for Secure Interworking Services

Obbtree: A hierarchical structure for rapid interference detection

OBDD-based deterministic planning using the UMOP planning framework

OBDD-based function decomposition: algorithms and implementation

OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents

Obese women on a low energy rice and bean diet: effects of leucine, arginine or glycine supplementation on protein turnover

Obesity and Food Habits of Women in, East Azarbaijan, Iran

Obesity and smoking are factors associated with poor prognosis in patients with bacteraemia

Obesity: An overview on its current perspectives and treatment options

Obesity: Prevalence, Theories, Medical Consequences, Management, and Research Directions

Obfuscation of Executable Code to Improve Resistance to Static Disassembly

Obituary: James Reed Holton (1938-2004)

Object Algebra and Views for Multi-Objectbases

Object allocation in distributed databases and mobile computers

Object and file management in the EXODUS extensible database system

Object and Native Code Thread Mobility among Heterogeneous Computers

Object and Pattern Detection in Video Sequences

Object caching in a CORBA compliant system

Object Calibration for Augmented Reality

Object class recognition by unsupervised scale-invariant learning

Object detection and tracking in range image sequences by separation of image features

Object detection using gabor filters

Object detection with vector quantized binary features

Object discovery and unification in federated database systems

Object distribution in Orca using compile-time and run-time techniques

Object exchange across heterogeneous information sources

object fault handling for persistent programming languages: a performance evaluation

Object Frameworks for Agent System Development", Sandia National Laboratories

Object fusion in mediator systems

Object fusion in mediator systems (extended version). Available by anonymous ftp at db.stanford.edu as the file /pub/papakonstantinou/1995/fusion-extended.ps

Object Groups For Groupware Applications: Application Requirements and Design Issues

Object groups may be better than pages

Object identification in a bayesian context

Object identification in multidatabase systems

Object identification: A Bayesian analysis with application to traffic surveillance

Object indexing using an iconic sparse distributed memory

Object management in POSTGRES using procedures

Object Management Systems

Object management technology for environments: Experiences, opportunities and risks

Object manipulation in virtual environments: human bias, consistency and individual differences

Object Migration

Object modelling and motion analysis using Clifford algebra

Object models from contour sequences

Object organisation in software environments for formal methods

Object orientation in multidatabase systems

Object orientation in Natural Language Processing

Object oriented circuit-generators in Java

Object oriented design of multilevel Newton and continuation methods, Tech. Rep. SC-94-4, Konrad-Zuse-Zentrum fur Informationstechnik

Object oriented design pattern inference

Object oriented transaction processing in the KeyKOS microkernel

Object Ownership & Containment

Object ownership for dynamic alias protection

Object recognition and categorization using modal matching

Object recognition by a cascade of edge probes

Object Recognition by Active Fusion

Object Recognition by Alignment using Invariant Projections of Planar Surfaces

Object recognition using appearance-based parts and relations

Object recognition using boosted discriminants

Object Recognition using Multidimensional Receptive Field Histograms

Object recognition using particle swarm optimization on Fourier Descriptors

Object recognition using subspace methods

Object recognition with informative features and linear classification

Object Replication Strategies in Content Distribution Networks

Object Shape and reflectance modeling from Color image sequence

Object shape and reflectance modeling from observation

Object sharing in pfair-scheduled multiprocessor systems

Object specification

Object specification logic

Object Teams: Improving modularity for crosscutting collaborations

Object test coverage using finite state machines

Object Tracking using Adaptive Colour Mixture Models

Object tracking with an adaptive color-based particle filter

Object Transition Sequences: A New Form of Abstraction for HTN Planners

Object types against races

Object Versioning in Ode

Object Views of Relations

Object-based 3-D reconstruction of arterial trees from magnetic resonance angiograms

Object-Based Concurrent Programming and Distributed Artificial Intelligence

Object-Based Image Retrieval Using Point Feature Maps

Object-based indexing of MPEG-4 compressed video

Object-based selection within an analog VLSI visual attention system

Object-Based Selective Materialization for Efficient Implementation of Spatial Data Cubes

Object-based Semantic Real-time Concurrency Control

Object-based transcoding for adaptable video content delivery

Object-based Transparent Video Watermarking

Object-centered surface reconstruction: Combining multi-image stereo and shading

Object-extending class transformations

ObjectGlobe: Ubiquitous query processing on the Internet

Objective Clustering of Proteins Based on Subcellular Location Patterns

Objective function formulation of the BCM theory of visual cortical plasticity: Statistical connections, stability conditions. Neural Networks

Objective functions for tomographic reconstruction from randoms-precorrected PET scans

Objective functions for training new hidden units in constructive neural networks

Objectivity reference

Object-Oriented Activity Support: A Model for Integrated CSCW Systems

Object-oriented analysis of signaling and control in broadband networks

Object-oriented analysis, structured analysis, and jackson system development

Object-oriented and database concepts for the design of networked information retrieval systems

Object-oriented architectural support for a Java processor

Object-oriented Bayesian networks

Object-Oriented Behavioural Modelling of Mechatronic Systems

Object-oriented components for high-speed network programming

Object-oriented composition untangled

Object-Oriented Conceptual Modeling of Video Data

Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently

Object-oriented coordination abstractions for parallel software

Object-oriented database evolution

Object-Oriented Database Management Systems for Construction of CASE Environments

Object-Oriented Database Systems for Geographic Applications: An Experiment with O2

Object-Oriented Development for Open Systems

Object--Oriented Distributed Programming with Objective Linda

Object-oriented documentation

Object-Oriented Framework for Developing Network Server Daemons

Object-Oriented Hierarchies Across Protection Boundaries

Object-Oriented Interfaces in the Mach 3.0 Multi-Server System

Object--Oriented Modeling of Hybrid Systems

Object--Oriented Modeling of Power--Electronic Circuits Using Dymola

Object-Oriented Multi-Methods in Cecil

Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism

Object-Oriented Operating System Design and the Revival of Program Families

Object-oriented programming and Standard ML

Object-Oriented Programming Environments: Requirements and Approaches

Object-Oriented Programming Versus Abstract Data Types

Object-oriented programming with class dictionaries

Object-oriented Programming without Recursive Types

Object-Oriented Queries: Equivalence and Optimization

Object-oriented query optimization: What's the problem

Object-oriented querying of existing relational databases

Object-oriented re-architecturing

Object-oriented runtime support for complex distributed data structures

Object-Oriented Schema Extension and Abstraction

Object-oriented simulation languages and environment: a four-level architecture. Object-oriented Simulation

Object-oriented simulation of pneumatic conveying-application to a turbulent flow

Object-oriented software evolution

Object-Oriented Specification and Stepwise Refinement

Object-oriented style overloading for Haskell

Object-Oriented Term Graph Rewriting

Object-oriented tree traversal with JJForester

Object-oriented type inference

Object-oriented verification based on record subtyping in higher-order logic

Object-Preserving Class Transformations

Objects and classes in Algol-like languages

Objects and classes, coalgebraically

Objects and subtyping in a functional perspective

Objects and their Specification

Objects and Views

Objects in forum

Objects in Time

Objects Meet Rules: From Communication to Coordination through Declarativity

Objects that cannot be taken apart with two hands

Objects, associations and subsystems: A hierarchical approach to encapsulation

Objects, Types and Modal Logics

Object-specific figure-ground segregation

Objectstream: Generating stream-based object I/O for C

Object-Z: a Specification Language Advocated for the Description of Standards

Obligation monitoring in policy management

Oblivious data structures: Applications to cryptography

Oblivious decision trees, graphs, and top-down pruning

Oblivious gossiping in ad-hoc radio networks

Oblivious key escrow

Oblivious Signature-Based Envelope

Oblivious transfer in the bounded storage model

Oblivious transfer with a memory-bounded receiver

Oblivious transfer with adaptive queries

OBM: A Specification Method for Modelling Organisational Process

Obnoxious facility location: Complete service with minimal harm

Observability Analysis for State Estimation Using Linear Programming

Observability analysis for state estimation using linearprogramming

Observability and controllability of piecewise affine and hybrid systems

Observability don't care sets and Boolean relations

Observability of linear systems with saturated outputs

Observability/identifiability of rigid motion under perspective projection

Observable Behaviors and Equivalences of Logic Programs

Observable properties of higher order functions that dynamically create local names, or: What's new

Observable semantics for constraint logic programs

Observable sequentiality and full abstraction

Observable sharing for functional circuit description

Observaciones del gametofito de Thelypteris rhachiflexuosa Riba (Thelypteridaceae)

Observation and analysis of BGP behavior under stress

Observation and Comparison of Physico-chemical Characteristics in Carp Rearing Ponds under Two Treatments

Observation and Comparison of Physico-chemical Characteristics in Carp Rearing Ponds under Two Treatments

Observation of 2-methyltetrols and related photo-oxidation products of isoprene in boreal forest aerosols from HyytiÃ¤lÃ¤, Finland

Observation of global properties in distributed systems

Observation of glycine zipper and unanticipated occurrence of ambidextrous helices in the crystal structure of a chiral undecapeptide

Observation of intermediate states of the human prion protein by high pressure NMR spectroscopy

Observation of mesospheric air inside the arctic stratospheric polar vortex in early 2003

OBSERVATION OF OXYGEN ENRICHMENT IN ZIRCONIUM-OXIDE FILMS

Observation of Red-Billed Chough (Pyrrhocorax pyrrhocorax) Removing Fur from Himalayan Tahr (Hemitragus jemlahicus)

Observation of software for distributed systems with RCL

Observation of strong direct-like oscillator strength in the photoluminescence of Si nanoparticles

OBSERVATION OF SURFACE SEGREGATION IN SODIUM GERMANATE GLASS CONTAINING COBALT

Observation of the Laser Cleaning Effect on the Gotland Sandstone Elemental Composition

Observation of unusual chlorine activation by ground-based infrared and microwave spectroscopy in the late Arctic winter 2000/01

Observation on the Damage of Shell and Fie-Fish Larvae During Collection of Shrimp Fry (Penaeus monodon) in the Estuaries of Bhola District, Bangladesh

Observation on the Embryonic and Larval Development of Silurid Catfish, Gulsha (Mystus cavasius Ham.)

Observation on the Embryonic and Larval Development of Silurid Catfish, Gulsha (Mystus cavasius Ham.)

Observation on the Fecundity and Gonadosomatic Index (GSI) of Grey Mullet Liza parsia (Ham.)

Observation on the Fecundity and Gonado-Somatic Index of Mystus gulio in Brackishwaters of Bangladesh

Observation on the Water Flow of Hadero Lake (Sindh)

Observational approaches in algebraic specifications: a comparative study

Observational determinism for concurrent program security

Observational distinguishability of databases with object identity

Observational Equivalences for Logic Programs

Observational logic

Observational proofs with critical contexts

Observational specifications and the indistinguishability assumption

Observational uncertainty in plan recognition among interacting robots

Observationally derived transport diagnostics for the lowermost stratosphere and their application to the GMI chemistry and transport model

Observations and analysis of polar stratospheric clouds detected by POAM III and SAGE III during the SOLVE II/VINTERSOL campaign in the 2002/2003 Northern Hemisphere winter

Observations and model calculations of trace gas scavenging in a dense Saharan dust plume during MINATROC

Observations of lunar tides in the mesosphere and lower thermosphere at Arctic and middle latitudes

Observations of meteor-head echoes using the Jicamarca 50MHz radar in interferometer mode

Observations of meteoric material and implications for aerosol nucleation in the winter Arctic lower stratosphere derived from in situ particle measurements

Observations of oxidation products above a forest imply biogenic emissions of very reactive compounds

Observations of the diurnal and seasonal trends in nitrogen oxides in the western Sierra Nevada

Observations of total peroxy nitrates and aldehydes: measurement interpretation and inference of OH radical concentrations

Observations on Cortical Mechanisms for Object Recognition and Learning

Observations on measure and lowness for \Delta p 2

Observations on non-repudiation

Observations on overlap: findings and implications for automatic processing of multi-party conversation

Observations on Some Climatic Variables and Dietary Influence on the Performance of Cultivated African Giant Land Snail (Archachatina marginata): Notes and Records

Observations on the dynamic evolution of peer-to-peer networks

Observations on the dynamics of a congestion control algorithm: the effects of two-way traffic

Observations on the Fecundity and Gonadosomatic Index (GSI) of the Omani-Indian Oil Sardine Sardinella longiceps (Valenciennes 1847)

Observations on the Larval Rearing of Macrobrachium rosenbergii (De Man) by Using Different Types of Feed in Bangladesh Coastal Environment

Observations on the Larval Rearing of Macrobrachium rosenbergii (De Man) by Using Different Types of Feed in Bangladesh Coastal Environment

Observations on the Nystr??m method for Gaussian process prediction

Observations on the Pathophysiology of Weaner Pigs Fed Raw and Preheated Nigerian Mucuna pruriens (Velvet Bean) Seeds

Observations on the usefulness of arc consistency preprocessing

Observations on the Vegetative and Floral Morphology of Some Vigna Species (Leguminosae-Papilionoideae)

Observations prØ£Â©liminaires de la variabilitØ£Â© entre quelques morphotypes de voandzou (Vigna subterranea L. Verdc., Fabaceae) de CØ£Â´te d'Ivoire

Observed idiosyncracies of relational database designs

Observed structure of addresses in IP traffic

Observer complete definitions are behaviourally coherent

Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning

Observers for linear types

Observing "True" Concurrency

Observing pose and motion through contact

Observing Reusable Password Choices

Observing self-stabilization

Observing TCP Dynamics in Real Networks

Observing the Effects of Multi-Zone Disks

Obsolescent materialized views in query processing of enterprise information systems

OBST --- an overview

Obstacle and lane detection on ARGO autonomous vehicle

Obstacle detection based on qualitative and quantitative 3D reconstruction

Obstacle detection for unmanned ground vehicles: A progress report

Obstacle detection using projective invariant and vanishing lines

Obstacles in Object-Oriented Software Development

Obstacles on the way to qualitative spatial reasoning with description logics: Some undecidability results

Obstacles on the way to spatial reasoning with description logics -- undecidability of ALCRA

Obstetrics and perinatal outcome of adolescent nulliparous pregnant women

Obstruction-free synchronization: Double-ended queues as an example

Obstructive Uropathy in Sudanese Patients

Obtaining calibrated probability estimates from decision trees and naive bayesian classifiers

Obtaining complete answers from incomplete databases

Obtaining good performance from a bad teacher

Obtaining of a Symbiotic Product Based on Lactic Bacteria, Pollen and Honey

Obtaining PVX, PVY and PLRV-Free Micro Tuber from Granola, Pasinler 92 and Caspar Potato (Solanum tuberosum L.) Cultivars

Obtaining PVX, PVY and PLRV-Free Micro Tuber from Granola, Pasinler 92 and Caspar Potato (Solanum tuberosum L.) Cultivars

Obtaining quantitative predictions from monotone relationships

Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages

Obtaining surface orientation from texels under perspective projection

Obtaining trees from their descriptions: An application to tree-adjoining grammars

Obvious Logical Inferences

OC1: A randomized algorithm for building oblique decision trees

OC3MON: Flexible, Affordable, High Performance Statistics Collection

OCB: a block-cipher mode of operation for efficient authenticated encryption

Occam's razor

Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree

Occam's Razor: the cutting edge of parser technology

Occam's two razors: The sharp and the blunt

Occam???s razor

Occam???s razor in metacomputation: the notion of a perfect process tree

Occlusion models for natural images: A statistical study of a scale-invariant dead leaves model

Occlusions, discontinuities, and epipolar lines in stereo

OCCLUSIVE SYNDROME CAUSED BY MESENTERIC VENOUS INFARCTION, ASSOCIATED WITH RAYNAUD SYNDROME

Occom: Efficient computation of observability-based code coverage metrics for functional verification

Occupational exposure assessment for power frequency electromagnetic fields

Occupational exposure assessment for power frequency electromagnetic fields

Occupational exposure assessment for power frequencyelectromagnetic fields

Occupational hazards scheme of social insurance in Saudi Arabia: Overview

Occurrence and biogeographic aspects of Melipona quinquefasciata in NE Brazil (Hymenoptera, Apidae)

Occurrence and characterisation of uropathogenic escherichia coli in urinary tract infections

Occurrence and characterization of entomogen galls in plants from natural vegetation areas in DelfinØ£Â³polis, MG, Brazil

Occurrence and distribution of soybean mosaic potyvirus in soybean crop of North-West Frontier Province Pakistan and characterization of prevalent isolates

Occurrence and parasitism of aphids (Hemiptera: Aphididae) on cultivars of irrigated oat (Avena spp.) in SØ£Â£o Carlos, Brazil

Occurrence of a Severe Mosaic Disease Infecting African Eggplant (Solanum macrocarpon L.) and its Pathogens in Cameroon

Occurrence of adhesin-encoding operons in Escherichia coli isolated from breeders with salpingitis and chicks with omphalitis

Occurrence of cancer at multiple sites: Towards distinguishing multigenesis from metastasis

Occurrence of Cervical Intraepithelial Neoplasia in Generally Healthy Women With Exophytic Vulvar Condyloma Acuminata

Occurrence of Diaretiella rapae (McØ¢Â´Intosh, 1855) (Hymenoptera: Aphidiidae) Parasitising Lipaphis erysimi (Kaltenbach, 1843) and Brevicoryne brassicae (L. 1758) (Homoptera: Aphididae) in Brassica napus in Mato Grosso do Sul

Occurrence of extended spectrum beta-lactamases among Enterobacteriaceae spp. isolated at a tertiary care institute

Occurrence of Extended-Spectrum Beta-Lactamases in Isolates of Klebsiella pneumoniae and Escherichia coli

Occurrence of Fungi and Pectolytic Activity in Fruit Juices from Saudi Arabia

Occurrence of Fusarium moniliforme and fumonisins in kernels of maize hybrids in Venezuela

Occurrence of Haemophilus influenzae strains in three Brazilian states since the introduction of a conjugate Haemophilus influenzae type b vaccine

Occurrence of invasive pneumococcal disease and number of excess cases due to influenza

Occurrence of Larvae and Juveniles of Eucinostomus argenteus, Eucinostomus gula, Menticirrhus americanus, Menticirrhus littoralis, Umbrina coroides and Micropogonias furnieri at Pontal do Sul beach, ParanØ£ØŒ

Occurrence of L-Serine (L-Threonine) Deaminating Enzyme in Filamentous Fungi

Occurrence of Mesocyclops ogunnus Onabamiro, 1957 (Copepoda Cyclopoida) in water bodies of SØ£Â£o Paulo State, identified as Mesocyclops kieferi Van de Velde, 1984

Occurrence of nonylphenol and bisphenol-A in surface waters from Portugal

Occurrence of ozone anomalies over cloudy areas in TOMS version-7 level-2 data

Occurrence of Panulirus ornatus Fabricius from Coastal Waters of Karachi

Occurrence of protein structure elements in conserved sequence regions

Occurrence of Salmonella in Chicken Carcasses and Giblets in Meknes-Morocco

Occurrence of Shallow Bark Canker of Walnut (Juglans regia) in Southern Provinces of Iran

Occurrence of xyloglucan containing protuberances in the storage cell walls of cotyledons of Hymenaea courbaril L.

Occurrence, Chemical Composition, and Nutritional Value of Truffles: An Overview

Occurrences and narratives as constraints in the branching structure of the situation calculus

Occurrences in debugger specifications

OCCURRENCY OF MALASSEZIA PACHYDERMATIS AND OTHER INFECTIOUS AGENTS AS CAUSE OF EXTERNAL OTITIS IN DOGS FROM RIO GRANDE DO SUL STATE, BRAZIL (1996/1997)

Ocean climate and seal condition

Oceanic dispersal barriers, adaptation and larval retention: an interdisciplinary assessment of potential factors maintaining a phylogeographic break between sister lineages of an African prawn

OCEANOGRAPHIC MONITORING PROGRAM OF THE WESTERN ARABIAN GULF

Oceanstore: An architecture for global-scale persistent storage

Ochrobactrum anthropi septicaemia

OcorrØ£Ú¾ncias novas de briØ£Â³fitas para o Brasil

OCPAT: an online codon-preserved alignment tool for evolutionary genomic analysis of protein coding sequences

Octopus: A Reflective Language Mechanism for Object Manipulation

Ocular Disorders in Renal Transplant Patients

Ocular infections due to Non-Tuberculous Mycobacteria

Ocular toxocariasis in a child: A case report from Kashmir, north India

Oculocutaneous albinism

Odb-qoptimizer: A tool for semantic query optimization in oodb

Odd-even sort in powerlists

ODE (object database and environment): The language and the data model

Ode as an Active Database: Constraints and Triggers

OdeFS: A File System Interface to an Object-Oriented Database

OdeView: The Graphical Interface to Ode

Odissea: A peer-to-peer architecture for scalable web search and information retrieval

Odlyzko, Dynamic behavior of differential pricing and Quality of Service options for the Internet

ODMG-93: The Object Database Standard

ODONTOGENIC NECROTIZING FASCIITIS

ODP-Trader

Oerskovia turbata and Myroides species: Rare isolates from a case of acalculus cholecystitis

Oesophageal atresia

Oesophageal cancer mortality in Spain: a spatial analysis

Oesphageal Stenting for palliation of malignant mesothelioma

Of Hummingbirds and helicopters: An algebraic framework for interdisciplinary studies of imitation and its applications

Of Maps and Guidebooks: Designing Geographical Technologies

of neural networks

Of objects and databases: A decade of turmoil

OFDM channel estimation by singular value decomposition

OFF AXIS INCLINATION MEASUREMENT OF DRILLING SHAFTS

Offering a precision-performance tradeoff for aggregation queries over replicated data

Office Monitor

Office-by-example: An integrated office system and database manager

Off-line admission control for general scheduling problems

Offline and online recognition of emotion expression from physiological data

Offline Arabic text recognition system

Offline dictionary-based compression

Off-Line Electronic Cash Based on Secret-Key Certificates

Off-Line Handwritten Numeral String Recognition by Combining Segmentation-Based and Segmentation-Free Methods

Offline integrity checking of untrusted storage

Off-line Learning of Coordination in Functionally Structured Agents for Distributed Data Processing

Off-line reasoning for on-line efficiency: knowledge bases

OFF-LINE SPATIAL ALIGNMENT

Off-line Variable Substitution for Scaling Points-to Analysis

Off-pump repair of a post-infarct ventricular septal defect: the 'Hamburger procedure'

Offshore distribution patterns of the cyanobacterium Trichodesmium erythraeum ehrenberg and associated phyto- and bacterioplankton in the southern Atlantic coast (ParanØ£ØŒ, Brazil)

Off-target effects of siRNA specific for GFP

Off-The-Shelf, Real-Time, Human Body Motion Capture for Synthetic Environments

Off-trial evaluation of bisphosphonates in patients with metastatic breast cancer

Ofloxacin plus Rifampicin versus Doxycycline plus Rifampicin in the treatment of brucellosis: a randomized clinical trial [ISRCTN11871179]

OH and HO2 chemistry during NAMBLEX: roles of oxygenates, halogen oxides and heterogeneous uptake

OH in the coastal boundary layer of Crete during MINOS: Measurements and relationship with ozone photolysis

OHSUMED: An interactive retrieval evaluation and new large test collection for research

OIL in a nutshell

Oil palm (Elaeis guineensis Jacq.) tissue culture ESTs: Identifying genes associated with callogenesis and embryogenesis

Oil pollutants in alluvial sediments Ø¢â€“ influence of the intensity of contact with ground waters on the effect of microorganisms

Oil recovery from tarmat reservoirs using hot water and solvent flooding

Oil yield and fatty acid composition of spring sunflower

OilEd: a reason-able ontology editor for the semantic web

Okapi at TREC--3

OKBC: A programmatic foundation for knowledge base interoperability

Okra Leaf Cotton, its Commercial Utilization in Sindh

Olan: A Language and Runtime Support for Distributed Application Configuration

OLAP and Statistical Databases: Similarities and Differences

OLAP Mining: An Integration of OLAP with Data Mining

olatile Compounds of a Traditional Thai Rice Wine

Old and new convergence proofs for multigrid methods

Old and new deterministic factoring algorithms

Older age does not influence CD4 cell recovery in HIV-1 infected patients receiving Highly Active Anti Retroviral Therapy

Older-first garbage collection in practice

Oldest record of Trimeniaceae from the Early Cretaceous of northern Japan

Olfactory Ensheathing Glia: Drivers of Axonal Regeneration in the Central Nervous System?

Olga - a conversational agent with gestures

Olga - a dialogue system with an animated talking agent

Oligodeoxyribonucleotide probe accessibility on a three-dimensional DNA microarray surface and the effect of hybridization time on the accuracy of expression ratios

Olive cultivar origin is a major cause of polymorphism for Ole e 1 pollen allergen

Olive oil protects against chromosomal aberrations induced by doxorubicin in wistar rat bone marrow cells

Olive oil's bitter principle reverses acquired autoresistance to trastuzumab (Herceptinâ„¢) in HER2-overexpressing breast cancer cells

Ollier disease

Olnhausen. A framework for evaluating specification methods for reactive systems

OMAC: One-Key CBC MAC

Omega\Gamma Mkrp: A proof development environment

Omega-3 Fatty Acid Consumption and Food Sources Differ among Elderly Men Living in Coastal and Internal Regions of Saudi Arabia

Omega-3 fatty acids decreased irritability of patients with bipolar disorder in an add-on, open label study

Omega-MKRP: A Proof Development Environment

Omentoplasty versus no omentoplasty for esophagogastrostomy after surgery for cancer of cardia and esophagus

O-minimal hybrid systems

Omnibase: Uniform access to heterogeneous data for question answering

Omnidirectional distributed vision for multi-robot mapping

Omnidirectional video camera

Omnidirectional vision

Omni-directional vision for robot navigation

Omni-directional Vision with a Multi-part Mirror

Omni-directional visual navigation

Omnipotence without omniscience: Efficient sensor management for planning

Omniware: A Universal Substrate for Web Programming

OMorphogenetic Variation for Essential Oils in Salvia palaestina Bentham Leaves and Bracts from Turkey

OMorphogenetic Variation for Essential Oils in Salvia palaestina Bentham Leaves and Bracts from Turkey

OMOS --- an object server for program execution

OMOS | an object server for program execution

On ???Technomethodology???: Foundational Relationships between Ethnomethodology

On 2-Round Secure Multiparty Computation

On 3D Shape Similarity

On a class of approximate formulas for total p-electron energy of benzenoid hydrocarbons

On a class of constant weight codes

On a connection between kernel pca and metric multidimensional scaling

On a connection between the generalized incomplete gamma functions and their extensions

On a correlation inequality of Farr

On a coverage process ranging from the boolean model to the poisson voronoi tessellation, with applications to wireless communications

On a cylindrically symmetric static metric admitting proper matter collineations

On a declarative semantics for web queries

On a distributed anytime architecture for probabilistic reasoning

ON A FAMILY OF LOGARITHMIC AND EXPONENTIAL INTEGRALS OCCURRING IN PROBABILITY AND RELIABILITY THEORY

On a finite difference method for singular two-point boundary value problems

On a fourth order degenerate parabolic equation: global entropy estimates and qualitative behaviour of solutions

On a general class of interior-point algorithms for semidefinite programming with polynomial complexity and superlinear convergence

On a generalization of extended resolution

On a homogeneous algorithm for the monotone complementarity problem

On a Limitation of BAN Logic

On a lower bound for the redundancy of reliable networks with noisy gates

On a multi-objective evolutionary algorithm and its convergence to the pareto set

On a network creation game

On a new collection of stochastic linear programming test problems. URL: http://www.uwsp.edu/math/afelt/slptestset/download.html, accessed 29

On a New Condition for Strictly Positive Definite Functions on Spheres

On a new method for dataflow analysis of Java virtual machine subroutines

ON A NUMERICAL TECHNIQUE REGARDING INVERSION OF THE LAPLACE TRANSFORM

ON A PAIR OF FUNCTIONS USEFUL IN HEAT-CONDUCTION PROBLEMS

On a portion of the well-known collaboration graph

ON A PROBABILITY FUNCTION USEFUL IN SIZE MODELING

On a problem of 0-limits

On a problem of Fuchs and Salce

On a problem of Wenzel on equational compactness of modules

On a quantitative notion of uniformity

On a recursive spectral algorithm for clustering from pairwise similarities

On a rule based management architecture

On a Simple Depth-First Search Strategy for Exploring Unknown Graphs

On a stochastic model for continuous mass branching population

On a subproblem of trust region algorithms for constrained optimization

On a Temporal Logic for Object-Based Systems

On a theorem of M. Chasles

On a voronoi aggregative process related to a bivariate poisson process

On a weak form of equational compactness

On access checking in capability-based systems

On accommodating mobile hosts in an integrated services packet network

On Achievable Service Differentiation with Token Bucket Marking for TCP

On acting together: Without communication

On action algebras

On Active Deductive Databases: The Statelog Approach

On Active Networking and Congestion

On adaptive bandwidth sharing with rate guarantees

On adaptive resource allocation for complex real-time applications

On adaptive strategies for an extended family of Golomb-type codes

On adaptive vs. non-adaptive security of multiparty protocols

On Adaptivity of BlockShrink Wavelet Estimator Over Besov Spaces

On Advantages of Grid Computing for Parallel Job Scheduling

On affine invariant clustering and automatic cast listing in movies

On agent domains, agent names and proxy agents

On agent-based software engineering

On algorithms for simple stochastic games

On aligning trees

On almost similar operators

ON ALMOST UNITARILY EQUIVALENT OPERATORS

On almost-sure stabilization of discrete-time jump parameter systems: an LMI approach

On an Algorithm for Finding All Interesting Sentences

On an Authorization Mechanism

On an extension of generalized incomplete Gamma functions with applications

ON AN INTEGRAL OF LOMMEL AND BESSEL-FUNCTIONS

On an interpretation of second order quantification in first order intuitionistic propositional logic

On an inverse eigenproblem for Jacobi matrices

On annihilators of BCK-algebras

On answering queries in the presence of limited access patterns

On applied research in machine learning

On approximate approximations using Gaussian kernels

On Approximate Lagrangians And Invariants For Scaling Reductions Of A Non-Linear Wave Equation With Damping

On approximate nearest neighbors in non-euclidean spaces

On approximately counting colourings of small degree graphs

On approximating arbitrary metrics by tree metrics

On Approximating Planar Metrics by Tree Metrics

On approximating rectangle tiling and packing

On approximating the longest path in a graph

On approximation preserving reductions: Complete problems and robust measures

On approximation scheme preserving reducibility and its applications

On architecture transparency in operating systems

On area/depth trade-off in LUT-based FPGA technology mapping

On arithmetic branching programs

On associative memory

On asymptotic structure, the Szlenk index and UKK properties in Banach spaces. Positivity 3

On Asynchronous Iterations

On asynchrony in name-passing calculi

On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem

On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity

On automatic data structure selection and code generation for sparse computations

On automatic filtering of multilingual texts

On automatic selection of temporal scales in time-causal scale-space

On automating process algebra proofs

On available bandwidth in FDDI-based reconfigurable networks

On bagging and nonlinear estimation

On Bayesian model assessment and choice using cross-validation predictive densities

On behavioural abstraction and behavioural satisfaction in higher-order logic

On being incoherent without being very hard

On Belief Evolution in Authentication Protocols

On bias plus variance

On biased and non-uniform global routing architectures and CAD tools for FPGAs

On biases in estimating multi-valued attributes

On bi-decompositions of logic functions

On bijections vs. unary functions

On binary constraint problems

On Biology of Houbara Bustard ( style=`mso-bidi-font-style:normal`>Chlamydotis undulata macqueenii) in Balochistan, Pakistan: Animal Populations Sharing Habitat

On Biology of Houbara Bustard ( style=`mso-bidi-font-style:normal`>Chlamydotis undulata macqueenii) in Balochistan, Pakistan: Faunal Associations

On Biology of Houbara Bustard (Chlamydotis undulata macqueenii) in Balochistan, Pakistan: Influence of Vegetative Characters on Distribution

On Biology of Houbara Bustard (Chlamydotis undulata macqueenii) in Balochistan, Pakistan:Phytosociological Analysis of Habitat

On Block Updating in Markov Random Field Models for Disease Mapping

On bounded queries and approximation

On bounded truth-table, conjunctive, and randomized reductions to sparse sets

On bounding-schemas for LDAP directories

On Brooks' theorem for sparse graphs

On B-tree indices for skewed distributions

On bubble-side transport limitations in catalytic fluid-bed reactors

On Building a Planning Tool Box

On building distributed soft real-time systems

On bulk data type constructors and manipulation primitives - a framework for analyzing expressive power and complexity

On bunched predicate logic

On caching search engine query results

On Caching Search Engine Results

On calculating power-aware connected dominating sets for efficient routing in ad hoc wireless networks

On calibrating measurements of packet transit times

On call processing delay in high speed networks

On canonical forms and simplification

On Capturing Exceptions in Workflow Process Models

On Carlitz compositions

On causal scheduling of multiclass traffic with deadlines

On CBR Service

On certain exponential sums and the distribution of Diffie-Hellman triples

On certain finite semigroups of order-decreasing transformations I

On certain infinite semigroups of order-increasing transformations II

On characterizations of the input-to-state stability property

On characterizing BGP routing table growth

On characterizing network topologies and analyzing their impact on protocol design

On checkpoint latency

On Choosing a Task Assignment Policy for a Distributed Server System

On Cinnamomum (Lauraceae) in Mexico

On circuits and numbers

On classification and regression

On claw free families

On closure properties of GapP

On clusterings: Good, bad and spectral

On collision-free placements of simplices and the closest pair of lines in 3-space

On coloring unit disk graphs

On combinatorial auction and Lagrangean relaxation for distributed resource scheduling

On combining artificial neural nets

On combining data from multiple sources with unknown relative weights (Thesis

On combining formal and informal verification

On Combining Semi-Formal and Formal Object Specification Techniques

On Combining the Knowledge of Heterogeneous Information Repositories

On combining the Stubborn Set Method with the Sleep Set Method

On Communication Security in Wireless Ad-Hoc Sensor Networks

On compact representations of propositional circumscription

On comparing classifiers: A critique of current research and methods

On comparing classifiers: Pitfalls to avoid and a recommended approach

On comparing statistical and set-based methods in sensor data fusion

ON COMPARISON OF SPLINE REGULARIZATION WITH EXPONENTIAL SAMPLING METHOD FOR LAPLACE TRANSFORM INVERSION

On compatible triangulations of simple polygons

On Competitive On-Line Paging with Lookahead

On compiling array expressions for efficient execution on distributed-memory machines

On complete congruence lattices of complete modular lattices

On comprehensive visual learning

On Computable Beliefs of Rational Machines

On computational complexity of invalidating structured uncertainty models

On computational interpretations of the modal logic S4 I. Cut elimination

On computational interpretations of the modal logic S4 II. The evQ-calculus

On computational interpretations of the modal logic S4 IIIb. Confluence and conservativity of the evQ H -calculus. Research report, Inria

On computational social laws for dynamic non-homogeneous social structures

On Computer Viral Infection and the Effect of Immunization

On computing edges that are in all minimum-weight triangulations

On computing exact visual hulls of solids bounded by smooth surfaces

On computing four-finger equilibrium and force-closure grasps of polyhedral objects

On computing functions with uncertainty

On computing minimal models

On Computing Optimal Controllers for Finite State Systems

On Computing Symmetries and Stubborn Sets

On computing the determinant and Smith form of an integer matrix

On computing Voronoi diagrams by divide-prune-and-conquer

On concrete security treatment of signatures derived from identification

On concurrent and resettable zero-knowledge proofs for NP, http://www.cs.technion.ac.il/~erez/publications.html

On Concurrent Zero-knowledge with Pre-processing

On confluence of constraint handling rules

On constrained minimum pseudotriangulations

On constraint sampling for the linear programming approach to approximate dynamic programming

On Constraints and Queries in UML

On constructions and nonlinearity of correlation immune functions

On constructive negation in logic programming

On constructor-based graph rewriting systems

On Contention Resolution Protocols and Associated Probabilistic Phenomena

On continuous homotopic one layer routing

On controllability and normality of discrete event dynamical systems

On Convergence Properties of the EM Algorithm for Gaussian Mixtures

On convergence rates of Gibbs samplers for uniform distributions

On Cooperation in a Multi-Entity Model

On cooperation in multi-agent systems

On coordinated checkpointing in distributed systems

On copy avoidance in single assignment languages

On Correctness Issues in Conceptual Modeling of Workflows

On Correctness of Non-serializable Executions

On correlated failures in survivable storage systems

On correlated mutations in evolution strategies

On credibility of simulation studies of telecommunication networks

On Cryptographic Properties of Random Boolean Functions

On cycles in the transcription network of Saccharomyces cerevisiae

On data structures and asymmetric communication complexity

On death, taxes, and the convergence of peer-to-peer and grid computing

On debugging real-time applications

On decentralizing selection algorithms

On Decidability and Complexity of Description Logics with Uniqueness Constraints

On decision-theoretic foundations for defaults

On Deductive Planning and the Frame Problem

On Defining Proofs of Knowledge

On Defining Requirements for Interaction

On Degeneracy of Linear Reconstruction from Three Views: Linear Line Complex and Applications

On Demand Paging Using Bluetooth Radios on 802.11 Based Networks

On demand routing in large ad hoc wireless networks with passive clustering

On Denoising and Best Signal Representation

On Design and Evaluation of Tapped-Delay Neural Network Architectures

On designing a visual system (Towards a Gibsonian computational model of vision

On designing an experiment to evaluate a reverse engineering tool

On designing intelligent hypertext systems for information management in software engineering

On designing lightweight threads for substrate software

On Designing Pronunciation Lexicons for Large Vocabulary, Continuous Speech Recognition

On designing ULM-based FPGA logic modules

On detecting conflict between proposed updates

On determining the congruity of point sets in higher dimensions. These proceedings

On deterministic approximation of DNF

On deterministic traffic regulation and service guarantee: A systematic approach by filtering

On device abstractions for portable, reusable robot code

On dialogue cohesion

On dialogue systems with speech acts, arguments, and counterarguments

On differential variability of expression ratios: Improving statistical inference about gene expression changes from microarray data

On diffusing computations

On Directed Steiner Trees

On disconnected browsing of distributed information

On discontinuity-adaptive smoothness priors in computer vision

On discrete and hybrid representation of hybrid systems

On Distinguishing Epistemic from Pragmatic Action

On distributed security transactions that use secure transport protocols

On Diving in Trees

On Division and Reciprocal Caches

On domain-specific declarative knowledge representation and database languages

On Drawing Lines on a Map

On duo rings, pure semisimplicity and finite representation type

On Dynamic Models of Robot Force Control

On Dynamic Speculative Thread Partitioning and the MEM-Slicing Algorithm

On dynamically updating a computer program: From concept to prototype

On Edge Addition Rewrite Systems and Their Relevance to Program Analysis

On effective data supply for multi-issue processors

On Effects of Machine Configurations on Parallel Job Scheduling in Computational Grids

On efficient agnostic learning of linear combinations of basis functions

On efficient extraction of partially specified test sets for synchronous sequential circuits

On efficient extraction of partially specified test sets for synchronous sequential circuits

On Efficient Markovian Modelling

On efficient reasoning with implication constraints

On efficient runtime support for multiblock and multigrid applications: Regular section analysis

On embedded languages, meta-level reasoning and computer-aided modeling

On embedding a microarchitectural design language within haskell

On endomorphisms of semilattices of groups

On end-to-end architecture for transporting MPEG-4 video over the Internet

On energetic, exergetic and environmental aspects of drying systems

On energy conservation policies and implementation practices

On equivalence and canonical forms in the LF type theory

On error exponents for arbitrarily varying channels

On essential singularities in a cosmological model with heat flow

On estimating end-to-end network path properties

On Estimating the Useful Work Distribution of Parallel Programs Under P T : Static Performance Estimator. Concurrency: Practice and Experience

On Euclid's algorithm and the computation of polynomial greatest common divisors

On Euclidean embeddings and bandwidth minimization

On event routing in content-based publish/subscribe through dynamic networks

On Evidential Feature Salience

On evolutionary origin of cancer

On evolving robust strategies for iterated prisoner's dilemma

On Exact and Approximate Cut Covers of Graphs

On Exact Solutions for the Rectilinear Steiner Tree Problem

On existence of solutions of semilinear impulsive functional differential equations with nonlocal conditions

On Expanding Query Vectors with Lexically Related Words

On Extending Java

On extending primal-dual interior-point algorithms from linear programming to semidefinite programming

On extending some primal-dual interior-point algorithms from linear programming to semidefinite programming

On extensibility of proof checkers

On extracting randomness from weak random sources

On extreme atmospheric and marine nitrogen fluxes and chlorophyll-a levels in the Kattegat Strait

On Fairness and Efficiency of Adaptive Audio Application Layers for Multihop Wireless Networks

On Fast Algorithms for Two Servers

On fast and provably secure message authentication based on universal hashing

On fast multiplication of polynomials over arbitrary algebras

On feature extraction by mutual information maximization

On feature selection: learning with exponentially many irrelevant features as training examples

On Fibonacci Keystream Generators

On finding a solution in temporal constraint satisfaction problems

On finding duplication and near-duplication in large software systems

On finding large conjunctive clusters

On Finding Multi-Constrained Paths

On Finding Primal- and Dual-Optimal Bases

On finding the maxima of a set of vectors

On finding the rectangular duals of planar triangulated graphs

On finite gain stabilizability of linear systems subject to input saturation

On floating point errors in Cholesky

On force and form closure for multiple finger grasps

On formal analysis of emergent properties

On formal models for secure key exchange

On formal semantics of Statecharts as supported by statemate

On formalizing database updates: Preliminary report

On Formalizing the UML Object Constraint Language OCL

On formulating semidefinite programming problems as smooth convex nonlinear optimization problems

On forward checking for nonbinary constraint satisfaction

On forward checking for non-binary constraint satisfaction

On Fourier's Algorithm for Linear Arithmetic Constraints

On full abstraction for

On fully decentralized resource discovery in grid environments

On functors expressible in the polymorphic typed lambda calculus

On fundamental tradeoffs between delay bounds and computational complexity in packet scheduling algorithms

On garbled circuits and constant round secure function evaluation

On gene dosage balance in protein complexes: a comment on Semple JI, Vavouri T, Lehner B. A simple principle concerning the robustness of protein complex activity to changes in gene expression.

On generalised mixed co-quasi-variational inequalities with noncompact valued mappings

On generalized authorization problems

On generalized entropies and scale-space

On generalized Newton algorithms: quadratic convergence, path-following and error analysis

On generating circles, disks and spheres

On geometric and algebraic aspects of 3D affine and projective structures from perspective 2D views

On geometric graphs with no k pairwise parallel edges

On global convergence of a trust region and affine scaling method for nonlinearly constrained minimization

On Godel's theorems on lengths of proofs II: Lower bounds for recognizing k symbol provability

On Goursat Normal Forms, Prolongations, and Control Systems

On grammar and language families

On gray code mapping for mesh-FFTs on binary N-cubes

On Group Communication in Large-Scale Distributed Systems

On Guaranteed Delivery of Time-Critical Messages in DQDB

On Hard Real-Time Management Information

On Hele-Shaw models with surface tension

On Herbrand skeletons

On hermite interpolating L-2-approximants

On Heuristic Reasoning, Reactivity, and Search

On high-bandwidth data cache design for multi-issue processors

On higher order recursive program schemes

On higher-order semi-explicit symplectic partitioned Runge-Kutta methods for constrained Hamiltonian systems

On High-Speed VLSI Interconnects: Analysis and Design

On Hoare logic and Kleene algebra with tests

On holomorphic principal bundles over a compact Riemann surface admitting a flat connection

On holomorphic principal bundles over a compact Riemann surface admitting a flat connection, II

On homology searches by protein Blast and the characterization of the age of genes

On Horn envelopes and hypergraph transversals

ON IDENTIFICATION OF PARALLEL BLOCK-CASCADE NONLINEAR MODELS

On illumination invariance in color object recognition

On image classification: City images vs. landscapes

On Implementation Choices for Iterative Improvement Partitioning Algorithms

On implementation of a Lagrangian dual method for solving multi-stage stochastic programming problems

On implementations and semantics of a concurrent programming language

On Implementing an HPSG theory

On Implementing MPI-IO Portably and with High Performance

On implementing push-relabel method for the maximum flow problem

On impossibility of decremental recomputation of recursive queries in relational calculus and SQL

ON IMPROPER INTEGRALS OF PRODUCTS OF LOGARITHMIC, POWER AND BESSEL-FUNCTIONS

On improving connectionist energy minimization

ON IMPROVING HUMAN RELIABILITY IN COMPUTER-PROGRAMMING

ON IMPROVING THE EFFECTIVENESS OF SYSTEM-ON-ACHIP TEST DATA COMPRESSION BASED ON EXTENDED FREQUENCY DIRECTED RUN-LENGTH CODES

On improving the fairness of TCP congestion avoidance

On improving the performance of sparse matrix-vector multiplication

On incidence matrices of finite projective and affine spaces

On increasing subsequences of i.i.d. samples

On increasing subsequences of random permutations

On Index Selection Schemes for Nested Object Hierarchies

On Indexing Mobile Objects

On individual and aggregate TCP performance

On Inferring Autonomous System Relationships in the Internet

On inferring TCP behavior

On information invariants in robotics

On information regularization

On Inner Classes

On input selection with reversible jump Markov chain Monte Carlo sampling

On input state space reduction and buffer noneffective region

On integer Chebyshev polynomials

On integral basis reduction in global function fields

On Interaction Refinement in Middleware

On Interface Objects In Object-Oriented Database

On Internet Authentication

On interpreting results of model-checking with abstraction

On isospectral sets of Jacobi operators

On Job Scheduling for HPC-Clusters and the dynP Scheduler

On joint distributions of arbitrary variables

On Kernel Rules and Prime Implicants

On kernel support for real-time multimedia applications

On kernel target alignment

On kernel-target alignment

On Key Agreement and Conference Key Agreement

On key distribution protocols for repeated authentication

On Key Distribution via True Broadcasting

On Kleene algebras and closed semirings

On knowledge-based programming with sensing in the situation calculus

On Krylov subspace approximations to the matrix exponential operator

On k-strong and k-cyclic Digraphs

On Ladder Structures and Linear Phase Conditions for Bi-Orthogonal Filter Banks

On Lagrangian relaxation of quadratic matrix constraints

On language and connectionism: Analysis of a parallel distributed processing model of language acquisition

On Latency Management in Time-Shared Operating Systems

On Lattice Quantization Noise

ON LEAD TIME MANAGEMENT IN INVENTORY MODELS

On learning branching programs and small depth circuits

On learning from noisy and incomplete examples

On learning how to learn learning strategies

On learning in the presence of unspecified attribute values

On Learning Monotone Boolean Functions

On learning read-k-satisfy-j dnf

On 'learning term rewriting systems from entailment'

On Learning Texture Edge Detectors

On Learning Width Two Branching Programs

On levels in arrangements of lines, segments, planes, and triangles. Discrete Comput. Geom

On limits and possibilities of automated protocol analysis

On limits of wireless communications in a fading environment when using multiple antennas

On Line Processing of Compacted Relations

On linear-time deterministic algorithms for optimization problems in fixed dimension

On local search and placement of meters in networks

On locally solid topological lattice groups

On Location Management for

On logics with two variables

On Loops, Dominators, and Dominance Frontiers

On Lotteries with Unique Winners

On low-cost error containment and recovery methods for guarded software upgrading

On Lower Bounds for Read-k-times Branching Programs

On lower bounds for selecting the median

On Lowest-Density MDS Codes

On maintaining priorities in a production rule system

On making TCP more robust to packet reordering

On market-inspired approaches to propositional satisfiability

On Markov Chain Monte Carlo Methods for Nonlinear and Non-Gaussian State-Space Models

On Markov chains for independent sets

On Matching Brain Volumes

ON MATHEMATICAL AND EMPIRICAL-MODELS FOR SURFACE OIL-SPILL TRANSPORT IN THE GULF

On matroids representable over GF (3) and other

On maximum clique problems in very large graphs

On maximum family size in branching processes

On MCMC sampling in Bayesian MLP neural networks

On measurement and analysis of software changes

On mechanizing proofs within a complete proof system for Unity

On membership comparable sets

On Memory-Bound Functions for Fighting Spam

ON MENNICKE GROUPS OF DEFICIENCY ZERO-II

On merging hidden Markov models with deformable templates

On message sequence graphs and finitely generated regular MSC languages

On metric entropy, Vapnik-Chervonenkis dimension, and learnability for a class of distributions

On Metric Ramsey-type Dichotomies

On metric Ramsey-type phenomena

On micro-kernel construction

On Migrating Threads

On minimum entropy segmentation

On mining Web Access Logs

On modal logics between KKK and S5S5S5

On Modal Modeling for Medical Images: Underconstrained Shape Description and Data Compression

On model checking for Petri nets and a linear-time temporal logic

On model theory for intuitionistic bounded arithmetic with applications to independence results

On model-checking for fragments of ??????-calculus

On Modeling and Predicting Query Behavior in OLAP Systems

On modeling consistent checkpoints and the domino effect in distributed systems

On modeling IND-CCA security in cryptographic protocols. Cryptology ePrint Archive, Report 2003/024

On modeling of concept based retrieval in generalized vector spaces

On modelling life

On modular pluggable analyses using set interfaces

On modularity of termination and confluence properties of conditional rewrite systems

On molecular graphs and digraphs of annulenes and their spectra

On monotone function closure of perfect and statistical zero-knowledge. Theory of Cryptography Library: Record 96-03

On multiagent Q-learning in a semi-competitive domain

On Multicast Path Finding Algorithms

On Multicast Wormhole Routing in Multicomputer Networks

On multi-dimensional packing problems

On multiple classifier systems for pattern recognition

On multiple description streaming with content delivery networks

On Multiple Inheritance in Java

On Multiple Interpretations

On multiple moving objects

On multiplicities in polynomial system solving

On multiprocessor system scheduling

On multivariate Lagrange interpolation

On name generation and set-based analysis in the Dolev-Yao model

On name resolution in peer-to-peer networks

On narrowing, refutation proofs and constraints

On nearest-neighbor graphs

On negation in hilog

On negation, completeness and consistency

On nested depth first search

On network-aware clustering of web clients

On nominal delay minimization in LUT-based FPGA technology mapping

On Non-existence of Optimal Local Synchronous Bandwidth Allocation Schemes for the Timed-Token MAC Protocol

On non-preemptive scheduling of periodic and sporadic tasks

On nonresonance impulsive functional differential inclusions with nonconvex valued right-hand side

On Normal Forms and Equivalence for Logic Programs

ON N-POWER NORMAL OPERATORS

On Object Extension

On object state testing

On object systems and behavioral inheritance

On one-dimensional quantum cellular automata

ON OPTICAL CHARACTER RECOGNITION OF ARABIC TEXT

On optimal all-to-all personalized connections and cost-effective designs in WDM rings

On optimal call admission control

On optimal call admission control in cellular networks

On Optimal Firewall Rule Ordering

On Optimal Hash Tree Traversal for Interval Time-Stamping

On optimal piggyback merging policies for video-on-demand systems

On Optimal Placement of Erasure Nodes on a Dual Bus Network

On Optimal Traffic Grooming in WDM Rings

On optimality of variants of the block sorting compression

On optimistic methods for concurrency control

On optimizing a class of multi-dimensional loops with reductions for parallel execution

On Optimizing Backoff Procedure to Enhance Throughput and Fairness For Wireless LANs

On Optimizing the Location Update Costs in the Presence of Database Failures

On optimum combining for forward-link W-CDMA in the presence of interpath interference

On orbit dimensions under a simultaneous Lie group action on n copies of a manifold

On orders of optimal normal basis generators

On Overfitting Avoidance as Bias

On P4-tidy graphs

On PAC learning using Winnow, Perceptron, and a Perceptron-like algorithm

On Packing R-trees

On paradigms for security policies in multipolicy environments

On Parallel Execution of Multiple Pipelined Hash Joins

On parallel integer sorting

On parsing two-level grammars

On partially controlled multi-agent systems

On partitioning dynamic adaptive grid hierarchies

On password-based authenticated key exchange using collisionful hash functions

On path selection for traffic with bandwidth guarantees

On Pattern Frequency Occurrences in a Markovian Sequence

On peer-to-peer media streaming

On Perfect Introspection with Quantifying-in

On perfect simulation for some mixtures of distributions

On Performance of Caching Proxies

On permutation representations for scheduling problems

On peroxide antimalarials

On perpendicular texture or: Why do we see more flowers in the distance

On perturbations of matrix pencils with real spectra

On photometric issues in 3d visual recognition from a single 2d image

On photon correlation measurements of colloidal size distributions using Bayesian strategies

On plane-based camera calibration: A general algorithm, singularities, applications

On planning and exploration in non-discrete environments

On play by means of computing machines

On polynomial-time preference elicitation with value queries

On posets and Hopf algebras

On positive Harris recurrence of multiclass queueing networks: A unified approach via fluid limit models

On power control with active link quality protection in wireless communication networks

On Power-law Relationships of the Internet Topology

On predictive distributions and Bayesian networks

On preemptive scheduling of unrelated parallel processors by linear programming

On preservation theorems for two-variable logic

On Preserving views in evolving environments

On Preventing Intrusions by Process Behavior Monitoring

On probabilistic CCP

On probabilistic completeness and expected complexity of probabilistic path planning

On probabilistic model checking

On programmable universal mobile channels in a cellular internet

On projection algorithms for solving convex feasibility problems

On proof normalization in linear logic

On proof rules for monitors

On Propagation of Deletions and Annotations Through Views

On properties of floating point arithmetics: numerical stability and the cost of accurate computations

On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming

On propositional knowledge base updates

On protective buffer policies

On provably disjoint NP-pairs

On providing support for protocol adaptation in mobile wireless networks

On proving safety properties by integrating static analysis, theorem proving and abstraction

On proving super-logarithmic depth lower bounds via the direct sum in communication complexity

On proving termination by innermost termination

On pseudorandomness and resource-bounded measure

On Public-key Steganography in the Presence of an Active Warden

On quantization and its impact on the exact recovery of high ordermoments

On quantization with the Weaire-Phelan partition

On quantum algorithms for noncommutative hidden subgroups

On quantum and probabilistic communication: Las vegas and one-way protocols

On quasi-orthogonal signatures for CDMA systems

On Ramis's solution of the local inverse problem of differential Galois theory, preprint, Universit'e Louis Pasteur

On Random and Hard-to-Describe Numbers

On Random Coding Error Exponents of Watermarking Codes

On random minimization of functions

On random rotations diversity and minimum mse decoding of lattices

On Randomization in Sequential and Distributed Algorithms

On randomized one-round communication complexity

On rank vs. communication complexity

On rate of convergence of Monte Carlo approximations of stochastic programs

On rational computability and communication complexity

On read-once vs. multiple access to randomness in logspace

On realizing a broadband kernel for multimedia networks

On real-time and non real-time distributed computing

On reasonable and forced goal orderings and their use in an incremental planning algorithm

On reasoning about structural equality in XML: A description logic approach

On reasoning by default

On recent results for MD2, MD4 and MD5

On rectangular partitionings in two dimensions: Algorithms, complexity, and applications

On Recycling the Randomness of States in Space Bounded Computation

On reducibility to complex or sparse sets

On Reducing the Complexity of Management and Control of Future Broadband Networks

On reducing the processing cost of on-demand QoS path computation

On reduction algorithms for graphs with small treewidth

On reduction-based process semantics

On reformulation of constraint satisfaction problems

ON REGULARIZED NUMERICAL INVERSION OF MELLIN TRANSFORM

On reinforcement learning of control actions in noisy and non-Markovian domains

On relating Rewriting Systems and Graph Grammars to Event Structures

On relating some models for concurrency

On repeated games with incomplete information played by non-Bayesian players

On Representing Commonsense Knowledge

On representing edge structure for model matching

On Resilient Boolean Functions with Maximum Possible Nonlinearity

On resource management and QoS guarantees for long range dependent traffic

On resource-oriented multi-commodity market computations

On restoration and super-resolution for continuous image sequence-adaptive filtering approach

On restricted-focus-of-attention learnability of Boolean functions

On Retransmission Schemes for Real-time Streaming

On retransmission-based error control for continuous media traffic in packet-switching networks

On Ricci inheritance symmetry in general relativity

ON ROCKET PERFORMANCE, STABILITY AND CONTROL

On role logic

On rotations and the generation of binary trees

On rounds in quantum communication

On runtime parallel scheduling

On sampling generating sets of finite groups and the product replacement algorithm

On saying "enough already!" in SQL

On scalable and efficient distributed failure detectors

On scalable QoS routing: performance evaluation of topology aggregation

On scale selection for differential operators

On SDSI's linked local name spaces

On second generation hypermedia systems

On second order homogeneous linear differential equations with Liouvillian solutions

On secure and pseudonymous client-relationships with multiple servers

On Security in Capability-Based Systems

On seeing robots

On selectable collisionful hash functions

On Selfish Routing in Internet-Like Environments

On self-similar traffic in ATM queues: Definitions, overflow probability bound, and cell delay distribution

On semantic query optimization in deductive databases

On separating the read-k-times branching program hierarchy

On separating two simple polygons by a single translation

On Sequential Monte Carlo Sampling Methods for Bayesian Filtering

On serializability of multidatabase transactions through forced local conflicts

On sets, types, fixed points, and checkerboards

On Shape Similarity

On Shopping Incognito

On Shostak's decision procedure for combinations of theories

On side constrained models of traffic equilibria

On Similarity Queries for Time-Series Data: Constraint Specification and Implementation

On similarity to prototypes in 3D object representation

On Skew estimation and correction of text

On small depth threshold circuits

On smoothing for multilevel approximation with radial basis functions

On Social Attitudes: A Preliminary Report

On social laws for artificial agent societies: Off-line design

On soliton and other exact solutions of the combined KdV and modified and generalized KdV equations

On solutions of linear ordinary differential equations in their coefficient field

On solving binate covering problems

On Solving Geometric Optimization Problems Using Shortest Paths

On Solving Temporal Logic Queries

On Some Applications of Finite-State Automata Theory to Natural Language Processing

On some computational problems in finite abelian groups

On some geometric optimization problems in layered manufacturing

ON SOME INFINITE INTEGRALS INVOLVING LOGARITHMIC EXPONENTIAL AND POWERS

On Some Low Distortion Metric Ramsey Problems

On Some Methods for Unconditionally Secure Key Distribution and Broadcast Encryption

On Some Monosacate Pollen from Borehole Jhang, Pakistan

On some recent developments concerning Moreau's sweeping process

On some relations between dynamical systems and transition systems

On some semantic consequences of turn taking

On Some Stability Properties of the LRAAM Model

On some tighter inapproximability results, further improvements

On some tractable classes in deduction and abduction

On some trematodes parasites of fishes from ParanØ£ØŒ River

On space management in a dynamic edge data cache

On span programs

On specifying security policies for web documents with an XML-based language

On Specifying the Reactive Behavior on Constraint Violations

On spectral clustering: Analysis and an algorithm

On spline regularized inversion of noisy Laplace transforms

On splines and their minimum properties

On stability and passivity of a class of hybrid systems

On stability radii of generalized eigenvalue problems

On State Aggregation for Scalable QoS Routing

On step-size and bias in temporal-difference learning

On Storing Voluminous RDF descriptions: The case of Web Portal Catalogs

On strongest necessary and weakest sufficient conditions

On structure identification of parallel Wiener-Hammerstein models

On structured belief bases

On Structuring Cooperative and Competitive Concurrent Systems

On subjective measures of interestingness in knowledge discovery

On sublinear convergence

On submodular complexity measures

On subtyping and matching

On superlinear convergence of infeasible-interior-point algorithms for linearly constrained convex programs

On supervisory control of sequential behaviors

On support vector decision trees for database marketing

On supporting containment queries in relational database management systems

On symmetric powers of differential operators

On synchronic structure of transition systems

On synchronization patterns of parallel programs

On syntactic versus computational views of approximability

On systematic single asymmetric error-correcting codes

On systems and control approaches to therapeutic gain

On Tailoring Thread Schedules in Protocol Design: Experimental Results

On team formation

On temporal-spatial realism in the virtual reality environment

On Termination and Confluence of Conditional Rewrite Systems

On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems

On termination of constraint logic programs

On Test Vector Reordering for Combinational Circuits

On testing expansion in bounded-degree graphs

On tests for hypothetical reasoning

On the (In)security of the Fiat-Shamir Paradigm

On the (infinite) model theory of fixed-point logics

On the 0/1 knapsack polytope

On the ability of cdma to combat log--normal fading

On the ability of chemical transport models to simulate the vertical structure of the N2O, NO2 and HNO3 species in the mid-latitude stratosphere

On the ability to search the space of programs of standard, one-point and uniform crossover in genetic programming

On the absence of phase transition in the monomer-dimer model

On the absolute Mahler measure of polynomials having all zeros in a sector

On the acceleration of test generation algorithms

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

On the accuracy of analysed low temperatures in the stratosphere

On the accuracy of Gaussian approximations in the error analysis of DS-CDMA with OQPSK modulation

On The Accuracy of Gaussian Approximations in the Error Analysis of DS-CDMA Systems with OQPSK Modulation

On the accuracy of Gaussian approximations in the error analysis of DS-CDMA with OQPSK modulation

On the accuracy of meta-learning for scalable data mining

On the accuracy of stochastic complexity approximations

On the accuracy of two analytical models for evaluating the performance of Gigabit Ethernet hosts

On the acidity and/or basicity of USY zeolites after basic and acid treatment

On the activity loss of hydrolases in organic solvents: II. a mechanistic study of subtilisin Carlsberg

On the addition of properties to components

On the adequacy of program dependence graphs for representing programs

On the adsorbed mass of polymers on surfaces (NOTE)

On the adsorption of sulfate on low Miller index Rh(hkl) electrodes: an in situ vibrational analysis

On the Advantage of a Non-Clausal Davis-Putnam Procedure

On the aggregatability of multicast forwarding state

On the aggregation techniques in stochastic Petri nets and stochastic process algebras

On the Algebraic Geometry of Contact Formation Cells for Systems of Polygons

On the algebraic structure of combinatorial problems

On the Algebraic Structure of Petri Nets

On the algorithmic implementation of multiclass kernel-based vector machines

On the algorithmic unsolvability of some stability problems for hybrid systems

On the algorithmic unsolvability of some stability problems forhybrid systems

On the alignment problem

On the allocation of documents in multiprocessor information retrieval systems

On the all-pairs-shortest-path problem

On the Amphibia and Reptilia Species of Murgul (Artvin)

On the analysis of communicative action

On the Analysis of Indexing Schemes

On the analysis of lightning surges arriving to cable terminatedtransformer using (EMTP)

On the analysis of linear probing hashing

On the analysis of Pamela models

On the Analysis of Pattern Sequences by Self-Organizing Maps

On the Analysis of Randomized Load Balancing Schemes

On the analysis of regulations using defeasible rules

On the anonymity of timed pool mixes

ON THE APPLICATION OF A HYDRODYNAMIC MODEL FOR A LIMITED SEA AREA

ON THE APPLICATION OF A PARTICLE DISPERSION MODEL

On the application of line graphs in quantitative structure-property studies

On the application of measurement theory in software engineering

On the application of the bootstrap for computing confidence measures on features of induced Bayesian networks

On the applications of harmonic functions to robotics

On the Applications of Multiplicity Automata in Learning

On the approximability of removing the smallest number of relations from linear systems to achieve feasibility

On the Approximability of the Traveling Salesman Problem

On the Approximate Pattern Occurrences in a Text

On the approximation of a generalized incomplete gamma function arising in heat conduction problems

On The Approximation of Denotational Mu-semantics

On the Approximation of Higher Moments in Open and Closed Fork/Join Primitives with Limited Bu ers

On the approximation of largest common subtrees and largest common point sets

On the approximation of nonlinear singular self-adjoint second order boundary value problems

On the approximation properties of independent set problem in degree 3 graphs

On the area bisectors of a polygon

On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness

On the asymptotic distribution of large prime factors

On the asymptotic distribution of the errors in vector quantization

On the asymptotic solutions of the scattering problem

On the autocorrelation structure of TCP traffic

On the automatic generation of assembly plans

On the Automatic Parallelization of Sparse and Irregular Fortran Codes

On the automatic parallelization of sparse and irregular Fortran programs

On the automatic parallelization of the perfect benchmarks

On the Automation of GNY Logic

On the average number of maxima in a set of vectors and applications

On the axiomatization of qualitative decision criteria

On the behavior and application of constraint weighting

On the benefit of supporting virtual channels in wormhole routers

On the benefits and limitations of dynamic partitioning in parallel computer systems

On the best search strategy in parallel branch-andbound: best-first search versus lazy depth-first search, Annals of Operations Research 90

On the bidirected cut relaxation for the metric Steiner tree problem

On the bisimulation proof method

On the bounded-real and positive-real conditions for affine nonlinear state-delayed systems and applications to stability

On the bounded-skew clock and steiner routing problems

On the brink between extinction and persistence

On the bulk-liquid reaction in isothermal reactive gas absorption

On the Burstiness of the TCP Congestion-Control Mechanism in a Distributed Computing System

On the Cahn-Hilliard equation with degenerate mobility

On the calculation of electric field and potential at singularitypoints in ionized field problems

On the capacity of ???cheap??? relay networks

On the capacity of multiple input multiple output broadcast channels

On the capacity of wireless networks: The relay case

On the capture probability for a large number of stations

On the cardinality of bounded subset products

On the cardinality of semistar operations on integral domains

On the changing seasonal cycles and trends of ozone at Mace Head, Ireland

On the characterisation of law and computer systems: The normative systems perspective

On the characteristics and origins of Internet flow rates

On the characterization of VBR MPEG streams

On the Choice of Transforms for Data Hiding in Compressed Video

On the chronology and metrology of computer network timescales and their application to the Network Time Protocol

On the circuit implementation problem

On the cis Ø¢Â® trans isomerization of the square-planar [Pt(Cl)(SnCl3)(PH3)2] compound: ab initio gas phase reaction mechanism and solvent effects using continuum models

On the Clark-Jacob Version of SPLICE/AS

On the class group of a graded domain

On the class of high order time stepping schemes based on Pade approximations for the numerical solution of Burgers' equation

On The Class Of High Order Time Stepping Schemes Based On Pade Approximations For The Numerical Solution Of Burgers' Equation

On the closure properties of robotic grasping

On the combination of symbolic constraints, solution domains, and constraint solvers

On the combinatorial and algebraic complexity of quantifier elimination

On the combinatorial and topological complexity of a single cell

On the commitments and precommitments of limited agents

On the Communication Throughput of Buffered Multistage Interconnection Networks

On the comparison complexity of the string prefix-matching problem

On the competitiveness of on-line real-time task scheduling

On the compilability and expressive power of propositional planning formalisms

On the Completeness and Expressiveness of Spider Diagram Systems

On the completeness of the set of eigenvectors of a certain class of self-adjoint finite difference operators

On the Complexity Analysis of Static Analyses

On the complexity of a single cell in certain arrangements of surfaces related to motion planning, Discrete Comput

On the complexity of assembly partitioning

On the complexity of bisimulation problems for basic parallel processes

On the complexity of bisimulation problems for pushdown automata

On the complexity of blocks-world planning

On the Complexity of Breaking the Diffie-Hellman Protocol

On the complexity of causal models

On the complexity of commutativity analysis

On the complexity of conditional logics

On the complexity of designing distributed protocols

On the complexity of distributed self-configuration in wireless networks

On the complexity of event ordering for shared-memory parallel program executions

On the complexity of finding balanced oneway cuts

On the complexity of finding the chromatic number of a recursive graph I: The bounded case

On the complexity of gate duplication

On the Complexity of Generating Optimal Left-deep Processing Trees with Cross Products

On the Complexity of Generating Optimal Plans with Cross Products

On the complexity of ID/LP parsing

On the Complexity of Interactive Proofs with Bounded Communication

On the complexity of learning from drifting distributions

On the complexity of loop fusion

On the complexity of minimizing the OBDD size for incompletely specified functions

On the complexity of non-monotonic entailment in syntax-based approaches

On the complexity of partially observed Markov decision processes

On the complexity of planning in transportation domains

On the complexity of policy iteration

On the complexity of polyhedral separability

On the complexity of propositional knowledge base revision, updates, and counterfactuals

On the complexity of purely complex mu computation and related problems in multidimensional systems

On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus

On the complexity of queries in the logical data model

On the complexity of random strings (extended abstract

On the complexity of reasoning in Kleene algebra

On the complexity of SAT

On the complexity of semidefinite programs

On the complexity of set-based analysis

On the complexity of solving Markov decision problems

On the complexity of space bounded interactive proofs

On the Complexity of Sparse Elimination

On the Complexity of Statistical Reasoning

On the complexity of teaching

On the complexity of the generalized block distribution

On the complexity of the union of fat objects in the plane

On the complexity of training neural networks with continuous activation functions

On the complexity of unsatisfiability proofs for random k-cnf formulas

On the complexity of verifying concurrent transition systems

On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication

On the Composition of Authenticated Byzantine Agreement

On the composition of hybrid systems

On the composition of secure systems

On the Composition of Security Properties

On the Composition of Zero-Knowledge Proof Systems

On the comprehension/production dilemma in child language

On the compression of two-dimensional piecewise smooth functions

On the computation of minimal polynomials, cyclic vectors, and Frobenius forms. Linear Algebra and its Applications

On the computation of multidimensional aggregates

On the computation of periodic spline wavelets

On the computational complexity of approximating distributions by probabilistic automata

On the computational complexity of dynamic graph problems

On the computational complexity of networks of spiking neurons

On the computational complexity of planning and story understanding

On the computational complexity of some classical equivalence relations on boolean functions

On the computational complexity of spatio-temporal logics

On the computational complexity of temporal projection and plan validation

On the computational complexity of temporal projection, planning and plan validation

On the Computational Complexity of Upward and Rectilinear Planarity Testing

On the computational power of dynamical systems and hybrid systems

On the Computational Power of Neural Nets

On the computational power of winner-take-all

ON THE COMPUTATIONAL-EFFICIENCY OF CERTAIN UPWINDING SCHEMES

On the computer recognition of solo piano music

On the concentration of eigenvalues of random symmetric matrices

On the concept of distributed digital signal processing in wireless sensor networks

On the concrete complexity of zero-knowledge proofs

On the condition numbers for polyhedra in Karmarkar's form

On the connection of partial order logics and partial order reduction methods", Rep 95-15

On the consequences of acting in the presence of inconsistency

On the conservation law and the performance space of single server systems

On the constancy of Internet path properties

On the construction of automata from linear arithmetic constraints

On the Construction of Energy-Efficient Broadcast and Multicast Trees in Wireless Networks

On the Construction of Pseudo-Random Permutations: Luby-Rackoff Revisited

On the Construction of Selection Systems

On the construction of variable-input-length ciphers

On the construction of wavelets on an bounded interval

On the content of materialized aggregate views

On the continuity and incremental-gain properties of certain saturated linear feedback loops

On the continuity of the free boundary in problems of type div(a(x)del u)= - (h(x)X(u))(x1)

On the continuity of the free boundary in the problem Delta(p)u = -(h(x,y)x(u))(x)

On the Contrast in Visual Cryptography Schemes

On the Contribution of TCP to the Self-Similarity of Network Traffic

On the control of a viscoelastic damped Timoshenko-type system

On the control of solutions of a viscoelastic equation

On the Control Strategies of Shunt FACTS Devices for the Improvement of Transient Stability

On the convergence of an inexact primal-dual interior point method for linear programming

On the Convergence of Fractal Transforms

On the convergence of iterative decoding on graphs with a single cycle

On the convergence of Monte Carlo maximum likelihood calculations

On the convergence of multiclass queueing networks in heavy traffic

On the convergence of pattern search algorithms

On the convergence of stochastic iterative dynamic programming algorithms

On the convergence of traffic measurement and queueing analysis: A statistical-match queueing (SMAQ) tool

On the Conversion between Binary Code and Binary-Reflected Gray code

On the conversion between non-binary and binary constraint satisfaction problems

On the convex layers of a planar set

ON THE CORRECTIONS TO POLE DOMINANCE IN B-]PI-L-NU

On the correctness of orphan elimination algorithms

On the correctness of parallel bisection in floating point

On the Correctness of Unfold/Fold Transformations of Normal and Extended Logic Programs

On the cost of fault-tolerant consensus when there are no faults - A tutorial

On the Cost of Monitoring and Reorganization of Object Bases for Clustering

On the cost of virtual private networks

On the Cost Structure of Future Wideband Wireless Access

On the Costs and Benefits of using Partial-order Methods for the Verification of Concurrent Systems

On the cubic bottleneck in subtyping and flow analysis

On the de Bruijn torus problem

On the Dealer's Randomness Required in Secret Sharing Schemes

On the decadal increase in the tropical mean outgoing longwave radiation for the period 1984-2000

On the decay of solutions for a class of quasilinear hyperbolic equations with non-linear damping and source terms

On the decidability and complexity of query answering over inconsistent and incomplete databases

On the Decidability of Cryptographic Protocols with Open-ended Data Structures

On the decidability of functional uncertainty

On the decidability of query containment under constraints

On the decision problem for two-variable first-order logic

On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems

On the declarative and procedural semantics of logic programs

On the declarative semantics of inheritance networks

On the decoding of algebraic-geometric codes

ON THE DECOMPOSITION OF GENERALIZED INCOMPLETE GAMMA-FUNCTIONS WITH APPLICATIONS TO FOURIER-TRANSFORMS

On the definition of the eta-long normal form in type systems of the cube

On the degree of boolean functions as real polynomials

On the Delimitation of Anagallis arvensis L. (Primulaceae) 1. Evidence Based on Macromorphological Characters, Palynological Features and Karyological Studies

On the density of sets of vectors

On the depature process of a leaky bucket system with long-range dependent input traffic

On the deployment of VoIP in Ethernet networks: methodology and case study

On the Deployment of VoIP in Ethernet Networks: Methodology and Case Study

On the depth information in the point spread function of a defocused optical system

On the design and evaluation of a multi-dimensional approach to information retrieval

On the Design and Evaluation of Job Scheduling Algorithms

On the design and implementation of DSM-threads

On the design and implementation of the multidimensional cubestore storage manager

On the Design and Performance of the PARFUM Parallel Fault Tolerant Volume Renderer

On the design of a low-cost video-on-demand storage system

On the Design of an Adaptive Meeting Scheduler

On the design of behavior-based multi-robot teams

On the Design of Chant: A Talking Threads Package

On the design of IEEE compliant floating point units

On the design of interfaces for TCP/IP over wireless

On the design of low-density parity-check codes within 0.0045 dB of the shannon limit

On the design of permutation P in DES type cryptosystems

On the design of relational database schemata

On the Design of S-Boxes

On the Design of Security Protocols for Mobile Communications

On the design of variable structure load frequency controllers by tabu search algorithm: Application to nonlinear interconnected models

On the design optimization of built-up stiffened steel beams with buckling and frequency constraints

On the detection and recognition of television commercials

On the Detection of Anomalous System Call Arguments

On the detection of implicit and redundant numeric constraints in CLP programs

On the deterministic complexity of factoring polynomials over finite fields

On the Determinizability of Weighted Automata and Transducers

On the Determinization of Weighted Finite Automata

On the Development of a Fast Elliptic Curve Cryptosystem

On the development of deadleg criterion

On the dielectrophoretic separation of solid particles

On the Difference Between Updating a Knowledge Base and Revising it

On the difficulty coalition-resistance in group signature schemes (ii

On the difficulty of approximately maximizing agreements

On the difficulty of range searching

On the digital watermarking in JPEG 2000

On the dimension of multivariate piecewise polynomials, in Numerical Analysis

On the discovery of interesting patterns in association rules

On the discrete logarithm in the divisor class group of curves

On the Dispersions of the Polynomial Maps over Finite Fields

On the distance transform of binary images

On the distribution for the duration of a randomized leader election algorithm

On the distribution of longest increasing subsequences in random permutations, in preparation

On the distribution of relative humidity in cirrus clouds

On the distribution of spacings between zeros of the zeta function

On the distribution of the length of the longest increasing subsequence of random permutations

On the distribution of the length of the second row of a Young diagram under Plancherel measure

On the distribution of the number of roots of polynomials and explicit logspace extractors

On the diurnal variability of particle properties related to light absorbing carbon in Mexico City

On the double commutation method

On the duality between distributed source coding and data hiding

On the Duality between Resource Reservation and Proportional Share Resource Allocation

On the Duality Between Routing and Scheduling Systems with Finite Buffer Space

On the Duality of Abduction and Model Generation in a Framework for Model Generation With Equality

On the duality of Gaussian multiple-access and broadcast channels

On the duality of multiple-access and broadcast channels

On the Duality of Operating System Structures

On the Duality of Rate-based and Credit-based Flow Control

On the dynamic analysis of rotors using modal reduction

On the dynamic finger conjecture for splay trees. part i: Splay sorting log n-block sequences

On the dynamics and significance of low frequency components of Internet load

On the dynamics of relaxation labeling processes

On the dynamics of some small structural motifs in rRNA upon ligand binding

On the ease of predicting the thermodynamic properties of beta-cyclodextrin inclusion complexes

On the Economics of Anonymity

On the Economics of Internet Peering

On the editing distance between undirected acyclic graphs and related problems

On the effect and control of self-similar network traffic: a simulation perspective

On the effect of analog noise in discrete-time analog computations

On the Effect of Traffic Self-Similarity on Network Performance

On the effective bandwidth in buffer design for the multi-server channels

On the Effective Evaluation of TCP

On the effective semantics of nondeterministic, nonmonotonic, temporal logic databases

On the effective weights of pseudocodewords for codes defined on graphs with cycles

On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading,??? Performance Evaluation

On the Effectiveness of DNS-based Server Selection

On the Effectiveness of Evolutionary Search in High-- Dimensional NK-Landscapes

On the effectiveness of GC in Java

On the effectiveness of path pre-computation in reducing the processing cost of on-demand QoS path computation

On the effectiveness of route-based packet filtering for distributed DoS attack prevention in power-law internets

On the effectiveness of superconcurrent computations on heterogeneous networks

On the Effects of Archiving, Elitism, and Density Based Selection in Evolutionary Multi-objective Optimization

On the effects of cycloheximide on cell motility and polarisation in Dictyostelium discoideum

On the effects of dimensionality reduction on high dimensional similarity search

On the effects of organic matter and sulphur-containing compounds on the CCN activation of combustion particles

On the effects of smoothing for deterministic QoS

On the efficiency of noise-tolerant PAC algorithms derived from statistical queries

On the efficiency of polynomial time approximation schemes

On the efficiency of statistical--bitrate service for video

On the efficient gathering of sufficient statistics for classification from large SQL databases

On the efficient implementation of fair queueing

On the efficient retrieval of VBR video in a multimedia server

On the embedding phase of the Hopcroft and Tarjan planarity testing algorithm

On the Emergence of Macro Spatial Structures in Dissipative Cellular Automata, and its Implications for Agent-based Distributed

On the emergence of social conventions: modeling, analysis, and simulations

On the epipolar geometry between two images with lens distortion

On the equivalence between the primal-dual schema and the local-ratio technique

On the equivalence of constraint satisfaction problems

On the equivalence of generalized joint signal representations

On the equivalence of semantics for normal logic programs

On the equivalence problem for e-pattern languages

On the error probability of convolutionally encoded spread spectrum BPSK in frequency selective Rayleigh fading

On the error probability of convolutionally encoded spread spectrumBPSK in frequency selective Rayleigh fading

On the Evolution of Clusters of Near-Duplicate Web Pages

On the Evolution of Evolutionary Computation

On the exact recovery of cumulants

On the exact recovery of higher-order moments of noisy signals

On the exact recovery of the FFT of noisy signals using a non-subtractively dither-quantized input channel

On the exact recovery of the FFT of noisy signals using a non-subtractively dither-quantized input channel

On the exact security of full domain hash

On the Exact Solutions of the Nonlinear Wave and phi 4-Model Equations

On the existence of 3-round zero-knowledge proof systems

On the Existence of a Spectrum of Policies That Subsumes the Least Recently Used (LRU) and Least Frequently Used (LFU) Policies

On the Existence of Complete Invariant Feature Spaces in Pattern Recognition

On the existence of equilibria in noncooperative optimal flow control

On the existence of hard sparse sets under weak reductions

On the existence of schedules that are near-optimal for both makespan and total weighted completion time

On the existence of similar sublattices

On the existence of superstructure in TiNx thin films

On the expected complexity of random path planning

On the exponential decay of the n-point correlation functions and the analyticity of the pressure

On the exponentiality of stochastic linear systems under the max-plus algebra

On the expression of graph properties in some fragments of monadic second-order logic

On the expressive power of a language for programming coordination media

On the expressive power of constructor classes

On the expressive power of data integration systems

On the expressive power of database queries with intermediate types

On the Expressive Power of Datalog: Tools and a Case Study

On the expressive power of logic programming languages with sets

On the expressive power of programming languages

On the expressive power of temporal logic

On the expressive power of the relational algebra with partially ordered domains

On the expressive power of three-valued and four-valued languages

On the expressiveness of 3-valued models

On the expressiveness of Linda coordination primitives

On the expressiveness of purely functional I/O systems

On the expressiveness of real and integer arithmetic automata

On the expressivity of feature logics with negation, functional uncertainty, and sort equations

On the extended linear complementarity problem

On the extension of bipartite to parity graphs

On the Extension of Non-interference with Probabilities

On the extraction technique in boundary integral equations

On the extraction, ordering, and usage of landmarks in planning

On the facial structure of the set of correlation matrices

On the factorization of RSA-120

On the false path problem in hard real-time programs

On the fault tolerance of some popular bounded-degree networks

On the feasibility of distributed constraint satisfaction

On the Feasibility of Peer-to-Peer Web Indexing and Search

On the feasibility of software FEC

On the ffl-perturbation method for avoiding degeneracy, tech. report

ON THE FFT OF 1-BIT DITHER-QUANTIZED DETERMINISTIC SIGNALS

On the fine structure of the exponential rule

ON THE FINITE EPSILON-CONVERGENCE OF EXTERIOR PENALTY METHODS

ON THE FINITE-ELEMENT DYNAMIC ANALYSIS OF FLEXIBLE MECHANISMS

On the fly analysis of distributed computations

On the fly Signatures based on Factoring

On the formal definition of separation-of-duty policies and their composition

On the formal specification of group membership services

On the formal verification of the TCAS conflict resolution algorithms

On the formation of interaction networks in social coordination games

On the formation of radiation fogs under heavily polluted conditions

On the forms of locality over finite models

On the Forward Checking Algorithm

On the foundations of corecursion

On the foundations of final semantics: Non-standard sets, metric spaces, partial orders

On the foundations of modern cryptography

On the foundations of oblivious transfer

On the Foundations of Qualitative Decision Theory

On the freedom of decryption

On the Fundamental Tradeoffs between Routing Table Size and Network Diameter in Peer-to-Peer Networks

On the Futility of Blind Search

On the gains and losses of speculation in equilibrium markets

On the generalization ability of support vector machines

On the generalized hidden number problem and bit security of XTR

On the generating power of deterministic tree transducers

On the generation and use of TCP acknowledgments

On the generation of alternative explanations with implications for belief revision

On the Generation of Spatiotemporal Datasets

On the generative capacity of parallel communicating grammar systems with regular components

On the geographic location of Internet resources

On the geometric convergence of the Gibbs sampler

On the geometry and algebra of the point and line correspondences between N images

On the geometry and shape of brain sub-manifolds

On the geometry of texture

On the Global Fanout Optimization Problem

ON THE GLUON DIPOLE PENGUIN CONTRIBUTION TO NONLEPTONIC HYPERON DECAYS

On the granularity and clustering of directed acyclic task graphs

On the greedy algorithm for satisfiability

On the Ground States of the Bernasconi Model

On the growth of nucleation mode particles: source rates of condensable vapor in polluted and clean environments

On the handling of spatial and temporal scales in feature tracking

On the hardness of 4-coloring a 3-colorable graph

On the hardness of approximate reasoning

On the hardness of approximating spanners

On the Hardness of Computing the Permanent of Random Matrices

On the hardness of the shortest vector problem

On the hierarchical structure of the logical Internet graph

On the identification of sonar features

On the impact of aggregation on the performance of traffic aware routing

On the Impact of Alternate Path Routing for Load Balancing in Mobile Ad Hoc networks

On the impact of causal independence

On the Impact of Entropy Estimation on Transcriptional Regulatory Network Inference Based on Mutual Information

On the impact of HPF data layout on the design of efficient and maintainable parallel linear algebra libraries, Argonne National Lab ANL/MCS-TM-184, (available from the archives of the HPF Forum

On the implementation and evaluation of abtweak

On the implementation of a very low-spurious Si-Bipolar frequency multiplier

On the implementation of an algorithm for large-scale equality constrained optimization

On the Implementation of Finite State Machines

On the Implementation of Local Synchrony

On the Implementation of Mips

On the implementation of mixed methods as nonconforming methods for second order elliptic problems

On the Implications of Zipf's Law for Web Caching

On the importance of checking cryptographic protocols for faults

On the importance of cumulus penetration on the microphysical and optical properties of stratocumulus clouds

On the Importance of Parallel Application Placement in NUMA Multiprocessors

On the impossibility of constructing non-interactive statistically-secret protocols from any trapdoor one-way function

On the impossibility of fair exchange without a trusted third party

On the inapproximability of disjoint paths and minimum steiner forest with bandwidth constraints

On the Inapproximability of the Shortest Vector in a Lattice within some constant factor. Preliminary version MIT/LCS/TM-574

On the inclusion of channel???s time dependence in a hidden Markov model for blind channel estimation

On the Indian Crested Porcupine, <i>Hystrix indica</i> (Kerr, 1792) in Turkey (Mammalia: Rodentia)

On the Individuality of Fingerprints

On the Inference of Configuration Structures from Source Code

On the influence of the partitioning schemes on the efficiency of overlapping domain decomposition methods

On the information content of 2D and 3D descriptors for QSAR

On the information rate of secret sharing schemes

On the inherent level of local consistency in constraint networks

ON THE INSTABILITY CHARACTERISTICS OF A REATTACHING SHEAR-LAYER WITH NONLAMINAR SEPARATION

On the instantiation of ADL operators involving arbitrary first-order formulas

On the integrality gap of a natural formulation of the single-sink buy-at-bulk network design formulation

On the Integration of Concurrency, Distribution and Persistence

On the integration of IR and databases

On the Integration of Topic Maps and RDF Data

On the interaction between gateway scheduling and routing

On the interaction between ISA and cardinality constraints

On the interaction of lazy evaluation and backtracking

On the Interaction of Metonymies and Anaphora

On the interaction of object-oriented design patterns and programming languages

On the interactions between layered quality adaptation and congestion control for streaming video

On the Internal and Boundary Stabilization of Timoshenko Beams

On the interpretation of type theory in locally cartesian closed categories

On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription

On the intractability of Hilbert's Nullstellensatz and an algebraic version

On the intractability of permuting a block code to minimize trellis complexity

On the intuitionistic force of classical search

On the intuitionistic force of classical search (extended abstract

On the inversion of the Laplace transform by the use of a regularized displacement operator

ON THE INVESTIGATION OF VIBRATION SIGNALS USING JOINT TIME FREQUENCY ANALYSIS

ON THE INVESTIGATION OF VIBRATION SIGNALS USING JOINT TIME FREQUENCY ANALYSIS

On the isolation of elemental carbon (EC) for micro-molar 14C accelerator mass spectrometry: development of a hybrid reference material for 14C-EC accuracy assurance, and a critical evaluation of the thermal optical kinetic (TOK) EC isolation procedure

ON THE ISOSPIN BREAKING CORRECTIONS TO NUCLEAR BETA-DECAY

On the kinetics of the hydrogen evolution reaction on zinc in sulfate solutions

On the Klemm model for bistability of mixtures of interacting enantiomers

On the knowledge complexity of NP

On the knowledge required to understand a program

On the k-Server Conjecture

On the Laguerre method for numerically inverting Laplace transforms

On the laplace-beltrami operator and brain surface flattening

On the large deviations behaviour of acyclic networks of G/G/1 queues

On the lasso and its dual

On the learnability and usage of acyclic probabilistic finite automata

On the learnability of discrete distributions

On the Left Periphery of German Subordinate Clauses

On the length of programs for computing finite binary sequences

On the length of the longest increasing subsequence in a random permutation

On the lengths of excursions of some Markov processes

On the limit of control flow analysis for regression test selection

On the limitations of ordered representations of functions

On the Limitations of Universal Composable TwoParty Computation Without Set-Up Assumptions

On the Limitations of Universally Composable Two-Party Computation without Set-up Assumptions

On the limits of nonapproximability of lattice problems

On the limits of non-approximability of lattice problems

On the limits of program parallelism and its smoothability

On the limits of software watermarking

On the limits of steganography

On the linear independence measure of logarithms of rational numbers

On the linear weak topology and dual pairings over rings

On the link between error correlation and error reduction in decision tree ensembles

On the link between intrinsic catalytic reactions kinetics and the development of catalytic processes - Catalytic dehydrogenation of ethylbenzene to styrene

On the local behavior of an interior point method for nonlinear programming

On the logic of causal explanation

On the Logic of Information Flow

On the logic of Iterated Belief Revision

On the Logical Modeling of ETL Processes

On the loss of parallelism by imposing synchronization structure

On the manufacturability of paperclips and sheet metal structures

On the many-to-one transport capacity of a dense wireless sensor network and the compressibility of its data

On the marginal utility of network topology measurements

On the Markov equivalence of chain graphs, undirected graphs, and acyclic digraphs

On the Materialization of WebViews

On the mathematical foundations of learning

On the mathematics of flat origamis

On the matrix-cut rank of polyhedra

On the maximal cliques in c-max-tolerance graphs and their application in clustering molecular sequences

On the maximum average degree and the oriented chromatic number of a graph

On the Maximum Degree of Minimum Spanning Trees

On the maximum length of Huffman codes

On the maximum lengths of Davenport???Schinzel sequences

On the maximum lengths of Davenport--Schinzel sequences

On the mean convergence time of evolutionary algorithms without selection and mutation

On the merits of building categorization systems by supervised clustering

On the message complexity of binary Byzantine agreement under crash failures

On the Migration of Relational Schemas and Data to Object-Oriented Database Systems

On the minimality and decomposability of constraint networks

On the minimality and global consistency of row-convex constraint networks

On the minimum diameter spanning tree problem

On the modal logic K plus theories

On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes

On the modeling and performance characteristics of a serpentine tape drive

On the modularity of confluence of constructor-sharing term rewriting systems

On the modularity of normal forms in rewriting

On the modularity of termination of term rewriting systems

On the moduli space of polygons in the Euclidean plane

On the Monte Carlo boolean decision tree complexity of readonce formulae

On the multiplexing degree required to embed permutations in a class of interconnection networks

On the Multisearching Problem for

On the multiselection problem

On the Myhill-Nerode theorem for trees

On the natural diet of Daphnia laevis in the eutrophic Pampulha reservoir (Belo Horizonte, Minas Gerais)

On the nature of cancer and why anticancer vaccines don't work

On the nature of crystallization water using thermal analysis. - The application to some hydrates with different cations

On the nature of fur evolution: A phylogenetic approach in Actinobacteria

On the nature of the smectic A-to-nematic phase transition of 8CB

On the near optimality of the stochastic approximation of smooth functions by neural networks

On the necessity of different statistical treatment for Illumina BeadChip and Affymetrix GeneChip data and its significance for biological interpretation

On the necessity of term dependence in a query space for weighted retrieval

On the Need for System-Level Support for Ad Hoc and Sensor Networks

On the need for time series data mining benchmarks: a survey and empirical demonstration

On the Nesterov-Todd direction in semidefinite programming

On the network complexity of selection

On the no-counterexample interpretation

On the Noise and Scale Behaviour of Relational Descriptions

On the noise model of support vector machine regression

On the non-approximability of points-to analysis

ON THE NONLINEAR DISTORTION OF SUBCARRIER MULTIPLEXED SYSTEMS OWING TO STIMULATED BRILLOUIN-SCATTERING

On the non-linear vibrations of an inextensible rotating arm with setting angle and flexible hub

On the nonlinearity of pattern classifiers

On the non-monotonic behavior of the event calculus for deriving maximal time intervals

On the Nonstationarity of Internet Traffic

On the Notion of Inheritance

On the notion of variability in software product lines

On the number of cells defined by a family of polynomials on a variety

On the Number of Close-to-Optimal Feature Sets

On the number of deadlock graphs

On the number of equilibrium placements of mass distributions in elliptic potential fields

On the number of founding germ cells in humans

On the number of halving planes

On the number of incipient spanning clusters

On the number of nilpotents in the partial symmetric semigroup

On the number of permutations avoiding a given pattern

On the Number of Random Bits in Totally Private Computations

On the number of rounds necessary to disseminate information

On the number of small cuts in a graph

On the Number of Views of Polyhedral Terrains

On the number of wavelengths and switches in all-optical networks

On the numerical integration of ordinary differential equations by symmetric composition methods

ON THE NUMERICAL STUDY OF THE VAPOR FLOW CHARACTERISTICS OF A SLENDER CYLINDRICAL HEAT-PIPE

On the observability of polynomial systems, I: finite-time problems

On the occurrence of sonchuside A in Cicerbita alpina and its chemosystematic significance

On the operational semantics of nondeterminism and divergence

On the operational semantics of the algebraic and logic programming language LPG

On the operationality/generality trade-off in explanation-based learning

On the optimal placement of wavelength converters in wavelength-routed networks

On the optimality of the median cut spectral bisection graph partitioning method

On the optimality of the neighbor-joining algorithm

On the optimality of the random hyperplane rounding technique for MAX CUT

On the optimality of the simple Bayesian classifier under zero-one loss

On the optimization of aerospace plane ascent trajectory

On the Optimum Sampling Time for the Measurement of Pollutants in Ambient Air

On the origin of distribution patterns of motifs in biological networks

On the origin of microbial ORFans: quantifying the strength of the evidence for viral lateral transfer

On the Origin of Power Laws in Internet Topologies

On the origin of the histone fold

On the origin of the regioselective hydrolysis of a naphthoquinone diacetate: a molecular orbital study

On the origin of the translation system and the genetic code in the RNA world by means of natural selection, exaptation, and subfunctionalization

On the origin of tropospheric O3 over the Indian Ocean during the winter monsoon: African biomass burning vs. stratosphere-troposphere exchange

On the origins of arrestin and rhodopsin

On the origins of speech intelligibility in the real world

On the orthogonality of assignments and procedures in Algol

On the oxidation of dibenzo[fg,ij]pentaphene and dinaphtho[2,1,8,7-defg:2',1',8',7'-ijkl]pentaphene dianions

On the parallel complexity of model checking in the modal mu-calculus

On the parallel solution of parabolic equations

On the parallelization of loop nests containing while loops

On the parameterization of turbulent fluxes over the tropical Eastern Pacific

On the Partial Semantics for Disjunctive Deductive Databases

On the paths length in interval routing schemes

On the Performance and Feasibility of Multicast Core Selection Heuristics

On the Performance Assessment and Comparison of Stochastic Multiobjective Optimizers

On the performance of a medium access control scheme for the reconfigurable wireless networks

On the Performance of a Multicast Delivery Video-On-Demand Service with Discontinuous VCR Actions

On the Performance of a Simple Packet Rate Estimator

On the Performance of Ad Hoc Networks with Beamforming Antennas

On the Performance of an Array-Based ADT for OLAP Workloads

On the Performance of an Effective Bandwidths Formula

On the performance of bursty and modulated sources subject to leaky bucket rate-based access control schemes

On The Performance Of Cooperative Wireless Networks Under Interference Conditions

On the Performance of Cooperative Wireless Networks under Interference Conditions

On the Performance of Diversity Reception of Coded DSSS in Nakagami Multipath Fading

On The Performance Of Downlink Power-Based Scheduling For Slotted CDMA Networks

On the performance of hyperelliptic cryptosystems

On the performance of internet worm scanning strategies

On the performance of object clustering techniques

On the performance of packet-switched cellular networks for wireless data communications

On The Performance of Parallel Computers: Order Statistics and Amdahl's Law

On the performance of protocols for collecting responses over a multiple-access channel

On the performance of source separation algorithms

On the performance of spectral graph partitioning methods

On the Performance of TCP Splicing for URL-aware Redirection

On the Performance of Time Frequency Distributions in A-Scan Signals Classification

On the performance of user equilibria in traffic networks

On the Periods of Generalized Fibonacci Recurrences

On the Perturbation

On the perturbation of LU, Cholesky, and QR factorizations

On the Placement of Internet Instrumentation

On the Placement of Software Mechanisms for Detection of Data Errors

On the Placement of Web Server Replicas

On the plausible deniability feature of Internet protocols

On the Poisson equation for Markov chains: existence of solutions and parameter dependence

On the polygon-search conjecture

On the Populations of Ablepharus kitaibelii (Bibron and Bory, 1833) (Sauria: Scincidae) from South-Western Anatolia

On the Positioning Capability of UWB Systems

On the possibility of consensus in asynchronous systems

On the possible causes of recent increases in northern hemispheric total ozone from a statistical analysis of satellite data from 1979 to 2003

On the possible formation of Aurivillius phases in the oxide system Bi2O5Ø¢â€“ZnOØ¢â€“Nb2O5

On the potential for extinction by Muller's Ratchet in Caenorhabditis elegans

On the power of bounded concurrency I: Finite automata

On the Power of Claw-Free Permutations

On the power of deterministic reductions to C=P

On the power of deterministic transitive closures

On the Power of Different Types of Restricted Branching Programs

On the power of generalized MOD-classes

On the Power of Homeomorphic Embedding for Online Termination

On the power of languages for the manipulation of complex objects

On the Power of Magic

On the power of misbehaving adversaries and security analysis of the original EPOC

On the power of multi-prover interactive protocols

On the Power of Number-Theoretic Operations with Respect to Counting. Januar

On the Power of One Bit of a #P Function

On the power of quantum computation

On the power of quantum finite state automata

On the power of real turing machines over binary inputs

On the power of shared object types to implement one-resilient consensus

On the power of tree-walking automata

On the power of two-local random reductions

On the power of two-point based sampling

On the Power of Walking for Querying Tree-structured Data

On the practicality of abductive validation

On the prediction of fractional Brownian motion

On the principal bundles over a flag manifold

On the probabilistic performance of algorithms for the satisfiability problem

On the probable performance of heuristics for bandwidth minimization

On the problem of local minima in backpropagation

On the Problem of Local Minima in Recurrent Neural Networks

On the Problem of Selecting Interaction Objects

On the problem of trust in mobile agent systems

On the products of linear modal logics

On the proper definition of minimality in specialization and theory revision

On the Properties of Conditional Independence

On the QR algorithm and updating the SVD and URV decomposition in parallel

On the Quality of Service of Failure Detectors

On the quantum complexity of majority

On the query complexity of clique size and maximum satisfiability

On the question of an identity status category order: Rasch model step and scale statistics used to identify category order

On the random walk method for protocol testing

On the rate of convergence of optimal solutions of Monte Carlo approximations of stochastic programs

On the rate of convergence of sequential quadratic programming with nondifferentiable exact penalty function in the presence of constraint degeneracy

On the reachability problem in cryptographic protocols

On the Reactivity of a-(Triphenylphosphoranylidene)-benzylphenylketene with Nitrogen Compounds: Synthetic and Mechanistic Implications

On the reactivity of triphenylphosphoranylidenesuccinic anhydride with nitrogen nucleophiles: a new synthetic route to nitrogen-containing phosphonium salts

On the realization of the current controlled current-mode amplifier using the current controlled conveyor

On the realization of the current controlled current-mode amplifier using the current controlled conveyor

On the reduction of concatenation artefacts in diphone synthesis

On the refinement and simulation of data types and processes

On the reformulation of vehicle routing problems and scheduling problems

On the regularity of optimal controls

On the relation between autoepistemic logic and circumscription

On the relation between BDDs and FDDs

On the relation between intuitionistic and classical modal logics

On the relation between primitive recursion, schematization, and divergence

On the relation between truth maintenance and autoepistemic logic

On the relation between Zenkevich and Wiener indices of alkanes

On the relation of resolution and tableaux proof systems for description logics

On the relations between intelligent backtracking and failure-driven explanation based learning in constraint satisfaction and planning

On the relations between search and evolutionary algorithms, Cognitive Science Research Paper CSRP-96-7

On the relations computed by a class of concurrent automata

On the relationship between acetone and carbon monoxide in different air masses

On the relationship between classes, objects, and data abstraction. Theory and Practice of Object Systems

On the relationship between combinatorial and lp-based approaches to NP-hard scheduling problems

On the relationship between complexity and entropy for Markov chains and regular languages

On the relationship between CWA, Minimal Model, and Minimal Herbrand Model semantics

On the relationship between defeasible logic and well-founded semantics

On the Relationship between Description Logic and Predicate Logic Queries

On the Relationship Between File Sizes, Transport Protocols, and Self-Similar Network Traffic

On the relationship between generalization error, hypothesis complexity, and sample complexity for radial basis functions

On the relationship between Markov chain Monte Carlo methods for model uncertainty

On the Relationship between Parametric and Geometric Active Contours

On the relationship between process algebra and input/output automata

On the relationship between strand spaces and multi-agent systems

On the relationship between the Atomic Commitment and Consensus problems

On the relative complexities of some geometric problems

On the relative expressiveness of description logics and predicate logics

On The Relaying Capability Of The Reconfigurable Wireless Networks

On the relevance of communication costs of rollback-recovery protocols

On the relevance of long-range dependence in network traffic

On the relevance of the shape of postsynaptic potentials for the computational power of spiking neurons

On the relevance of time scales in performance oriented traffic characterizations

On the Reliability of Electronic Payment Systems

On the representation of DG seminear-rings

On the Representation of Probabilities over Structured Domains

On the resemblance and containment of documents

On the restraining power of guards

On the Reuse of Past Optimal Queries

On the revision of probabilistic belief states

On the road to electronic publishing

On the robustness of the BPX - preconditioner with respect to jumps in the coefficients

On the role of abstraction in case-based reasoning

On the role of coherence in abductive explanation

On the role of Disjunctive representations and Constraint Propagation in Refinement Planning

On the role of hydroxyl radicals in the self-cleansing capacity of the troposphere

On the role of object-specific features for real world object recognition in biological vision

On the Role of Shared Randomness in Two Prover Proof Systems

On the role of the MAGUK proteins encoded by Drosophila varicose during embryonic and postembryonic development

On the role of transforming growth factor-Î² in the growth inhibitory effects of retinoic acid in human pancreatic cancer cells

On the roots of the orthogonal polynomials and residual polynomials associated with a conjugate gradient method

On the run-time behavior of stochastic local search algorithms for SAT

On the run-time behaviour of stochastic local search algorithms for sat

On the sample complexity of finding good search strategies

On the sample complexity of learning Bayesian networks

On the sample complexity of pac-learning using random and chosen examples

On the scalability of ad hoc routing protocols

On the scalability of data synchronization protocols for PDAs and mobile devices

On the scale and performance of cooperative web proxy caching

On the search properties of different crossover operators in genetic programming

On the searchability of electronic ink

On the second eigenvalue and random walks in random d-regular graphs

On the Secure Implementation of Security Protocols

On the security effectiveness of cryptographic protocols

On the security of a practical identification scheme

On the security of an image encryption method

On the security of Camellia against the square attack

On the Security of ElGamal Based Encryption

On the security of girault???s identification scheme

On the security of HFE, HFEv- and Quartz

On the security of joint signature and encryption

On the security of modular exponentiation with application to the construction of pseudorandom generators

On the security of multi-party ping-pong protocols

On the security of quantum cryptography against collective attacks", manuscript

On the security of recent protocols

On the security of the quantum oblivious transfer and key distribution protocols

On the security of the SPEKE Password-authenticated key exchange protocol, Cryptology ePrint Archive, Report 2001/57

On the security of two MAC algorithms

On the selection of an optimal wavelet basis for texture characterization

On the selection of candidates for point and line correspondences

On the Self-Similar Nature of Ethernet Traffic (Extended Version

On the semantic foundations of Probabilistic VERUS

On the Semantics of "Now" in Databases

On the semantics of arbitration

On the semantics of belief revision systems

On the Semantics of Complex Events in Active Database Management Systems

On the Semantics of EPCs: A Vicious Circle

On the Semantics of Optimization Predicates in CLP Languages

On the semantics of protocols among distributed intelligent agents

On the semantics of strips

On the semantics of theory change: Arbitration between old and new information

On the sensitivity of IMT-DS performance to system parameters

On the sensitivity of incremental algorithms for combinatorial auctions

ON THE SERVICE PERFORMANCE OF REFURBISHED TURBINE BLADES IN A POWER STATION

On the set of t-linked overrings of an integral domain

On the settling time of the congested GI/G/1 queue

On the simultaneous interpretation of real world image sequences and their natural language description: The system soccer

On the single-source unsplittable flow problem

On the size of shares for secret sharing schemes

On the size of weights for McCulloch-Pitts neurons

On the size of weights for threshold gates

On the solid, liquid and solution structural organization of imidazolium ionic liquids

On the solution of linear differential equations in Lie groups

On the solutions and conservation laws of the model for tumor growth in the brain

On the space complexity of randomized synchronization

On the space-time mapping of WHILE-loops

On the space-time trade-off in solving constraint satisfaction problems

On the Spatial Multiplexing Gain of SDMA for Wireless Local Loop Access. Januar

On the specialization of online program specializers

On the spectral measure of the Laplace transform operator

On the spectrum of the Zhang-Zagier height

On the spectrum of vertically propagating gravity waves generated by a transient heat source

On the stability of end-to-end congestion control for the Internet

On the stability of Grobner bases under specializations

On the stability of implicit-explicit linear multistep methods

On the stability of input-buffer cell switches with speed-up

On the Stability of Input-Queued Switches with Speed-Up

On the stability of network distance estimation

On the stability of networks operating TCP-like congestion control

On the stability of the bareiss and related toeplitz factorization algorithms

On the stability radius of a generalized state-space system

On the stabilization of the Timoshenko system by a weak nonlinear dissipation

On the Static Analysis of Indirect Control Transfers in Binaries

On the Statistical Comparison of Inductive Learning Methods

On the statistical significance of nucleic acid similarities

On the statistics of Best Bases criteria

On the steady state response of oscillators with static and inertia non-linearities

On the Strategy-Proof and Smooth Allocation of Private Goods in a Production Economy," mimeo, Xerox PARC

On the stratification of the Kronecker canonical form

On the structure of Armstrong relations for functional dependencies

On the structure of complete sets

On the structure of degrees of inferability

On the Structure of Delegation Networks

On the structure of function spaces in optimal recovery of point functionals for ENO-schemes by radial basis functions

On the structure of low sets

On the Structure of Nearly Uncoupled Markov Chains

ON THE STRUCTURE OF ORTHODOX UNIONS OF GROUPS

On the structure of polynomial time reducibility

On the structure of queries in constraint query languages

On the Stupid Algorithm for Satisfiability

On the subject reduction property for algebraic type systems

On the sum of diameters problem

On the surprising behavior of distance metrics in high dimensional space

On the symmetry structures of the minkowski metric and a Weyl re-scaled metric

On the syntactic marking of presupposed open propositions

On the synthesis of discrete controllers for timed systems

On the synthesis of dynamic scenes from reference views

On the systematic design of web languages

On the Theories of Triangular Sets

On the theory of structural subtyping

On the thermodynamic critical field in MgB2 superconductor

On the time to traverse all edges of a graph

On the time-averaging of ultrafine particle number size spectra in vehicular plumes

On the topology of multicast trees

On the Track of Mesothelial Progenitor Cells from the Peritoneal Cavity Transplanted to Immunodefficient Mice

On the tractability of counting theory models and its application to belief revision and truth maintenance

On the transformation between direct and continuation semantics

On the transit dose from motorized wedge treatment in Equinox-80 telecobalt unit

On the transition between heterogeneous and homogeneous freezing

On the translation of qualitative spatial reasoning problems into modal logics

On the transport capacity of a broadcast gaussian channel

On the two-level uncapacitated facility location problem

On the type accuracy of garbage collection

On the unification free Prolog programs

On the unification of active databases and deductive databases

On the unification of line processes, outlier rejection, and robust statistics with applications in early vision

On the Unification of Substitutions in Type Inference

On the unification of substitutions in type-inference

On the Unification Problem for Cartesian Closed Categories

On the uniqueness of correspondence under orthographic and perspective projections

On the update of term weights in dynamic information retrieval systems

On the Usage of Differential Evolution for Function Optimization

On the use and implementation of message logging

On the use and performance of content distribution networks

On the use of "nulling" filters to separate transparent motions

On the use of algebraic and structural information in a library prototyping and development environment

On the use of ATSR fire count data to estimate the seasonal and interannual variability of vegetation fire emissions

On the Use of Auxiliary Variables in Markov Chain Monte Carlo Sampling

On the use of c++ for system-on-chip design

On the use of destination set grouping to improve fairness in multicast video distribution

On the use of directory services to support multi-protocol inter-operability

On the Use of Formal Techniques for Validation

On the use of fractional Brownian motion in the theory of connectionless networks

ON THE USE OF FROTH FLOTATION IN THE RECOVERY OF Bacillus sphaericus SPORES

On the use of fuzzy logic in a hybrid scheme for tolerating mobile support station failure

On the use of fuzzy logic in a hybrid scheme for tolerating mobilesupport station failure

On the use of Graph Grammars for defining the Syntax of Graphical Languages

On the use of graph transformation in the formal specification of model interpreters

On the use of inductive reasoning in program synthesis: Prejudice and prospects

On the use of integer programming models in ai planning

On the use of L/sub 2/ gap metric for identifying Hammersteim models

On the use of mass-conserving wind fields in chemistry-transport models

On the Use of Neural Networks to Guide Software Testing Activities

On the use of non-linear finite element analysis in deformation evaluation and development of design charts for extrusion processes

On the use of non-stationary penalty functions to solve nonlinear constrained optimization problems with GAs

On the use of predictor-corrector continuation to trace implicitly defined curves and calculating bifurcation

On the use of regular expressions for searching text

On the use of specification styles for automated protocol implementation from LOTOS to C

On the use of support vector machines for phonetic classification

On the use of trace sampling for architectural studies of desktop applications

On the use of two QMR algorithms for solving singular systems and applications

On the usefulness of liveness for garbage collection and leak detection

On the usefulness of type and liveness accuracy for garbage collection and leak detection

On the utility of planning

On the utility of Plan-space (causal) Encodings

On the Utility of Systematicity: Understanding tradeoffs between redundancy and commitment in partial order planning

On the utility of the multi-level algorithm for the solution of nearly completely decomposable Markov chains

On the value locality of store instructions

On the value of private information

On the variability of the Ring effect in the near ultraviolet: understanding the role of aerosols and multiple scattering

On the Veri of Broadcast Protocols

On the verification of qualitative properties of probabilistic processes under fairness constraints

On the verification of temporal properties

On the verification of VDM specification and refinement with PVS

On the versatility of parallel sorting by regular sampling

On the watch

On the wave equation with a temporal non-local term

On the wavelet transform of fractional Brownian motion

On the weaknesses of Gong's collisionful hash function

On the worst-case analysis of temporal-difference learing algorithms

On the zone of a surface in a hyperplane arrangement

On thermal energy storage systems and applications in buildings

ON THERMOECONOMICS OF A SENSIBLE HEAT, THERMAL-ENERGY STORAGE-SYSTEM

On three-layer architectures

On Time-Invariance and Synchronism in Valid-Time Relational Databases

On Time-Space Classes and their Relation to the Theory of Real Addition

On Time-Splitting spectral approximations for the Schr??dinger equation in the semiclassical regime

On to Aspect Persistence

On topological simulations in developmental biology

On topology and bisection bandwidth for hierarchical-ring networks for sharedmemory multiprocessors

On traffic phase effects in packet-switched gateways

On Tragocerus punjabicus Pilgrim from Type Locality Dhok Pathan, Chakwak District (Pakistan)

On Transaction Boundaries in Active Databases: A Performance Perspective

On transactional workflows

On Transfer Blocking and Minimal Blocking in Serial Manufacturing Systems | The Impact of Bu er Allocation

On transformation of interactive proofs that preserve the prover???s complexity

On transitive permutation groups

On translation corpora and translation support tools: A project report

On Traveling Incognito

On Traversing Layered Graphs On-line

On triangular norm-based propositional fuzzy logics

On triangulating three-dimensional polygons

On truth-table reducibility to SAT

On truth-table reducibility to SAT and the difference hierarchy over NP

On two forms of structural recursion

On two interior-point mappings for nonlinear semidefinite complementarity problems

On two methods to estimate production of Eichhornia crassipes in the eutrophic Pampulha reservoir (MG, Brazil)

On two moment systems for computing multiphase semiclassical limits of the Schr??dinger equation

On two proposals for on-line bankcard payments using open networks: Problems and solutions

On two segmentation problems

On two ways of stabilizing the hierarchical basis multilevel methods

On Two-label Interval Routing

On unconditional transfer

On undecidability of propositional temporal logics on trace systems

On unification of terms with integer exponents

On unification problems in restricted second-order languages

On uniformity within NC 1

On unifying some cryptographic protocol logics

On unique satisfiability and the threshold behavior of randomized reductions

On uniqueness of Lagrange multipliers in optimization problems subject to cone constraints

On universal and fault-tolerant quantum computing

On universal graphs for planar oriented graphs of a given girth

On universal quantization by randomized uniform/lattice quantizers

On unsymmetric collocation by radial basis functions

On Updates and Inconsistency Repairing in Knowledge Bases

On using a benchmark to evaluate C++ extractors

On using extended statistical queries to avoid membership queries

On using intelligent network interface cards to support multimedia applications

On Using Network Memory to Improve the Performance of Transaction-Based Systems

On using oracles that compute values

On Using Priority Inheritance in Real-Time Databases

On Using SCALEA for Performance Analysis of Distributed and Parallel Programs

On utilising template and feature-based correspondence in multi-view appearance models

On variable binding in connectionist networks

On variable ordering of ordered functional decision diagrams. In GI/GME/ITG-Fachtagung "Rechnergestutzter Entwurf und Architektur mikroelektronischer Systeme

On verifying consistency of XML specifications

On verifying the correctness of retimed circuits

On video retrieval: content analysis by ImageMiner TM

On video SNR scalability

On view likelihood and stability

On views and XML

On Voting Ensembles of Classifiers (extended abstract

On Warren's Method for Functional Programming in Logic

On wavelength translation in all-optical networks

On weak learning

On Web Services Aggregation

On winning Ehrenfeucht games and monadic NP

On winning strategies in Ehrenfeucht-Fraiss'e games

On winning strategies with unary quantifiers

On Wirelength Estimations for Row-based Placement

On Workload Characterization of Relational Database Environments

On Wrapping Query Languages and E cient XML Integration

On wrapping query languages and efficient XML integration

On XML integrity constraints in the presence of DTDs

On Yao's XOR-lemma

On2broker: Semantic-based access to information sources at the www

On-board guarded software upgrading for space missions

On-Board Mining in the Sensor Web

Once upon a type

On-chip Memorypath Architectures for Parallel Processing

Oncogene-mediated downregulation of RECK, a novel transformation suppressor gene

OncomiRs: the discovery and progress of microRNAs in cancers

Oncostatin-M inhibits luteinizing hormone stimulated Leydig cell progenitor formation in vitro

On-demand data elevation in a hierarchical multimedia storage server

On-Demand Multicast in Mobile Wireless Networks

On-demand multicast routing protocol

On-Demand Multipath Distance Vector Routing in Ad Hoc Networks

On-demand QoS routing in multihop mobile networks

On-Demand Routing in Multi-hop Wireless Mobile Ad Hoc Networks

On-Demand TCP: Transparent peer to peer TCP/IP over IrDA

On-demand translation of Java exception handlers in the LaTTe JVM just-in-time compiler

One Abductive Logic Programming Procedure for two kind of Updates

One Billion Transistors, One Uniprocessor, One Chip

One Common Polymorphism of Cholesteryl Ester Transfer Protein Gene in Iranian Subjects With and Without Primary Hypertriglyceridemia

One complexity theorist???s view of quantum computing

One hop lookups for peer-to-peer overlays

One hub-one process: a tool based view on regulatory network topology

One hundred million years of interhemispheric communication: the history of the corpus callosum

One operator, one landscape

One pass real-time generational mark-sweep garbage collection

One pointed univalent logharmonic mappings

One Round Threshold Discrete-Log Key Generation without Private Channels

One stage repair in Hypospadias by prepucial island flap technique

One Thousand Transactions per Second

One to Many Reliable Bulk-Data Transfer in the MBone

One year boundary layer aerosol size distribution data from five nordic background stations

One year of 222Rn concentration in the atmospheric surface layer

One year soy protein supplementation has positive effects on bone formation markers but not bone density in postmenopausal women

One year trends in the gram-negative bacterial antibiotic susceptibility patterns in a medical intensive care unit in South India

ONE: The Ohio Network Emulator

One-class SVMs for document classification

One-dimensional scattering theory for quantum systems with nontrivial spatial asymptotics

One-equation, two-equation and kinetic theory: Laser pulse heating

One-handed juggling: A dynamical approach to a rhythmic movement task

One-level phonology: autosegmental representations and rules as finite automata

One-Machine Scheduling To Minimize Mean Tardiness With Minimum Number Tardy

One-machine scheduling to minimize mean tardiness with minimum number tardy

One-Machine Scheduling To Minimize Mean Tardiness With Minimum Number Tardy

One-pass Delaunay filtering for homeomorphic 3D surface reconstruction

One-pot preparation of substituted pyrroles from Î±-diazocarbonyl compounds

One-pot synthesis of novel 1H-pyrimido[4,5-c][1,2]diazepines and pyrazolo[3,4-d]pyrimidines

One-round secure computation and secure autonomous mobile agents

One-sided versus two-sided randomness

One-step local quasi-likelihood estimation

One-step refolding and purification of disulfide-containing proteins with a C-terminal MESNA thioester

One-step selection of Vaccinia virus-binding DNA aptamers by MonoLEX

One-time identification with low memory

One-unambiguous regular languages

One-unit learning rules for independent component analysis

One-way accumulators: A decentralized alternative to digital signatures

One-way communication and error-correcting codes

One-way functions and balanced NP

One-way Functions are Essential for Non-Trivial Zero-Knowledge

One-Way Functions are essential for Single-Server Private Information Retrieval

One-way functions, hard on average problems, and statistical zeroknowledge proofs

One-Way Networks, Two-Way Networks, Compatibility, and Antitrust

One-way trapdoor permutations are sufficient for non-trivial single-server private information retrieval

One-year record of organic and elemental carbon in fine particles in downtown Beijing and Shanghai

Onion Routing access configurations

Onion Routing for Anonymous and Private Internet Connections

Onion Shelf-life as Function of the Levels of Nitrogen and Potassium Application

Onion yield and yield components as function of the levels of nitrogen and potassium application

On-line & off-line partial evaluation: Semantic specifications and correctness proofs

Online acquisition of compact volumetric maps with mobile robots

On-line adaptive learning of the correlated continuous density hidden Markov models for speech recognition

On-line admission control and circuit routing for high performance computing and communication

Online aggregation

Online algorithms for caching multimedia streams

On-line algorithms for combining language models

Online Algorithms for Locating Checkpoints

Online Algorithms for Market Clearing

On-line algorithms for path selection in a nonblocking network

Online algorithms for selective multicast and maximal dense trees

On-line algorithms in machine learning

Online Analytical Processing (OLAP): A Fast and Effective Data Mining Tool for Gene Expression Databases

On-line and off-line approximation algorithms for vector covering problems. Algorithmica

Online Association Rule Mining

On-line Bayesian modelling and enhancement of speech signals

Online casinos

Online choice of active learning algorithms

Online clustering for collaborative filtering

On-line complexity of Monotone Set Systems

Online computation

Online control optimization using load driven scheduling

Online convex programming and generalized infinitesimal gradient ascent

On-line cursive handwriting recognition using speech recognition methods

On-line data compression in a log-structured file system

Online data mining for co-evolving time sequences

On-line Data Reconstruction in Redundant Disk Arrays

Online data structures in external memory

Online data-race detection via coherency guarantees

On-Line Detection And Measurement Of Partial Discharge Signals In A Noisy Environment

Online Development of Digital Logic Design Course

On-Line Diagnosis in General Topology Networks

On-line digestion in a focused microwave-assisted oven for elements determination in orange juice by inductively coupled plasma optical emission spectrometry

Online Displays of Parallel Programs: Problems and Solutions

Online dynamic reordering for interactive data processing

On-line error monitoring for several data structures

On-Line Estimation of Hidden Markov Model Parameters Based on the Kullback-Leibler Information Measure

On-line estimation of synchronizing and damping torque coefficients using an artificial neural network based approach

On-line extraction of SCSI disk drive parameters

Online feature selection using grafting

Online feedback for nested aggregate queries with multi-threading

Online Feedback-Directed Optimization of Java

On-line File Caching

On-line Fingerprint Verification

On-line garbage modeling with discriminant analysis for utterance verification

Online generation of association rules

On-line handwriting recognition with constrained n-best decoding

On-line identification of synchronous machines using radial basis function neural networks

On-line identification of synchronous machines using radial basisfunction neural networks

Online instrumentation and feedback-directed optimization of Java

Online Interval Scheduling

On-Line Intrusion Detection and Attack Prevention Using Diversity, Generate-and-Test, and Generalization

Online learning about other agents in a dynamic multiagent system

On-line learning and the metrical task system problem

On-line learning of coordination plans

On-line learning of linear functions

Online learning of non-stationary sequences

On-line learning of rectangles

On-line learning of rectangles and unions of rectangles

On-line learning with dynamic cell structures

On-line learning with malicious noise and the closure algorithm

Online learning with random representations

On-line legal aid: Markov chain model for efficient retrieval of legal documents

On-Line Legal Aid: Markov Chain Model for Efficient Retrieval of Legal Documents

On-line load balancing

Online load balancing and network flow

Online mass spectrometric aerosol measurements during the MINOS campaign (Crete, August 2001)

Online matching for scheduling problems

Online matching with blocked input

ON-LINE MEASUREMENTS OF OXIDATION OF CARBON USING VISIBLE SPECTROSCOPY

Online model reconstruction for interactive virtual environments

On-line motion retargetting

On-line network routing

On-line new event detection and tracking

Online oblivious routing

On-line partial discharge calibration and monitoring for power transformers

Online perfect matching and mobile computing

On-line portfolio selection using multiplicative updates

Online power-aware routing in wireless ad-hoc networks

Online Preconcentration and Determination of Trace Amounts of Zinc in Nature Waters

On-line preconcentration employing a tannin resin for copper determination in plant material and food stuff by atomic absorption spectrometry

Online Prediction Algorithms for Databases and Operating Systems

Online Prediction of the Running Time of Tasks

Online Processing Redux

On-line Q-learning using connectionist systems

On-line randomized call control revisited

Online Ranking/Collaborative Filtering Using the Perceptron Algorithm

Online Real-Time Preemptive Scheduling of Jobs with Deadlines on Multiple Machines

Online reconfiguration in replicated databases based on group communication

Online request server matching

On-line resource management with applications to routing and scheduling

On-line routing for virtual private networks. unpublished manuscript

On-line routing in all-optical networks

Online routing in triangulations

On-line Sampling Methods for Discovering Association Rules

Online scheduling of continuous media streams

On-line Scheduling of Hard Real-Time Tasks on Variable Voltage Processor

On-line scheduling on uniform multiprocessors

On-line scheduling to maximize task completions

On-line Scheduling with Hard Deadlines

On-line scheduling with tight deadlines, Theoretical Computer Science 295

On-line Search in a Simple Polygon

Online self-calibration for mobile robots

Online simultaneous localization and mapping with detection and tracking of moving objects: Theory and results from a ground vehicle in crowded urban areas

On-line software version change using state transfer between processes

ONLINE STEADY-STATE SECURITY ASSESSMENT OF POWER-SYSTEMS

On-line Steiner trees in the Euclidean plane

On-line student modeling for coached problem solving using Bayesian networks

On-line terrain parameter estimation for planetary rovers

Online throughput-competitive algorithm for multicast routing and admission control

On-line Urea Monitoring during Hemodialysis: A Review

On-line warehouse view maintenance

On-Line Warehouse View Maintenance for Batch Updates

Online, interactive learning of gestures for human/robot interfaces

Only connect integrating ecology with human biology in areas of climate change

Only Knowing in the Situation Calculus

On-pump beating heart coronary surgery for high risk patients requiring emergency multiple coronary artery bypass grafting

Onset of meiosis in the chicken embryo; evidence of a role for retinoic acid

Onset of the Thermic Effect of Feeding (TEF): a randomized cross-over trial

On-site learning

On-the-fly analysis of systems with unbounded, lossy fifo channels

On-the-fly compression of logical circuits

On-the-fly detection of access anomalies

On-the-fly detection of data races for programs with nested fork-join parallelism

On-the-fly hyperlink creation for page images

On-the-fly model checking of RCTL formulas

On-the-Fly Model Checking under Fairness that Exploits Symmetry

On-the-fly programmable hardware for networks

On-the-fly symbolic model checking for real-time systems

On-the-fly verification of finite transition systems

Ontobroker: Ontology based access to distributed and semi-structured information

Ontobroker: or how to enable intelligent access to the WWW

Ontoedit: Collaborative ontology development for the semantic web

OntoEdit: Guiding Ontology Development by Methodology and Inferencing

Ontogenia inicial do androceu de espØ£Â©cies de Ochnaceae subfam. Sauvagesioideae atravØ£Â©s da anØ£ØŒlise em microscopia eletrØ£Â´nica de varredura

Ontogeny and Structure of the Pericarp of Schinus terebinthifolius Raddi (Anacardiaceae)

Ontogeny of Chloroplast in Satsuma Mandarin Young Leaves Sprayed with Urea

OntogØ£Ú¾nese do sistema subterrØ£Â¢neo de Pachyrhizus ahipa (Wedd.) Parodi (Fabaceae)

On-to-knowledge: Ontology-based tools for knowledge management

Ontolingua: A Mechanism to Support Portable Ontologies

Ontological analysis of taxonomic relationships

Ontological foundations for biology knowledge models

Ontological issues in using a description logic to represent medical concepts: Experience from galen

Ontologies and the Configuration of Problem-Solving Methods

Ontologies for Bioinformatics

Ontologies for Enterprise Integration

Ontologies for Plane, Polygonal Mereotopology

Ontologies in the Design of Legal Knowledge Systems; Towards a Library of Legal Domain Ontologies. Applied Ontology

Ontologies: Principles, methods and applications

Ontology based personalized search

Ontology Development 101: A Guide to Creating Your First Ontology

Ontology discovery for the semantic web using hierarchical clustering

Ontology Groups: Semantically Enriched Subnets of the WWW

Ontology Learning for the Semantic Web

Ontology Mapping: The State of the Art

Ontology merging for federated ontologies on the semantic web

Ontology of integration and integration of ontologies

Ontology reasoning in the SHOQ(D) description logic

Ontology reuse and application

Ontology Revision

Ontology versioning and change detection on the Web

Ontology-based extraction and structuring of information from data-rich unstructured documents

Ontology-based induction of high level classification rules

Ontology-based integration of XML Web resources

Ontology-based knowledge discovery on the world-wide web

Ontology-based text clustering

Ontology-based Web agents

Ontology-driven document enrichment: Principles, tools and applications

Ontology-driven visualization of temporal abstractions

Ontology-oriented design and programming

Ontology-supported and ontology-driven conceptual navigation on the world wide web

OntoMorph: a translation system for symbolic knowledge

Ontoplugins ??? a flexible component framework

Ontorama: Browsing an rdf ontology using a hyperbolic-like browser

Onycholysis caused by Candida Krusei

Onychomycosis - epidemiology, diagnosis and management

Oocyte production and sperm utilization patterns in semi-fertile strains of Caenorhabditis elegans

Oocyte-granulosa cell interactions during mouse follicular development: regulation of kit ligand expression and its role in oocyte growth

OODB Bulk Loading Revisited: The Partitioned-List Approach

OODB indexing by class-division

Oogenesis in cultures derived from adult human ovaries

OoLaLa: Transformations for implementations of matrix operations at high abstraction levels

Oolemmal proteomics â€“ identification of highly abundant heat shock proteins and molecular chaperones in the mature mouse egg and their localization on the plasma membrane

OOMeter: A software quality assurance tool

Oorschot. A unified cryptographic protocol logic

Oostrom. Logical description of context-free graph languages

Opacity-modulating Triangular Textures for Irregular Surfaces

Opacity-Weighted Color Interpolation For Volume Sampling

Opal: A single address space system for 64-bit architectures

Opaline Silica in the Leaves of Some Grasses and Sedges of Karachi

Open access and beyond

Open and reconfigurable hypermedia systems: A filter based model

Open boundary conditions for the extended Kalman filter with a quasi-geostrophic model

Open Canal Irrigation Network Optimization: A Case Study for Burdur-Turkey

Open cholecystectomy for all patients in the era of laparoscopic surgery â€“ a prospective cohort study

Open Digital Libraries

Open field trial of genetically modified parthenocarpic tomato: seedlessness and fruit quality

Open heterogeneous computing in ActorSpace

Open Implementation Analysis and Design

Open implementation design guidelines

Open Issues and Challenges in Providing Quality of Service Guarantees in High-Speed Networks

Open issues in formal methods for cryptographic protocol analysis

Open Key Exchange: How to Defeat Dictionary Attacks Without Encrypting Public Keys

Open learning repositories and metadata modeling

Open Mind Common Sense: Knowledge acquisition from the general public

Open multi-agent systems: Agent communication and integration

Open packet monitoring on FLAME: Safety, performance and applications

Open problems with part-whole relations

Open programmable mobile networks

Open resource allocation for mobile code

Open Sesame !: a Look at Personal Assistants

Open Standard Development Platforms for Distributed Sensor Networks

Open Surgical Treatment of Extension Type Displaced Supracondylar Fractures of the Humerus in Children Through Combined Medial and Lateral Approaches

Open tension free repair of inguinal hernias; the Lichtenstein technique

Open theoretical questions in reinforcement learning

Open world planning in the situation calculus

Open-boundary finite-element analysis of ionized field around monopolar transmission lines

OpenCorba: A reflective open broker

Open-framework aluminophosphates: synthesis, characterization and transition metal modifications

OpenJava: A Class-based Macro System for Java

OpenJIT: an open-ended, reflective JIT compiler framework for Java

OpenMP for networks of SMPs

OpenSG: Basic concepts

Operant conditioning in skinnerbots

Operating system and algorithmic techniques for energy scalable wireless sensor networks

Operating system benchmarking in the wake of lmbench: A case study of the performance of NetBSD on the Intel x86 architecture

Operating system implications of solid-state mobile computers

Operating System Issues for Continuous Media

Operating system modifications for task-based speed and voltage scheduling

Operating System Protection for Fine-Grained Programs

Operating System Support for Active Networks

Operating system support for adaptable real-time systems

Operating system support for busy Internet servers

Operating System Support for Imprecise Computation

Operating system support for mobile agents

Operating System Support for Multimedia Systems

Operating system support for multimedia: The programming model matters

Operating system support for persistent and recoverable computations

Operating system support for persistent systems: past, present and future

Operating System Support for Programmable Cluster-Based Internet Routers

Operating System Support for Protocol Boosters

Operating System Support for Quality of Service

Operating systems directions for the next millennium

Operating systems support for end-to-end Gbps networking

Operating-System Support for Distributed Multimedia

Operation transforms for a distributed shared spreadsheet

Operational analysis of timed Petri nets and applications to the computation of performance bounds

Operational and compositional semantics of synchronous automaton compositions

Operational cost minimization in cooling water systems

OPERATIONAL EFFICIENCY OF SIGNALIZED INTERSECTIONS IN AL-KHOBAR, SAUDI-ARABIA

Operational GSPN Semantics of MPA

Operational information systems - an example from the airline industry

Operational mapping of atmospheric nitrogen deposition to the Baltic Sea

Operational properties of lily, a polymorphic linear lambda calculus with recursion

Operational reasoning for functions with local state

Operational semantics and confluence of constraint propagation rules

Operational semantics and program equivalence

Operational semantics for functional logic languages

Operational Semantics of Constraint Logic Programs with Coroutining

Operational theories of improvement in functional languages (extended abstract

Operationally optimal vertex-based shape coding

Operation-Based Update Propagation in a Mobile File System

Operations and the properties on non-first-normal-form relational databases

Operations for Learning with Graphical Models

Operations on subspaces in real linear space

Operative treatment of bilateral hip dislocation in children with arthrogryposis multiplex congenita.

Operative treatment of functional facial skin disorders

Operative treatment of proximal humeral fractures in children: Indications and results

Operator Equations, Multiscale Concepts and Complexity

Operator strength reduction

Operators with singular continuous spectrum

Opiates Upregulate Adhesion Molecule Expression in Brain MicroVascular Endothelial Cells (BMVEC): Implications for Altered Blood Brain Barrier (BBB) Permeability

OPL Script: Composing and Controlling Models

O-plan: the open planning architecture

O-Plan2: an Open Architecture for Command, Planning and Control

O-Plan2: Choice Ordering Mechanisms in an AI Planning Architecture

Oporto: A Realistic Scenario Generator for Moving Objects

Opossum carboxylesterases: sequences, phylogeny and evidence for CES gene duplication events predating the marsupial-eutherian common ancestor

Opossum: Desk-Top Schema Management through Customizable Visualization

OppA Escherichia coli mutants have osmodependent resistance to aminoglycoside antibiotics

OppA, the ecto-ATPase of Mycoplasma hominis induces ATP release and cell death in HeLa cells

Opponent Color, Human Vision and Wavelets for Image Compression

Opponent modeling in multi-agent systems

Opponent modeling in poker

Opponent modeling in poker: Learning and acting in a hostile environment

Opportunistic ALOHA and Cross Layer Design for Sensor Networks

Opportunistic beamforming using dumb antennas

Opportunistic channels: Mobility-aware event delivery

Opportunistic Data Structures with Applications

Opportunistic infections following renal transplantation

Opportunistic log: Efficient installation reads in a reliable object server

Opportunistic media access for multirate ad hoc networks

Opportunistic optimization for market-based multirobot control

Opportunistic Scheduling In Decentralized OFDM Systems

Opportunistic Scheduling with Quantized Feedback in Wireless Networks

Opportunistic transmission scheduling with resource-sharing constraints in wireless networks

Opportunities and tools for highly interactive distributed and parallel computing

Opportunities for E-commerce in Networking

Opportunities for Online Partial Evaluation

Opportunities for utilization of stand-alone hybrid (photovoltaic plus diesel plus battery) power systems in hot climates

Opportunities to Reduce Overuse of Antibiotics for Perinatal Group B Streptococcal Disease Prevention and Management of Preterm Premature Rupture of Membranes

Opportunity cost algorithms for combinatorial auctions

Opposing effects of D-aspartic acid and nitric oxide on tuning of testosterone production in mallard testis during the reproductive cycle

Opposing steady and transiently developing jets in relation to laser machining

Opposite regulation of XIAP and Smac/DIABLO in the rat endometrium in response to 17Î²-estradiol at estrus

OPT++: An object-oriented class library for nonlinear optimization

OptCircuit: An optimization based method for computational design of genetic circuits

Optic cup and facial patterning defects in ocular ectoderm Î²-catenin gain-of-function mice

Optic Flow Calculation Using Robust Statistics

Optical and physical properties of aerosols in the boundary layer and free troposphere over the Amazon Basin during the biomass burning season

OPTICAL ARCHITECTURES MODELING - A NEW METHODOLOGY

Optical biosensor differentiates signaling of endogenous PAR1 and PAR2 in A431 cells

OPTICAL BISTABILITY IN PRISM AG FILM NONLINEAR FILM AIR GEOMETRY BY UTILIZING SURFACE-PLASMON AND GUIDED WAVE CHARACTERISTICS

Optical Coherence Tomography for Artwork Diagnostics

Optical Coherence Tomography for Examination of Parchment Degradation

Optical Coherence Tomography for Tracking Canvas Deformation

Optical Communication for Pointer Based Algorithms

Optical Communication Using Micro Corner Cube Reflectors

Optical constants of zinc sulfide films determined from transmittance measurements

Optical design of a fault tolerant self-routing switch formassively parallel processing networks

Optical diagnostics of fullerene synthesis in the RF thermal plasma process

Optical emission characteristics of glow discharges in Ar-O-2 and He-O-2 gas mixtures

OPTICAL FIBER HYBRID-SURFACE PLASMON POLARITONS

Optical flow and phase portrait methods for environmental satellite image sequences

Optical flow from 1d correlation: Application to a simple time-to-crash detector

Optical flow: A curve evolution approach

Optical imaging of luminescence for in vivo quantification of gene electrotransfer in mouse muscle and knee

Optical mapping discerns genome wide DNA methylation profiles

Optical properties and mineralogical composition of different Saharan mineral dust samples: a laboratory study

Optical properties in the UV and visible spectral region of organic acids relevant to tropospheric aerosols

Optical properties of absorbing and non-absorbing aerosols retrieved by cavity ring down (CRD) spectroscopy

Optical properties of chromium oxide thin films deposited by electron-beam evaporation

Optical properties of erbium oxide thin films deposited by electron beam evaporation

Optical properties of gallium oxide films deposited by electron-beam evaporation

Optical properties of hafnium oxide thin films and their application in energy-efficient windows

Optical properties of humic-like substances (HULIS) in biomass-burning aerosols

Optical properties of scandium oxide films prepared by electron beam evaporation

Optical properties of thin films of WO3, MoO3 and mixed oxides WO3/MoO3

OPTICAL REALIZATION OF A CLOS NONBLOCKING BROADCAST SWITCHING NETWORK WITH CONSTANT TIME NETWORK CONTROL ALGORITHM

Optical recognition of electrical circuit drawings

Optical Tracking for Music and Dance Performance

OPTICS: Ordering Points To Identify the Clustering Structure

Optics-of: Identifying local outliers

Optimal active pointwise control of distributed parameter systems with time delays

Optimal AGC tuning with genetic algorithms

Optimal Aggregation Algorithms for Middleware

Optimal algorithms for broadcast and gossip in the edge-disjoint path modes

Optimal algorithms for dissemination of information in generalized communication modes

Optimal algorithms for dissemination of information in some interconnection networks

Optimal Algorithms for Generating Discrete Random Variables with Changing Distributions," Max Planck Institute

Optimal alignments in linear space

Optimal Allocation of Clients to Replicated Multicast Servers

Optimal allocation of electronic content

Optimal amortized distributed consensus

Optimal and approximate computation of summary statistics for range aggregates

Optimal and E cient Clock Synchronization Under Drifting Clocks

Optimal and efficient merging schedules for video-on-demand servers

Optimal and Efficient Path Planning for Partially-Known Environments

Optimal and Efficient Path Planning For Unknown and Dynamic Environments

Optimal and global time synchronization in sensornets

Optimal and sublogarithmic time randomized parallel sorting algorithms

OPTIMAL AND SUBOPTIMAL POWER SPECTRUM ESTIMATION TECHNIQUES

Optimal and Suboptimal Structure from Motion

Optimal anticipative scheduling with asynchronous transmission opportunities

Optimal attribute-efficient learning of disjunction, parity, and threshold functions

Optimal auction design for agents with hard valuation problems

Optimal auctions revisited

Optimal authentication protocols resistant to password guessing attacks

Optimal balanced assignments and a parallel database application, Computer Sciences

Optimal Bases Versus Optimal Partitions for Postoptimal Analysis in Linear Programming submitted to European

Optimal bid sequences for multiple-object auctions with unequal budgets

Optimal bit allocation via the generalized bfos algorithm

Optimal bit allocations for lossless video coders: Motion vectors vs. difference frames

Optimal Black-Box Secret Sharing over Arbitrary Abelian Groups

Optimal boundary control of one-dimensional multi-span vibrating systems

Optimal bounds for the predecessor problem

Optimal broadcast and summation in the LogP model

Optimal Broadcasting in Mesh-Connected Architectures

Optimal buffer control during congestion in an ATM network node

Optimal bundling strategy for digital information goods: Network delivery of articles and subscriptions

Optimal channel allocation for data dissemination in mobile computing environments

Optimal Chip Waveforms for DS-CDMA with Generalized OQPSK Modulation

Optimal clock period FPGA technology mapping for sequential circuits

Optimal clock synchronization

Optimal Code Generation for Embedded Memory Non-Homogeneous Register Architectures

Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems

Optimal communication algorithms on star graphs using spanning tree constructions

Optimal Communication Architectures for Multimedia Conferencing in Distributed Systems

Optimal communication primitives on the generalized hypercube network

Optimal Composition of Real-Time Systems

Optimal compressor functions for multidimensional companding

Optimal configuration of OSPF aggregates

Optimal Constrained Stationary Intervention in Gene Regulatory Networks

Optimal construction of edge-disjoint paths in random graphs

Optimal control approach to multiagent, hierarchical system verification

Optimal Control Dependence Computation and the Roman Chariots Problem

Optimal control for holonomic and nonholonomic mechanical systems with symmetry and Lagrangian reduction

Optimal control of a class of linear hybrid systems with saturation

Optimal control of a parabolic distributed parameter system via orthogonal polynomials

Optimal control of nonlinear systems: A recursive approach

Optimal control of parabolic systems with infinite time horizons

Optimal cooperative search in fractional cascaded data structures

Optimal curve fitting to digital data

Optimal Data Partitioning of MPEG-2 Coded Video

Optimal data placement on disks: A comprehensive solution for different technologies

Optimal data selection for unit selection synthesis

Optimal decision trees

Optimal decomposition of probabilistic networks by simulated annealing

Optimal design of power system stabilizers using evolutionary programming

Optimal design of power system stabilizers using evolutionary programming

Optimal design of power systems under constraints of reliability and cost

Optimal Design of Power Systems Under Constraints of Reliability and Cost

Optimal design of power-system stabilizers using particle swarm optimization

Optimal design of power-system stabilizers using particle swarm optimization

Optimal Design of Transform Coders for Image Classification

Optimal design of WDM ring networks via resource-balance

Optimal detection using bilinear time-frequency and time-scale representations

Optimal determination of production run and initial settings of process parameters for a deteriorating process

Optimal Determination Of Production Run And Initial Settings Of Process Parameters For A Deteriorating Process

Optimal deterministic approximate parallel prefix sums and their applications

Optimal Deterministic Timeouts for Reliable Scalable Multicast

Optimal differentiation based on stochastic signal models

Optimal distributed algorithm for minimum spanning trees revisited

Optimal distributed arc-consistency

Optimal distributed t-resilient election in complete networks

Optimal diversity-multiplexing tradeoff in multi-antenna channels

Optimal domains for disjunctive abstract interpretation

Optimal Dynamic Interval Management in External Memory

Optimal dynamic range searching in non-replicating index structures

Optimal efficiency of optimistic contract signing

Optimal energy allocation and admission control for communications satellites

Optimal energy allocation for delay-constrained data transmission over a time-varying channel

Optimal entropy-constrained scalar quantization of a uniform source

Optimal enumeration of state space of finitely buffered stochastic molecular networks and exact computation of steady state landscape probability

Optimal Equi-partition of Rectangular Domains for Parallel Computation

Optimal Equivalent Circuits for Interconnect Delay Calculations Using Moments

Optimal estimation of 3d structures using visual servoing

Optimal estimation of matching constraints

OPTIMAL ESTIMATION OF PARAMETERS FOR A 2-DIMENSIONAL HYDRODYNAMICAL MODEL OF THE ARABIAN GULF

Optimal evaluation of array expressions on massively parallel machines

Optimal evolutionary tree comparison by sparse dynamic programming

Optimal Excitation Control for Power System Stability

Optimal facility location under various distance functions

Optimal factory scheduling using stochastic dominance A

Optimal file sharing in distributed networks

Optimal floodlight illumination of stages

Optimal flow control schemes that regulate the burstiness of traffic

Optimal FPGA mapping and retiming with efficient initial state computation

Optimal Fully Adaptive Minimal Wormhole Routing for Meshes

Optimal Fully Adaptive Wormhole Routing for Meshes

Optimal Fuzzy Regulator

Optimal gait selection for nonholonomic locomotion systems

Optimal grid-clustering: Towards breaking the curse of dimensionality in high-dimensional clustering

OPTIMAL H-INFINITY GENERAL DISTANCE PROBLEM WITH DEGREE CONSTRAINT

Optimal histograms for hierarchical range queries

Optimal Histograms with Quality Guarantees

Optimal homography computation with a reliability measure

Optimal image algorithms on an orthogonally-connected memory-basedarchitecture

Optimal image scaling using pixel classification

Optimal implementation of the weakest failure detector for solving consensus

Optimal incremental and anytime scheduling

Optimal index and data allocation in multiple broadcast channels

Optimal index assignment for multichannel communication

Optimal insulation of ducts in extraterrestrial applications

Optimal insulation of ducts subjected to external thermal radiation

Optimal insulation of structures with varying thermal conductivity

Optimal intra coding of blocks for robust video communication over the internet

Optimal junction trees

Optimal kernel shapes for local linear regression

Optimal latency--throughput tradeoffs for data parallel pipelines

Optimal layered learning: a pac approach to incremental sampling

Optimal line bipartitions of point sets

Optimal Linear Arrangement of Circuit Components

Optimal linear compression under unreliable representation and robust PCA neural models

Optimal linear feature transformations for semi-continuous hidden markov models. ICASSP-95

Optimal logarithmic time randomized suffix tree construction

Optimal lossless compression of a class of dynamic sources

Optimal lot-sizing, quality improvement and inspection errors for multistage production systems

Optimal Lot-Sizing, Quality Improvement And Inspection Errors For Multistage Production Systems

Optimal lower bounds for quantum automata and random access codes

Optimal mapping of sequences of data parallel tasks

Optimal matrix transposition and bit reversal on hypercubes: all-to-all personalized communication

Optimal Memory Management for Time Warp Parallel Simulation

Optimal Memory Management Strategies for a Mobile User in a Broadcast Data Delivery System

Optimal mode selection and synchronization for robust video communications over error-prone networks

Optimal monte carlo estimation of belief network inference

Optimal motion from image sequences: A Riemannian viewpoint

Optimal multicast communication in wormhole-routed torus networks

Optimal Multicast Feedback

Optimal multicast smoothing of streaming video over an internetwork

Optimal Multicast with Packetization and Network Interface Support

Optimal multilevel extension operators

Optimal multiobjective design of robust power system stabilizers using genetic algorithms

Optimal multiobjective design of robust power system stabilizers using genetic algorithms

Optimal multi-packet routing on the torus

Optimal multi-paragraph text segmentation by dynamic programming

Optimal multiple description transform coding of Gaussian vectors

Optimal multiplexing on a single link: Delay and buffer requirements

Optimal multi-step k-nearest neighbor search

Optimal mutation rates in genetic search

Optimal myopic algorithms for random 3-SAT

Optimal navigation and object finding without geometric maps or localization

Optimal Non-Deterministic Functional Logic Computations

Optimal non-uniform wire-sizing under the Elmore delay model

Optimal normal bases

Optimal normalization in orthogonal term rewriting systems

Optimal oblivious routing in polynomial time

Optimal on-line algorithms for single-machine scheduling

Optimal on-line decremental connectivity in trees

OPTIMAL OPEN CLOSED-LOOP CONTROL FOR SYSTEMS WITH DISTRIBUTED-PARAMETER

OPTIMAL ORDER DIAGONALLY IMPLICIT RUNGE-KUTTA METHODS

Optimal output feedback controller based on genetic algorithms

Optimal Output Tracker Using A Time-Weighted Performance Index

Optimal output tracker using a time-weighted performance index

Optimal output-sensitive convex hull algorithms in two and three dimensions

Optimal parallel all-nearest-neighbors using the well-separated pair decomposition

Optimal parallel dictionary matching and compression

Optimal parallel prefix matching

Optimal parallel sorting in multi-level storage

Optimal parallelization of Las Vegas algorithms

Optimal parenthesization of lexical orderings for DSP block diagrams

Optimal partition of QoS requirements on unicast paths and multicast trees

Optimal partitioning of sequences

Optimal payoff functions for members of collectives

Optimal Phase Barrier Synchronization in k-ary n-cube Wormhole-routed Systems using Multirendezvous Primitives

Optimal Piecewise Linear Image Coding

Optimal planning with a goal-directed utility model

Optimal play against best defence: Complexity and heuristics

Optimal point placement for mesh smoothing

Optimal policies for activated sludge treatment systems with multi effluent stream generation

Optimal policies for partially observable markov decision processes

Optimal power allocation over parallel Gaussian broadcast channels

Optimal Power Control in Multiple Access Fading Channels with Multiple Antennas

Optimal power dispatch via multistage stochastic programming

Optimal power flow using particle swarm optimization

Optimal power flow using tabu search algorithm

Optimal power generation under uncertainty via stochastic programming

Optimal power system VAr planning

Optimal prediction for prefetching in the worst case

Optimal prefix codes for sources with two-sided geometric distributions

Optimal preprocessing for answering on-line product queries

Optimal Pricing for Integrated-Services Networks with Guaranteed Quality of Service

Optimal Pricing Mechanisms with Unknown Demand

Optimal priority assignment for aperiodic tasks with firm deadlines in fixed priority pre-emptive systems

Optimal processor assignment for a class of pipelined computations

Optimal processor-time tradeoffs on massively parallel memory-basedarchitectures

Optimal production run for processes with constant and random drifts

Optimal Proxy Cache Allocation for Efficient Streaming Media Distribution

Optimal pruning of neural tree networks for improved generalization

Optimal purely functional priority queues

Optimal qos sampling frequency assignment for real-time wireless sensor networks

Optimal randomized EREW PRAM algorithms for finding spanning forests and for other basic graph connectivity problems

Optimal rate allocation and traffic splits for energy efficient routing in ad hoc networks

Optimal rate control for high speed telecommunication networks

Optimal rate-based scheduling on multiprocessors

Optimal read-once parallel disk scheduling

Optimal Redundancy in Spatial Database Systems

Optimal register assignment to loops for embedded code generation

Optimal Registration of Multiple Range Views

Optimal reinsertion: A new search operator for accelerated and more accurate Bayesian network structure learning

Optimal replica control protocols exhibit symmetric operation availabilities

Optimal Representations of Polymorphic Types with Subtyping

Optimal retiming of multi-phase, level-clocked circuits

Optimal reward-based scheduling for periodic real-time tasks

Optimal rigid motion estimation and performance evaluation with bootstrap

Optimal robot localization in trees

Optimal robust path planning in general environments

Optimal Routing and Channel Assignments for Hypercube Communication on optical Mesh--like Processor Arrays

Optimal routing table design for IP address lookups under memory constraints

Optimal routing tables

Optimal sampling for genetic algorithms

Optimal Scaling of Discrete Approximations to Langevin Diffusions

Optimal schedules for parallel prefix computation with bounded resources

Optimal scheduling for streaming of scalable media

Optimal Security Proofs for PSS and Other Signature Schemes

Optimal segmentation of dynamic scenes from two perspective views

Optimal Selection of supply voltages and level conversions during data path scheduling under resource constraints

Optimal sequences and sum capacity of synchronous CDMA systems

Optimal sequences, power control and user capacity of synchronous CDMA systems with linear MMSE multiuser receivers

Optimal sequences, power control, and user capacity of synchronous CDMA systems with linear MMSE multiuser receivers

Optimal sequencing of inspection of dependent characteristics

Optimal server resource allocation using an open queuing network model of response time

Optimal shape design of non-uniform stiffened steel beams with buckling and frequency constraints

OPTIMAL SHUNT COMPENSATORS AT NONSINUSOIDAL BUSBARS

OPTIMAL SHUNT COMPENSATORS AT NON-SINUSOIDAL BUSBARS

Optimal signal estimation using cross-validation

Optimal signal sets for non-Gaussian detectors

Optimal sites for supplementary weather observations: Simulation with a small model

Optimal size integer division circuits

Optimal sizing of battery storage for hybrid (wind plus diesel) power systems

Optimal sizing of high speed clock networks based on distributed RC and lossy transmission line models

Optimal Smoothing for Guaranteed Service

Optimal smoothing of stored video and the impact on network resource requirements

Optimal smoothing schedules for real-time streams

Optimal Software Multicast in Wormhole-Routed Multistage Networks

Optimal software pipelining of nested loops

Optimal software testing

Optimal solutions for multi-unit combinatorial auctions: Branch and bound heuristics

Optimal Space-Varying Regularization in Iterative Image Restoration

Optimal speedup of Las Vegas algorithms

Optimal spilling for CISC machines with few registers

Optimal stochastic search and adaptive momentum

Optimal stopping and effective machine complexity in learning

Optimal Stopping of Markov Processes: Hilbert Space Theory, Approximation Algorithms, and an Application to Pricing High-Dimensional Financial Derivatives

Optimal Streaming of Layered Video

Optimal structure from motion: Local ambiguities and global estimates

Optimal subpixel matching of contour chains and segments

Optimal supervisory control of discrete event dynamical systems

Optimal synchronous capacity allocation for hard real-time communications with the timed token protocol

Optimal tilings for parallel database design

Optimal time bounds for approximate clustering

Optimal Time Self Stabilization in Dynamic Systems

Optimal time varying lot-sizing models under inflationary conditions

Optimal time-critical scheduling via resource augmentation

Optimal time-space trade-offs for sorting

Optimal tool replacement and resetting strategies in automated manufacturing systems

Optimal Total Exchange in Linear Arrays and Rings

Optimal trac light control for a single intersection

Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs

Optimal tracing and replay for debugging shared-memory parallel programs

Optimal tracker for unreliable manufacturing systems

Optimal transmission probabilities for slotted ALOHA in fading channels

Optimal Tree-Based One-time Digital Signature Schemes

Optimal triangulation and quadric-based surface simplification

Optimal two-dimensional compressed matching

Optimal type lifting

Optimal unsupervised learning in invariant object recognition

Optimal upward planarity testing of single-source digraphs

Optimal use of mixed task and data parallelism for pipelined computations

Optimal use of tandem biotin and V5 tags in ChIP assays

Optimal utterances in dialogue protocols

Optimal VAR dispatch using a multiobjective evolutionary algorithm

Optimal vibration estimation of a non-linear flexible beam mounted on a rotating compliant hub

OPTIMAL VLSI SORTING WITH REDUCED NUMBER OF PROCESSORS

Optimal web cache sizing: scalable methods for exact solutions

Optimal weighted loop fusion for parallel programs

Optimal wire and transistor sizing for circuits with non-tree topology

Optimal Wire Sizing and Buffer Insertion for Low Power and a Generalized Delay Model

Optimal wiresizing for interconnects with multiple sources

Optimal wire-sizing formula under the Elmore delay model

Optimal Wire-sizing Function with Fringing Capacitance Consideration

Optimal wiresizing under the distributed Elmore delay model

OPTIMAL-CONTROL OF OVERHEAD CRANES

Optimality and domination in repeated games with bounded players

Optimality and inefficiency: What isn't a cost model of the lambda calculus

Optimality in abstractions of model checking

Optimality of the round robin routing policy

Optimality of the stochastic earliest deadline policy for the G/M/c queue serving customers with deadlines

Optimality of Zero-Inventory Policies for Unreliable Manufacturing Systems

Optimality Theory Style Constraint Ranking in Large-scale LFG Grammars

Optimally Combining Positive and Negative Features for Text Categorization

Optimally Efficient Accountable Time-Stamping

Optimally parsing a sequence into different classes based on multiple types of information

Optimally Profiling and Tracing

Optimally Profiling and Tracing Programs

Optimally-smooth adaptive boosting and application to agnostic learning

Optimisation de la transformation gØ£Â©nØ£Â©tique de la pomme de terre par Agrobacterium tumefaciens. Utilisation de la rØ£Â©sistance Ø£Â l'hygromycine comme marqueur sØ£Â©lectif

Optimisation Method Used for Aluminium - Based Antacid Preparation

Optimisation of Candida rugosa Lipase Esterase Activity

Optimisation of Component-based Applications within a Grid Environment

Optimisation of Cultural Conditions and Some Properties of Radical Scavenging Substance from Sporobolomyces salmonicolor

Optimisation of the RT-PCR detection of immunomagnetically enriched carcinoma cells

Optimisation of transgene action at the post-transcriptional level: high quality parthenocarpic fruits in industrial tomatoes

Optimisation of Various Cultural Conditions on Growth and Antioxidant Activity Generation by Saccharomyces cerevisiae IFO 2373

Optimisation techniques for expressive description logics

Optimised reasoning for SHIQ

Optimised Virtual Keyboards with and without Alphabetical Ordering - A Novice User Study

Optimising biocatalyst design for obtaining high transesterification activity by Î±-chymotrypsin in non-aqueous media

Optimising corpus-derived probabilistic grammars

Optimising data-parallel programs using the BSP cost model

Optimising description logic subsumption

Optimising OSPF Routing for Link Failure Scenarios

Optimising propositional modal satisfiability for description logic subsumption

Optimising selection of units from speech databases for concatenative synthesis

Optimising the Parallel Behaviour of Combinations of Program Components

Optimising web queries using document type definitions

Optimism and consistency in partitioned distributed database systems

Optimism vs. Locking: A Study of Concurrency Control for Client-Server Object-Oriented Databases

Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation

Optimistic Active Replication

Optimistic asynchronous atomic broadcast.??? Cryptology ePrint Archive, Report 2001/022

Optimistic asynchronous Byzantine agreement

Optimistic asynchronous multi-party contract signing

Optimistic atomic broadcast

Optimistic deltas for WWW latency reduction

Optimistic fair exchange of digital signatures

Optimistic Fair Secure Computation

Optimistic implementation of bulk data transfer protocols

Optimistic Incremental Specialization: Streamlining a Commercial Operating System

Optimistic Message Logging for Independent Checkpointing in Message-Passing Systems

Optimistic mixing for exit-polls

Optimistic protocols for fair exchange

Optimistic recovery in distributed systems

Optimistic Replication Algorithms

Optimistic replication for internet data services

Optimistic security: a new access control paradigm

Optimistic Strategies for Large-Scale Dissemination of Multimedia Information

Optimistic synchronization-based state-space reduction

Optimistic Timed HW-SW Cosimulation

Optimistic virtual synchrony

Optimizatin of fed-batch processes : Challenges and solutions

Optimization of Stocking Rates of Shrimp (P. monodon) with Brackishwater Finfish in a Polyculture System

Optimization Algorithms for Large Self-Structuring Networks

Optimization and application of the gas-diffusion flow injection method for the determination of chloride

OPTIMIZATION AND HEURISTIC MODELS TO INTEGRATE PROJECT TASK AND MANPOWER SCHEDULING

Optimization and pseudospectra, with applications to robust stability

Optimization and scaling of shared-memory and message-passing implementations of the ZEUS hydrodynamics algorithm

Optimization and Transformation of Garden Balsam, Impatiens balsamina, Mediated by Microprojectile Bombardment

Optimization and translation of tableau-proofs into resolution

Optimization based rate control for multirate multicast sessions

Optimization by direct search in matrix computations

Optimization by genetic annealing

Optimization by simulated annealing

Optimization criteria and geometric algorithms for motion and structure estimation

Optimization flow control with Newton--like algorithm

Optimization flow control, I: basic algorithm and convergence

Optimization in a logic based language for knowledge and data intensive applications

Optimization in computational systems biology

Optimization issues in R-tree construction

Optimization of a Class of Multi-Dimensional Integrals on Parallel Machines

Optimization of a finned heat sink array based on thermoeconomic analysis

Optimization of a large-scale gene disruption protocol in Dictyostelium and analysis of conserved genes of unknown function

Optimization of a pheromone lure for Spodoptera frugiperda (Smith) in Central America

Optimization of a reliable, fast, cheap and sensitive silver staining method to detect SSR markers in polyacrylamide gels

Optimization of a Solid State Fermentation for Benzyldehyde Production by a Locally Isolated, Penicillium diversum Using Palm Kernel Cake (PKC) as Substrate

Optimization of a Solid State Fermentation for Benzyldehyde Production by a Locally Isolated, Penicillium diversum Using Palm Kernel Cake (PKC) as Substrate

Optimization of acetoin production by Hanseniaspora guilliermondii using experimental design

Optimization of Aging Time and Temperature for Four Malaysian Rice Cultivars

Optimization of an E. coli L-rhamnose-inducible expression vector: test of various genetic module combinations

Optimization of annatto (Bixa orellana L.) drying in fixed bed

Optimization of Assay Conditions and Inoculum Size with Kinetic Analysis for Biosynthesis of Invertase by Saccharomyces cerevisiae GCB-K5

Optimization of Bacitracin Production by Bacillus licheniformisB5

Optimization of Bag Filter in a Cement Factory in Order to Increase of Dust Collection Efficiency

Optimization of Biomass Production by Ustilago maydis in Submerged Culture using Taguchi Experimental Design

Optimization of biotechnological systems through geometric programming

Optimization of Brucella abortus S99 Lipopolysaccharide Extraction by Phenol and Butanol Methods

Optimization of Canthaxanthin Production by Dietzia natronolimnaeaHS-1 Using Response Surface Methodology

Optimization of cDNA Amplification of Apricot Latent Virus (ApLV) from Various Plant Tissues Sources

Optimization of Combinational and Sequential Logic Circuits for Low Power Using Precomputation

Optimization of Composition of Media for the Production of Extracellular Glucoamylase by Candida guilliermendii

Optimization of continuous countercurrent adsorption systems

Optimization of Cultural Conditions for Production of Chitinase by a Soil Isolate of Massilia timonae

Optimization of Cultural Conditions for the Biosynthesis of ÃŸ-fructofuranosidase by Saccharomyces cerevisiae

Optimization of Cultural Conditions for the Biosynthesis of Ø£Æ’Ø¥Â½Ø£â€šØ¢Â²-fructofuranosidase by Saccharomyces cerevisiae

Optimization of Culture Conditions for Bacterial Cellulose Production by Acetobacter sp. 4B-2

Optimization of Culture Conditions for L-Lysine Fermentation by Corynebacterium glutamicum

Optimization of Culture Conditions for Production of Polyamide Biopolymer (Polyglutamate) by Bacillus sp. Strain-R

Optimization of culture conditions for the production of biomass protein by Aspergillus niger NRRL 567

Optimization of culture conditions to obtain maximal growth of penicillin-resistant Streptococcus pneumoniae

Optimization of custom MOS circuits by transistor sizing

Optimization of Cyclodextrin Glycosyltransferase Production by Response Surface Methodology Approach

Optimization of dextran syntesis and acidic hydrolisis by surface response analysis

Optimization of Different Media for Plant Regeneration from Callus Culture of Indica Rice (Oryza sativa) Genotype DM. 25

Optimization of Digital BiCMOS Circuits, An Overview

Optimization of diterpenes bioconversion process by the fungus Cephalosporium aphidicola

Optimization of DNA isolation and PCR - RAPD methods for molecular analysis of Urginea indica Kunth

Optimization of dose and fractionation of endobronchial brachytherapy with or without external radiation in the palliative management of non-small cell lung cancer: A prospective randomized study

Optimization of ectopic gene expression in skeletal muscle through DNA transfer by electroporation

Optimization of Electrotransformation Conditions to Improve Genetic Engineering Potential of Lactobacillus spp. Isolated from Gastrointestinal Tract of Chickens

Optimization of equational programs using partial evaluation

Optimization of extraction parameters for recovery of a-amylase from the fermented bran of Bacillus circulans GRS313

Optimization of immunomagnetic separation for cord blood-derived hematopoietic stem cells

Optimization of in vitro Conditions for Callus Induction, Proliferation and Regeneration in Wheat (Triticum aestivum L.) Cultivars

Optimization of instruction fetch for decision support workloads

Optimization of instruction fetch mechanisms for high issue rates

Optimization of laser capture microdissection and RNA amplification for gene expression profiling of prostate cancer

Optimization of Maintenance Intervals for Aircraft Systems and Components

Optimization of Medium and Cultivation Conditions for Chitinase Production by the Newly Isolated: Aeromonas sp.

Optimization of mixing in stirred bioreactors - 1. Comparative analysis of mixing efficiency with different radial impellers for simulated broths

Optimization of mixing in stirred bioreactors - 2. Selection of optimum impellers combinations for non-aerated simulated broths

Optimization of mobile phase for separation of carbohydrates in honey by high performance liquid chromatography using a mixture design

Optimization of multiclass queueing networks: Polyhedral and nonlinear characterizations of achievable performance

Optimization of Naked DNA Delivery for Interferon Subtype Immunotherapy in Cytomegalovirus Infection

Optimization of Nested Queries in a Complex Object Model

Optimization of Nitrogen Fertilization in Cotton (Gossypium hirsutum L.)

Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis

Optimization of operational parameters and bath control for electrodeposion of Ni-Mo-B amorphous alloys

Optimization of Operative Different Conditions Affecting Phenol Degradation by Free and Entrapped Acinetobacter johnsonii Cells

Optimization of Parallel Execution for Multi-Join Queries

Optimization of Parameters for Citric Acid Production from Cheddar Cheese Whey Using Metschnikowia pulcherrima NCIM 3108

Optimization of PCR amplification of maize microsatellite loci

Optimization of Pearl's method of conditioning and greedy-like approximation algorithms for the vertex feedback set problem

Optimization of pipe networks including pumps by simulated annealing

Optimization of Potassium in Sunflower

Optimization of Queries with User-Defined Predicates

Optimization of query evaluation algorithms

Optimization of Rat Liver Microsomal Stability Assay Using HPLC

Optimization of RCC mixes using eastern Saudi materials

OPTIMIZATION OF REHEAT PRESSURES IN THERMAL POWER-PLANTS

Optimization of Reservoir Operation Using Combined Genetic Algorithm and Wavelet Transform Method

Optimization of Rolling-Circle Amplified Protein Microarrays for Multiplexed Protein Profiling

Optimization of run-time management of data intensive Web-sites

Optimization of shape in continuum percolation

Optimization of staff numbers in the process industries: an application of DEA

Optimization of steel slag aggregates for bituminous mixes in Saudi Arabia

Optimization of Supply Voltage Assignment for Power Reduction on Processor-Based Systems

Optimization of the determination of deoxynivalenol in corn samples by liquid chromatography and a comparison of two clean-up principles

Optimization of the LIBS parameters for detection of trace metals in petroleum products

Optimization of the Medium Composition for Production of Mycelial Biomass and Exo-Polysaccharide by Agaricus blazei Murill DPPh 131 Using Response-Surface Methodology

Optimization of the production of biodiesel by a commercial immobilized lipase in a solvent-free system using a response surface methodology

Optimization of the Relationship Between Water and Sediment Discharge Rates (Case Study; Amameh Indicator Watershed of Iran)

Optimization of the Sample Preparation Method for DNA Sequencing

Optimization of Various Parameters for the Production of Glucose Oxidase from Rice Polishing Using Aspergillus niger

Optimization of Wireless Resources for Personal Communications Mobility Tracking

Optimization principles of dendritic structure

Optimization Problems in Congestion Control

Optimization problems: expressibility, approximation properties and expected asymptotic growth of optimal solutions

Optimization procedure of a hybrid photovoltaic wind energy system

Optimization rules for programming with collective operations

Optimization strategies for instance retrieval

Optimization strategies for the approximate gcd problem

Optimization Studies for Bioconversion of Corn Steep Liquor to Ethanol by Saccharomyces cerevisiae Strain Ka-1 and Aan-2

Optimization techniques for parallel protocol implementation

Optimization Techniques for Queries with Expensive Methods

Optimization using replicators

Optimization via simulation: a review

Optimization with extremal dynamics

Optimization with semidefinite, quadratic and linear constraints

Optimization-based congestion control for multicast communications

Optimization-based verification and stability characterization of piecewise affine and hybrid systems

Optimizations and oracle parallelism with dynamic translation

Optimizations enabled by a relational data model view to querying data streams

Optimizations for a simulator construction system supporting reusable components

Optimizations for locality-aware structured peer-to-peer overlays

Optimizations for location-aided routing (LAR) in mobile ad hoc networks

Optimized algorithms for the incremental analysis of logic programs

Optimized and Validated Spectrophotometric Methods for the Determination of Enalapril Maleate in Commercial Dosage Forms

Optimized Caching in Systems with Heterogeneous Client Populations

OPTIMIZED CALIBRATION CURVE FOR SIZE-EXCLUSION CHROMATOGRAPHY APPLIED TO POLY(VINYL CHLORIDE)

Optimized encodings of fragments of type theory in first-order logic

Optimized Fast-FISH with a-satellite probes: acceleration by microwave activation

Optimized group rekey for group communication systems

Optimized high-throughput microRNA expression profiling provides novel biomarker assessment of clinical prostate and breast cancer biopsies

Optimized link state routing protocol for ad hoc networks

Optimized molecular resolution of cross-contamination alerts in clinical mycobacteriology laboratories

Optimized Priority Assignment for Tasks and Messages in Distributed Hard Real-Time Systems

Optimized regional caching for on-demand data delivery

Optimized rule condition testing in Ariel using Gator networks

Optimizing CO2 observing networks in the presence of model error: results from TransCom 3

Optimizing a library's loan policy: An integer programming approach

Optimizing Active Databases using the Split Technique

Optimizing algebraic programs

Optimizing Alpha Executables on Windows NT with Spike

Optimizing an ANSI C interpreter with superoperators

Optimizing an arbitrary function is hard for the genetic algorithm

Optimizing And-Or Parallel Implementations

Optimizing array bound checks using flow analysis

Optimizing atomic functions using compile-time information

Optimizing average-case delay in technology mapping of burst-mode circuits

Optimizing boolean expressions in object bases

Optimizing Carrot Hairy Root Production for Monoxenic Culture of Arbuscular Mycorrhizal Fungi in Iran

Optimizing clause resolution: Beyond unification factoring

Optimizing collective I/O performance on parallel computers: A multisystem study

Optimizing Compositions of Scans and Reductions in Parallel Program Derivation

Optimizing COOP languages: Study of a protein dynamics program

Optimizing data locality by array restructuring

Optimizing Designs Containing Black Boxes

Optimizing diagnostic and therapeutic strategies using decisiontheoretic planning: Principles and applications

Optimizing direct threaded code by selective inlining

Optimizing dissolved air flotation design system

Optimizing Document Indexing and Search Term Weighting Based on Probabilistic Models

Optimizing engineering designs using a combined genetic search

Optimizing explicitly parallel programs

Optimizing field stress on high voltage bushings

Optimizing for reduced code space using genetic algorithms

Optimizing Fortran90D/HPF for Distributed-Memory Computers

Optimizing high performance software libraries

Optimizing Incremental View Maintenance Expressions in Relational Databases

Optimizing indirect branch prediction accuracy in virtual machine interpreters

Optimizing Instruction Cache Performance for Operating System Intensive Workloads

Optimizing intra/inter coding mode decisions

Optimizing inventory decisions in a multi-stage supply chain under stochastic demands

Optimizing IPC performance for shared-memory multiprocessors

Optimizing Java bytecode using the Soot framework: Is it feasible

Optimizing Java programs in the presence of exceptions

Optimizing large join queries in mediation systems

Optimizing learning in image retrieval

Optimizing Lexical and N-gram Coverage Via Judicious Use of Linguistic Data

Optimizing local control in anorectal melanoma

Optimizing logical topology of lightwave network architecture (LNA)using genetic algorithms

Optimizing Loops in Database Programming Languages

Optimizing main-memory join on modern hardware

Optimizing matrix multiply using PHiPAC: a portable, high-performance, ANSI C coding methodology

Optimizing matrix stability

Optimizing memory-based messaging for scalable shared memory multiprocessor architectures

Optimizing ML using a hierarchy of monadic types

Optimizing ml with run-time code generation

Optimizing modal split during pilgrims' movement from Arafat to Muzdalifa (Ifadha)

Optimizing multidimensional index trees for main memory access

Optimizing Multi-Feature Queries for Image Databases

Optimizing Multi-Join Queries in Parallel Relational Databases

Optimizing Nano-silver Formation by Fusarium oxysporum PTCC 5115 Employing Response Surface Methodology

Optimizing object queries using an effective calculus

Optimizing object-oriented languages through architectural transformations

Optimizing Parallel Applications for Wide-Area Clusters

Optimizing parallel programs with explicit synchronization

Optimizing parallel SPMD programs

Optimizing parameters in a ranked retrieval system using multi-query relevance feedback

Optimizing patching performance

Optimizing Power Using Transformations

Optimizing production manufacturing using reinforcement learning

Optimizing protocol rewrite rules of CIL specifications

Optimizing queries across diverse data sources

Optimizing queries for coarse grain parallelism

Optimizing queries on compressed bitmaps

Optimizing queries on files

Optimizing queries over multimedia repositories

Optimizing queries using materialized views: A practical, scalable solution

Optimizing queries with materialized views

Optimizing query answering in description logics using disjunctive deductive databases

Optimizing Ranking Functions: A Connectionist Approach to Adaptive Information Retrieval

Optimizing Recovery of Listeria Species from Imported Frozen Beef

Optimizing Regeneration Condition in Chickpea (Cicer arietinum L.)

Optimizing regular path expressions using graph schemas

Optimizing response time, rather than hit rates, of www proxy caches

Optimizing Result Prefetching in Web Search Engines with Segmented Indices

Optimizing search by showing results in context

Optimizing search engines using clickthrough data

Optimizing selections over data cubes

Optimizing Sensor Networks in the Energy-Latency-Density Design Space

Optimizing sequential verification by retiming transformations

Optimizing Software Data Prefetches with Rotating Registers

Optimizing Sparse Matrix Computations for Register Reuse in SPARSITY

Optimizing sparse matrix vector multiplication on SMPs

Optimizing sparse representations for dataflow analysis

Optimizing spatial data structures for static data

Optimizing TBox and ABox reasoning with pseudo models

Optimizing TCP forwarder performance

Optimizing the control-unit through the resynchronization of operations

Optimizing the data cache performance of a software MPEG-2 video decoder

Optimizing the migration of virtual computers

Optimizing the Performance of Schema Evolution Sequences

Optimizing the Placement of Multimedia Objects on Disk Arrays

Optimizing the topology of Bluetooth wireless personal area networks

Optimizing the use of high performance software libraries

Optimizing transformations of stencil operations for parallel object-oriented scientific frameworks on cache-based architectures

Optimizing two-phase, level-clocked circuitry

Optimizing view queries in ROLEX to support navigable result trees

Optimizing vote and quorum assignments for reading and writing replicated data

Optimizing water quality monitoring stations using genetic algorithms

Optimizing wireless network protocols using real-time predictive propagation modeling

Optimum beamforming using transmit antenna arrays

Optimum Chilli Density Inter-planted with Maize in Relation to Aphid Population and Incidence of Virus Diseases on Chilli

Optimum concrete mixture design using locally available ingredients

OPTIMUM CONTROL STRATEGIES FOR TRANSIENT AS WELL AS OSCILLATORY INSTABILITY OF POWER-SYSTEMS

Optimum database selection in networked IR

Optimum design and selection of residential storage-type electric water heaters for energy conservation

Optimum design of parabolic steel box arches

Optimum Fermentation Period for Micronutrients Content of Cereal Based Complementary Food

Optimum forming loading paths for Pb-Sn superplastic sheet materials

Optimum Growth Patterns of Wild Strains of S. thermophilus and L. bulgaricus for Suitable Selection for Yoghurt

Optimum Irrigation Scheduling for CRIS-134, A New Heat Resistant Cotton Variety of Sindh in Sakrand Conditions

Optimum Irrigation Scheduling for CRIS-134, A New Heat Resistant Cotton Variety of Sindh in Sakrand Conditions

Optimum kinematic design for a seven degree of freedom manipulator

Optimum modulo schedules for minimum register requirements

Optimum off-line algorithms for the list update problem

Optimum operating conditions of solar driven heat engines

Optimum post-tensioning for three-span continuous slab-type bridge decks

Optimum Power and Rate Allocation Strategies for Multiple Access Fading Channels

Optimum Probability Estimation from Empirical Distributions

Optimum Routing of Multicast Audio and Video Streams in Communications Networks

Optimum Routing of Multicast Streams

Optimum target values for two machines in series with 100% inspection

Optimum thermal design of air-conditioned residential buildings

Optimum thermal design of office buildings

Optimum traitor tracing and asymmetric schemes

Optimum Transplanting Date for Rice Production

OPTIONS AND LIMITS IN CONSERVATIVE TREATMENT OF THE SEVERE ACUTE PANCREATITIS

Optiplan: Unifying IP-based and graph-based planning

Optoelectronic conversion of short pulses in sub-micrometer GaAs active devices

OPTOGALVANIC SPECTRA OF CALCIUM IN THE 6090-6760 ANGSTROM REGION

OPTVIEW: A New Approach for Examining Optimized Code

OPUS: A Coordination Language for Multidisciplinary Applications

OPUS: An efficient admissible algorithm for unordered search

Opus: an overlay peer utility service

Opus: Preventing Weak Password Choices

Oracle Semantics for Prolog

Oracles and queries that are sufficient for exact learning

Oracles for checking temporal properties of concurrent systems

Oracles versus proof techniques that do not relativize

Oral administration of L-arginine decreases blood pressure and increases renal excretion of sodium and water in renovascular hypertensive rats

Oral Candidiasis and Oral Hyperplastic Candidiasis: Clinical Presentation

Oral infection of mice with Salmonella enterica serovar Typhimurium causes meningitis and infection of the brain

Oral lesions in Saudi renal transplant patients

Oral Manifestation of Kawasaki Disease

Oral manifestations of syphilis: a review

Oral squamous cell carcinoma: Etiology, pathogenesis and prognostic value of genomic alterations

Oral tolerance induction with altered forms of ovalbumin

Oral tongue cancer gene expression profiling: Identification of novel potential prognosticators by oligonucleotide microarray analysis

Oral ulcer as an exclusive sign of gastric cancer: report of a rare case

Oran: A basis for an arabic OCR system

Orbicularis oris musculomucosal flap for anterior palatal fistula

ORBITAL CONTRACTION IN CA AND ITS EFFECT ON COLLISIONS

Orbital rhabdomyosarcoma: A case series

Orbits of algebraic numbers with low heights

ORBWork: A reliable distributed CORBA-based workflow enactment system for METEOR2

Orca: a Language Based on Shared Data-objects

Orca: A Language for Distributed Programming

ORCHESTRA: A Fault Injection Environment for Distributed Systems

Order barriers for symplectic multi-value methods. In: Numerical analysis 1997

Order of Magnitude Reasoning using Logarithms

Order preserving minimal perfect hash functions and information retrieval

Order reduction in operator splitting methods

Order statistics combiners for neural classifiers

Order statistics for decomposable combinatorial structures

Order structure, correspondence and shape based categories

Ordered chaining calculi for first-order theories of transitive relations

Ordered chaining for total orderings

Ordered landmarks in planning

Ordered Linear Logic and Applications

Ordered linear logic programming

Ordered tableaux: Extensions and applications

Ordered types in the aqua data model

Ordering and demixing transitions in multicomponent Widom--Rowlinson models, Phys

Ordering constraints on trees

Ordering constraints over feature trees

Ordering constraints over feature trees expressed in second-order monadic logic

Ordering genetic algorithms and deception

Ordering heuristics for arc consistency algorithms

Ordering landmarks in a view

Ordering Monte Carlo Markov chains

Ordering of alkane isomers by means of connectivity indices

Ordering problem subgoals

Ordering-Based Strategies for Horn Clauses

Orderings for incomplete factorization preconditioning of nonsymmetric problems

Orderings, AC-Theories and Symbolic Constraint Solving

Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates

Orders of input/output differential equations and state space dimensions

Ordinal Measures for Image Correspondence

Ordinal measures for visual correspondence

Organ Dosimetry For A Worker Standing Under A 132 KV Power Line

Organelle-specific isoenzymes of plant V-ATPase as revealed by in vivo-FRET analysis

Organic acids as cloud condensation nuclei: Laboratory studies of highly soluble and insoluble species

Organic Acids Production and Phosphate Solubilization by Phosphate Solubilizing Microorganisms (PSM) Under in vitro Conditions

Organic Acids Toxicity on Seedling Attributes of Anoxia Tolerant Rice Genotypes Grown in Hypoxia

Organic aerosol and global climate modelling: a review

Organic Farming in Turkey

ORGANIC LOADING EFFECTS ON THE TREATMENT OF PHENOLIC WASTEWATERS BY SEQUENCING BATCH REACTORS

Organic Matter and Salt Concentration Effect on Cation Exchange Equilibria in Non-calcareous Soils

Organic Matter and Salt Concentration Effect on Cation Exchange Equilibria in Non-calcareous Soils

Organic Matter and Salt Concentration Effect on Exchange Selectivity Coefficient in Calcarious Soils

Organic Matter and Salt Concentration Effect on Exchange Selectivity Coefficient in Calcarious Soils

Organic matter status of Gujar Khan Tehsil

Organic Matter Status of Tehsil Kahuta of District Rawalpindi

Organic reaction in water. Part 31: diastereoselectivity in Michael additions of thiophenol to nitro olefins in aqueous media

Organic, elemental and inorganic carbon in particulate matter of six urban environments in Europe

Organic/inorganic hybrid materials formed from TiO2 nanoparticles and polyaniline

Organics in the Northeastern Pacific and their impacts on aerosol hygroscopicity in the subsaturated and supersaturated regimes

Organisational Abstractions for the Analysis and Design of Multi-Agent Systems

Organisations through Roles and Agents

Organisms isolated from adults with Cystic Fibrosis

Organization and Reorganization of Autonomous Oceanographic Sampling Networks

Organization Models and Behavioural Requirements Specification for Multi-Agent Systems

Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism

Organization of the Greek athletic Schools

Organization of the mitochondrial genomes of whiteflies, aphids, and psyllids (Hemiptera, Sternorrhyncha)

Organization self-design of distributed production systems

Organizational Fluidity and Sustainable Cooperation

Organizational patterns for early requirements analysis

Organization-based analysis of Web-object sharing and caching

Organized Unidirectional Waves of ATP Hydrolysis within a RecA Filament

Organizing a global coordinate system from local information on an ad hoc sensor network

Organizing Multicast Receivers Deterministically According to Packet-Loss Correlation

Organizing programs without classes

Organogenesis from Protoplasts of Tossa Jute (Corchorus olitorius)

Organometallic Reagents for Synthetic Purposes: Tellurium

Organophosphate Pesticide Concentrations in Coral Tissues of Indonesian Coastal Waters

Organosilicon-Containing Thiazole Derivatives as Potential Lipoxygenase Inhibitors and Anti-Inflammatory Agents

Organotin(IV) Derivatives of 2-Acetylpyridine-N(4)-Phenylthiosemicarbazone, HAP4P, and 2-Hydroxyacetophenone-N(4)-Phenylthiosemicarbazone, H2DAP4P: Crystal and Molecular Structure of [SnMe2(DAP4P)] and [SnBu2(DAP4P)]

Organotypic cocultures as skin equivalents: A complex and sophisticated in vitro system

Orientable textures for image-based pen-and-ink illustration

Orientation behavior using registered topographic maps

Orientation determination by wavelets matching for 3D reconstruction of very noisy electron microscopic virus images

Orientation diffusions

Orientation histograms for hand gesture recognition

Orientation lightmaps for photon radiosity in complex environments

Orientation tuning of input conductance, excitation, and inhibition in cat primary visual cortex

Oriented antibody immobilization to polystyrene macrocarriers for immunoassay modified with hydrazide derivatives of poly(meth)acrylic acid

Oriented particles: A tool for shape memory objects modelling

Oriented projective geometry for computer vision

Orienting Polygonal Parts Without Sensors

Origen y rutas de dispersiØ£Â³n de los mangles: una revisiØ£Â³n con Ø£Â©nfasis en las especies de AmØ£Â©rica

Origen, mantenimiento y evoluciØ£Â³n del ginodioicismo

Origin and distribution of epipolythiodioxopiperazine (ETP) gene clusters in filamentous ascomycetes

Origin and distribution of the BRCA2-8765delAG mutation in breast cancer

Origin and diversification of the basic helix-loop-helix gene family in metazoans: insights from comparative genomics

Origin and evolution of the peroxisomal proteome

Origin and pathogenesis of antiphospholipid antibodies

Origin of anthropogenic hydrocarbons and halocarbons measured in the summertime european outflow (on Crete in 2001)

Origin of germ cells and formation of new primary follicles in adult human ovaries

Origin of iron-rich beds in the basal Wajid Sandstone, Abha-Khamis Mushayt area, southwest Saudi Arabia

Origin of mitochondrial DNA diversity of domestic yaks

Origin of phagotrophic eukaryotes as social cheaters in microbial biofilms

Origin of structural difference in metabolic networks with respect to temperature

Origin of the blood hyperserotonemia of autism

Origin of the hemoglobin S gene in a northern Brazilian population: the combined effects of slave trade and internal migrations

Origin of the nucleus and Ran-dependent transport to safeguard ribosome biogenesis in a chimeric cell

Origin tracking

Origins of a cyanobacterial 6-phosphogluconate dehydrogenase in plastid-lacking eukaryotes

Origins of amino acid transporter loci in trypanosomatid parasites

Origins of asexuality in Bryobia mites (Acari: Tetranychidae)

Origins of Internet routing instability

Origins of scaling in natural images

Origins of Stochasticity and Burstiness in High-Dimensional Biochemical Networks

Orion: A Power-Performance Simulator for Interconnection Networks

Orl Active Floor

ORLOG: A Logic for Semantic Object-Oriented Models

Ornithine-Î´-aminotransferase is essential for Arginine Catabolism but not for Proline Biosynthesis

Orodental phenotype and genotype findings in all subtypes of hypophosphatasia

Orphan SelD proteins and selenium-dependent molybdenum hydroxylases

OR-SML: a functional database programming language for disjunctive information and its applications

Orthogonal arrays, resilient functions, error-correcting codes and linear programming bounds

Orthogonal Gabor-DCT transform

Orthogonal grid drawing of clustered graphs

Orthogonal Matching Pursuit: Recursive Function Approximation with Applications to Wavelet Decomposition

Orthogonal Persistence for Java --- A Mid-term Report

Orthogonal polygons as bounding structures in filter-refine query processing strategies

Orthogonal polyhedra: Representation and computation

Orthogonal polynomials and the construction of piecewise polynomial smooth wavelets

Orthogonal projections and bootstrap resampling procedures in the study of infraspecific variation

Orthogonal spreads and translation planes

Orthogonal tensor decompositions

Orthogonality and partial pole assignment for the symmetric definite quadratic pencil

Orthogonally persistent object systems

Orthologs of the small RPB8 subunit of the eukaryotic RNA polymerases are conserved in hyperthermophilic Crenarchaeota and 'Korarchaeota'

Orthonormal finite ridgelet transform for image compression

Orthonormal ridgelets and linear singularities

ORTHOPEDIC COMPLICATIONS IN SICKLE-CELL DISEASE - A COMPARATIVE-STUDY FROM 2 REGIONS IN SAUDI-ARABIA

Os agents: Using ai techniques in the operating system environment

Os support for general-purpose routers

Oscillating flow over oblate spheroids

OSCILLATING INVISCID FLOW OVER ELLIPTIC CYLINDERS WITH FLAT PLATES AND CIRCULAR-CYLINDERS AS SPECIAL CASES

Oscillating viscous flow over a sphere

Oscillating viscous flow over prolate spheroids

Oscillating viscous flow over prolate spheroids (vol 23, pg 83, 1999)

OSCILLATING VISCOUS-FLOW OVER AN INCLINED ELLIPTIC CYLINDER

Oscillation theory and renormalized oscillation theory for Jacobi operators

Oscillation, Heuristic Ordering and Pruning in Neighborhood Search

Oscillator-basis electric-multipole selection rules

OS-controlled cache predictability for real-time systems

Osmotic Dehydration of Catfish (Hemisynodontis membranaceus): Effect of Temperature and Time

OspA heterogeneity of Borrelia valaisiana confirmed by phenotypic and genotypic analyses

OSPACS: Ultrasound image management system

Osseous metaplasia in renal cell carcinoma: Report of a rare case

Osteoarthritis: quality of life, comorbidities, medication and health service utilization assessed in a large sample of primary care patients

Osteoblastic flare in a patient with advanced gastric cancer after treatment with pemetrexed and oxaliplatin: implications for response assessment with RECIST criteria

Osteoclast and Osteoblast Development of Mus musculus Haemopoietic Mononucleated Cells

Osteogenic Cells Derived From Embryonic Stem Cells Produced Bone Nodules in Three-Dimensional Scaffolds

Osteomalacia in an HIV-infected man receiving rifabutin, a cytochrome P450 enzyme inducer: a case report

Osteomyelitis of the mandible due to Aggregatibacter (Actinobacillus) actinomycetemcomitans

Osteopetrosis

Osteophyte at the sacroiliac joint as a cause of sciatica: a report of four cases.

Osteoporosis among male Saudi Arabs: a pilot study

Osteoporosis: A possible aetiological factor in the development of Scheuermann's disease.

Osteoradionecrosis of the mandible: Etiology, prevention, diagnosis and treatment

Osteosarcoma (Osteogenic sarcoma)

OSTEOSINTEZA MINIM INVAZIVA CU PLACI (MIPO) CU INCIZII PROXIMALE SI DISTALE Ø£Ú˜N FRACTURILE COMPLEXE EXTRAARTICULARE ALE FEMURULUI DISTAL

OSTEOSYNTHESIS OF DISPLACED FEMORAL NECK FRACTURE IN ELDERLY PATIENTS Ã¢â‚¬â€œ A GOOD THERAPEUTIC CHOICE

oStream: Asynchronous Streaming Multicast in Application-Layer Overlay Networks

Ostrich Feeding and Nutrition

O-telos-rdf: a Resource Description Format with Enhanced Meta-Modeling Functionalities Based on O-telos

OTERS (On-Tree Efficient Recovery using Subcasting): a Reliable Multicast Protocol

OTHER OPTIONS OF MASS AND ENERGY INPUT FOR STEAM JET REFRIGERATION SYSTEMS

others. Ontology domain modeling support for multi-lingual services in E-Commerce

Otodental syndrome

Otoplasty Ã¢â‚¬â€œ techniques, characteristics and risks

OTTER 3.0 Reference Manual and Guide

Otter experiments in a system of combinatory logic

Otter: The CADE-13 Competition Incarnations

OUR EXPERIENCE IN SURGICAL TREATMENT OF HYDATID CYSTS OF THE LUNG

Out of Africa: High aerosol concentrations in the upper troposphere over Africa

Out of core, out of mind: Practical parallel I/O

Out of Tanganyika: Genesis, explosive speciation, key-innovations and phylogeography of the haplochromine cichlid fishes

Outage probability in multiple access packet radio networks in the presence of fading

Outbound authentication for programmable secure coprocessors

Outbreak of acute viral hepatitis due to hepatitis E virus in Hyderabad

Outbreak of haemolytic uraemic syndrome in Norway caused by stx2-positive Escherichia coli O103:H25 traced to cured mutton sausages

Outbreaks associated to bloodstream infections with Staphylococcus aureus and coagulase-negative Staphylococcus spp in premature neonates in a university hospital from Brazil

Outcome following emergency surgery for refractory severe ulcerative colitis in a tertiary care centre in India

Outcome of AIDS-associated cryptococcal meningitis initially treated with 200 mg/day or 400 mg/day of fluconazole

Outcome of ATP-based tumor chemosensitivity assay directed chemotherapy in heavily pre-treated recurrent ovarian carcinoma

Outcome of HIV-associated Pneumocystis pneumonia in hospitalized patients from 2000 through 2003

Outcome of index upper gastrointestinal endoscopy in patients presenting with dysphagia in a tertiary care hospital-A 10 years review

Outcome of infections due to pandrug-resistant (PDR) Gram-negative bacteria

Outcome of major cardiac injuries at a Canadian trauma center

Outcome of patients with stage II and III nonseminomatous germ cell tumors: Results of a single center

Outcome of primary closure of abdominal wounds following typhoid perforation in children in Ile-Ife, Nigeria

Outcome of protease inhibitor substitution with nevirapine in HIV-1 infected children

Outcome of urogenital infection with Chlamydia muridarum in CD-14 gene knockout mice

Outcomes in culture positive and culture negative ascitic fluid infection in patients with viral cirrhosis: cohort study

Outcomes of Coronary Artery Bypass Grafting in Patients with a History of Opiate Use

Outcomes of decompression for lumbar spinal canal stenosis based upon preoperative radiographic severity

Outcomes of Hysterectomy in HIV-Seropositive Women Compared to Seronegative Women

Outdoor scene analysis using range data

Outer joins and filters for instantiating objects from relational databases through views

Outer membrane protein genes and their small non-coding RNA regulator genes in Photorhabdus luminescens

Outlier detection and motion segmentation

Outlier detection for high dimensional data

Outlier removal for motion tracking by subspace separation

Outline for an operational-semantics definition of Promela

Outline of a Model for Lexical Databases

Outline of a proof theory of parametricity

Outline of the International Standard Linguistic Annotation Framework

Outline representation of fonts using genetic approach

Out-of-core ffts with parallel disks

Out-of-core streamline visualization on large unstructured meshes

Out-of-home food outlets and area deprivation: case study in Glasgow, UK

Outperforming the Gibbs sampler empirical estimator for nearest neighbor random

Output MAI distributions of linear MMSE multiuser receivers in DS-CDMA systems

Output Process Analysis of the Peak Cell Rate Monitor Algorithm

Output tracking control design of a helicopter model based on approximate linearization

Output tracking for a non-minimum phase dynamic CTOL aircraft model

Output-driven distributed optimistic message logging and checkpointing

Output-sensitive results on convex hulls, extreme points, and related problems

Outward potassium current oscillations in macrophage polykaryons: extracellular calcium entry and calcium-induced calcium release

Ovarian Cancer Classification based on Mass Spectrometry Analysis of Sera

Ovarian cancer risk and common variation in the sex hormone-binding globulin gene: a population-based case-control study

Ovarian cancer risk in Polish BRCA1 mutation carriers is not associated with the prohibitin 3' untranslated region polymorphism

Ovarian carcinomas with genetic and epigenetic BRCA1 loss have distinct molecular abnormalities

Ovarian development in Meliponine bees (Hymenoptera: Apidae): the effect of queen presence and food on worker ovary development and egg production

Ovarian dysgerminomas are characterised by frequent KIT mutations and abundant expression of pluripotency markers

Ovarian epithelial cancer: a role for PGE2-synthesis and signalling in malignant transformation and progression

Ovarian fibroma: An unusual morphological presentation with elevated CA-125

Ovarian follicular activity and hormonal profile during estrous cycle in cows: the development of 2 versus 3 waves

Ovarian gene expression in the absence of FIGLA, an oocyte-specific transcription factor

Ovarian growth during larval development of queen and worker of Apis mellifera (Hymenoptera: Apidae): a morphometric and histological study

Ovarian hormone modulates 5-hydroxytryptamine 3 receptors mRNA expression in rat colon with restraint stress-induced bowel dysfunction.

Ovarian Pregnancy/A Case Report

Ovarian responses to undernutrition in pregnant ewes, USA

Ovarian surface epithelium: family history and early events in ovarian cancer

Ovarian volume and antral follicle count for the prediction of low and hyper responders with in vitro fertilization

Ovary maturation stages and oocyte features in three species of the neotropical fish Hemiodus (MØ£Â¼ller, 1842)

Over expression of the selectable marker blasticidin S deaminase gene is toxic to human keratinocytes and murine BALB/MK cells

Over-answering Yes-No Questions: Extended Responses in a NL Interface to a Vision System

Overcast: Reliable multicasting with an overlay network

Overcoming cisplatin resistance by mTOR inhibitor in lung cancer

Overcoming heterophobia: Modeling concurrency in heterogeneous systems

Overcoming Incomplete Perception with Utile Distinction Memory

Overcoming Limitations of Sampling for Aggregation Queries

Overcoming ontology mismatches in transactions with self-describing agents

Overcoming schematic discrepancies in interoperable databases

Overcoming the Lack of Screen Space on Mobile Computers

Overcoming the majority barrier in large-scale systems

Overcoming the myopia of inductive learning algorithms with ReliefF

Overcoming the network bottleneck in mobile computing

Overcoming the obstacle of high relative degree

overcoming the prevalent decomposition in legacy code

Overcoming workstation scheduling problems in a real-time audio tool

Overcomplete steerable pyramid filters and rotation invariance

Overdispersed generalized linear models

Overexpressed TP73 induces apoptosis in medulloblastoma

Over-expression of 14-3-3zeta is an early event in oral cancer

Over-expression of Adenine Nucleotide Translocase 1 (ANT1) Induces Apoptosis and Tumor Regression in vivo

Overexpression of annexin 1 in pancreatic cancer and its clinical significance.

Overexpression of cathepsin f, matrix metalloproteinases 11 and 12 in cervical cancer

Overexpression of CCL-21/Secondary Lymphoid Tissue Chemokine in Human Dendritic Cells Augments Chemotactic Activities for Lymphocytes and Antigen Presenting Cells

Overexpression of CDC2/CyclinB1 in gliomas, and CDC2 depletion inhibits proliferation of human glioma cells in vitro and in vivo

Overexpression of Eag1 potassium channels in clinical tumours

Over-expression of Eph and ephrin genes in advanced ovarian cancer: ephrin gene expression correlates with shortened survival

Overexpression of extracellular superoxide dismutase reduces acute radiation induced lung toxicity

Overexpression of mtDNA-associated AtWhy2 compromises mitochondrial function

Overexpression of Pax6 results in microphthalmia, retinal dysplasia and defective retinal ganglion cell axon guidance

Overexpression of phosphoserine aminotransferase PSAT1 stimulates cell growth and increases chemoresistance of colon cancer cells

Overexpression of ribosomal protein L15 is associated with cell proliferation in gastric cancer

Overexpression of Selenoprotein H Reduces Ht22 Neuronal Cell Death after UVB Irradiation by Preventing Superoxide Formation

Overexpression of the duffy antigen receptor for chemokines (DARC) by NSCLC tumor cells results in increased tumor necrosis

Overexpression of the human MNB/DYRK1A gene induces formation of multinucleate cells through overduplication of the centrosome

Overfitting and undercomputing in machine learning

Overfitting explained

Overfitting in making comparisons between variable selection methods

Overflow behavior in queues with many long-tailed inputs

Overhauling Rdist for the '90s

Overlapping computations, communications and I/O in parallel sorting

Overlapping domain decomposition algorithms for general sparse matrices

Overlapping execution with transfer using non-strict execution for mobile programs

Overlapping functions of the starch synthases SSII and SSIII in amylopectin biosynthesis in Arabidopsis

Overlapping Schwarz algorithms for solving Helmholtz's equation

Overlapping Schwarz methods for Maxwell's equations in three dimensions

Overlapping Schwarz methods on unstructured meshes using non-matching coarse grids

Overlay ToolØ¢Â© for aCGHViewerØ¢Â©: An Analysis Module Built for aCGHViewerØ¢Â© used to Perform Comparisons of Data Derived from Different Microarray Platforms

Overload Control Mechanisms for Web Servers

Overloading intentions for efficient practical reasoning

Overlook: Scalable Name Service on an Overlay Network

Over-representation of specific regions of chromosome 22 in cells from human glioma correlate with resistance to 1,3-bis(2-chloroethyl)-1-nitrosourea

Overriding follicle selection in controlled ovarian stimulation protocols: Quality vs quantity

Overriding operators in a mixin-based framework

Oversampled filter banks

Oversearching and layered search in empirical learning

Overtraining, regularization, and searching for minimum in neural networks

Overview of a performance evaluation system for global computing scheduling algorithms

Overview of complexity and decidability results for three classes of elementary nonlinear systems

Overview of current and alternative slaughter practices

Overview of Existing Recurrent Schematizations

Overview of image security techniques with applications in multimedia systems

Overview of multidatabase transaction management

Overview of SCIAMACHY validation: 2002Ã¢â‚¬â€œ2004

Overview of the Chorus Distributed Operating System

Overview of the European project FUMAPEX

Overview of the field measurement campaign in HyytiØ£Â¤lØ£Â¤, August 2001 in the framework of the EU project OSOA

Overview of the First Phylogenomics Conference

Overview of the global system for mobile communications

Overview of the MetaRing Architecture

Overview of the most commonly used methods in allergen characterization

Overview of the TREC 2001 question answering track

Overview of the TREC 2002 question answering track

Overview of the TREC 2003 Question Answering Track

Overview of the TREC-2002 Web Track

Overview of the trec-9 question answering track

Overview of TREC-6 Very Large Collection Track

Overview of TREC-7 very large collection track

Overview of VPE: a visual environment for message-passing parallel programming

Overview on Using Metadata to manage Multimedia Data

Overweight and Obesity among School-Aged Children of Metropolitan Tehran, Iran

Overwintering Population of Maize Stem Borer Chilo partellus (Swinhoe) at High Altitudes of Kashmir

Ovicidal Activity of Acrolein Vapors to Indian Meal Moth Eggs of Various Ages

Oviposition and predation by Speciomerus revoili (Coleoptera, Bruchidae) on seeds of Acrocomia aculeata (Arecaceae) in BrasØ£Âlia, DF, Brazil

Oviposition behaviour of Gryon gallardoi (Hym.; Scelionidae) on eggs of Spartocera dentiventris (Hem.; Coreidae)

Oviposition Deterrence and Other Biological Influences of Aqueous Leaves Extracts of Neem, Colocasia and Their Mixtures Alone or Combined with Gamma Radiation to Reduce the Risk of the Potato Tubermoth,Phthorimaea operculella (Zeller)

Oviposition sequence and offspring of mated and virgin females of Cotesia flavipes (Hymenoptera: Braconidae) parasitizing Diatraea saccharalis larvae (Lepidoptera: Crambidae)

Ovule ontogeny of Tabebuia pulcherrima Sandwith (Bignoniaceae): embryo sac development

Ovule ontogeny of Tabebuia pulcherrima Sandwith (Bignoniaceae): megasporogenesis and integument development

Ownership types and safe lazy upgrades in object-oriented databases

Ownership types for Flexible Alias Protection

Ownership types for object encapsulation

Ownership types for safe region-based memory management in Real-Time Java

Ownership, encapsulation and disjointness of type and eect

OWNERSHIP: A Case Study in the Representation of Legal Concepts, Presented at a Conference

Oxalic acid as a heterogeneous ice nucleus in the upper troposphere and its indirect aerosol effect

Oxidation of dibenzothiophene as a model substrate for the removal of organic sulphur from fossil fuels by iron(III) ions generated from pyrite by Acidithiobacillus ferrooxidans

Oxidation of diselenide bond with sodiumtetracloroaurate (III): Significance in chemotherapy

Oxidation of N-benzyl-N-methylhydroxylamines to nitrones. A mechanistic study

Oxidation of SO2 by H2O2 on ice surfaces at 228 K: a sink for SO2 in ice clouds

Oxidation of sulfur (IV) by oxygen in aqueous solution: role of some metal ions

Oxidative Addition Reactions of I2 with [HIr4(CO)10-n(PPh3 )n(m-PPh2)] (n = 1 and 2) and Crystal and Molecular Structure of [HIr4(m-I)2(CO)7 (PPh3)(m-PPh2)]

Oxidative dehydrogenation of isobutane over a titanium pyrophosphate catalyst

Oxidative fragmentations of 5-hydroxy-1-oxo-5alpha-cholestan-3beta-yl acetate

Oxidative Imbalance and Non-Enzymic Antioxidant Status in Pulmonary Tuberculosis Infected Subjects: Carcinogenic Potential

Oxidative performance and surface properties of Co-containing mixed oxides having the K2NiF4 structure

Oxidative Stress and DNA Damage in Streptozotocin-Induced Diabetic Rats: Effects of Alpha Lipoic Acid

Oxidative stress and immunologic responses following a dietary exposure to PAHs in Mya arenaria

Oxidative stress in hepatitis C infected end-stage renal disease subjects

Oxidative stress in patients with laryngeal carcinoma

Oxidative stress in the latissimus dorsi muscle of diabetic rats

Oxidative stress in tumor microenvironmentÃ¢â‚¬â€Its role in angiogenesis

Oxidative Stress Inactivates Cobalamin-Independent Methionine Synthase (MetE) in Escherichia coli

Oxidative Stress Induced by Different Pesticides in the Land Snails, Helix aspersa

Oxidative stress may explain how hypertension is maintained by normal levels of angiotensin II

Oxidative Stress of Plankton Community and Some Isolated Species During Paracetamol Toxicity Test

Oxidative stress response in sugarcane

Oxidative stress: molecular perception and transduction of signals triggering antioxidant gene defenses

Oxidised- and total non-protein bound glutathione and related thiols in gallbladder bile of patients with various gastrointestinal disorders

Oxidized Low-density Lipoprotein Upregulates GM2 Activator Protein Gene Expression

Oxyeleotris marmoratus, Predator or By-Product in Integrated Aquaculture Ponds

Oxygen and Cell Fate Decisions

Oxygen and nitrate-dependent regulation of dmsABC operon expression in Escherichia coli: sites for Fnr and NarL protein interactions

OXYGEN ASSISTED LASER CUTTING MECHANISM - A LAMINAR BOUNDARY-LAYER APPROACH INCLUDING THE COMBUSTION PROCESS

Oxygen consumption during mineralization of organic compounds in water samples from a small sub-tropical reservoir (Brazil)

Oxygen consumption of rats with broad intestinal resection

Oxygen content and disorder effects on the critical current density in YBa2Cu3Ox

Oxygen dependence of metabolic fluxes and energy generation of Saccharomyces cerevisiae CEN.PK113-1A

Oxygen limitation modulates pH regulation of catabolism and hydrogenases, multidrug transporters, and envelope composition in Escherichia coli K-12

Oxygen mass transfer in a 16.6 cm i. d. multiphase reciprocating plate column

Oxygen reduction at platinum nanoparticles supported on carbon cryogel in alkaline solution

Oxygen reduction on single crystal platinum electrodes in phosphoric acid solutions

Oxygen restriction increases the infective potential of Listeria monocytogenes in vitro in Caco-2 cells and in vivo in guinea pigs

Oxygen Transport in Amphibia: The Functional Properties of Hemoglobins from Bufo bufo and Bufo viridis

Oxygen-17-induced proton relaxation rates for alcohols and alcohol solutions

Oxygenated compounds in aged biomass burning plumes over the Eastern Mediterranean: evidence for strong secondary production of methanol and acetone

OXYGEN-INDUCED ENHANCEMENT OF THE ADSORPTIVE CAPACITY OF ACTIVATED-CHARCOAL

Oxytetracycline Residue in Chicken Tissues from Tehran Slaughterhouses in Iran

Oxytocin is a cardiovascular hormone

Oz explorer: A visual constraint programming tool

Oz Scheduler: A workbench for scheduling problems

Oz: A Decentralized Process Centered Environment

Oz---a programming language for multi-agent systems

OzCare: a workflow automation system for care plans

Ozone absorption in a mechanically stirred reactor

OZONE ABSORPTION IN RAW WATERS

Ozone Air Quality Modeling. A Case Study: A Heavily Vehicle Impacted Urban Avenue in Rio de Janeiro, Brazil

Ozone decomposition kinetics on alumina: effects of ozone partial pressure, relative humidity and repeated oxidation cycles

Ozone decomposition on Saharan dust: an experimental investigation

Ozone loss and chlorine activation in the Arctic winters 1991-2003 derived with the tracer-tracer correlations

Ozone loss derived from balloon-borne tracer measurements in the 1999/2000 Arctic winter

Ozone observations by the Gas and Aerosol Measurement Sensor during SOLVE II

Ozone production and hydrocarbon reactivity in Hong Kong, Southern China

Ozone production and trace gas correlations during the June 2000 MINATROC intensive measurement campaign at Mt. Cimone

Ozone: Integrating Structured and SemiStructured Data