UB Paderborn / Katalog / Suche / in CDI

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

Logical methods in computer science, 2022-04, Vol.18, Issue 2

2022

Volltextzugriff (PDF)

Polyadic approximations, fibrations and intersection types

Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-28

2018

Volltextzugriff (PDF)

The calculus of language: explicit representation of emergent linguistic structure through type-theoretical paradigms

Interdisciplinary science reviews, 2021-10, Vol.46 (4), p.569-590

2021

Volltextzugriff (PDF)

A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic

Theoretical Aspects of Computing - ICTAC 2015, p.144-161

Volltextzugriff (PDF)

Inferential Semantics as Argumentative Dialogues

Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, p.72-81

Volltextzugriff (PDF)

Proof-Net as Graph, Taylor Expansion as Pullback

Logic, Language, Information, and Computation, 2019, Vol.11541, p.282-300

2019

Volltextzugriff (PDF)

A 12‐month pilot study outcomes of vagus nerve stimulation in Crohn's disease

Neurogastroenterology and motility, 2020-10, Vol.32 (10), p.e13911-n/a

2020

Volltextzugriff (PDF)

Spatial and evolutionary predictability of phytochemical diversity

Proceedings of the National Academy of Sciences - PNAS, 2021-01, Vol.118 (3)

2021

Volltextzugriff (PDF)

Structural Identification of Antibacterial Lipids from Amazonian Palm Tree Endophytes through the Molecular Network Approach

International journal of molecular sciences, 2019-04, Vol.20 (8), p.2006

2019

Volltextzugriff (PDF)

Identification and dereplication of endophytic Colletotrichum strains by MALDI TOF mass spectrometry and molecular networking

Scientific reports, 2020-11, Vol.10 (1), p.19788-19788, Article 19788

2020

Volltextzugriff (PDF)

Chemo-Diversification of Plant Extracts Using a Generic Bromination Reaction and Monitoring by Metabolite Profiling

ACS combinatorial science, 2019-03, Vol.21 (3), p.171-182

2019

Volltextzugriff (PDF)

High resolution ancient sedimentary DNA shows that alpine plant diversity is associated with human land use and climate change

Nature communications, 2022-11, Vol.13 (1), p.6559-16, Article 6559

2022

Volltextzugriff (PDF)

Paecilosetin Derivatives as Potent Antimicrobial Agents from Isaria farinosa

Journal of natural products (Washington, D.C.), 2020-10, Vol.83 (10), p.2915-2922

2020

Volltextzugriff (PDF)

Characterization, Diversity, and Structure-Activity Relationship Study of Lipoamino Acids from Pantoea sp. and Synthetic Analogues

International journal of molecular sciences, 2019-03, Vol.20 (5), p.1083

2019

Volltextzugriff (PDF)

Fusion Neutron-Induced Soft Errors During Long Pulse D-D Plasma Discharges in the WEST Tokamak

IEEE transactions on nuclear science, 2024, Vol.71 (8), p.1496-1502

2024

Volltextzugriff (PDF)

Real-Time Characterization of Neutron-Induced SEUs in Fusion Experiments at WEST Tokamak During D-D Plasma Operation

IEEE transactions on nuclear science, 2022-03, Vol.69 (3), p.501-511

2022

Volltextzugriff (PDF)

Using Porcine Jejunum Ex Vivo to Study Absorption and Biotransformation of Natural Products in Plant Extracts: Pueraria lobata as a Case Study

Metabolites, 2021-08, Vol.11 (8), p.541

2021

Volltextzugriff (PDF)

Antiseizure potential of the ancient Greek medicinal plant Helleborus odorus subsp. cyclophyllus and identification of its main active principles

Journal of ethnopharmacology, 2020-09, Vol.259, p.112954, Article 112954

2020

Volltextzugriff (PDF)

Comparative metabolomic study of fungal foliar endophytes and their long-lived host Astrocaryum sciophilum : a model for exploring the chemodiversity of host-microbe interactions

Frontiers in plant science, 2023, Vol.14, p.1278745-1278745

2023

Volltextzugriff (PDF)

Isolation and Identification of Isocoumarin Derivatives With Specific Inhibitory Activity Against Wnt Pathway and Metabolome Characterization of Lasiodiplodia venezuelensis

Frontiers in chemistry, 2021-08, Vol.9, p.664489-664489

2021

Volltextzugriff (PDF)

Characterization of Pseudomonas aeruginosa Quorum Sensing Inhibitors from the Endophyte Lasiodiplodia venezuelensis and Evaluation of Their Antivirulence Effects by Metabolomics

Microorganisms (Basel), 2021-08, Vol.9 (9), p.1807

2021

Volltextzugriff (PDF)

Unexpected long-range edge-to-forest interior environmental gradients

Landscape ecology, 2013-03, Vol.28 (3), p.439-453

2013

Volltextzugriff (PDF)

Thermal niches are more conserved at cold than warm limits in arctic-alpine plant species

Global ecology and biogeography, 2013-08, Vol.22 (8), p.933-941

2013

Volltextzugriff (PDF)

Understorey plant species show long-range spatial patterns in forest patches according to distance-to-edge

Journal of vegetation science, 2013-01, Vol.24 (1), p.9-24

2013

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

Polyadic approximations, fibrations and intersection types

The calculus of language: explicit representation of emergent linguistic structure through type-theoretical paradigms

A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic

Inferential Semantics as Argumentative Dialogues

Proof-Net as Graph, Taylor Expansion as Pullback

A 12‐month pilot study outcomes of vagus nerve stimulation in Crohn's disease

Spatial and evolutionary predictability of phytochemical diversity

Structural Identification of Antibacterial Lipids from Amazonian Palm Tree Endophytes through the Molecular Network Approach

Identification and dereplication of endophytic Colletotrichum strains by MALDI TOF mass spectrometry and molecular networking

Functional Traits 2.0: The power of the metabolome for ecology

Chemo-Diversification of Plant Extracts Using a Generic Bromination Reaction and Monitoring by Metabolite Profiling

High resolution ancient sedimentary DNA shows that alpine plant diversity is associated with human land use and climate change

Paecilosetin Derivatives as Potent Antimicrobial Agents from Isaria farinosa

Characterization, Diversity, and Structure-Activity Relationship Study of Lipoamino Acids from Pantoea sp. and Synthetic Analogues

Fusion Neutron-Induced Soft Errors During Long Pulse D-D Plasma Discharges in the WEST Tokamak

Real-Time Characterization of Neutron-Induced SEUs in Fusion Experiments at WEST Tokamak During D-D Plasma Operation

Using Porcine Jejunum Ex Vivo to Study Absorption and Biotransformation of Natural Products in Plant Extracts: Pueraria lobata as a Case Study

Antiseizure potential of the ancient Greek medicinal plant Helleborus odorus subsp. cyclophyllus and identification of its main active principles

Comparative metabolomic study of fungal foliar endophytes and their long-lived host Astrocaryum sciophilum : a model for exploring the chemodiversity of host-microbe interactions

Isolation and Identification of Isocoumarin Derivatives With Specific Inhibitory Activity Against Wnt Pathway and Metabolome Characterization of Lasiodiplodia venezuelensis

Characterization of Pseudomonas aeruginosa Quorum Sensing Inhibitors from the Endophyte Lasiodiplodia venezuelensis and Evaluation of Their Antivirulence Effects by Metabolomics

Unexpected long-range edge-to-forest interior environmental gradients

Thermal niches are more conserved at cold than warm limits in arctic-alpine plant species

Understorey plant species show long-range spatial patterns in forest patches according to distance-to-edge

Suchergebnisse filtern