:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fraire, Juan A., D'Argenio, Pedro R., Cherini, Renato, Finochietto, Jorge Manuel, Stock, Gregory, Hermanns, Holger, Hartmanns, Arnd
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.18507794
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
by: Budde, Carlos E., et al.
Published: (2024)

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
by: D'Argenio, Pedro R., et al.
Published: (2025)

POMDP-Based Routing for DTNs with Partial Knowledge and Dependent Failures
by: Stock, Gregory F., et al.
Published: (2025)

Polytopal Stochastic Games
by: Castro, Pablo F., et al.
Published: (2025)

A Stability-first Approach to Running TCP over Starlink
by: Stock, Gregory, et al.
Published: (2024)

Dirty Bits in Low-Earth Orbit: The Carbon Footprint of Launching Computers
by: Ohs, Robin, et al.
Published: (2025)

DTMC Model Checking by Path Abstraction Revisited (extended version)
by: Hartmanns, Arnd, et al.
Published: (2025)

A Novel Non-Terrestrial Networks Architecture: All Optical LEO Constellations with High-Altitude Ground Stations
by: Madoery, Pablo G., et al.
Published: (2024)

On the Role of AI in Managing Satellite Constellations: Insights from the ConstellAI Project
by: Stock, Gregory F., et al.
Published: (2025)

Automata Learning -- Expect Delays!
by: Dengler, Gabriel, et al.
Published: (2025)

Time-Sensitive Importance Splitting
by: Dengler, Gabriel, et al.
Published: (2025)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
by: Kohlen, Bram, et al.
Published: (2025)

Modeling Pointing, Acquisition, and Tracking Delays in Free-Space Optical Satellite Networks
by: Gerard, Jason, et al.
Published: (2025)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
by: Budde, Carlos E., et al.
Published: (2024)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
by: Budde, Carlos E., et al.
Published: (2025)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
by: Waddoups, Nick, et al.
Published: (2025)

Selected Results from the REDMARS2 Project: Recursive Delay-Tolerant Networking using Bundle-in-Bundle Encapsulation
by: Feldmann, Marius, et al.
Published: (2025)

Contiendas entre lo criollo y lo extranjero: la comercialización de productos importados para el espacio doméstico en la ciudad de Mérida-Venezuela (1890-1950).
by: Serenella A. A. Cherini Ramírez
Published: (2015)

Imaginarios sobre la modernidad y tradición en Mérida: ciudad y vida cotidiana de sus habitantes, 1880-1940
by: Serenella A. A. Cherini R.
Published: (2009)

Consideraciones teórico-metodológicas para el estudio histórico-social del interior doméstico urbano y su sistema de objetos en Venezuela, entre 1890 y 1950
by: Serenella A. A. Cherini Ramírez
Published: (2014)

Improved Contact Graph Routing in Delay Tolerant Networks with Capacity and Buffer Constraints
by: Alhajj, Tania, et al.
Published: (2024)

Sistema de conmutación digital para una red de radiotelefonía rural
by: Jorge Luis Fraire Huacuja
Published: (1989)

Opportunistic Delay Tolerant Routing for LED Wristbands in Music Events
by: Joshi, Nandita, et al.
Published: (2024)

Bridging the Disciplinary Gap in Explainable AI: From Abstract Desiderata to Concrete Tasks
by: Zhang, Hanwei, et al.
Published: (2026)

A Reproducible Workflow for Scraping, Structuring, and Segmenting Legacy Archaeological Artifact Images
by: Palomeque-Gonzalez, Juan
Published: (2025)

Comala
by: Jaime Fraire
Published: (2006)

La escala "Student-Teacher Relationship Scale" dentro del contexto italiano: un estudio de validez factorial
by: Michela Fraire
Published: (2013)

Contribution to Validation of the Student-Teacher Relationship Scale (STRS Italian Version) in the Italian Educational Setting
by: Michela Fraire
Published: (2008)

Poemas en el regazo de la muerte / Isabel Fraire
by: Fraire, Isabel

Kaleidoscopio insomne: poesía reunida / Isabel Fraire
by: Fraire, Isabel
Published: (2004)

NeuraLunaDTNet: Feedforward Neural Network-Based Routing Protocol for Delay-Tolerant Lunar Communication Networks
by: Patel, Parth, et al.
Published: (2024)

Configuration Monitor Synthesis
by: Köhl, Maximilian A., et al.
Published: (2024)

Over-approximation of weakly-hard constraints for control systems verification (Extended)
by: de Maeyer, Rieke, et al.
Published: (2026)

Delay-Tolerant Networking for Tsunami Evacuation on the Small Island of Hachijojima: A Study of Epidemic and Prophet Routing
by: Kawano, Keiya, et al.
Published: (2025)

Conscience June 2025 Policy Brief - The 2025 WHO Pandemic Agreement
by: Hermanns, Julie
Published: (2025)

DEPOIMENTO DO ESCRITOR RUBEM FONSECA: ERINNERUNGEN AN BERLIN
by: Ute Hermanns
Published: (2021)

TEDNet: Boundary-Aware Real-Time Semantic Segmentation Code and Reproducibility Package
by: Wei, Jingjie, et al.
Published: (2026)

BandRouteNet: An Adaptive Band Routing Neural Network for EEG Artifact Removal
by: Lam, Phat
Published: (2026)

Revisiting Physically Realizable Adversarial Object Attack against LiDAR-based Detection: Clarifying Problem Formulation and Experimental Protocols
by: Cheng, Luo, et al.
Published: (2025)

Grupo “Tres Colonias”, compartir para crecer
by: G. P. Fraire
Published: (2014)