Year of publication
Type of material
Licence
Language
121–140 of 700 hits
Sort by:
Sort by:
-
Verified First-Order Monitoring with Recursive Rules
Free accessSpringer Verlag | 2022|Keywords: Rule-based specifications -
Intelligent Optimization of Process Parameters in Limit Gauge Hot Strip Rolling
Free accessDOAJ | 2022|Keywords: limit specifications -
Discrete Time Model for Process Meta Language with Fictitious-Clock
Free accessDOAJ | 2022|Keywords: formal specifications -
Specifiable robustness in reactive synthesis
Free accessSpringer Verlag | 2022|Keywords: Temporal logic specifications -
A Formal Link Between Response Time Analysis and Network Calculus
Free accessDataCite | 2022|Keywords: Networks → Formal specifications -
Identifying Drug Targets of Oral Squamous Cell Carcinoma through a Systems Biology Method and Genome-Wide Microarray Data for Drug Discovery by Deep Learning and Drug Design Specifications
Free accessDOAJ | 2022|Keywords: drug design specifications -
Systems Drug Design for Muscle Invasive Bladder Cancer and Advanced Bladder Cancer by Genome-Wide Microarray Data and Deep Learning Method with Drug Design Specifications
Free accessDOAJ | 2022|Keywords: drug design specifications -
A Formal Link Between Response Time Analysis and Network Calculus (Artifact)
Free accessDataCite | 2022|Keywords: Networks → Formal specifications -
Design methods of blast resistant façades, windows, and doors in Germany: a review
Free accessSpringer Verlag | 2022|Keywords: Requirement specifications for blast-resistant building envelopes -
Implementation of the new EU IVD regulation – urgent initiatives are needed to avert impending crisis
Free accessDeGruyter | 2022|Keywords: CS, Common Specifications -
Performance specifications for measurement uncertainty of common biochemical measurands according to Milan models
Free accessDeGruyter | 2021|Keywords: analytical performance specifications -
Sigma metrics of Alinity ci system – a study on thirty-nine clinical chemistry and immunoassay parameters
Free accessDeGruyter | 2021|Keywords: performance specifications -
Evaluation of the ARKRAY HA-8190V instrument for HbA1c
Free accessDeGruyter | 2021|Keywords: performance specifications -
A model-based runtime environment for adapting communication systems
Free accessTIBKAT | 2021|Keywords: model-based specifications -
Means of mechanization and technologies for melons processing
Free accessBASE | 2021|Keywords: specifications -
Assessment on Materials Quality Control Implementation of Building Construction Projects and Workmanship
Free accessBASE | 2021|Keywords: Specifications -
Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens
Free accessDOAJ | 2021|Keywords: Formal specifications -
Sigma metrics of Alinity ci system – a study on thirty-nine clinical chemistry and immunoassay parameters
Free accessDOAJ | 2021|Keywords: performance specifications -
Development of an Informative Lithium-Ion Battery Datasheet
Free accessDOAJ | 2021|Keywords: specifications -
Proposal for a method for advanced search of information and standards in the field of Geometrical Product Specification
Free accessBASE | 2021|Keywords: Geometrical Product Specifications (GPS)
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.