DCC eCatalog

A

---

A Study on Irrigation Scheduling of Onion (Allium cepa L.) in Turkey

A Research on the Socio-economic Features of the Olive Oil Producers in Western Part of Turkey: Production, Organization, Marketing Problems and Solutions

A "bump in the stack" encryptor for MSDOS systems

A "Natural Logic" for Natural Language Processing and Knowledge Representation

A +1 Programmed Ribosomal Frameshifting of a Human C2H2 Zinc Finger Gene Discovered by Computational Analysis

A 1.349 tflops simulation of black holes in a galactic center on grape-6

A 1.598 approximation algorithm for the Steiner problem in graphs

A 1.5-approximation for treewidth of graphs excluding a graph with one crossing

A 10 Month Old Infant with Nystagmus and Strabismus

A 100%-complete sequence reveals unusually simple genomic features in the hot-spring red alga Cyanidioschyzon merolae

A 1600 rule expert system without knowledge engineers

A 2.4 Gb/s/pin simultaneous bidirectional parallel link with per-pin skew compensation

A 2003 stratospheric aerosol extinction and PSC climatology from GOMOS measurements on Envisat

A 28-fold increase in secretory protein synthesis is associated with DNA puff activity in the salivary gland of Bradysia hygida (Diptera, Sciaridae)

A 2-approximation algorithm for the soft-capacitated facility location problem

A 2-categorical presentation of term graph rewriting

A 2D neuromorphic VLSI architecture for modeling selective attention

A 3-approximation algorithm for the k-level uncapacitated facility location problem

A 3-D vision-based man-machine interface for hand-controlled telerobot

A 3D Vision-Based Man-Machine Interface For Hand-Controlled Telerobot

A 3D-CTM with detailed online PSC-microphysics: analysis of the Antarctic winter 2003 by comparison with satellite observations

A 3-DIMENSIONAL GRAPHICAL-METHOD FOR SHEAR STRAIN ANALYSIS

A 4TH-ORDER SWITCHED-CAPACITOR CASCADE STRUCTURE FOR SIGMA-DELTA-CONVERTERS

A 50-Gb/s IP router

A 61kDa Antibacterial Protein Isolated and Purified from the Hemolymph of the American Cockroach Periplaneta amreicana

A 64 Years Old Man with Multiple Myeloma and Low HDL

A 700-Mb/s/pin CMOS Signaling Interface Using Current Integrating Receivers

A baboon model for endometriosis: implications for fertility

A BAC end view of the Musa acuminata genome

A Bacillus sphaericus Based Biosensor for Monitoring Nickel Ions in Industrial Effluents and Foods

A Bacillus thuringiensis isolation method utilizing a novel stain, low selection and high throughput produced atypical results

A Bacteriological Assessment of the Cleaning and Disinfection Efficacy at the Midlands State University Canteen, Zimbabwe

A Banach space based semantics for Probabilistic Concurrent Constraint Programming

A Bandwidth Allocation Scheme for Time Constrained Message Transmission on A Slotted Ring Lan

A bandwidth inheritance algorithm for real-time task synchronization in open systems

A bandwidth-efficient architecture for media processing

A basic analysis toolkit for biological sequences

A Basic Model of Typed Components

A basis for interactive schema merging

A batch/recursive algorithm for 3D scene reconstruction

A Bayesian analysis of simulation algorithms for inference in belief networks

A Bayesian approach to dynamic contours through stochastic sampling and simulated annealing

A bayesian approach to landmark discovery and active perception for mobile robot navigation

A Bayesian approach to learning Bayesian networks with local structure

A Bayesian approach to learning causal networks

A Bayesian approach to relevance in game playing

A bayesian approach to tackling hard computational problems

A Bayesian committee machine

A bayesian computer vision system for modeling human interactions

A Bayesian decision theoretic approach to wavelet thresholding

A Bayesian Framework for Concept Learning

A Bayesian framework for content-based indexing and retrieval

A Bayesian framework for integrating genomic data to aid function prediction

A Bayesian framework for semantic classification of outdoor vacation images

A bayesian hybrid method for context-sensitive spelling correction

A Bayesian method for the induction of probabilistic networks from data

A bayesian model of plan recognition

A Bayesian multiscale approach to joint image restoration and edge detection

A Bayesian Network View on Nested Effects Models

A Bayesian Segmentation Methodology for Parametric Image Models

A Bayesian similarity measure for direct image matching

A BDD-based model checker for recursive programs

A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm

A beam-tracing algorithm for prediction of indoor radio propagation

A Beat Tracking System for Acoustic Signals of Music

A beat tracking system for audio signals

A beginner's guide to the truckworld simulator

A behavioral module system for the pi-calculus

A behavioral notion of subtyping

A behavior-based system for off-road navigation

A belief-driven method for discovering unexpected patterns

A Benchmark for Classifier Learning

A benchmark for comparing different approaches for specifying and verifying real-time systems

A benchmark of NonStop SQL release 2 demonstrating near-linear speedup and scaleup on large databases

A Benchmark Suite for High Performance Java

A benchmarking study of two trauma centres highlighting limitations when standardising mortality for comorbidity

A better algorithm for an ancient scheduling problem

A Better Heuristic for Orthogonal Graph Drawings

A better lower bound for on-line scheduling

A Better Model for Generating Test Networks

A Better Update Policy

A BGP-based Mechanism for Lowest-Cost Routing

A bibliometric analysis of research productivity in Parasitology by different world regions during a 9-year period (1995–2003)

A bibliometric study of authorship characteristics in four international information science journals

A bilateral approach to givenness: A hearer-status algorithm and a centering algorithm

A binary feedback scheme for congestion avoidance in computer networks

A Binary Rewriting Defense Against Stack-based Buffer Overflow Attacks

A Binding Architecture for Multimedia Networks

A binding protocol for distributed shared objects

A binocular active vision system using space variant sensors: Exploiting autonomous behaviors for space application

A binocular, foveated active vision system

A bioinformatics approach for the interrogation of molecular events in single cells: transforming fluorescent time-lapse microscopy images into numbers

A Biolistic Approach for the Production of Transgenic Plants using Emryogenic Tissue in Pinus kesiya Royle Ex. Gord (Khasi Pine)

A biolistic process for in vitro gene transfer into chicken embryos

A Biological Evaluation of Six Gene Set Analysis Methods for Identification of Differentially Expressed Pathways in Microarray Data

A biomechanical analysis of strength and motion following total shoulder arthroplasty

A biomechanical musculoskeletal model of human upper limb for dynamic simulation

A biomechanical study of plate versus intramedullary devices for midshaft clavicle fixation

A Biophysical Model of the Mitochondrial Respiratory System and Oxidative Phosphorylation.

A Bioreactor Model of Mouse Tumor Progression

A biphasic pattern of gene expression during mouse retina development

A bird???s-eye view of uniform spanning trees and forests

A blackberry (Rubus L.) expressed sequence tag library for the development of simple sequence repeat markers

A blackboard system for automatic transcription of simple polyphonic music

A BLAS-3 version of the QR factorization with column pivoting

A blind watermarking scheme based on structured codebooks

A block qr algorithm and the singular value decomposition

A block-cipher mode of operation for parallelizable message authentication

A block-sorting lossless data compression algorithm

A blow up result for a fractionally damped wave equation

A blow-up result for a higher-order nonlinear Kirchhoff-type hyperbolic equation

A blow-up result in a Cauchy viscoelastic problem

A blueprint for introducing disruptive technology into the internet

A Bootstrap Test for Comparing Performance of Programs When Data are Censored, and Comparisons to Etzioni's Test

A bootstrapping algorithm for learning linear models of object classes

A Bottom-up Semantics for Linear Logic Programs

A bound on attacks on authentication protocols

A bound on attacks on payment protocols

A bound on the chromatic number of the square of a planar graph

A bound on the error of cross validation using the approximation and estimation rates, with consequences for the training-test split

A Boundary Condition Capturing Method for Incompressible Flame Discontinuities

A boundary condition capturing method for multiphase incompressible flow

A bovine papillomavirus-1 based vector restores the function of the low-density lipoprotein receptor in the receptor-deficient CHO-ldlA7 cell line

A box model study on photochemical interactions between VOCs and reactive halogen species in the marine boundary layer

A brain microdialysis study on 5-HT release in freely moving rat lines selectively bred for differential 5-HT1A receptor function

A branch & cut algorithm for the asymmetric traveling salesman problem with precedence constraints

A branch and bound method for stochastic global optimization

A Branch-and-Cut Algorithm for the Undirected Selective Traveling Salesman Problem

A branch-and-cut method for the obnoxious p-median problem

A Breeding Program for Balanced Improvement of Performance and Health in Broilers

A bridge between modal logics and contextual reasoning

A brief history of generative models for power law and lognormal distributions

A Brief History of Human Computer Interaction Technology

A Brief History of Natural Deduction

A Brief Illustrated Guide to Understanding Islam - Miracles of the Holy Quran

A brief overview of ATM: Protocol layers, LAN emulation and traffic management

A broadband cavity ringdown spectrometer for in-situ measurements of atmospheric trace gases

A broader class of trees for recursive type definitions for HOL

A browsable format for proof presentation

A buffer-Based Baseband Analog Front End for CMOS Bluetooth Receivers

A Building Block Approach to Intrusion Detection

A buyer's guide to conic fitting

A C Compiler for a Processor with a Reconfigurable Functional Unit

A C++ data model supporting reachability analysis and dead code detection

A c++ implementation of clp

A C++ instance of TeD

A C-13 NMR study of the interactions of (AgCN)-C-13 and Ag(CN)(2)(-) with thiomalic acid, L-methionine and DL-selenomethionine

A Cache Filtering Optimisation for Queries to Massive Datasets on Tertiary Storage

A cache line fill circuit for a micropipelined, asynchronous microprocessor

A Cache Technique for Synchronization Variables in Highly Parallel, Shared Memory Systems. Ultracomputer Note 141

A cached WORM file system

A Caching Relay for the World Wide Web

A calcineurin inhibitory protein overexpressed in Down's syndrome interacts with the product of a ubiquitously expressed transcript

A calculational theory of pers as types

A calculus for access control in distributed systems

A Calculus for Concurrent Objects

A Calculus for Cryptographic Protocols The Spi Calculus

A calculus for dynamic loading

A Calculus for Overloaded Functions with Subtyping

A calculus for security bootstrapping in distributed systems

A calculus of broadcasting systems

A calculus of mobile processes, parts

A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems

