Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
Chengpeng Hu, Yingqian Zhang, Hendrik Baier
0 citationsLecture notes in computer science
Centrum Wiskunde & Informatica
Amsterdam · NL · facility
14066Publications signalées
539289Citations signalées
12Thèmes principaux
Principaux domaines
Logic, programming, and type systemsFormal Methods in VerificationComplexity and Algorithms in GraphsLogic, Reasoning, and KnowledgeCryptography and Data SecurityQuantum Computing Algorithms and ArchitectureComputability, Logic, AI AlgorithmsAdvanced Database Systems and QueriesAdvanced Queuing Theory AnalysisDistributed systems and fault toleranceSemantic Web and OntologiesAlgorithms and Data Compression
Évolution annuelle
Publications récentes
TO_for_LBM: Tau-orthogonal reduced subgrid-scale closures for the lattice Boltzmann method
0 citationsZenodo (CERN European Organization for Nuclear Research)
TO_for_LBM: Tau-orthogonal reduced subgrid-scale closures for the lattice Boltzmann method
0 citationsZenodo (CERN European Organization for Nuclear Research)
Designing Beyond Anthropomorphism: Human- and Robot-Like Error Recovery for Robot Navigation Errors
Hideki Garcia Goo, Bob R. Schadenberg, Sebastian Schneider, Vanessa Evers
0 citations
Simulation data for "Reduced Subgrid-Scale Terms for Turbulence Simulations with the Lattice Boltzmann Method"
0 citationsZenodo (CERN European Organization for Nuclear Research)
Quantitative photoacoustic tomography for simultaneous reconstruction of optical spectral parameters and speed of sound: dataset
Miika Suhonen, Felix Lucka, Aki Pulkkinen, Simon Arridge et autres
0 citationsZenodo (CERN European Organization for Nuclear Research)
Quantitative photoacoustic tomography for simultaneous reconstruction of optical spectral parameters and speed of sound: dataset
Miika Suhonen, Felix Lucka, Aki Pulkkinen, Simon Arridge et autres
0 citationsZenodo (CERN European Organization for Nuclear Research)
Simulation data for "Reduced Subgrid-Scale Terms for Turbulence Simulations with the Lattice Boltzmann Method"
0 citationsZenodo (CERN European Organization for Nuclear Research)
Exact Operator Inference with Minimal Data
Henrik Rosenberger, Benjamin Sanderse, Giovanni Stabile
0 citationsSIAM Journal on Scientific Computing
Models of computation based on automata: formal languages and communicating processes
0 citationsZenodo (CERN European Organization for Nuclear Research)
Resonance transformations for the $$(2,2p+1)$$ minimal string via $$x-y$$ swap: a proof of Artemev’s conjecture
Kornelis Dekinga, С. С. Шадрин, Erik Verlinde
0 citationsLetters in Mathematical Physics
HotPROTON: A System-Level Framework for Thermal-Aware Electromigration Analysis in Manycore Systems
Maria Pantazi-Kypraiou, Olympia Axelou, George Floros, Yixian Shen et autres
0 citationsACM Transactions on Architecture and Code Optimization
BNTIC News n’est pas le producteur de ces données. Recherche à la demande dans Crossref et Europe PMC, sans clé ; OpenAlex reste optionnel. Aucun service payant requis, aucune réponse conservée. Sources et limites.