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

PROSPECT-D: Towards modeling leaf optical properties through a complete lifecycle

Remote sensing of environment, 2017-05, Vol.193 (may), p.204-215

2017

Volltextzugriff (PDF)

On the use of binary partition trees for the tree crown segmentation of tropical rainforest hyperspectral images

Remote sensing of environment, 2015-03, Vol.159, p.318-331

2015

Volltextzugriff (PDF)

Estimating leaf mass per area and equivalent water thickness based on leaf optical properties: Potential and limitations of physical modeling and machine learning

Remote sensing of environment, 2019-09, Vol.231, p.110959, Article 110959

2019

Volltextzugriff (PDF)

PROSPECT-4 and 5: Advances in the leaf optical properties model separating photosynthetic pigments

Remote sensing of environment, 2008-06, Vol.112 (6), p.3030-3043

2008

Volltextzugriff (PDF)

ON THE USE OF SHORTWAVE INFRARED FOR TREE SPECIES DISCRIMINATION IN TROPICAL SEMIDECIDUOUS FOREST

International archives of the photogrammetry, remote sensing and spatial information sciences., 2015, Vol.XL-3/W3 (3), p.473-476

2015

Volltextzugriff (PDF)

Estimation of soil clay and calcium carbonate using laboratory, field and airborne hyperspectral measurements

Remote sensing of environment, 2008-03, Vol.112 (3), p.825-835

2008

Volltextzugriff (PDF)

Static Analysis of Digital Filters

Lecture notes in computer science, 2004, p.33-48

2004

Volltextzugriff (PDF)

The arithmetic-geometric progression abstract domain

Lecture notes in computer science, 2005, p.42-58

2005

Volltextzugriff (PDF)

The ASTREÉ Analyzer

Lecture notes in computer science, 2005, p.21-30

2005

Volltextzugriff (PDF)

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Foundations and trends in programming languages, 2015, Vol.2 (2-3), p.71-190

2015

Volltextzugriff (PDF)

Abstract Interpretation-Based Static Analysis of Mobile Ambients

Lecture notes in computer science, 2001, p.412-430

2001

Volltextzugriff (PDF)

Reconstructing species-based dynamics from reduced stochastic rule-based models

Proceedings of the 2012 Winter Simulation Conference (WSC), 2012, p.1-15

2012

Volltextzugriff (PDF)

Dependency Analysis of Mobile Systems

Lecture notes in computer science, 2002, p.314-329

2002

Volltextzugriff (PDF)

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

The Essence of Computation, p.85-108

Volltextzugriff (PDF)

Confidentiality Analysis of Mobile Systems

Lecture notes in computer science, 2000, p.135-154

2000

Volltextzugriff (PDF)

Westinghouse air-cooled PAFC technology

Journal of power sources, 1990, Vol.29 (1), p.59-69

Feret, Jerome M.

1990

Volltextzugriff (PDF)

The physical and chemical state of phosphoric acid fuel cell assemblies after long term operation: surface and near-surface analysis

Journal of power sources, 1991-11, Vol.36 (2), p.137-153

1991

Volltextzugriff (PDF)

A static analyzer for large safety-critical software

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, 2003-05, Vol.38 (5), p.196-207

2003

Volltextzugriff (PDF)

Varieties of Static Analyzers: A Comparison with ASTREE

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007, p.3-20

2007

Volltextzugriff (PDF)

Discrete Anisotropic Radiative Transfer (DART 5) for Modeling Airborne and Satellite Spectroradiometer and LIDAR Acquisitions of Natural and Urban Landscapes

Remote sensing (Basel, Switzerland), 2015, Vol.7 (2), p.1667-1701

2015

Volltextzugriff (PDF)

Rule-Based Modelling, Symmetries, Refinements

Formal Methods in Systems Biology, p.103-122

Volltextzugriff (PDF)

A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.228-251

2023

Volltextzugriff (PDF)

Derivation of Qualitative Dynamical Models from Biochemical Networks

Computational Methods in Systems Biology, p.195-207

Volltextzugriff (PDF)

The C2Omodo Concept: A Tandem of New Generation High Resolution All-Sky Atmospheric Sounders in the Frame of the AOS Mission

IGARSS 2023 - 2023 IEEE International Geoscience and Remote Sensing Symposium, 2023, p.4576-4579

2023

Volltextzugriff (PDF)

Combining Case-Based and Model-Based Reasoning for the Diagnosis of Complex Devices

Applied intelligence (Dordrecht, Netherlands), 1997-01, Vol.7 (1), p.57-78

1997

Volltextzugriff (PDF)

1 – 25 von 27

Suche als RSS-Feed

Aktive Filter

ThemaEngineering

ThemaTechnology

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(23)
Mit Volltextzugriff
(26)

Publikationsform

Sprache

Englisch
(27)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

PROSPECT-D: Towards modeling leaf optical properties through a complete lifecycle

On the use of binary partition trees for the tree crown segmentation of tropical rainforest hyperspectral images

Estimating leaf mass per area and equivalent water thickness based on leaf optical properties: Potential and limitations of physical modeling and machine learning

PROSPECT-4 and 5: Advances in the leaf optical properties model separating photosynthetic pigments

ON THE USE OF SHORTWAVE INFRARED FOR TREE SPECIES DISCRIMINATION IN TROPICAL SEMIDECIDUOUS FOREST

Estimation of soil clay and calcium carbonate using laboratory, field and airborne hyperspectral measurements

Static Analysis of Digital Filters

The arithmetic-geometric progression abstract domain

The ASTREÉ Analyzer

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Abstract Interpretation-Based Static Analysis of Mobile Ambients

Reconstructing species-based dynamics from reduced stochastic rule-based models

Dependency Analysis of Mobile Systems

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

Confidentiality Analysis of Mobile Systems

Westinghouse air-cooled PAFC technology

The physical and chemical state of phosphoric acid fuel cell assemblies after long term operation: surface and near-surface analysis

A static analyzer for large safety-critical software

Varieties of Static Analyzers: A Comparison with ASTREE

Discrete Anisotropic Radiative Transfer (DART 5) for Modeling Airborne and Satellite Spectroradiometer and LIDAR Acquisitions of Natural and Urban Landscapes

Rule-Based Modelling, Symmetries, Refinements

A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation

Derivation of Qualitative Dynamical Models from Biochemical Networks

The C2Omodo Concept: A Tandem of New Generation High Resolution All-Sky Atmospheric Sounders in the Frame of the AOS Mission

Combining Case-Based and Model-Based Reasoning for the Diagnosis of Complex Devices

Aktive Filter

Suchergebnisse filtern