English
Related papers

Related papers: Hierarchical Time-Dependent Oracles

200 papers

We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints on the ages of tokens. Our cost model assigns token storage…

Logic in Computer Science · Computer Science 2013-02-15 Parosh Aziz Abdulla , Richard Mayr

The design of neural network architectures is frequently either based on human expertise using trial/error and empirical feedback or tackled via large scale reinforcement learning strategies performed over distinct discrete architecture…

Computer Vision and Pattern Recognition · Computer Science 2019-09-06 Yunyang Xiong , Ronak Mehta , Vikas Singh

We consider linear models for stochastic dynamics. To any such model can be associated a network (namely a directed graph) describing which degrees of freedom interact under the dynamics. We tackle the problem of learning such a network…

Statistics Theory · Mathematics 2011-03-01 José Bento , Morteza Ibrahimi , Andrea Montanari

We propose an anytime online algorithm for the problem of learning a sequence of adversarial convex cost functions while approximately satisfying another sequence of adversarial online convex constraints. A sequential algorithm is called…

Machine Learning · Computer Science 2025-10-28 Dhruv Sarkar , Abhishek Sinha

We introduce a new family of priority-queue data structures: partition-based simple heaps. The structures consist of $O(\log n)$ doubly-linked lists; order is enforced among data in different lists, but the individual lists are unordered.…

Data Structures and Algorithms · Computer Science 2026-03-03 Gerth Stølting Brodal , John Iacono , Casper Moldrup Rysgaard , Sebastian Wild

We study a scenario for route planning in road networks, where the objective to be optimized may change between every shortest path query. Since this invalidates many of the known speedup techniques for road networks that are based on…

Data Structures and Algorithms · Computer Science 2015-09-11 Julian Dibbelt , Ben Strasser , Dorothea Wagner

We present new tradeoffs between space and query-time for exact distance oracles in directed weighted planar graphs. These tradeoffs are almost optimal in the sense that they are within polylogarithmic, sub-polynomial or arbitrarily small…

Data Structures and Algorithms · Computer Science 2018-11-06 Panagiotis Charalampopoulos , Paweł Gawrychowski , Shay Mozes , Oren Weimann

We present linear-space data structures for several frequency queries on trees, namely: path mode, path least frequent element, and path $\alpha$-minority queries. We present the first linear-space data structures, requiring $O(n…

Data Structures and Algorithms · Computer Science 2026-04-22 Ovidiu Rata

Information spread on networks can be efficiently modeled by considering three features: documents' content, time of publication relative to other publications, and position of the spreader in the network. Most previous works model up to…

Machine Learning · Computer Science 2022-12-13 Gaël Poux-Médard , Julien Velcin , Sabine Loudcher

We consider two optimization problems on synchronization of oscillator networks: maximization of synchronizability and minimization of synchronization cost. We first develop an extension of the well-known master stability framework to the…

Disordered Systems and Neural Networks · Physics 2007-05-23 Takashi Nishikawa , Adilson E. Motter

A fundamental issue in the analysis of emergency call centers is to estimate the time needed to return to a congestion-free regime after an unusual event with a massive arrival of calls. Call centers can generally be represented by timed…

Optimization and Control · Mathematics 2022-02-08 Xavier Allamigeon , Marin Boyet , Stephane Gaubert

The choice of objective is critical for the performance of an optimal controller. When control requirements vary during operation, e.g. due to changes in the environment with which the system is interacting, these variations should be…

Systems and Control · Electrical Eng. & Systems 2023-06-06 Rahel Rickenbach , Elena Arcari , Melanie N. Zeilinger

Measurement data is often sampled irregularly, i.e., not on equidistant time grids. This is also true for Hamiltonian systems. However, existing machine learning methods, which learn symplectic integrators, such as SympNets [1] and…

Machine Learning · Computer Science 2025-09-25 Konrad Janik , Peter Benner

We study the problem of efficiently answering strong connectivity queries under two vertex failures. Given a directed graph $G$ with $n$ vertices, we provide a data structure with $O(nh)$ space and $O(h)$ query time, where $h$ is the height…

Data Structures and Algorithms · Computer Science 2023-12-05 Loukas Georgiadis , Evangelos Kosinas , Daniel Tsokaktsis

Many natural and engineered complex networks have intricate mesoscopic organization, e.g., the clustering of the constituent nodes into several communities or modules. Often, such modularity is manifested at several different hierarchical…

Physics and Society · Physics 2015-05-30 Sitabhra Sinha , Swarup Poria

We give an algorithmic and lower-bound framework that facilitates the construction of subexponential algorithms and matching conditional complexity bounds. It can be applied to intersection graphs of similarly-sized fat objects, yielding…

Computational Geometry · Computer Science 2020-12-18 Mark de Berg , Hans L. Bodlaender , Sándor Kisfaludi-Bak , Dániel Marx , Tom C. van der Zanden

Hypergraphs have been a recent focus of study in mathematical data science as a tool to understand complex networks with high-order connections. One question of particular relevance is how to leverage information carried in hypergraph…

Social and Information Networks · Computer Science 2024-05-09 Enzo Battistella , Sean English , Robert Green , Cliff Joslyn , Evgeniya Lagoda , Van Magnan , Audun Myers , Evan D. Nash , Michael Robinson

In this paper we consider graphs whose edges are associated with a degree of {\em importance}, which may depend on the type of connections they represent or on how recently they appeared in the scene, in a streaming setting. The goal is to…

Data Structures and Algorithms · Computer Science 2017-07-24 Patrizio Angelini , Michael A. Bekos

Hyperproperties, which generalize trace properties by relating multiple traces, are widely studied in information-flow security. Recently, a number of logics for hyperproperties have been proposed, and there is a need to understand their…

Logic in Computer Science · Computer Science 2020-05-13 Norine Coenen , Bernd Finkbeiner , Christopher Hahn , Jana Hofmann

The order flow in high-frequency financial markets has been of particular research interest in recent years, as it provides insights into trading and order execution strategies and leads to better understanding of the supply-demand…

Methodology · Statistics 2025-02-26 Alex Ziyu Jiang , Abel Rodriguez
‹ Prev 1 4 5 6 7 8 10 Next ›