-
A Logical Approach to CTL
We introduce a notion of proof for CTL with respect to a given nite model and show some advantages of using such a notion. This also suggests to de ne a slight... -
Axiomatizing truth in a finite model
Given a nite model, we build an axiomatic theory such that the propositions provable in this theory are those valid in the model. We sketch applications to automated... -
Ultimate Ownership Structure and Bank Regulatory Capital Adjustment: Evidence...
This paper empirically investigates whether a bank's decision to adjust its capital is influenced by the existence of a divergence between the voting and the cash-flow... -
Bank Capital and Self-Interested Managers: Evidence from Indonesia
The aim of this paper is to analyze the relationship between capital ratios, the cost of intermediation and risk taking in banking by considering the presence of... -
Quasimodes and unstability for linear Schrôdinger equation
We consider the evolution operator exp(-it(-Delta+V)) associated with a Schrödinger operator on a Riemannian manifold (M,g). We are interested in the dependence of... -
Numerical implementation of static Field Dislocation Mechanics theory for per...
This paper investigates the implementation of Field Dislocation Mechanics theory for media with a periodic microstructure (i.e. the Nye dislocation tensor and the... -
A Decentralized SDN Framework and Its Applications to Heterogeneous Internets
Motivated by the internets of the future, which will likely be considerably larger in size as well as highly heterogeneous and decentralized, we propose Decentralize-... -
Leading isospin breaking effects on the lattice
39 pages, 17 figures -
Magnetic Susceptibility of Strongly Interacting Matter across the Deconfineme...
6 pages, 6 figures, 2 tables. Final version published in Physical Review Letters -
Making The Most Of MET: Mass Reconstruction From Collimated Decays
7 pages, 5 figures; v2 published in PRD - typos, references, comment added on the (non-)effect of additional hard radiation -
c-regular cyclically ordered groups
20 pages -
Optimal Distributed Scheduling in Wireless Networks under the SINR interferen...
Published at Allerton 2013 -
Online Shortest Path Routing: The Value of Information
This paper studies online shortest path routing over dynamic multi-hop networks. Link costs or delays are time-varying and modelled by independent and identically... -
Total Variation Minimization and Graph Cuts for Moving Objects Segmentation
In this paper, we are interested in the application to video segmentation of the discrete shape optimization problem involving the shape weighted perimeter and an... -
Spectrum Bandit Optimization
Published at ITW 2013 -
Emergent Behaviors over Signed Random Networks in Dynamical Environments
We study asymptotic dynamical patterns that emerge among a set of nodes that interact in a dynamically evolving signed random network. Node interactions take place at... -
The Evolution of Beliefs over Signed Social Networks
We study the evolution of opinions (or beliefs) over a social network modeled as a signed graph. The sign attached to an edge in this graph characterizes whether the...
