Using the En-ROADS future climate simulator von Lincoln, Patrick

Volltext

A search-based procedure for nonlinear real arithmetic von Tiwari, Ashish, Lincoln, Patrick

Volltext

Analyzing Pathways Using SAT-Based Approaches von Tiwari, Ashish, Talcott, Carolyn, Knapp, Merrill, Lincoln, Patrick, Laderoute, Keith

Volltext

bRIGHT – Workstations of the Future and Leveraging Contextual Models von Senanayake, Rukman, Denker, Grit, Lincoln, Patrick

Volltext

All About Maude: A High-Performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic von Hutchison, David, Kanade, Takeo, Kittler, Josef, Lincoln, Patrick, Marti-Oliet, Narciso, Meseguer, Jose, Talcott, Carolyn L

Volltext

ARSENAL: Automatic Requirements Specification Extraction from Natural Language von Ghosh, Shalini, Elenius, Daniel, Li, Wenchao, Lincoln, Patrick, Shankar, Natarajan, Steiner, Wilfried

Volltext

An Introduction to PCR Primer Design and Optimization of Amplification Reactions von Robertson, James M., Walsh-Weller, Jennifer

Volltext

Early indicators of exposure to biological threat agents using host gene profiles in peripheral blood mononuclear cells von Das, Rina, Hammamieh, Rasha, Neill, Roger, Ludwig, George V, Eker, Steven, Lincoln, Patrick, Ramamoorthy, Preveen, Dhokalia, Apsara, Mani, Sachin, Mendis, Chanaka, Cummings, Christiano, Kearney, Brian, Royaee, Atabak, Huang, Xiao-Zhe, Paranavitana, Chrysanthi, Smith, Leonard, Peel, Sheila, Kanesa-Thasan, Niranjan, Hoover, David, Lindler, Luther E, Yang, David, Henchal, Erik, Jett, Marti

Volltext

Architectural support for copy and tamper resistant software von LIE, David, THEKKATH, Chandramohan, MITCHELL, Mark, LINCOIN, Patrick, BONEH, Dan, MITCHELL, John, HOROWITZ, Mark

Volltext

BioSPICE: Access to the Most Current Computational Tools for Biologists von Garvey, Thomas D., Lincoln, Patrick, Pedersen, Charles John, Martin, David, Johnson, Mark

Volltext

Forensic DNA profiling protocols von Lincoln, Patrick J, Thomson, Jim

Volltext

Recovery of DNA for PCR Amplification from Blood and Forensic Samples Using a Chelating Resin von Willard, Jeanne M., Lee, Dennis A., Holland, Mitchell M.

Volltext

Overview of PCR-Based Systems in Identity Testing von Brinkmann, Bernd

Volltext

PCR Analysis from Cigaret Butts, Postage Stamps, Envelope Sealing Flaps, and Other Saliva-Stained Material von Hochmeister, Manfred N., Rudin, Oskar, Ambach, Edda

Volltext

A comparison between strand spaces and multiset rewriting for security protocol analysis von Cervesato, Iliano, Durgin, Nancy A., Lincoln, Patrick D., Mitchell, John C., Scedrov, Andre

Volltext

Sex Determination by PCR Analysis of the X-Y Amelogenin Gene von Akane, Atsushi

Volltext

Multiset rewriting and the complexity of bounded security protocols von Durgin, Nancy, Lincoln, Patrick, Mitchell, John, Scedrov, Andre

Volltext

Decision problems for propositional linear logic von Lincoln, Patrick, Mitchell, John, Scedrov, Andre, Shankar, Natarajan

Volltext

The Use of Capillary Electrophoresis in Genotyping STR Loci von Butler, John M.

Volltext

Species Determination by Analysis of the Cytochrome b Gene von Barallon, Rita

Volltext