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

Architecture Level Safety Analyses for Safety-Critical Systems

International Journal of Aerospace Engineering, 2017-01, Vol.2017 (2017), p.1-9-056

2017

Volltextzugriff (PDF)

Validation of control algorithm using formal methods: Validation of mode transition logic of AFCS in SARAS aircraft

2017 IEEE Aerospace Conference, 2017, p.1-8

2017

Volltextzugriff (PDF)

Deciphering the impact of genomic variation on function

Nature (London), 2024-09, Vol.633 (8028), p.47-57

2024

Volltextzugriff (PDF)

Architecture Level Safety Analyses for Safety-Critical Systems

Journal of aeronautics & aerospace engineering, 2017, Vol.6 (1)

2017

Volltextzugriff (PDF)

Resource Management and Performance Analysis of Model-Based Control System Software Engineering Using AADL

Computational Intelligence in Data Mining--Volume 2, 2015, Vol.411, p.81-96

2015

Volltextzugriff (PDF)

Biochemical Analysis of Different Varieties of Honey Samples

International Research Journal on Advanced Engineering Hub (IRJAEH), 2024-02, Vol.2 (2), p.34-40

2024

Volltextzugriff (PDF)

Transaction-based models (TBM) and evaluation of their throughput

2015 IEEE Recent Advances in Intelligent Computational Systems (RAICS), 2015, p.300-305

2015

Volltextzugriff (PDF)

Using system analysis modeling language (saml) for validating the critical aerospace model: Short paper: A case-study

2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI), 2017, p.1951-1959

2017

Volltextzugriff (PDF)

Model-based analysis of safety critical systems

2017 International Conference on Innovations in Information, Embedded and Communication Systems (ICIIECS), 2017, p.1-11

2017

Volltextzugriff (PDF)

Formal Methods and Tools for Safety of Critical Systems

Formal Methods for Safety and Security, 2017, p.13-21

2017

Volltextzugriff (PDF)

Design and Implementation of a Smart Automated OUT-ward (SAT OUT) System Using ARM Processor for Aircrafts

2012 Fourth International Conference on Computational Intelligence and Communication Networks, 2012, p.463-467

2012

Volltextzugriff (PDF)

Visualizing the structure of RNA-seq expression data using grade of membership models

PLoS genetics, 2017-03, Vol.13 (3), p.e1006599-e1006599

2017

Volltextzugriff (PDF)

Remote Sensing in Agriculture—Accomplishments, Limitations, and Opportunities

Remote sensing (Basel, Switzerland), 2020-11, Vol.12 (22), p.3783

2020

Volltextzugriff (PDF)

Improving the trans-ancestry portability of polygenic risk scores by prioritizing variants in predicted cell-type-specific regulatory elements

Nature genetics, 2020-12, Vol.52 (12), p.1346-1354

2020

Volltextzugriff (PDF)

Combining SNP-to-gene linking strategies to identify disease genes and assess disease omnigenicity

Nature genetics, 2022-06, Vol.54 (6), p.827-836

2022

Volltextzugriff (PDF)

A new sequence logo plot to highlight enrichment and depletion

BMC bioinformatics, 2018-12, Vol.19 (1), p.473-473, Article 473

2018

Volltextzugriff (PDF)

Assessment of the Spatial and Temporal Patterns of Cover Crops Using Remote Sensing

Remote sensing (Basel, Switzerland), 2021-07, Vol.13 (14), p.2689

2021

Volltextzugriff (PDF)

Sugarcane Mosaic Virus Detection in Maize Using UAS Multispectral Imagery

Remote sensing (Basel, Switzerland), 2024-09, Vol.16 (17), p.3296

2024

Volltextzugriff (PDF)

The Philips Respironics Recall of Ventilators and Positive Airway Pressure Machines-Breakdowns in Medical Device Surveillance

JAMA internal medicine, 2023-01, Vol.183 (1), p.5

2023

Volltextzugriff (PDF)

Agricultural productivity and water quality tradeoffs of winter cover crops at a landscape scale through the lens of remote sensing

