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...

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete

Logical methods in computer science, 2024-01, Vol.20, Issue 1

2024

Volltextzugriff (PDF)

Venlafaxine stimulates PNN proteolysis and MMP‐9‐dependent enhancement of gamma power; relevance to antidepressant efficacy

Journal of neurochemistry, 2019-03, Vol.148 (6), p.810-821

2019

Volltextzugriff (PDF)

Complexity results on branching-time pushdown model checking

Lecture notes in computer science, 2006, p.65-79

BOZZELLI, Laura

2006

Volltextzugriff (PDF)

Model checking for process rewrite systems and a class of action-based regular properties

Lecture notes in computer science, 2005, p.282-297

2005

Volltextzugriff (PDF)

Complexity and succinctness issues for linear-time hybrid logics

Theoretical computer science, 2010-01, Vol.411 (2), p.454-469

2010

Volltextzugriff (PDF)

The Complexity of CaRet + Chop

2008 15th International Symposium on Temporal Representation and Reasoning, 2008, p.23-31

Bozzelli, L.

2008

Volltextzugriff (PDF)

Verification of well-formed communicating recursive state machines

Lecture notes in computer science, 2006, p.412-426

2006

Volltextzugriff (PDF)

Pushdown Module Checking

Lecture notes in computer science, 2005, p.504-518

2005

Volltextzugriff (PDF)

EPIDEMIOLOGIA DELLE PARASSITOSI INTESTINALI IN UNA POPOLAZIONE DI IMMIGRATI EXTRA COMUNITARI

Microbiologia Medica, 2005-09, Vol.20 (3)

2005

Volltextzugriff (PDF)

LE INFEZIONI CERVICO-VAGINALI: CONFRONTO TRA TRE DIVERSE POPOLAZIONI

Microbiologia Medica, 2005-09, Vol.20 (3)

2005

Volltextzugriff (PDF)

INFEZIONE CRONICA DA VIRUS EPATITICI E DA HIV IN UNA POPOLAZIONE DI IMMIGRATI IN CAMPANIA

Microbiologia Medica, 2003-06, Vol.18 (2)

2003

Volltextzugriff (PDF)

Thermochemical Properties: Enthalpy, Entropy, and Heat Capacity of C2–C3 Fluorinated Aldehydes. Radicals and Fluorocarbon Group Additivity

The journal of physical chemistry. A, Molecules, spectroscopy, kinetics, environment, & general theory, 2019-01, Vol.123 (3), p.650-665

2019

Volltextzugriff (PDF)

Perspective on Mechanism Development and Structure‐Activity Relationships for Gas‐Phase Atmospheric Chemistry

International journal of chemical kinetics, 2018-06, Vol.50 (6), p.435-469

2018

Volltextzugriff (PDF)

Enthalpies of Formation, Bond Dissociation Energies and Reaction Paths for the Decomposition of Model Biofuels: Ethyl Propanoate and Methyl Butanoate

The journal of physical chemistry. A, Molecules, spectroscopy, kinetics, environment, & general theory, 2007-05, Vol.111 (19), p.3727-3739

2007

Volltextzugriff (PDF)

Kinetics and Thermochemistry for the Gas-Phase Keto−Enol Tautomerism of Phenol ↔ 2,4-Cyclohexadienone

The journal of physical chemistry. A, Molecules, spectroscopy, kinetics, environment, & general theory, 2003-05, Vol.107 (19), p.3696-3703

2003

Volltextzugriff (PDF)

On the Expressiveness of Temporal Equilibrium Logic

Logics in Artificial Intelligence, p.159-173

Volltextzugriff (PDF)

Human ApoE ε4 alters circadian rhythm activity, IL-1β, and GFAP in CRND8 mice

Journal of Alzheimer's disease, 2015, Vol.43 (3), p.823-834

2015

Volltextzugriff (PDF)

Thermochemistry of Acetonyl and Related Radicals

The journal of physical chemistry. A, Molecules, spectroscopy, kinetics, environment, & general theory, 2006-12, Vol.110 (50), p.13618-13623

2006

Volltextzugriff (PDF)

Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages

CONCUR 2007 – Concurrency Theory, p.476-491

Volltextzugriff (PDF)

Elementary Reaction Mechanism for Benzene Oxidation in Supercritical Water

The journal of physical chemistry. A, Molecules, spectroscopy, kinetics, environment, & general theory, 2000-11, Vol.104 (45), p.10576-10586

