UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 1.177

Sortiert nach

Mitochondrial Stasis Reveals p62-Mediated Ubiquitination in Parkin-Independent Mitophagy and Mitigates Nonalcoholic Fatty Liver Disease

Cell metabolism, 2018-10, Vol.28 (4), p.588-604.e5

2018

Volltextzugriff (PDF)

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

1, 2022

Volltextzugriff (PDF)

Temporal Verification of Programs via First-Order Fixpoint Logic

Static Analysis, 2019, p.413-436

2019

Volltextzugriff (PDF)

Brain-specific Drp1 regulates postsynaptic endocytosis and dendrite formation independently of mitochondrial division

eLife, 2019-10, Vol.8

2019

Volltextzugriff (PDF)

Ethylene Dimerization/Polymerization Catalyzed by (Adamantylimido)vanadium(V) Complexes Containing (2-Anilidomethyl)pyridine Ligands: Factors Affecting the Ethylene Reactivity

Organometallics, 2012-05, Vol.31 (9), p.3575-3581

2012

Volltextzugriff (PDF)

Synthesis of (Adamantylimido)vanadium(V) Dimethyl Complex Containing (2-Anilidomethyl)pyridine Ligand and Selected Reactions: Exploring the Oxidation State of the Catalytically Active Species in Ethylene Dimerization

Organometallics, 2017-02, Vol.36 (3), p.530-542

2017

Volltextzugriff (PDF)

On polymorphic gradual typing

Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-29

2017

Volltextzugriff (PDF)

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Igarashi, Atsushi

1st Edition 2016, 2016

Volltextzugriff (PDF)

On Cross-Stage Persistence in Multi-Stage Programming

Functional and Logic Programming, p.103-118

Volltextzugriff (PDF)

A Hoare Logic for GPU Kernels

ACM transactions on computational logic, 2017-01, Vol.18 (1), p.1-43

2017

Volltextzugriff (PDF)

Polymorphic Manifest Contracts, Revised and Resolved

ACM transactions on programming languages and systems, 2017-02, Vol.39 (1), p.1-36, Article 3

2017

Volltextzugriff (PDF)

Placement of SpaceOAR hydrogel spacer for prostate cancer patients treated with iodine‐125 low‐dose‐rate brachytherapy

International journal of urology, 2020-01, Vol.27 (1), p.60-66

2020

Volltextzugriff (PDF)

Automated Verification of Functional Correctness of Race-Free GPU Programs

Journal of automated reasoning, 2018-03, Vol.60 (3), p.279-298

2018

Volltextzugriff (PDF)

Dynamic type inference for gradual Hindley–Milner typing

Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29

2019

Volltextzugriff (PDF)

Synthesis and Structural Analysis of (Imido)Vanadium(V) Complexes Containing Chelate (Anilido)Methyl-imine Ligands: Ligand Effect in Ethylene Dimerization

Inorganic chemistry, 2013-03, Vol.52 (5), p.2607-2614

2013

Volltextzugriff (PDF)

Method safety mechanism for asynchronous layer deactivation

Science of computer programming, 2018-05, Vol.156, p.104-120

2018

Volltextzugriff (PDF)

Signature restriction for polymorphic algebraic effects

Proceedings of ACM on programming languages, 2020-08, Vol.4 (ICFP), p.1-30

2020

Volltextzugriff (PDF)

Detection of circulating urothelial cancer cells in the blood using the CellSearch System

Cancer, 2007-04, Vol.109 (7), p.1439-1445

2007

Volltextzugriff (PDF)

Gradual session types

Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-28

2017

Volltextzugriff (PDF)

Functional and logic programming: Selected papers of FLOPS 2022

Science of computer programming, 2024-12, Vol.238, p.103129, Article 103129

2024

Volltextzugriff (PDF)

Gradual session types

Journal of functional programming, 2019, Vol.29, Article e17

2019

Volltextzugriff (PDF)

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

New generation computing, 2022-07, Vol.40 (2), p.507-540

2022

Volltextzugriff (PDF)

The Loss of Nuclear PTEN Increases Tumorigenesis in a Preclinical Mouse Model for Hepatocellular Carcinoma

iScience, 2020-10, Vol.23 (10), p.101548, Article 101548

2020

Volltextzugriff (PDF)

Synthesis of (Imido)vanadium(V) Complexes Containing 8‑(2,6-Dimethylanilide)-5,6,7-trihydroquinoline Ligands: Highly Active Catalyst Precursors for Ethylene Dimerization

Organometallics, 2014-02, Vol.33 (4), p.1053-1060

2014

Volltextzugriff (PDF)

Open Call-by-Value

Programming Languages and Systems, p.206-226

Volltextzugriff (PDF)

1 – 25 von 1.177

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(816)
Mit Volltextzugriff
(1.112)

Publikationsform

Sprache

Englisch
(1.019)
Japanisch
(502)
Deutsch
(1)
Portugiesisch
(1)

Erscheinungsjahr

n.n

Thema

Science & Technology
(592)
Life Sciences & Biomedicine
(356)
Humans
(257)
Male
(188)
Female
(166)
Technology
(149)
Middle Aged
(123)
Computer Science
(110)
Animals
(103)
Physical Sciences
(100)
Adult
(92)
Biological And Medical Sciences
(90)
Aged
(86)
Medical Sciences
(61)
Computer Science, Software Engineering
(57)
Exact Sciences And Technology
(55)
Software Engineering
(55)
Mice
(54)
Gastroenterology & Hepatology
(52)
Chemistry
(51)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Mitochondrial Stasis Reveals p62-Mediated Ubiquitination in Parkin-Independent Mitophagy and Mitigates Nonalcoholic Fatty Liver Disease

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

Temporal Verification of Programs via First-Order Fixpoint Logic

Brain-specific Drp1 regulates postsynaptic endocytosis and dendrite formation independently of mitochondrial division

Ethylene Dimerization/Polymerization Catalyzed by (Adamantylimido)vanadium(V) Complexes Containing (2-Anilidomethyl)pyridine Ligands: Factors Affecting the Ethylene Reactivity

Synthesis of (Adamantylimido)vanadium(V) Dimethyl Complex Containing (2-Anilidomethyl)pyridine Ligand and Selected Reactions: Exploring the Oxidation State of the Catalytically Active Species in Ethylene Dimerization

On polymorphic gradual typing

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

On Cross-Stage Persistence in Multi-Stage Programming

A Hoare Logic for GPU Kernels

Polymorphic Manifest Contracts, Revised and Resolved

Placement of SpaceOAR hydrogel spacer for prostate cancer patients treated with iodine‐125 low‐dose‐rate brachytherapy

Automated Verification of Functional Correctness of Race-Free GPU Programs

Dynamic type inference for gradual Hindley–Milner typing

Synthesis and Structural Analysis of (Imido)Vanadium(V) Complexes Containing Chelate (Anilido)Methyl-imine Ligands: Ligand Effect in Ethylene Dimerization

Method safety mechanism for asynchronous layer deactivation

Signature restriction for polymorphic algebraic effects

Detection of circulating urothelial cancer cells in the blood using the CellSearch System

Gradual session types

Functional and logic programming: Selected papers of FLOPS 2022

Gradual session types

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

The Loss of Nuclear PTEN Increases Tumorigenesis in a Preclinical Mouse Model for Hepatocellular Carcinoma

Synthesis of (Imido)vanadium(V) Complexes Containing 8‑(2,6-Dimethylanilide)-5,6,7-trihydroquinoline Ligands: Highly Active Catalyst Precursors for Ethylene Dimerization

Open Call-by-Value

Suchergebnisse filtern