UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 73

Sortiert nach

Comprehensive analysis of JAZ family members in Ginkgo biloba reveals the regulatory role of the GbCOI1/GbJAZs/GbMYC2 module in ginkgolide biosynthesis

Tree physiology, 2024-02, Vol.44 (1)

2024

Link zum Volltext

Verfügbarkeit prüfen

Backbone is All Your Need: A Simplified Architecture for Visual Object Tracking

Computer Vision - ECCV 2022, 2022, Vol.13682, p.375-392

2022

Link zum Volltext

Verfügbarkeit prüfen

Surrogate-Assisted Multi-objective Optimization for Compiler Optimization Sequence Selection

Parallel Problem Solving from Nature – PPSN XVII, p.382-395

Link zum Volltext

Verfügbarkeit prüfen

Learning Path Recommendation for MOOC Platforms Based on a Knowledge Graph

Knowledge Science, Engineering and Management, p.600-611

Link zum Volltext

Verfügbarkeit prüfen

Modular Verification of SPARCv8 Code

Programming Languages and Systems, p.245-263

Link zum Volltext

Verfügbarkeit prüfen

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms

Dependable Software Engineering. Theories, Tools, and Applications, 2019, Vol.11951, p.72-88

2019

Link zum Volltext

Verfügbarkeit prüfen

A Verified Specification of TLSF Memory Management Allocator Using State Monads

Dependable Software Engineering. Theories, Tools, and Applications, 2019, Vol.11951, p.122-138

2019

Link zum Volltext

Verfügbarkeit prüfen

Formalizing SPARCv8 Instruction Set Architecture in Coq

Dependable Software Engineering. Theories, Tools, and Applications, p.300-316

Link zum Volltext

Verfügbarkeit prüfen

Formal Verification of Lunar Rover Control Software Using UPPAAL

FM 2014: Formal Methods, p.718-732

Link zum Volltext

Verfügbarkeit prüfen

A Simulation of Synthetic agr System in E.coli

Bioinformatics Research and Applications, p.76-86

Link zum Volltext

Verfügbarkeit prüfen

A New Approach to Outlier Detection

Computational Science – ICCS 2007, p.615-620

Link zum Volltext

Verfügbarkeit prüfen

Mean dimension of product spaces: a fundamental formula

Mathematische annalen, 2024, Vol.388 (1), p.249-259

2024

Link zum Volltext

Verfügbarkeit prüfen

Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers

Advances in Cryptology – ASIACRYPT 2014, p.158-178

Link zum Volltext

Verfügbarkeit prüfen

Enhancing taxol production in a novel endophytic fungus, Aspergillus aculeatinus Tax-6, isolated from Taxus chinensis var. mairei

Fungal biology, 2017-12, Vol.121 (12), p.1037-1044

2017

Link zum Volltext

Verfügbarkeit prüfen

Evaluation of the distribution of adipose tissues in fish using magnetic resonance imaging (MRI)

Aquaculture, 2015-11, Vol.448, p.112-122

2015

Link zum Volltext

Verfügbarkeit prüfen

Identification of Aeromonas veronii isolated from largemouth bass Micropterus salmoides and histopathological analysis

Aquaculture, 2021-07, Vol.540, p.736707, Article 736707

2021

Link zum Volltext

Verfügbarkeit prüfen

Comparative study on the morphological characteristics and nutritional quality of largemouth bass (Micropterus salmoides) cultured in an aquaculture system using land-based container with recycling water and a traditional pond system

Aquaculture, 2022-02, Vol.549, p.737721, Article 737721

2022

Link zum Volltext

Verfügbarkeit prüfen

High-carbohydrate diet altered conversion of metabolites, and deteriorated health in juvenile largemouth bass

Aquaculture, 2022-02, Vol.549, p.737816, Article 737816

2022

Link zum Volltext

Verfügbarkeit prüfen

Different forms of selenium supplementation in fish feed: The bioavailability, nutritional functions, and potential toxicity

Aquaculture, 2022-02, Vol.549, p.737819, Article 737819

2022

Link zum Volltext

