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

Effects of Low Carbohydrate High Protein (LCHP) diet on atherosclerotic plaque phenotype in ApoE/LDLR−/− mice: FT-IR and Raman imaging

Scientific reports, 2015-09, Vol.5 (1), p.14002-14002, Article 14002

2015

Volltextzugriff (PDF)

Transcutaneous sacral nerve stimulation for intraoperative verification of internal anal sphincter innervation

Neurogastroenterology and motility, 2017-12, Vol.29 (12), p.n/a

2017

Volltextzugriff (PDF)

Expressive completeness by separation for discrete time interval temporal logic with expanding modalities

Information processing letters, 2024-08, Vol.186, p.106480, Article 106480

2024

Volltextzugriff (PDF)

Compositional reasoning using intervals and time reversal

Annals of mathematics and artificial intelligence, 2014-07, Vol.71 (1-3), p.175-250

Moszkowski, Ben

2014

Volltextzugriff (PDF)

Maternal and infant touching behaviours during perturbed interactions: Associations with maternal depressive symptomatology and infant crying

Infant behavior & development, 2023-05, Vol.71, p.101821, Article 101821

2023

Volltextzugriff (PDF)

Interconnections between classes of sequentially compositional temporal formulas

Information processing letters, 2013-05, Vol.113 (9), p.350-353

Moszkowski, Ben

2013

Volltextzugriff (PDF)

Gentrification and retail churn: Theory and evidence

Regional science and urban economics, 2023-05, Vol.100, p.103879, Article 103879

2023

Volltextzugriff (PDF)

Essays in Urban Economics and Industrial Organization

Moszkowski, Erica

2023

Volltextzugriff (PDF)

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

Logical methods in computer science, 2012-01, Vol.8, Issue 3

Moszkowski, Ben

2012

Volltextzugriff (PDF)

20 Little Studies for Piano

American Music Teacher, 2020-02, Vol.69 (4), p.62-62

Kramer, Ernest

2020

Volltextzugriff (PDF)

Incompressibility in finite nuclei and nuclear matter

Physical review. C, Nuclear physics, 2014-04, Vol.89 (4), Article 044316

2014

Volltextzugriff (PDF)

A separation theorem for discrete-time interval temporal logic

Journal of applied non-classical logics, 2022-01, Vol.32 (1), p.28-54

2022

Volltextzugriff (PDF)

Neutron stars within the Bogoliubov quark-meson coupling model

Physical review. C, 2021-03, Vol.103 (3), Article 035811

2021

Volltextzugriff (PDF)

DSGE forecasts of the lost recovery

International journal of forecasting, 2019-10, Vol.35 (4), p.1770-1789

2019

Volltextzugriff (PDF)

Hyperonic stars within the Bogoliubov quark meson model for nuclear matter

International journal of modern physics. E, Nuclear physics, 2019-05, Vol.28 (5), p.1950034

2019

Volltextzugriff (PDF)

Reconciliation of neutron-star masses and binding of the Lambda in hypernuclei

Physical review letters, 1991-10, Vol.67 (18), p.2414-2417

1991

Volltextzugriff (PDF)

From Box Algebra to Interval Temporal Logic

Fundamenta informaticae, 2019-01, Vol.167 (4), p.323-354

2019

Volltextzugriff (PDF)

Compositional Reasoning Using Intervals and Time Reversal

2011 Eighteenth International Symposium on Temporal Representation and Reasoning, 2011, p.107-114

Moszkowski, B.

2011

Volltextzugriff (PDF)

Verification and enforcement of access control policies

Formal methods in system design, 2013-12, Vol.43 (3), p.450-492

2013

Volltextzugriff (PDF)

Nina Byers

Physics today, 2015-01, Vol.68 (1), p.54-54

2015

Volltextzugriff (PDF)

QMC approach based on the Bogoliubov independent quark model of the nucleon

International journal of modern physics. E, Nuclear physics, 2016-02, Vol.25 (2), p.1650007

2016

Volltextzugriff (PDF)

From Petri Nets with Shared Variables to ITL

2016 16th International Conference on Application of Concurrency to System Design (ACSD), 2016, p.11-18

2016

Volltextzugriff (PDF)

Involutions and reflection subgroups of finite Coxeter groups

European journal of combinatorics, 2009-11, Vol.30 (8), p.1902-1912

Moszkowski, Paul

2009

Volltextzugriff (PDF)

Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals

Journal of logic and computation, 2007-04, Vol.17 (2), p.333-409

Moszkowski, B.

2007

Volltextzugriff (PDF)

Addendum to: “Involutions and reflection subgroups of finite Coxeter groups” [European J. Combin.]

European journal of combinatorics, 2009-11, Vol.30 (8), p.1913-1918

Moszkowski, Paul

2009

Volltextzugriff (PDF)

1 – 25 von 222

Menü

Weitere Dienste

Einstellungen

Effects of Low Carbohydrate High Protein (LCHP) diet on atherosclerotic plaque phenotype in ApoE/LDLR−/− mice: FT-IR and Raman imaging

Transcutaneous sacral nerve stimulation for intraoperative verification of internal anal sphincter innervation

Expressive completeness by separation for discrete time interval temporal logic with expanding modalities

Compositional reasoning using intervals and time reversal

Maternal and infant touching behaviours during perturbed interactions: Associations with maternal depressive symptomatology and infant crying

Interconnections between classes of sequentially compositional temporal formulas

Gentrification and retail churn: Theory and evidence

Essays in Urban Economics and Industrial Organization

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

20 Little Studies for Piano

Incompressibility in finite nuclei and nuclear matter

A separation theorem for discrete-time interval temporal logic

Neutron stars within the Bogoliubov quark-meson coupling model

DSGE forecasts of the lost recovery

Hyperonic stars within the Bogoliubov quark meson model for nuclear matter

Reconciliation of neutron-star masses and binding of the Lambda in hypernuclei

From Box Algebra to Interval Temporal Logic

Compositional Reasoning Using Intervals and Time Reversal

Verification and enforcement of access control policies

Nina Byers

QMC approach based on the Bogoliubov independent quark model of the nucleon

From Petri Nets with Shared Variables to ITL

Involutions and reflection subgroups of finite Coxeter groups

Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals

Addendum to: “Involutions and reflection subgroups of finite Coxeter groups” [European J. Combin.]

Aktive Filter

Suchergebnisse filtern