2000

Volltextzugriff (PDF)

Cover Image, Volume 50, Issue 6

International journal of chemical kinetics, 2018-06, Vol.50 (6)

2018

Volltextzugriff (PDF)

Thermodynamic properties of chloroacetylene, dichloroacetylene, ethynyl radical, and chloroethynyl radical

Chemical physics letters, 2002-08, Vol.362 (5), p.445-452

2002

Volltextzugriff (PDF)

Polymer Pyrolysis and Oxidation Studies in a Continuous Feed and Flow Reactor: Cellulose and Polystyrene

Environmental science & technology, 1999-08, Vol.33 (15), p.2584-2592

1999

Volltextzugriff (PDF)

Reaction of OH Radical with C2H3Cl: Rate Constant and Reaction Pathway Analysis

The journal of physical chemistry. A, Molecules, spectroscopy, kinetics, environment, & general theory, 1999-09, Vol.103 (39), p.7800-7810

1999

Volltextzugriff (PDF)

Cl2 molecular elimination reaction from 1,2-dichloroethane

Chemical physics letters, 2002-05, Vol.357 (1-2), p.65-72

2002

Volltextzugriff (PDF)

1 – 25 von 40

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(35)
Mit Volltextzugriff
(35)

Publikationsform

Sprache

Englisch
(40)
Japanisch
(3)

Erscheinungsjahr

n.n

Thema

Science & Technology
(28)
Chemistry
(16)
Physical Sciences
(16)
Chemistry, Physical
(13)
Technology
(12)
Physics
(11)
Exact Sciences And Technology
(10)
Physics, Atomic, Molecular & Chemical
(10)
Computer Science
(9)
Applied Sciences
(7)
Computer Science, Theory & Methods
(7)
Computer Science; Control Theory; Systems
(5)
Computer Science, Software Engineering
(4)
Life Sciences & Biomedicine
(4)
Engineering
(3)
Environmental Sciences
(3)
Model Check
(3)
Software
(3)
Software Engineering
(3)
Animals
(2)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete

Venlafaxine stimulates PNN proteolysis and MMP‐9‐dependent enhancement of gamma power; relevance to antidepressant efficacy

Complexity results on branching-time pushdown model checking

Model checking for process rewrite systems and a class of action-based regular properties

Complexity and succinctness issues for linear-time hybrid logics

The Complexity of CaRet + Chop

Verification of well-formed communicating recursive state machines

Pushdown Module Checking

EPIDEMIOLOGIA DELLE PARASSITOSI INTESTINALI IN UNA POPOLAZIONE DI IMMIGRATI EXTRA COMUNITARI

LE INFEZIONI CERVICO-VAGINALI: CONFRONTO TRA TRE DIVERSE POPOLAZIONI

INFEZIONE CRONICA DA VIRUS EPATITICI E DA HIV IN UNA POPOLAZIONE DI IMMIGRATI IN CAMPANIA

Thermochemical Properties: Enthalpy, Entropy, and Heat Capacity of C2–C3 Fluorinated Aldehydes. Radicals and Fluorocarbon Group Additivity

Perspective on Mechanism Development and Structure‐Activity Relationships for Gas‐Phase Atmospheric Chemistry

Enthalpies of Formation, Bond Dissociation Energies and Reaction Paths for the Decomposition of Model Biofuels: Ethyl Propanoate and Methyl Butanoate

Kinetics and Thermochemistry for the Gas-Phase Keto−Enol Tautomerism of Phenol ↔ 2,4-Cyclohexadienone

On the Expressiveness of Temporal Equilibrium Logic

Human ApoE ε4 alters circadian rhythm activity, IL-1β, and GFAP in CRND8 mice

Thermochemistry of Acetonyl and Related Radicals

Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages

Elementary Reaction Mechanism for Benzene Oxidation in Supercritical Water

Cover Image, Volume 50, Issue 6

Thermodynamic properties of chloroacetylene, dichloroacetylene, ethynyl radical, and chloroethynyl radical

Polymer Pyrolysis and Oxidation Studies in a Continuous Feed and Flow Reactor: Cellulose and Polystyrene

Reaction of OH Radical with C2H3Cl: Rate Constant and Reaction Pathway Analysis

Cl2 molecular elimination reaction from 1,2-dichloroethane

Suchergebnisse filtern