Verfügbarkeit prüfen

MiRNA-mRNA integration analysis reveals the regulatory roles of miRNAs in the metabolism of largemouth bass (Micropterus salmoides) livers during acute hypoxic stress

Aquaculture, 2020-09, Vol.526, p.735362, Article 735362

2020

Link zum Volltext

Verfügbarkeit prüfen

Characterization and immune functional analysis of two new type I crustins in the oriental river prawn Macrobrachium nipponense

Aquaculture, 2023-11, Vol.576, p.739825, Article 739825

2023

Link zum Volltext

Verfügbarkeit prüfen

Gallic acid acts as an anti-inflammatory agent via PPARγ-mediated immunomodulation and antioxidation in fish gut-liver axis

Aquaculture, 2024-01, Vol.578, p.740142, Article 740142

2024

Link zum Volltext

Verfügbarkeit prüfen

Inhibition of fatty acid oxidation induced by up-regulation of miR-124 and miR-205 during exposure of largemouth bass (Micropterus salmoides) to acute hypoxia

Aquaculture, 2020-12, Vol.529, p.735679, Article 735679

2020

Link zum Volltext

Verfügbarkeit prüfen

Viral Marketing for Digital Goods in Social Networks

Web and Big Data, p.377-390

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 73

Suche als RSS-Feed

Aktive Filter

KollektionIngentaConnect Journals

SprachePortugiesisch

KollektionHEAL-Link subscriptions: Springer Book Series

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(68)
Mit Volltextzugriff
(71)

Publikationsform

Sprache

Englisch
(73)
Japanisch
(3)

Erscheinungsjahr

n.n

Zeitschrift / Serie

2 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Comprehensive analysis of JAZ family members in Ginkgo biloba reveals the regulatory role of the GbCOI1/GbJAZs/GbMYC2 module in ginkgolide biosynthesis

Backbone is All Your Need: A Simplified Architecture for Visual Object Tracking

Surrogate-Assisted Multi-objective Optimization for Compiler Optimization Sequence Selection

Learning Path Recommendation for MOOC Platforms Based on a Knowledge Graph

Modular Verification of SPARCv8 Code

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms

A Verified Specification of TLSF Memory Management Allocator Using State Monads

Formalizing SPARCv8 Instruction Set Architecture in Coq

Formal Verification of Lunar Rover Control Software Using UPPAAL

A Simulation of Synthetic agr System in E.coli

A New Approach to Outlier Detection

Mean dimension of product spaces: a fundamental formula

Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers

Enhancing taxol production in a novel endophytic fungus, Aspergillus aculeatinus Tax-6, isolated from Taxus chinensis var. mairei

Evaluation of the distribution of adipose tissues in fish using magnetic resonance imaging (MRI)

Poor pretransplantation minimal residual disease clearance as an independent prognostic risk factor for survival in myelodysplastic syndrome with excess blasts: A multicenter, retrospective cohort study

Identification of Aeromonas veronii isolated from largemouth bass Micropterus salmoides and histopathological analysis

Comparative study on the morphological characteristics and nutritional quality of largemouth bass (Micropterus salmoides) cultured in an aquaculture system using land-based container with recycling water and a traditional pond system

High-carbohydrate diet altered conversion of metabolites, and deteriorated health in juvenile largemouth bass

Different forms of selenium supplementation in fish feed: The bioavailability, nutritional functions, and potential toxicity

MiRNA-mRNA integration analysis reveals the regulatory roles of miRNAs in the metabolism of largemouth bass (Micropterus salmoides) livers during acute hypoxic stress

Characterization and immune functional analysis of two new type I crustins in the oriental river prawn Macrobrachium nipponense

Gallic acid acts as an anti-inflammatory agent via PPARγ-mediated immunomodulation and antioxidation in fish gut-liver axis

Inhibition of fatty acid oxidation induced by up-regulation of miR-124 and miR-205 during exposure of largemouth bass (Micropterus salmoides) to acute hypoxia

Viral Marketing for Digital Goods in Social Networks

Aktive Filter

Suchergebnisse filtern