Publications related to Transitive closure

Efficient Continual Finite-Sum Minimization

Volkan Cevher, Efstratios Panteleimon Skoulakis, Leello Tadesse Dadi

Given a sequence of functions

f_1,\ldots,f_n

with

f_i:\mathcal{D}\mapsto \mathbb{R}

, finite-sum minimization seeks a point

{x}^\star \in \mathcal{D}

minimizing

\sum_{j=1}^nf_j(x)/n

. In this work, we propose a key twist into the finite-sum minimizat ...

2024

Between Hospitality and Inhospitality: The Janus-Faced 'Arrival Infrastructure'

Luca Giovanni Pattaroni, Maxime Carl Felder, Marie Hannah Florence Trossat, Joan Stavo-Debauge

Although 'arrival infrastructure' is central to the experience of migrants arriving in a new city, is it sufficient to form a 'hospitable milieu'? Our article compares newcomers' experiences with 'arrival infrastructure' in two European cities: Brussels an ...

2020

Between Hospitality and Inhospitality: The Janus-Faced 'Arrival Infrastructure'

Luca Giovanni Pattaroni, Guillaume Simon Joseph Drevon, Maxime Carl Felder, Marie Hannah Florence Trossat, Joan Stavo-Debauge

Although ‘arrival infrastructure’ is central to the experience of migrants arriving in a new city, is it sufficient to form a ‘hospitable milieu’? Our article compares newcomers’ experiences with ‘arrival infrastructure’ in two European cities: Brussels an ...

2020

RAQ: Relationship-Aware Graph Querying in Large Networks

Akhil Arora, Arnab Bhattacharya

The phenomenal growth of graph data from a wide variety of real-world applications has rendered graph querying to be a problem of paramount importance. Traditional techniques use structural as well as node similarities to find matches of a given query grap ...

ASSOC COMPUTING MACHINERY2019

MATHICSE Technical Report: Reduced basis methods: from low-rank matrices to low-rank tensor

Daniel Kressner, Jonas Ballani

We propose a novel combination of the reduced basis method with low-rank tensor techniques for the efficient solution of parameter-dependent linear systems in the case of several parameters. This combination, called rb Tensor, consists of three ingredients ...

MATHICSE2015

Resting-brain functional connectivity predicted by analytic measures of network communication

Jean-Philippe Thiran, Alessandra Griffa, Patric Hagmann, Olaf Sporns

6 The complex relationship between structural and functional connectivity, as measured by noninvasive imaging of the human brain, poses many unresolved challenges and open questions. Here, we apply analytic measures of network communication to the structur ...

Natl Acad Sciences2014

Online Energy-Efficient Task-Graph Scheduling for Multicore Platforms

David Atienza Alonso, Karim Kanoun

Numerous Directed-Acyclic Graph (DAG) schedulers have been developed to improve the energy efficiency of various multi-core platforms. However, these schedulers make a priori assumptions about the relationship between the task dependencies, and they are un ...

Institute of Electrical and Electronics Engineers2014

On Accelerating Interpolants

Viktor Kuncak, Hossein Hojjat

We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...

2012

Accelerating Interpolants

Viktor Kuncak, Hossein Hojjat

We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...

2012

Closure of “Chute Aerators. II: Hydraulic Design"

Michael Pfister

This opportunity is used to add aspects mentioned by the discussers that were not included in the paper but were discussed with the reviewers. ...

2012

Transitive closure

Graph Chatbot

Chat with Graph Search

Efficient Continual Finite-Sum Minimization

Between Hospitality and Inhospitality: The Janus-Faced 'Arrival Infrastructure'

Between Hospitality and Inhospitality: The Janus-Faced 'Arrival Infrastructure'

RAQ: Relationship-Aware Graph Querying in Large Networks

MATHICSE Technical Report: Reduced basis methods: from low-rank matrices to low-rank tensor

Resting-brain functional connectivity predicted by analytic measures of network communication

Online Energy-Efficient Task-Graph Scheduling for Multicore Platforms

On Accelerating Interpolants

Accelerating Interpolants

Closure of “Chute Aerators. II: Hydraulic Design"

Efficient Continual Finite-Sum Minimization

Between Hospitality and Inhospitality: The Janus-Faced 'Arrival Infrastructure'

Between Hospitality and Inhospitality: The Janus-Faced 'Arrival Infrastructure'

MATHICSE Technical Report: Reduced basis methods: from low-rank matrices to low-rank tensor

Online Energy-Efficient Task-Graph Scheduling for Multicore Platforms

Accelerating Interpolants

Closure of “Chute Aerators. II: Hydraulic Design"

RAQ: Relationship-Aware Graph Querying in Large Networks

Resting-brain functional connectivity predicted by analytic measures of network communication

On Accelerating Interpolants