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

Model Checking Higher-Order Programs

Journal of the ACM, 2013-06, Vol.60 (3), p.1-62

KOBAYASHI, Naoki

2013

Volltextzugriff (PDF)

Frequency analysis of food bolus fragmentation through a vertical pipe

Food science and technology research, 2024-01, Vol.30 (2), p.161-169, Article FSTR-D-23-00144

2024

Volltextzugriff (PDF)

An Overview of the HFL Model Checking Project

Electronic proceedings in theoretical computer science, 2021, Vol.344, p.1-12

Kobayashi, Naoki

2021

Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

1, 2024

Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

1, 2024

Volltextzugriff (PDF)

RustHorn: CHC-based Verification for Rust Programs

ACM transactions on programming languages and systems, 2021-12, Vol.43 (4), p.1-54

2021

Volltextzugriff (PDF)

Fragmentation Statistics of Food Diced and Crushed Using a Food Mixer

Journal of the Physical Society of Japan, 2021-12, Vol.90 (12)

2021

Volltextzugriff (PDF)

The RNA Methyltransferase Complex of WTAP, METTL3, and METTL14 Regulates Mitotic Clonal Expansion in Adipogenesis

Molecular and cellular biology, 2018-08, Vol.38 (16)

2018

Volltextzugriff (PDF)

Silicon Photonic Hybrid Ring-Filter External Cavity Wavelength Tunable Lasers

Journal of lightwave technology, 2015-03, Vol.33 (6), p.1241-1246

2015

Volltextzugriff (PDF)

Deadlock analysis of unbounded process networks

Information and computation, 2017-02, Vol.252, p.48-70

2017

Volltextzugriff (PDF)

Temporal Verification of Programs via First-Order Fixpoint Logic

Static Analysis, 2019, p.413-436

2019

Volltextzugriff (PDF)

MFSD2B is a sphingosine 1-phosphate transporter in erythroid cells

Scientific reports, 2018-03, Vol.8 (1), p.4969-11, Article 4969

2018

Volltextzugriff (PDF)

Dehydration reactivity of Mg(OH)2 containing low amounts of Li-additives for thermochemical energy storage

ISIJ International, 2022, pp.ISIJINT-2022-082

2022

Volltextzugriff (PDF)

HoIce: An ICE-Based Non-linear Horn Clause Solver

Programming Languages and Systems, p.146-156

Volltextzugriff (PDF)

A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes

Foundations of Software Science and Computational Structures, p.260-274

Volltextzugriff (PDF)

Single-Target Regulators Constitute the Minority Group of Transcription Factors in Escherichia coli K-12

Frontiers in microbiology, 2021-06, Vol.12, p.697803-697803

2021

Volltextzugriff (PDF)

Importance of the Azole Moiety of Cimetidine Derivatives for the Inhibition of Human Multidrug and Toxin Extrusion Transporter 1 (hMATE1)

Chemical and Pharmaceutical Bulletin, 2021/09/01, Vol.69(9), pp.905-912

2021

Volltextzugriff (PDF)

Characterization of the ATP-dependent Sphingosine 1-Phosphate Transporter in Rat Erythrocytes

The Journal of biological chemistry, 2009-08, Vol.284 (32), p.21192-21200

2009

Volltextzugriff (PDF)

Deletion of skeletal muscle Akt1/2 causes osteosarcopenia and reduces lifespan in mice

Nature communications, 2022-10, Vol.13 (1), p.5655-5655, Article 5655

2022

Volltextzugriff (PDF)

Packing Fraction of a Two-dimensional Eden Model with Random-Sized Particles

Journal of the Physical Society of Japan, 2018-01, Vol.87 (1), p.14005

2018

Volltextzugriff (PDF)

Facile modulation of optical properties of octagold clusters through the control of ligand-mediated interactions

Physical chemistry chemical physics : PCCP, 2016-07, Vol.18 (28), p.19433-19439

2016

Volltextzugriff (PDF)