Journal of environmental management, 2023-03, Vol.330, p.117212, Article 117212

2023

Volltextzugriff (PDF)

Extensive Recovery of Embryonic Enhancer and Gene Memory Stored in Hypomethylated Enhancer DNA

Molecular cell, 2019-05, Vol.74 (3), p.542-554.e5

2019

Volltextzugriff (PDF)

SAIGE-GENE+ improves the efficiency and accuracy of set-based rare variant association tests

Nature genetics, 2022-10, Vol.54 (10), p.1466-1469

2022

Volltextzugriff (PDF)

Verification of serialising instructions for security against transient execution attacks

Chronic diseases and translational medicine, 2023-07, Vol.17 (3-4), p.127-140

2023

Volltextzugriff (PDF)

Identifying disease-critical cell types and cellular processes by integrating single-cell RNA-sequencing and human genetics

Nature genetics, 2022-10, Vol.54 (10), p.1479-1492

2022

Volltextzugriff (PDF)

Assessing genetic diversity and population structure of sugarcane cultivars, progenitor species and genera using microsatellite (SSR) markers

Gene, 2020-08, Vol.753, p.144800-144800, Article 144800

2020

Volltextzugriff (PDF)

1 – 25 von 658

Suche als RSS-Feed

Aktive Filter

ThemaScience & Technology - Other Topics

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(418)
Mit Volltextzugriff
(481)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(658)

Erscheinungsjahr

n.n

Thema

Science & Technology
(343)
Life Sciences & Biomedicine
(180)
Humans
(102)
Physical Sciences
(99)
Technology
(99)
Engineering
(57)
Male
(57)
Chemistry
(50)
Female
(47)
Adult
(38)
Engineering, Electrical & Electronic
(35)
Animals
(34)
Computer Science
(30)
Middle Aged
(30)
Biological And Medical Sciences
(26)
Physics
(25)
Biomedical And Life Sciences
(24)
Agriculture
(22)
Aged
(21)
Biomedicine
(21)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Architecture Level Safety Analyses for Safety-Critical Systems

Validation of control algorithm using formal methods: Validation of mode transition logic of AFCS in SARAS aircraft

Deciphering the impact of genomic variation on function

Architecture Level Safety Analyses for Safety-Critical Systems

Resource Management and Performance Analysis of Model-Based Control System Software Engineering Using AADL

Biochemical Analysis of Different Varieties of Honey Samples

Transaction-based models (TBM) and evaluation of their throughput

Using system analysis modeling language (saml) for validating the critical aerospace model: Short paper: A case-study

Model-based analysis of safety critical systems

Formal Methods and Tools for Safety of Critical Systems

Design and Implementation of a Smart Automated OUT-ward (SAT OUT) System Using ARM Processor for Aircrafts

Visualizing the structure of RNA-seq expression data using grade of membership models

Remote Sensing in Agriculture—Accomplishments, Limitations, and Opportunities

Improving the trans-ancestry portability of polygenic risk scores by prioritizing variants in predicted cell-type-specific regulatory elements

Combining SNP-to-gene linking strategies to identify disease genes and assess disease omnigenicity

A new sequence logo plot to highlight enrichment and depletion

Assessment of the Spatial and Temporal Patterns of Cover Crops Using Remote Sensing

Sugarcane Mosaic Virus Detection in Maize Using UAS Multispectral Imagery

The Philips Respironics Recall of Ventilators and Positive Airway Pressure Machines-Breakdowns in Medical Device Surveillance

Agricultural productivity and water quality tradeoffs of winter cover crops at a landscape scale through the lens of remote sensing

Extensive Recovery of Embryonic Enhancer and Gene Memory Stored in Hypomethylated Enhancer DNA

SAIGE-GENE+ improves the efficiency and accuracy of set-based rare variant association tests

Verification of serialising instructions for security against transient execution attacks

Identifying disease-critical cell types and cellular processes by integrating single-cell RNA-sequencing and human genetics

Assessing genetic diversity and population structure of sugarcane cultivars, progenitor species and genera using microsatellite (SSR) markers

Aktive Filter

Suchergebnisse filtern