A calculus of transition systems (towards universal coalgebra

A calculus of value broadcasts

A calculus with polymorphic and polyvariant flow types

A call for knowledge-based planning

A Call Model for Multipoint Communication in Switched Networks

A Call-by-Need Strategy for Higher-Order Functional-Logic Programming

A callgraph-based search strategy for automated performance diagnosis

A CAMAC DISPLAY MODULE FOR FAST BIT-MAPPED GRAPHICS

A Candida albicans early stage biofilm detachment event in rich medium

A candidate DNA vaccine elicits HCV specific humoral and cellular immune responses.

A candidate set based analysis of subgoal interactions in conjunctive goal planning

A Canonic Framework for Sequences of Images: The Uncalibrated Case

A canonical framework for sequences of images

A canonical FtsZ protein in Verrucomicrobium spinosum, a member of the Bacterial phylum Verrucomicrobia that also includes tubulin-producing Prosthecobacter species

A canonical model of the region connection calculus

A Cartesian grid approach with hierarchical refinement for compressible flows

A Cartesian grid projection method for the incompressible Euler equations in complex geometries

A cascade image transform for speaker independent automatic speechreading

A cascadic geometric filtering approach to subdivision

A case against epipolar geometry

A Case Control Study of Lung Cancer Among Workers in Dagang Oil Field, Tianjin, China

A case for buffer servers

A case for dynamic sets in operating systems

A case for efficient solution enumeration

A Case for End System Multicast

A case for fluid replication

A case for grid computing on virtual machines

A case for intelligent RAM: IRAM

A case for language-based protection

A Case for make

A Case for Nano-Kernels

A Case for Relative Differentiated Services and the Proportional Differentiation Model

A case for source-level transformations in MATLAB

A case for statically executable advice: checking the law of demeter with aspectJ

A case of acute diarrhea due to the emerging pathogen Campylobacter jejuni subsp. doylei in Southern Chile

A case of chronic osteomyelitis due to arcanobacterium hemolyticum

A case of collapsing glomerulopathy associated with febrile illness

A case of elbow hyperextension leading to complete brachial artery rupture

A case of human thelaziasis from Himachal Pradesh

A case of injection abscess due to salmonella typhi

A case of invasive aspergillosis in CGD patient successfully treated with Amphotericin B and INF-γ

A case of leptospirosis simulating colon cancer with liver metastases.

A Case of Mayer-Rokitansky-Kuster-Hayser Syndrome with Absence of the Right Thumb

A Case of Ovarian Actinomycosis

A case of poly-parasitism involving a trematode and four different nematodes in a migrant from Bihar

A case of prenatal diagnosis of fetal hydantoin syndrome by ultrasound

A Case of Progressive Tubulo-Interstitial Nephritis due to Culture-negative Renal Tuberculosis

A case of tuberculous pericardial effusion

A case report of a new pulmonary embolism occurring in a patient receiving continuous infusion of recombinant activated protein C

A case report of relapsing fever

A case report on a patient suffering from recurrent vomiting episodes, whose condition improved markedly during pregnancy and breast feeding

A case repot of Merkel cell carcinoma on chronic lymphocytic leukemia: differential diagnosis of coexisting lymphadenopathy and indications for early aggressive treatment

A Case Study in Applying a Product Line Approach for Car Periphery Supervision Systems

A case study in explanation and implication

A case study in machine learning

A case study in reasoning about actions and continuous change

A Case Study in Using Linguistic Phrases for Text Categorization on the WWW

A case study in using preference logic grammars for knowledge representation

A case study of disseminated histoplasmosis linked to common variable immunodeficiency

A case study of file system workload in a large-scale distributed environment

A Case Study of OSPF Behavior in a Large Enterprise Network

A case study of partially evaluated hardware circuits: Key-specific DES

A case study of pyro-convection using transport model and remote sensing data

A Case Study of Stochastic Optimization in Health Policy: Problem Formulation and Preliminary Results

A case study of the evolution of modularity: towards a bridge between evolutionary biology, artificial life, neuro- and cognitive science

A case study of verification, validation, and accreditation for advanced distributed simulation

A Case Study on Modeling Shared Memory Access Effects during Performance Analysis of HW/SW Systems

A Case Study on Structural Characteristics of Object-Oriented Design and its Stability

A case study on the formation and evolution of ice supersaturation in the vicinity of a warm conveyor belt's outflow region

A case study on using automata in control synthesis

A Case-Based Reasoning Approach for Associative Query Answering

A CASL Formal Definition of UML Active Classes and Associated State Machines

A categorical account of two-level languages

A categorical analysis of multi-level languages (extended abstract

A categorical manifesto

A categorical model for higher order imperative programming

A categorization of classes based on the visualization of their internal structure: the class blueprint

A categorization of multiscale-decomposition-based image fusion schemes with a performance study for a digital camera application

A category based approach for recognition of out-of-vocabulary words

A category theory approach to cognitive development

A category-based equational logic semantics to constraint programming

A category-theoretic account of program modules

A Causal Semantics for Contextual P/T nets

A causal theory of ramifications and qualifications

A cautionary note regarding evaluation of AES candidates on smart-cards

A CBR Knowledge Representation for Practical Ethics

A CCG approach to free word order languages

A CDM-based computational model for the Timoshenko beam

A cell behavior screen: identification, sorting, and enrichment of cells based on motility

A census of membrane-bound and intracellular signal transduction proteins in bacteria: Bacterial IQ, extroverts and introverts

A Certification Scheme for Electronic Commerce

A certifying compiler for Java

A CFD model for pollutant dispersion in rivers

A channel model for a watermark attack

A chaotic view of behavior change: a quantum leap for health promotion

A characterisation of the matroids representable over GF (3) and the rationals

A characterization framework for software deployment technologies

A Characterization of GSAT's Performance on a Class of Hard Structured Problems

A characterization of inherent stereo ambiguities

A characterization of integral input to state stability

A characterization of lambda definability in categorical models of implicit polymorphism

A characterization of Markov equivalence classes for acyclic digraphs

A characterization of multi-party interactive multimedia applications

A characterization of processor performance in the VAX-11/780

A characterization of the dirichlet distribution through global and local parameter independence. The Annals of Statistics

A characterization of the sets of hypertrees generated by hyperedge-replacement graph grammars

A CHARGE SIMULATION-BASED METHOD FOR CALCULATING CORONA LOSS ON AC POWER TRANSMISSION-LINES

A charging model for sessions on the Internet

A Check List of Angiosperm Flora of Farasan Islands, Kingdom of Saudi Arabia

A Check List of Weeds in Al-kharj Area of Saudi Arabia

A checkpoint protocol for an entry consistent shared memory system

A chemical assessment of freshness in stored adductor muscle from scallops

A chemical probe technique for the determination of reactive halogen species in aqueous solution: Part 1 – bromide solutions

A chemical probe technique for the determination of reactive halogen species in aqueous solution: Part 2 – chloride solutions and mixed bromide/chloride solutions

A chemical reaction engineering laboratory experiment: Isothermal laminar-flow reactor

A chemically defined medium for production of actinomycin D by Streptomyces parvulus

A chemistry-transport model simulation of middle atmospheric ozone from 1980 to 2019 using coupled chemistry GCM winds and temperatures

A Chemoattractant Role for NT-3 in Proprioceptive Axon Guidance

A Chemoenzymatic Synthesis of the Sex Pheromone of Lasioderma serricorne F.

A chernoff bound for random walks on expander graphs

A Chip-Level BSOR-based linear GSIC multiuser Detector for Long-Code CDMA Systems

A chip-level BSOR-based linear GSIC multiuser detector for long-code CDMA systems

A Chip-Multiprocessor Architecture with Speculative Multithreading

A Chosen Ciphertext Attack against Several E-Mail Encryption Protocols

A Chosen Text Attack on the RSA Cryptosystem and Some Discrete Logarithm Schemes

A chromatographic method for the production of a human immunoglobulin G solution for intravenous use

A Chromosomal Memory Triggered by Xist Regulates Histone Methylation in X Inactivation

A Circuit Level Implementation of an Adaptive Issue Queue for Power-Aware Microprocessors

A circumscriptive calculus of events

A clade uniting the green algae Mesostigma viride and Chlorokybus atmophyticus represents the deepest branch of the Streptophyta in chloroplast genome-based phylogenies

A class frequency mixture model that adjusts for site-specific amino acid frequencies and improves inference of protein phylogeny

A class hierarchy for building stream-oriented file systems

A Class Library Approach to Concurrent Object-Oriented Programming with Applications to VLSI CAD

A class of end-to-end congestion control algorithms for the Internet

A Class of Flexible and Efficient Key Management Protocols

A class of iterative methods for solving saddle point problems

A class of linear algorithms to process sets of segments

A Class of PEPA Models Exhibiting Product Form Solution over Submodels

A class of Prolog programs with non-linear outputs inferable from positive data

A class-based clustering static compaction technique for combinational circuits

A class-based probabilistic approach to structural disambiguation

A classical automata approach to noninterference type problems

A classification and comparison framework for software architecture description languages

A classification of cranio facio cervical (branchial) clefts (Bangalore classification)

A classification of security properties for process algebras

A classification of symbolic transition systems

A classification of update methods for replicated databases

A Classification Theory of Semantics of Normal Logic Programs

A client-server approach to virtually synchronous group multicast: Specifications and algorithms

A client-server oriented algorithm for virtually synchronous group membership in WANs

A client-server system for multi-user virtual environments

A climatological study of rural surface ozone in central Greece

A clinical study of vulval lichen sclerosus at a tertiary care hospital in South India

A clinicopathologic study of mantle cell lymphoma in a single center study in India

A Clinicopathological Study of Lupus Nephritis in Children

A clinicopathological study of malignant melanoma with special reference to atypical presentation

A closed form evaluation for Datalog queries with integer (gap)-order constraints

A closed form solution for temperature rise inside solid substrate due to time exponentially varying pulse

A Closed-Form Evaluation for Extended Timed Automata

A closed-form solution for mapping general distributions to minimal PH distributions

A closed-form solution to the ramification problem (sometimes

A clp framework for computing structural test data

A CLP View of Logic Programming

A cluster of Candida krusei infections in a haematological unit

A cluster of genes located in 1p36 are down-regulated in neuroblastomas with poor prognosis, but not due to CpG island methylation

A cluster-based approach for routing in dynamic networks

A cluster-based statistical model for object detection

A Cluster-based, Scalable Edge Router Architecture

A clustered approach to multithreaded processors

A clustering algorithm based on graph connectivity

A clustering algorithm for radiance calculation in general environments

A Clustering Algorithm for Radiosity in Complex Environments

A Clustering Scheme for Hierarchical Control in Wireless Networks

A clustering scheme for hierarchical routing in wireless networks

A clustering-based optimization algorithm in zero-skew routings

A CMOS Analog Cell and its applications in analog signal processing

A CMOS bandpass filter for low-IF bluetooth receivers

A CMOS CELL FOR PARALLELLY LOADABLE COUNTERS

A CMOS channel-select tunable filter for 3G wireless receivers

A CMOS digitally programmable filter technique for VLSI applications

A CMOS Fully balanced differential difference amplifier and its applications

A CMOS fully balanced four-terminal floating nullor

A CMOS fully balanced second-generation current conveyor

A CMOS highly linear channel select filter for 3G muli-standard integrated wireless receivers

A CMOS highly linear channel select filter for 3G multi-standard integrated wireless receivers

A CMOS low power buffer based bandpass IF filter for Bluetooth

A Coarse-Grain Parallel Formulation of Multilevel k-way Graph Partitioning Algorithm

A Co-culture System for Expansion of Nonenriched Cord Blood Stem/Progenitor Cells

A coding theorem for distributed computation

A coevolutionary approach to learning sequential decision rules

A cognitive analysis of information retrieval

A cognitive assessment of topological spatial relations: results from an empirical investigation

A cognitive model of decision making: Chunking and the radar task

A cognitive model of sentence interpretation: The construction grammar approach

A cognitively plausible approach to understanding complex syntax

A cohort study to evaluate persistence of hepatitis B immunogenicity after administration of hexavalent vaccines

A co-induction principle for recursively defined domains

A coinductive calculus of component connectors

A co-inference approach to robust visual tracking

A collaborative approach to in-place sensor calibration

A collaborative assistant for email

A Collaborative Courseware Generating System based on WebDAV

A collaborative environment for authoring large knowledge bases

A Collaborative Investigation of Program-Analysis-Based Testing and Maintenance

A collaborative planning approach to discourse understanding

A collection of benchmark examples for the numerical solution of algebraic Riccati equations I: Continuous-time case

A combinatorial algorithm for the determinant

A Combinatorial Analysis of Enumerative Data Structures for Assembly Planning

A combinatorial approach to planar non-colliding robot arm motion planning

A combinatorial auction with multiple winners for universal services

A combinatorial characterization of the distributed 1-solvable tasks

A combinatorial consistency lemma with application to proving the PCP theorem

A combinatorial optimization approach for diverse motif finding applications

A combinatorial theorem on systems of sets

A combinatorial treatment of balancing networks

A Combinatorial, Strongly Polynomial-Time Algorithm for Minimizing Submodular Functions

A combinatory algebra for sequential functionals of finite type

A combined algorithm based on finite elements and a modified method of characteristics for the analysis of the corona in wire-duct electrostatic precipitators

A combined algorithm based on finite elements and a modified methodof characteristics for the analysis of the corona in wire-ductelectrostatic precipitators

A combined audio-visual contribution to event detection in field sports broadcast video

A combined BIT and TIMESTAMP algorithm for the list update problem

A combined computational-experimental analyses of selected metabolic enzymes in Pseudomonas species

A combined eigenvector tabu search approach for circuit partitioning

A combined genetic adaptive search (GeneAS) for engineering design

A combined in vitro / in vivo selection for polymerases with novel promoter specificities

A combined IR/NLP approach to question answering against large text collections

A combined unifrontal/multifrontal method for unsymmetric sparse matrices

A combining mechanism for parallel computers

A comment on the "basic security theorem

A commercial line probe assay for the rapid detection of rifampicin resistance in Mycobacterium tuberculosis: a systematic review and meta-analysis

A common approach to test generation and hardware verification based on temporal logic

A Common Approach to the Synthesis of Monocyclofarnesyl Sesquiterpenes

A common data management infrastructure for adaptive algorithms for PDE solutions

A Common Framework for Syntactic Annotation

A common intrusion detection framework

A common knowledge representation for plan generation and reactive execution

A common lisp hypermedia server

A common origin of complex life cycles in parasitic flatworms: evidence from the complete mitochondrial genome of Microcotyle sebastis (Monogenea: Platyhelminthes)

A common polymorphism in the oxygen-dependent degradation (ODD) domain of hypoxia inducible factor-1α (HIF-1α) does not impair Pro-564 hydroxylation

A common theory of information fusion from multiple text sources, step one: Cross-document structure

A communication scheme for the distributed execution of while loops

A communication-induced checkpointing protocol that ensures rollback-dependency trackability

A Community Authorization Service for Group Collaboration

A commutating decision feedback equalizer (CDFE) for digital mobile radios

A compact 90 degrees three-branch beam splitter based on resonant coupling

A compact 90/spl deg/ three-branch beam splitter based on resonant coupling

A COMPACT ALGORITHM FOR THE STEADY-STATE SECURITY ASSESSMENT OF POWER-SYSTEMS

A compact model for speaker-adaptive training

A compact phage display human scFv library for selection of antibodies to a wide variety of antigens

A compact piecewise-linear Voronoi diagram for convex sites in the plane

A Comparative Analysis of Design Rationale Representations

A Comparative Analysis of Key Parameters of the Species of Subgenus Phlebotomus (Diptera, Psychodidae) from Balochistan, Pakistan

A Comparative Analysis of Key Parameters of the Species of the Subgenus Paraphlebotomus (Diptera, Psychodidae)

A Comparative Analysis of Methodologies for Database Schema Integration

A comparative analysis of methods for pruning decision trees

A comparative analysis of partial order planning and task reduction planning

A comparative analysis of preprocessing techniques of cardiac event series for the study of heart rhythm variability using simulated signals

A comparative analysis of reinforcement learning methods

A comparative analysis of selection schemes used in genetic algorithms

A Comparative Analysis on Physico-chemical Characteristics of Oil Extracted from Six Different Parts of Hilsa fish (Hilsa ilisha)

A Comparative Analysis on Physico-chemical Characteristics of Oil Extracted from Six Different Parts of Hilsa fish (Hilsa ilisha)

A Comparative Analysis on the Purification and Characterization of Amylase from the Flesh of Healthy and Disease-affected Moringa Fruit (Moringa oleifera Lam)

A Comparative Assessment of Hydroponically Grown Cereal Crops for the Purification of Aquaculture Wastewater and the Production of Fish Feed

A Comparative Assessment of the Characteristics of Saturated Wetland Soil and a Well Drained Forest Soil

A Comparative Evaluation of Active Appearance Model Algorithms

A Comparative Evaluation of Active Relational Databases

A Comparative Evaluation of Combiner and Stacked Generalization

A comparative evaluation of parallel garbage collectors

A Comparative Evaluation of Techniques for Studying Parallel System Performance

A comparative genomics study of genetic products potentially encoding ladderane lipid biosynthesis

A comparative LFER study of the reactivity of pyridineacetic, pyridineacetic acids N-oxide and substituted phenylacetic acids with diazodiphenylmethane in various alcohols

A comparative map viewer integrating genetic maps for Brassica and Arabidopsis

A Comparative Performance and Complexity Study of Short- Length LDPC and Turbo Product Codes

A Comparative Performance and Complexity Study of Short-Length LDPC and Turbo Product Codes

A Comparative Performance Evaluation of Write Barrier Implementations

A Comparative Study Between Hybrid and Inbred Rice in Relation to Their Yield and Quality

A comparative study between the efficacy of systemic meglumine antimoniate therapy with standard or low dose plus oral omiprazole in the treatment of cutaneous leishmaniasis

A comparative study for the detection of mycobacteria by bactec MGIT 960, lowenstein jensen media and direct AFB smear examination

A comparative study of a theoretical neural net model with MEG data from epileptic patients and normal individuals

A comparative study of aging of the elastic fiber system of the diaphragm and the rectus abdominis muscles in rats

A Comparative Study of Algal Communities on Cultivated and Uncultivated Soils

A Comparative Study of Alternative Middle Tier Caching Solutions to Support Dynamic Web Content Acceleration

A comparative study of automatic vectorizing compilers

A Comparative Study of Axillary Shoot Proliferation from the Nodal Explants of Three Varieties Pummelo (Citrus grandis [L.] Osb.)

A Comparative Study of Axillary Shoot Proliferation from the Nodal Explants of Three Varieties Pummelo (Citrus grandis [L.] Osb.)

A COMPARATIVE STUDY OF BACTERIOSTATIC ACTIVITY OF SYNTHETIC HYDROXYLATED FLAVONOIDS

A comparative study of cervical smears in an urban Hospital in India and a population-based screening program in Mauritius

A Comparative Study of Chromosome Morphology among Some Genotypes of Cicer arietinum L.

A comparative study of coarse- and fine-grained safe regression test selection

A comparative study of cost-sensitive boosting algorithms

A Comparative Study of Distributed Shared Memory Systems

A comparative study of electrochemical and optical properties of rhenium deposited on gold and platinum

A comparative study of five parallel programming languages

A comparative study of food habits and body shape perception of university students in Japan and Korea

A Comparative Study of Inhibitory Effect of Human Calprotectin on the Growth of Human Gingival Fibroblast and Foreskin Fibroblast

A Comparative Study of Iranian Consumers’ Versus Extension Experts’ Attitudes towards Agricultural Organic Products (AOP)

A comparative study of knowledge-based approaches for cross-language information retrieval

A Comparative Study of Leaf Color Chart Based and Farmer`s Practice of Nitrogen Fertilizer Application on Rice under On-farm Conditions of Bangladesh

A Comparative Study of Least Squares Method and Least Absolute Deviation Method for Parameters Estimation in Length-weight Relationship for White Grouper (Ephinephelus aeneus)

A Comparative Study of Linear Feature Transformation Techniques for Automatic Speech Recognition

A Comparative Study of Lung Masses with 99mTechnetium Sestamibi and Pathology Results

A Comparative Study of Morphology Between F1 Hybrid Magur (Clarias) and their Parents

A Comparative Study of Performance of AES Final Candidates Using FPGAs

A Comparative Study of Productive and Reproductive Performance and Estimates of Heritability for Economic Traits in Different Genetic Groups of Cattle Available at Baghabarighat Milk Pocket Area of Bangladesh

A comparative study of protein synthesis in in vitro systems: from the prokaryotic reconstituted to the eukaryotic extract-based

A comparative study of real workload traces and synthetic workload models for parallel job scheduling

A comparative study of regression test selection techniques

A Comparative Study of Several Color Models for Color Image Invariant Retrieval

A comparative study of soluble invertases during germination and growth of four cultivars of mung bean (Vigna radiata)

A comparative study of spliced optical fibers

A comparative study of static and profile-based heuristics for inlining

A Comparative Study of the Biomass of Animals and Seaweeds of the Rocky Shore of Buleji Near Karachi, Pakistan

A Comparative Study of the Distribution Pattern of Sugar Residues in the Skin of Lacerta hispanica L. and Tarentola mauritanica L.

A comparative study of the efficacy of topical negative pressure moist dressings and conventional moist dressings in chronic wounds

A Comparative Study of the Parasitic Helminth Fauna of Gymnarchus niloticus (Gymnarchidae) and Heterotis niloticus (Osteoglossidae) from Lekki Lagoon, Lagos, Nigeria

A comparative study of three LS-Based power system state estimators for bad data identification

A Comparative Study Of Three LS-Based Power System State Estimators for Bad Data Identification

A comparative study of two Boolean formulations of FPGA Detailed routing constraints

A Comparative Study of Two Generic Resource Allocation Models

A comparative study on feature selection in text categorization

A Comparative Study on Growth Rates of Mussels, Mytilus galloprovincialis Lamarck, 1819 and Modiolus barbatus Linnaeus, 1758, in Dardanelles

A Comparative Study on Nutritional and Technological Quality of Fourteen (14) Cultivars of Pearl Millets [Pennisetum glaucum (L) Leeke] in Burkina Faso

A Comparative Study on Productive and Reproductive Performance of Different Crossbred and Indigenous Dairy Cows under Small Scale Dairy Farm Conditions

A comparative study on reordering constraints in statistical machine translation

A Comparative Study on the Chemical and Amino Acid Composition of Some Nigerian Under-Utilized Legume Flours

A Comparative Study on the Cholesterol Content of Products Fractionated from Egg Yolk of Some Birds

A Comparative Study on the Effects of Excessive Consumption of Ginger, Clove, Red Pepper and Black Pepper on the Histology of the Kidney

A Comparative Study on the Performance of Crossbred and Indigenous (Zebu) Cows Under the Small Holder Dairy Farming Condition in Gaibandha District

A Comparative Study on the Performance of Crossbred and Indigenous (Zebu) Cows Under the Small Holder Dairy Farming Condition in Gaibandha District

A Comparative Study on the Quality of Rasogolla Made in Laboratory and Collected from Local Markets of Mymensingh, Bangladesh

A comparative study on the sterol composition of some brown algae from the Black Sea

A comparative ultrastructural and molecular biological study on Chlamydia psittaci infection in alpha-1 antitrypsin deficiency and non-alpha-1 antitrypsin deficiency emphysema versus lung tissue of patients with hamartochondroma

A comparative utility analysis of case-based reasoning and control-rule learning systems

A Comparison Between Antibiotic-Resistant Mutants of Antagonistic Bacteria and Their Wild Types in Biological Control of Cotton Seedling Damping-Off Disease

A comparison between beta- and USY-zeolite-based hydrocracking catalysts

A comparison between cellular encoding and direct encoding for genetic neural networks

A Comparison Between Cerebrospinal Fluid Pretreatment Protocols Prior to Diagnosis of Herpes Simplex Encephalitis by PCR

A Comparison Between Cytological Method and PCR in the Diagnosis of HPV Infection Among Patients with Cervical Cancer

A COMPARISON BETWEEN SR-90 AND 2 TYPES OF CR-39 NUCLEAR TRACK DETECTORS

A comparison between supervised learning algorithms for word sense disambiguation

A comparison between two brine shrimp assays to detect in vitro cytotoxicity in marine natural products

A comparison of a posteriori error estimators for mixed finite element discretizations by raviart-thomas elements

A comparison of additivity axioms in timed transition systems

A comparison of algorithms for hypertext notes network linearization

A comparison of algorithms for maximum entropy parameter estimation

A Comparison of Bandwidth Smoothing Techniques for the Transmission of Prerecorded Compressed Video

A comparison of basic CPU scheduling algorithms for multiprocessor Unix

A Comparison of Buprenorphine and Methadone Treatment of Heroine Dependency

A comparison of CDMA, TDMA and Slotted ALOHA multiple access schemes in cellular mobile radio systems

A comparison of cecal colonization of Salmonella enterica serotype Typhimurium in white leghorn chicks and Salmonella-resistant mice

A comparison of compiler tiling algorithms

A comparison of concentration measurement techniques for the estimation of the apparent mass diffusion coefficient

A comparison of coordinated planning methods for cooperating rovers

A comparison of corpus-based techniques for restoring accents in Spanish and French text

A comparison of criteria for maximum entropy / minimum divergence feature selection

A comparison of crossover and mutation in genetic programming

A comparison of data-parallel algorithms for connected components

A Comparison of Design Strategies for 3D Human Motions, included in Human Comfort and Security of Information Systems

A comparison of dft and dwt based similarity search in time-series databases

A Comparison of Diagnostic Value of Anthropometric Indices with Laboratory Criteria for Malnutrition Detection in Chronic Undergoing Hemodialysis Patients

A Comparison of Different Anastomotic Techniques After Two Different Degrees of Tracheal Resection in the Dog

A Comparison of Different Anastomotic Techniques After Two Different Degrees of Tracheal Resection in the Dog

A Comparison of Different Methods of Estimating Sire Transmitting Ability of Some Milk Traits in a Herd of Holstein Friesian

A COMPARISON OF DIFFERENT MODELING APPROACHES FOR THE SIMULATION OF THE TRANSIENT AND STEADY-STATE BEHAVIOR OF CONTINUOUS EMULSION POLYMERIZATIONS IN PULSED TUBULAR REACTORS

A Comparison of Different Selection Indices for Genetic Improvement for Milk Traits in Holstein Friesian Cattle in Turkey by Using One Standard Deviation as Relative Economic Weight

A Comparison of Direct and Concentrated Flurochrome-Stained Smears for the Detection of Mycobacterium sp. in Clinical Respiratory Specimens

A comparison of direct versus self-report measures for assessing physical activity in adults: a systematic review

A comparison of dynamic branch predictors that use two levels of branch history

A comparison of efficacy and toxicity between electroporation and adenoviral gene transfer

A Comparison of End-to-End Congestion Control Algorithms: The Case of AIMD and AIPD

A COMPARISON OF ENERGY-CONSUMPTION AND COST-EFFECTIVENESS OF 4 MASONRY MATERIALS IN SAUDI-ARABIA

A comparison of entry consistency and lazy release consistency implementations

A Comparison of Equation-based and AIMD Congestion Control

A comparison of evaluation metrics for a broad-coverage stochastic parser

A comparison of event models for Naive Bayes text classification

A comparison of FFS disk allocation policies

A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle

A comparison of full and partial predicated execution support for ILP processors

A comparison of gabor filter methods for automatic detection of facial landmarks

A Comparison of Genetic Sequencing Operators

A comparison of hardware prefetching techniques for multimedia benchmarks

A comparison of hashing schemes for address lookup in computer networks

A comparison of head transducers and transfer for a limited domain translation application

A comparison of heuristics for scheduling DAGs on multiprocessors

A comparison of HOL and ALF formalizations of a categorical coherence theorema

A comparison of HOL-ST and Isabelle/ZF

A comparison of human and machine assessments of image similarity for the organization of image databases

A Comparison of Important Physical and Chemical Characteristics of Linum usitatissimum Sub. Species

A Comparison of Important Physical and Chemical Characteristics of Six Lallemantia iberica (Bieb.) Fisch. and Mey. Varieties

A Comparison of Induction Algorithms for Selective and Nonselective Bayesian Classifiers

A Comparison of Known Classes of Reliable Multicast Protocols

A comparison of languages which operationalize and formalize KADS models of expertise

A Comparison of Large-Scale Overlay Management Techniques

A comparison of locality transformations for irregular codes

A comparison of logic programming approaches for representation and solving of constraint satisfaction problems

A comparison of MAC protocols for wireless local networks based on battery power consumption

A comparison of mechanisms for improving TCP performance over wireless links

A Comparison of Multicast Trees and Algorithms

A comparison of multiprocessor scheduling heuristics

A comparison of new and old algorithms for a mixture estimation Problem

A comparison of new measurements of total monoterpene flux with improved measurements of speciated monoterpene flux

A comparison of oral omeprazole and intravenous cimetidine in reducing complications of duodenal peptic ulcer

A Comparison of OS Extension Technologies

A comparison of PCR detection of Meca with oxacillin disk susceptibility testing in different media and sceptor automated system for both Staphylococcus aureus and coagulase-negative staphylococci isolates

A comparison of performance evaluation process algebra and generalized stochastic Petri nets

A Comparison of Performance-enhancing Strategies for Parallel Numerical Object-Oriented Frameworks

A Comparison of Position Estimation Techniques Using Occupancy Grids

A Comparison of Profitability and Economic Efficiencies Between Native and Culture-Breed Cattle Fattening Farms in Eastern Part of Turkey

A comparison of public and private obstructive sleep apnea clinics

A comparison of PVS and Isabelle/HOL

A comparison of Q-Learning and Classifier Systems

A comparison of reading paper and on-line documents

A comparison of real and simulated designs for vibratory parts feeding

A comparison of rule and exemplar-based learning systems

A comparison of scalable superscalar processors

A comparison of selection schemes used in evolutionary algorithms

A comparison of sender-initiated and receiver-initiated reliable multicast protocols

A comparison of sequential Delaunay triangulation algorithms

A Comparison of Serum Omega - 3 Fatty Acid Concentrations Between Patients with Coronary Heart Disease and Healthy Subjects

A comparison of simulated annealing algorithms in the scheduling of multiproduct serial batch plants

A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems

A Comparison of Social Problem Solving in Patients with OCD, PTSD, PD and Non-Patient Controls: To Control of the Intolerance of Uncertainty

A comparison of some domain decomposition and ILU preconditioned iterative methods for nonsymmetric elliptic problems

A Comparison of Some Physical and Chemical Soil Quality Indicators Influenced by Different Crop Species

A Comparison of Spot Urine Protein-Creatinine Ratio With 24-hour Urine Protein Excretion in Women With Preeclampsia

A comparison of static analysis and evolutionary testing for the verification of timing constraints

A comparison of statistical and machine learning algorithms on the task of link completion

A comparison of stiff ODE solvers for atmospheric chemistry problems. Atmospheric Environment

A comparison of string distance metrics for name-matching tasks

A comparison of structural CSP decomposition methods

A Comparison of TCP Performance over Three Routing Protocols for Mobile Ad Hoc Networks

A comparison of techniques to find mirrored hosts on the WWW

A comparison of tetrahedral mesh improvement techniques

A Comparison Of The Effect Of NaCl On The Cell Doubling Time Of The Root Apical Meristem In Triticum aestivum (cvs. Lyallpur 73, Pak 81 and Lu-26-S)

A comparison of the hygienic response of Africanized and European (Apis mellifera carnica) honey bees to Varroa-infested brood in tropical Brazil

A comparison of the maximum likelihood estimators under ranked set sapling some of its modifications

A Comparison of the Nutrient and Antinutrient Composition of Industrially Processed Zimbabwean Jatropha curcas and Glycine max Meals

A comparison of the static and the disjunctive well-founded semantics and its implementation

A comparison of three insectinspired locomotion controllers

A comparison of time conditioned and word conditioned search techniques for large vocabulary speech recognition

A comparison of trace-sampling techniques for multi-megabyte caches

A Comparison of Two Approaches to Model-Based Knowledge Acqusition

A comparison of two distributed systems: Amoeba and sprite

A comparison of two learning algorithms for text categorization

A Comparison of Two Methods Used for Measuring Antagonistic Activity of Lactic Acid Bacteria

A comparison of two paradigms for distributed shared memory

A comparison of variation between a MHC pseudogene and microsatellite loci of the little greenbul (Andropadus virens)

A Comparison of Word- and Sense-based Text Categorization Using Several Classification Algorithms

A comparison of word graph and N-best list based confidence measures

A Comparison of Xylazine, Diazepam, Chlorpromazine and Promethazine in Relation to Certain Clinical and Hematological Parameters of Indigenous Sheep (Ovis aries)

A Comparison on Microbial Conditions Between Traditional Dairy Products Sold in Karak and Same Products Produced by Modern Dairies

A Comparison Study about Factors Responsible for Compliance of Medical Treatment among Complained and Non-Complained Tuberculosis Patients in Urmia/Iran

A Comparison Study on Antimicrobial Susceptibility of Campylobacter spp. Isolates from Faecal Samples of Domestic Animals and Poultry in India and Iran

A COMPARISON THEOREM FOR SELFADJOINT OPERATORS

A compendium of formal techniques for software maintenance

A Compendium of NP Optimization Problems

A competitive layer model for feature binding and sensory segmentation

A compilation and optimization model for aspect-oriented programs

A compilation approach for Fortran 90D/HPF compilers on distributed memory MIMD computers

A compilation framework for power and energy management on mobile computers

A compilation manager for standard ML of New Jersey

A compilation method for ML-style polymorphic record calculi

A Compiler Address Transformation for Conflict-Free Access of Memories and Networks

A compiler address transformation for conflict-free access ofmemories and networks

A compiler algorithm for optimizing locality in loop nests

A Compiler Approach to Scalable Concurrent Program Design

A Compiler for Application-Specific signal Processors

a compiler for the analysis of security protocols

A compiler framework for restructuring data declarations to enhance cache and TLB effectiveness

A compiler method for the parallel execution of of irregular reductions on scalable shared memory multiprocessors

A Compiler Transformation to Improve Memory Access Time in SIMD Systems

A compiler transformation to improve memory access time in SIMDsystems

A compiler-assisted approach to SPMD execution

A compiler-assisted data prefetch controller

A Compiler-Based Approach to Protocol Optimization

A Compiler-Directed Distributed Shared Memory System

A Complementary Pivoting Approach to the Maximum Weight Clique Problem

A complete and realistic implementation of quotations in ML

A complete axiom system for finite-state probabilistic processes

A Complete Axiomatisation for Trace Congruence of Finite State Behaviours

A complete axiomatization for branching bisimulation congruence of finite-state behaviours

A complete axiomatization for functional and multivalued dependencies in database relations

A complete axiomatization of timed bisimulation for a class of timed regular behaviours

A complete calculus for equational deduction in coalgebraic specification

A complete classification of curvature collineations of cylindrically symmetric static metrics

A complete classification of tractability in RCC-5

A complete equational axiomatization for MPA with string iteration, Research Report RS--95--28

A complete equational axiomatization for prefix iteration

A complete equational axiomatization for prefix iteration with silent steps

A COMPLETE INSPECTION PLAN FOR DEPENDENT MULTICHARACTERISTIC CRITICAL COMPONENTS

A COMPLETE INSPECTION PLAN FOR DEPENDENT MULTICHARACTERISTIC CRITICAL COMPONENTS

A complete mitochondrial genome sequence of Asian black bear Sichuan subspecies (Ursus thibetanus mupinensis)

A complete model of the Plasmodium falciparum bifunctional enzyme dihydrofolate reductase-thymidylate synthase: a model to design new antimalarials

A complete model of wet cooling towers with fouling in fills

A complete narrowing calculus for higher-order functional logic programming

A Complete Navigation System for Goal Acquisition in Unknown Environments

A complete promise problem for statistical zero-knowledge

A complete proof systems for QPTL

A complete transformational toolkit for compilers

A complete type inference system for subtyped recursive types

A completeness theorem for Kleene algebras and the algebra of regular events

A completion procedure for computing a canonical basis for a k-subalgebra

A complex and punctate distribution of three eukaryotic genes derived by lateral gene transfer

A complex pattern of chemokine receptor expression is seen in osteosarcoma

A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem

A component- and message-based architectural style for GUI software

A Component Based Services Architecture for Building Distributed Applications

A component calculus for modelling the Olan configuration language

A component-based framework for ontology evolution

A componentware development methodology based on process patterns

A Composable Reflective Communication Framework

A composite domain for freeness, sharing, and compoundness analysis of logic programs

A composition theorem for universal one-way hash functions

A Compositional Approach to Concurrent Object-Oriented Programming

A Compositional Approach to Statecharts Semantics

A compositional DRS-based formalism for NLP applications

A Compositional Petri Net Semantics for SDL

A Compositional Semantics for Conditional Term Rewriting Systems

A Compositional Theory of Constraint Hierarchies (Operational Semantics

A compound near-far end least square-fourth error minimization foradaptive echo cancellation

A comprehension-based model of correct performance and errors in skilled, display-based, human-computer interaction

A comprehensive analysis of 40 blind protein structure predictions

A comprehensive analysis of non-sequential alignments between all protein structures

A comprehensive characterisation of the fibre composition and properties of a limb (Flexor digitorum superficialis, membri thoraci) and a trunk (Psoas major) muscle in cattle

A comprehensive design and performance evaluation study of counter flow wet cooling towers

A comprehensive design and rating study of evaporative coolers and condensers. Part I. Performance evaluation

A comprehensive design and rating study of evaporative coolers and condensers. Part II. Sensitivity analysis

A comprehensive design and rating study of evaporative coolers and condensers. Part I. Performance evaluation

A comprehensive design and rating study of evaporative coolers and condensers. Part II. Sensitivity analysis

A comprehensive evaluation of water uptake on atmospherically relevant mineral surfaces: DRIFT spectroscopy, thermogravimetric analysis and aerosol growth measurements

A comprehensive functional analysis of tissue specificity of human gene expression

A comprehensive instruction fetch mechanism for a processor supporting speculative execution

A Comprehensive Study for the Laser Cleaning of Corrosion Layers due to Environmental Pollution for Metal Objects of Cultural Value: Preliminary Studies on Artificially Corroded Coupons

A comprehensive study of the complexity of multiparty interaction

A Comprehensive Study on Control Design of Autonomous Helicopter

A comprehensive update of the sequence and structure classification of kinases

A compressed video enhancement algorithm

A computational analysis of protein-protein interaction networks in neurodegenerative diseases

A computational analysis of the three isoforms of glutamate dehydrogenase reveals structural features of the isoform EC 1.4.1.4 supporting a key role in ammonium assimilation by plants

A computational approach for corner and vertex detection

A computational architecture for conversation

A computational framework for determining stereo correspondence from a set of linear spatial filters

A Computational Grammar of Discourse-Neutral Prosodic Phrasing in English

A computational interpretation of Dolev-Yao adversaries

A Computational Interpretation of Modal Proofs

A computational market model for distributed configuration design

A computational model for functional mapping of genes that regulate intra-cellular circadian rhythms

A computational model for metric spaces

A computational model for repeated pattern perception using frieze and wallpaper groups

A computational model for sound field absorption by acoustic arrays

A computational model for visual selection

A computational model of collaboration on referring expressions

A computational model of depth-based attention

A computational model of Driving for Autonomous Vehicles

A Computational Model of Prosody Perception

A Computational Model of Quantitative Chromatin Immunoprecipitation (ChIP) Analysis

A computational model of ratio decidendi

A computational model of teaching

A computational model of the semantics of tense and aspect

A COMPUTATIONAL SCHEME FOR H-INFINITY MODEL-REDUCTION

A computational steering model applied to problems in medicine

A computational study of a gradient-based log-barrier algorithm for a class of large-scale SDPs

A computational study of constraint satisfaction for multiple capacitated job shop scheduling

A computational theory of decision networks

A Computational Theory of Lexical Relatedness

A computational tool for directing Taxus spp. cell culture metabolism from growth to Taxol®, a diterpene alkaloid, production

A Computational Treatment of HPSG Lexical Rules as Covariation in Lexical Entries

A computational view of interior--point methods for linear programming

A computationally efficient method for large-scale concurrent mapping and localization

A computationally tractable terminological logic

A Computer Aided Design of a Secure Registration Protocol

A COMPUTER ALGORITHM FOR THE STATIC ANALYSIS OF CIRCULAR HELICOIDAL BARS

A computer program for process mean targeting

A computer proof of a series evaluation in terms of harmonic numbers

A COMPUTER-AIDED METHOD FOR DIGITAL CONTROLLER-DESIGN VIA OPTIMIZATION - COMMENTS

A computer-checked verification of Milner's Scheduler

A COMPUTERIZED FORECASTING SYSTEM FOR STUDENT ENROLLMENT IN KFUPM

A COMPUTERIZED SYSTEM FOR BEAM MEASUREMENTS AND CONTROL AT THE KFUPM 350 KV ION ACCELERATOR

A computerized system for beam measurements and control at the KFUPM 350 kV ion accelerator

A computing environment for spatial data analysis in the microelectronics industry

A concept language with role-forming predicate restrictions

A conceptual and practical overview of cDNA microarray technology: implications for basic and clinical sciences

A conceptual architecture for semantic web enabled web services

A Conceptual Basis for Feature Engineering

A conceptual foundation for autonomous learning in unforeseen situations

A Conceptual Framework for Evolving Information Systems

A conceptual framework for indexing visual information at multiple levels

A Conceptual Framework for Text Filtering

A conceptual graph model for w3c resource description framework

A Conceptual Model and Algebra for On-Line Analytical Processing in Decision Support Databases

A Conceptual Model for Dynamic Clustering in Object Databases

A conceptual model of wayfinding using multiple levels of abstraction

A Conceptual Model Specification Language (CMSL Version 2

A conceptual modeling approach for semantics-driven enterprise applications

A conceptual reasoning approach to textual ellipsis

A conceptual-modeling approach to extracting data from the web

A Concise Compositional Statecharts Semantics Definition

A concrete final coalgebra theorem for ZF set theory

A concrete pier: case history of failure and repair

A concurrency analysis tool suite: Rationale, design, and preliminary experience

A Concurrency Control Framework for Collaborative Systems

A Concurrent Abstract Interpreter

A concurrent and distributed extension of Scheme

A concurrent fast-fits memory manager

A concurrent logical framework I: Judgments and properties

A concurrent logical framework ii: Examples and applications

A Concurrent Object Calculus: Reduction and Typing

A concurrent window system

A condensed-mass advection based model for the simulation of liquid polar stratospheric clouds

A Configurable Membership Service

A Configurable Multimedia Middleware Platform

A Configurable System for the Construction of Adaptive Virtual Stores

A Configuration Approach to Parallel Programming

A configuration process for a distributed software development environment

A confluent calculus for concurrent constraint programming with guarded choice

A Confluent Rule Execution Model for Active Databases

A congestion sense network interface

A conjugate direction method for approximating the analytic center of a polytope

A conjunctive query language for description logic aboxes

A connection between extracellular matrix and hormonal signals during the development of the human fetal adrenal gland

A connectionist encoding of schemas and reactive plans

A connectionist parser with recursive sentence structure and lexical disambiguation

A connectionist technique for accelerated textual input: Letting a network do the typing

A connectionist treatment of negation and inconsistency

A connectivity analysis approach to increasing precision in retrieval from hyperlinked documents

A conscious mouse model of gastric ileus using clinically relevant endpoints

A consensus framework for integrating distributed clusterings under limited knowledge sharing

A Consensus Glossary of Temporal Database Concepts

A consequence of incorporating intentions in means-end planning. Working Notes ??? AAAI Spring Symposium Series: Foundations of Automatic Planning: The Classical Approach and Beyond

A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel

A conservative look at operational semantics with variable binding

A conservative look at term deduction systems with variable binding

A conserved acidic patch in the Myb domain is required for activation of an endogenous target gene and for chromatin binding

A conserved gene family encodes transmembrane proteins with fibronectin, immunoglobulin and leucine-rich repeat domains (FIGLER)

A conserved mechanism for sulfonucleotide reduction.

A consideration of the correct calculation of thermodynamic parameters of adsorption

A consideration on normal form of not-necessarily-normalized relation in the relational data model

A conspectus of mexican Melanthiaceae including a description of new taxa of schoenocaulon and Zigadenus

A constant factor approximation algorithm for a class of classification algorithms

A constant factor approximation for the single sink edge installation problems

A constant propagation algorithm for explicitly parallel programs

A constant-factor approximation algorithm for packet routing, and balancing local vs. global criteria

A constant-factor approximation algorithm for the k-median problem

A constant-factor approximation algorithm for the k-MST problem

A constraint oriented proof methodology based on modal transition systems

A Constraint Programming Library for Preemptive and Non-Preemptive Scheduling

A Constraint Satisfaction Approach to Makespan Scheduling

A constraint satisfaction framework for decision under uncertainty

A constraint-based approach for specification and verification of real-time systems

A constraint-based approach to narrow search trees for satisfiability

A constraint-based approach to planning with subassemblies

A Constraint-Based Approach to Preference Elicitation and Decision Making

A Constraint-Based Architecture for Local Search

A Constraint-Based Branch-and-Bound Algorithm for Preemptive Job-Shop Scheduling

A constraint-based method for project scheduling with time windows

A constraint-based model for cooperative response generation in information dialogues

A Constraint-based Partial Evaluator for Functional Logic Programs and its Application

A constraint-based presentation and generalization of rows

A constraint-based spatial extension to SQL

A construct with fluorescent indicators for conditional expression of miRNA

A construction of a cipher from a single pseudorandom permutation

A Constructive Approach to the Design of Distributed Systems

A constructive approach towards correctness of synthesis-application within retiming

A Constructive Development Environment for Parallel and Distributed Programs

A constructive formalization of the catch and throw mechanism

A content routing system for distributed information servers

A contention-free DOMINO logic for scaled-down CMOs

A CONTENTION-FREE DOMINO LOGIC FOR SCALED-DOWN CMOS TECHNOLOGIES WITH ULTRA LOW THRESHOLD VOLTAGES

A Context Sensitive Natural Language Modality for the Intelligent Room

A context/communication information agent

A Context-Based Framework for Mental Representation

A context-based, adaptive, lossless/nearly-lossless coding scheme for continuous-tone images

A context-dependent attention system for a social robot

A context-sensitive generalization of ICA

A continuous approach to inductive inference

A continuous fluorescent assay for the determination of plasma and tissue angiotensin I-converting enzyme activity

A Continuous Media Data Transport Service and Protocol for Real-time Communication in High Speed Networks

A continuum mathematical model of endothelial layer maintenance and senescence

A Continuum of Disk Scheduling Algorithms

A contour-based approach to multisensor image registration

A contract and balancing mechanism for sharing capacity in a communication network

A contrast sensitive silicon retina with reciprocal synapses

A contribution to the calculation of a safe deltoid split

A contribution to the chemical characterization of rivers in the Rio Negro Basin, Brazil

A Contribution to the Taxonomy of Four Taxa of Sanguisorba (Rosoideae-Rosaceae)

A Control and Management Network for Wireless ATM Systems

A control basis for multilegged walking

A control theoretic analysis of RED

A control theoretical model for quality of service adaptations

A Controlled Comparison of the Effect of a High Fiber Diet on the Glycaemic and Lipid Profile of Nigerian Clinic Patients with Type 2 Diabetes

A controlled experiment to assess the benefits of procedure argument type checking

A controlled experiment: Evolution for learning difficult image classification

A controlled trial of protein enrichment of meal replacements for weight reduction with retention of lean body mass

A Control-Theoretic Approach to Flow Control

A convenient allylsilane-N-acyliminium route toward indolizidine and quinolizidine alkaloids

A convenient catalyst system for microwave accelerated cross-coupling of a range of aryl boronic acids with aryl chlorides

A convenient preparation of novel benzophenone derivatives

A convenient synthesis of γ-functionalized cyclopentenones

A convergence analysis of the scaling-invariant primal-dual pathfollowing algorithms for second-order cone programming

A convolutional neural network hand tracker

A cooperative algorithm for stereo matching and occlusion detection

A Cooperative Approach to Support Software Deployment Using the Software Dock

A cooperative comprehension assistant for intranetbased information environments

A Cooperative File System

A Cooperative Immunization System for an Untrusting Internet

A cooperative packet recovery protocol for multicast video

A Co-operative Scenario-based Approach to the Acquisition and Validation of Systems Requirements

A Cooperative Transaction Model For Design Databases

A coordination architecture for spacecraft formation control

A coordination language for mixed task and data parallel programs

A coordination language for mobile components

A Coordination Model to Specify Systems including Mobile Agents

A CORBA Compliant Transactional Workflow System for Internet Applications

A core calculus for Java exceptions

A core calculus for Java exceptions (extended abstract

A core calculus of classes and objects

A core calculus of dependency

A core language for rewriting

A CORN STEM AS BIOMATERIAL FOR SACCHAROMYCES CEREVISIAE CELLS IMMOBILIZATION FOR THE ETHANOL PRODUCTION

A corpus study of evaluative and speculative language

A corpus-based approach for building semantic lexicons

A Corpus-based Approach to Automatic Compound Extraction

A Corpus-Based Approach to Semantic Interpretation

A corpus-based conceptual clustering method for verb frames and ontology acquisition

A corpus-based evaluation of centering and pronoun resolution

A corpus-based investigation of definite description use

A Corpus-based Probabilistic Grammar with Only Two Non-terminals

A corpus-based two-way design for parameterized mt systems: Rationale, architecture and training issues

A correction to the algorithm in Reiter's theory of diagnosis

A correctness model for pipelined microprocessors

A correspondence between continuation passing style and static single assignment form

A Correspondence between Martin-Lof Type Theory, the Rami Theory of Types and Pure Type Systems

A correspondence between variable relations and three-valued propositional logic

A correspondence theory for terminological logics: Preliminary report

A cost and speed model for k-ary n-cube wormhole routers

A cost effective development of an ultrasonic A-scans database for high-temperature hydrogen attack

A cost effective development of an ultrasonic A-scans database for high-temperature hydrogen attack

A Cost Model for Estimating the Performance of Spatial Joins Using R-Trees

A cost model for similarity queries in metric spaces

A cost-based framework for analysis of denial of service in networks

A Cost-Benefit Framework for Online Management of a Metacomputing System

A cost-effective melting temperature assay for the detection of single-nucleotide polymorphism in the MBL2 gene of HIV-1-infected children

A Cost-Effective Method for Providing Improved Data Availability During DBMS Restart Recovery After a Failure

A cost-effective method to map the top of shallow groundwater systems

A Co-Synthesis Approach to Embedded System Design Automation. Design Automation for Embedded Systems

A counterexample to theorems of Cox and Fine

A coupled multi-ALU processing node for a highly parallel computer

A course in universal algebra

A Courteous Compiler from Generalized Courteous Logic Programs To Ordinary Logic Programs (Preliminary Report

A CpG island hypermethylation profile of primary colorectal carcinomas and colon cancer cell lines

A CPU Scheduling Algorithm for Continuous Media Applications

A crash course in implementation theory

A Cre-lox approach for transient transgene expression in neural precursor cells and long-term tracking of their progeny in vitro and in vivo

A Criterion of Comparison between two Case-Bases

A critical appraisal of epidemiological studies comes from basic knowledge: a reader's guide to assess potential for biases

A critical evaluation of surgery for sleep disordered breathing

A critical examination of the Cohen-Levesque theory of intention

A critical investigation of recall and precision as measures of retrieval system performance

A critical look at critics in htn planning

A critical look at Knoblock???s hierarchy mechanism

A critical look at speech act theory

A critical period of progesterone withdrawal precedes menstruation in macaques

A critical point for random graphs with a given degree sequence

A critical reexamination of default logic, autoepistemic logic, and only knowing

A critical role for endocytosis in Wnt signaling

A cross sectional serological study of the co-infection of hepatitis b virus, hepatitis c virus and human immunodeficiency virus amongst a cohort of idus at Delhi

A cross-sectional study of awareness of physical activity: associations with personal, behavioral and psychosocial factors

A cryptic promoter in potato virus X vector interrupted plasmid construction

A cryptic promoter in the first exon of the SPG4 gene directs the synthesis of the 60-kDa spastin isoform

A cryptographic solution to a game theoretic problem

A Cryptographic Solution to Implement Access Control in a Hierarchy and More

A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol

A CSP Approach To Action Systems

A C-terminal hydrophobic region is required for homo-oligomerization of the hepatitis E virus capsid (ORF2) protein

A curious coincidence: mosquito biodiversity and the limits of the Japanese encephalitis virus in Australasia

A current conveyor-based relaxation oscillator as a versatile electronic interface for capacitive and resistive sensors

A current-mode circuit for analogue synthesis of some special functions

A current-mode current-controlled current-conveyor-based analogue multiplier/divider

A current-mode exponential-difference circuit

A Curriculum Vitae of Teeth: Evolution, Generation, Regeneration

A Curry-Howard isomorphism for compilation and program execution

A curve design method with shape control

A curve evolution approach to smoothing and segmentation using the mumford-shah functional

A curved multi-component aerosol hygroscopicity model framework: Part 1 – Inorganic compounds

A curved multi-component aerosol hygroscopicity model framework: Part 2 – Including organic compounds

A Customizable Coordination Service for Autonomous Agents

A customizable reflectance model for everyday rendering

A Customizable Substrate for Concurrent Languages

A cut-free sequent calculus for elementary situated reasoning

A cutting plane method from analytic centers for stochastic programming

A CVN-K-IC correlation for H13 tool steels

A Cyclic Distributed Garbage Collector for Network Objects

A cyclic low rank Smith method for large sparse Lyapunov equations

A Cys-capping motif unique to small leucine-rich repeat proteins and proteoglycans of the extracellular matrix

A cytochemical study of acid carbohydrates on the surface of Candida lipolytica grown in tween 80-containing medium

A cytological study of the O5 chromosomal inversion of Drosophila subobscura (Diptera, Drosophilidae)

A DAI architecture for coordinating multimedia applications

A data and task parallel image processing environment

A DATA BANK OF PARAMETERS FOR THE ATTRACTIVE COEFFICIENT OF THE PENG-ROBINSON EQUATION OF STATE

A data integration approach for cell cycle analysis oriented to model simulation in systems biology

A data layout optimization technique based on hyperplanes

A data locality optimizing algorithm

A Data Miner analyzing the Navigational Behaviour of Web Users

A Data Mining Framework for Building Intrusion Detection Models

A Data Mining Framework for Constructing Features and Models for Intrusion Detection Systems

A data model and data structures for moving objects databases

A Data Model for Supporting On-Line Analytical Processing

A data parallel algorithm for Boolean function manipulation

A data transformation system for biological data sources

A data warehouse conceptual data model for multidimensional aggregation

A Data Warehouse for Workflow Logs

A database and lexicon of scripts for ThoughtTreasure

A database approach to hierarchical image storage and recognition

A database cache for high performance and fast restart in database systems

A Database Evolution Approach for Object-Oriented Databases

A Database for Dynamic Distributed Content and its Application for Service and Resource Discovery

A Database Index to Large Biological Sequences

A database interface for mobile computers

A database of human segmented natural images and its application to evaluating segmentation algorithms and measuring ecological statistics

A data-centric design for n-tier architecture

A data-clustering algorithm on distributed memory multiprocessors

A dataflow approach to agent-based information management

A Dataflow Approach to Event-based Debugging

A data-flow graphical user interface for querying a scientific database

A dataflow processing element for neural network simulation

A Davis-Putnam program and its application to finite first-order model search: Quasigroup existence problems

A DBMS Architecture for Global Change Research

A Deadline and Budget Constrained Cost-Time Optimization Algorithm for Scheduling Task Farming Applications on Global Grids

A Dead-Reckoning Algorithm for Virtual Human Figures

A debugging scheme for functional logic programs

A Debugging Tool for Software Evolution

A Decade of Change: An Institutional Experience with Breast Surgery in 1995 and 2005

A DECADE OF DOBIS LIBIS AT THE KING-FAHD-UNIVERSITY-OF-PETROLEUM-AND-MINERALS-LIBRARY IN SAUDI-ARABIA

A decentralized approach to elementary formation maneuvers

A Decentralized Architecture for Group Key Management

A decentralized hierarchical cache-consistency scheme for shared-memory multiprocessors

A decentralized model for information flow control

A decentralized prefetching protocol for VBR video on demand

A decidable logic for describing linked data structures

A decidable temporal logic of parallelism

A decision algorithm for full propositional temporal logic

A decision method for nonmonotonic reasoning based on autoepistemic reasoning

A decision procedure for a class of set constraints

A decision procedure for a temporal belief logic

A decision procedure for an extensional theory of arrays

A decision procedure for term algebras with queues

A decision procedure for the subtype relation on intersection types with bounded variables

A Decision Support Method for the Selection of OMSs

A decision tree of bigrams is an accurate predictor of word sense

A Decision-support Model Based on Agro-environmental Data for the Economic Chemotherapy of Leaf Rust on Winter Wheat in Mississippi

A Decision-support Model Based on Agro-environmental Data for the Economic Chemotherapy of Leaf Rust on Winter Wheat in Mississippi

A decision-theoretic abductive basis for planning

A Decision-theoretic Approach for Pre-sending Information on the WWW

A decision-theoretic approach to coordinating multiagent interactions

A decision-theoretic approach to database selection in networked IR

A decision-theoretic approach to fuzzy behavior coordination

A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML

A Declarative Approach to Event-Handling in Visual Programming Languages

A Declarative Approach to Graph Based Modeling

A declarative approach to run-time code generation

A declarative formalization of knowledge translation

A declarative view of modes

A decline in transcript abundance for Heterodera glycines homologs of Caenorhabditis elegans uncoordinated genes accompanies its sedentary parasitic phase

A decoding algorithm for I-Q Space-Time coded systems in fading environments

A decoding algorithm for I-Q space-time coded systems in fadingenvironments

A decomposition approach for stochastic reward net models

A deconstruction of non-deterministic classical cut elimination

A deductive account of scope

A deductive and object-oriented approach to a complex scheduling problem

A deductive data model for query expansion

A deductive data model for representing and querying semistructured data

A Deductive Database Language Supporting Modules

A defect tolerance scheme for nanotechnology circuits

A defined medium to investigate sliding motility in a Bacillus subtilis flagella-less mutant

A deflation technique for linear systems of equations

A degree sequence problem related to network design

A Delaunay based numerical method for three dimensions: generation, formulation, and partition

A Delay Model and Speculative Architecture for Pipelined Routers

A delay-based approach for congestion avoidance in interconnected heterogeneous computer networks

A delay-line based motion detection chip

A delay-tolerant, potential field-based, network implementation of an integrated navigation system

A deliberative and reactive diagnosis agent based on logic programming

A Demeter/C++ Report

A demonstrated optical tracker with scalable work area for head-mounted display systems

A dengue receptor as possible genetic marker of vector competence in Aedes aegypti

A dependency-based method for evaluating broad-coverage parsers

A Dependently Typed Assembly Language

A dependently typed assembly language (extended abstract

A derandomization using min-wise independent permutations

A derandomized approach to self adaptation of evolution strategies

A Derived Pentaploid Hybrid from Solanum macrocarpon L. (Solanaceae) and its Induced Multiploid Mutant

A description language for syntactically annotated corpora

A description logic based schema for the classification of medical data

A description logic for vague knowledge

A description logic with concrete domains and a role-forming predicate operator

A description logic with transitive and inverse roles and role hierarchies

A description of ligand field effects in the Di-m-Azido-Bis [{Azido(N,N-Diethylethylenediamine)}Copper(II)] compound by the simple overlap model

A description of the CIDR system as used for TDT-2

A design and study of the effects of selectivity on binary separation in a four-zone simulated moving bed for systems with linear isotherms

A Design Concept for N-dimensional User Interfaces

A design method for AND-OR-EXOR three-level networks

A design method for look-up table type FPGA by pseudo-Kronecker expansion

A Design Methodology for Trust and Value Exchanges in Business Models

A Design of Topological Predicates for Complex Crisp and Fuzzy Regions

A Design Space Evaluation of Grid Processor Architectures

A design space for multimodal systems: concurrent processing and data fusion

A design study of alternative network topologies for the beowulf parallel workstation

A design to minimize congestion around the Ka'aba

A designer???s guide to KEMs

A detailed analysis of random polling dynamic load balancing

A Detection Algorithm for Distributed Cycles of Garbage

A determinant evaluation and some enumeration results for plane partitions

A deterministic algorithm for the cost-distance problem

A deterministic approximation algorithm for a minmax integer programming problem

A Deterministic Lazy Narrowing Calculus

A Deterministic Model for Parallel Program Performance Evaluation

A Deterministic Notation for Cooperating Processes

A deterministic Poly(log log n)-time n-processor algorithm for linear programming in fixed dimension

A deterministic view of random sampling and its use in geometry

A development environment for horizontal microcode

A development method for multiagent systems

A Development Platform for Multimedia Applications in a Distributed, ATM Network Environment

A developmental model for the evolution of complete autonomous agents

A Developmental Study of the Inflorescence and the Flower of Rapeseed (Brassica napus. cv. Hyola) Using Epi-Illumination Light Microscopy

A device and standard variables to describe microhabitat structure of small mammals based on plant cover

A Device for the Targeting Delivery of Particulate DNA Vaccines

A diagnostic approach to repairing constraint violations in databases

A diagrammatic tool for representing user interaction

A dialog control algorithm and its performance

A Dictionary Based Approach for Gene Annotation

A dierential approach to inference in bayesian networks

A Different Approach of Experimental Design: Taguchi Method

A Differential Approach to Graphical Interaction

A differential geometric approach to motion planning

A Digital Atlas to Characterize the Mouse Brain Transcriptome.

A digital clock re-timing circuit for on-chip source-synchronous serial links

A Digital Clock Re-Timing Circuit for On-Chip Source-Synchronous Serial Links

A digital fountain approach to reliable distribution of bulk data

A digital on-demand video service supporting content-based queries

A Digital Photography Framework Enabling Affective Awareness in Home Communication

A digital signature scheme secure against adaptive chosen-message attacks

A dilemma for fitness sharing with a scaling function

A direct adaptive method for faster backpropagation learning: The RPROP algorithm

A direct algorithm for type inference in the rank 2 fragment of the second-order lambda-calculus

A direct algorithm for type inference in the rank-2 fragment of the second-order ??-calculus

A Direct Combination of the Prim and Dijkstra Constructions for Improved Performance-Driven Global Routing

A direct contact between astrocyte and vitreous body is possible in the rabbit eye due to discontinuities in the basement membrane of the retinal inner limiting membrane

A direct method for stereo correspondence based on singular value decomposition

A DIRECT METHOD FOR THE CHARACTERIZATION AND COMPUTATION OF BIFURCATION POINTS WITH CORANK-2

A direct method to investigate the stability of flow in a narrow gap between two rotating cylinders

A direct proof for the completeness of SLD-resolution

A direct repeat of E-box-like elements is required for cell-autonomous circadian rhythm of clock genes

A direct symbolic approach to model checking pushdown systems

A Direct-Execution Framework for Fast and Accurate Simulation of Superscalar Processors

A Directory Service for Configuring High-Performance Distributed Computations

A discontinuous Galerkin finite element method for Hamilton-Jacobi equations

A discrepancy of Chlamydia trachomatis incidence and prevalence trends in Finland 1983–2003

A discrete harmonic potential field for optimum point-to-point routing on a weighted graph

A Discrete Harmonic Potential Field for Optimum Point-to-point Routing on a Weighted Graph

A discrete lagrangian-based global-search method for solving satisfiability problems

A Discussion Concerning the Inclusion of Variety Effect when Analysis of Variance is Used to Detect Differentially Expressed Genes

A discussion on the determination of atmospheric OH and its trends

A disk-packing algorithm for an origami magic trick

A displacement approach to efficient decoding of algebraic-geometric codes

A Distance Measure Between Collections of Distributions and Its Application to Speaker Recognition

A distance spectrum interpretation of turbo codes

A distributed 3d graphics library

A distributed abstract machine for safe ambients

A Distributed Algorithm for Delay-Constrained Unicast Routing

A distributed algorithm for managing multi-target identities in wireless ad-hoc sensor networks

A distributed algorithm to evaluate quantified boolean formulae

A distributed and optimal motion planning approach for multiple mobile robots

A distributed architecture for multiplayer interactive applications on the internet

A distributed calculus with local areas of communication

A distributed control scheme in multi-hop packet radio networks for voice/data traffic support

A Distributed Data-Balanced Dictionary Based on the B-link Tree

A distributed decentralised information storage and retrieval system

A Distributed Event Messaging System for Mobile Agent Communication

A distributed framework for relaying stereo vision for telerobotics

A Distributed Garbage Collector with Diffusion Tree Reorganisation and Object Mobility

A distributed implementation of the extended schematic protection model

A Distributed Implementation of the Shared Data-Object Model

A distributed interactive simulation intranet using RAMP, a reliable adaptive multicast protocol

A Distributed Internet Cache

A distributed K-mutual exclusion algorithm

A distributed Linda-like kernel for PVM

A Distributed Memory Grobner Basis Algorithm

A Distributed Memory LAPSE: Parallel Simulation of Message-Passing Programs

A distributed model and architecture for interactive cooperation

A distributed object calculus

A Distributed Object Model for the Java System

A distributed power control algorithm for bursty transmissions on cellular, spread spectrum wireless networks

A distributed problem solving approach to cooperative information gathering

A Distributed Programming System for Media Applications

A distributed protocol for multi-class QoS provision in noncooperative many-switch systems

A distributed reinforcement learning scheme for network routing

A distributed resource management architecture that supports advance reservations and co-allocation

A distributed secure system

A Distributed Single Address-Space Operating System Supporting Persistence

A distributed snapshot algorithm adapted for message delivery to mobile units

A distributed trust model

A Distributed, Replicated, Data-balanced Search Structure

A divergent asymmetric approach to aza-spiropyran derivative and (1S,8aR)-1-hydroxyindolizidine

A divisive information theoretic feature clustering algorithm for text classification

A divisive information-theoretic feature clustering algorithm for text classification

A DNA and morphology based phylogenetic framework of the ant genus Lasius with hypotheses for the evolution of social parasitism and fungiculture

A DNA element recognised by the molybdenum-responsive transcription factor ModE is conserved in Proteobacteria, green sulphur bacteria and Archaea

A DNA topoisomerase IB in Thaumarchaeota testifies for the presence of this enzyme in the last common ancestor of Archaea and Eucarya

A DNA vaccine against extracellular domains 1-3 of flk-1 and its immune preventive and therapeutic effects against H22 tumor cell in vivo.

A Document Manipulation System Based on Natural Semantics", Soumis `a Mathematical and Computer Modelling Journal

A Documentation Generator for (C)LP Systems

A Document-Based Framework for Internet Application Control

A Domain and Type Enforcement UNIX Prototype

A domain decomposition algorithm for elliptic problems in three dimensions

A domain decomposition method for Helmholtz scattering problems

A Domain Specific Language for Video Device Drivers: From Design to Implementation

A domain-independent algorithm for plan adaptation

A domain-specific language for regular sets of strings and trees

A domain-specific software architecture for adaptive intelligent systems

A dominant negative mutant of TLK1 causes chromosome missegregation and aneuploidy in normal breast epithelial cells

A dominant subset of V-shaped sequences for a class of single machine sequencing problems

A Dominated Coupling From The Past algorithm for the stochastic simulation of networks of biochemical reactions

A dominating-set-based routing scheme in ad hoc wireless networks

A dose verification method for high-dose-rate brachytherapy treatment plans

A dosimetric comparison of different treatment plans of palliative spinal bone irradiation: analysis of dose coverage with respect to ICRU 50 report

A dossier driven persistent objects facility

A double epidemic model for the SARS propagation

A doxycycline-inducible urokinase receptor (uPAR) upregulates uPAR activities including resistance to anoikis in human prostate cancer cell lines

A DP based search algorithm for statistical machine translation

A DP based Search Using Monotone Alignements in Statistical Translation

A DPLL-based calculus for ground satisfiability modulo theories

A Drosophila Pattern Recognition Receptor Contains a Peptidoglycan Docking Groove and Unusual L,D-Carboxypeptidase Activity

A DSC study of zinc binding to bovine serum albumin (BSA)

A DSP Implementation of Source Location Using Microphone Arrays

A DSP-BASED MICROCOMPUTER SYSTEM FOR ECHO MEASUREMENT IN TELEPHONE NETWORKS

A dual encryption protocol for scalable secure multicasting

A dual fluorescent multiprobe assay for prion protein genotyping in sheep

A dual method for the unit commitment problem

A duality model of TCP and queue management algorithms

A dual-space approach to tracking and sensor management in wireless sensor networks

A Duration Calculus with Infinite Intervals

A Dynamic Adaptation of AD-trees for Efficient Machine Learning on Large Data Sets

A Dynamic Approach to Location Management in Mobile Computing Systems

A dynamic approach to probabilistic inference using Bayesian networks

A dynamic approach to termination analysis for active database rules

A dynamic Bayesian network approach to figure tracking using learned dynamic models

A dynamic bayesian network approach to tracking using learned learned dynamic models

A Dynamic Bootstrap Mechanism for Rendezvous-based Multicast Routing

A Dynamic Connection Management Scheme for Guaranteed Performance Services in Packet-Switching Integrated Services Networks

A Dynamic Disk Spin-down Technique for Mobile Computing

A dynamic extent control operator for partial continuations

A dynamic finite element surface model for segmentation and tracking in multidimensional medical images with application to cardiac 4D image analysis

A Dynamic Hierarchy of Intelligent Agents for Network Management

A dynamic human model using hybrid 2d-3d representations in hierarchical pca space

A Dynamic Instruction Set Computer

A dynamic load balancing framework for unstructured adaptive computations on distributed-memory multiprocessors

A dynamic load balancing system for parallel cluster computing. Future Generation Computer Systems

A dynamic modelling approach to music recognition

A dynamic network architecture

A Dynamic Object Replication and Migration Protocol for an Internet Hosting Service

A dynamic paging scheme for wireless communication systems

A dynamic priority-based scheduling method in distributed systems

A dynamic programming algorithm for constructing optimal prefix-free codes for unequal letter costs

A dynamic programming algorithm for days-off scheduling with sequence dependent labor costs

A dynamic programming approach for consistency and propagation for knapsack constraints

A Dynamic Query Scheduling Framework for Distributed and Evolving Information Systems

A dynamic queue protocol for multiaccess wireless networks with multipacket reception

A Dynamic Reconfiguration Service for CORBA

A dynamic systems perspective on qualitative simulation

A dynamic voltage scaling algorithm for dynamic-priority hard real-time systems using slack time analysis

A face recognition method using higher order local autocorrelation and multivariate analysis

A facile synthesis and fungicidal activities of 2-(alkylamino)-5,6-dimethylthieno[2,3-d]pyrimidin-4(3H)-ones

A facile synthesis and the antimicrobial activity of some 4-aryltriazoles

A facile synthesis of 10-methoxy-4,8-dinitro-6H-benzothieno[2,3-c]chromen-6-one

A factor 2 approximation algorithm for the generalized Steiner network problem

A factorial-design cluster randomised controlled trial investigating the cost-effectiveness of a nutrition supplement and an exercise programme on pneumonia incidence, walking capacity and body mass index in older people living in Santiago, Chile: the CEN

A factorization approach to grouping

A factorization based algorithm for multi-image projective structure and motion

A factorization method for affine structure from line correspondences

A Fail-Aware Datagram Service

A fair and efficient solution to the socialist millionaires??? problem

A fair non-repudiation protocol

A false-name-proof double auction protocol for arbitrary evaluation values

A family history of breast cancer will not predict female early onset breast cancer in a population-based setting

A family of additive online algorithms for category ranking

A family of algorithms for finding temporal structure in data

A Family of Attacks upon Authentication Protocols

A Family of Design Patterns for Application-Level Gateways. Theory and Practice of Object Systems

A family of design patterns for flexibly configuring network services in distributed systems

A family of E. coli expression vectors for laboratory scale and high throughput soluble protein production

A family of GFP-like proteins with different spectral properties in lancelet Branchiostoma floridae

A FAMILY OF NORMALIZED LEAST MEAN FOURTH ALGORITHMS

A family of optimal packings in Grassmannian manifolds

A family of putative Kir potassium channels in prokaryotes

A famأ­lia Bombacaceae Kunth no Estado de Pernambuco, Brasil

A famأ­lia Lemnaceae Gray no Pantanal (Mato Grosso e Mato Grosso do Sul), Brasil

A fast adaptive layout algorithm for undirected graphs

A fast algorithm and system for inverse kinematics of general serial manipulators

A fast algorithm for finding the nearest neighbor of a word in a dictionary

A Fast Algorithm for Incremental Distance Calculation

A Fast Algorithm for Making Suffix Arrays and for Burrows-Wheeler Transformation

A Fast Algorithm for MDL-Based Multi-band Image Segmentation

A fast algorithm for multi-pattern searching

A fast algorithm for online placement and reorganization of replicated data

A fast algorithm for optimal alignment between similar ordered trees

A fast algorithm for optimal wire-sizing under elmore delay model

A fast algorithm for the computation and enumeration of perfect phylogenies

A Fast algorithm for the Minimum Covariance Determinant Estimator

A Fast and Accurate Face Detector for Indexation of Face Images

A fast and general implementation of Mach IPC in a network

A fast and high quality multilevel scheme for partitioning irregular graphs

A fast approximation algorithm for tsp with neighborhoods

A fast approximation of the "neighbourhood" function for massive graphs

A Fast Automatic Method for Registration of Partially-Overlapping Range Images

A Fast Automaton-based Method for Detecting Anomalous Program Behaviors

A fast constructive algorithm for fixed channel assignment problem

A fast deterministic algorithm for factoring polynomials over finite fields of small characteristic

A Fast Elitist Non-Dominated Sorting Genetic Algorithm for Multi-Objective Optimization: NSGA-II

A Fast File System for UNIX

A Fast Fourier transform compiler

A fast H2O total column density product from GOME – Validation with in-situ aircraft measurements

A Fast Heuristic for Approximate String Matching

A fast hill-climbing approach without an energy function for finding mpe

A fast image retrieval algorithm with automatically extracted discriminant features

A fast index for semistructured data

A fast java interpreter

A fast Las Vegas algorithm for computing the Smith normal form of a polynomial matrix. Linear Algebra and its Applications 253

A fast lattice-based approach to vocabulary independent wordspotting

A fast level set method for propagating interfaces

A fast marching level set method for monotonically advancing fronts

A fast multilayer general area router for MCM designs

A fast multilevel implementation of recursive spectral bisection for partitioning unstructured problems

A fast multiple string-pattern matching algorithm

A Fast Multi-Scale Method for Drawing Large Graphs

A Fast New DES Implementation in Software

A fast parallel-tree switch architecture for ATM networks

A fast pruning algorithm for optimal sequence alignment

A fast randomized LOGSPACE algorithm for graph connectivity

A Fast Sequential Learning Technique for Real Circuits with Application to Enhancing ATPG Performance

A fast shadow algorithm for area light sources using backprojection

A fast VLSI-efficient self-routing permutation network

A fast voxel traversal algorithm for ray tracing

A fast, accurate, and robust method for self-localization in polygonal environments using laser-rangefinders

A fast, asP*, RGD arbiter

A Fast, Scalable Mutual Exclusion Algorithm

A fast+practical+deterministic algorithm for triangularizing integer matrices

A Faster Algorithm for Approximate String Matching

A Faster Solver for General Systems of Equations

A faster way to make GFP-based biosensors: Two new transposons for creating multicolored libraries of fluorescent fusion proteins

A fatal pseudo-tumour: disseminated basidiobolomycosis

A fatal pulmonary infection by Nocardia brasiliensis

A FATIGUE-LIFE PREDICTION METHODOLOGY FOR NOTCHED ALUMINUM-MAGNESIUM ALLOY IN GULF SEAWATER ENVIRONMENT

A fault detection service for wide area distributed computations

A fault model for subtype inheritance and polymorphism

A fault-tolerant sequencer for timed asynchronous systems

A fault-tolerant, scalable, low-overhead distributed garbage detection protocol

A feasibility study of using thermal energy storage in a conventional air-conditioning system

A feasible BFGS interior point algorithm for solving strongly convex minimization problems

A feasible low-power augmented-reality terminal

A feature interaction benchmark for IN and beyond

A Feature Registration Framework using Mixture Models

A feature selection Newton method for support vector machine classification

A feature-based algorithm for detecting and classifying scene breaks

A feature-based constraint system for logic programming with entailment

A federated architecture for information management

A feedback control approach for guaranteeing relative delays in web servers

A feedback control structure for on-line learning tasks

A Fertility Channel Model for Post-Correction of Continuous Speech Recognition

A few logs suffice to build (almost) all trees

A field guide to boxology: Preliminary classification of architectural styles for software systems

A Field Study of Exploratory Learning Strategies

A Fifty Gigabit Per Second IP Router

A filtration problem through a heterogeneous porous medium

A Fine-Grained Alternative to the Subsumption Architecture for Mobile Robot Control

A Fine-Grained Model for Code Mobility

A Fine-Grained Solution to the Mutual Exclusion Problem

A Fingerprinting System for Musical Content

A finite axiomatization of inductive-recursive definitions

A finite element model for 3D shape reconstruction and nonrigid motion tracking

A finite element model for the time-dependent joule heating problem

A finite Newton method for classification problems

A FINITE-DIFFERENCE METHOD FOR THE SPECTRAL APPROXIMATION OF A CLASS OF SINGULAR 2-POINT BOUNDARY-VALUE-PROBLEMS

A FINITE-DIFFERENCE SOLUTION TO A 2-DIMENSIONAL VIBRATING MEMBRANE PROBLEM USING A SPREADSHEET PROGRAM

A finite-element analysis of bipolar ionized field

A first application of independent component analysis to extracting structure from stock returns

A First Ascomycete Genus (Picoa sp.) Record for the Fungi Flora of Iran

A First Generation DPGA Implementation

A first insight into the genetic diversity of Mycobacterium tuberculosis in Dar es Salaam, Tanzania, assessed by spoligotyping

A first step in understanding an invasive weed through its genes: an EST analysis of invasive Centaurea maculosa

A First Step Toward the Formal Analysis of Solution Quality in FA/C Distributed Interpretation Systems

A First Step towards Automated Detection of Buffer Overrun Vulnerabilities

A first survey of the rye (Secale cereale) genome composition through BAC end sequencing of the short arm of chromosome 1R

A first-order isomorphism theorem

A first-order representation for knowledge discovery and bayesian classification on relational data

A first-order simplification rule with constraints

A first-order theory of types and polymorphism in logic programming

A fisheye calendar interface for PDAs: Providing overviews for small displays

A five-phase reservation protocol (FPRP) for mobile ad hoc networks

A fixed point theorem for distributions

A fixed-dose 24-hour regimen of artesunate plus sulfamethoxypyrazine-pyrimethamine for the treatment of uncomplicated Plasmodium falciparum malaria in eastern Sudan

A flash-memory based file system

A flax fibre proteome: identification of proteins enriched in bast fibres

A Flexible Approach for Instance Adaptation during Class Versioning

A flexible approach to cooperative response generation in information-seeking dialogues

A flexible architecture for building data flow analyzers

A flexible architecture representation for High Level Synthesis

A Flexible Framework for Defeasible Logics

A flexible integrated architecture for generating poetic texts

A flexible model for resource management in virtual private networks

A flexible Motif search technique based on Generalized Profiles

A flexible new technique for camera calibration

A flexible object merging framework

A flexible rule-chaining engine for process-based software engineering

A Flexible Scheduler for the Andorra-I System

A flexible security system for metacomputing environments

A flexible transaction model for software engineering

A flexible view of metabolic network

A Floating Trout Hatchery System Applicable in Standing Water

A floating-gate technology for digital CMOS processes

A Flow Cytometric Opsonophagocytic Assay for Measurement of Functional Antibodies Elicited after Immunization with Outer Membrane Vesicle of Neisseria meningitidis serogroup B

A flow cytometry technique to study intracellular signals NF-κB and STAT3 in peripheral blood mononuclear cells

A Flow Shop with Compatibility Constraints in a Steelmaking Plant

A Flow System for Spectrophotometric Multidetermination in Water Exploiting Reagent Injection

A flow-based model for Internet backbone traffic

A fluid-limit model criterion for instability of multiclass queueing networks

A fluorescence microscopy method for quantifying levels of prostaglandin endoperoxide H synthase-1 and CD-41 in MEG-01 cells

A fluorescent cassette-based strategy for engineering multiple domain fusion proteins

A fluorescent-labeled microcystin-LR terbium cryptate

A Focused and Efficient Genetic Screening Strategy in the Mouse: Identification of Mutations That Disrupt Cortical Development

A focused antibody library for selecting scFvs expressed at high levels in the cytoplasm

A focused, context-sensitive approach to monitoring

A fold for all seasons

A formal analysis of Syverson???s rational exchange protocol

A formal analysis of the fault-detecting ability of testing methods

A Formal Approach for Reasoning about the Effectiveness of Partial Evaluation

A formal approach to architectural design patterns

A formal approach to deductive synthesis of constraint logic programs

A Formal Approach to Recovery by Compensating Transactions

A formal approach to reusing more general components

A Formal Approach to Software Architecture

A formal approach to the definition and the design of conceptual schemata for database systems

A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems

A Formal Approach to Use Cases and Their Relationships

A formal basis for architectural connection

A formal characterization of epsilon serializability

A formal definition of the dynamic semantics of the eiffel language

A formal description for two-dimensional patterns

A Formal Description of the ISPW-6 Software Process Example

A Formal Embedding of AgentSpeak(L) in 3APL

A formal evaluation of mutation and data flow based test adequacy criteria," To appear

A formal executable semantics for Java

A formal foundation for distributed workflow execution based on state charts

A formal framework and evaluation method for network denial of service

A formal framework for ASTRAL inter-level proof obligations

A Formal Framework for Integrating Inconsistent Answers from Multiple Information Sources

A formal framework for Java separate compilation

A formal framework for linguistic annotation

A formal framework for representing diagnosis strategies in model-based diagnosis systems

A formal framework for speedup learning from problems and solutions

A Formal Framework for the Java Bytecode Language and Verifier

A Formal Knowledge Level Process Model of Requirements Engineering

A formal language for cryptographic protocol requirements

A formal Method for verifying Real-Time Properties of Mode Chart Specifications

A formal methodology for hardware/software codesign of embedded systems

A formal model and specification language for procedure calling conventions

A formal model for an expressive fragment of XSLT

A Formal Model for Componentware

A formal model for trust in dynamic networks

A formal perspective on the view selection problem

A formal semantics for preferences and strategies in model-based diagnosis

A Formal Semantics for Specifying the Dynamic Reasoning of Knowledge-based Systems

A formal semantics for SPKI

A formal specification of JavaTM class loading

A Formal Specification of Signalling System No. 7 Telephone User Part

A Formal Statistical Approach to Collaborative Filtering

A formal synthesis of (+)-muricatacin from D-xylose

A formal total synthesis of deoxynojirimycin from D-glucitol

A Formal Treatment of Remotely Keyed Encryption

A formal verification of the alternating bit protocol in the calculus of constructions

A formalisation of Java's exception mechanism

A Formalisation of the IWIM Model

A Formalism for Real-Time Concurrent Object-Oriented

A formalization of explanation-based macro-operator learning

A formalization of viewpoints

A formally founded description technique for business processes

A formally verified algorithm for clock synchronization under a hybrid fault model

A formally verified algorithm for interactive consistency under a hybrid fault model

A form-based dialogue manager for spoken language applications

A formulation of TLA in Isabelle

A fortran-90 based multiprecision system

A Forum for Supporting Interactive Presentations to Distributed Audiences

A forward Monte Carlo method for solving Influence diagrams using local computation

A forward-backward Kalman for the estimation of time-variant channels in OFDM

A forward-secure digital signature scheme

A forward-secure public-key encryption scheme

A forward-secure public-key encryption scheme. Cryptology eprint archive Report 2002/060

A foundation for actor computation

A Foundation for Computation

A Foundation for Multi-Dimensional Databases

A foundation for representing and querying moving objects

A foundation for space-safe transformations of call-by-need programs

A Foundational Vision of e-Services

A four-valued fuzzy propositional logic

A fragile metabolic network adapted for cooperation in the symbiotic bacterium Buchnera aphidicola

A Fragment Calculus -- towards a model of Separate Compilation

A frame-semantic approach to semantic annotation

A framework and architecture for multirobot coordination

A Framework and Testbed for Studying Manipulation Techniques for Immersive VR

A framework for active distributed services

A Framework for Adaptive Service Guarantees

A Framework for Analyzing Configurations of Deployable Software Systems

A framework for application generator design

A framework for area-based and feature-based stereo vision

A framework for argumentation-based negotiation

A Framework for Automatic Construction of Abstract Promela Models

A Framework for Autonomous Agents Based on the concept of Anticipatory Systems

A framework for balancing control flow and predication

A Framework for Benchmark Performance Analysis

A Framework for Building Open Digital Libraries

A Framework for Classifying and Comparing Architecture Description Languages

A Framework for Classifying Denial of Service Attacks

A framework for collaborative, content-based and demographic filtering

A framework for combining symbolic and neural learning

A framework for comparing agent architectures

A Framework for Consistent, Replicated Web Objects

A Framework for Constructing Animations via Declarative Mapping Rules

A Framework for Constructing Features and Models for Intrusion Detection Systems

A framework for constructing probability distributions on the space of image segmentations

A framework for cooperating decision procedures

A framework for cooperative intrusion detection

A framework for decision-theoretic planning I: Combining the situation calculus, conditional plans, probability and utility

A framework for declarative update specifications in logic programs

A Framework for Dependability Benchmarking

A Framework for Design of Key Establishment Protocols

A framework for designing materialized views in data warehousing environment

A framework for developing parametrised FPGA libraries

A framework for distributed evolutionary algorithms

A Framework for Distributed Intrusion Detection using Interest Driven Cooperating Agents

A framework for distributed trust management

A Framework for Dynamic Routing and Operational Integrity Controls in a Workflow Management System

A framework for estimating performance improvements in hybrid pattern classifiers

A framework for evaluating regression test selection techniques

A Framework for Evaluating Storage System Security

A Framework for Evaluating the Data-Hiding Capacity of Image Sources

A Framework for Event Composition in Distributed Systems

A Framework for Event-Based Software Integration

A framework for experimenting with QoS for multimedia services

A framework for exploiting data availability to optimize communication

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification

A Framework for Facilitating Dynamic e-Business via Web Services," presented at

A framework for flow-based accounting on the Internet

A framework for formalizing inconsistencies and deviations in human-centered systems

A framework for generalized scattered data interpolation

A Framework for Generating Network-Based Moving Objects

A Framework for Global Illumination in Animated Environments

A Framework for identifying Web-based electronic commerce opportunities

A framework for immigrating existing software into new software development environments

A framework for implementing objects and scheduling tasks in lock-free real-time systems

A framework for integrating artificial neural networks and logic programming

A framework for integrating expert systems with other related fields

A framework for interactive analysis of timing constraints in embedded systems

A framework for interoperability

A Framework for Inter-ORB Request Level Bridge Construction

A framework for interprocedural optimization in the presence of dynamic class loading

A Framework for Knowledge-Based, Interactive Data Exploration

A framework for learning rules from multiple instance data

A Framework for Managing Schema Versioning in Object Oriented Databases

A framework for measuring changes in data characteristics

A Framework for Migrating Objects in Distributed Graphics Applications

A Framework for Minimizing the Job Execution Time in a Metacomputing Environment

A framework for modal logic programming

A framework for modeling the appearance of 3D articulated figures

A Framework for Multi-Agent Modelling and Office Automation

A framework for multi-valued reasoning over inconsistent viewpoints

A Framework for Navigation-Driven Lazy Mediators

A framework for non-rigid matching and correspondence

A Framework for Opportunistic Scheduling in Wireless Networks

A framework for optimal communication on the multidimensional torus network

A framework for optimization of a multiresolution remote image retrieval system

A Framework for Optimizing Java Using Attributes

A framework for optimizing the cost and performance of next-generation IP routers

A Framework for Organization and Representation of Concept Knowledge in Autonomous Agents

A framework for parallel adaptive grid simulations. Concurrency: Practice and Experience

A framework for partitionable membership service

A framework for part-of hierarchies in terminological logics

A framework for password-based authenticated key exchange

A Framework for Peer-To-Peer Lookup Services Based on k-ary Search

A framework for practical, automated black-box testing of component-based software

A framework for programming embedded systems: Initial design and results

A framework for protocol composition in horus

A framework for providing and using algorithms and algorithmic meta knowledge on the internet

A framework for qualitative performance prediction

A framework for real-time window-based tracking using off-the-shelf hardware

A framework for reducing the cost of instrumented code

A framework for remote dynamic program optimization

A framework for robust measurement-based admission control

A Framework for Scalable Dissemination-Based Systems

A Framework for Scalable Global IP-Anycast (GIA

A Framework for Scheduler Synthesis

A framework for shared applications with a replicated architecture

A framework for soliciting clarification from users during plan recognition

A framework for solving VLSI graph layout problems

A framework for space and time efficient scheduling of parallelism

A Framework For Specifying and Visualizing Architectural Designs

A framework for supporting previewing and vcr operations in a low bandwidth environment

A Framework for the Analysis of Error in Global Illumination Algorithms

A framework for the analysis of security protocols

A Framework for the Cooperation of Learning Algorithms

A Framework for the Design of Event Detectors

A framework for the design of one-way hash functions including cryptanalysis of Damgard one-way function based on a cellular automaton

A framework for the investigation of aggregate functions in database queries

A Framework for the Retrieval of Multimedia Objects Based on Four-Valued Fuzzy Description Logics

A framework for the robust estimation of optical flow

A framework for undoing actions in collaborative systems

A framework for unifying reordering transformations

A framework for vision based formation control

A framework model for packet loss metrics based on loss runlengths

A framework of call admission control procedures for integrated services mobile wireless networks

A Framework of Simplifications in Learning to Plan

A Framework to Support Multiple Security Policies

A Framework-Based Approach to the Development of Network-Aware Applications

A free energy approach to the torsion dynamics of macromolecules, in preparation

A free energy minimization framework for inference problems in modulo 2 arithmetic

A free lunch proof for gray versus binary encodings

A free market architecture for coordinating multiple robots

A Freely Available Syntactic Lexicon for English

A freely available wide coverage morphological analyzer for English

A frequency stabilized waveguide CO2-laser for photoacoustic spectroscopy of gases

A fresh look at optimizing array bound checking

A Frontier algorithm for optimization of multiple-valued logic functions

A Frontier algorithm for optimization of multiple-valued logicfunctions

A fucan from the brown seaweed Spatoglossum schrأ¶ederi inhibits Chinese hamster ovary cell adhesion to several extracellular matrix proteins

A Full Automatic Device for Sampling Small Solution Volumes in Photometric Titration Procedure Based on Multicommuted Flow System

A full scale comparative study of methods for generation of functional Dendritic cells for use as cancer vaccines

A fully abstract game semantics for finite nondeterminism

A fully abstract game semantics for general references

A fully asynchronous reader/writer mechanism for multiprocessor real-time systems

A fully automatable enzymatic method for DNA extraction from plant tissues

A fully automated content-based video search engine supporting spatiotemporal queries

A Fully Automated Sequential-Injection Analyser for Dual Electrogenerated Chemiluminescence/Amperometric Detection

A Fully Complete PER Model for ML Polymorphic Types

A fully discrete H-1-Galerkin method with quadrature for nonlinear advection-diffusion-reaction equations

A fully dynamic algorithm for maintaining the transitive closure

A fully integrated MOS-C current-mode IF filter for Bluetooth

A fully projective error model for visual reconstruction

A fully sequential procedure for indifference-zone selection in simulation

A fully statistical approach to natural language interfaces

A fully syntactic AC-RPO

A function approximation approach to anomaly detection in propulsion system test data

A Functional Analysis of the Spacer of V(D)J Recombination Signal Sequences

A Functional Approach to External Graph Algorithms

A functional architecture for a team of fully autonomous cooperative robots

A Functional DBPL Revealing High Level Optimizations

A functional equation arising in the analysis of algorithms

A functional genomic analysis of cell morphology using RNA interference

A Functional Logic Programming Approach to Graphical User Interfaces

A Functional Neuroimaging Study of Sound Localization: Visual Cortex Activity Predicts Performance in Early-Blind Individuals

A functional notation for functional dependencies

A Functional Role of Neutrophils in the Regulation of Innate and Acquired Immunity to Bacterial Infection

A functional study of caustic strictures of the esophagus in children

A functional theory of local names

A Fungal Cytochrome P-450nor Confers Denitrifying Ability to Tobacco By-2 Cells

A fungal phylogeny based on 42 complete genomes derived from supertree and combined gene analysis

A fusion protein containing a lepidopteran-specific toxin from the South Indian red scorpion (Mesobuthus tamulus) and snowdrop lectin shows oral toxicity to target insects

A future-adaptable password scheme

A fuzzy basis function network based power system stabilizer for generator excitation control

A fuzzy basis function network for generator excitation control

A Fuzzy Commitment Scheme

A fuzzy description logic

A fuzzy description logic with hedges as concept modifiers

A FUZZY EVOLUTIONARY ALGORITHM FOR TOPOLOGY DESIGN OF CAMPUS NETWORKS

A fuzzy evolutionary algorithm for topology design of campus networks

A fuzzy relative of the k-medoids algorithm with application to web document and snippet clustering

A Fuzzy System for Indoor Mobile Robot Navigation

A Fuzzy Thesaurus for Semantic Integration of Design Schemes

A Fuzzy Vault Scheme

A Gain-Field Encoding of Limb Position and Velocity in the Internal Model of Arm Dynamics

A Galerkin method for nonlinear singular two point boundary value problems

A Galerkin method for singular two point linear boundary value problems

A game of prediction with expert advice

A game theoretic approach to hybrid system design

A game theoretic framework for incentives in P2P systems

A Game Theoretical Approach to Evaluate Cooperation Enforcement Mechanisms in Mobile Ad Hoc Networks

A game-based verification of non-repudiation and fair exchange protocols

A Game-Learning Machine

A game-theoretic account of implicature

A game-theoretic approach to the simple coevolutionary algorithm

A game-theoretic investigation of selection methods used in evolutionary algorithms

A Garbage Collection Algorithm for Tricia

A gas pressure sensor based on ZrO2 thin films for use at high temperatures

A gasometric method to determine erythrocyte catalase activity

A GATA4/WT1 cooperation regulates transcription of genes required for mammalian sex determination and differentiation

A gate-level leakage power reduction method for ultra-low-power CMOS circuits

A gaussian prior for smoothing maximum entropy models

A gene catalogue of the amphioxus nervous system

A Gene Encoding Sialic-Acid-Specific 9-O-Acetylesterase Found in Human Adult Testis

A gene expression system offering multiple levels of regulation: the Dual Drug Control (DDC) system

A general adequacy result for a linear functional language

A general algorithm for approximate inference and its application to hybrid bayes nets

A general algorithm for tiling the register level

A general and flexible access-control system for the web

A General Approach for Constraint Solving by Local Search

A General Approach to Bottom-Up Computation of Disjunctive Semantics

A general approach to removing degeneracies

A General Approximation Technique for Constrained Forest Problems

A general architecture for load balancing in a distributed-memory environment

A general computational method for grammar inversion

A general data dependence test for dynamic, pointer-based data structures

A general decomposition theorem for the k-server problem

A general expression for the capacity of slotted ALOHA under Nakagami fading

A general expression for the capacity of slotted ALOHA underNakagami fading

A general filter for measurements with any probability distribution

A general fixed rate arithmetic coding method for constrained channels

A general framework for adaptive processing of data structures

A general framework for bi-directional translation between abstract and pictorial data

A General Framework for Formal Notions of "Secure

A General Framework for Inheritance Management and Method Dispatch in Object-Oriented Languages

A General Framework for Iteration-Reordering Loop Transformations

A general framework for knowledge compilation

A general framework for low level vision

A general framework for mesh decimation

A general framework for quantifying the effects of DNA repair inhibitors on radiation sensitivity as a function of dose

A general framework for simultaneous cyclic scheduling and operational optimization of multiproduct continuous plants

A general framework for subexponential discrete logarithm algorithms

A general framework for the optimization of object-oriented queries

A General Framework for Time Granularity and its Application to Temporal Reasoning

A general framework for vertex orderings, with applications to netlist clustering

A general framework of continuation methods for complementarity problems

A general incremental technique for maintaining discovered association rules

A general inspection plan for critical multicharacteristic components

A general iterative technique for approximate throughput computation of stochastic marked graphs

A general language model for information retrieval

A general look at building applications for mobile devices

A general lower bound on the I/O-complexity of comparison-based algorithms

A General Meta-Heuristic Based Solver for Combinatorial Optimisation Problems

A general method for compiling event-driven simulations

A general method for errors-in-variables problems in computer vision

A general method for incremental self-improvement and multi-agent learning in unrestricted environments

A general method for multi-agent reinforcement learning in unrestricted environments

A general method for scaling up machine learning algorithms and its application to clustering

A general method for the unbiased improvement of solution NMR structures by the use of related X-Ray data, the AUREMOL-ISIC algorithm

A General Methodology for Designing Efficient Traffic Scheduling and Shaping Algorithms

A general methodology for mathematical analysis of multi-agent systems

A general mixture theory .1. Mixtures of spherical molecules

A general mixture theory .2. Mixtures of nonspherical molecules

A general modal framework for the event calculus and its skeptical and credulous variants

A General Model for Authentic Data Publication

A General Model for Event Specification in Active Database Management Systems

A General Model for Nested Transactional Workflows

A General Model for QoS Adaptation

A General Model for Simulation of Room Acoustics Based On Hierarchical Radiosity

A general model of web graphs

A general nonholonomic motion planning strategy for Caplyginsystems

A general probabilistic framework for clustering individuals and objects

A general programming model for developing scalable ocean circulation applications

A GENERAL REAL-TIME DECODER BASED ON AMD2900 DEVICES

A general repeat inspection plan for dependent multicharacteristic critical components

A General Strategy to Determine Geometrically Valid Contact Formations from Possible Contact Primitives

A general technique for implementation of efficient priority queues

A general technique for querying xml documents using a relational database system

A general theory of composition for trace sets closed under selective interleaving functions

A General Two-Pass Method Integrating Specular and Diffuse Reflection

A general upper bound for the satisfiability threshold of random r-SAT formulae

A generalisation, a simplification and some applications of paillier???s probabilistic public-key system

A GENERALIZATION OF ALGEBRAIC COMPACTNESS

A Generalization of Exceptions and Control in ML-Like Languages

A generalization of Gosper's algorithm to bibasic hypergeometric summation

A Generalization of Linear Cryptanalysis and the Applicability of Matsui's Piling-Up Lemma

A generalization of principal component analysis to the exponential family

A generalized analysis of hydrophobic and loop clusters within globular protein sequences

A Generalized Approach for Image Indexing and Retrieval Based Upon 2-D Strings

A generalized approach to equational unification

A generalized approximate cross validation for smoothing splines with non-Gaussian data

A Generalized Clustering Algorithm for Peer-to-peer Networks

A generalized deadlock-free process calculus

A generalized discrepancy and quadrature error bound

A generalized formula for the integral of three associated Legendre polynomials

A generalized Gaussian image model for edge-preserving MAP estimation

A Generalized Hidden Markov Model for the Recognition of Human Genes

A generalized interval caching policy for mixed interactive and long video workloads

A generalized kernel approach to dissimilarity-based classification

A generalized linear model for principal component analysis of binary data

A generalized quasilinearization method for second-order nonlinear differential equations with nonlinear boundary conditions

A generalized reinforcement-learning model: Convergence and applications

A generalized representer theorem

A Generalized Suffix Tree and Its (Un)Expected Asymptotic Behaviors

A generalized theory of bit vector data flow analysis

A generalized uncertainty principles and sparse representation in pairs of bases

A general-purpose AI planning system based on the genetic programming paradigm

A general-purpose fuzzy engine for crop control

A generational mostly-concurrent garbage collector

A Generational On-the- Garbage Collector for Java

A generative constituent-context model for improved grammar induction

A generic account of continuation-passing styles

A Generic Algorithm for Generating Spoken Monologues

A Generic Approach to Monitor Program Executions

A generic approach to the security of multi-threaded programs

A generic approach to the static analysis of concurrent programs with procedures

A generic arc-consistency algorithm and its specializations

A Generic Architecture for Data Flow Analysis to Support Reverse Engineering

A generic concept for large-scale multicast

A Generic DFT Approach for Pattern Sensitive Faults in Word-Oriented Memories

A Generic Dynamic-Mapping Wrapper for Open Hypertext System Support of Analytical Applications

A Generic Entity-Relationship Model

A Generic Framework for Parallelization of Network Simulations

A generic grouping algorithm and its quantitative analysis

A generic knowledge-base browser and editor

A generic multicast transport service to support disconnected operation

A generic neutral model for measuring excess evolutionary activity of genotypes

A generic program for sequential decision processes

A generic programming extension for Haskell

A Generic Role Model for Dynamic Objects

A Generic Scheme for Building Overlay Networks in Adversarial Scenarios

A generic system for classifying variable objects using flexible template matching

A generic tableau prover and its integration with Isabelle

A generic type system for the Pi-calculus

A Genetic Algorithm Based University Timetabling System

A genetic algorithm for channel routing in VLSI circuits

A genetic algorithm for job shop

A genetic algorithm for register allocation

A Genetic Algorithm For The Part Family Formation Problem

A genetic algorithm for the set covering problem

A genetic algorithm for the set partitioning problem

A genetic algorithm for the weight setting problem in ospf routing

A Genetic Algorithm for University Timetabling

A genetic algorithm solution to a new fuzzy unit commitment model

A Genetic Algorithm Tutorial

A genetic approach to econometric modeling

A genetic approach to finding a controller to back up a tractor-trailer truck

A genetic approach to the identification of linear dynamical systems with static nonlinearities

A genetic approach to the selection of the variable structure controller feedback gains

A genetic approach to the selection of the variable structurecontroller feedback gains

A genetic approach to the truck backer upper problem and the inter-twined spiral problem

A genetic cascade-correlation learning algorithm

A genetic dissection of the LlaJI restriction cassette reveals insights on a novel bacteriophage resistance system

A genetic polymorphism of the osteoprotegerin gene is associated with an increased risk of advanced prostate cancer

A genetic programming application in virtual reality

A genetically explicit model of speciation by sensory drive within a continuous population in aquatic environments

A genetic-based algorithm for fuzzy unit commitment model

A genetic-based fuzzy logic power system stabilizer formultimachine power systems

A Genetic-based Power System Stabilizer

A genome-scale metabolic reconstruction of Pseudomonas putida KT2440: iJN746 as a cell factory

A genome-wide in situ hybridization map of RNA-binding proteins reveals anatomically restricted expression in the developing mouse brain

A genome-wide map of aberrantly expressed chromosomal islands in colorectal cancer

A genome-wide screen for noncoding elements important in primate evolution

A genome-wide survey of changes in protein evolutionary rates across four closely related species of Saccharomyces sensu stricto group

A genomic approach to elucidating grass flower development

A genomic island present along the bacterial chromosome of the Parachlamydiaceae UWE25, an obligate amoebal endosymbiont, encodes a potentially functional F-like conjugative DNA transfer system

A genomic timescale for the origin of eukaryotes

A genomic timescale of prokaryote evolution: insights into the origin of methanogenesis, phototrophy, and the colonization of land

A genomic view of the NOD-like receptor family in teleost fish: identification of a novel NLR subfamily in zebrafish

A gentle tutorial on the EM algorithm and its application to parameter estimation for gaussian mixture and hidden markov models

A genuinely multidimensional upwind scheme and efficient multigrid solver for the compressible Euler equations

A geometric and algebraic view of MHC-peptide complexes and their binding properties

A geometric approach to betweenness

A geometric approach to leveraging weak learners

A geometric approach to mapping bitext correspondence

A geometric approach to segmentation and analysis of 3d medical images

A geometric Buchberger algorithm for integer programming

A Geometric Framework for Specifying Spatiotemporal Objects

A Geometric Framework for Unsupervised Anomaly Detection: Detecting Intrusions in Unlabeled Data

A Geometric Simulator SimRep for Testing the Replanning Approach toward Assembly Motions in the Presence of Uncertainties

A Geometric Theorem for Approximate Disk Covering Algorithms

A geometric-primitives-based compression scheme for testing systems-on-a-chip

A Geometric-Primitives-Based Compression Scheme for Testing Systems-on-a-Chip

A geometric-primitives-based compression scheme for testingsystems-on-a-chip

A gesture interface for human-robot-interaction

A Ghost shrimp Upogebia assisi, Barnard, 1947. offering a new record from Karachi, Pakistan

A Giotto-based helicopter control system

A GIS-based spatial decision support system for suitability assessment and land use allocation

A Glass Box Approach to Adaptive Hypermedia

A GLOBAL ALGORITHM FOR THE FUZZY CLUSTERING PROBLEM

A Global Authentication Service without Global Trust

A global convergence theory for general trust-region-based algorithms for equality constrained optimization

A global human walking model with real-time kinematic personification

A global nonexistence result for the nonlinearly damped multi-dimensional Boussinesq equation

A global off-line model of size-resolved aerosol microphysics: I. Model development and prediction of aerosol properties

A global off-line model of size-resolved aerosol microphysics: II. Identification of key uncertainties

A global optimization algorithm (GOP) for certain classes of nonconvex NLPs

A global optimization technique for statistical classifier design

A Global Perspective of Schema Modification Management for ObjectOriented Databases

A global solution to sparse correspondence problems

A global statistical test for improved detection of gene activity

A Global Workspace perspective on mental disorders

A globally and superlinearly convergent potential reduction interior point method for convex programming

A globally convergent primal-dual interior-point filter method for nonlinear programming

A glucan from active dry bakerآ’s yeast (Saccharomyces cerevisiae): A chemical and enzymatic investigation of the structure

A glutamine-amidotransferase-like protein modulates FixT anti-kinase activity in Sinorhizobium meliloti

A goal programming model for an integrated solid waste management system

A Goal-Based Organizational Perspective on Multi-Agent Architectures

A Godunov-type finite volume method for the system of shallow water equations

A gonococcal homologue of meningococcal γ-glutamyl transpeptidase gene is a new type of bacterial pseudogene that is transcriptionally active but phenotypically silent

A Gossip-Style Failure Detection

A gossip-style failure detection service

A goto-elimination method and its implementation for the McCAT C compiler. Master's thesis, McGill U

A Gr??bner free alternative for polynomial system solving

A Gradient-Based Boosting Algorithm for Regression Problems

A Gradual Process of Recombination Restriction in the Evolutionary History of the Sex Chromosomes in Dioecious Plants

A grammar based fault classification scheme and its application to the classification of the errors of TEX

A grammar inference algorithm for the world wide web

A grammar-based data-flow analysis to stop deforestation

A GRAPH GRAMMAR MODEL FOR CONCURRENT AND DISTRIBUTED SOFTWARE SPECIFICATION-IN-LARGE

A Graph Rewriting Approach for Transformational Design of Digital Systems

A graph rewriting framework for statecharts semantics

A graph-based approach to resolution in temporal logic

A graph-based method for improving GSAT

A graphical characterization of lattice conditional independence models

A graphical description technique for communication in software architectures

A Graphical Development Environment for Functional Logic Languages

A Graphical Filter/Flow Representation of Boolean Queries: A Prototype Implementation and Evaluation

A graphical interface for speech-based retrieval

A graphical interval logic for specifying concurrent systems

A graphical query interface based on aggregation/generalization hierarchies

A graphical user interface for Boolean query specification

A graphical user interface for spatial data analysis in integrated circuit manufacturing

A graphical, self-organizing approach to classifying electronic meeting output

A graph-oriented model for articulation of ontology interdependencies

A graph-structural method for prediction of polymer properties

A graph-theoretic approach to clock skew optimization

A graph-theoretic game and its application to the k-server problem

A GRASP for aircraft routing in response to groundings and delays

A GRASP for graph planarization

A grasp for satisfiability

A Gray code for set partitions

A greedy genetic algorithm for the quadratic assignment problem

A Greedy Grid - the Grid Economic Engine Directive

A greedy randomized adaptive search procedure for job shop scheduling

A greedy randomized adaptive search procedure for the quadratic assignment problem

A green process for the preparation of 11-{4-[2-(2-hydroxyethoxy)ethyl]-1-piperazinyl}dibenzo[b,f][1,4]thiazepine

A Grid Service Discovery Matchmaker Based on Ontology Description

A Grid-Enabled MPI: Message Passing in Heterogeneous Distributed Computing Systems

A grounded-resistor current conveyor-based active-R multiphase sinusoidal oscillator

A group contribution method for estimating the vapour pressures of خ±-pinene oxidation products

A group mobility model for ad hoc wireless networks

A Group-based Authorization Model for Cooperative Systems

A group-theoretic framework for the construction of packings in Grassmannian spaces

A Growing Family of Poxvirus Innate Immune Inhibitors

A Growing Neural Gas Network Learns Topologies

A growth hormone-based phylogenetic analysis of euteleostean fishes including a representative species of the Atheriniformes Order, Odontesthes argentinensis

A guide to exact simulation

A Guide to Specifying Concurrent Behaviour with Abacus

A Guided Tour of the Coign Automatic Distributed Partitioning System

A guided tour of the fractal image compression literature

A guided tour to approximate string matching

A Guild of 45 CRISPR-Associated (Cas) Protein Families and Multiple CRISPR/Cas Subtypes Exist in Prokaryotic Genomes.

A Hamiltonian decomposition technique for improving the convergence of perturbation series

A Hand-Held Optical Surface Scanner for Environmental Modeling and Virtual Reality

A handy balloon for total extraperitoneal repair of inguinal hernia

A haplotype of polymorphisms in ASE-1, RAI and ERCC1 and the effects of tobacco smoking and alcohol consumption on risk of colorectal cancer: a danish prospective case-cohort study

A haplotype variation affecting the mitochondrial transportation of hMYH protein could be a risk factor for colorectal cancer in Chinese

A Hard Clustering Approach To The Part Family Formation Problem

A hardware genetic algorithm for the travelling salesman problem on SPLASH 2

A Hardware Implementation of an Embryonic Architecture Using Virtex FPGAs", Evolvable systems: from biology to hardware

A hardware implementation of pure esterel

A hardware mechanism for dynamic extraction and relayout of program hot spots

A Hardware Model of an Expandable RSA Cryptogrsphic System

A Hardware Multicast Routing Algorithm for Two-Dimensional Meshes

A hardware/software partitioner using a dynamically determined granularity

A Hardware-Driven Profiling Scheme for Identifying Program Hot Spots to Support Runtime Optimization

A header-population based flow control for multicomputer networks

A Headspace Solid Phase Microextraction (HS-SPME) method for the chromatographic determination of alkylpyrazines in cocoa samples

A heavy-traffic expansion for asymptotic decay rates of tail probabilities in multi-channel queues. submitted

A Hebbian/anti-Hebbian network which optimizes information capacity by orthonormalizing the principal subspace

A help desk application for sharing resources across high speed networks using a multi-agent network architecture

A Hensel lifting to replace factorization in list-decoding of algebraic-geometric and Reed-Solomon codes

A heterogeneous parallel deduction system

A heuristic algorithm for the rectilinear Steiner arborescence problem

A Heuristic Approach for Firewall Policy Optimization

A heuristic estimator for means-ends analysis in planning

A heuristic for domain independent planning and its use in an enforced hill-climbing algorithm

A heuristic for improved genetic bin packing

A heuristic for ordering a linear block code to minimize trellis state complexity

A heuristic for the automatic generation of ranking functions

A heuristic storage for minimizing access time of arbitrary data patterns

A Heuristic Storage for Minimizing Access Time of Arbitrary Data Patterns

A heuristic storage for minimizing access time of arbitrary datapatterns

A heuristic variable grid solution method for pomdps

A Heuristics Based Approach for Cellular Mobile Network Planning

A Heuristics-Based Approach to Query Optimization in Structured Document Databases

A hidden agenda

A hidden Markov model for predicting transmembrane helices in protein sequences

A hidden Markov model that finds genes in E. coli DNA

A hierarchical approach employing metabolic and gene expression profiles to identify the pathways that confer cytotoxicity in HepG2 cells

A hierarchical approach to interactive motion editing for human-like figures

A hierarchical approach to learning the Boolean multiplexer function

A hierarchical architecture for behavior-based robots

A Hierarchical Characterization of a Live Streaming Media Workload

A hierarchical classifier system implementing a motivationally autonomous animat

A hierarchical computer architecture design and simulation environment

A Hierarchical CPU Scheduler for Multimedia Operating Systems

A Hierarchical Design Scheme for Application of Augmented Reality in a Telerobotic Stereo-Vision System

A Hierarchical Dirichlet Language Model

A hierarchical fault-tolerant interconnection network

A hierarchical HMM implementation for vertebrate gene splice site prediction

A hierarchical illumination algorithm for surfaces with glossy reflection

A Hierarchical Internet Object Cache

A hierarchical latent variable model for data visualization

A hierarchical load balancing environment for parallel and distributed supercomputer

A hierarchical multiprocessor scheduling framework for synchronous dataflow graphs

A hierarchical multiprocessor scheduling system for DSP applications

A Hierarchical Neuro-Fuzzy System To Near Optimal-Time Trajectory Planning Of Redundant Manipulators

A hierarchical preconditioner for the mortar finite element method

A hierarchical probabilistic model for novelty detection in text

A hierarchical protocol for coordinating multiagent behaviors

A hierarchical representation of qualitative shape based on connection and convexity

A hierarchical statistical framework for the segmentation of deformable objects in image sequences

A hierarchical subdivision algorithm for stochastic radiosity methods

A Hierarchical Use Case Model with Graphical Representation

A hierarchy of authentication specifications

A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages

A hierarchy of qualitative representations for space

A hierarchy of totally ordered multicasts

A high density of ancient spliceosomal introns in oxymonad excavates

A high level SPMD programming model: HPspmd and its Java language binding

A High Level Visual Notation for Understanding and Designing

A High Performance Cluster JVM Presenting a Pure Single System Image

A High Performance Computing Approach to the Registration

A High Speed Disk-to-Disk Sort on a Windows NT Cluster Running HPVM. Submitted for pulication

A high speed protocol for bursty traffic in optical networks

A high throughput live transparent animal bioassay to identify non-toxic small molecules or genes that regulate vertebrate fat metabolism for obesity drug development

A high throughput messenger RNA differential display screen identifies discrete domains of gene expression and novel patterning processes along the developing neural tube

A high-copy T7 Escherichia coli expression vector for the production of recombinant proteins with a minimal N-terminal His-tagged fusion peptide

A higher-level MRP supertree of placental mammals

A Higher-order Accurate FDTD Solution to Scalar SHG Problems

A high-fructose diet induces changes in pp185 phosphorylation in muscle and liver of rats

A high-fructose diet induces insulin resistance but not blood pressure changes in normotensive rats

A High-Level Language for Programming Complex Temporal Behaviors and Its Translation into Synchronous Circuits", poster presentation

A High-Level Programming Environment for Packet Trace Anonymization and Transformation

A high-level synthesis tool for the assignment of storage values to sequential read-write memories

A high-level, massively parallel programming environment and its realization

A highly asynchronous minimum spanning tree protocol

A highly available application in the Transis environment

A Highly Available Network File Server

A highly conserved family of inactivated archaeal B family DNA polymerases

A highly conserved regulatory element controls hematopoietic expression of GATA-2 in zebrafish

A highly efficacious pediculicide based on dimeticone: Randomized observer blinded comparative trial

A highly efficient and recoverable bi-cinchona alkaloid ligand for the catalytic asymmetric aminohydroxylation of olefins

A highly efficient path-restoration protocol for management of optical network transport integrity

A Highly Parallel Algorithm for the Reduction of a Nonsymmetric Matrix to

A Highly Safe Self-Stabilizing Mutual Exclusion Algorithm

A high-performance ATM switch based on modified shuffle-exchange network

A High-performance Endsystem Architecture for Real-time CORBA

A High-Performance Fast Fourier Transform Algorithm for the Cray2

A High-Performance FFT Algorithm for Vector Supercomputers

A High-Performance Hardware-EÆcient Memory Allocation Technique and Design

A high-performance hardware-efficient memory allocation techniqueand design

A high-performance microarchitecture with hardware-programmable functional units

A High-performance Network Intrusion Detection System

A High-Performance Stereo Vision System for Obstacle Detection

A High-performance, Portable Implementation of The MPI Message Passing Interface Standard

A high-speed dynamic instruction scheduling scheme for superscalar processors

A High-Speed Self-Timed Carry-Skip Adder

A high-throughput and sensitive method to measure Global DNA Methylation: Application in Lung Cancer

A high-throughput cell migration assay using scratch wound healing, a comparison of image-based readout methods

A high-throughput network-on-chip architecture for systems-on-chip interconnect

A High-Throughput Network-on-Chip Architecture for Systems-on-Chip Interconnect

A high-throughput screening system for barley/powdery mildew interactions based on automated analysis of light micrographs

A Historical Application Profiler for Use by Parallel Schedulers

A historically controlled, single-arm, multi-centre, prospective trial to evaluate the safety and efficacy of MonoMax® suture material for abdominal wall closure after primary midline laparotomy. ISSAAC-Trial [NCT005725079]

A history of the reverse shoulder prosthesis

A HOL extension of GNY for automatically analyzing cryptographic protocols

A HOL formalisation of the Temporal Logic of Actions

A Homemade Autosampler/Injector Commutator for Flow Injection Analysis

A homogenous nature of native Chinese duck matrilineal pool

A homolog of the RPS2 disease resistance gene is constitutively expressed in Brassica oleracea

A homology model of restriction endonuclease SfiI in complex with DNA

A hospital based study of Hepatitis E by serology

A Hospital-Based Assessment of Breast-Feeding Behaviour and Practices among Nursing Mothers in Nigeria and Ghana

A host-based multicast (hbm) solution for group communications

A huge Omental Lymphangioma with extention into Labia Majorae: A case report

A human in vitro model system for investigating genome-wide host responses to SARS coronavirus infection

A human monoclonal autoantibody to breast cancer identifies the PDZ domain containing protein GIPC1 as a novel breast cancer-associated antigen

A human RNA polymerase II subunit is encoded by a recently generated multigene family

A Hybrid Adaptation Method and Directional Viscous Multigrid with Prismatic /Tetrahedral Meshes," AIAA Paper 950670

A Hybrid Admission Control Scheme for Broadband ATM Traffic

A Hybrid Approach for Biomarker Discovery from Microarray Gene Expression Data for Cancer Classification

A hybrid approach to separation of concerns: The story of SADES

A hybrid ARQ/FEC scheme for noisy ATM network links

A hybrid broadcasting protocol for video on demand

A hybrid collision avoidance method for mobile robots

A hybrid computational technique for the estimation of corona power loss associated with bundled transmission lines

A hybrid discrete event dynamic systems approach to robot control

A hybrid feedforward neural network model for the cephalosporin C production process

A Hybrid Fuzzy Self-Organizing Variable Structure Controller

A hybrid genetic algorithm for highly constrained timetabling problems

A hybrid genetic algorithm for nonconvex function minimization

A Hybrid GP/GA Approach for Co-evolving Controllers and Robot Bodies to Achieve Fitness-Specified Tasks

A hybrid grouping genetic algorithm for bin packing

A hybrid intelligent architecture for refining input characterization and domain knowledge

A hybrid microfluidic-vacuum device for direct interfacing with conventional cell culture methods

A hybrid model for learning sequential navigation

A hybrid nearest-neighbor and nearest-hyperrectangle algorithm

A HYBRID NEURAL MODEL FOR THE OPTIMIZATION OF FED-BATCH FERMENTATIONS

A hybrid neuro-fuzzy power system stabilizer for multimachine powersystems

A hybrid procedural/deductive executive for autonomous spacecraft

A Hybrid Query Language for the Extended Entity Relationship Model

A Hybrid Real-Time Face Tracking System

A hybrid reasoning model for indirect answers

A hybrid SAT-based decision procedure for separation logic with uninterpreted functions

A hybrid scheme for tolerating mobile support station failures

A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences

A Hybrid System for Knowledge-Based Synthesis of Robot Grasps

A Hybrid System for MorphoSyntactic Disambiguation in Bulgarian

A Hybrid System to Detect Hand Orientation in Stereo Images

A Hybrid TDMA/MC-CDMA System Utilizing Multiuser Detection for Integrated Wireless Networks

A hybrid temporal-SNR fine-granular scalability for internet video

A hybrid test compression technique for efficient testing of systems-on-a-chip

A hybrid test compression technique for efficient testing of systems-on-a-chip

A Hybrid, PDE-ODE Control Strategy for Intercepting an Intelligent, Well-Informed Target in a Stationary, Cluttered Environment

A hybrid, PDE-ODE controller for intercepting an intelligent, well-informed target in a stationary, cluttered environment

A Hybrid, PDE-ODE Controller for Intercepting an Intelligent, Well-informed Target in a Stationary, Cluttered Environment

A hydrogen-bonded channel structure formed by a complex of uracil and melamine

A Hydroponic System for Purification of Anaerobically Treated Dairy Manure and Production of Wheat as a Nutritional Forage Crop

A hypercubic sorting network with nearly logarithmic depth

A Hyperdoctrinal view of Concurrent Constraint Programming

A hyperlink-based recommender system written in Squeal

A hyperplane based approach for optimizing spatial locality in loop nests

A hypertext electronic index based on the Grif structured document editor

a I t P m: a Strategy for Integrating IP with ATM

A invasأ£o de um fragmento florestal em Sأ£o Paulo (SP) pela palmeira australiana Archontophoenix cunninghamiana H. Wendl. & Drude

A Japanese Named Entity Recognizer Constructed by a Non-Speaker of Japanese

A Java Beans Component Architecture for Cryptographic Protocols

A Java Framework for Seamless Sequential, Multithreaded, and Distributed Programming

A java implementation of simple distributed security infrastructure

A Java Simulator For Tuplespaces Based Computational Grids

A Java-Based Query Driven Simulation Environment

A joint inter- and intrascale statistical model for Bayesian wavelet based image denoising

A judgmental reconstruction of modal logic

A Kanizsa programme

A Karhunen-Loeve analysis of turbulent thermal convection

A Karhunen-Loeve based galerkin approximation to Boussinesq equation

A kernel integrated task migration infrastructure for clusters of workstations

A kernel method for canonical correlation analysis

A kernel method for multi-labeled classification

A kernel specification formalism with higher-order parameterisation

A kernel-oriented model for coalition-formation in general environments: Implemetation and results

A ketogenic diet reduces amyloid beta 40 and 42 in a mouse model of Alzheimer's disease

A key management scheme for wireless sensor networks using deployment knowledge

A key recovery attack on discrete log-based schemes using a prime order subgroup

A Key-Management Scheme for Distributed Sensor Networks

A Key-schedule Weakness in SAFER K-64

A keystroke level analysis of a graphics application: Manual map digitizing

A Keystroke Level Analysis of Manual Map Digitizing

A kinetic determination of lysine in pharmaceutical sample

A KINETIC METHOD FOR THE DETERMINATION OF CARBIMAZOLE IN PHARMACEUTICAL PREPARATIONS BY OXIDATION WITH DICHROMATE IN SULFURIC-ACID

A kinetic method for the determination of phenol

A kinetic model for the consumption of stabilizer in single base gun propellants

A kinetic spectrophotometric method for the determination of lansoprazole in pharmaceutical formulations

A kinetic study of the depyritization of oil shale HCl-kerogen concentrate by Thiobacillus ferrooxidans at different temperatures

A kinetic study of the thermal degradation of cetyltrimethylammonium bromide inside the mesoporous SBA-3 molecular sieve

A kinetic theory approach for laser pulse heating process

A kinetic-based sigmoidal model for the polymerase chain reaction and its application to high-capacity absolute quantitative real-time PCR

A Kleene theorem for timed automata

A knapsack type public key cryptosystem based on arithmetic in finite fields

A knowledge compilation map

A knowledge discovery methodology for the performance evaluation of scientific software

A knowledge engineering approach for image classification based on probabilistic reasoning systems

A knowledge level analysis of belief revision

A knowledge representation framework based on autoepistemic logic of minimal beliefs

A knowledge-based analysis of zero knowledge

A Knowledge-Based Approach for Designing Intelligent Team Training Systems

A Knowledge-Based Approach for Retrieving Images by Content

A knowledge-based approach to connect-four. The game is solved: White wins

A Knowledge-Based Approach to Handling Exceptions in Workflow Systems

A knowledge-based approach to organizing retrieved documents

A knowledge-based approach to planning with incomplete information and sensing

A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T Network Systems

A knowledge-based framework for belief change. Part I: foundations

A Knowledge-Based Methodology for Designing Robust Multi-Agent Systems

A knowledge-based prototyping environment for construction of scientific modeling software

A knowledge-based structure-discriminating function that requires only main-chain atom coordinates

A Knowledge-Based System for Software Maintenance

A known-plaintext attack on two-key triple encryption

A Kripke-like Model for Negation as Failure

A kurtosis-based dynamic approach to Gaussian mixture modeling

A labelled tableau calculus for nonmonotonic (cumulative) consequence relations

A laboratory cage for foster nursing newborn mice

A Laboratory for a Digital Design Course Using FPGAs

A laboratory method to estimate the efficiency of plant extract to neutralize soil acidity

A lactose fia-biosensor system for monitoring and process control

A Lagrangian analysis of the impact of transport and transformation on the ozone stratification observed in the free troposphere during the ESCOMPTE campaign

A Lagrangian dual method with self-concordant barrier for multi-stage stochastic convex nonlinear programming," Working paper

A Lagrangian model with simple primary and secondary aerosol scheme 1: comparison with UK PM10 data

A Lagrangian Relaxation Method for Approximating the Analytic Center of a Polytope

A Lagrangian relaxation network for graph matching

A Lagrangian Stochastic Model for the concentration fluctuations

A Lambda Calculus of Incomplete Objects

A lambda calculus of objects and method specialization

A Lambda Calculus of Objects with Self-in Extension

A laminar flow model of aerosol survival of epidemic and non-epidemic strains of Pseudomonas aeruginosa isolated from people with cystic fibrosis

A laminar swirling jet impingement on to an adiabatic wall - Effect of inlet velocity profiles

A landscape approach for the study of calcareous grassland plant communities

A language for conveying the aliasing properties of dynamic, pointer-based data structures

A language for declarative robotic programming

A Language for Semantic Analysis

A Language for Specifying Recursive Traversals of Object Structures

A Language for Specifying the Composition of Reliable Distributed Applications

A Language for the Statement of Binary Relations over Feature Structures

A language framework for expressing checkable properties of dynamic software

A Language Framework for Multi-Object Coordination

A language independent approach for detecting duplicated code

A language modeling framework for resource selection and results merging

A language multidatabase system communication protocol

A Language with Distributed Scope

A Language/Action Perspective on Cooperative Information Agents

A language-based approach to security

A language-independent garbage collector toolkit

A Larch specification of copying garbage collection

A large left ventricular pseudoaneurysm in Behأ§et's disease: a case report

A large semi-synthetic single-chain Fv phage display library based on chicken immunoglobulin genes

A large waterborne outbreak of campylobacteriosis in Norway: The need to focus on distribution system safety

A large-grain parallel sparse system solver

A large-scale distributed intrusion detection framework based on attack strategy analysis

A Large-scale Testbed for Reproducible Ad hoc Protocol Evaluations

A Large-Step Infeasible-Interior-Point Method for the P

A laser photoacoustic system for detection of SF6 in gas insulated systems

A laser photoacoustic system for detection of SF6 in gasinsulated systems

A LASER QUADRANT DETECTION TECHNIQUE FOR CAPILLARY WAVE MEASUREMENTS

A laser succesive pulse heating of a moving slab: Akinetic theory approach

A lattice view of functional dependencies in incomplete relations

A lattice-based public-key cryptosystem

A lattice-structured proof technique applied to a minimum spanning tree algorithm

A law-abiding peer-to-peer network for free-software distribution

A layered approach to file system development

A layered approach to learning client behaviors in the RoboCup soccer server

A Layered Approach to Parallel Software Performance Prediction: A Case Study

A layered approach to stereo reconstruction

A layered architecture for office delivery robots

A layered DCT coder for Internet video

A layered recurrent neural network for feature grouping

A Lazy Scheduling Scheme for Improving Hypercube Performance

A league of their own: demographics, motivations and patterns of use of 1,955 male adult non-medical anabolic steroid users in the United States

A Learning Agent that Assists the Browsing of Software Libraries

A learning approach for prioritized handoff channel allocation in mobile multimedia networks

A learning approach to personalized information filtering

A learning approach to shallow parsing

A Learning Method of Fuzzy Reasoning by Genetic Algorithms

A least-squares approach based on a discrete minus one inner product for first order systems

A least-squares approach to blind channel identification

A least-squares eigeneyes decomposition algorithm for face recognition

A lethal effect associated with polymorphism of the NOR-bearing chromosomes in rainbow trout (Oncorhynchus mykiss)

A leucine-supplemented diet improved protein content of skeletal muscle in young tumor-bearing rats

A leukocyte cryopreservation technique for cytogenetic studies

A level set approach for computing discontinuous solutions of Hamilton-Jacobi equations

A level-set approach to 3D reconstruction from range data

A Level-Set Method For Flow Visualization

A lexical database tool for quantitative phonological research

A lexicon for knowledge-based MT

A Library for Doing Polyhedral Operations

A library implementation of POSIX threads under UNIX

A library of concurrent objects and their proofs of correctness

A library of high level control operators

A lifelong learning perspective for mobile robot control

A lightweight algorithm for dynamic if-conversion during dynamic optimization

A Lightweight Multi-Agent Musical Beat Tracking System

A Lightweight Protocol between Digital Libraries and Visualization Systems

A Lightweight Tool for Detecting Web Server Attacks

A lightweight, robust p2p system to handle flash crowds

A limit theorem for "Quicksort". Informatique th'eorique et

A limitation of the kernel method for joint distributions of arbitrary variables

A limited memory variable metric method for bound constraint minimization

A limited role for p53 in modulating the immediate phenotype of Apc loss in the intestine

A linear group polynomial-expansion successive interference cancellation detector

A linear group polynomial-expansion successive interference cancellation detector

A linear kernel on strongly typed terms

A linear logical framework

A linear method for deviation detection in large databases

A linear programming approach for estimating the structure of a sparse linear genetic network from transcript profiling data

A linear programming approach for the weighted graph matchingproblem

A Linear Programming Heuristic for Optimal Planning

A linear relaxation heuristic for the generalized assignment problem

A linear solvation energy relationship study for the reactivity of 2-substituted cyclohex-1-enecarboxylic and 2-substituted benzoic acids with diazodiphenylmethane in aprotic and protic solvents

A linear spine calculus

A linear time erasure-resilient code with nearly optimal recovery

A linear time, constant space differencing algorithm

A Linearly Quasi-Anticipatory Autonomous Agent Architecture: Some Preliminary Experiments

A LINEAR-PROGRAMMING APPROACH FOR THE WEIGHTED GRAPH MATCHING PROBLEM

A LINEAR-PROGRAMMING MODEL TO EVALUATE GAS AVAILABILITY FOR VITAL INDUSTRIES IN SAUDI-ARABIA

A LINEAR-PROGRAMMING MODEL TO EVALUATE GAS AVAILABILITY FOR VITAL INDUSTRIES IN SAUDI-ARABIA

A linear-time probabilistic counting algorithm for database applications

A linguistically interpreted corpus of German newspaper text

A link between high serum levels of human chorionic gonadotrophin and chorionic expression of its mature functional receptor (LHCGR) in Down's syndrome pregnancies

A liquid phase blocking ELISA for the detection of antibodies against infectious bronchitis virus

A list-priority rendering algorithm for redisplaying projected surfaces

A liver metalloendopeptidase which degrades the circulating hypotensive peptide hormones bradykinin and atrial natriuretic peptide

A load balanced distributed computing system

A local formalization of inheritance : Preliminary report

A local learning algorithm for dynamic feedforward and recurrent networks

A local update strategy for iterative reconstruction from projections

A Location-aided Power-aware Routing Protocol in Mobile Ad Hoc Networks

A logarithmic barrier cutting plane method for convex programming

A log-barrier method with Benders decomposition for solving two-stage stochastic programs

A logic based framework for action theories

A logic for approximate reasoning

A logic for concurrent programming

A Logic for Parametric Polymorphism

A logic for probability in quantum systems

A Logic for Reasoning about Probabilities

A logic for reasoning about time and reliability

A logic for the Java Modeling Language JML

A logic language for combinatorial optimization

A logic of authentication

A logic of relative desire (preliminary report

A logic of universal causation

A logic programming language based on binding algebras

A logic programming view of CLP

A logic query language and its algebraic optimization for a multiprocessor database machine," University of Twente, the Netherlands

A logical account of causal and topological maps

A logical AI approach to context

A logical approach to factoring belief networks

A logical approach to high-level robot programming -- a progress report

A logical approach to multidimensional databases

A logical approach to multilevel security of probabilistic systems

A logical basis for component-based systems engineering

A logical DES approach to the design of hybrid control systems

A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model

A logical formalism for head-driven phrase structure grammar

A Logical Framework for Active Rules

A logical framework for integrating inconsistent information in multiple databases

A logical Framework for Scheduling Workflows Under Resource Allocation Constraints

A logical interface description language for components

A Logical Interpretation of RDF

A logical language for expressing authorizations

A Logical Language for Specifying Cryptographic Protocol Requirements

A logical view of composition

A logical view of structured files

A Logical-Form and Knowledge-Base Design for Natural Language Generation

A logically complete reasoning maintenance system based on a logical constraint solver

A logic-based diagram of signalling pathways central to macrophage activation

A Logic-Based Knowledge Representation for Authorization with Delegation

A logic-model semantics for SCR software requirements

A log-structured persistent store

A long step barrier method for convex quadratic programming

A Long-period Survey on Nosocomial Infections in Ilam University Hospitals, Iran

A long-term analysis of growth and usage patterns in the Multicast Backbone (MBone

A long-term survivor of Bland-White-Garland syndrome with systemic collateral supply: A case report and review of the literature

A look at aerosol formation using data mining techniques

A look--ahead algorithm for the solution of block Toeplitz systems

A look-ahead Bareiss algorithm for general Toeplitz matrices

A Loop-Detecting Interpreter for Lazy, Higher-Order Programs

A Loop-Free Path-Finding Algorithm: Specification, Verification and Complexity

A Low Bandwidth Broadcasting Protocol for Video on Demand

A low complexity iris identification algorithm using Fourier Descriptors and neural networks

A low latency, loss tolerant architecture and protocol for wide area group communication

A low molecular weight ES-20 protein released in vivo and in vitro with diagnostic potential in lymph node tuberculosis

A LOW POWER REMOTE DATA ACQUISITION CONTROL MODULE FOR OIL INDUSTRY

A low power, low bandwidth protocol for remote wireless terminals

A low-bandwidth network file system

A low-carbohydrate diet may prevent end-stage renal failure in type 2 diabetes. A case report

A low-carbohydrate, ketogenic diet to treat type 2 diabetes

A low-complexity modeling approach for embedded coding of wavelet coefficients

A low-cost apparatus for transforming Drosophila and detecting green fluorescent protein (GFP) genetic markers

A low-cost dual-slope triangular/square wave generator

A LOW-CURRENT DISCHARGE SOURCE FOR CALCIUM-IONS

A lower bound for integer multiplication with read-once branching programs

A lower bound for multicast key distribution

A lower bound for parallel string matching

A lower bound for randomized algebraic decision trees

A lower bound for sorting networks based on the shuffle permutation

A lower bound for the QRQW PRAM

A Lower Bound for the Time to Assure Interactive Consistency

A lower bound on the complexity of approximate nearest-neighbor searching on the hamming cube

A lower bound on the mod 6 degree of the or function

A Machine Learning Approach to Answering Questions for Reading Comprehension Tests

A Machine Learning Approach to Building Domain-Specific Search Engines

A Machine Learning Approach to Workflow Management

A machine learning architecture for optimizing web search engines

A Machine Verified Distributed Sorting Algorithm

A machine-independent debugger

A machine-learning apprentice for the completion of repetitive forms

A MACHINE-LEARNING APPROACH TO MODELING AND FORECASTING THE MINIMUM TEMPERATURE AT DHAHRAN, SAUDI-ARABIA

A macroscopic analytical model of collaboration in distributed robotic systems

A maintenance strategy for heat transfer equipment subject to fouling: A probabilistic approach

A major genetic component of BSE susceptibility

A major QTL affects temperature sensitive adult lethality and inbreeding depression in life span in Drosophila melanogaster

A majority consensus approach to concurrency control for multiple copy databases

A management interface for distributed fault tolerance CORBA services

A Mark-based interaction paradigm for free-hand drawing

A Marker For Seedlessness In Kinnow Mandarin

A Market Approach to Multirobot Coordination

A market architecture for multi-agent contracting

A Market-Based Approach to Optimal Resource Allocation in Integrated-Services Connection-Oriented Networks

A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems

A markov decision problem based approach to the airline ym problem

A Markov Model for Block Errors on Fading Channels

A Markov random field model for object matching under contextual constraints

A Markov random field which is K but not Bernoulli

A Markov-Based Channel Model Algorithm for Wireless Networks

A Markovian model for TCP analysis in a differentiated services network

A Markovian Model for TCP Analysis in a Dioeerentiated Services Network", Workshop on Quality of future Internet Services

A Marvelous Extended Transaction Processing Model

A mass function based on correlation coefficient and its application

A mass spectrometric study of secondary organic aerosols formed from the photooxidation of anthropogenic and biogenic precursors in a reaction chamber

A mass transfer in heterogeneous systems by the adsorption method (

A mass transfer model applied to the supercritical extraction with CO2 of curcumins from turmeric rhizomes (Curcuma longa L)

A Massively Parallel Adaptive Finite Element Method with Dynamic Load Balancing

A Massively Parallel Approach to Real-Time Vision-Based Road Markings Detection

A Massively Parallel Genetic Algorithm on the MasPar MP-1

A massively parallel RNS architecture

A matching technique in example-based machine translation

A mathematical analysis of actor-critic architectures for learning optimal controls through incremental dynamic programming

A mathematical analysis of tournament selection

A mathematical formulation of the loop pipelining problem

A mathematical framework for group analysis of von Willebrand factor multimeric composition following luminography

A mathematical model for isothermal heap and column leaching

A mathematical model for LH release in response to continuous and pulsatile exposure of gonadotrophs to GnRH

A mathematical model for the adenylosuccinate synthetase reaction involved in purine biosynthesis

A mathematical model for the onset of avascular tumor growth in response to the loss of p53 function

A Mathematical Model for the Removal of Organic Mater in Stabilization Ponds

A mathematical model of glutathione metabolism

A mathematical model of the euglycemic hyperinsulinemic clamp

A mathematical model of venous neointimal hyperplasia formation

A mathematical model separates quantitatively the cytostatic and cytotoxic effects of a HER2 tyrosine kinase inhibitor

A mathematical model to predict the strength of aluminum alloys subjected to precipitation hardening

A MATHEMATICAL OPTIMIZATION MODEL FOR CHEMICAL PRODUCTION AT SAUDI-ARABIA FERTILIZER COMPANY

A MATHEMATICAL OPTIMIZATION MODEL FOR CHEMICAL PRODUCTION AT SAUDI-ARABIA FERTILIZER COMPANY

A mathematical perspective for software measures research

A mathematical semantics for architectural connectors

A Mathematical Theory of

A Mathematically Precise Two-Level Formal Hardware Verification Methodology

A MATHEMATICAL-MODEL FOR THE PERFORMANCE OF RANEY METAL GAS-DIFFUSION ELECTRODES

A matrix-based approach to the global locality optimization problem

A maximum entropy approach to adaptive statistical language modeling

A maximum entropy approach to identifying sentence boundaries

A Maximum Entropy approach to Natural Language Processing

A maximum entropy approach to pairwise data clustering

A maximum entropy model for parsing

A maximum entropy model for part-of-speech tagging

A maximum entropy model for prepositional phrase attachment

A maximum likelihood estimate for two-variable fractal surface

A Maximum Likelihood N-camera Stereo Algorithm

A maximum likelihood ratio information retrieval model

A maximum likelihood stereo algorithm

A maximum-entropy-inspired parser

A maximum-likelihood approach to visual event classification

A measure of symmetry based on shape similarity

A Measurement Based Memory Performance Evaluation of Streaming Media Servers

A Measurement of TCP over Long-Delay Network

A measurement study of available bandwidth estimation tools

A Measurement Study of Internet File Transfer Traffic

A Measurement Study of Peer-to-Peer File Sharing Systems

A measurement-based admission control algorithm for integrated services packet networks

A Measurement-Based Analysis of Expedited Forwarding PHB Mechanisms

A mechanically checked proof of the correctness of the kernel of the AMD5K86 floating point division algorithm

A mechanically verified application for a mechanically verified environment

A mechanically verified code generator

A Mechanically Verified Language Implementation

A mechanisation of computability theory in HOL

A Mechanism for Dynamic Role Playing

A Mechanism for Supporting Client Migration in a Shared Window System

A Mechanism for the Administration of Real-Time Channels

A mechanism for the sharp transition of morphogen gradient interpretation in Xenopus

A Mechanization of Strong Kleene Logic for Partial Functions

A mechanized refinement proof for a garbage collector. Unpublished manuscript

A Media-Independent Content Language for Integrated Text and Graphics Generation

A mediation infrastructure for digital library services

A medical terminology server

A memory model for case retrieval by activation passing

A Memory-Adaptive Sort (MASORT) for Database Systems

A memory-based approach to anti-spam filtering for mailing lists

A memory-based approach to learning shallow natural language patterns

A Meta Model for Structured Workflows Supporting Workflow Transformations

A Meta Modeling Approach for Workflow Management System Supporting Exception Handling

A meta-analysis of hyperfractionated and accelerated radiotherapy and combined chemotherapy and radiotherapy regimens in unresected locally advanced squamous cell carcinoma of the head and neck

A Meta-Analysis of Platinum Plus Gemcitabine or Vinorelbine for Advanced Non-small Cell Lung Cancer

A metaarchitecture for distributed resource management

A metadata resource to promote data integration

A metalanguage for programming with bound names modulo renaming

A metalogical approach to foundational certified code

A meta-method for formal method integration

A meta-model for the analysis and design of organizations in multi-agent systems

A meta-notation for protocol analysis

A Metaobject Architecture for Fault Tolerant Distributed Systems: The FRIENDS Approach

A Metaphor Graphics based Representation of Digital Libraries on the World Wide Web: Using the libViewer to Make Metadata Visible

A meteorological overview of the MILAGRO field campaigns

A Method for Abstracting Newspaper Articles by Using Surface Clues

A Method for Analyzing the Ubiquitination and Degradation of Aurora-A

A Method for Assaying Deubiquitinating Enzymes

A method for constructing multi-layered thickness profiles from micro-PIXE line-scans

A method for detecting the presence of organic fraction in nucleation mode sized particles

A Method for Disjunctive Constraint Satisfaction

A METHOD FOR EXERGY ANALYSIS OF SUGARCANE BAGASSE BOILERS

A method for fast database search for all k-nucleotide repeats

A method for implementing a probabilistic model as a relational database

A method for interactive 3d reconstruction of piecewise planar objects from single images

A method for microbeam spot particle distribution measurements

A method for multiple sequential analyses of macrophage functions using a small single cell sample

A Method for Multistrategy Task-adaptive Learning Based on Plausible Justifications

A method for obtaining digital signatures and public-key cryptosystems

A method for partitioning unity language in hardware and software

A method for probabilistic mapping between protein structure and function taxonomies through cross training

A method for rapidly screening functionality of actin mutants and tagged actins

A Method for Semi-Automatic Ontology Acquisition from a Corporate Intranet

A method for simultaneous variable selection and outlier identification in linear regression

A method for static scheduling of dynamic control programs

A method for the determination of the optical constants (n and k) of thin films with large optical inhomogeneities

A method for the generation of standardized qualitative dynamical systems of regulatory networks

A method for the identification of guinea pig blood meal in the Chagas disease vector, Triatoma infestans

A method for verifying properties of Modechart specifications

A method for watermarking java programs via opaque predicates

A method for word sense disambiguation of unrestricted text

A method of non-rigid correspondence for automatic landmark identification

A method of obtaining fresh water from the humid atmosphere

A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering

A method to compress and anonymize packet traces

A method to estimate cell cycle time and growth fraction using bromodeoxyuridine-flow cytometry data from a single sample

A Method to Identify p62's UBA Domain Interacting Proteins

A method to integrate tables of the world wide web

A method to introduce RE recognition site within coding region of a gene without altering amino acid frame continuity

A method to represent multiple-output switching functions by using multi-valued decision diagrams

A Method to Study the Effects of Chemical and Biological Reduction of Molybdate to Molybdenum Blue in Bacteria

A methodological approach for the construction of a radiation hybrid map of bovine chromosome 5

A methodological report from the Malmأ¶ Diet and Cancer study: development and evaluation of altered routines in dietary data processing

A methodology and an evaluation of the SGI Origin2000

A Methodology and Modelling Technique for Systems of BDI Agents

A methodology for accurate performance evaluation in architecture exploration

A Methodology for Architecture Exploration of Heterogeneous Signal Processing Systems

A methodology for benchmarking Java Grande applications

A Methodology for Developing Agent Based Systems for Enterprise Integration

A methodology for distinguishing divergent cell fates within a common progenitor population: adenoma- and neuroendocrine-like cells are confounders of rat ileal epithelial cell (IEC-18) culture

A methodology for equational reasoning

A methodology for extending focusing frameworks

A methodology for formal design of hardware control with application to cache coherence protocols

A methodology for hardware verification based on logic simulation

A methodology for high-level synthesis of communication on multicomputers

A methodology for integrating heterogeneous databases using a global schema

A METHODOLOGY FOR NETWORK TOPOLOGY DESIGN USING FUZZY EVALUATIONS

A METHODOLOGY FOR OPTICAL ARCHITECTURES MODELING

A methodology for parallelizing programs for multicomputers and complex memory multiprocessors

A methodology for proving termination of logic programs

A methodology for terminology-based knowledge acquisition and integration

A methodology for testing intrusion detection systems

A methodology for testing spreadsheets

A methodology for the analysis of dynamic application parallelism and its application to reconfigurable computing

A methodology for virtual path and virtual network bandwidth assignment in broadband networks with QOS guarantees

A Methodology Using a Microcamera for Studying Mobile

A Microcontroller-Based Soft-Starter For Residential Air-Conditioners: Harmonic Analysis

A microdebonding study of the high-temperature oxidation embrittlement of a cross-ply glass-ceramic/SiC composite

A microeconomic scheduler for parallel computers

A Microfacet-Based BRDF generator

A micromethod for quantitation of debrisoquine and 4-hydroxydebrisoquine in urine by liquid chromatography

A micropipelined ARM

A Microprocessor-Based Controller for the MA 23 Robot Arm

A microprocessor-based digital wattmeter system design

A MICROPROCESSOR-BASED OFFICE IMAGE-PROCESSING SYSTEM - AN EXTENSION OF WORK

A microsatellite-based consensus linkage map for species of Eucalyptus and a novel set of 230 microsatellite markers for the genus

A microstructural study of preferential oxidation at the grain boundaries of Ni-Cr alloys

A MICROWAVE-ASSISTED LIQUEFACTION AS A PRETREATMENT FOR THE BIOETHANOL PRODUCTION BY THE SIMULTANEOUS SACCHARIFICATION AND FERMENTATION OF CORN MEAL

A microwave-catalyzed rapid, efficient and ecofriendly synthesis of substituted pyrazol-5-ones

A middleware system which intelligently caches query results

A middleware toolkit for client-initiated service specialization

A mild and effective method for the conversion of alkenes into alcohols in subcritical water

A miniature space-variant active vision system: Cortex-I

A minimal algorithm for the 0-1 knapsack problem

A minimal algorithm for the multiple-choice knapsack problem

A minimal peach type II chlorophyll a/b-binding protein promoter retains tissue-specificity and light regulation in tomato

A minimal transition system semantics for lightweight class and behavioral diagrams

A minimax theorem for directed graphs

A minimization approach to propositional inductive learning

A Minimized Automaton Representation of Reachable States

A Minimum Cost Approach for Segmenting Networks of Lines

A minimum description length approach to grammar inference

A minimum description length approach to statistical shape modeling

A minimum-time based fuzzy logic dynamic braking resistor control for sub-synchronous resonance

A minor alternative transcript of the fumarylacetoacetate hydrolase gene produces a protein despite being likely subjected to nonsense-mediated mRNA decay

A mitogenomic approach to the taxonomy of pollocks: Theragra chalcogramma and T. finnmarchica represent one single species

A mixed abstraction level simulation model of large-scale Internet worm infestations

A mixed graphical model for rhythmic parsing

A mixed linear and non-linear logic: proofs, terms and models

A Mixed-State Condensation Tracker with Automatic Model-Switching

A mixture density based approach to object recognition for image retrieval

A mixture model for representing shape variation

A mixture model system for medical and machine diagnosis

A mobile element-based evolutionary history of guenons (tribe Cercopithecini)

A mobile host protocol supporting route optimization and authentication

A Mobile Networking System Based on Internet Protocol (IP

A Mobile Object Workbench

A mobile transaction model that captures both the data and movement behavior

A mobile user location update and paging mechanism under delay constraints

A Mobility Based Framework for Adaptive Clustering in Wireless Ad-Hoc Networks

A modal analysis of staged computation

A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment yields Obligation

A modal logic for ??????CRL

A Modal Logic for Hypothesis Theory

A modal perspective on the computational complexity of attribute value grammar

A Modal Programming Language for Representing Complex Actions

A modal temporal logic and its models underlying variants of planning algorithms

A mode of operation with partial encryption and message integrity (PEMI

A mode system for flexible alias protection

A Model and Architecture for Conceptualized Data Annotations

A model and compilation strategy for out-of-core data parallel programs

A Model Checker for Statecharts (Linking CASE Tools with Formal Methods

A model combining cell physiology and population genetics to explain Escherichia coli laboratory evolution

A model for a type theory with Mahlo universe

A model for adaptive fault-tolerant systems

A model for anisotropic reflection

A model for asynchronous reactive systems and its application to secure message transmission

A model for automatic data partitioning

A model for compound type changes encountered in schema evolution

A Model for Distributed System Service

A model for efficient formant estimation

A Model for Estimating Trace-Sample Miss Ratios

A model for fast analog computation based on unreliable synapses

A model for floral color inheritance in Leucaena (Leguminosae)

A model for generating circadian rhythm by coupling ultradian oscillators

A model for image sensing and digitization in machine vision

A model for interactive art

A model for mobile point-to-point data-flow networks without channel sharing

A Model for Multimedia Service Creation and Activation

A model for particle formation and growth in the atmosphere with molecular resolution in size

A model for secure protocols and their compositions

A Model for the CD4 Cell Counts in an HIV/AIDS Patient and its Application in Treatment Interventions

A model for the functioning of the striatum

A Model for the Prediction of R-tree Performance

A model for transactional workflows

A Model for Web Services Discovery with QoS

A Model for Window Based Flow Control in Packet-Switched Networks

A model for worldwide tracking of distributed objects

A model governing the stall characteristics of an isolated axial compressor rotor

A model of chronic IgE-mediated food allergy in ovalbumin-sensitized mice

A model of clinical query management that supports integration of biomedical information over

A model of computation for the NRL protocol analyzer

A Model of Cooperative Noninterference for Integrated Modular Avionics

A model of EGovernance based on knowledge management

A model of evolution with constant selective pressure for regulatory DNA sites

A model of gene-gene and gene-environment interactions and its implications for targeting environmental interventions by genotype

A model of HDO in the tropical tropopause layer

a model of human crowd behavior: group inter-relationship and collision detection analysis

A model of inductive bias learning

A model of infant causal perception and its development

A model of information retrieval based on a terminological logic

A model of landscapes

A model of lexical attraction and repulsion

A model of multimedia information retrieval

A model of noninterference for integrating mixed-criticality software components

A model of nonverbal communication and interpersonal relationship between virtual actors

A model of planning for plan efficiency: Taking advantage of operator overlap

A model of spatial position based on extremal points

A model of textual affect sensing using real-world knowledge

A Model of the Growth of Copper Selenide Thin Films Controlled by Diffusion and Chemical Reaction

A Model of the Statistical Power of Comparative Genome Sequence Analysis

A model of the ternary complex of interleukin-10 with its soluble receptors

A model of tripeptidyl-peptidase I (CLN2), a ubiquitous and highly conserved member of the sedolisin family of serine-carboxyl peptidases

A model of visual recognition and categorization

A model study of epothilone synthesis: an alternative synthetic approach to the C1آ–C7 fragment

A model study of ozone in the eastern Mediterranean free troposphere during MINOS (August 2001)

A model theoretic semantics of OCL

A model to control the epidemic of H5N1 influenza at the source

A model, analysis, and protocol framework for soft state-based communication

A model-based approach to blame assignment: Revising the reasoning steps of problem solvers

A model-based approach to reactive self-configuring systems

A model-based approach to the construction of adaptive case-based planning systems

A model-based gaze tracking system

A model-based mediator system for scientific data management

A modeling study by response surface methodology and artificial neural network on culture parameters optimization for thermostable lipase production from a newly isolated thermophilic Geobacillus sp. strain ARM

A modelling analysis of non-isothermal bubble column reactors

A modelling study of the impact of cirrus clouds on the moisture budget of the upper troposphere

A model-reference adaptive phase-lead/lag process controller

A model-theoretic analysis of knowledge

A model-theoretic approach for recovering consistent data from inconsistent knowledge bases

A moderate decrease in temperature inhibits the calcium signaling mechanism(s) of the regulatory volume decrease in chick embryo cardiomyocytes

A modest proposal for preventing Internet congestion

A modification of a method for phytic acid determination

A modification of Representational Difference Analysis, with application to the cloning of a candidate in the Reelin signalling pathway

A modification of the inter-cuff technique of IVRA for use in knee arthroscopy

A modified ant colony algorithm for evolutionary design of digital circuits

A Modified Ant Colony Algorithm for Evolutionary Design of Digital Circuits

A modified approach to data cache management

A modified band approach for the accurate calculation of online photolysis rates in stratospheric-tropospheric Chemical Transport Models

A modified direct lateral approach in total hip arthroplasty.

A modified Lichtenstein hernia repair using fibrin glue

A modified method for the turbidimetric assay of nisin

A Modified-bulk Segregant Analysis for Late Blooming in Sour Cherry

A Modular and Extensible Network Storage Architecture

A modular and flexible architecture for an integrated corpus query system

A modular approach for programming distributed real-time systems

A modular approach to fault-tolerant broadcasts and related problems

A Modular Approach to Packet Classification: Algorithms and Results

A Modular Distributed Telerobotic Client-Server System

A modular interface of IL-4 allows for scalable affinity without affecting specificity for the IL-4 receptor

A modular module system

A modular proof of correctness for a network synchronizer

A Modular Q-Learning Architecture for Manipulator Task Decomposition

A Modular Reconfigurable Architecture for Asymmetric and Symmetric-key Cryptographic Algorithms

A modular reduction of regular logic to classical logic

A modular self-reconfigurable bipartite robotic system: Implementation and motion planning

A modular system to recognize numerical amounts on Brazilian bank cheques

A modular tension-adjusting splint for tendon transfer in reconstructive surgeries of extremities

A modular visual model for hybrid systems

A modular, analytical throughput model for modern disk arrays

A modular, polyvariant, and type-based closure analysis

A modulated differential scanning calorimetry and small-angle x-ray scattering study of the interfacial region in structured latices

A Module Calculus for Pure Type Systems

A Module System for Scheme

A module-based analytical strategy to identify novel disease-associated genes shows an inhibitory role for interleukin 7 Receptor in allergic inflammation

A Modulo Multiplication Hardware Design

A molecular analysis by gene expression profiling reveals Bik/NBK overexpression in sporadic breast tumor samples of Mexican females

A molecular inclusion complex of atenolol with 2-hydroxypropyl-b-cyclodextrin; the production and characterization thereof

A molecular marker distinguishes the subspecies Melipona quadrifasciata quadrifasciata and Melipona quadrifasciata anthidioides (Hymenoptera: Apidae, Meliponinae)

A molecular method for typing Herpes simplex virus isolates as an alternative to immunofluorescence methods

A molecular phylogeny of Dorylus army ants provides evidence for multiple evolutionary transitions in foraging niche

A molecular scheme for improved characterization of human embryonic stem cell lines

A molecular timescale of eukaryote evolution and the rise of complex multicellular life

A moment-based variational approach to tomographic reconstruction

A monad for basic Java semantics

A monadic analysis of information flow security with mutable state

A monitoring facility for an object-oriented distributed problem solving kernel

A Mononuclear and a Mixed-Valence Chain Polymer Arising from Copper(II) Halide Chemistry and the Use of 2,2'-Pyridil

A monotonic higher-order semantic path ordering

A monotonicity theorem for extended logic programs

A Monte Carlo comparison of PGNAA system performance using Cf-252 neutrons, 2.8-MeV neutrons and 14-MeV neutrons

A Monte Carlo simulation of the packing and segregation of spheres in cylinders

A more Attractive and Interactive TV

A More Efficient RMI for Java

A more realistic sand production prediction using pore collapse theory

A Morphological and Anatomical Study of an Annual Grass Eremopyrum (Poaceae) in Iran

A Morphological Identification in Fish of the Genus Puntius Hamilton 1822 (Cypriniformes: Cyprinidae) of Some Wetlands in Northeast Thailand

A morphologically sensitive clustering algorithm for identifying Arabic roots

A motion-stabilized outdoor augmented reality system

A mouse model for Luminal epithelial like ER positive subtype of human breast cancer

A moving boundary problem and orthogonal collocation in solving a dynamic liquid surfactant membrane model including osmosis and breakage

A moving collocation method for solving time dependent partial differential equations

A Multi-Agent Approach to Dynamic, Adaptive Scheduling of Material Flow

A Multi-Agent Architecture for an Intelligent Website in Insurance

A multi-agent architecture for knowledge management systems

A multi-agent negotiation testbed for contracting tasks with temporal and precedence constraints

A multi-body factorization method for motion analysis

A Multicast Congestion Control Mechanism for Reliable Multicast

A multicast congestion control mechanism using representatives

A Multicast Hybrid ARQ Scheme using MDS Codes and GMD Decoding

A multicast routing protocol for ad-hoc networks

A multicast-based protocol for IP mobility support

A multi-center blinded study on the efficiency of phenotypic screening methods to detect glycopeptide intermediately susceptible Staphylococcus aureus (GISA) and heterogeneous GISA (h-GISA)

A multicenter comparative study of cefepime versus broad-spectrum antibacterial therapy in moderate and severe bacterial infections

A multicenter point-prevalence study: antimicrobial prescription frequencies in hospitalized patients in turkey

A Multicenter Study of Bacterial Vaginosis in Women With or at Risk for Human Immunodeficiency Virus Infection

A multicenter trial of the efficacy and safety of tigecycline versus imipenem/cilastatin in patients with complicated intra-abdominal infections [Study ID Numbers: 3074A1-301-WW; ClinicalTrials.gov Identifier: NCT00081744]

A Multichannel Approach to Fingerprint Classification

A Multichannel CSMA MAC Protocol with Receiver-Based Channel Selection for Multihop Wireless Networks

A Multi-channel MAC Protocol for Ad Hoc Wireless Networks

A multi-class linear learning algorithm related to winnow

A multiclass priority-based slotted-ring network for LAN-ATM interworking

A Multicollaborative Push-Caching HTTP Protocol for the WWW

A multi-context architecture for formalizing complex reasoning

A multi-context monotonic axiomatization of inessential non-monotonicity

A multicopy suppressor screening approach as a means to identify antibiotic resistance determinant candidates in Yersinia pestis

A Multicriteria Approach to Examination Timetabling

A multi-criterion approach for Kanban allocations

A MULTI-CRITERION DECISION-MAKING MODEL FOR CONTRACTOR PREQUALIFICATION SELECTION - NEW PRE-QUALIFICATION METHOD FOR SAUDI-ARABIA PRESENTED UTILIZING ALL PRE-QUALIFICATION FACTORS IMPORTANT TO BUILDING OWNER

A Multicultural Comparison of Engineering Students

A Multidatabase System for Tracking and Retrieval of Financial Data

A Multidatabase System Implementation on CORBA

A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in Databases. Forthcoming

A Multi-Dimensional Representation of Context in a Speech Translation System

A multi-Fc-species system for recombinant antibody production

A multifractal wavelet model with application to network traffic

A multigrid algorithm for the mortar finite element method

A multigrid method for total variation-based image denoising

A multi-layer ipsec protocol

A multi-layer model for the web graph

A multilevel adaptive projection method for unsteady incompressible flow

A Multilevel Algorithm for Force-Directed Graph Drawing

A multilevel approach to intelligent information filtering: Model, system, and evaluation

A Multi-Level Approach to Interlingual MT: Defining the Interface between Representational Languages

A multi-level approach to program synthesis

A Multilevel Approach to Surface Response in Dynamically Deformable Models", Computer Animation Proc

A Multilevel Approach to the Travelling Salesman Problem

A Multilevel Secure Workflow Management System

A multi-level solution algorithm for steady-state Markov chains

A Multilevel Transaction Problem for Multilevel Secure Database Systems and Its Solution for the Replicated Architecture

A Multi-Level WDM Access Protocol for an Optically Interconnected Multiprocessor System

A multilinear singular value decomposition

A multi-lingual architecture for building a normalised conceptual representation from medical language

A Multimedia Enhanced Transport Service in a Quality of Service Architecture

A Multimedia System for Authoring Motion Pictures

A Multi-Microprocessor System for the Control of Robot Welders

A multi-modal human-computer interface: combination of gesture and speech recognition

A Multimodel Methodology for Qualitative Model Engineering

A multi-neuro tagger using variable lengths of contexts

A Multi-Objective Approach to Constrained Optimisation of Gas Supply Networks : The COMOGA Method

A multiobjective evolutionary setting for feature selection and a commonality-based crossover operator

A multiobjective optimization model for the waste management of the petrochemical industry

A Multi-Paradigm Query Interface To An Object-Oriented Database

A Multi-Perspective Framework for Method Integration

A multiple hypothesis approach to figure tracking

A multiple input image restoration approach

A Multiple Perspective Interactive Video Architecture for VSAM

A multiple-method approach reveals a declining amount of chloroplast DNA during development in Arabidopsis

A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools

A multiplex PCR assay able to simultaneously detect Torque teno virus isolates from phylogenetic groups 1 to 5

A multiplicative updating algorithm for training support vector machine

A Multiprocessor Architecture Combining Fine-Grained and Coarse-Grained Parallelism Strategies

A Multiprocessor Architecture for Real-Time Emulation of Management and Control of Broadband Networks

A multi-processor shared memory architecture for parallel cyclic reference counting

A Multiprocessor System for Real-Time Robotics Applications

A multipurpose immobilized biocatalyst with pectinase, xylanase and cellulase activities

A Multiquadric interpolation method for solving initial value problems

A Multiqueue Service Room MAC Protocol for Wireless Networks With Multipacket Reception

A multi-resolution relational data model

A multiresolution spline with application to image mosaics

A Multiresolution Stereo Vision System for Mobile Robots

A multiresolution watermark for digital images

A multi-robot cooperative task achievement system

A multiscale mathematical model of cancer, and its use in analyzing irradiation therapies

A multiscale method for the double layer potential equation on a polyhedron

A multiscale stochastic image model for automated inspection

A Multi-Scale Timeline Slider for Stream Visualization and Control

A multishift algorithm for the numerical solution of algebraic Riccati equations

A multi-similarity algebra

A multistage theory of age-specific acceleration in human mortality

A multistrategy approach to theory refinement

A Multistrategy Learning Scheme for Assimilating Advice in Embedded Agents

A multi-template combination algorithm for protein comparative modeling

A multi-threaded architecture for prefetching in object bases

A multithreaded distributed telerobotic framework

A Multi-Threaded Distributed Telerobotic Framework

A Multithreaded Message Passing Environment for ATM LAN/WAN

A multivalued logic approach to integrating planning and control

A multivariate approach to the association pattern of reciprocal translocations induced by chemicals and ionizing radiation in mouse germ cells

A murine model of ulcerative colitis: induced with sinusitis-derived superantigen and food allergen

A mutant cell line partially responsive to both IFN-a and IFN-g

A mutation in the centriole-associated protein centrin causes genomic instability via increased chromosome loss in Chlamydomonas reinhardtii

A Mutual Exclusion Algorithm for Ad Hoc Mobile Networks

A Mycological Survey on Feed Ingredients and Mixed Animal Feeds in Ghom Province, Iran

A Naive Time Analysis and its Theory of Cost Equivalence

A nanoplex PCR assay for the rapid detection of vancomycin and bifunctional aminoglycoside resistance genes in Enterococcus species

A national survey of the prevalence of schistosomiasis and soil transmitted helminths in Malaŵi

A natural language approach to multi-word term conflation

A natural law of succession

A natural mineral supplement provides relief from knee osteoarthritis symptoms: a randomized controlled pilot trial

A natural seaweed derived mineral supplement (Aquamin F) for knee osteoarthritis: A randomised, placebo controlled pilot study

A Natural Semantics for Lazy Evaluation

A near exact image expansion scheme for bi-level images

A Necessarily Parallel Attack

A Necessary and Sufficient Condition for Deadlock-Free Wormhole Routing

A Needed Narrowing Strategy

A negative deviation from Stern-Volmer equation in fluorescence quenching

A negative ion survey; Towards the completion of the periodic table of the negative ions

A Negotiation Architecture for Fluid Documents

A negotiation-based interface between a real-time scheduler and a decision-maker

A Nested Transaction Mechanism for LOCUS

A nested-graph model for the representation and manipulation of complex objects

A nested-PCR with an Internal Amplification Control for the detection and differentiation of Bartonella henselae and B. clarridgeiae: An examination of cats in Trinidad

A Network Architecture for Heterogeneous Mobile Computing

A Network Architecture for Mobile Computing

A network architecture providing host migration transparency

A network dimensioning tool

A Network Firewall

A Network for Extracting the Locations of Point Clusters using Selective Attention

A network information theory for wireless communication: Scaling laws and optimal operation

A network measurement architecture for adaptive applications

A network perimeter with secure external access

A network processor performance and design model with benchmark parameterization

A network Pump

A network version of the pump

A Network-Aware Distributed Storage Cache for Data Intensive Environments

A network-based simulation laboratory for collaborative research and technology transfer

A network-centric approach to embedded software for tiny devices

A network-conscious approach to end-to-end video delivery over wide area networks using proxy servers

A neural implementation of conceptual hierarchies with Bayesian reasoning. Pp. 297--303 in

A neural model of contour integration in the primary visual cortex

A neural network approach for estimating examinees' proficiency levels in computerized adaptive testing

A Neural Network Approach For Estimating Examinees' Proficiency Levels in Computerized Adaptive Testing

A neural network approach to the scattering from a spherical shellwith a circular aperture

A neural network architecture for visual selection

A neural network autoassociator for induction motor failure prediction

A neural network based hybrid system for detection, characterization and classification of short-duration oceanic signals

A neural network based, speaker independent, large vocabulary, continuous speech recognition system: The WERNICKE Project

A neural network method for identification of prokaryotic and eukaryotic signal peptides and prediction of their cleavage sites

A neural network-based approach for on-line dynamic stability assessment using synchronizing and damping torque coefficients

A neural networks approach for wind speed prediction

A neural-network approach to the inverse-scattering problem from a circular conducting cylindrical scatterer

A Neuroeconomics Approach to Inferring Utility Functions in Sensorimotor Control

A neuroevolution method for dynamic resource allocation on a chip multiprocessor

A neuroidal architecture for cognitive computation

A Neutral Model of Transcriptome Evolution

A new 2-D exact moment recovery with application to fast frequencyresponse estimation

A new actinic flux 4'Symbol'>p-spectroradiometer: instrument design and application to clear sky and broken cloud conditions

A New Addition to the Siwalik Carnivora from the Tertiary Rocks of Pakistan

A New Algorithm for 2D Hydrophobic-Polar Model: An Algorithm Based on Hydrophobic Core in Square Lattice

A new algorithm for energy minimization with discontinuities

A new algorithm for faster mining of generalized association rules

A new algorithm for generative planning

A new algorithm for Golomb ruler derivation and proof of the 19 mark ruler

A new algorithm for MPEG video encryption

A new algorithm for multi-objective graph partitioning

A new algorithm for non-rigid point matching

A new algorithm for partial redundancy elimination based on SSA form

A new algorithm for RNS decoding

A new algorithm for standard cell global routing

A NEW ALGORITHM FOR STATE ESTIMATION OF STOCHASTIC LINEAR DISCRETE-SYSTEMS

A new algorithm for state estimation of stochastic linear discretesystems

A New Algorithm to Find a Point in Every Cell Defined by a Family of Polynomials

A New Alkaline alpha-Amylase from the Facultative Alkalophile Verticillium lateritium

A New Alternative for Edible Olive Oil

A New Analyzer Based on Pellistor Sensor with Neural Network Data Postprocessing for Measurement of Hydrocarbons in Lower Explosive Limit Range

A New and Efficient All-Or-Nothing Disclosure of Secrets Protocol

A new and fast frequency response estimation technique for noisy systems

A new and fast frequency response estimation technique for noisysystems

A new and improved design for multi-object iterative auctions

A NEW AND NATURAL PROOF TO BOTH THE ARCSINE LAW AND A RELATED RESULT

A new approach for automatic theorem proving in real geometry

A new approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method

A New Approach for Controlling Low Boron Concentration in Nutrient Solutions

A New Approach for Recognizing Saudi Arabian License Plates using Neural Networks

A new approach for vanishing point detection in architectural environments

A new approach to abstract syntax involving binders

A new approach to cache management

A new approach to channel access scheduling for ad hoc networks

A New Approach to Computing Optimal Schedules for the Job-Shop Scheduling Problem

A New Approach to Content-based Video Indexing Using Hidden Markov Models

A new approach to control flow analysis

A New Approach to Developing and Implementing Eager Database Replication Protocols

A new approach to differentiate recent vs chronic toxoplasma infection: Avidity elisa in toxoplasma serology

A new approach to face localization in the HSV space using the Gaussian model

A new approach to finding objects in programs

A new approach to generalized mixture tying for continuous HMM-based speech recognition

A New Approach to Generic Functional Programming

A new approach to I/O performance evaluation---self-scaling I/O benchmarks, predicted I/O performance

A new approach to implement proportional share resource allocation

A new approach to integrating mixed integer programming and constraint logic programming

A new approach to inverse spectral theory

A New Approach to Manipulator Control: the Cerebellar Model Articulation Controller (CMAC

A new approach to 'megaprimer' polymerase chain reaction mutagenesis without an intermediate gel purification step

A new approach to model the stationary behavior of TCP connections

A New Approach to Scheduling Parallel Programs Using Task Duplication

A new approach to sequence comparison: normalized sequence alignment

A new approach to service provisioning in ATM networks

A new approach to simulating flow in discrete fracture networks with an optimized mesh

A new approach to solve permutation scheduling problems with ant colony optimization

A New Approach to Support Delay-Sensitive VBR Video in Packet-Switched Networks

A new approach to the joined estimation of the heat generated by a semicontiunuous emulsion polymerization Qr and the overall heat exchange parameter UA

A new approach to the maximum-flow problem

A new approach to the minimum cut problem

A new approach to the synthesis of (آ±)-methyl jasmonate and (آ±)-baclofen via conjugated addition of oxazoline cyanocuprate to Michael acceptors

A new approach to treatment of resistant gram-positive infections: potential impact of targeted IV to oral switch on length of stay

A new approach to utilize Hydrogen as a safe fuel

A New Approach to Version Control

A new approach to video sequence recognition based on statistical methods

A New Approach to Word Sense Disambiguation

A new architecture for a parallel finite field multiplier with low complexity based on composite fields

A new authentication protocol for GSM networks

A new authentication protocol for GSM: Networks

A new authentication protocol for roaming users in GMS networks

A new authentication protocol for roaming users in GSM networks

A New Biasing Technique for the MOS transistor

A New Biological Model System for the Determination of Industrial and Agricultural Effluents Polluted the Aquatic Environment In vitro

A New Biomimetic Model for the Active Site of Oxovanadium(IV)-Transferrins ? [OVIV(tf)]

A new bound for the quadratic assignment problem based on convex quadratic programming

A new brain metalloendopeptidase which degrades the Alzheimer أں-amyloid 1-40 peptide producing soluble fragments without neurotoxic effects

A new c compiler

A New Caching Architecture for Efficient Video Services on the Internet

A new catalytic cracking process to maximize refinery propylene

A new change of variables for efficient BRDF representation

A new channel estimator for fast start-up equalization

A new characterization of the trifocal tensor

A NEW CHARGE-SIMULATION-BASED METHOD FOR ANALYSIS OF MONOPOLAR POISSONIAN FIELDS

A new class of asynchronous iterative algorithms with order intervals

A new class of biorthogonal wavelet systems for image transform coding

A new class of decidable hybrid systems

A new class of dihaloquinolones bearing N'-aldehydoglycosylhydrazides, mercapto-1,2,4-triazole, oxadiazoline and a-amino ester precursors: synthesis and antimicrobial activity

A new class of evanescent-mode waveguide filters

A new class of optimal high-order strong-stability-preserving time discretization methods

A new class of stuck unknots in P ol 6

A new class of unbalanced Haar wavelets that form an unconditional basis for Lp on general measure spaces

A new class of upper bounds on the log partition function

A new clinical test for radial tunnel syndrome-the Rule-of-Nine test: A cadaveric study.

A new combination and a new name in mexican Euphorbiaceae

A new combination in Mirandea (Acanthaceae)

A new compression technique for binary text images

A new concept for cancer therapy: out-competing the aggressor

A new Concept of Refinement used for Behaviour Modelling with Automata

A new concept of relatedness and its significance to the theory of social evolution

A new congestion control scheme: Slow start and search (Tri-S

A new convective cloud field model based on principles of self-organisation

A new correctness proof of the Nelson-Oppen combination procedure

A NEW CORRELATION FOR 2-PHASE FLOW-THROUGH CHOKES

A new criterion for selecting models from partially observed data

A new current line division concept for the determination of the current distribution in electrochemical cells. Part I. Theoretical background of the آ“corner weaknessآ” effect in electroforming

A new current-controlled multiphase sinusoidal oscillator usingtranslinear current conveyors

A new current-controlled multiple-output current-conveyor

A new data structure for cumulative frequency tables

A new deadlock recovery mechanism for fully adaptive routingalgorithms

A new definition of shape complexity for metal extrusion

A new design methodology for optical hypercube interconnectionnetwork

A new device for measurement of fibrin clot lysis: application to the Euglobulin Clot Lysis Time

A new dimensionless group for the estimation of the current density distribution in an electrochemical cell

A new dinucleating N,O donor ligand (H2BPClNOL) and the structural and magnetic properties of two diiron complexes with the di-m-alkoxo motif

A new dispatching rule for the stochastic single-machine scheduling problem

A New Dispatching Rule For The Stochastic Single-Machine Scheduling Problem

A new efficient and direct solution for pose estimation using quadrangular targets: algorithm and evaluation

A New ent-Clerodane Diterpene from Hymenaea courbaril var. altissima

A New Entropy Measure Based on the Wavelet Transform and Noise Modeling

A new enzymatic route for production of long 5'-phosphorylated oligonucleotides using suicide cassettes and rolling circle DNA synthesis

A new equational foundation for the fluent calculus

A new error concealment technique for audio transmission with packet loss

A new estimate of afrotherian phylogeny based on simultaneous analysis of genomic, morphological, and fossil evidence

A new evolutionary system for evolving artificial neural networks

A new exact algorithm for rectilinear steiner trees

A new expansion of symmetric functions and their application to non-disjoint functional decompositions for LUT-type FPGAs

A new experimental approach for studying bacterial genomic island evolution identifies island genes with bacterial host-specific expression patterns

A NEW EXPERIMENTAL ENHANCEMENT TO GPIB STANDARD - GENERAL-PURPOSE SERIAL INTERFACE NETWORK (GPSI)

A new extract of the plant calendula officinalis produces a dual in vitro effect: cytotoxic anti-tumor activity and lymphocyte activation

A New Face for Ergo: Adding a User Interface to A Programmable Theorem Prover

A new family of authentication protocols

A new family of polymerases related to superfamily A DNA polymerases and T7-like DNA-dependent RNA polymerases

A new fast and e cient image codec based on set partitioning in hierarchical trees

A new fast and efficient image codec based on Set Partitioning in Hierarchical Trees

A new fast DCT based digital watermarking technique

A NEW FAULT INDEPENDENT TEST-GENERATION ALGORITHM FOR COMBINATIONAL LOGIC-CIRCUITS

A New Fault-Tolerant Algorithm for Clock Synchronization

A new feedback mechanism linking forests, aerosols, and climate

A NEW FINITE-ELEMENT ANALYSIS OF AN IONIZED FIELD IN COAXIAL CYLINDRICAL GEOMETRY

A new flux-based harmonic elimination technique

A New Focus for Side Collision Warning Systems for Transit Buses

A new formalization of probabilistic GLR parsing

A New Formulation for Characterization of Materials Based on Measured Transfer Function

A new formulation of the dam problem

A new forward-secure digital signature scheme

A new framework for itemset generation

A new friction factor model and entrance loss coefficient for honeycomb annular gas seals

A new functional expansion for nonlinear systems

A new fuzzy logic controller based IPM synchronous motor drive

A new fuzzy operator and its application to topology design of distributed local area networks

A NEW GCR WAVEFORM FOR DEGHOSTING TV SIGNALS

A NEW GENERAL STATE-SPACE REPRESENTATION FOR DISCRETE-TIME-SYSTEMS

A new generation of global wireless compatibility

A new generation of pPRIG-based retroviral vectors

A new genetic algorithm approach for unit commitment

A New Genetic-Based Tabu Search Algorithm For Unit Commitment Problem

A New Genus and a New Species of Hormaphidinae (Hemiptera, Aphididae) from Japan

A New Germacrane Sesquiterpene from the Brazilian Endemic Gorgonian Phyllogorgia dilatata Esper

A new GFP-tagged line reveals unexpected Otx2 protein localization in retinal photoreceptors

A new graduate course on neural networks

A new graduate course on optical computing

A new graph triconnectivity algorithm and its parallelization

A new greedy approach for facility location problems

A new heuristic for rectilinear steiner trees

A new hierarchical disk architecture

A new higher order finite-difference approximation scheme for the method of lines

A new higher order finite-difference approximation scheme for themethod of lines

A new ID-based group signature scheme from bilinear pairings

A new identification scheme based on the Bilinear Diffie-Hellman problem

A new identification scheme based on the perceptrons problem

A new improved cost-table-based technique for synthesis of 4-valued unary functions implemented using current-mode CMOS circuits

A new improved cost-table-based technique for synthesis of 4-valuedunary functions implemented using current-mode CMOS circuits

A New in Vitro Enzymatic Method to Evaluate the Protective Effect of Phytic Acid Against Copper Ions

A new incision for unilateral cleft lip repair developed using animated simulation of repair on computer

A new indexing method for approximate string matching

A new indication of sildenafil in medicine: Hypoxic cell sensitizer for penile cancer

A new initiative for the development of new diagnostic tests for human African trypanosomiasis

A new injection limitation mechanism for wormhole networks

A new inorganic atmospheric aerosol phase equilibrium model (UHAERO)

A new integral involving the product of Bessel functions and associated Laguerre polynomials

A New Interface for the PEP Tool -- Parallel Finite Automata

A new isoflavone isolated from Harpalyce brasiliana

A new isopimarane diterpenoid from Vellozia pusilla pohl (velloziaceae)

A new journal – 'Theoretical Biology and Medical Modelling'

A new karyotype for the genus Cavia from a southern island of Brazil (Rodentia - Caviidae)

A New Large Bramatherium Giraffe Bramatherium giganteus sp. Nov. From Siwalik Formations, Punjab, Pakistan

A NEW LASER VOLTMETER

A new learning algorithm for blind signal separation

A New Learning Method for the Design of Hierarchical Fuzzy Controllers Using Messy Genetic Algorithms

A New Linear Group-Wise Parallel Interference Cancellation Detector

A New Linear Group-Wise SIC multiuser Detector

A new linear hybrid multiuser detector for CDMA systems

A new load frequency variable structure controller using genetic algorithms

A new loading algorithm for discrete multitone transmission

A new location technique for the active office

A New Logical Framework for Deductive Planning

A new look at pfair priorities

A new look at the conditions for the synthesis of speed-independent circuits

A new matrix--free algorithm for the large--scale trust--region subproblem

A new member of the chalcone synthase (CHS) family in sugarcane

A new meta-complexity theorem for bottom-up logic programs

A new method for determination of varicella-zoster virus immunoglobulin G avidity in serum and cerebrospinal fluid

A new method for efficient symbolic propagation in discrete Bayesian networks

A new method for Fourier analysis of discontinuous and peaky periodic waveforms

A new method for mapping optimization problems onto neural networks

A new method for similarity indexing of market basket data

A new method for solving hard satisfiability problems

A new method for the identification of Hammerstein model

A new method for undecidability proofs of first order theories

A new method of extracting closed contours using maximal discs

A new method to combat with frequency offsets in wireless OFDM systems

A New Method to Estimate Intrinsic Parameters in the Ping-pong Bisustrate Kinetic: Application to the Oxipolymerization of Phenol

A New Method to Express Functional Permissibilities for LUT based FPGAs and Its Applications

A new method to index and query sets

A new method to transfect the hypoblast of the chick embryo reveals conservation of the regulation of an Otx2 enhancer between mouse and chick extraembryonic endoderm

A new metric-based approach to model selection

A new model defines the minimal set of polymorphism in HLA-DQ and -DR that determines susceptibility and resistance to autoimmune diabetes

A New Model for Availability in the Face of Self-Propagating Attacks

A new model for packet scheduling in multihop wireless networks

A new model for the immobilization of the rat hind limb

A new model for thermodynamic analysis of a drying process

A new molecular breast cancer subclass defined from a large scale real-time quantitative RT-PCR study

A new moment-dependent method of probability distributionidentification

A new multimodulus blind equalization algorithm

A new multiobjective evolutionary algorithm for environmental/economic power dispatch

A new multiobjective evolutionary algorithm forenvironmental/economic power dispatch

A new natural auaternary indole slkaloid isolated from Tabernaemontana laeta Mart. (Apocynaceae)

A new nematode species Goezia leporini n. sp. (Anisakidae) from cultured freshwater fish Leporinus macrocephalus (Anostomidae) in Brazil

A New Nematode Spirocotyle otolithi n. gen, n.sp, (Camallanidae Railliet and Henry, 1915) from the Fish Otolithus rubber (Schneider) of Karachi Coast

A New Normal Form for Nested Relations

A new normal form for the design of relational database schemata

A new ordering and grouping algorithm for the linear weighted group matched filter successive interference cancellation detector

A new ordering and grouping algorithm for the linear weighted group matched filter successive interference cancellation detector

A new ordering and grouping algorithm for the linear weighted group matched filter successive interference cancellation detector

A new ordering for stochastic majorization: Theory and applications

A new paradigm for public key identification

A New Parallel Genetic Algorithm Model

A new particle-swarm-based algorithm for distribution system expansion planning including distributed Generation

A New Penalty Function Algorithm For Convex Quadratic Programming

A new penalty function algorithm for convex quadratic programming

A new pentacyclic triterpene isolated from Myroxylon balsamum (syn. Myroxylon peruiferum)

A new perspective on phylogeny and evolution of tetraodontiform fishes (Pisces: Acanthopterygii) based on whole mitochondrial genome sequences: Basal ecological diversification?

A new picture of cell wall protein dynamics in elongating cells of Arabidopsis thaliana: Confirmed actors and newcomers

A new polyphase current-mode filter using digitally-programmable CCCII

A new potential field-based algorithm for path planning

A New Presumed Commit Optimization for Two Phase Commit

A new probabilistic model of text classification and retrieval

A new procedure for evaluating the material resistance curve under static loading conditions by applying the potential drop method

A New Process Model for Functions

A new proposal for RSVP refreshes

A new protocol and lower bounds for quantum coin flipping

A new protocol for optical high-speed packet-switched networks

A new public key cryptosystem based on higher residues

A New Public-Key Cryptosystem

A New Pyrano Xanthone from the Stem Barks of Garcinia tetrandra Pierre

A new rate-based switch algorithm for ABR traffic to achieve max-min fairness with analytical approximation and delay adjustment

A new reactive power optimization algorithm

A New Record of Thelytoky in the Egg Parasitoid Anagrus atomus (Linnaeus) (Hymenoptera: Mymaridae)

A new recursion-theoretic characterization of the polytime functions

A new reverse transcription-polymerase chain reaction method for accurate quantification

A new robust operator for computer vision: Theoretical analysis

A new robust scheme for harmonic elimination

A new role for reduction in pressure drop in cyclones using computational fluid dynamics techniques

A new rounding procedure for the assignment problem with applications to dense graph arrangement problems

A New Routing Protocol for the Reconfigurable Wireless Networks

A new schema theory for genetic programming with one-point crossover and point mutation

A new scheme for training feed-forward neural networks

A new shape for an old function: lasting effect of a physiologic surgical restoration of the left ventricle

A new short-term toxicity assay using Aspergillus awamori with recombinant aequorin gene

A new simulated annealing-based tabu search algorithm for unitcommitment

A NEW SINGLE ASYMMETRIC ERROR CORRECTING CODE OF LENGTH 19

A new single asymmetric error correcting code of length 19

A new species of callaeum (malpighiaceae) from Puebla, Mexico

A New Species of Psammophilic Scorpion From Iran (Scorpions: Buthidae)

A new species of terrestrial planarian (Platyhelminthes: Tricladida: Terricola) from South Brazil

A new spherical Bessel function result related to quantum mechanical scattering theory

A new spreadsheet method for the analysis of bivariate flow cytometric data

A new standard nomenclature for proteins related to Apx and Shroom

A new static differential CMOS logic with superior low power performance

A New Statistical Parser Based on Bigram Lexical Dependencies

A New Statistical Testing for Symmetric Ciphers and Hash Functions

A new survival model for hyperthermic intraperitoneal chemotherapy (HIPEC) in tumor-bearing rats in the treatment of peritoneal carcinomatosis

A new synchronous lower bound for set agreement. Submitted for publication

A NEW SYNTHETIC APPROACH TO N-PROTECTED AMINO ALDEHYDES

A new system for the spectrophotometric determination of trace amounts of nitrite in environmental samples

A new tabu search algorithm for the long-term hydro scheduling problem

A new technique for audio packet loss concealment

A new technique of arsenic determination based on electrolytic arsine generation and atomic absorption spectroscopy

A New Test Statistic Based on Shrunken Sample Variance for Identifying Differentially Expressed Genes in Small Microarray Experiments

A New Text Mining Approach for Finding Protein-to-Disease Associations

A New tormentic acid derivative from Luehea divaricata Mart. (Tiliaceae)

A new trust region technique for the maximum weight clique problem

A new type system for secure information flow

A new variable structure DC motor controller using genetic algorithms

A new variable structure DC motor controller using geneticalgorithms

A new variety of Cyrtocarpa edulis (Anacardiaceae)

A New Variety of Salvia macrosiphon (Lamiaceae) for Iran

A new way of describing meiosis that uses fractal dimension to predict metaphase I

A new way to use semidefinite programming with applications to linear equations mod p

A New Wheat Variety Haider-2000 for Rainfed Areas of NWFP

A New Yeast Poly(A) Polymerase Complex Involved in RNA Quality Control

A New Zealand digital library for computer science research

A new, fast and low-cost FFT estimation scheme of signals using 1-bit non-subtractive dithered quantization

A new, fast and semi-automated size determination method (SASDM) for studying multicellular tumor spheroids

A new, simpler linear-time dominators algorithm

A new34-approximation algorithm for MAX SAT

A next generation architecture for air traffic management systems

A niched Pareto genetic algorithm for multiobjective environmental/economic dispatch

A Niched Pareto Genetic Algorithm for Multiobjective Optimization

A nitty-gritty aspect of correlation and network inference from gene expression data

A NN/HMM hybrid for continuous speech recognition with a discriminant nonlinear feature extraction

A non-blocking recovery algorithm for causal message logging

A nonconforming multigrid method using conforming subspaces

A non-destructive method for mapping formation damage

A nondeterministic minimization algorithm

A non-existence result for compact Einstein warped products

A non-hierarchical procedure for re-synthesis of complex textures

A Non-Homogeneous Markov Software Reliability Model with Imperfect Repair

A Noniterative Formulation For 2-D Optical Waveguide Discontinuity Problems Based On Pade Approximants

A non-linear generalisation of PDMs using polynomial regression

A non-linear multiple-model state estimation scheme for pipeline leak detection and isolation

A nonlinear PID servo controller for computer hard disk drives

A nonlinear primal-dual method for total variation-based image restoration

A nonlinear programming algorithm for solving semidefinite programs via low-rank factorization

A non-linear time lower bound for boolean branching programs

A nonlinear two phase fluid flow through a porous medium in presence of a well

A nonmonotonic rule system using ontologies

A nonparametric approach to pricing and hedging derivative securities via learning networks

A nonparametric multiscale markov random field model for synthesising natural textures

A non-parametric multi-scale statistical model for natural images

A non-photorealistic lighting model for automatic technical illustration

A non-projective dependency parser

A non-randomised, single-centre comparison of induction chemotherapy followed by radiochemotherapy versus concomitant chemotherapy with hyperfractionated radiotherapy in inoperable head and neck carcinomas

A non-sense mutation in the putative anti-mutator gene ada/alkA of Mycobacterium tuberculosis and M. bovis isolates suggests convergent evolution

A Nonstandard Approach to the Logical Omniscience Problem

A normal form for first-order temporal formulae

A Normal Form for Relational Databases that is Based on Domains and Keys

A normal form for XML documents

A notation and logic for mobile computing

A note on a symmetry analysis and exact solutions of a nonlinear fin equation

A note on blow up of solutions of a quasilinear heat equation with vanishing initial energy

A note on Chernikova's algorithm

A note on distance approximating trees in graphs

A note on distributed computing

A note on electromagnetic fields of a slowly rotating magnetized neutron star

A NOTE ON ENERGY MINIMIZATION AND THE QUANTUM-MECHANICAL VIRIAL-THEOREM FOR THE CLASS OF POTENTIALS V(X)=A-VERTICAL-BAR-X-VERTICAL-BAR(N)

A note on gravitational wave lensing

A note on ideal tripartite access structures, available at http://eprint.iacr.org/2002/193

A note on interactive theorem proving with theorem continuations

A note on knowledge-based programs and specifications

A note on learning from multiple-instance examples

a note on learning vector quantization

A note on n similar parallel processes

A note on negligible functions

A note on operator splitting in the stiff linear case

A Note on Parameter Values of REM with Reno-like Algorithms

A note on random 2-SAT with prescribed literal degrees

A Note on Redundancy in Encrypted Messages

A Note on Spector's Quantifier-Free Rule of Extensionality

A note on storage fragmentation and program segmentation

A note on the bi-linear Diffie-Hellman assumption???, IACR Cryptology ePrint Archive, Report 2002/113

A Note on the Complexity of P-Matrix LCP and Computing an Equilibrium

A note on the existence of the Alizadeh-Haeberly-Overton direction for semidefinite programming

A note on the fairness of additive increase and multiplicative decrease

A note on the implementation and applications of linear logic programming languages

A Note on the Minimality Problem in Indefinite Summation of Rational Functions

A note on the Noyori model for chiral amplification in the aminoalcohol-catalyzed reaction of aldehydes with dialkylzinc

A note on the numerical solution of complex Hamiltonian and skew-Hamiltonian eigenvalue problems

A note on the oriented chromatic number of graphs with maximum degree three

A note on the quality of random variates generated by the ratio of uniforms method

A note on the round-complexity of Concurrent Zero-Knowledge

A Note on the Smyth Powerdomain Construction

A note on time and space methods in network calculus

A note on total functions, existence theorems, and computational complexity

A novel activating role of SRC and STAT3 on HGF transcription in human breast cancer cells

A Novel Allometric Approach to Xenobiotic Clearance

A novel analogue current-mode current-controlled frequency divider/multiplier

A novel and generalizable organotypic slice platform to evaluate stem cell potential for targeting pediatric brain tumors

A Novel and One-Pot Synthesis of 6-arylpyrimidin-4-ol

A Novel Application of Theory Refinement to Student Modeling

A novel approach for evaluating the performance of SPC product codes under erasure decoding

A novel approach for evaluating the performance of SPC productcodes under erasure decoding

A novel approach for pileup detection in gamma-ray spectroscopy using deconvolution

A Novel Approach for Production of Highly Active Baker`s Yeast from Fodder Yeast, a Byproduct from Ethanol Production Industry

A novel approach for rapid screening of mitochondrial D310 polymorphism

A novel approach for skew estimation of document images in OCR system

A novel approach in the treatment of neuroendocrine gastrointestinal tumors: Additive antiproliferative effects of interferon-γ and meta-iodobenzylguanidine

A novel approach to conventional power system stabilizer design using tabu search

A Novel Approach to Graphics

A novel approach to simultaneously scan genes at fragile sites

A novel approach to toxicology simulation based on autonomous objects

A Novel Arabic Text Steganography Method Using Letter Points and Extensions

A novel architecture for queue management in the ATM network

A novel aromatic oil compound inhibits microbial overgrowth on feet: a case study

A novel audio coding scheme using warped linear prediction model and the discrete wavelet transform

A novel bandpass filter based on current feedback amplifier

A Novel bioreactor with mechanical stimulation for skeletal tissue engineering

A novel BRCA-1 mutation in Arab kindred from east Jerusalem with breast and ovarian cancer

A Novel Broadband Ultrasonic Location System

A novel catalyst for heavy oil hydrocracking

A novel circular invasion assay mimics in vivo invasive behavior of cancer cell lines and distinguishes single-cell motility in vitro

A novel copper complex induces ROS generation in doxorubicin resistant Ehrlich ascitis carcinoma cells and increases activity of antioxidant enzymes in vital organs in vivo

A Novel Cross-Disciplinary Multi-Institute Approach to Translational Cancer Research: Lessons Learned from Pennsylvania Cancer Alliance Bioinformatics Consortium (PCABC)

A novel current-controlled oscillator using translinear current conveyors

A novel current-conveyor-based universal current-mode filter

A Novel Current-Mode OTA-C Universal Filter

A novel current-mode OTA-C universal filter Vol. 2, 2007, pp. 279-284

A Novel Defect Identification Scheme in Ultrasonic Non Destructive Evaluation

A novel defect identification scheme in ultrasonic nondestructive evaluation

A NOVEL DESIGN FOR A MICROPROCESSOR-CONTROLLED PATTERN GENERATOR

A novel Dictyostelium RasGEF required for chemotaxis and development

A novel diffuse gastric cancer susceptibility variant in E-cadherin (CDH1) intron 2: A case control study in an Italian population

A novel dihydroxy nor-guaiane sesquiterpene: synthesis and crystal structure analysis

A Novel Dimer of أƒإ½أ‚آ±-Tocopherol

A novel duplication polymorphism in the FANCA promoter and its association with breast and ovarian cancer

A novel EB-1/AIDA-1 isoform, AIDA-1c, interacts with the Cajal body protein coilin

A novel ESR approach to accurately probe transition temperatures in liquid crystalline systems

A novel expression platform for the production of diabetes-associated autoantigen human glutamic acid decarboxylase (hGAD65)

A novel expression system of domain I of human beta2 glycoprotein I in Escherichia coli

A novel facultative mutualistic relationship between bufonid tadpoles and flagellated green algae

A novel fingerprint image compression technique using wavelets packets and pyramid lattice vector quantization

A novel flash erase EEPROM memory cell with reversed poly roles

A novel flow cytometric assay for measurement of In Vivo pulmonary neutrophil phagocytosis

A novel function for the presenilin family member spe-4: inhibition of spermatid activation in Caenorhabditis elegans.

A novel functional module detection algorithm for protein-protein interaction networks

A novel Geobacteraceae-specific outer membrane protein J (OmpJ) is essential for electron transport to Fe (III) and Mn (IV) oxides in Geobacter sulfurreducens

A Novel Handoff Scheme for Wireless ATM Networks

A novel high efficiency, low maintenance, hydroponic system for synchronous growth and flowering of Arabidopsis thaliana

A NOVEL HIGH NUCLEARITY BIMETALLIC CLUSTER - THE CRYSTAL-STRUCTURE OF [N(PPH3)2][AG6CU7(C2PH)14]

A novel higly accurate current mirror

A Novel Hybrid Technique for Discrete Rate-Distortion Optimization with Applications to Fast Codebook Search for SVQ

A novel hybrid ultrafast shape descriptor method for use in virtual screening

A novel internal model control scheme for adaptive tracking of nonlinear dynamic plants

A Novel Internal Model Control Scheme for Adaptive Tracking of Nonlinear Dynamic Plants

A Novel Irrigation System (Water Pillow) with Mulching Effect for the Control of Weeds in Soybean Plants of Arid and Semi-arid Regions

A novel Kv1.1 potassium channel blocking toxin from the venom of Palamneus gravimanus (Indian black scorpion)

A novel Leishmania infantum nuclear phosphoprotein Lepp12 which stimulates IL1-beta synthesis in THP-1 transfectants

A novel linear time corner detection algorithm

A novel link between the proteasome pathway and the signal transduction pathway of the Bone Morphogenetic Proteins (BMPs)

A novel loss indication filtering approach for multicast congestion control

A novel low-component-count single-element-controlled sinusoidal oscillator using the CFOA pole

A novel mac protocol with fast collision resolution for wireless lans

A novel mechanism for bubble formation in fluidized systems: the effects of granular temperature on the stability in fluidization

A novel medium for the enhanced cell growth and production of prodigiosin from Serratia marcescens isolated from soil

A novel method for predicting critical flashover (CFO) voltagesinsulation strength of multiple dielectrics on distribution overheadlines

A novel method for preparation of tissue microarray.

A novel method to analyze leukocyte rolling behavior in vivo

A novel mixed-mode current-conveyor-based filter

A novel mixed-mode OTA-C filter

A novel mixed-mode OTA-C universal filter

A novel model to predict the physical state of atmospheric H2SO4/NH3/H2O aerosol particles

A novel multiobjective evolutionary algorithm for optimal reactive power dispatch problem

A novel multiobjective evolutionary algorithm for optimal reactive power dispatch problem

A novel multiobjective evolutionary algorithm or environmental/economic power dispatch

A novel mutant of the Sup35 protein of Saccharomyces cerevisiae defective in translation termination and in GTPase activity still supports cell viability

A novel mutation in the tyrosine kinase domain of ERBB2 in hepatocellular carcinoma

A novel nested multiplex polymerase chain reaction (PCR) assay for differential detection of Entamoeba histolytica, E. moshkovskii and E. dispar DNA in stool samples

A novel neural network adaptive controller structure for a resonantcircuit

A novel nonparaxial time-domain beam-propagation method for modeling ultrashort pulses in optical structures

A Novel Nonparaxial Time-Domain Beam-Propagation Method for Modeling Ultrashort Pulses in Optical Structures

A novel nuclear-encoded mitochondrial poly(A) polymerase PAPD1 is a potential candidate gene for the extreme obesity related phenotypes in mammals

A novel online Food Recall Checklist for use in an undergraduate student population: a comparison with diet diaries

A Novel Optimizing Network Architecture with Applications

A novel pancoronavirus RT-PCR assay: frequent detection of human coronavirus NL63 in children hospitalized with respiratory tract infections in Belgium

A novel polymeric Cd[SSe2N2] central core five-coordinate complex: Synthesis, X-ray structure and Cd-113, Se-77 CP MAS NMR characterization of catena(bis(mu(2)-selenocyanato-N,Se)-(N,N '-dimethylimidazolidine-2-thione-S)-cadmium(II))

A novel polymorphism in the coding region of the vasopressin type 2 receptor gene

A NOVEL PROCESS FOR APPLICATION OF TITANIUM NITRIDE COATINGS

A novel process for production of hepatitis A virus in Vero cells grown on microcarriers in bioreactor.

A Novel Pulse Echo technique for Medical 3-D Imaging

A novel pulse-echo technique for medical three-dimensional imaging

A novel real-time ultrasonic method for prion protein detection using plasminogen as a capture molecule

A novel receptor – ligand pathway for entry of Francisella tularensis in monocyte-like THP-1 cells: interaction between surface nucleolin and bacterial elongation factor Tu

A Novel Region-Based Image Retrieval Method Using Relevance Feedback

A novel reinforcement model of birdsong vocalization learning

A novel role for 3, 4-dichloropropionanilide (DCPA) in the inhibition of prostate cancer cell migration, proliferation, and hypoxia-inducible factor 1alpha expression

A novel role for RecA under non-stress: promotion of swarming motility in Escherichia coli K-12

A novel route to 3-hydroxy-16,17-seco-estrone derivatives (NOTE)

A novel screening protocol for the isolation of hydrogen producing Chlamydomonas reinhardtii strains

A novel semi-automatic image processing approach to determine Plasmodium falciparum parasitemia in Giemsa-stained thin blood smears

A Novel Signal Processing Measure to Identify Exact and Inexact Tandem Repeat Patterns in DNA Sequences

A NOVEL SINGLE-CAPACITOR SINGLE-OPERATIONAL-AMPLIFIER SINUSOIDAL OSCILLATOR

A novel single-capacitor single-operational-amplifier sinusoidaloscillator

A novel single-element controlled oscillator using the current-feedback-operational amplifier pole

A novel single-input multiple-output current-mode current-controlled universal filter

A novel single-input multiple-output current-mode current-controlled universal filter

A novel sinusoidal frequency divider

A NOVEL SINUSOIDAL FREQUENCY-DIVIDER

A novel small molecule that selectively inhibits glioblastoma cells expressing EGFRvIII

A novel string-to-string distance measure with applications to machine translation evaluation

A novel subgroup Q5 of human Y-chromosomal haplogroup Q in India

A novel superfamily containing the β-grasp fold involved in binding diverse soluble ligands

A novel surface protein of Trichomonas vaginalis is regulated independently by low iron and contact with vaginal epithelial cells

A novel survival model of cardioplegic arrest and cardiopulmonary bypass in rats: a methodology paper

A Novel Synthesis of 1-Acetyl-4-Isopropenyl-1-Cyclopentene by Chemoselective Cyclization of 4-Methyl-3-(Oxobutyl)-4-Pentenal: An Important Intermediate for Natural Product Synthesis

A novel synthesis of heterocyclic compounds containing coumarin moiety of potential antimicrobial activity

A novel tandem differential mobility analyzer with organic vapor treatment of aerosol particles

A novel technique for fast multiplication

A Novel Technique for Wastewater Treatment by Contact Glow-discharge Electrolysis

A novel tetratricopeptide repeat (TPR) containing PP5 serine/threonine protein phosphatase in the malaria parasite, Plasmodium falciparum

A novel three inputs and one output universal current-mode filter using plus-type CCIIs

A novel three inputs and one output universal current-mode filter using plus-type CCIIs

A novel universal real-time PCR system using the attached universal duplex probes for quantitative analysis of nucleic acids

A novel use of statistical parsing to extract information from text

A Novel User Interface for Group Collaboration

A Novel, One-Step Palladium and Phenylsilane Activated Amidation from Allyl Ester on Solid Support

A noveltime-domain technique for nonparaxial ultra short optical pulses

A novelty detection approach to classification

A Nuclear Function for Armadillo/beta-Catenin

A Numerical Approach for Full-Vectorial Analysis of 3-D Guided Wave Structures With Multiple and Strong Longitudinal Discontinuities

A numerical investigation of the solidification of Al-12.6%Si alloy during mold-vibration

A numerical model for large deformation on meteorological images

A numerical modelling study on regional mercury budget for eastern North America

A Numerical Optimization Approach to General Graph Drawing

A numerical simulation analysis of the effect of the interface drag function on cluster evolution in a CFB riser gas-solid flow

A numerical solution for laser heating of titanium and nitrogen diffusion in solid

A numerical solution for the entrance region of non-newtonian flow in annuli

A numerical study of flow and heat transfer in rotating rectangular channels (AR=4) with 45 deg rib turbulators by Reynolds stress turbulence model

A numerical study of fluid flow and heat transfer characteristics in channels with staggered wavy walls

A numerical study of some radial basis function based solution methods for elliptic PDEs

A NUMERICAL STUDY OF THERMAL POLLUTION IN SEA-WATER

A numerical study of tropical cross-tropopause transport by convective overshoots

A numerical technique for planning motion strategies of a mobile robot in presence of uncertainty

A numerically stable, structure preserving method for computing the eigenvalues of real Hamiltonian or symplectic pencils

A NUMERICAL-MODEL OF WATER, HEAT AND CHEMICAL-TRANSPORT IN POROUS-MEDIA

A ocorrأھncia do mutualismo facultativo entre Dyckia maritima Backer (Bromeliaceae) e o cupim Cortaritermes silvestrii (Holmgren), Nasutitermitinae, em afloramentos rochosos no Parque Estadual de Itapuأ£, Viamأ£o, RS

A one dimensional model study of the mechanism of halogen liberation and vertical transport in the polar troposphere

A ONE-PARAMETER INTEGRAL METHOD FOR TURBULENT TRANSPIRED BOUNDARY-LAYER FLOW

A One-Pass Space-Efficient Algorithm for Finding Quantiles

A one-step crust and skeleton extraction algorithm???, Algorithmica

A p130Cas tyrosine phosphorylated substrate domain decoy disrupts v-Crk signaling

A P2X receptor from the tardigrade species Hypsibius dujardini with fast kinetics and sensitivity to zinc and copper

A PAC-Bayesian margin bound for linear classifiers: Why SVMs work

A Pacific Culture among Wild Baboons: Its Emergence and Transmission

A package for inductive relation definitions in HOL

A Packaging System for Heterogeneous Execution Environments

A packet routing protocol for arbitrary networks

A packet scheduling approach to QoS support in multihop wireless networks

A Pageable Memory Based Filesystem

A Pairing Technique for Area-Efficient Orthogonal Drawings, to appear

A pairwise key pre-distribution scheme for wireless sensor networks

A Paleolithic diet confers higher insulin sensitivity, lower C-reactive protein and lower blood pressure than a cereal-based diet in domestic pigs

A paradigm for asynchronous communication and its application to concurrent constraint programming

A Paradigm for Decentralized Process Modeling and its Realization in the Oz Environment

A paradigm for non-head-driven parsing: Parameterized message-passing

A paradigm for reliable clock synchronization

A Paradigm for the Behavioural Modelling of Software Processes using System Dynamics

A Paradigm for User-Defined Security Policies

A paradigmatic object-oriented programming language: Design, static typing and semantics

A parallel adaptive fast multipole method

A parallel adaptive strategy for hp finite element computations

A parallel algorithm for de novo peptide sequencing

A parallel algorithm for fault simulation based on PROOFS

A Parallel Algorithm for Inverse Halftoning and its Hardware

A Parallel Algorithm for Inverse Halftoning and its Hardware Implementation

A parallel algorithm for multilevel graph partitioning and sparse matrix ordering

A parallel algorithm for partitioning a point set to minimize the maximum of diameters

A parallel algorithm for static program slicing

A Parallel Algorithm for the Degree-Constrained Minimum Spanning Tree Problem by Using DNA Computing

A parallel algorithmic version of the local lemma

A parallel approach for efficiently visualizing extremely large, time-varying datasets

A Parallel Approximation Algorithm for Positive Linear Programming

A Parallel Bottom-up Clustering Algorithm with Applications to Circuit Partitioning

A parallel disk storage system for realtime multimedia applications

A parallel dynamic load balancing algorithm for 3-D adaptive unstructured grids

A Parallel Formulation of Informed Randomized Search for Robot Motion Planning Problems

A Parallel Genetic Algorithm for Frequency Assignment Problems

A Parallel Genetic Algorithm for the Set Partitioning Problem

A parallel GMRES version for general sparse matrices

A parallel GRASP for the Steiner problem in graphs

A parallel GRASP for the Steiner tree problem in graphs using a hybrid local search strategy

A parallel GRASP implementation for the quadratic assignment problem

A parallel hashed oct-tree N-body algorithm

A parallel hp-adaptive discontinuous Galerkin method for hyperbolic conservation laws

A PARALLEL IMPLEMENTATION OF A TWO-DIMENSIONAL HYDRODYNAMIC MODEL FOR MICROWAVE SEMICONDUCTOR DEVICE INCLUDING INERTIA EFFECTS IN MOMENTUM RELAXATION

A parallel implementation of an mpeg1 encoder: Faster than real-time

A parallel implementation of the cylindrical algebraic decomposition algorithm

A parallel implementation of the nonsymmetric QR algorithm for distributed memory architectures

A parallel island model genetic algorithm for the multiprocessor scheduling problem

A parallel maximal independent set algorithm

A parallel nonlinear Least-Squares solver: Theoretical analysis and numerical results

A Parallel Object-Oriented Framework for Stencil Algorithms

A parallel preconditioned conjugate gradient package for solving sparse linear systems on a Cray Y-MP

A Parallel Priority Data Structure with Applications

A parallel priority queue with constant time operations

A Parallel Relational Database Management System Approach to Relevance Feedback in Information Retrieval

A Parallel Tabu Search Algorithm for Optimizing Multiobjective VLSI Placement

A parallel tabu search algorithm for optimizing multiobjective VLSI placement

A parallel tabu search algorithm for VLSI standard-cell pla cement

A parallel tabu search algorithm for VLSI standard-cell placement

A Parallel Tabu Search Strategy for Cell Placement in VLSI Circuit Design

A Parallelisable Algorithm for Optimising Unstructured Mesh Partitions

A parallelizable eigensolver for real diagonalizable matrices with real eigenvalues

A parallel-tree switch architecture for ATM networks

A parameterizable methodology for Internet traffic flow profiling

A parameterization of size resolved below cloud scavenging of aerosols by rain

A parameterized approach to integrating aspect with lexical-semantics for machine translation

A parametric optimization method for machine learning

A parametric study of CaCO3 scaling in AISI 316 stainless steel tubes

A parametric texture model based on joint statistics of complex wavelet coefficients

A parametrization of the auction design space

A paraperspective factorization method for shape and motion recovery

A parrallel algorithm for partitioning a point set to minimize the maximum of diameters

A parser for real-time speech synthesis of conversational texts

A parsing algorithm for unification grammar

A partial analysis of the high speed autonomous navigation problem

A partial order approach to branching time logic model checking

A partial solution for D-unification based on a reduction to AC1-unification

A partially deadlock-free typed process calculus

A particle swarm algorithm for the optimal power flow problem

A particle-swarm-based approach of power system stability enhancement with unified power flow controller

A partitioning advisory system for networked data-parallel processing. Concurrency: Practice and Experience 7

A PASSIVE RADON DETECTOR SURVEY IN A 3-STORY LABORATORY BUILDING

A Path Coefficient Analysis Some Yield and Yield Components in Faba Bean (Vicia faba L.) Genotypes

A Path Selection Method in ATM using Pre-Computation

A path-following interior-point algorithm for linear and quadratic optimization problems

A pathology of bottom-up hill-climbing in inductive rule learning

A Pattern Language for Efficient, Predictable, Scalable, and Flexible Dispatching Mechanisms for Distributed Object Computing Middleware

A pattern language for parallel application programs

A pattern matching method for finding noun and proper noun translations from noisy parallel corpora

A Pattern Matching Model for Misuse Intrusion Detection

A pattern recognition algorithm based on the rapid transform

A pattern search filter method for nonlinear programming without derivatives

A pattern search method for model selection of support vector regression

A pattern-weight formulation of search knowledge

A PC based software package for the equal area criterion of power system transient stability

A PCR-RFLP Method for the Analysis of Egyptian Goat MHC Class II DRB Gene

A PDE-based level-set approach for detection and tracking of moving objects

A PDP architecture for processing sentences with relative clauses

A peer-to-peer approach to resource discovery in grid environments

A peer-to-peer architecture for distributed knowledge management

A penalised likelihood approach to image warping (with discussion

A PER model of polymorphism and recursive types

A PER model of secure information flow in sequential programs

A Perceptual Colour Segmentation Algorithm

A perceptual evaluation of distance measures for concatenative speech synthesis

A perceptual grouping hierarchy for appearance-based 3d object recognition

A performance analysis of the Gamma database machine

A performance comparison of contemporary DRAM architectures

A performance comparison of fast distributed mutual exclusion algorithms

A Performance Comparison of Homeless and Home-based Lazy Release Consistency

A Performance Comparison of Multi-Hop Wireless Ad Hoc Network Routing Protocols

A Performance Comparison of the Temporally-Ordered Routing Algorithm and Ideal Link-State Routing

A performance comparison of UNIX operating systems on the Pentium

A Performance Evaluation of Four Parallel Join Algorithms in a Shared-Nothing Multiprocessor Environment

A performance evaluation of hyper text transfer protocols

A Performance Evaluation of Load Balancing Techniques for Join Operations on Multicomputer Database systems

A performance evaluation of lock-free synchronization protocols

A Performance Study of Query Optimization Algorithms on a Database System Supporting Procedures

A Performance Study of Robust Load Sharing Strategies for Distributed Heterogeneous Web Server Systems

A performance study of the Squid proxy on HTTP/1.0

A Performance Study of Three High Availability Data Replication Strategies

A Performance Study of Two-Phase I/O

A Performance Study on Load Balancing Algorithms with Process Migration

A periodic pattern generator for dental diversity

A Perl toolkit for LIMS development

A permutation-based page interleaving scheme to reduce row-buffer conflicts and exploit data locality

A personal email assistant

A personal glimpse into natural history and a revisit of a classic paper by Fred Cagle

A personal learning apprentice

A Perspective Based Approach to Design

A perspective on databases and data mining

A perspective on knowledge compilation

A perspective on word sense disambiguation methods and their evaluation

A perturbation approach to finite dimensional stabilization of time-lag systems

A Petri Net Semantics for ??????-calculus

A Petri-net-based approach to real-time program analysis

A PFA Based Choice Of Color Components Based Skin Detection Approach

A pharmacodynamic analysis of resistance trends in pathogens from patients with infection in intensive care units in the United States between 1993 and 2004

A phase 1–2, prospective, double blind, randomized study of the safety and efficacy of Sulfasalazine for the treatment of progressing malignant gliomas: study protocol of [ISRCTN45828668]

A phase â…، clinical trial of celecoxib combined with platinum-based chemotherapy in the treatment of patients with advanced NSCLC as first-line treatment

A phase I study of hydralazine to demethylate and reactivate the expression of tumor suppressor genes

A phase I trial of tocoferol monoglucoside in patients undergoing hemi-body radiation

A phase I/II trial of beta-(1,3)/(1,6) D-glucan in the treatment of patients with advanced malignancies receiving chemotherapy

A phase II study of LFP therapy (5-FU (5-fluorourasil) continuous infusion (CVI) and Low-dose consecutive (Cisplatin) CDDP) in advanced biliary tract carcinoma

A phase II trial of a biweekly combination of paclitaxel and gemcitabine in metastatic breast cancer

A phase II trial of docetaxel and erlotinib as first-line therapy for elderly patients with androgen-independent prostate cancer

A phase II trial of gemcitabine plus carboplatin in advanced transitional cell carcinoma of the urothelium

A phenomenological theory of spatially structured local synaptic connectivity.

A philosophico-mathematical theorem on unity of knowledge

A phosphorylation defective retinoic acid receptor mutant mimics the effects of retinoic acid on EGFR mediated AP-1 expression and cancer cell proliferation

A phrase-based, joint probability model for statistical machine translation

A phyloclimatic study of Cyclamen

A phylogenetic generalized hidden Markov model for predicting alternatively spliced exons

A phylogenomic profile of globins

A phylogenomic profile of hemerythrins, the nonheme diiron binding respiratory proteins

A physical approach to color image understanding

A physical map of the heterozygous grapevine 'Cabernet Sauvignon' allows mapping candidate genes for disease resistance

A physical model for the distribution of ions and electrons in laminar (premixed) hydrocarbon flames

A Phytogeographical Analysis of the Floristic Elements in Saudi Arabia

A Phytosociological Research on the Forest Vegetation of Yandag (Isparta-Turkey)

A Phytosociological Research on the Forest Vegetation of Yandag (Isparta-Turkey)

A Phytosociological Research on the Vegetation of Ah2rdag2 (Afyonkarahisar)

A Pictorial Query-by-Example Language

A pilot seroepidemiological study of cytomegalovirus infection in women of child bearing age

A pilot study of chlamydia trachomatis pneumonia in infants

A pilot study on acute inflammation and cancer: a new balance between IFN-γ and TGF-β in melanoma

A pilot, prospective evaluation of a novel alternative for maintenance therapy of breast cancer-associated lymphedema [ISRCTN76522412]

A Pilot-scale Unit for Suspended Cultivation of Gracilaria gracilis in Izmir Bay, Aegean Sea-Turkey

A pipelined memory architecture for high throughput network processors

A pivotal method for affine variational inequalities

A pixel dissimilarity measure that is insensitive to image sampling

A Placebo Controlled Assessing the Effects of Statin on Echocardiography Function and Morbidity and Mortality in Patients with Heart Failure

A plan-based model for response generation in collaborative task-oriented dialogues

A plan-based personalized cognitive orthotic

A plane electromagnetic wave scattering by a conducting sphere partially buried in a ground plane

A plane measuring device

A planner called R

A Planner for Composing Services Described in DAML-S

A Planning Algorithm not Based on Directional Search

A Planning Approach to Declarer Play in Contract Bridge

A planning component for retsina agents

A Planning Model for Agents in Dynamic and Uncertain Real-Time Environments

A planning model for petroleum refineries

A planning representation for automated exploratory data analysis

A Planning/Scheduling Methodology for the Constrained Resource Problem

A PLANNING-MODEL FOR DETERMINING THE OPTIMAL LOCATION AND SIZE OF TRAFFIC CENTERS - THE CASE OF DAMMAM-METROPOLITAN, SAUDI-ARABIA

A plant natriuretic peptide-like gene in the bacterial pathogen Xanthomonas axonopodis may induce hyper-hydration in the plant host: a hypothesis of molecular mimicry

A plasmid-based system for expressing small interfering RNA libraries in mammalian cells

A plastic-damage model for stress-strain behavior of soils

A platform for combining deductive with algorithmic verification

A Platform-Independent API for Quality of Service Management

a player for adaptive mpeg video streaming over the internet

A PLC based power factor controller for a 3-phase induction motor

A PML-FDTD formulation for the simulation of optical structures

A Pointless Theory of Space Based on Strong Connection and Congruence

A Policy Deployment Model for the Ponder Language

A Policy Description Language

A policy language for a pervasive computing environment

A Policy-based Mobile Agent Infrastructure

A polychromator-based microspectrophotometer

A polycyclic quotient algorithm

A Polygonal Approximation To Direct Scalar Volume Rendering

A polyhedral approach to multicommodity survivable network design

A polylog(n)-competitive algorithm for metrical task systems

A polylogarithmic approximation algorithm for the group Steiner tree problem

A Polylogarithmic Approximation of the Minimum Bisection

A polymerase chain reaction-based assay to identify genotype F of hepatitis B virus

A polymeric oxovanadium(IV) pyromellitate complex

A polymorphic language with first-class modules

A polymorphic record calculus and its compilation

A polymorphic type system for extensible records and variants

A polymorphism of EGFR extracellular domain is associated with progression free-survival in metastatic colorectal cancer patients receiving cetuximab-based treatment

A polynomial algorithm to compute the concurrency relation of free-choice Signal Transition Graphs

A Polynomial Kernel-Oriented Coalition Algorithm for Rational Information Agents

A polynomial primal-dual path-following algorithm for second-order cone programming

A polynomial time algorithm for constructing the refined Buneman tree

A polynomial time algorithm for vertex enumeration and optimization over shaped partition polytopes

A polynomial time approximation scheme for metric MIN-BISECTION. ECCC

A polynomial time approximation scheme for subdense MAX-CUT

A POLYNOMIAL TRANSFORM FOR MATCHING PAIRS OF WEIGHTED GRAPHS

A polynomial-time algorithm for statistical machine translation

A polynomial-time algorithm for the two-machine unit-time release-date job-shop schedule-length problem

A polynomial-time Nash equilibrium algorithm for repeated games

A polynomial-time primal-dual affine scaling algorithm for linear and convex quadratic programming and its power series extension

A polynomial-time tree decomposition to minimize congestion

A Population Analysis for Hierarchical Data Structures

A population-based learning algorithm which learns both architectures and weights of neural networks

A population-based study examining the emergence of community-associated methicillin-resistant Staphylococcus aureus USA300 in New York City

A population-based study to investigate host genetic factors associated with hepatitis B infection and pathogenesis in the Chinese population

A Portable & Quick Japanese Parser: QJP

A portable algorithm for mapping bitext correspondence

A Portable Clock Recovery Circuit (CRC) For Systems-On-Chip Serial Data Communication

A Portable Debugger for Parallel and Distributed Programs

A Portable High Performance Multiprecision Package

A Portable Multiprocessor Interface for Standard ML of New Jersey

A portable parallel particle program

A Portuguese version of the Christo Inventory for Substance-Misuse Services: a simple outcome evaluation tool

A positioning pillow to improve lumbar puncture success rate in paediatric haematology-oncology patients: a randomized controlled trial

A Positive Supercompiler

A Possible Role for Methyl Jasmonate in Effecting Superoxide Dismutase and Catalase Activities under PQ-induced Oxidative Stress in Maize Seedlings

A possible world semantics for disjunctive databases

A posteriori error estimates based on hierarchical bases

A posteriori error estimates for elliptic problems in two and three space dimensions

A posteriori error estimates for hp -- boundary element methods

A post-processing system to yield reduced word error rates: Recognizer output voting error reduction (ROVER

A Potential Anticarcinogenic Agent: Conjugated Linoleic Acid (CLA)

A Potential Reduction Method for a Class of Smooth Convex Programming

A potential reduction Newton method for constrained equations

A potential role of alternative splicing in the regulation of the transcriptional activity of human GLI2 in gonadal tissues

A power controlled multiple access protocol for wireless packet networks

A power line data communication interface using spread spectrum technology in home automation

A power line data communication interface using spread spectrumtechnology in home automation

A power metric for mobile systems

A power model for routers: Modeling Alpha 21364 and InfiniBand routers

A PP1-binding motif present in BRCA1 plays a role in its DNA repair function

A practical algorithm for general large scale nonlinear optimization problems

A practical and complete algorithm for testing real-time systems

A practical and flexible flow analysis for higher-order languages

A practical and provably secure coalition-resistant group signature scheme

A practical approach for improving startup latency in Java applications

A practical approach for routing and wavelength assignment in large wavelength-routed optical networks

A Practical Approach to Drawing Undirected Graphs

A practical approach to phylogenomics: the phylogeny of ray-finned fish (Actinopterygii) as a case study

A Practical Approach to Red Blood Cell Folate Analysis

A practical approach to type inference for EuLisp

A practical clustering algorithm for static and dynamic information organization

A practical demonstration on AMSU retrieval precision for upper tropospheric humidity by a non-linear multi-channel regression method

A practical evaluation of kinetic data structures

A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic

A practical framework for demand-driven interprocedural data flow analysis

A practical graphical tracer for prolog

A practical index for text retrieval allowing errors

A practical learning-based approach for dynamic storage bandwidth allocation

A Practical Method for Program Specialization in a Multi-paradigm Language

A practical method for rigorously controllable hardware design

A practical method for screening for b-galactosidase secreting microbial colonies

A practical mix

A practical monte carlo implementation of Bayesian learning

A Practical Multifaceted Approach to Selecting Differentially Expressed Genes

A practical obstacle detection and avoidance system

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages

A practical partial evaluator for a multi-paradigm declarative language

A practical part-of-speech tagger

A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack

A practical q-gram index for text retrieval allowing errors

A Practical Review of Pricing and Cost Recovery for Internet Services

A practical soft type system for Scheme

A practical subtyping system for Erlang

A practical symbolic array dependence analysis framework for c

A practical synthesis of the 13C/15N-labelled tripeptide N-formyl-Met-Leu-Phe, useful as a reference in solid-state NMR spectroscopy

A practical, decision-theoretic approach to multi-robot mapping and exploration

A practitioners' assessment of light reflection models

A pragmatic approach to the analysis and compilation of lazy functional languages

A pragmatic implementation of non-blocking linked-lists

A pragmatic, rigorous integration of structural and behavioral modeling notations

A pragmatics-based approach to ellipsis resolution

A precise and efficient evaluation of the proximity between Web clients and their local DNS servers

A precondition prover for analogy

A preconditioned GMRES method for nonsymmetric or indefinite problems

A predicate-based caching scheme for client-server database architectures

A predicative analysis of structural recursion

A predicative strong normalisation proof for a -calculus with interleaving inductive types. submitted for publication, see http://www.tcs.informatik.uni-muenchen.de/~alti/drafts/snpred. dvi

A predictability analysis of network traffic

A prediction system for multimedia pre-fetching on the internet

A predictive model for slip resistance using artificial neural networks

A Predictive System Shutdown Method for Energy Saving of Event-Driven Computation

A predictor corrector method for semi-definite linear programming, manuscript

A preemptive deterministic scheduling algorithm for multithreaded replicas

A preference clustering protocol for large-scale multicast applications

A preliminary attempt to apply detection and estimation theory to intrusion detection

A Preliminary Evaluation of Cache-Miss-Initiated Prefetching Techniques in Scalable Multiprocessors

A Preliminary Exploration of Optimized Stack Code Generation

A preliminary investigation of the polar lipids in recent tropical sediments from aquatic environments at Campos dos Goytacazes, Brazil

A Preliminary Investigation on the Omani Sardines and Anchovies Stock Fluctuation; Recommendations for Future Studies

A Preliminary Investigation on the Semen Characteristics of the Split Ejaculates of Unilateral Cryptorchid Boars

A Preliminary Observation on Water Quality and Plankton of an Earthen Fish Pond in Bangladesh: Recommendations for Future Studies

A preliminary report on a general theory of inductive inference

A preliminary report on characterization and identification of non tuberculous mycobacteria (NTM) on the basis of biochemical tests and protein / isoenzyme electrophoretic patterns

A Preliminary Study of Genetic Diversity of MSP-1 Types in Plasmodium falciparum in Southern Province of Sistan Baluchistan of Iran

A Preliminary Study of Marker Data Applicability in Gene Introgression Program for Afshari Sheep Breed

A Preliminary Study of Phytoplankton at Lake Chini, Pahang

A Preliminary Study of the Biological Aspects of an Intertidal Seagrass Thalassia hemprichii (Ehrenberg) Ascherson in Port Dickson, Malaysia

A Preliminary Study of the Biological Aspects of an Intertidal Seagrass Thalassia hemprichii (Ehrenberg) Ascherson in Port Dickson, Malaysia

A preliminary study of the taxane chemistry and natural history of the Mexican yew, Taxus globosa Schltdl

A Preliminary Study on Genotypic Differences in Transcript Abundance of Drought-Responsive Genes in Sugar Beet

A Preliminary Study on Morphology and Serology of Pelodytes caucasicus Boulenger 1896 Populations From North-Eastern Turkey

A Preliminary Study on Morphology and Serology of Pelodytes caucasicus Boulenger 1896 Populations From North-Eastern Turkey

A Preliminary Study on Otolith-total Length Relationship of the Common Hake (Merluccius merluccius L., 758) in Izmir Bay, Aegean Sea

A Preliminary Study on Physic Nut (Jatropha curcas L.) in Thailand

A preliminary study on the origin of human lung adenocarcinoma stem cells from lung bonchioalveolar stem cells

A presenأ§a da Galactoquinase em Tecidos Animais

A presentation of the initial lift-algebra

A pretty-printer for every occasion

A previously unobserved conformation for the human Pex5p receptor suggests roles for intrinsic flexibility and rigid domain motions in ligand binding

A primal-dual approximation algorithm for generalized Steiner network problems

A primal-dual interior-point method for nonlinear programming with strong global and local convergence properties

A Primary Investigation on the Eco-environmental Improvement in the Western China by the Use of in vitro Propagation Techniques of Taxus (Taxus media)

A primer for the morphology of anuran tadpoles

A primer on electrocatalysis

A Principal Components Approach to Combining Regression Estimates

A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae

A principled approach to data integration and reconciliation in data warehousing

A Principled Framework for Constructing Natural Language Interfaces To Temporal Databases

A principled representation of attributive descriptions for integrated text and information graphics presentations

A Principled Taxonomy of Software Visualization

A priori estimation of accuracy and of the number of wells to be employed in limiting dilution assays

A Prioritized Uplink Call Admission Control Algorithm for 3G WCDMA Cellular Systems with Multi-Services

A priority-based MLFQ scheduler for CPU power saving

A Priority-Based Technique for the Best-Effort Delivery of Stored Video

A privacy awareness system for ubiquitous computing environments

A proactive inferencing agent for desk support

A probabilistic algorithm for updating files over a communication link

A probabilistic analysis for the range assignment problem in ad hoc networks

A Probabilistic Analysis of a Locality Maintaining Load Balancing Algorithm

A Probabilistic Analysis of Marker-Passing Techniques for Plan-Recognition

A probabilistic analysis of the Rocchio algorithm with TFIDF for text categorization

A probabilistic analysis of trie-based sorting of large collections of line segments

A probabilistic and decision-theoretic approach to the management of infectious disease at the ICU

A probabilistic approach to 3-D inference of geons from a 2-D view

A probabilistic approach to concurrent map acquisition and localization for mobile robots

A probabilistic approach to concurrent mapping and localization for mobile robots

A probabilistic approach to determining biological structure: Integrating uncertain data sources

A probabilistic approach to fault diagnosis in linear lightwave networks

A probabilistic approach to feature selection - a filter solution

A Probabilistic Approach to Full-Text Document Clustering

A Probabilistic Approach to Lexical Semantic Knowledge Acquisition and Structural Disambiguation

A PROBABILISTIC APPROACH TO THE MAINTENANCE OF HEAT-TRANSFER EQUIPMENT SUBJECT TO FOULING

A probabilistic architecture for content-based image retrieval

A Probabilistic Background Model for Tracking

A probabilistic character layout strategy for mobile text entry

A probabilistic characterization of adhesive wear in metals

A probabilistic context-free grammar for disambiguation in morphological parsing

A probabilistic context-free grammar for the detection of binding sites from a protein sequence

A probabilistic contour discriminant for object localisation

A probabilistic corpus-driven model for lexical-functional analysis

A probabilistic disambiguation method based on psycholinguistic principles

A probabilistic exclusion principle for tracking multiple objects

A Probabilistic Expert System for Automatic Musical Accompaniment

A probabilistic fitness measure for deformable template models

A probabilistic fouling and cost model for plate-and-frame heat exchangers

A probabilistic framework for perceptual grouping of features for human face detection

A probabilistic framework for space carving

A probabilistic framework for SVM regression and error bar estimation

A probabilistic learning approach for document indexing

A probabilistic learning approach to motion planning

A probabilistic learning approach to whole-genome operon prediction

A probabilistic minimum spanning tree algorithm

A probabilistic model for distributed information retrieval

A probabilistic model for the transcription of single-voice melodies

A probabilistic model for understanding and comparing collective aggregation mechanisms

A probabilistic model of action for least-commitment planning with information gathering

A probabilistic model of lexical and syntactic access and disambiguation

A probabilistic multimedia retrieval model and its evaluation

A Probabilistic NF2 Relational Algebra for Imprecision in Databases

A probabilistic NF2 relational algebra for integrated information retrieval and database systems

A probabilistic online mapping algorithm for teams of mobile robots

A probabilistic parser and its applications

A probabilistic parser applied to software testing documents

A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report

A Probabilistic Query Language

A probabilistic relational algebra for the integration of information retrieval and database systems

A probabilistic relational model for the integration of ir and databases

A Probabilistic Room Location Service for Wireless Networked Environments

A Probabilistic Solution to the Selection and Fusion Problem in Distributed Information Retrieval

A probabilistic spell for the curse of dimensionality

A probabilistic study of failures of solid and hollow dies in hot aluminum extrusion

A probabilistic UNION model for partial and temporal corruption of speech. In Automatic speech recognition and understanding workshop

A probabilistic view on tangent distance

A probability-based approach to VLSI circuit partitioning

A problem for rst: The need for multi-level discourse analysis

A problem in potential theory and zero asymptotics of Krawtchouk polynomials

A Problem Solving Approach to Generating Text from Systemic Grammars

A procedural semantics for well founded negation in logic programs

A procedure for mediation of queries to sources in disparate contexts

A procedure for the detection of linkage with high density SNP arrays in a large pedigree with colorectal cancer

A process algebra of communicating shared resources with dense time and priorities

A process algebra with distributed priorities

A Process Improvement Model for Software Verification and Validation

A process migration subsystem for a workstation-based distributedsystems

A process targeting model for a product with two dependent quality characteristics using 100% inspection

A proclamation-based model for cooperating transactions

A product version of dynamic linear time temporal logic

A production based system for formal verification of digital signalprocessing architectures

A profile of teen smokers who volunteered to participate in school-based smoking intervention

A profile-based energy-efficient intra-task voltage scheduling algorithm for hard real-time applications

A program for identifying duplicated code

A program for representing and simulating population genetic phenomena

A Program Structure for Error Detection and Recovery

A Program Transformations Methodology for CCS

A programmable co-processor for profiling

A PROGRAMMABLE PHASE SHIFTER FOR SINUSOIDAL SIGNALS

A Programmable Plaintext Recognizer

A PROGRAMMABLE REFERENCE-VOLTAGE SOURCE

A programmable SCR-based AC voltage regulator

A programmed graph rewriting system for software process management

A Programmer Friendly Modular Definition of the Semantics of java

A programming interface for application-aware adaptation in mobile computing

A Programming Interface for Supporting IP Trac Processing

A programming language for processor based embedded systems

A programming logic for sequential java

A programming system for the development of TINA services

A Programming System for the Dynamic Manipulation of Temporally Sensitive Data

A progressive refinement approach to fast radiosity image generation

A progressively reliable transport protocol. Multimedia Systems

A Prolog Technology Theorem Prover: a new exposition and implementation

A Prolog Technology Theorem Prover: implementation by an extended Prolog compiler

A promising genetic algorithm approach to job-shop scheduling, rescheduling, and open-shop scheduling problems

A promising hybrid GA/heuristic approach for open-shop scheduling problems

A proof environment for concurrent programs

A proof environment for the development of group communication systems

A proof obligation generator for VDM-SL

A Proof of Alon???s Second Eigenvalue Conjecture

A proof of strong normalization for the theory of constructions using a Kripke-like interpretation

A proof of the Church-Rosser theorem and its representation in a logical framework

A proof of the Kahn principle for Input/Output automata

A proof presentation suitable for teaching proofs

A proof technique for rely/guarantee properties

A proof that extends Hurwitz formula into the critical strip

A proof theory for generic judgments: An extended abstract

A proof tool for reasoning about functional programs

A proof-theoretic assessment of runtime type errors

A Proper Explanation When You Need One

A Proportional Share Resource Allocation Algorithm For Real-Time, Time-Shared Systems

A Proposal for a Description Logic Interface

A Proposal for a Flexible Service Plan that is Attrative to Users and Internet Service Providers

A proposal for a formal OCL semantics in Isabelle/HOL

A proposal for a new block encryption standard

A proposal for a new kqml specification

A Proposal for A Scalable Internet Multicast Architecture

A Proposal for a Semantics of a Subset of Multi-Threaded Good Java Programs

A proposal for a sparse BLAS toolkit

A proposal for making Eiffel type-safe

A proposal for word sense disambiguation using conceptual distance

A proposal on extended interthesaurus links semantics

A proposed framework for strategy implementation in the Indian context

A propositional modal logic of time intervals

A prosodic analysis of discourse segments in direction-giving monologues

A prosody-only decision-tree model for disfluency detection

A prospective and randomized study of radiotherapy, sequential chemotherapy radiotherapy and concomitant chemo therapy-radiotherapy in unresectable non small cell carcinoma of the lung

A prospective clinical review of 'multi model' approach for treating ear keloids

A prospective cohort study of postoperative complications in the management of perforated peptic ulcer

A prospective evaluation of treatment with Selective Internal Radiation Therapy (SIR-spheres) in patients with unresectable liver metastases from colorectal cancer previously treated with 5-FU based chemotherapy

A prospective study comparing quantitative Cytomegalovirus (CMV) polymerase chain reaction in plasma and pp65 antigenemia assay in monitoring patients after allogeneic stem cell transplantation

A prospective study evaluating surgery and chemo radiation in muscle invasive bladder cancer

A prospective study of hearing changes after beginning zidovudine or didanosine in HIV-1 treatment-naأ¯ve people

A prospective study of Helicobacter pylori in relation to the risk for pancreatic cancer

A prospective study of hepatitis B virus markers in patients with chronic HBV infection from Brazilian families of Western and Asian origin

A prospective study of pharyngocutaneous fistulas following total laryngectomy

A prospective study of physical activity and the risk of pancreatic cancer among women (United States)

A Prospective Study of Renal Biopsies Performed Over One-year at the Riyadh Armed Forces Hospital

A prospective study to assess the value of MMP-9 in improving the appropriateness of urgent referrals for colorectal cancer

A prospective, cross-sectional study of anaemia and peripheral iron status in antiretroviral naأ¯ve, HIV-1 infected children in Cape Town, South Africa

A prospective, randomised, controlled clinical study on the assessment of tolerability and of clinical efficacy of Merional (hMG-IBSA) administered subcutaneously versus Merional administered intramuscularly in women undergoing multifollicular ovarian sti

A Protection Scheme for Mobile Agents on Java

A Protein Complex Containing the Conserved Swi2/Snf2-Related ATPase Swr1p Deposits Histone Variant H2A.Z into Euchromatin

A protein evolution model with independent sites that reproduces site-specific amino acid distributions from the Protein Data Bank

A protein folding potential that places the native states of a large number of proteins near a local minimum

A protein interaction atlas for the nuclear receptors: properties and quality of a hub-based dimerisation network

A protein kinase Cβ inhibitor attenuates multidrug resistance of neuroblastoma cells

A protein knockdown strategy to study the function of β-catenin in tumorigenesis

A protein with amino acid sequence homology to bovine insulin is present in the legume Vigna unguiculata (cowpea)

A proteomic approach based on peptide affinity chromatography, 2-dimensional electrophoresis and mass spectrometry to identify multiprotein complexes interacting with membrane-bound receptors

A proteomic study of Corynebacterium glutamicum AAA+ protease FtsH

A protocol for anonymous communication over the internet

A protocol for Authentication, Data and Location Privacy, and Accounting in Mobile Computing Environments

A protocol for efficient transfer of data over fiber/cable systems

A Protocol for High Frequency Regeneration Through Nodal Explant Cultures and ex vitro Rooting of Plumbago rosea L.

A protocol for scalable loop-free multicast routing

A protocol for seamless communication in a picocellular network

A Protocol for Secure Transactions

A protocol stack development tool using generative programming

A protocol to set up shared secret schemes without the assistance of a mutually trusted party

A protocol-independent technique for eliminating redundant network traffic

A prototype DSS for structuring and diagnosing managerial problems

A Prototype Emergency Resource Redistribution System For Disease Control Programmes

A Prototype for Metadata-Based Integration of Internet Sources

A prototype Fortran-to-Java converter. Concurrency: Practice and Experience

A prototype implementation of archival intermemory

A Prototype of an Integrated Coordination Support System

A prototype platform for a multitier network interface card (mNIC

A prototype reading coach that listens

A prototyping environment for Dynamic Data Visualisation

A Prototyping Environment for Hardware/Software Codesign

A prototyping environment for specifying, executing and checking Communicating Real-Time State machines

A provable time and space efficient implementation of NESL

A provably time-efficient parallel implementation of full speculation

A proxy architecture for reliable multicast in heterogeneous environments

A pruning algorithm for imperfect information games

A pseudobiospecific hollow fiber cartridge for in vitro adsorption of autoantibodies from pathological serum

A Pseudo-Metric for Weighted Point Sets

A pseudorandom generator from any one-way function

A Pseudorandom Oracle Characterization of BPP

A Psycho Educational Program for Relapse Prevention in Bipolar Disorder

A psycholinguistically motivated parser for CCG

A PTAS for the Multiple Knapsack Problem

A Pterocarpan from Erythrina variegata

A public digital library based on full-text retrieval: Collections and experience

A PUBLISHED KINETIC MODEL EXPLAINS THE VARIATION IN NITROGEN CONTENT OF Pichia guilliermondii DURING ITS BATCH CULTIVATION ON DIESEL OIL

A Publishing System for Efficiently Creating Dynamic Web Content

A pulsatile flow model for in vitro quantitative evaluation of prosthetic valve regurgitation

A Pump for Rapid, Reliable, Secure Communication

A pursuer-evader game for sensor networks

A pursuit-evasion BUG algorithm

A putative autonomous 20.5 kb-CACTA transposon insertion in an F3'H allele identifies a new CACTA transposon subfamily in Glycine max

A putative resistant DNA marker for wool yellowing susceptibility in sheep

A putative RNA-interference-based immune system in prokaryotes: computational analysis of the predicted enzymatic machinery, functional analogies with eukaryotic RNAi, and hypothetical mechanisms of action

A PVM Implementation of a Portable Parallel Image Processing Library

A PVM implementation of the mchf atomic structure package

A pyrazolyl-thiazole derivative causes antinociception in mice

A QoS adaptive transport system: Design, implementation and experience

A QoS framework for multimedia applications in mobile ad hoc networks

A QoS Performance Measure Framework for Distributed Heterogeneous Networks

A QoS-Sensitive Approach for Timeliness and Freshness Guarantees in Real-Time Databases

A quadratically convergent predictor-corrector method for solving linear programs from infeasible starting points

A quadrature finite element method for semilinear second-order hyperbolic problems

A qualitative examination of home and neighborhood environments for obesity prevention in rural adults

A qualitative Markov assumption and its implications for belief change

A Qualitative Method to Construct Phase Portraits

A qualitative model of the space shuttle reaction control system

A qualitative physics compiler

A quality measure for compliant grasps

A Quality of Service Architecture

A Quality of Service Architecture that Combines Resource Reservation and Application Adaptation

A Quality Planning Model for Distributed Multimedia in the Virtual Cockpit

A quantification of distance-bias between evaluation metrics in classification

A quantitative algorithm for data locality optimization

A Quantitative Analysis and Performance Study for Similarity-Search Methods in High-Dimensional Spaces

A Quantitative Analysis of Disk Drive Power Management in Portable Computers

A quantitative analysis of grid-related systematic errors in oxidising capacity and ozone production rates in chemistry transport models

A quantitative analysis of loop nest locality

A Quantitative Analysis of Reconfigurable Coprocessors for Multimedia Applications

A quantitative analysis of the mechanism that controls body size in Manduca sexta

A Quantitative Assured Forwarding Service

A quantitative comparison of graph-based models for Internet topology

A quantitative comparison of parallel computation models

A Quantitative Comparison of Scheduling Algorithms for Input-Queued Switches

A quantitative estimation of the global translational activity in logarithmically growing yeast cells

A quantitative evaluation of linguistic tests for the automatic prediction of semantic markedness

A quantitative model for the GCN4 translational control in Saccharomyces cerevisiae

A Quantitative Model of the Security Intrusion Process Based on Attacker Behavior

A quantitative PCR (TaqMan) assay for pathogenic Leptospira spp

A quantitative PCR method to detect blood microRNAs associated with tumorigenesis in transgenic mice

A Quantitative Study of Differentiated Services for the Internet

A quantitative study of small disjuncts

A Quantitative Survey of Air-borne Fungal Spores from Schools in Riyadh, Saudi Arabia

A quantitative test of infrared optical constants for supercooled sulphuric and nitric acid droplet aerosols

A quasilinearization method for a class of second order singular nonlinear differential equations with nonlinear boundary conditions

A quasi-optimal stabilizing control of power systems withdual-excited machines

A Quasi-synchronous Algorithm for Checkpointing in Distributed Systems

A query algebra for object-oriented databases

A query facility for common intrusion detection framework

A query language and optimization techniques for unstructured data

A query language for a web-site management system

A Query Language for Multidimensional Arrays: Design, implementation, and Optimization Techniques

A query language for NC

A query language for semistructured data based on the ambient logic

A query sampling method for estimating local cost parameters in a multidatabase system

A query translation scheme for rapid implementation of wrappers

A question answering system developed as a project in a natural language processing course

A question answering system supported by information extraction

A Queue Management Algorithm for Intra-Flow Service Differentiation in the "Best Effort" Internet

A queue with periodic arrivals and constant service rate

A queueing network with a single cyclically roving server

A Queuing Model for Finite-Buffered Multistage Interconnection Networks

A Quick Rendering Method Using Basis Functions for Interactive Lighting Design

A Radial Basis Function Approach to Financial Time Series Analysis

A radial basis function method for solving options pricing model

A Radomized Trial of Bronchial Arterial Infusion (BAI), Traditional Vein Chemotherapy and BAI plus Vein Chemotherapy Sequential Therapy in the Treatment of Advanced and Late NSCLC

A Ramsey-type theorem for metric spaces and its applications for metrical task systems and related problems

A Random Graph Model for Massive Graphs

A random graph model for power law graphs

A random server model for private information retrieval

A random structure for optimum cache size distributed hash table (DHT) peer-to-peer design

A random walks view of spectral segmentation

A randomised controlled trial investigating the effect of n-3 long-chain polyunsaturated fatty acid supplementation on cognitive and retinal function in cognitively healthy older people: the Older People And n-3 Long-chain polyunsaturated fatty acids (OPA

A randomised controlled trial investigating the effect of nutritional supplementation on visual function in normal, and age-related macular disease affected eyes: design and methodology [ISRCTN78467674]

A randomised controlled trial of the effects of albendazole in pregnancy on maternal responses to mycobacterial antigens and infant responses to bacille Calmette-Guأ©rin (BCG) immunisation [ISRCTN32849447]

A randomised cross-over trial in healthy adults indicating improved absorption of omega-3 fatty acids by pre-emulsification

A randomized algorithm for gossiping in radio networks

A Randomized Controlled Trial of Interleukin-1 Receptor Antagonist in a Rabbit Model of Ascending Infection in Pregnancy

A randomized controlled trial of tea tree oil (5%) body wash versus standard body wash to prevent colonization with methicillin-resistant Staphylococcus aureus (MRSA) in critically ill adults: research protocol

A randomized double-blind study of the short-time treatment of obese patients with nonalcoholic fatty liver disease with ursodeoxycholic acid

A Randomized Error Recovery Algorithm for Reliable Multicast

A Randomized Fully Polynomial Time Approximation Scheme for the All Terminal Network Reliability Problem

A randomized linear-time algorithm to find minimum spanning trees

A randomized multi-center phase II trial of the angiogenesis inhibitor Cilengitide (EMD 121974) and gemcitabine compared with gemcitabine alone in advanced unresectable pancreatic cancer

A Randomized Parallel 3D Convex Hull Algorithm for Coarse Grained Multicomputers

A randomized parallel sorting algorithm with an experimental study

A randomized study of docetaxel plus cisplatin versus paclitaxel plus cisplatin in previously untreated advanced non-small cell lung cancer

A randomized time-work optimal parallel algorithm for finding a minimum spanning forest

A randomized trial comparing structured and lifestyle goals in an internet-mediated walking program for people with type 2 diabetes

A Randomized Trial of Azithromycin Versus Amoxicillin for the Treatment of Chlamydia trachomatis in pregnancy

A Randomized, Double-Blind, Placebo-Controlled Trial of 5-Fluorouracil for the Treatment of Cervicovaginal Human Papillomavirus

A randomized, parallel study of the safety and efficacy of 45 mg primaquine versus 75 mg bulaquine as gametocytocidal agents in adults with blood schizonticide-responsive uncomplicated falciparum malaria [ISCRTN50134587]

A randomized, pilot trial comparing full versus escalating dose regimens for the desensitization of AIDS patients allergic to sulfonamides

A Randomness-Rounds Tradeoff in Private Computation

A rapid and efficient method to express target genes in mammalian cells by baculovirus.

A rapid and reliable determination of doxycycline hyclate by HPLC with UV detection in pharmaceutical samples

A rapid and sensitive bioassay to measure bone morphogenetic protein activity

A rapid and sensitive method for dimethylsulphide analysis in Brazilian sugar cane sugar spirits and other distilled beverages

A rapid face construction lab

A rapid hierarchical radiosity algorithm

A rapid semi-automatic simulation technique for investigating interactive speech and handwriting

A rapid technique for analysis of formalin-fixed, paraffin-embedded tissues by fluorescent in situ hybridization with alpha-satellite probes

A rapidly evolving secretome builds and patterns a sea shell

A rare case of Acute Lymphocytic Leukemia (ALL) presenting with double Philadelphia chromosome: relapse or secondary leukemia?

A rare case of ascending colon actinomycosis mimicking cancer

A rare case of diphyllobothriasis from pondicherry, South India

A rare case of human trypanosomiasis caused by Trypanosoma evansi

A rare case of mucormycosis of median sternotomy wound caused by Rhizopus arrhizus

A rare cause of recurrent gastrointestinal bleeding: mesenteric hemangioma

A rare variation of the biceps brachi muscle

A rat pancreatic ribonuclease fused to a late cotton pollen promoter severely reduces pollen viability in tobacco plants

A rate based back-pressure flow control for the internet

A Rate Control Mechanism for Packet Video in the Internet

A rate control method for H.263 temporal scalability

A rate-adaptive MAC protocol for multi-hop wireless networks

A rate-based execution abstraction for multimedia computing

A Rate-Based Switch Algorithm with Delay Adjustment for ABR Traffic to Achieve MaxMin Fairness

A rational approach to portable high performance: the Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (fast) library

A rational cubic spline for the visualization of monotonic data

A rational cubic spline for the visualization of monotonic data: an alternate approach

A rational design for a weighted finite-state transducer library

A rational Lanczos algorithm for model reduction

A rational reconstruction and extension of recursion analysis

A rational spline for visualizing positive data

A rational spline with tension: some CAGD perspectives

A rational treatment of Mendelian genetics

A rationale for continuing mass antibiotic distributions for trachoma

A Ray Tracing Accelerator Based on a Hierarchy of 1D Sorted Lists

A ray tracing method for illumination calculation in diffuse-specular scenes

A Re View of the Box Algebra

A Reactive Approach to Explanation

A reactive plan language

A Reactive Planner for a Model-Based Executive

A Reactive Service Composition Architecture for Pervasive Computing Environments

A reactive-deliberative model of dialogue agency

A readable TCP in the prolac protocol language

A Real Time Anatomical Converter for Human Motion Capture

A real world implementation of answer extraction

A realistic experiment in knowledge representation in open event calculus : Protocol specification

A realistic resource-constrained software pipelining algorithm

A really temporal logic

A Real-Time Algorithm for Medical Shape Recovery

A real-time computer vision system for measuring traffic parameters

A real-time execution semantics for UML activity diagrams

A real-time garbage collector based on the lifetimes of objects

A Real-Time Head Nod and Shake Detector

A real-time locking protocol

A real-time management, control and information transport architecture for broadband networks

A real-time music scene description system: detecting melody and bass lines in audio signals

A real-time process logic

A real-time system description language

A rearrangeable algorithm for the construction of delay-constrained dynamic multicast trees

A rearrangement search strategy for determining propositional satisfiability

A reason why the ERBB2 gene is amplified and not mutated in breast cancer

A reasoning economy for planning and replanning

A receiver-initiated collision-avoidance protocol for multi-channel networks

A receptor for infectious and cellular prion protein

A recipe for atomic semantics for Byzantine quorum systems

A recognition algorithm for special linear groups

A recombination strategy for multi-band speech recognition based on mutual information criterion

A reconfigurable broadcast scan compression scheme using relaxation based test vector decomposition

A Reconfigurable Broadcast Scan Compression Scheme Using Relaxation Based Test Vector Decomposition

A reconfigurable gaussian/triangular basis functions computation circuit

A reconfigurable neuromorphic VLSI multi-chip system applied to visual motion computation

A reconfigurable Satlin/Sigmoid/Gaussian/Triangular basis functions computation circuit

A reconfigurable SATLIN/SIGMOID/Gaussian/Triangular basis functions computation circuit

A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability

A recoverable object store

A Recurrent Network Implementation of Time Series Classification

A Recursive Construction Method of S-boxes Satisfying Strict Avalanche Criterion

A Recursive Techniques Editor for Prolog

A Reduced Energy Decoding of MPEG Streams

A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints

A reduced space interior point strategy for optimization of differential algebraic systems

A reduced-load equivalence for Generalised Processor Sharing networks with heavy-tailed input flows

A Redundant Disk Array Architecture for Efficient Small Writes

A re-evaluation of the ClO/Cl2O2 equilibrium constant based on stratospheric in-situ observations

A re-examination of text categorization methods

A reference Bayesian test for nested hypotheses and its relationship to the Schwarz criterion

A reference chain approach for live variables

A reference terminology for drugs

A Reflection on Call-by-Value

A Reflective Component Model for Open Systems

A reflective model for first class dependencies

A reflective symmetry descriptor for 3D models

A Region Based Query Optimizer through Cascades Optimizer Framework

A region inference algorithm

A region-based fuzzy feature matching approach to content-based image retrieval

A region-based theory for state assignment in speed-independent circuits

A region-based video coder using edge flow segmentation and hierarchical affine region matching

A regioselective alkylation at the C-6 hydroxyl group of erythromycin A-oxime derivatives

A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs

A REGRESSION-MODEL FOR ELECTRIC-ENERGY-CONSUMPTION FORECASTING IN EASTERN SAUDI-ARABIA

A regularity result for the heterogeneous evolution dam problem

A regulator of G Protein signaling, RGS3, inhibits gonadotropin-releasing hormone (GnRH)-stimulated luteinizing hormone (LH) secretion

A reinforcement learning approach to job-shop scheduling

A Reinforcement Learning Scheme for Adaptive Link Allocation in ATM Networks

A reinforcement-learning approach to reactive control policy design for autonomous robots

A rejection technique for sampling from t-concave distributions

A relational account of call-by-value sequentiality

A Relational Algebra for Complex Objects based on Partial Information

A relational approach to strictness analysis for higher-order polymorphic functions

A Relational Approach to the Compilation of Sparse Matrix Programs

A relational approach to translation

A RELAXATION APPROACH TO THE FUZZY CLUSTERING PROBLEM

A relevance feedback architecture in content-based multimedia information retrieval systems

A relevance terminological logic for information retrieval

A relevant analysis of natural deduction

A RELIABILITY MODEL FOR FATIGUE LIFE CHARACTERIZATION

A reliability study of Fokker F-27 airplane brakes

A reliable dissemination protocol for interactive collaborative applications

A reliable multicast data distribution protocol based on software FEC techniques

A reliable multicast framework for light-weight sessions and application level framing

A Reliable Natural Language Interface to Household Appliances

A Reliable Transmission Protocol for Myrinet

A Remark on a Signature Scheme where Forgery can be Proved

A remark on matrix rigidity

A remarkable q, t-Catalan sequence and q-Lagrange inversion

A Remote Execution Mechanism for Distributed Homogeneous Stable Stores

A Remote Operations System Tailored to Application Requirements

A reordered Schur factorization method for zero-dimensional polynomial systems with multiple roots

A Replica Technique for Wordline and Sense Control in Low-power SRAMs

A replicated architecture for the domain name system

A replicator equation-based evolutionary algorithm for the maximum clique problem

A report of 28 cases of 3-year follow-up after liver transplantation for advanced hepatocellular carcinoma.

A report of recent progress in Transformation-based Error-driven Learning

A report of the Sixth Annual Meeting of the International Society for the Prevention of Tobacco Induced Diseases (ISPTID)

A report of two cases of Werner's syndrome and review of the literature.

A repository of convex quadratic programming problems

A Repository of Workflow Components for Cooperative E-applications

A Representation of the Trac World in the Language of the Causal Calculator

A reputation system to increase MIX-net reliability

A requirements-driven development methodology

A resampling-based meta-analysis for detection of differential gene expression in breast cancer

A Research on Sexual Performance in Rams and Bucks

A Research on the Adaptation of Some Blackberry Cultivars in AyaO (Ankara) Conditions

A Research on the Adaptation of Some Raspberry Cultivars in Ayas (Ankara) Conditions

A Research on the Effect of Position, Variety and Storage Period of Onion on Punching

A Research on the Ensiling Possibilities of Johnson Grass (Sorghum halepense) Forage with Broiler Litter

A Research on the Socio-economic Features of the Olive Oil Producers in Western Part of Turkey: Production, Organization, Marketing Problems and Solutions

A Research on the Urea Hydrolysis Rate in the Soils of Turkey

A Reservation and Collision-Free Media Access Protocol for Optical Star Local Area Networks

A resolution decision procedure for fluted logic

A resolution method for CTL branching-time temporal logic

A resolution method for temporal logic

A resolution-based decision procedure for extensions of K4

A Resource Access Decision Service for CORBA-based Distributed Systems

A resource allocation model for QoS management

A Resource Based Pricing Policy for Real-Time Channels in a Packet-Switching Network

A Resource Management Framework for Central Servers

A resource management system based on the odp trader concepts and x.500

A resource query interface for network-aware applications

A response to Cheriton and Skeen's criticism of causal and totally ordered communication

A restricted additive Schwarz preconditioner for general sparse linear systems

A resumption monad transformer and its applications in the semantics of concurrency

A retargetable compiler for ANSI

A retargetable integrated code improver

A retargetable table reader

A Retargetable Technique for Predicting Execution Time

A Retiming-Based Test Pattern Generator Design for Built-In Self Test of Data Path Architectures

A retiming-based test pattern generator design for built-in selftest of data path architectures

A retinomorphic vision system

A retrospective study of central nervous system shunt infections diagnosed in a university hospital during a 4-year period

A retrospective study on the use of post-operative colonoscopy following potentially curative surgery for colorectal cancer in a Canadian province

A Reusable Component Architecture for Agent Construction

A reuse nightmare: Honey, I got the wrong DLL

A Reverse Address Resolution Protocol

A reverse engineering approach for migrating data-intensive web sites to the semantic web

A reverse engineering environment based on spatial and visual software interconnection models

A reverse turing test using speech

A review and empirical evaluation of feature weighting methods for a class of lazy learning algorithms

A review of association of dietary factors in gallbladder cancer

A review of attendance and non-attendance studies at sporting events

A review of bayesian neural networks with an application to near infrared spectroscopy

A review of biomass burning emissions part II: intensive physical properties of biomass burning particles

A review of biomass burning emissions part III: intensive optical properties of biomass burning particles

A review of chain transfer catalysis and catalytic homopolymerization of acrylates and styrene

A review of corrosion and pitting resistance of Al 6061 and 6013 silicon carbide composites in neutral salt solution and seawater

A review of current routing protocols for ad-hoc mobile wireless networks

A review of evolutionary artificial neural networks

A review of gastrointestinal manifestations of Brucellosis

A review of hydrocarbon habitats in Bangladesh

A review of imaging techniques for systems biology

A review of measurement-based assessments of the aerosol direct radiative effect and forcing

A review of medical image registration

A Review of Medicinal Uses and Pharmacological Activities of Nigella sativa

A review of models for simple genetic algorithms and cellular genetic algorithms

A review of network security

A review of non-conventional methods for the desulfurization of residual fuel oil

A review of QoS architectures

A Review of Reproductive Biotechnologies and Their Application in Goat

A Review of the Cocktail Party Effect

A Review of the Epidemiology, Biology and Pathogenesis of HIV

A REVIEW OF THE GEOTECHNICAL AND CONSTRUCTION PROBLEMS IN SABKHA ENVIRONMENTS AND METHODS OF TREATMENT

A review of the Match technique as applied to AASE-2/EASOE and SOLVE/THESEO 2000

A review of the minimum maximum criterion for optimal bit allocation among dependent quantizers

A Review of the State of the Practice in Requirements Modeling

A review of theoretical and experimental results on schemata in genetic programming

A review of tool support for software inspection

A review of watermarking and the importance of perceptual modeling

A Review on Indian Sarsaparilla, Hemidesmus indicus (L.) R. Br.

A Review on Rainbow Trout Fry Syndrome (RTFS)

A Review on Some Organic Acids Additives as Shelf Life Extenders of Fresh Beef Cuts

A Review on the Applications of Organic Trace Minerals in Pig Nutrition

A Review on the Collection, Preservation and Systematic Techniques in Phlebotominae

A review on the mathematical modeling of biofilm processes: Advances in fundamentals of biofilm modeling

A Review on Thornless Roses

A Review: Pattern Formation and Adaptation in Multi-Robot Systems

A revised linear ozone photochemistry parameterization for use in transport and general circulation models: multi-annual simulations

A revised parameterization for gaseous dry deposition in air-quality models

A revised protocol for more clearly classifying a nonunion.

A Revocation, Validation and Authentication Protocol for SPKI Based Delegation Systems

A revolution: Belief propagation in graphs with cycles

A rewriting technique for the analysis and the optimization of active databases

A rheological investigation of a high temperature organic gel used for water shut-off treatments

A Ricci-semi-symmetric hypersurface of Euclidean space which is not semi-symmetric

A ring-like nucleoid is not necessary for radioresistance in the Deinococcaceae

A riqueza de espأ©cies arbأ³reas na floresta atlأ¢ntica de encosta no estado de Sأ£o Paulo (Brasil)

A risk based cost model of a shell-and-tube heat exchanger subject to fouling

A risk based heat exchanger analysis subject to fouling Part I: Performance evaluation

A risk based heat exchanger analysis subject to fouling Part II: Economics of heat exchangers cleaning

A risk based performance evaluation of plate-and-frame heat exchangers

A risk-based performance analysis of plate-and-frame heat exchangers subject to fouling: Economics of heat exchanger cleaning

A roadmap of agent research and development

A road-map on complexity for hybrid logics

A Roadmap to Ontology Specification Languages

A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations

A Robot That Improves Its Ability To Learn

A robotic DNA purification protocol and real-time PCR for the detection of Enterobacter sakazakii in powdered infant formulae

A Robotic Voice Simulator and the Interactive Training for Hearing-Impaired People

A Robotic Walker That Provides Guidance

A robust acknowledgement scheme for unreliable flows

A Robust and Fast Action Selection Mechanism for Planning

A Robust and Scalable Peer-to-Peer Gossiping Protocol

A Robust Approach for Camera Break Detection in Color Video Sequence

A robust audio classification and segmentation method

A robust competitive clustering algorithm with applications in computer vision

A robust controller for DC-DC switched mode power converters

A robust damping controller design for a unified power flow controller

A robust damping controller for SMES using loop-shaping technique

A robust digital image watermarking method using wavelet-based fusion

A Robust Environment for Agent Deployment

A robust gross-to-fine pattern recognition system

A robust hierarchical basis preconditioner on general meshes

A Robust Human-Silhouette Extraction Technique for Interactive Virtual Environments

A robust logical and computational characterisation of peer-to-peer database systems

A Robust Method for Computing Vehicle Ego-motion

A robust method for speech signal time-delay estimation in reverberant rooms

A robust optimization solution to the data hiding problem using distributed source coding principles

A robust parallel programming model for dynamic non-uniform scientific computations

A Robust Perceptual Audio Hashing Using Balanced Multiwavelets

A robust risk minimization based named entity recognition system

A robust robot navigation architecture using partially observable semi-markov decision processes

A Robust Scheme for Oblivious Detection of Watermarks / Data Hiding

A robust STATCOM controller for power system dynamic performance enhancement

A robust STATCOM controller for power system dynamic performanceenhancement

A robust STATCOM damping controller for a multi-machine power system

A Robust Structural PGN Model for Control of Cell-Cycle Progression Stabilized by Negative Feedbacks

A robust system for natural spoken dialogue

A robust unit selection system for speech synthesis

A robust, low- to medium-throughput prnp genotyping system in sheep

A Role Based Access Control Model and Reference Implementation Within a Corporate Intranet

A role for adenosine deaminase in Drosophila larval development.

A role for histone-like protein H1 (H-NS) in the regulation of hemolysin expression by Serratia marcescens

A role for Insulin-like growth factor 2 in specification of the fast skeletal muscle fibre

A role for Phospholipase D in Drosophila embryonic cellularization

A role for SNX5 in the regulation of macropinocytosis

A role for sperm in regulation of egg-laying in the Nematode C. elegans

A role of proton transfer in peroxidase-catalyzed process elucidated by substrates docking calculations

A Role-Based Delegation Model and Some Extensions

A Role-Based Design Pattern Catalog of Atomic and Composite Patterns Structured by Pattern Purpose. Ubilab

A Room of Your Own: What do we learn about support of teamwork from assessing teams in dedicated project rooms

A router-based technique for monitoring the next-generation of internet multicast protocols

A routine electrocardiogram cannot be used to determine the size of myocardial infarction in the rat

A Routing Protocol and Energy Efficient Techniques

A routing protocol for packet radio networks

A routing vector method (RVM) for routing in Bluetooth scatternets

A rule induction approach to modeling regional pronunciation variation

A rule-based algorithm for rigid E-unification

A rule-based approach for high speed adders design verification

A rule-based question answering system for reading comprehension tests

A run-time assertion checker for Java using JML

A runtime system for interactive Web services

A safe, efficient algorithm for regression test selection

A safe, efficient regression test selection technique

A safety kernel architecture

A saliency-based search mechanism for overt and covert shifts of visual attention

A sample of samplers: A computational perspective on sampling

A Sampling Algorithm for Tracking Multiple Objects

A Sampling Based Approach to Line Scratch Removal From Motion Picture Frames

A sanctuary for mobile agents

A SAT-based decision procedure for alc

A satisfiability tester for non-clausal propositional calculus

A Scaffold Analysis Tool Using Mate-Pair Information in Genome Sequencing

A scalable agent location mechanism

A scalable algorithm for answering queries using views

A scalable algorithm for clustering sequential data

A scalable and efficient storage allocator on shared-memory multiprocessors

A scalable and explicit event delivery mechanism for UNIX

A Scalable and Ontology-based P2P Infrastructure for Semantic Web Services

A scalable and robust feedback mechanism for adaptive multimedia multicast systems

A scalable and robust framework for distributed applications

A scalable approach to balanced, high-dimensional clustering of market-baskets

A scalable approach to human-robot interaction

A Scalable Approach to Thread-Level Speculation

A Scalable Architecture for Autonomous Heterogeneous Database Interactions

A Scalable Architecture for Maximizing Concurrency???, Eighth NASA Goddard Space Flight

A scalable architecture for monitoring and visualizing multicast statistics

A scalable architecture for proof-carrying code

A Scalable Architecture for Reliable Distributed Multimedia Applications

A scalable comparison-shopping agent for the World-Wide Web

A Scalable Content-Addressable Network

A scalable eigenvalue solver for symmetric tridiagonal matrices

A Scalable Event Infrastructure for Peer to Peer Grids

A scalable family of high-speed switch architectures

A scalable flow control algorithm for the Fast Messages communication library

A scalable high-performance I/O system

A Scalable Location Management Scheme in Mobile Ad-hoc Networks

A Scalable Location Service for Geographic Ad Hoc Routing

A scalable mark-sweep garbage collector on large-scale shared-memory machines

A Scalable Method for Estimating Network Traffic Matrices, Bell Labs Technical Memorandum

A Scalable Middleware Solution for Advanced Wide-Area Web Services

A Scalable Multicast Architecture for One-to-Many Telepresentations

A scalable multi-discipline, multiple-processor scheduling framework for irix

A scalable parallel tree search library

A scalable register file architecture for dynamically scheduled processors

A Scalable Reliable Multicast Protocol

A scalable self-organizing map algorithm for textual classification: A neural network approach to thesaurus generation

A scalable sparse direct solver using static pivoting

A Scalable Strategy for the Parallelization of Multiphysics Unstructured Mesh-Iterative Codes on Distributed-Memory Systems

A scalable substructuring method by Lagrange multipliers for plate bending problems

A scalable system for consistently caching dynamic web data

A Scalable VLSI MIMD Routing Cell

A scalable web cache consistency architecture

A Scalable, Interactive Video-On-Demand Service Using Multicast Communication

A Scalable, Non-Hierarchical Resource Discovery Mechanism Based on Probabilistic Protocols

A scalar function formulation for optical flow

A Scale Decomposed Information Measure in Images

A scaled conjugate gradient algorithm for fast supervised learning

A scale-space approach to nonlocal optical flow calculations

A scaling analysis of ozone photochemistry

A scanning electron microscopic evaluation of microsurgical anastomosis by conventional end to end and end to end anastomosis using 'temporary stent' technique: An experimental study

A SCATTERING CHAMBER FACILITY FOR CHARGED-PARTICLE TRANSFER-REACTION STUDIES AT THE KFUPM 350-KV ACCELERATOR

A Schedulable Utilization Bound for Aperiodic Tasks

A scheduler-sensitive global register allocator

A Scheduling Algorithm for Parallelizable Dependent Tasks

A Scheduling Discipline and Admission Control Policy for Xunet 2

A scheduling framework for web server clusters with intensive dynamic content processing

A Scheduling Service Model and a Scheduling Architecture for an Integrated Services Packet Network

A schema for interprocedural modification side-effect analysis with pointer aliasing

A schema theorem for context-free grammars

A scheme for approximating probabilistic inference

A scheme for comparative evaluation of diverse parsing systems

A Scheme for Coordinating Multi-robot Planning Activities and Plans Execution

A scheme for feature construction and a comparison of empirical methods

A scheme for integrating concrete domains into concept languages

A scheme for little languages in interactive graphics

A Scheme for Real-Time Channel Establishment in Wide-Area Networks

A school-based randomized controlled trial to improve physical activity among Iranian high school girls

A Schur method for pole assignment

A Science of Reasoning: Extended Abstract

A Scientific Visualization Synthesizer

A scoring matrix approach to detecting miRNA target sites

A Scorpion Compsobuthus schmiedeknechti (Scorpions: Buthidae) New to The Turkish Fauna

A screen to identify drug resistant variants to target-directed anti-cancer agents

A screening method for the optimal selection of plate heat exchanger configurations

A seamless integration of algorithm animation into a visual programming language

A search algorithm for table entries with non-contiguous wildcarding,??? unpublished report, Bellcore

A search engine for 3d models

A search engine to identify pathway genes from expression data on multiple organisms

A search for homologues of plant photoreceptor genes and their signaling partners in the sugarcane expressed sequence tag (Sucest) database

A search for markers of sugarcane evolution

A Search for Mosquitocidal Fish Species as Biocontrol Agents

A search space toolkit

A second case of multivalent meiotic configurations in diploid species of Anura

A second law comparison for optimum shape of duct subjected to constant wall temperature and laminar flow

A second look at overloading

A second-generation anti TB vaccine is long overdue

A second-order accurate numerical method for a fractional wave equation

A secure and economical system for caging venomous snakes

A Secure and Optimally Efficient Multi-Authority Election Scheme

A secure and publisher-centric web caching infrastructure

A secure and reliable bootstrap architecture

A secure communications infrastructure for high-performance distributed computing

A Secure Directory Service based on Exclusive Encryption???, (to appear) 18th ACSAC

A Secure Environment for Untrusted Helper Applications

A Secure Execution Framework for Java

A secure human-computer authentication scheme

A Secure Infrastructure for Service Discovery and Access

A secure PLAN

A secure poker protocol that minimizes the effect of player coalitions

A secure Signature Scheme from Bilinear Maps

A secure station for network monitoring and control

A Security Analysis of the Cliques Protocols Suites

A Security Framework Supporting Domain Based Access Control

A security kernel based on the lambda-calculus

A Security Model for Military Message Systems

A Security Risk of Depending on Synchronized Clocks

A selective location update strategy for PCS users

A selective protection scheme for the java environment

A Selective Undo Mechanism for Graphical User Interfaces Based on Command Objects

A self administered reliable questionnaire to assess lower bowel symptoms

A self-applicable partial evaluator for the lambda calculus

A self-coordinating approach to distributed fair queueing in Ad Hoc wireless networks

A self-learning controller for monocular grasping

A self-organizing multiple-view representation of 3D objects

A self-organizing neural network using cascaded Adaptive Resonance Theory (CART)

A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases

A semantic basis for the termination analysis of logic programs

A Semantic Characterization of Locative PPs

A Semantic Decomposition of Defeasible Logics

A semantic foundation for object identity in formal specification

A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems

A Semantic Model of Binding Times for Safe Partial Evaluation

A semantic model of program faults

A semantic model of reference counting and its abstraction

A semantic model of types and machine instructions for proof-carrying code

A semantic theory of abstractions

A semantic view of classical proofs

A Semantic Web Approach to Service Description for Matchmaking of Services

A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases

A semantic-head-driven generation algorithm for unification based formalisms

A semantic-head-driven generation algorithm for unification-based formalisms

A semantics and complete algorithm for subsumption in the CLASSIC description logic

A semantics for a logic of authentication (extended abstract

A semantics for advice and dynamic join points in aspect-oriented programming

A semantics for complex objects and approximate queries

A Semantics for Evaluation Logic

A semantics for imprecise exceptions

A semantics for shape

A semantics of compile-time reflection

A Semantics of Introspection in a Reflective PrototypeBased Language

A semantics of object types

A semidefinite bound for mixing rates of Markov chains

A semidigital dual delay-locked loop

A Semidiscrete Matrix Decomposition for Latent Semantic Indexing in Information Retrieval

A semiempirical study of the conformational behavior of cinchonidine and its interaction with methyl pyruvate

A semi-quantitative RT-PCR method to measure the in vivo effect of dietary conjugated linoleic acid on porcine muscle PPAR gene expression

A semi-reactive planner based on a possible models action formalization

A sense of self for unix processes

A Sensitive and Rapid Assay for Investigating Vertical Transmission of Hepatitis B Virus via Male Germ Line Using EGFP Vector as Reporter

A sensitive flow cytometric methodology for studying the binding of L. chagasi to canine peritoneal macrophages

A sensitive non-radioactive in situ hybridization method for the detection of chicken IgG &ggr;-chain mRNA: a technique suitable for detecting of variety of mRNAs in tissue sections

A sensitive one-step real-time PCR for detection of avian influenza viruses using a MGB probe and an internal positive control

A Sensitive Quantification of HHV-6B by Real-time PCR

A sensitivity-based wiresizing approach to interconnect optimization of lossy transmission line topologies

A Sensory Uncertainty Field Model for Unknown and Non-stationary Mobile Robot Environments

A Sentinel Approach to Fault Handling in Multi-Agent Systems

A sequence of bounds for the problem of minimizing electronic routing in wavelength routed optical rings

A SEQUENCING PROBLEM IN THE WEAVING INDUSTRY

A sequent calculus for reasoning in four-valued description logics

A sequential algorithm for training text classifiers

A sequential factorization method for recovering shape and motion from image streams

A Sequential Niche Technique for Multimodal Function Optimization

A Sequential Procedure for Simultaneous Estimation of Several Means

A sequential reduction strategy

A sequential regularization method for time-dependent incompressible Navier--Stokes equations

A sequential sampling algorithm for a general class of utility criteria

A sequential sampling procedure for genetic algorithms

A sequentially consistent distributed shared memory

A series solution for nonlinear differential equations using delta operators

A Serological Survey of Herpes Simplex Virus Type 1 and 2 Immunity in Pregnant Women at Labor Stage in Tehran, Iran

A service architecture for ATM: From applications to scheduling

A Service Model for the Integrated Services Internet

A Service Request Description Language

A service-oriented negotiation model between autonomous agents

A set constructor for inductive sets in Martin-Lof's type theory

A set of ligation-independent in vitro translation vectors for eukaryotic protein production

A set of microsatellite markers with long core repeat optimized for grape (Vitis spp.) genotyping

A set of multiplex panels of microsatellite markers for rapid molecular characterization of rice accessions

A set of stage-specific gene transcripts identified in EK stage X and HH stage 3 chick embryos

A set theory with support for partial functions

A Seven Month Survey for the Detection of E. coli O157:H7 from Ground Beef Samples in the Markets of Turkey

A shared object hierarchy

A sharp proof rule for procedures in wp semantics

A sharp threshold in proof complexity

A SHORT ALGEBRAIC PROOF OF A THEOREM OF WARFIELD

A Short and Stereoselective Synthesis of the Sex Pheromone of Bonagota cranaodes (Lepidoptera: Tortricidae)

A Short Course on Product Cost Estimation

A Short Course on Spice

A short cut to deforestation

A Short Guide to Product Development

A short presentation of YAK, a hybrid knowledge representation system

A short purification process for quantitative isolation of PrPSc from naturally occurring and experimental transmissible spongiform encephalopathies

A short review on SSF – an interesting process option for ethanol production from lignocellulosic feedstocks

A short-oligonucleotide microarray that allows improved detection of gastrointestinal tract microbial communities

A Sieve Algorithm for the Shortest Lattice Vector Problem

A Signal Analysis of Network Traffic Anomalies

A Signaling Pathway Involving TGF-beta2 and Snail in Hair Follicle Morphogenesis

A Signaling Protocol for Structured Resource Allocation

A signaling system using lightweight call sessions

A signal-processing framework for inverse rendering

A silent H-bond can be mutationally activated for high-affinity interaction of BMP-2 and activin type IIB receptor

A silhouette-based algorithm for texture registration and stitching

A silicon primitive for competitive learning

A simd vectorizing compiler for digital signal processing algorithms

A similarity-based probability model for latent semantic indexing

A Simple Active Attack Against TCP

A simple algorithm for computing the Fourier spectrum of experimentally obtained signals

A simple algorithm for computing the Fourier spectrum of experimentally obtained signals

A simple algorithm for finding frequent elements in streams and bags

A simple algorithm for homeomorphic surface reconstruction

A simple algorithm for learning O(log n)-term DNF

A simple algorithm for nearest neighbor search in high dimensions

A simple algorithm for shape from shading

A simple algorithm that discovers efficient perceptual codes

A simple algorithmically reasoned characterization of wait-free computations

A SIMPLE ANALYSIS OF SOLAR DESALINATION OF SEAWATER

A simple and accurate mixture model

A simple and efficient implementation for small databases

A Simple and Extensible Graphical Debugger

A Simple and Fast Distributed Algorithm to Compute a Minimum Spanning Tree

A simple and rapid approach for screening of SARS-coronavirus genotypes: an evaluation study

A Simple and Rapid Assay for Specific Identification of Bovine Derived Products in Biocomplex Materials

A Simple and Rapid Extraction for Gas Chromatographic Determination of Thiabendazole and Imazalil Residues in Lemons

A simple and rapid method for detection of Trypanosoma evansi in the dromedary camel using a nested polymerase chain reaction

A simple and reliable method for attaching radio-transmitters to lizards

A Simple and Selective Spectrophotometric Method for the Determination of Trace Gold in Real, Environmental, Biological, Geological and Soil Samples Using Bis (Salicylaldehyde) Orthophenylenediamine

A simple approach to specifying concurrent systems

A simple bivalency proof that t-resilient consensus requires t

A Simple Chemical Method for Rendering Wild-Type Yeast Permeable to Brefeldin A That Does Not Require the Presence of an erg6 Mutation

A simple computational market for network information services

A simple decomposition method for support vector machines

A simple dependence between protein evolution rate and the number of protein-protein interactions

A simple dimensionality reduction technique for fast similarity search in large time series databases

A Simple DNA Extraction Method for PCR Amplification from Dry Seeds of Brassica napus

A simple efficient flow control using header population of routers

A simple extension of Java language for controllable transparent migration and its portable implementation

A simple fault tolerant distributed hash table

A simple fixed point characterization of three-valued stable model semantics. Research report

A simple forecasting model for industrial electric energy consumption

A Simple Formalization and Proof for the Mutilated Chess Board

A simple formalization of actions using circumscription

A simple generalization of Kahn's principle to indeterminate dataflow networks

A simple HPLC-fluorescence method for the measurement of R,S-sotalol in the plasma of patients with life-threatening cardiac arrhythmias

A Simple Hybrid Aligner for Generating Lexical Correspondences in Parallel Texts

A simple hyper-geometric approach for discovering putative transcription factor binding sites

A simple in situ visual and tristimulus colorimetric method for the determination of diphosgene in air

A simple interpretation of OOP in a language with state

A simple load balancing scheme for task allocation in parallel machines

A simple logic for authentication protocol design

A Simple Loss Differentiation Approach to Layered Multicast

A SIMPLE METHOD FOR ESTIMATING THE SPECTRUM OF EXPONENTIALLY DAMPED SINUSOIDAL SIGNALS

A simple method for extracting models from protocol code

A simple method for generating full length cDNA from low abundance partial genomic clones

A simple method for immobilising the upper limb following groin or abdominal flaps for soft tissue defects in the hand

A simple method for pedicle protecti