Year of publication
Type of material
Licence
Language
TIB reading rooms collection
1–50 of 20,501 hits
Sort by:
Sort by:
-
Integrating HPC, AI, and Workflows for Scientific Data Analysis (Dagstuhl Seminar 23352)
Free accessDataCite | 2024|Keywords: Computing methodologies → Distributed computing methodologies, Computing methodologies → Parallel computing methodologies, Computing methodologies → Machine learning -
The Synchronization Power of Auditable Registers
Free accessDataCite | 2024|Keywords: Computing methodologies → Concurrent computing methodologies -
From Consensus Research to Redbelly Network Pty Ltd (Invited Talk)
Free accessDataCite | 2024|Keywords: Computing methodologies → Distributed algorithms -
Linear Loop Synthesis for Quadratic Invariants
Free accessDataCite | 2024|Keywords: Computing methodologies → Equation and inequality solving algorithms, Computing methodologies → Algebraic algorithms -
𝒪(log{n})-Time Uniform Circle Formation for Asynchronous Opaque Luminous Robots
Free accessDataCite | 2024|Keywords: Computing methodologies → Mobile agents, Computing methodologies → Robotic planning -
Artificial Intelligence and Artificial Ignorance (Invited Talk)
Free accessDataCite | 2024|Keywords: Computing methodologies → Artificial intelligence, Computing methodologies → Knowledge representation and reasoning, Computing methodologies → Natural language generation, Computing methodologies → Machine learning -
Rethinking Fairness for Human-AI Collaboration (Extended Abstract)
Free accessDataCite | 2024|Keywords: Computing methodologies → Machine learning -
Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)
Free accessDataCite | 2024|Keywords: Computing methodologies → Probabilistic reasoning, Computing methodologies → Planning under uncertainty -
Reliable Broadcast Despite Mobile Byzantine Faults
Free accessDataCite | 2024|Keywords: Computing methodologies → Distributed algorithms -
Black Hole Search in Dynamic Rings: The Scattered Case
Free accessDataCite | 2024|Keywords: Computing methodologies → Distributed algorithms -
Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk)
Free accessDataCite | 2024|Keywords: Computing methodologies → Neural networks -
Loss Minimization Yields Multicalibration for Large Neural Networks
Free accessDataCite | 2024|Keywords: Computing methodologies → Neural networks -
Software Architecture and Machine Learning (Dagstuhl Seminar 23302)
Free accessDataCite | 2024|Keywords: Computing methodologies → Artificial intelligence, Computing methodologies → Machine learning -
Nonnegativity Problems for Matrix Semigroups
Free accessDataCite | 2024|Keywords: Computing methodologies → Symbolic and algebraic manipulation -
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
Free accessDataCite | 2024|Keywords: Computing methodologies → Probabilistic reasoning -
Accelerator-Driven Data Arrangement to Minimize Transformers Run-Time on Multi-Core Architectures
Free accessDataCite | 2024|Keywords: Computing methodologies → Neural networks -
Challenges in Benchmarking Optimization Heuristics (Dagstuhl Seminar 23251)
Free accessDataCite | 2024|Keywords: Computing methodologies → Search methodologies -
Digital Transformation in the Public Administrations: A Guided Tour for Computer Scientists
Free accessDOAJ | 2024|Keywords: computing methodologies -
Natural Language Data Interfaces: A Data Access Odyssey (Invited Talk)
Free accessDataCite | 2024|Keywords: Computing methodologies → Machine translation -
Analysis and Optimization Design of the Locking Performance of the Self-folding Strut Lock Mechanism for Landing Gear Based on Singularity Theory
Springer Verlag | 2024|Keywords: Computing methodologies -
Caching in Location Based Services: Approaches, Challenges and Emerging Trends
Springer Verlag | 2024|Keywords: Distributed computing methodologies -
Synergizing Theory and Practice of Automated Algorithm Design for Optimization (Dagstuhl Seminar 23332)
Free accessDataCite | 2024|Keywords: Computing methodologies → Machine learning -
Descriptive Complexity for Neural Networks via Boolean Networks
Free accessDataCite | 2024|Keywords: Computing methodologies → Neural networks -
Distributed Algorithms as a Gateway To Deductive Learning (Invited Talk)
Free accessDataCite | 2024|Keywords: Computing methodologies → Distributed algorithms -
Underwater object detection based on enhanced YOLOv4 architecture
Springer Verlag | 2024|Keywords: Computing methodologies -
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272)
Free accessDataCite | 2024|Keywords: Computing methodologies → Distributed algorithms -
LIPIcs, Volume 286, OPODIS 2023, Complete Volume
Free accessDataCite | 2024|Keywords: Computing methodologies → Distributed algorithms -
Front Matter, Table of Contents, Preface, Conference Organization
Free accessDataCite | 2024|Keywords: Computing methodologies → Distributed algorithms -
Text2Mat: Generating Materials from Text
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Rendering, Computing methodologies -
PSAO: Point-Based Split Rendering for Ambient Occlusion
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Rendering, Computing methodologies -
Floaters No More: Radiance Field Gradient Scaling for Improved Near-Camera Training
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Rendering, Computing methodologies -
Multi-Stage Degradation and Content Embedding Fusion for Blind Super-Resolution
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Reconstruction, Computing methodologies -
A Style Transfer Network of Local Geometry for 3D Mesh Stylization
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Shape analysis, Computing methodologies -
Quick-Pro-Build: A Web-based Approach for Quick Procedural 3D Reconstructions of Buildings
Free accessDataCite | 2023|Keywords: Computing methodologies → Computer graphics, CCS Concepts: Computing methodologies → Computer graphics -
pEt: Direct Manipulation of Differentiable Vector Patterns
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Computer graphics, Computing methodologies -
A Microfacet Model for Specular Fluorescent Surfaces and Fluorescent Volume Rendering using Quantum Dots
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Reflectance modeling, Computing methodologies -
Guiding Light Trees for Many-Light Direct Illumination
Free accessDataCite | 2023|Keywords: Computing methodologies → Ray tracing, CCS Concepts: Computing methodologies → Ray tracing -
Multi-scale Monocular Panorama Depth Estimation
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Scene understanding, Computing methodologies -
A Dashboard for Interactive Convolutional Neural Network Training And Validation Through Saliency Maps
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Artificial intelligence, Computing methodologies -
Out-of-the-loop Autotuning of Metropolis Light Transport with Reciprocal Probability Binning
Free accessDataCite | 2023|Keywords: Computing methodologies → Ray tracing, CCS Concepts: Computing methodologies → Ray tracing -
Consistent SPH Rigid-Fluid Coupling
Free accessDataCite | 2023|Keywords: Computing methodologies → Physical simulation, CCS Concepts: Computing methodologies → Physical simulation -
The FIDS Theorems: Tensions Between Multinode and Multicore Performance in Transactional Systems
Free accessDataCite | 2023|Keywords: Computing methodologies → Concurrent computing methodologies, Computing methodologies → Distributed algorithms -
Computational Design of Fabricable Geometric Patterns
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Computer Graphics, Computing methodologies -
Mean Value Caching for Walk on Spheres
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Shape analysis, Computing methodologies -
Consistent SPH Rigid-Fluid Coupling
DataCite | 2023|Keywords: Computing methodologies → Physical simulation, CCS Concepts: Computing methodologies → Physical simulation -
DASKEL: An Interactive Choreographical System with Labanotation-Skeleton Translation
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Animation System, Computing methodologies -
SketchBodyNet: A Sketch-Driven Multi-faceted Decoder Network for 3D Human Reconstruction
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> 3D Reconstruction, Computing methodologies -
TreeGCN-ED: A Tree-Structured Graph-Based Autoencoder Framework For Point Cloud Processing
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Shape representations, Computing methodologies -
Intra-Model Smoothing Using Depth Aware Multi-Sample Anti-Aliasing for Deferred Rendering Pipelines
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Antialiasing; Rendering, Computing methodologies -
DropSPH: ISPH Simulation of Droplet Interactions with a Solid Surface
Free accessDataCite | 2023|Keywords: CCS Concepts: Computing methodologies -> Physical simulation, Computing methodologies
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.