UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

A genetically modified Hoare logic

Theoretical computer science, 2019-04, Vol.765, p.145-157

2019

Volltextzugriff (PDF)

Application of Max-Plus algebra to biological sequence comparisons

Theoretical computer science, 2003-02, Vol.293 (1), p.189-217

Comet, J.-P.

2003

Volltextzugriff (PDF)

Verification of biological models with Timed Hybrid Petri Nets

Computational Models for Life Sciences (CMLS '07) (AIP Conference Proceedings Volume 952), 2007, Vol.952, p.287-296

2007

Volltextzugriff (PDF)

Palynology and paleoecology of lignites from the Manning Formation (Jackson Group) outcrop in the Lake Somerville spillway of east-central Texas

International journal of coal geology, 1997-12, Vol.34 (3), p.195-223

1997

Volltextzugriff (PDF)

Pairwise sequence alignment using a PROSITE pattern-derived similarity score

Computers & chemistry, 2002-07, Vol.26 (5), p.421-436

2002

Volltextzugriff (PDF)

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets

Applications and Theory of Petri Nets 2005, 2005, p.208-227

2005

Volltextzugriff (PDF)

Significance of Z-value statistics of Smith–Waterman scores for protein alignments

Computers & chemistry, 1999-06, Vol.23 (3), p.317-331

1999

Volltextzugriff (PDF)

Symbolic modeling of genetic regulatory networks

Journal of bioinformatics and computational biology, 2007-04, Vol.5 (2B), p.627-640

2007

Volltextzugriff (PDF)

Sequence alignment: an approximation law for the Z-value with applications to databank scanning

Computers & chemistry, 2001-07, Vol.25 (4), p.401-410

2001

Volltextzugriff (PDF)

Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa

Computational Methods in Systems Biology, 2003, Vol.2602, p.47-56

2003

Volltextzugriff (PDF)

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States

Computational Methods in Systems Biology, 2005, p.58-72

2005

Volltextzugriff (PDF)

Validation of biological models with Temporal Logic and Timed Hybrid Petri Nets

2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2007, Vol.2007, p.4603-4608

2007

Volltextzugriff (PDF)

Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking

2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2007, Vol.2007, p.4595-4598

2007

Volltextzugriff (PDF)

Identification, quantification and modification of detonation nanodiamond functional groups

Diamond and related materials, 2012-02, Vol.22, p.113-117

2012

Volltextzugriff (PDF)

Experimental and Monte Carlo absolute characterization of a medical electron beam using a magnetic spectrometer

Radiation measurements, 2016-03, Vol.86, p.16-23

2016

Volltextzugriff (PDF)

General human health issues for Moon and Mars missions: Results from the HUMEX study

Advances in space research, 2006, Vol.37 (1), p.100-108

2006

Volltextzugriff (PDF)

Preparation of explosive nanoparticles in a porous chromium(III) oxide matrix: a first attempt to control the reactivity of explosives

Nanotechnology, 2008-07, Vol.19 (28), p.285716-285716 (9)

2008

Volltextzugriff (PDF)

HUMEX, a study on the survivability and adaptation of humans to long-duration exploratory missions, part II: Missions to Mars

Advances in space research, 2006, Vol.38 (4), p.752-759

2006

Volltextzugriff (PDF)

Humex, a study on the survivability and adaptation of humans to long-duration exploratory missions, part I: Lunar missions

Advances in space research, 2003-01, Vol.31 (11), p.2389-2401

2003

Volltextzugriff (PDF)

A Supervised Learning Framework for Automatic Prostate Segmentation in Trans Rectal Ultrasound Images

Advanced Concepts for Intelligent Vision Systems, 2012, p.190-200

2012

Volltextzugriff (PDF)

Transmission electron microscopy analysis of the early stages of damage in a γ/γ′ nickel-based alloy under low cycle fatigue

Materials science & engineering. A, Structural materials : properties, microstructure and processing, 1994-11, Vol.188 (1), p.133-139

1994

Volltextzugriff (PDF)

Real time quality factor and dose equivalent meter “CIRCE” and its use on-board the Soviet orbital station “MIR”

Acta astronautica, 1991, Vol.23, p.217-226

1991

Volltextzugriff (PDF)

1 – 22 von 22

Suche als RSS-Feed

Aktive Filter

SpracheSpanisch

ThemaTechnology

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(17)
Mit Volltextzugriff
(20)

Publikationsform

Sprache

Englisch
(22)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

A genetically modified Hoare logic

Application of Max-Plus algebra to biological sequence comparisons

Verification of biological models with Timed Hybrid Petri Nets

Palynology and paleoecology of lignites from the Manning Formation (Jackson Group) outcrop in the Lake Somerville spillway of east-central Texas

Pairwise sequence alignment using a PROSITE pattern-derived similarity score

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets

Significance of Z-value statistics of Smith–Waterman scores for protein alignments

Symbolic modeling of genetic regulatory networks

Sequence alignment: an approximation law for the Z-value with applications to databank scanning

Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States

Validation of biological models with Temporal Logic and Timed Hybrid Petri Nets

Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking

Identification, quantification and modification of detonation nanodiamond functional groups

Experimental and Monte Carlo absolute characterization of a medical electron beam using a magnetic spectrometer

General human health issues for Moon and Mars missions: Results from the HUMEX study

Preparation of explosive nanoparticles in a porous chromium(III) oxide matrix: a first attempt to control the reactivity of explosives

HUMEX, a study on the survivability and adaptation of humans to long-duration exploratory missions, part II: Missions to Mars

Humex, a study on the survivability and adaptation of humans to long-duration exploratory missions, part I: Lunar missions

A Supervised Learning Framework for Automatic Prostate Segmentation in Trans Rectal Ultrasound Images

Transmission electron microscopy analysis of the early stages of damage in a γ/γ′ nickel-based alloy under low cycle fatigue

Real time quality factor and dose equivalent meter “CIRCE” and its use on-board the Soviet orbital station “MIR”

Aktive Filter

Suchergebnisse filtern