Polarized and Unpolarized Neutron Scattering for Magnetic Materials at the Triple-axis Spectrometer PONTA in JRR-3

Journal of the Physical Society of Japan, 2024-09, Vol.93 (9)

2024

Volltextzugriff (PDF)

Pentafluorosulfanyl-substituted biaryl derivatives as MATE-type transporter inhibitors targeting drug-resistant bacteria

Bioorganic & medicinal chemistry, 2024-02, Vol.99, p.117606-117606, Article 117606

2024

Volltextzugriff (PDF)

Effects of the gel size before ingestion and agarose molecular weight on the textural properties of a gel bolus

Food hydrocolloids, 2019-04, Vol.89, p.892-900

2019

Volltextzugriff (PDF)

Facile and Scalable Synthesis of a Highly Hydroxylated Water-Soluble Fullerenol as a Single Nanoparticle

Nano research, 2011-02, Vol.4 (2), p.204-215

2011

Volltextzugriff (PDF)

1 – 25 von 4.896

Suche als RSS-Feed

Aktive Filter

ThemaHumans

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(3.336)
Mit Volltextzugriff
(4.145)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(4.342)
Japanisch
(795)
Chinesisch
(3)
Deutsch
(3)
Spanisch
(1)
Koreanisch
(1)

1 weiteren anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(2.240)
Life Sciences & Biomedicine
(1.030)
Physical Sciences
(732)
Technology
(732)
Physics
(443)
Computer Science
(401)
Exact Sciences And Technology
(334)
Animals
(305)
Computer Science, Theory & Methods
(303)
Physics, Applied
(274)
Chemistry
(267)
Engineering
(217)
Materials Science
(188)
Biological And Medical Sciences
(162)
Computer Science, Interdisciplinary Applications
(161)
Applied Sciences
(147)
Engineering, Electrical & Electronic
(138)
Surgery
(131)
Male
(126)
Materials Science, Multidisciplinary
(126)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Model Checking Higher-Order Programs

Frequency analysis of food bolus fragmentation through a vertical pipe

An Overview of the HFL Model Checking Project

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

RustHorn: CHC-based Verification for Rust Programs

Fragmentation Statistics of Food Diced and Crushed Using a Food Mixer

The RNA Methyltransferase Complex of WTAP, METTL3, and METTL14 Regulates Mitotic Clonal Expansion in Adipogenesis

Silicon Photonic Hybrid Ring-Filter External Cavity Wavelength Tunable Lasers

Deadlock analysis of unbounded process networks

Temporal Verification of Programs via First-Order Fixpoint Logic

MFSD2B is a sphingosine 1-phosphate transporter in erythroid cells

Dehydration reactivity of Mg(OH)2 containing low amounts of Li-additives for thermochemical energy storage

HoIce: An ICE-Based Non-linear Horn Clause Solver

A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes

Single-Target Regulators Constitute the Minority Group of Transcription Factors in Escherichia coli K-12

Importance of the Azole Moiety of Cimetidine Derivatives for the Inhibition of Human Multidrug and Toxin Extrusion Transporter 1 (hMATE1)

Characterization of the ATP-dependent Sphingosine 1-Phosphate Transporter in Rat Erythrocytes

Deletion of skeletal muscle Akt1/2 causes osteosarcopenia and reduces lifespan in mice

Packing Fraction of a Two-dimensional Eden Model with Random-Sized Particles

Facile modulation of optical properties of octagold clusters through the control of ligand-mediated interactions

Polarized and Unpolarized Neutron Scattering for Magnetic Materials at the Triple-axis Spectrometer PONTA in JRR-3

Pentafluorosulfanyl-substituted biaryl derivatives as MATE-type transporter inhibitors targeting drug-resistant bacteria

Effects of the gel size before ingestion and agarose molecular weight on the textural properties of a gel bolus

Facile and Scalable Synthesis of a Highly Hydroxylated Water-Soluble Fullerenol as a Single Nanoparticle

Aktive Filter

Suchergebnisse filtern