Cover Image

tferariu/agda2plinth: FMBC'25

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Orestis Melkonian, tferariu
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Nominal techniques as an Agda library
by: Gabbay, Murdoch J., et al.
Published: (2026)

Learning Structure-Aware Representations of Dependent Types
by: Kogkalidis, Konstantinos, et al.
Published: (2024)

Cylinders and the zero locus of the plinth ideal
by: Shakhmatov, Kirill
Published: (2026)

Two adequacy conditions on a minimalist account of truth dependence
by: Susanna Melkonian‐Altshuler
Published: (2026)

Evaluation of the therapeutic action of original antiviral drug in SARS‐CoV‐2
by: Arthur K. Melkonian, et al.
Published: (2024)

Trigonometry and Analytic Tools in Olympiad Geometry Problems, Part I
by: Lignos, Orestis
Published: (2023)

A multidisciplinary view on plant terrestrialization and the evolution of land plants
by: Sophie de Vries, et al.
Published: (2024)

Nuclear chiral density wave in neutron stars?
by: Papadopoulos, Orestis, et al.
Published: (2025)

On the de Rham cohomology of cyclic covers
by: Kontogeorgis, Aristides, et al.
Published: (2025)

ZeroFlood: Flood Hazard Mapping from Single-Modality SAR Using Geo-Foundation Models
by: Kim, Hyeongkyun, et al.
Published: (2025)

Kinetic closure of turbulence
by: Marson, Francesco, et al.
Published: (2025)

How neutron star properties disfavor a nuclear chiral density wave
by: Papadopoulos, Orestis, et al.
Published: (2024)

Engaged AI Governance: Addressing the Last Mile Challenge Through Internal Expert Collaboration
by: Jarvers, Simon, et al.
Published: (2026)

Digital Methods to Quantify Sensor Output Uncertainty in Real Time
by: Kaparounakis, Orestis, et al.
Published: (2025)

Numerical tests of cosmological Alfvén waves with Ohmic diffusion
by: Karapiperis, Orestis A., et al.
Published: (2025)

On the estimation and interpretation of effect size metrics
by: Loukas, Orestis, et al.
Published: (2024)

A totally empirical basis of science
by: Loukas, Orestis, et al.
Published: (2024)

GraSS: Scalable Data Attribution with Gradient Sparsification and Sparse Projection
by: Hu, Pingbang, et al.
Published: (2025)

Daunce: Data Attribution through Uncertainty Estimation
by: Pan, Xingyuan, et al.
Published: (2025)

Dynamic Activation with Knowledge Distillation for Energy-Efficient Spiking NN Ensembles
by: Konstantaropoulos, Orestis, et al.
Published: (2025)

On the cut-query complexity of approximating max-cut
by: Plevrakis, Orestis, et al.
Published: (2022)

Neuro-inspired Ensemble-to-Ensemble Communication Primitives for Sparse and Efficient ANNs
by: Konstantaropoulos, Orestis, et al.
Published: (2025)

Approximating Analytically-Intractable Likelihood Densities with Deterministic Arithmetic for Optimal Particle Filtering
by: Kaparounakis, Orestis, et al.
Published: (2025)

Agent-based Model of Initial Token Allocations: Evaluating Wealth Concentration in Fair Launches
by: Fernandez, Joaquin Delgado, et al.
Published: (2022)

Buruli ulcer, tuberculosis and leprosy: Exploring the One Health dimensions of three most prevalent mycobacterial diseases: A narrative review
by: Orestis Spiliopoulos, et al.
Published: (2024)

Countermeasure against Detector Blinding Attack with Secret Key Leakage Estimation
by: Melkonian, Dmitry M., et al.
Published: (2025)

Operationalizing Cybersecurity Knowledge: Design, Implementation & Evaluation of a Knowledge Management System for CACAO Playbooks
by: Tsirakis, Orestis, et al.
Published: (2025)

Softening holographic nuclear matter
by: Ecker, Christian, et al.
Published: (2025)

An overview of the efficiency and censorship-resistance guarantees of widely-used consensus protocols
by: Alpos, Orestis, et al.
Published: (2025)

Information Retrieval Induced Safety Degradation in AI Agents
by: Yu, Cheng, et al.
Published: (2025)

Shaved Ice: Optimal Compute Resource Commitments for Dynamic Multi-Cloud Workloads
by: Stokely, Murray, et al.
Published: (2025)

Operationalizing Pluralistic Values in Large Language Model Alignment Reveals Trade-offs in Safety, Inclusivity, and Model Behavior
by: Ali, Dalia, et al.
Published: (2025)

Asymmetric Distributed Trust
by: Alpos, Orestis, et al.
Published: (2019)

Quantum Key Leasing for PKE and FHE with a Classical Lessor
by: Chardouvelis, Orestis, et al.
Published: (2023)

Empowering Circular Startups: Unveiling the Blueprint for Circular Business Models
by: Ann‐Sophie Finner, et al.
Published: (2026)

The Potential of Geminate Pairs in Lead Halide Perovskite revealed via Time-resolved Photoluminescence
by: Hempel, Hannes, et al.
Published: (2024)

Backward Behavior and Determining Functionals for Chevron Pattern Equations
by: Kalantarov, Varga K., et al.
Published: (2024)

Predictors of dropout in self‐guided internet‐delivered cognitive behaviour therapy for obsessive‐compulsive disorder: An exploratory study
by: Bethany M. Wootton, et al.
Published: (2024)

Reasons for seeking internet‐delivered treatment for individuals with obsessive‐compulsive disorder
by: Maral Melkonian, et al.
Published: (2024)

Simulated Eyeblink Artifact Removal with ICA: Effect of Measurement Uncertainty
by: Couchman, Jennie, et al.
Published: (2024)