Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
101–120 of 173,234 hits
Sort by:
Sort by:
-
Test for the Assessment of Crossed and Uncrossed Stereovision Acuity
British Library Conference Proceedings | 2023|Publisher: Springer -
Certified Logic-Based Explainable AI — The Case of Monotonic Classifiers
British Library Conference Proceedings | 2023|Publisher: Springer -
Testing a Formally Verified Compiler
British Library Conference Proceedings | 2023|Publisher: Springer -
Context Specification Language for Formally Verifying Consent Properties on Models and Code
British Library Conference Proceedings | 2023|Publisher: Springer -
Symbolic Observation Graph-Based Generation of Test Paths
British Library Conference Proceedings | 2023|Publisher: Springer -
CoqCryptoLine: A Verified Model Checker with Certified Results
British Library Conference Proceedings | 2023|Publisher: Springer -
A Living Monograph for Graph Transformation
British Library Conference Proceedings | 2023|Publisher: Springer -
Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail
British Library Conference Proceedings | 2023|Publisher: Springer -
Improving Recommender System Diversity with Variational Autoencoders
British Library Conference Proceedings | 2023|Publisher: Springer -
Lelantus Spark: Secure and Flexible Private Transactions
British Library Conference Proceedings | 2023|Publisher: Springer -
A Short Survey on Business Models of Decentralized Finance (DeFi) Protocols
British Library Conference Proceedings | 2023|Publisher: Springer -
Short Paper: Verifiable Decryption for BGV
British Library Conference Proceedings | 2023|Publisher: Springer -
Anisotropic Actuation in Salty Agarose Gel Actuators
British Library Conference Proceedings | 2023|Publisher: Springer -
Monotonicity of the Scalar Curvature of the Quantum Exponential Family for Transverse-Field Ising Chains
British Library Conference Proceedings | 2023|Publisher: Springer -
Lie Group Quaternion Attitude-Reconstruction of Quadrotor UAV
British Library Conference Proceedings | 2023|Publisher: Springer -
Perturbation of Fiedler Vector: Interest for Graph Measures and Shape Analysis
British Library Conference Proceedings | 2023|Publisher: Springer -
Structure-preserving Discretization of the Cahn-Hilliard Equations Recast as a Port-Hamiltonian System
British Library Conference Proceedings | 2023|Publisher: Springer -
Forward and Inverse Approximation Theory for Linear Temporal Convolutional Networks
British Library Conference Proceedings | 2023|Publisher: Springer -
Canonical Hamiltonian Systems in Symplectic Statistical Manifolds
British Library Conference Proceedings | 2023|Publisher: Springer -
Exploration of Conformations for an Intrinsically Disordered Protein
British Library Conference Proceedings | 2023|Publisher: Springer
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.