journals/jal/Sherk95:::Murray Sherk:::Self-Adjusting k-ary Search Trees.
journals/jal/CypherSS89:::Robert Cypher::Jorge L. C. Sanz::L. Snyder:::Hypercube and Shuffle-Exchange Algorithms for Image Component Labeling.
journals/jal/KratochvilT02:::Jan Kratochvíl::Zsolt Tuza:::On the complexity of bicoloring clique hypergraphs of graphs.
journals/jal/FrederiksenLNU03:::Jens S. Frederiksen::Kim S. Larsen::John Noga::Patchrawat Uthaisombut:::Dynamic TCP acknowledgment in the LogP model.
journals/jal/DyerF86:::Martin E. Dyer::Alan M. Frieze:::Planar 3DM is NP-Complete.
journals/jal/PatersonY86:::Mike Paterson::F. Frances Yao:::Point Retrieval for Polygons.
journals/jal/Csirik93:::János Csirik:::The Parametric Behavior of the First-Fit Decreasing Bin Packing Algorithm.
journals/jal/BrandstadtCD99:::Andreas Brandstädt::Victor Chepoi::Feodor F. Dragan:::Distance Approximating Trees for Chordal and Dually Chordal Graphs.
journals/jal/LindenbaumB92:::Michael Lindenbaum::Alfred M. Bruckstein:::Parallel Strategies for Geometric Probing.
journals/jal/FriezeS96:::Alan M. Frieze::Stephen Suen:::Analysis of Two Simple Heuristics on a Random Instance of k-SAT.
journals/jal/Goodrich89:::Michael T. Goodrich:::Triangulating a Polygon in Parallel.
journals/jal/MillerO85:::Z. Miller::James B. Orlin:::NP-Completeness for Minimizing Maximum Edge Length in Grid Embeddings.
journals/jal/Awerbuch90:::Baruch Awerbuch:::On the Effects of Feedback in Dynamic Network Protocols.
journals/jal/Johnson83a:::David S. Johnson:::The NP-Completeness Column: An Ongoing Guide.
journals/jal/Johnson84b:::David S. Johnson:::The NP-Completeness Column: An Ongoing Guide.
journals/jal/Oldham01:::Jeffrey D. Oldham:::Combinatorial Approximation Algorithms for Generalized Flow Problems.
journals/jal/SkowronskaSZ86:::Miroslawa Skowronska::Maciej M. Syslo::Cristina Zamfirescu:::An Algorithmic Characterization of Total Digraphs.
journals/jal/NakayamaNS85:::Hiroyuki Nakayama::Takao Nishizeki::Nobuji Saito:::Lower Bounds for Combinatorial Problems on Graphs.
journals/jal/Sorenson94:::Jonathan Sorenson:::Two Fast GCD Algorithms.
journals/jal/LewandowskiLL86:::J. L. Lewandowski::C. L. Liu::Jane W.-S. Liu:::An Algorithmic Proof of a Generalization of the Birkhoff-Von Neumann Theorem.
journals/jal/FerraginaG99:::Paolo Ferragina::Roberto Grossi:::Improved Dynamic Text Indexing.
journals/jal/BhattacharyaS97:::Binay K. Bhattacharya::Sandeep Sen:::On a Simple, Practical, Optimal, Output-Sensitive Randomized Planar Convex Hull Algorithm.
journals/jal/HoftingW00:::Franz Höfting::Egon Wanke:::Polynomial-Time Analysis of Toroidal Periodic Graphs.
journals/jal/Zantema91:::Hans Zantema:::Minimizing Sums of Addition Chains.
journals/jal/MansourS90:::Yishay Mansour::Leonard J. Schulman:::Sorting on a Ring of Processors.
journals/jal/Siegel01:::Alan Siegel:::Median Bounds and Their Application.
journals/jal/GoelHPT03:::Ashish Goel::Monika Rauch Henzinger::Serge A. Plotkin::Éva Tardos:::Scheduling data transfers in a network and the set scheduling problem.
journals/jal/FeigeKL02:::Uriel Feige::Marek Karpinski::Michael Langberg:::Improved approximation of Max-Cut on graphs of bounded degree.
journals/jal/HuangT90:::Ming-Deh A. Huang::Shang-Hua Teng:::Security, Verifiability, and Universality in Distributed Computing.
journals/jal/ChibaNS81:::Norishige Chiba::Takao Nishizeki::Nobuji Saito:::A Linear 5-Coloring Algorithm of Planar Graphs.
journals/jal/BreslauerJJ97:::Dany Breslauer::Tao Jiang::Zhigen Jiang:::Rotations of Periodic Strings and Short Superstrings.
journals/jal/Savage89:::Carla D. Savage:::Gray Code Sequences of Partitions.
journals/jal/FranzblauZ82:::Deborah S. Franzblau::Doron Zeilberger:::A Bijective Proof of the Hook-Length Formula.
journals/jal/Bar-YehudaK88:::Reuven Bar-Yehuda::Shay Kutten:::Fault Tolerant Distributed Majority Commitment.
journals/jal/AielloRV98:::William Aiello::Sivaramakrishnan Rajagopalan::Ramarathnam Venkatesan:::Design of Practical and Provably Good Random Number Generators.
journals/jal/HesterHL88:::James H. Hester::Daniel S. Hirschberg::Lawrence L. Larmore:::Construction of Optimal Binary Split Trees in the Presence of Bounded Access Probabilities.
journals/jal/PanaiteP99:::Petrisor Panaite::Andrzej Pelc:::Exploring Unknown Undirected Graphs.
journals/jal/AfekW99:::Yehuda Afek::Eytan Weisberger:::The Instancy of Snapshots and Commuting Objects.
journals/jal/AnderssonP98:::Arne Andersson::Ola Petersson:::Approximate Indexed Lists.
journals/jal/KarpLM89:::Richard M. Karp::Michael Luby::Neal Madras:::Monte-Carlo Approximation Algorithms for Enumeration Problems.
journals/jal/GoodrichW00:::Michael T. Goodrich::Christopher G. Wagner:::A Framework for Drawing Planar Graphs with Curves and Polylines.
journals/jal/Atallah86:::Mikhail J. Atallah:::Computing the Convex Hull of Line Intersections.
journals/jar/Stevens87:::Rick L. Stevens:::Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover.
journals/jar/ChuP97:::Heng Chu::David A. Plaisted:::CLIN-S - A Semantically Guided First-Order Theorem Prover.
journals/jar/Hall92:::Robert J. Hall:::Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study.
journals/jar/Gao90:::Xiao-Shan Gao:::Transcendental Functions and Mechanical Theorem Proving in Elemantary Geometries.
journals/jar/LetzSBB92:::Reinhold Letz::Johann Schumann::Stefan Bayerl::Wolfgang Bibel:::SETHEO: A High-Performance Theorem Prover.
journals/jar/Hunt89:::Warren A. Hunt Jr.:::Microprocessor Design Verification.
journals/jar/Wos01:::Larry Wos:::A Milestone Reached and a Secret Revealed.
journals/jar/Wos87:::Larry Wos:::Some Obstacles to the Automation of Reasoning and the Problem of Redundant Information.
journals/jar/Wos95:::Larry Wos:::Searching for Circles of Pure Proofs.
journals/jar/WuL01:::Chih-Hung Wu::Shie-Jue Lee:::Parallelization of a Hyper-Linking-Based Theorem Prover.
journals/jar/LuBH93:::James J. Lu::Monica D. Barback::Lawrence J. Henschen:::Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction.
journals/jar/SakamaI94:::Chiaki Sakama::Katsumi Inoue:::An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases.
journals/jar/Schumann94:::Johann Schumann:::Tableaux-based Theorem Provers: Systems and Implementations.
journals/jar/Bonatti94:::Piero A. Bonatti:::Autoepistemic Logic Programming.
journals/jar/Tang89:::Tong Gao Tang:::Temporal Logic CTL + PROLOG.
journals/jar/Wos85a:::Larry Wos:::What Is Automated Reasoning?
journals/jar/Wos93b:::Larry Wos:::The Kernel Strategy and Its Use for the Study of Combinatory Logic.
journals/jar/WosP99:::Larry Wos::Gail W. Pieper:::The Hot List Strategy.
journals/jar/ChisholmSW89:::Gregory H. Chisholm::Brian T. Smith::Anthony S. Wojcik:::An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods.
journals/jar/McCune92a:::William McCune:::Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval.
journals/jar/Bundy85:::Alan Bundy:::Incidence Calculus: A Mechanism for Probabilistic Reasoning.
journals/jar/KraanBB96:::Ina Kraan::David A. Basin::Alan Bundy:::Middle-Out Reasoning for Synthesis and Induction.
journals/jar/Stickel85:::Mark E. Stickel:::Automated Deduction by Theory Resolution.
journals/jar/BognarV01:::Mirna Bognar::Roel C. de Vrijer:::A Calculus of Lambda Calculus Contexts.
journals/jar/Bennett85:::James S. Bennett:::ROGET: A Knowledge-Based System for Acquiring the Conceptual Structure of a Diagnostic Expert System.
journals/jar/GehrkeP01:::Wolfgang Gehrke::Jochen Pfalzgraf:::Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints.
journals/jar/BundyS88:::Alan Bundy::Leon Sterling:::Meta-Level Inference: Two Applications.
journals/jar/RajasekarLM89:::Arcot Rajasekar::Jorge Lobo::Jack Minker:::Weak Generalized Closed World Assumption.
journals/jar/HorrocksP02:::Ian Horrocks::Peter F. Patel-Schneider:::Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability.
journals/jar/Bailin88:::Sidney C. Bailin:::A lambda-Unifiability Test for Set Theory.
journals/jar/BurkeH94:::E. K. Burke::Jieh Hsiang:::On Subsumption in Distributed Derivations.
journals/jar/Suchenek00:::Marek A. Suchenek:::Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case.
journals/jar/HahnleS94:::Reiner Hähnle::Peter H. Schmitt:::The Liberalized delta-Rule in Free Variable Semantic Tableaux.
journals/jar/KuchlinS00:::Wolfgang Küchlin::Carsten Sinz:::Proving Consistency Assertions for Automotive Product Data Management.
journals/jar/LintonS96:::Steve Linton::Duncan Shand:::Some Group Theoretic Examples with Completion Theorem Provers.
journals/jar/Young89:::William D. Young:::A Mechanically Verified Code Generator.
journals/jar/Knapik02:::Teodor Knapik:::Checking Simple Properties of Transition Systems Defined by Thue Specifications.
journals/jar/Boudet93:::Alexandre Boudet:::Competing for the AC-Unification Race.
journals/jar/FormisanoP99:::Andrea Formisano::Alberto Policriti:::T-Resolution: Refinements and Model Elimination.
journals/jar/Domenjoud92:::Eric Domenjoud:::A Technical Note on AC-Unification. The Number of Minimal Unifiers of the Equation alpha x<sub>1</sub> + . . . + alpha x<sub>p</sub> =<sub>AC</sub> beta y<sub>1</sub> + . . . + beta y<sub>q</sub>.
journals/jar/Socher91:::Rolf Socher:::Optimizing the Clausal Normal Form Transformation.
journals/jar/Felty93:::Amy P. Felty:::Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language.
journals/jar/CorsiniR97:::Marc-Michel Corsini::Antoine Rauzy:::Toupie: The µ-calculus over Finite Domains as a Constraint Language.
journals/jar/GiunchigliaTG02:::Enrico Giunchiglia::Armando Tacchella::Fausto Giunchiglia:::SAT-Based Decision Procedures for Classical Modal Logics.
journals/jar/Massacci00:::Fabio Massacci:::Single Step Tableaux for Modal Logics.
journals/jar/MillerP87:::Michael J. Miller::Donald Perlis:::Proving Self-Utterances.
journals/jar/Plaisted88:::David A. Plaisted:::Non-Horn Clause Logic Programming Without Contrapositives.
journals/jar/AitkenCU99:::William E. Aitken::Robert L. Constable::Judith L. Underwood:::Metalogical Frameworks II: Developing a Reflected Decision Procedure.
journals/jar/BonacinaH94:::Maria Paola Bonacina::Jieh Hsiang:::Parallelization of Deduction Strategies: An Analytical Study.
journals/jar/SutcliffeS97b:::Geoff Sutcliffe::Christian B. Suttner:::The Procedures of the CADE-13 ATP System Competition.
journals/jar/Andrews89:::Peter B. Andrews:::On Connections and Higher-Order Logic.
journals/jbi/Kintsch02:::Walter Kintsch:::The potential of latent semantic analysis for machine grading of clinical case summaries.
journals/jbi/Shortliffe02a:::Edward H. Shortliffe:::JBI status report.
journals/jbi/ButteBRWK01:::Atul J. Butte::Ling Bao::Ben Y. Reis::Timothy W. Watkins::Isaac S. Kohane:::Comparing the Similarity of Time-Series Gene Expression Using Signal Processing Metrics.
journals/jbi/PatelADGS01:::Vimla L. Patel::José F. Arocha::Melissa Diermeier::Robert A. Greenes::Edward H. Shortliffe:::Methods of Cognitive Analysis to Support the Design and Evaluation of Biomedical Systems: The Case of Clinical Practice Guidelines.
journals/jbi/SchlessingerE02:::Leonard Schlessinger::David M. Eddy:::Archimedes: a new model for simulating health care systems--the mathematical formulation.
journals/jbi/MillerFS01a:::Perry L. Miller::Sandra J. Frawley::Frederick G. Sayward:::Maintaining and Incrementally Revalidating a Computer-Based Clinical Guideline: A Case Study.
journals/jbi/MasoBF01:::Luigino Dal Maso::Claudia Braga::Silvia Franceschi:::Methodology Used for "Software for Automated Linkage in Italy" (SALI).
journals/jbi/DreiseitlOKVBB01:::Stephan Dreiseitl::Lucila Ohno-Machado::Harald Kittler::Staal A. Vinterbo::Holger Billhardt::Michael Binder:::A Comparison of Machine Learning Methods for the Diagnosis of Pigmented Skin Lesions.
journals/jbi/YangJ01:::Faguo Yang::Tianzi Jiang:::Cell Image Segmentation with Kernel-Based Dynamic Clustering and an Ellipsoidal Cell Shape Model.
journals/jbi/FofanovP02:::Yuriy Fofanov::B. Montgomery Pettitt:::Reconstruction of the genetic regulatory dynamics of the rat spinal cord development: Local Invariants approach.
journals/jbi/Kushniruk01:::André Kushniruk:::Analysis of Complex Decision-Making Processes in Health Care: Cognitive Approaches to Health Informatics.
journals/jbi/RulandB02:::Cornelia M. Ruland::Suzanne Bakken:::Developing, implementing, and evaluating decision support systems for shared decision making in patient care: a conceptual model and case illustration.
journals/jbi/ElkinB02:::Peter L. Elkin::Steven H. Brown:::Automated enhancement of description logic-defined terminologies to facilitate mapping to ICD9-CM.
journals/jbi/GrauALMK01:::Vicente Grau::Mariano Alcañiz::M. Carmen Juan Lizandra::Carlos Monserrat::Christian Knoll:::Automatic Localization of Cephalometric Landmarks.
journals/jat/Martinez-GimenezP03:::Félix Martínez-Giménez::Alfredo Peris:::Universality and chaos for tensor products of operators.
journals/jat/Lember03:::Jüri Lember:::On minimizing sequences for k-centres.
journals/jat/Gat02:::György Gát:::On the Divergence of the Two-Dimensional Dyadic Difference of Dyadic Integrals.
journals/jat/Benko03:::David Benko:::Approximation by weighted polynomials.
journals/jat/Liu01:::Yunkang Liu:::Approximation by Dirichlet Series with Nonnegative Coefficients.
journals/jat/Shi01:::Ying Guang Shi:::On Christoffel Type Functions for L<sub>m</sub> Extremal Polynomials, II.
journals/jat/Sidorov02:::S. P. Sidorov:::On Some Extremal Properties of Lagrange Interpolatory Polynomials.
journals/jat/Bauschke03:::Heinz H. Bauschke:::Duality for Bregman projections onto translated cones and affine subspaces.
journals/jat/Krasikov01:::Ilia Krasikov:::Nonnegative Quadratic Forms and Bounds on Orthogonal Polynomials.
journals/jat/Shi03a:::Ying Guang Shi:::Convergence of Hermite-Fejér type interpolation of higher order on an arbitrary system of nodes.
journals/jat/Nemeth03:::A. B. Németh:::Characterization of a Hilbert vector lattice by the metric projection onto its positive cone.
journals/jat/BrujS02:::I. Bruj::G. Schmieder:::Matrix Mean Series in Terms of Boundary Orthogonal Systems and Functions in the Classes H<sup>infin</sup> and E<sup>p</sup>.
journals/jat/DeunB03:::Joris Van Deun::Adhemar Bultheel:::Ratio asymptotics for orthogonal rational functions on an interval.
journals/jat/CandesD01:::Emmanuel J. Candès::David L. Donoho:::Curvelets and Curvilinear Integrals.
journals/jat/DeutschSZ03:::Frank Deutsch::Larry L. Schumaker::Zvi Ziegler:::Approximating weak Chebyshev subspaces by Chebyshev subspaces.
journals/jat/IsmailR02:::Mourad E. H. Ismail::Mizan Rahman:::Inverse Operators, q-Fractional Integrals, and q-Bernoulli Polynomials.
journals/jat/IsmailS03:::Mourad E. H. Ismail::Dennis Stanton:::q-Taylor theorems, polynomial expansions, and interpolation of entire functions.
journals/jat/Armitage02:::David H. Armitage:::Universal Overconvergence of Polynomial Expansions of Harmonic Functions.
journals/jat/Goginava02:::Ushangi Goginava:::On the Approximation Properties of Cesàro Means of Negative Order of Walsh-Fourier Series.
journals/jat/ZhaoZ03:::Huan-xi Zhao::Gongqin Zhu:::Matrix-valued continued fractions.
journals/jat/Magaril-IlyaevOT01:::Georgii G. Magaril-Il'yaev::Konstantin Yu. Osipenko::Vladimir M. Tikhomirov:::On Exact Values of n-Widths in a Hilbert Space.
journals/jat/KhrennikovR03:::Andrei Khrennikov::Aliaksandr Radyna:::p-Adic interpolation and approximation of a continuous function by linear combinations of shifts of p-adic valuations.
journals/jat/BorweinJM02:::Jonathan M. Borwein::M. Jiménez-Sevilla::J. P. Moreno:::Antiproximinal Norms in Banach Spaces.
journals/jat/Belinsky01:::Eduard Belinsky:::Metric Entropy of Subsets of Absolutely Convergent Fourier Series.
journals/jat/RobertS03:::Leonel Robert::Luis Santiago:::Finite sections method for Hessenberg matrices.
journals/jat/BoivinZ02:::André Boivin::Changzhong Zhu:::On the Completeness of the System {Z<sup>tau<sub>n</sub> </sup>} in L<sup>2</sup>.
journals/jat/Naidenov03:::Nikola Naidenov:::Landau-type extremal problem for the triple || f||<sub>infin</sub>, || f'||<sub>p</sub>, || f''||<sub>infin</sub> on a finite interval.
journals/jat/KorevaarM01:::J. Korevaar::Marcel A. Monterie:::Fekete Potentials and Polynomials for Continua.
journals/jat/BarriosLS03:::Dolores Barrios::Guillermo López Lagomasino::Edward B. Saff:::Determining radii of meromorphy via orthogonal polynomials on the unit circle.
journals/jat/DamelinJK01:::Steven B. Damelin::H. S. Jung::Kil H. Kwon:::Convergence of Hermite and Hermite-Fejér Interpolation of Higher Order for Freud Weights.
journals/jat/DilworthKW02:::Stephen J. Dilworth::Denka Kutzarova::Przemyslaw Wojtaszczyk:::On Approximate l<sub>1</sub> Systems in Banach Spaces.
journals/jat/GodefroyIL02:::Gilles Godefroy::V. Indumathi::Francois Lust-Piquard:::Strong Subdifferentiability of Convex Functionals and Proximinality.
journals/jat/RuanSS03:::Huo-Jun Ruan::Zhen Sha::Wei-Yi Su:::Counterexamples in parameter identification problem of the fractal interpolation functions.
journals/jat/GuardenoS01:::Antonio J. Durán Guardeño::Edward B. Saff:::Zero Location for Nonstandard Orthogonal Polynomials.
journals/jcb/Guigo98:::Roderic Guigó:::Assembling Genes from Predicted Exons In Linear Time with Dynamic Programming.
journals/jcb/Parida98:::Laxmi Parida:::A Uniform Framework for Ordered Restriction Map Problems.
journals/jcb/ShamirT02:::Ron Shamir::Dekel Tsur:::Large Scale Sequencing by Hybridization.
journals/jcb/HartRSC00:::Reece Hart::Ajay K. Royyuru::Gustavo Stolovitzky::Andrea Califano:::Systematic and Fully Automated Identification of Protein Sequence Patterns.
journals/jcb/StoyanovKGKC00:::Ognyan Stoyanov::Alexander Kister::Israel Gelfand::Casimir A. Kulikowski::Cyrus Chothia:::Geometric Invariant Core for the CL and CH1 Domains of Immunoglobulin Molecules.
journals/jcb/Grundy98:::William Noble Grundy:::Homology Detection via Family Pairwise Search.
journals/jcb/Sun95:::Fengzhu Sun:::The Polymerase Chain Reaction and Branching Processes.
journals/jcb/Jong02:::Hidde de Jong:::Modeling and Simulation of Genetic Regulatory Systems: A Literature Review.
journals/jcb/BuhlerT02:::Jeremy Buhler::Martin Tompa:::Finding Motifs Using Random Projections.
journals/jcb/Mamitsuka96:::Hiroshi Mamitsuka:::A Learning Method of Hidden Markov Models for Sequence Discrimination.
journals/jcb/Tran98:::Nicholas W. Trân:::An Easy Case of Sorting by Reversals.
journals/jcb/SchmidlerLB00:::Scott C. Schmidler::Jun S. Liu::Douglas L. Brutlag:::Bayesian Segmentation of Protein Secondary Structure.
journals/jcb/MarkowitzR95:::Victor M. Markowitz::Otto Ritter:::Characterizing Heterogeneous Molecular Biology Database Systems.
journals/jcb/DesperG02:::Richard Desper::Olivier Gascuel:::Fast and Accurate Phylogeny Reconstruction Algorithms Based on the Minimum-Evolution Principle.
journals/jcb/BerezovskyET00:::Igor N. Berezovsky::Natalia G. Esipova::Vladimir Tumanyan:::Hierarchy of Regions of Amino Acid Sequence with Respect to Their Role in the Protein Spatial Structure.
journals/jcb/JoshiK96:::R. R. Joshi::K. Krishnanand:::Probabilistic Learning in Immune Network: Weighted Tree Matching Model.
journals/jcb/RajasekaranJS02:::S. Rajasekaran::X. Jin::J. L. Spouge:::The Efficient Computation of Position-Specific Match Scores with the Fast Fourier Transform.
journals/jcb/BaderMY01:::David A. Bader::Bernard M. E. Moret::Mi Yan:::A Linear-Time Algorithm for Computing Inversion Distance between Signed Permutations with an Experimental Study.
journals/jcb/ZhangSWM00:::Zheng Zhang::Scott Schwartz::Lukas Wagner::Webb Miller:::A Greedy Algorithm for Aligning DNA Sequences.
journals/jcb/LinMT01:::Kuang Lin::Alex C. W. May::William R. Taylor:::Amino Acid Substitution Matrices from an Artificial Neural Network Model.
journals/jcb/Zhang97:::L. Zhang:::On a Mirkin-Muchnik-Smith Conjecture for Comparing Molecular Phylogenies.
journals/jcb/SchierwaterMKS96:::B. Schierwater::D. Metzler::K. Kruger::B. Streit:::The Effects of Nested Primer Bindingg Sites on the Reproducibility of PCR: Mathematical Modeling and Simulation Studies.
journals/jcb/NarasimhanBGWXM02:::Giri Narasimhan::Changsong Bu::Yuan Gao::Xuning Wang::Ning Xu::Kalai Mathee:::Mining Protein Sequences for Motifs.
journals/jcb/KimDBCBT02:::Seungchan Kim::Edward R. Dougherty::Junior Barrera::Yidong Chen::Michael L. Bittner::Jeffrey M. Trent:::Strong Feature Sets from Small Samples.
journals/jcb/HochbaumP97:::Dorit S. Hochbaum::Anu Pathria:::Path Costs in Evolutionary Tree Reconstruction.
journals/jcb/BerloffPL03:::Natalia Berloff::Markus Perola::Kenneth Lange:::Spline Methods for the Comparison of Physical and Genetic Maps.
journals/jcb/HartI96:::William E. Hart::Sorin Istrail:::Fast Protein Folding in the Hydrophobic-Hydrophillic Model within Three-Eights of Optimal.
journals/jcb/FaulhammerLL00:::Dirk Faulhammer::Richard J. Lipton::Laura F. Landweber:::Fidelity of Enzymatic Ligation for DNA Computing.
journals/jcb/Browning98:::S. Browning:::Relationship Information Contained in Gamete Identiti by Descent Data.
journals/jcc/Li01:::Xiang-Yuan Li:::Electron transfer between tryptophan and tyrosine: Theoretical calculation of electron transfer matrix element for intramolecular hole transfer.
journals/jcc/CaiS02:::Wensheng Cai::Xueguang Shao:::A fast annealing evolutionary algorithm for global optimization.
journals/jcc/RajamaniG02:::Ramkumar Rajamani::Jiali Gao:::Combined QM/MM study of the opsin shift in bacteriorhodopsin.
journals/jcc/ODonohueMLBT00:::M. F. O'Donohue::E. Minasian::Simon Joshua Leach::A. W. Burgess::Herbert R. Treutlein:::PEPCAT - A new tool for conformational analysis of peptides.
journals/jcc/GlendeningW98a:::E. D. Glendening::F. Weinhold:::Natural resonance theory: II. Natural bond order and valency.
journals/jcc/TronchetK94:::Jean M. J. Tronchet::Istvan Komaromi:::Conformation Energy around the N(sp<sup>3</sup>) - O Single Bond.
journals/jcc/CaiLXC02:::Yu-Dong Cai::Xiao-Jun Liu::Xue-biao Xu::Kuo-Chen Chou:::Support vector machines for predicting HIV protease cleavage sites in protein.
journals/jcc/SteinbachB94:::Peter J. Steinbach::Bernard R. Brooks:::New Spherical-Cutoff Methods for Long-Range Forces in Macromolecular Simulation.
journals/jcc/VillaBGLBW00:::Jordi Villá::Jörg Bentzien::Àngels González-Lafont::José M. Lluch::Juan Bertran::Arieh Warshel:::Effective way of modeling chemical catalysis: Empirical valence bond picture of role of solvent and catalyst in alkylation reactions.
journals/jcc/BushenkovRS01:::Vladimir A. Bushenkov::J. P. Prates Ramalho::Georgi V. Smirnov:::Adsorption integral equation via complex approximation with constraints: kernel of general form.
journals/jcc/El-NahasS94:::Ahmed M. El-Nahas::Paul von Raguú Schleyer:::Structures and Stabilization Energies of Methyl Anions with Main Group Stubstituens from the First Five Periods.
journals/jcc/Halgren99:::Thomas A. Halgren:::MMFF VI. MMFF94s option for energy minimization studies.
journals/jcc/SchulerDG01:::Lukas D. Schuler::Xavier Daura::Wilfred F. van Gunsteren:::An improved GROMOS96 force field for aliphatic hydrocarbons in the condensed phase.
journals/jcc/StyszynkiCMV97:::Jacek Styszynki::Xiaoping Cao::Gulzari L. Malli::Lucas Visscher:::Relativistic all-electron Dirac-Fock-Breit calculations on xenon fluorides (XeF<sub>n</sub>, n = 1, 2, 4, 6).
journals/jcc/VarnekW96:::Alexandre Varnek::Georges Wipff:::Theoretical calculations of extraction selectivity: Alkali cation complexes of calix[4]-bis-crown6 in pure water, chloroform, and at a water/chloroform interface.
journals/jcc/Wullen02:::Christoph Van Wüllen:::Spin densities in two-component relativistic density functional calculations: Noncollinear versus collinear approach.
journals/jcc/LeiningerSAS01:::Matthew L. Leininger::C. David Sherrill::Wesley D. Allen::Henry F. Schaefer III:::Systematic Study of Selected Diagonalization Methods for Configuration Interaction Matrices.
journals/jcc/HarrisL96:::Dan Harris::Gilda Loew:::Comparative study of free energies of solvation of phenylimidazole inhibitors of cytochrome P450cam by free energy simulation, AMSOL, and Poisson Boltzmann methods.
journals/jcc/AmisakiFKMK95:::Takashi Amisaki::Takaji Fujiwara::Akihiro Kusumi::Hiroo Miyagawa::Kunihiro Kitamura:::Error Evaluation in the Disign of a Special-Purpose Processor That Calculates Nonbonded Forces in Molecular Dynamics Simulations.
journals/jcc/KhandoginHY00:::Jana Khandogin::Anguang Hu::Darrin M. York:::Electronic structure properties of solvated biomolecules: A quantum approach for macromolecular characterization.
journals/jcc/FajardoB97:::Mario E. Fajardo::Jerry A. Boatz:::Monte Carlo simulations of Na atoms in dynamically disordered Ar systems: Solid, liquid, and critical-point fluid Ar.
journals/jcc/LiH96:::Shusen Li::Ching-Hsien Huang:::Molecular mechanics simulation studies of dienoic hydrocarbons: From alkenes to 1-Palmitoyl-2-linoleoyl-phosphatidylcholines.
journals/jcc/WangP97:::Zhiqiang Wang::Ruth Pachter:::Prediction of peptide conformation: The adaptive simulated annealing approach.
journals/jcc/CaoLCL96:::Xiaoping Cao::Muzhen Liao::Xuejun Chen::Bo Li:::Molecular symmetry and ab initio calculations. II. Symmetry-Matrix and symmetry-Supermatrix in the Dirac-Fock method.
journals/jcc/TatewakiKSM96:::Hiroshi Tatewaki::Shinichi Katsuki::Yoshiko Sakai::Eisaku Miyoshi:::Applications of spectral-Representation model as a potential method for Cu clusters.
journals/jcc/LiuDTFS02a:::Jian-Jun Liu::Yi-Hong Ding::Yu-Guo Tao::Ji-Kang Feng::Chia-Chung Sun:::Theoretical study on the mechanism of the 3CH2 + NO2 reaction.
journals/jcc/BredowGJ01a:::Thomas Bredow::Gerald Geudtner::Karl Jug:::MSINDO parameterization for third-row transition metals.
journals/jcc/BlackPZL96:::Delbert R. Black::Craig G. Parker::S. Scott Zimmerman::Milton L. Lee:::Enantioselective binding of -pinene and of some cyclohexanetriol derivatives by cyclodextrin hosts: A molecular modeling study.
journals/jcc/HigoYHTEN94:::Junichi Higo::Mariko Yamaki::Michiru Hogyoku::Takuya Takahashi::Shigeru Endo::Kuniaki Nagayama:::Stability of Two-Dimensional Crystalline Aggregates of a PRotein Studied by Molecular Dynamics.
journals/jcc/ScarsiC99:::Marco Scarsi::Amedeo Caflisch:::Comment on the validation of continuum electrostatics models.
