<?xml version="1.0" encoding="utf-8"?>
<raweb xmlns:xlink="http://www.w3.org/1999/xlink" xml:lang="en" year="2015">
  <identification id="dyogene" isproject="true">
    <shortname>DYOGENE</shortname>
    <projectName>Dynamics of Geometric Networks</projectName>
    <theme-de-recherche>Networks and Telecommunications</theme-de-recherche>
    <domaine-de-recherche>Networks, Systems and Services, Distributed Computing</domaine-de-recherche>
    <urlTeam>http://www.di.ens.fr/dyogene/</urlTeam>
    <structure_exterieure type="Labs">
      <libelle>Département d'Informatique de l'Ecole Normale Supérieure</libelle>
    </structure_exterieure>
    <structure_exterieure type="Organism">
      <libelle>CNRS</libelle>
    </structure_exterieure>
    <structure_exterieure type="Organism">
      <libelle>Ecole normale supérieure de Paris</libelle>
    </structure_exterieure>
    <header_dates_team>Creation of the Project-Team: 2013 July 01</header_dates_team>
    <LeTypeProjet>Project-Team</LeTypeProjet>
    <keywordsSdN>
      <term>1.2.4. - QoS, performance evaluation</term>
      <term>1.2.9. - Social Networks</term>
      <term>7.11. - Performance evaluation</term>
      <term>7.2. - Discrete mathematics, combinatorics</term>
      <term>7.3. - Operations research, optimization, game theory</term>
      <term>7.5. - Geometry</term>
      <term>7.9. - Graph theory</term>
    </keywordsSdN>
    <keywordsSecteurs>
      <term>4.2. - Renewable energy production</term>
      <term>6.2.2. - Radio technology</term>
      <term>6.3.4. - Social Networks</term>
    </keywordsSecteurs>
    <UR name="Rocquencourt"/>
    <moreinfo/>
  </identification>
  <team id="uid1">
    <person key="dyogene-2014-idp61656">
      <firstname>Marc</firstname>
      <lastname>Lelarge</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Team leader, Inria, Researcher</moreinfo>
    </person>
    <person key="dyogene-2014-idp62920">
      <firstname>Francois</firstname>
      <lastname>Baccelli</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, Senior Researcher, part time</moreinfo>
      <hdr>oui</hdr>
    </person>
    <person key="dyogene-2014-idp64408">
      <firstname>Bartlomiej</firstname>
      <lastname>Blaszczyszyn</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, Senior Researcher</moreinfo>
      <hdr>oui</hdr>
    </person>
    <person key="dyogene-2014-idp65864">
      <firstname>Ana</firstname>
      <lastname>Busic</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, Researcher</moreinfo>
    </person>
    <person key="dyogene-2015-idp66648">
      <firstname>Francesco</firstname>
      <lastname>Caltagirone</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, Starting Research position, from Nov 2015</moreinfo>
    </person>
    <person key="dyogene-2014-idp68352">
      <firstname>Anne</firstname>
      <lastname>Bouillard</lastname>
      <categoryPro>Enseignant</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>ENS Paris, Associate Professor</moreinfo>
      <hdr>oui</hdr>
    </person>
    <person key="dyogene-2014-idp69800">
      <firstname>Pierre</firstname>
      <lastname>Bremaud</lastname>
      <categoryPro>AutreCategorie</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>UNIV étrangère, Professor</moreinfo>
    </person>
    <person key="dyogene-2015-idp70664">
      <firstname>Jocelyne</firstname>
      <lastname>Elias</lastname>
      <categoryPro>Enseignant</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Univ. Paris V, Associate Professor, on delegation</moreinfo>
    </person>
    <person key="dyogene-2014-idp74824">
      <firstname>Thomas</firstname>
      <lastname>Nowak</lastname>
      <categoryPro>Enseignant</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>ATER ENS Paris, until Aug 2015</moreinfo>
    </person>
    <person key="dyogene-2014-idp81088">
      <firstname>Kumar</firstname>
      <lastname>Gaurav</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Univ. Paris VI, until Sep 2015</moreinfo>
    </person>
    <person key="dyogene-2014-idp79832">
      <firstname>Lennart</firstname>
      <lastname>Gulikers</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria</moreinfo>
    </person>
    <person key="dyogene-2015-idp75680">
      <firstname>Md Umar</firstname>
      <lastname>Hashmi</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>ENS Paris, from Dec 2015</moreinfo>
    </person>
    <person key="dyogene-2015-idp76920">
      <firstname>Alexandre</firstname>
      <lastname>Hollocou</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Min. de la Défense, from Dec 2015</moreinfo>
    </person>
    <person key="dyogene-2014-idp82320">
      <firstname>Miodrag</firstname>
      <lastname>Jovanovic</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Orange Labs, until Sep 2015, granted by CIFRE</moreinfo>
    </person>
    <person key="dyogene-2014-idp83560">
      <firstname>Christelle</firstname>
      <lastname>Rovetta</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, granted by ANR DYOGEN-MARMOTE- project</moreinfo>
    </person>
    <person key="dyogene-2015-idp80736">
      <firstname>Rémi</firstname>
      <lastname>Varloot</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria</moreinfo>
    </person>
    <person key="dyogene-2015-idp81960">
      <firstname>Arpan</firstname>
      <lastname>Chattopadhyay</lastname>
      <categoryPro>PostDoc</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, from Dec 2015</moreinfo>
    </person>
    <person key="dyogene-2014-idp73568">
      <firstname>Mustafa</firstname>
      <lastname>Khandwawala</lastname>
      <categoryPro>PostDoc</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, until Aug 2015</moreinfo>
    </person>
    <person key="dyogene-2014-idp76072">
      <firstname>Bah Alade Habib</firstname>
      <lastname>Sidi</lastname>
      <categoryPro>PostDoc</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, until Aug 2015</moreinfo>
    </person>
    <person key="dyogene-2015-idp85744">
      <firstname>Peter</firstname>
      <lastname>Marbach</lastname>
      <categoryPro>Visiteur</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, until Jul 2015</moreinfo>
    </person>
    <person key="regal-2014-idp85056">
      <firstname>Helene</firstname>
      <lastname>Milome</lastname>
      <categoryPro>Assistant</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria</moreinfo>
    </person>
    <person key="dyogene-2014-idp72312">
      <firstname>Emilie</firstname>
      <lastname>Kaufmann</lastname>
      <categoryPro>PostDoc</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, until Sep 2015</moreinfo>
    </person>
    <person key="dyogene-2014-idp67104">
      <firstname>Florian</firstname>
      <lastname>Simatos</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, until Jan 2015</moreinfo>
    </person>
    <person key="dyogene-2014-idp78592">
      <firstname>Seyoung</firstname>
      <lastname>Yun</lastname>
      <categoryPro>PostDoc</categoryPro>
      <research-centre>Rocquencourt</research-centre>
      <moreinfo>Inria, until April 2015</moreinfo>
    </person>
  </team>
  <presentation id="uid2">
    <bodyTitle>Overall Objectives</bodyTitle>
    <subsection id="uid3" level="1">
      <bodyTitle>Overall Objectives</bodyTitle>
      <p>A large number of real-world structures and phenomena can be described by networks: separable elements with
connections between certain pairs of them.
Among such networks, the best known and the most studied in computer science is the Internet.
Moreover, the
Internet (as the physical underlying network) gives itself rise to many new networks, like the networks of hyperlinks, Internet based social
networks, distributed data bases, codes on graphs, local interactions of wireless devices.
These huge networks pose exciting challenges for the
mathematician and the mathematical theory of networks faces novel,
unconventional problems.
For example, very large networks cannot be completely known, and data
about them can be collected only by indirect means like random local
sampling or by monitoring the behavior of various aggregated quantities.</p>
      <p>The scientific focus of DYOGENE is on geometric network dynamics
arising in communications.
By geometric networks we understand networks with a nontrivial, discrete or continuous,
geometric definition of the existence of links between the nodes.
In stochastic geometric networks, this definition leads to random
graphs or stochastic geometric models.
A first type of geometric network dynamics is that where the nodes or the
links change over time according to an exogeneous dynamics (e.g. node motion and geometric definition of the links). We will refer to this as dynamics
of geometric networks below. A second type is that where links and/or nodes
are fixed but harbor local dynamical systems (in our case, stemming from
e.g. information theory, queuing theory, social and economic sciences). This
will be called dynamics on geometric networks. A third type is that where
the dynamics of the network geometry and the local dynamics interplay.
Our motivations for studying these systems stem from many fields of
communications where they play a central role, and in particular: message
passing algorithms; epidemic algorithms; wireless networks and information
theory; device to device networking; distributed content delivery; social and
economic networks.</p>
    </subsection>
  </presentation>
  <fondements id="uid4">
    <bodyTitle>Research Program</bodyTitle>
    <subsection id="uid5" level="1">
      <bodyTitle>Network Calculus</bodyTitle>
      <p>Network calculus <ref xlink:href="#dyogene-2015-bid0" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> is a theory for obtaining deterministic upper bounds in
networks that has been developed by R. Cruz
<ref xlink:href="#dyogene-2015-bid1" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#dyogene-2015-bid2" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>. From the modelling point of view, it is an
algebra for computing and propagating constraints given in terms of
envelopes. A flow is represented by its cumulative function <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>R</mi><mo>(</mo><mi>t</mi><mo>)</mo></mrow></math></formula> (that
is, the amount of data sent by the flow up to time <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>t</mi></math></formula>). A constraint on
a flow is expressed by an arrival curve <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>α</mi><mo>(</mo><mi>t</mi><mo>)</mo></mrow></math></formula> that gives an upper
bound for the amount of data that can be sent during any interval of
length <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>t</mi></math></formula>. Flows cross service elements that offer guarantees on the
service. A constraint on a service is a service curve <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>β</mi><mo>(</mo><mi>t</mi><mo>)</mo></mrow></math></formula> that is used to compute the amount of data that can be served during
an interval of length t. It is also possible to define in the same way
minimal arrival curves and maximum service curves. Then such
constraints envelop the processes and the services. Network calculus
enables the following operations:</p>
      <p noindent="true"><formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mo>•</mo></math></formula> computing the exact output cumulative function or at least bounding functions;</p>
      <p noindent="true"><formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mo>•</mo></math></formula> computing output constraints for a flow (like an output arrival curve);</p>
      <p noindent="true"><formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mo>•</mo></math></formula> computing the remaining service curve (that is, the service that of not
used by the flows crossing a server);</p>
      <p noindent="true"><formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mo>•</mo></math></formula> composing several servers in
tandem;</p>
      <p noindent="true"><formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mo>•</mo></math></formula> giving upper bounds on the worst-case delay and backlog
(bounds are tight for a single server or a single flow).</p>
      <p noindent="true">The operations used for this are an adaptation of filtering theory to
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo>(</mo><mo movablelimits="true" form="prefix">min</mo><mo>,</mo><mo>+</mo><mo>)</mo></mrow></math></formula>: <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo>(</mo><mo movablelimits="true" form="prefix">min</mo><mo>,</mo><mo>+</mo><mo>)</mo></mrow></math></formula> convolution and deconvolution, sub-additive
closure.</p>
      <p>We investigate the complexity
of computing exact worst-case performance bounds in network calculus
and to develop algorithms that present a good trade off between
algorithmic efficiency and accuracy of the bounds.</p>
    </subsection>
    <subsection id="uid6" level="1">
      <bodyTitle>Perfect Simulation</bodyTitle>
      <p>Simulation approaches can be used to efficiently estimate the stationary behavior of Markov chains by providing
independent samples distributed according to their stationary distribution, even when it is impossible to compute this distribution numerically.</p>
      <p>The classical Markov Chain Monte Carlo simulation techniques suffer from two main problems:</p>
      <p noindent="true"><formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mo>•</mo></math></formula> The convergence to the stationary distribution can be very slow, and it is in general difficult to estimate;</p>
      <p noindent="true"><formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mo>•</mo></math></formula> Even if one has an effective convergence criterion, the sample obtained after any finite number of iterations is biased.</p>
      <p>To overcome these issues, Propp and Wilson <ref xlink:href="#dyogene-2015-bid3" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> have
introduced a perfect sampling algorithm (PSA) that has later been
extended and applied in various contexts, including statistical physics
<ref xlink:href="#dyogene-2015-bid4" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, stochastic geometry <ref xlink:href="#dyogene-2015-bid5" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>,
theoretical computer science <ref xlink:href="#dyogene-2015-bid6" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, and communications
networks <ref xlink:href="#dyogene-2015-bid7" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#dyogene-2015-bid8" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> (see also the annotated bibliography by Wilson  <ref xlink:href="#dyogene-2015-bid9" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>).</p>
      <p>Perfect sampling uses coupling arguments to give an unbiased sample
from the stationary distribution of an ergodic Markov chain on a
finite state space <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>𝒳</mi></math></formula>. Assume the chain is given by an
update function <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>Φ</mi></math></formula> and an i.i.d. sequence of innovations
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msub><mrow><mo>(</mo><msub><mi>U</mi><mi>n</mi></msub><mo>)</mo></mrow><mrow><mi>n</mi><mo>∈</mo><mi>ℤ</mi></mrow></msub></math></formula>, so that</p>
      <formula id-text="1" id="uid7" textype="equation" type="display">
        <math xmlns="http://www.w3.org/1998/Math/MathML" mode="display" overflow="scroll">
          <mrow>
            <msub>
              <mi>X</mi>
              <mrow>
                <mi>n</mi>
                <mo>+</mo>
                <mn>1</mn>
              </mrow>
            </msub>
            <mo>=</mo>
            <mi>Φ</mi>
            <mrow>
              <mo>(</mo>
              <msub>
                <mi>X</mi>
                <mi>n</mi>
              </msub>
              <mo>,</mo>
              <msub>
                <mi>U</mi>
                <mrow>
                  <mi>n</mi>
                  <mo>+</mo>
                  <mn>1</mn>
                </mrow>
              </msub>
              <mo>)</mo>
            </mrow>
            <mo>.</mo>
          </mrow>
        </math>
      </formula>
      <p noindent="true">The algorithm is based on a backward coupling scheme: it computes the trajectories from all <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>x</mi><mo>∈</mo><mi>𝒳</mi></mrow></math></formula> at some
time in the past <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>t</mi><mo>=</mo><mo>-</mo><mi>T</mi></mrow></math></formula> until time <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>t</mi><mo>=</mo><mn>0</mn></mrow></math></formula>, using the same innovations. If the final state is the
same for all trajectories (i.e. <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mfenced separators="" open="|" close="|"><mo>{</mo><mi>Φ</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><msub><mi>U</mi><mrow><mo>-</mo><mi>T</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>,</mo><mo>...</mo><mo>,</mo><msub><mi>U</mi><mn>0</mn></msub><mo>)</mo></mrow><mspace width="0.277778em"/><mo>:</mo><mspace width="0.277778em"/><mi>x</mi><mo>∈</mo><mi>𝒳</mi><mo>}</mo></mfenced><mo>=</mo><mn>1</mn></mrow></math></formula>, where <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>Φ</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><msub><mi>U</mi><mrow><mo>-</mo><mi>T</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>,</mo><mo>...</mo><mo>,</mo><msub><mi>U</mi><mn>0</mn></msub><mo>)</mo></mrow><mo>:</mo><mo>=</mo><mi>Φ</mi><mrow><mo>(</mo><mi>Φ</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><msub><mi>U</mi><mrow><mo>-</mo><mi>T</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></mrow><mo>,</mo><msub><mi>U</mi><mrow><mo>-</mo><mi>T</mi><mo>+</mo><mn>2</mn></mrow></msub><mo>,</mo><mo>...</mo><mo>,</mo><msub><mi>U</mi><mn>0</mn></msub><mo>)</mo></mrow></mrow></math></formula>
is defined by induction on <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>T</mi></math></formula>),
then we say that the chain has globally coupled and
the final state has the stationary distribution of the Markov
chain. Otherwise, the simulations are started further in the past.</p>
      <p>Any ergodic Markov chain on a finite state space has a representation of type (<ref xlink:href="#uid7" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>) that couples in finite time with probability 1, so
Propp and Wilson's PSA gives a “perfect” algorithm in the sense that it provides an <i>unbiased</i> sample in <i>finite time</i>. Furthermore, the stopping criterion is given by the coupling from the past scheme, and
knowing the explicit bounds on the coupling time is not needed for the validity of the algorithm.</p>
      <p>However, from the computational side, PSA is efficient only under some
monotonicity assumptions that allow
reducing the number of trajectories considered in the
coupling from the past procedure only to extremal initial conditions.
Our goal is to propose new algorithms solving this issue by exploiting
semantic and geometric properties of the event space and the state
space.</p>
    </subsection>
    <subsection id="uid8" level="1">
      <bodyTitle>Stochastic Geometry</bodyTitle>
      <p>Stochastic geometry <ref xlink:href="#dyogene-2015-bid10" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> is a
rich branch of applied probability
which allows one to quantify random phenomena on the plane or in higher
dimension. It is intrinsically related to the theory of point processes.
Initially its development was stimulated by applications to biology,
astronomy and material sciences. Nowadays it is also widely used in image analysis.
It provides a way of estimating and computing “spatial averages”.
A typical example, with obvious communication implications,
is the so called Boolean model, which is defined as the union
of discs with random radii (communication ranges)
centered at the points of a Poisson point process (user locations)
of the Euclidean plane (e.g., a city). A first typical question is that of the prediction
of the fraction of the plane which is covered by this union (statistics of coverage).
A second one is whether this union has an infinite component or not (connectivity).
Further classical models include shot noise processes and
random tessellations.
Our research consists of analyzing these models with the aim
of better understanding wireless communication networks in order to
predict and control various network performance metrics. The models
require using techniques from stochastic geometry and related fields
including point processes, spatial statistics, geometric probability,
percolation theory.</p>
    </subsection>
    <subsection id="uid9" level="1">
      <bodyTitle>Information Theory</bodyTitle>
      <p>Classical models of stochastic geometry (SG) are not sufficient for analyzing wireless networks
as they ignore the specific nature of radio channels.</p>
      <p>Consider a wireless communication network made of a
collection of nodes which in turn can be transmitters
or receivers.
At a given time, some subset of this collection of nodes
simultaneously transmit, each toward its own receiver.
Each transmitter–receiver pair in this snapshot requires its
own wireless link. For each such wireless link, the power of the
signal received from the link transmitter is jammed by the
powers of the signals received from the other transmitters.
Even in the simplest model where the power radiated from a
point decays in some isotropic way with Euclidean distance,
the geometry of the location of nodes plays a key role within this
setting since it determines the signal to interference and noise
ratio (SINR) at the receiver of each such link and hence the
possibility of establishing simultaneously this collection
of links at a given bit rate, as shown by information theory (IT).
In this definition, the interference
seen by some receiver is the sum of the powers
of the signals received from all transmitters excepting
its own. The SINR field, which is of an essentially geometric
nature, hence determines the connectivity and the capacity
of the network in a broad sense.
The essential point here is that the characteristics and even the feasibilities
of the radio links
that are simultaneously active are strongly interdependent and determined
by the geometry.
Our work is centered on the development of an IT-aware stochastic geometry addressing this interdependence.</p>
    </subsection>
    <subsection id="uid10" level="1">
      <bodyTitle>The Cavity Method for Network Algorithms</bodyTitle>
      <p>The cavity method combined with geometric networks concepts has recently led to spectacular progresses in
digital communications through error-correcting codes.
More than fifty years after Shannon's theorems, some coding schemes like
turbo codes and low-density parity-check codes (LDPC)
now approach the limits predicted by information theory. One of the main ingredients of these
schemes is message-passing decoding strategies originally conceived by
Gallager, which can be seen as direct applications of the cavity
method on a random bipartite graph (with two types of nodes representing information
symbols and parity check symbols, see <ref xlink:href="#dyogene-2015-bid11" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>).</p>
      <p>Modern coding theory is only one example of application of the cavity method. The concepts and techniques developed for its understanding have applications in theoretical computer science and a rich class of <i>complex systems</i>, in the field of networking, economics and social sciences.
The cavity method can be used both for the analysis of randomized
algorithms and for the study of random ensembles of computational
problems representative real-world situations. In order to analyze the
performance of algorithms, one generally defines a family of instances
and endows it with a probability measure, in the same way as one
defines a family of samples in the case of spin glasses or LDPC
codes. The discovery that the hardest-to-solve instances, with all
existing algorithms, lie close to a <i>phase transition</i> boundary has spurred
a lot of interest. Theoretical physicists suggest that the reason is a structural one, namely a change in the geometry of the set of solutions related to the <i>replica symmetry breaking</i> in the cavity method.
Phase transitions, which lie at the core of statistical physics, also play a key role in computer
science <ref xlink:href="#dyogene-2015-bid12" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, signal processing <ref xlink:href="#dyogene-2015-bid13" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> and social sciences <ref xlink:href="#dyogene-2015-bid14" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.
Their analysis is a major challenge, that may have a strong impact on the design of related algorithms.</p>
      <p>We develop mathematical tools in the
theory of discrete probabilities and theoretical computer science in
order to contribute to a rigorous formalization of the cavity
method, with applications to network algorithms, statistical inference, and at the interface between computer science and economics (EconCS).
</p>
    </subsection>
    <subsection id="uid11" level="1">
      <bodyTitle>Statistical Learning</bodyTitle>
      <p>Sparse graph
structures are useful in a number of information processing tasks where
the computational problem can be described as follows: infer the
values of a large collection of random variables, given a set of
constraints or observations, that induce relations among them.
Similar design ideas have been proposed in sensing and
signal processing and have applications in coding <ref xlink:href="#dyogene-2015-bid15" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, network
measurements, group testing or multi-user detection.
While the computational problem is generally hard, sparse graphical
structures lead to low-complexity algorithms that are very effective
in practice.
We develop tools in order to contribute to a precise
analysis of these algorithms and of their gap to optimal inference
which remains a largely open problem.</p>
      <p>A second line of activities concerns the design of protocols and algorithms enabling a transmitter to learn its environment (the statistical properties of the channel quality to the corresponding receiver, as well as their interfering neighbouring transmitters) so as to optimise their transmission strategies and to fairly and efficiently share radio resources. This second objective calls for the development and use of machine learning techniques (e.g. bandit optimisation).</p>
    </subsection>
  </fondements>
  <domaine id="uid12">
    <bodyTitle>Application Domains</bodyTitle>
    <subsection id="uid13" level="1">
      <bodyTitle>Wireless Networks</bodyTitle>
      <p>Wireless networks can be efficiently modelled as dynamic stochastic geometric networks. Their analysis requires taking into account, in addition to their geometric structure, the specific nature of radio channels and their statistical properties which are often unknown a priori, as well as the interaction through interference of the various individual point-to-point links.
Established results contribute in particular to the development of network dimensioning methods and some of them are currently used in Orange internal tools for network capacity calculations.</p>
    </subsection>
    <subsection id="uid14" level="1">
      <bodyTitle>Embedded Networks</bodyTitle>
      <p>Critical real-time embedded systems (cars, aircrafts, spacecrafts) are nowadays made up of multiple computers communicating with each other. The real-time constraints typically associated with operating systems now extend to the networks of communication between sensors/actuators and computers, and between the computers themselves. Once a media is shared, the time between sending and receiving a message depends not only on technological constraints, but also, and mainly from the interactions between the different streams of data sharing the media. It is therefore necessary to have techniques to guarantee maximum network delays, in addition to local scheduling constraints, to ensure a correct global real-time behaviour to distributed applications/functions.</p>
      <p>Moreover, pessimistic estimate may lead to an overdimensioning of the network, which involves extra weight and power consumption. In addition, these techniques must be scalable. In a modern aircraft, thousands of data streams share the network backbone. Therefore algorithm complexity should be at most polynomial.</p>
    </subsection>
    <subsection id="uid15" level="1">
      <bodyTitle>Distributed Content Delivery Networks</bodyTitle>
      <p>A content distribution network (CDN) is a globally distributed network of proxy servers deployed in multiple data centers. The goal of a CDN is to serve content to end-users with high availability and high performance. CDNs serve a large fraction of the Internet content today, including web objects (text, graphics and scripts), downloadable objects (media files, software, documents), applications (e-commerce, portals), live streaming media, on-demand streaming media, and social networks. In <ref xlink:href="#dyogene-2015-bid16" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we address the problem of content replication in large distributed content delivery networks.</p>
    </subsection>
    <subsection id="uid16" level="1">
      <bodyTitle>Probabilistic Algorithms for Renewable Integration in Smart grid</bodyTitle>
      <p>This reserach is developed by the Associate Team PARIS;
<ref xlink:href="http://www.di.ens.fr/~busic/PARIS/." location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www.<allowbreak/>di.<allowbreak/>ens.<allowbreak/>fr/<allowbreak/>~busic/<allowbreak/>PARIS/<allowbreak/>.</ref></p>
      <p><b>Challenges to Renewable Integration.</b>
With greater penetration of renewables, there is a need for tremendous shock absorbers to smooth the volatility of renewable power. An example is the balancing reserves obtained today from fossil-fuel generators, that ramp up and down their power output in response to a command signal from a grid balancing authority - an example of an ancillary service. In the absence of large, expensive batteries, we may have to increase our inventory of responsive fossil-fuel generators, negating the environmental benefits of renewable energy.</p>
      <p>The goal of our research is to demonstrate that we do not need to rely entirely on expensive batteries or fast-responding fossil fuel generators to track regulation signals or balancing reserves. There is enormous flexibility in the power consumption of the majority of electric loads. This flexibility can be exploited to create “virtual batteries”. The best example of this is the heating, ventilation, and air conditioning (HVAC) system of a building: There is no perceptible change to the indoor climate if the airflow rate is increased by 10% for 20 minutes, and decreased by 10% for the next 20 minutes. Power consumption deviations follow the airflow deviations closely, but indoor temperature will be essentially constant.</p>
      <p>A starting point in our research is the fact that many of the ancillary services needed today are defined by a power deviation reference signal that has zero mean. Examples are PJM’s RegD signal, or BPA’s balancing reserves <footnote id="uid17" id-text="1">BPA balancing authority. Online, <ref xlink:href="http://tinyurl.com/BPAgenload" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>tinyurl.<allowbreak/>com/<allowbreak/>BPAgenload</ref> <ref xlink:href="http://tinyurl.com/BPAbalancing" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>tinyurl.<allowbreak/>com/<allowbreak/>BPAbalancing</ref>.</footnote>.
We have demonstrated that loads can be classified based on the frequency bandwidth of ancillary service that they can offer. If demand response from loads respects these frequency limitations, it is possible to obtain highly reliable ancillary service to the grid, while maintaining strict bounds on the quality of service (QoS) delivered by each load <ref xlink:href="#dyogene-2015-bid17" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.</p>
      <p><b>Control Design with Local Intelligence at the Loads.</b>
An emphasis of our research is the creation of Smart Communities to complement a Smart Grid: intelligence is created at each load in the community. For example, a water heater may be equipped with a simple device that measures the grid frequency – a measure of power mismatch that is regulated to stabilize the power grid. Larger loads may receive a signal from a balancing authority.</p>
      <p>A challenge in residential communities is that many loads are either on or off. How can an on/off load track the continuously varying regulation signal broadcast by a grid operator? The answer proposed in our recent work is based on probabilistic algorithms: A single load cannot track a regulation signal such as the balancing reserves. A collection of loads can, provided they are equipped with local control. The value of probabilistic algorithms is that a) they can be designed with minimal communication, b) they avoid synchronization of load responses, and c) it is shown in our recent work that they can be designed to simplify control at the grid level (see the survey <ref xlink:href="#dyogene-2015-bid17" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> and <ref xlink:href="#dyogene-2015-bid18" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#dyogene-2015-bid19" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>). Other researchers have introduced randomization (see in particular the thesis of J. Mathieu <ref xlink:href="#dyogene-2015-bid20" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>), but without the use of “local intelligence” (distributed control).</p>
    </subsection>
    <subsection id="uid18" level="1">
      <bodyTitle>Algorithms for finding communities</bodyTitle>
      <p>In the study of complex networks, a network is said to have community structure if the nodes of the network can be easily grouped into (potentially overlapping) sets of nodes such that each set of nodes is densely connected internally.
Community structures are quite common in real networks. Social networks include community groups (the origin of the term, in fact) based on common location, interests, occupation, etc. Metabolic networks have communities based on functional groupings. Citation networks form communities by research topic. Being able to identify these sub-structures within a network can provide insight into how network function and topology affect each other. We propose several algorithms for this problem and extensions <ref xlink:href="#dyogene-2015-bid21" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#dyogene-2015-bid22" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#dyogene-2015-bid23" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#dyogene-2015-bid24" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/></p>
    </subsection>
  </domaine>
  <highlights id="uid19">
    <bodyTitle>Highlights of the Year</bodyTitle>
    <subsection id="uid20" level="1">
      <bodyTitle>Highlights of the Year</bodyTitle>
      <p>
        <big>
          <b>Stochastic networks and stochastic geometry conference dedicated to François Baccelli on his 60th birthday</b>
        </big>
      </p>
      <p>This three day event <ref xlink:href="http://www.di.ens.fr/~blaszczy/FB60/" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www.<allowbreak/>di.<allowbreak/>ens.<allowbreak/>fr/<allowbreak/>~blaszczy/<allowbreak/>FB60/</ref> brought together about twenty invited talks given by leading researchers working on modeling and performance evaluation of computer/communication systems. Mathematical foundations of their work involve, but are not limited to, wireless stochastic geometry, information theory, discrete event dynamical systems, max-plus algebra, stationary-ergodic framework for stochastic networks. It was a wonderful occasion to celebrate the 60th birthday of François Baccelli, who has inspired the development of this field for almost 40 years. The organizers are grateful to all speakers and participants.</p>
      <p>
        <big>
          <b>Awards</b>
        </big>
      </p>
      <simplelist>
        <li id="uid21">
          <p noindent="true">Ana Busic and Sean Meyn received jointly a Google Faculty Research Award for their research on Distributed Control for Renewable Integration in Smart Communities.</p>
          <p noindent="true">
            <ref xlink:href="http://googleresearch.blogspot.com/2015/02/google-faculty-research-awards-winter.html" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>googleresearch.<allowbreak/>blogspot.<allowbreak/>com/<allowbreak/>2015/<allowbreak/>02/<allowbreak/>google-faculty-research-awards-winter.<allowbreak/>html</ref>
          </p>
        </li>
      </simplelist>
      <p>The Applied Probability Society of INFORMS
presents a 2015 Best Publication Award
to Mohsen Bayati, Marc Lelarge and Andrea Montanari
for their paper <best><ref xlink:href="#dyogene-2015-bid25" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/></best></p>
    </subsection>
  </highlights>
  <logiciels id="uid22">
    <bodyTitle>New Software and Platforms</bodyTitle>
    <subsection id="uid23" level="1">
      <bodyTitle>CloNES</bodyTitle>
      <p>CLOsed queueing Networks Exact Sampling</p>
      <p noindent="true">
        <span class="smallcap" align="left">Functional Description</span>
      </p>
      <p>Clones is a Matlab toolbox for exact sampling of closed queueing networks.</p>
      <simplelist>
        <li id="uid24">
          <p noindent="true">Participant: Christelle Rovetta</p>
        </li>
        <li id="uid25">
          <p noindent="true">Contact: Christelle Rovetta</p>
        </li>
        <li id="uid26">
          <p noindent="true">URL: <ref xlink:href="http://www.di.ens.fr/~rovetta/Clones/index.html" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www.<allowbreak/>di.<allowbreak/>ens.<allowbreak/>fr/<allowbreak/>~rovetta/<allowbreak/>Clones/<allowbreak/>index.<allowbreak/>html</ref></p>
        </li>
      </simplelist>
    </subsection>
  </logiciels>
  <resultats id="uid27">
    <bodyTitle>New Results</bodyTitle>
    <subsection id="uid28" level="1">
      <bodyTitle>Evaluation and optimization of the quality of service perceived by mobile users for new services in cellular networks</bodyTitle>
      <p>The goal of this thesis<ref xlink:href="#dyogene-2015-bid26" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> defended in 2015 is to develop tools and methods for the evaluation of the QoS (Quality of Service) perceived by users, as a function of the traffic demand, in modern wireless cellular networks. This complex problem, directly related to network dimensioning, involves modeling dynamic processes at several time-scales, which due to their randomness are amenable to probabilistic formalization. Firstly, on the ground of information theory, we capture the performance of a single link between a base station and a user in the context of a cellular network with orthogonal channels and MIMO technology. We prove and use some lower bounds of the information-theoretic ergodic capacity of such a link, which account also for the fast channel variability caused by multi-path propagation. These bounds give robust basis for further user QoS evaluation. Next, one considers several (possibly mobile) users, arriving in the network and requesting some service from it. We consider variable (elastic) bit-rate services, in which transmissions of some amounts of data are realized in a best-effort manner, or constant bit-rate services, in which a certain transmission rate needs to be maintained during requested times. On the ground of queuing theory, one captures this traffic demand and service process using appropriate (multi-class) processor sharing (PS) or loss models. In this thesis, we adapt existing PS models and develop a new loss model for wireless streaming traffic, in which the aforementioned information-theoretic capacities of single links describe the instantaneous user service rates. The multi-class models are used to capture the spatial heterogeneity of user channels, which depends on the user geographic locations and propagation shadowing phenomenon. Finally, on top of the queueing-theoretic processes, one needs to consider a multi-cellular network, whose base stations are not necessarily regularly placed, and whose geometry is further perturbed by the shadowing phenomenon. We address this randomness aspect by using some models from stochastic geometry, notably Poisson point processes and Palm formalism applied to the typical cell of the network. Applying the above three-fold approach, supposed to represent all crucial mechanisms and engineering parameters of cellular networks (such as LTE), we establish some macroscopic relations between the traffic demand and the user QoS metrics for some elastic and constant bit-rate services. These relations are mostly obtained in a semi-analytic way, i.e., they only involve static simulations of a Poisson point process (modeling the locations of base stations) in order to evaluate its characteristics which are not amenable to analytic expressions. More precisely, regarding the data traffic (the elastic bit-rate service), we capture the inter-cell interference, making the PS queue models of individual cells dependent, via some system of cell-load equations. These equations allow one to determine the mean user throughput, the mean number of users and the mean cell load in a large network, as a function of the traffic demand. The spatial distribution of these QoS metrics in the network is also studied. We validate our approach by comparing the obtained results with those measured from live-network traces. We observe a remarkably good agreement between the model predictions and the statistical data collected in several deployment scenarios. Regarding constant bit-rate services, we propose a new stochastic model to evaluate the frequency and the number of interruptions during real-time streaming calls in function of user radio conditions. Despite some fundamental similarities with the classical Erlang loss model, a more adequate model was required for in this case, where the denial of service is not definitive for a given call: it takes the form of, hopefully short, interruptions or outage periods. Our model allows one to take into account realistic implementations of the considered streaming service. We use it to study the quality of service metrics in function of user radio conditions in LTE networks. All established results contribute to the development of network dimensioning methods and are currently used in Orange internal tools for network capacity calculations.
</p>
    </subsection>
    <subsection id="uid29" level="1">
      <bodyTitle>Interference and SINR coverage in spatial non-slotted Aloha networks</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid27" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> we propose two analytically tractable stochastic-geometric models of interference in ad-hoc networks using pure (non-slotted) Aloha as the medium access. In contrast the slotted model, the interference in pure Aloha may vary during the transmission of a tagged packet. We develop closed form expressions for the Laplace transform of the empirical average of the interference experienced during the transmission of a typical packet. Both models assume a power-law path-loss function with arbitrarily distributed fading and feature configurations of transmitters randomly located in the Euclidean plane according to a Poisson point process. Depending on the model, these configurations vary over time or are static. We apply our analysis of the interference to study the Signal-to-Interference-and-Noise Ratio (SINR) outage probability for a typical transmission in pure Aloha. The results are used to compare the performance of non-slotted Aloha to the slotted one, which has almost exclusively been previously studied in the same context of mobile ad-hoc networks.
</p>
    </subsection>
    <subsection id="uid30" level="1">
      <bodyTitle>Random linear multihop relaying in a general field of interferers using spatial Aloha</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid28" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> we study, as a basic model, a stationary Poisson pattern of nodes on a line embedded in an independent planar Poisson field of interfering nodes. Assuming slotted Aloha and the signal-to-interference-and-noise ratio capture condition, with the usual power-law path loss model and Rayleigh fading, we explicitly evaluate several local and end-to-end performance characteristics related to the nearest-neighbor packet relaying on this line, and study their dependence on the model parameters (the density of relaying and interfering nodes, Aloha tuning and the external noise power). Our model can be applied in two cases: the first use is for vehicular ad-hoc networks, where vehicles are randomly located on a straight road. The second use is to study a typical route traced in a (general) planar ad-hoc network by some routing mechanism. The approach we have chosen allows us to quantify the non-efficiency of long-distance routing in pure ad-hoc networks and evaluate a possible remedy for it in the form of additional fixed relaying nodes, called road-side units in a vehicular network. It also allows us to consider a more general field of interfering nodes and study the impact of the clustering of its nodes the routing performance. As a special case of a field with more clustering than the Poison field, we consider a Poisson-line field of interfering nodes, in which all the nodes are randomly located on random straight lines. The comparison to our basic model reveals a paradox: clustering of interfering nodes decreases the outage probability of a single (typical) transmission on the route, but increases the mean end-to-end delay.
</p>
    </subsection>
    <subsection id="uid31" level="1">
      <bodyTitle>Studying the SINR process of the typical user in Poisson networks by using its factorial moment measures</bodyTitle>
      <p>Based on a stationary Poisson point process, a wireless network model with random propagation effects (shadowing and/or fading) is considered in <ref xlink:href="#dyogene-2015-bid29" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> in order to examine the process formed by the signal-to-interference-plus-noise ratio (SINR) values experienced by a typical user with respect to all base stations in the down-link channel. This SINR process is completely characterized by deriving its factorial moment measures, which involve numerically tractable, explicit integral expressions. This novel framework naturally leads to expressions for the k-coverage probability, including the case of random SINR threshold values considered in multi-tier network models. While the k-coverage probabilities correspond to the marginal distributions of the order statistics of the SINR process, a more general relation is presented connecting the factorial moment measures of the SINR process to the joint densities of these order statistics. This gives a way for calculating exact values of the coverage probabilities arising in a general scenario of signal combination and interference cancellation between base stations. The presented framework consisting of mathematical representations of SINR characteristics with respect to the factorial moment measures holds for the whole domain of SINR and is amenable to considerable model extension.
</p>
    </subsection>
    <subsection id="uid32" level="1">
      <bodyTitle>Performance laws of large heterogeneous cellular networks</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid30" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> we propose a model for heterogeneous cellular networks assuming a space-time Poisson process of call arrivals, independently marked by data volumes, and served by different types of base stations (having different transmission powers) represented by the superposition of independent Poisson processes on the plane. Each station applies a processor sharing policy to serve users arriving in its vicinity, modeled by the Voronoi cell perturbed by some random signal propagation effects (shadowing). Users' peak service rates depend on their signal-to-interference-and-noise ratios (SINR) with respect to the serving station. The mutual-dependence of the cells (due to the extra-cell interference) is captured via some system of cell-load equations impacting the spatial distribution of the SINR. We use this model to study in a semi-analytic way (involving only static simulations, with the temporal evolution handled by the queuing theoretic results) network performance metrics (cell loads, mean number of users) and the quality of service perceived by the users (mean throughput) served by different types of base stations. Our goal is to identify macroscopic laws regarding these performance metrics, involving averaging both over time and the network geometry. The reveled laws are validated against real field measurement in an operational network.
</p>
    </subsection>
    <subsection id="uid33" level="1">
      <bodyTitle>Wireless networks appear Poissonian due to strong shadowing</bodyTitle>
      <p>Geographic locations of cellular base stations sometimes can be well fitted with spatial homogeneous Poisson point processes. In <ref xlink:href="#dyogene-2015-bid31" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> we make a complementary observation: In the presence of the log-normal shadowing of sufficiently high variance, the statistics of the propagation loss of a single user with respect to different network stations are invariant with respect to their geographic positioning, whether regular or not, for a wide class of empirically homogeneous networks. Even in perfectly hexagonal case they appear as though they were realized in a Poisson network model, i.e., form an inhomogeneous Poisson point process on the positive half-line with a power-law density characterized by the path-loss exponent. At the same time, the conditional distances to the corresponding base stations, given their observed propagation losses, become independent and log-normally distributed, which can be seen as a decoupling between the real and model geometry. The result applies also to Suzuki (Rayleigh-log-normal) propagation model. We use Kolmogorov-Smirnov test to empirically study the quality of the Poisson approximation and use it to build a linear-regression method for the statistical estimation of the value of the path-loss exponent.
</p>
    </subsection>
    <subsection id="uid34" level="1">
      <bodyTitle>What frequency bandwidth to run cellular network in a given country? - a downlink dimensioning problem</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid32" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> we propose an analytic approach to the frequency bandwidth dimensioning problem, faced by cellular network operators who deploy/upgrade their networks in various geographical regions (countries) with an inhomogeneous urbanization. We present a model allowing one to capture fundamental relations between users' quality of service parameters (mean downlink throughput), traffic demand, the density of base station deployment, and the available frequency bandwidth. These relations depend on the applied cellular technology (3G or 4G impacting user peak bit-rate) and on the path-loss characteristics observed in different (urban, sub-urban and rural) areas. We observe that if the distance between base stations is kept inversely proportional to the distance coefficient of the path-loss function, then the performance of the typical cells of these different areas is similar when serving the same (per-cell) traffic demand. In this case, the frequency bandwidth dimensioning problem can be solved uniformly across the country applying the mean cell approach proposed in [Blaszczyszyn et al. WiOpt2014]. We validate our approach by comparing the analytical results to measurements in operational networks in various geographical zones of different countries.
</p>
    </subsection>
    <subsection id="uid35" level="1">
      <bodyTitle>Optimal Geographic Caching In Cellular Networks</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid33" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> we consider the problem of an optimal geographic placement of content in wireless cellular networks modelled by Poisson point processes. Specifically, for the typical user requesting some particular content and whose popularity follows a given law (e.g. Zipf), we calculate the probability of finding the content cached in one of the base stations. Wireless coverage follows the usual signal-to-interference-and noise ratio (SINR) model, or some variants of it. We formulate and solve the problem of an optimal randomized content placement policy, to maximize the user's hit probability. The result dictates that it is not always optimal to follow the standard policy "cache the most popular content, everywhere". In fact, our numerical results regarding three different coverage scenarios, show that the optimal policy significantly increases the chances of hit under high-coverage regime, i.e., when the probabilities of coverage by more than just one station are high enough.
</p>
    </subsection>
    <subsection id="uid36" level="1">
      <bodyTitle>Spatial distribution of the SINR in Poisson cellular networks with sector antennas</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid34" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> we consider a model of cellular networks where the base station locations constitute a Poisson point process and each base station is equipped with three sectorial antennas is proposed. This model permits to study the spatial distribution of the SINR in the downlink. In particular, this distribution is shown to be insensitive to the distribution of antenna azimuths. Moreover, the effect of horizontal sectorisation is shown to be equivalent to that of shadowing. Assuming ideal vertical antenna pattern, an explicit expression of the Laplace transform of the inverse of SINR is given. The model is validated by comparing its results to measurements in an operational network. It is observed numerically that, in the case of dense urban regions where interference is preponderant, one may neglect the effect of the vertical sectorization when calculating the distribution of the SINR, which provides considerable tractability. Combined with queuing theory results, the SINR’s distribution permits to express the user’s quality of service as function of the traffic demand. This permits in particular to operators to predict the required investments to face the continual increase of traffic demand.
</p>
    </subsection>
    <subsection id="uid37" level="1">
      <bodyTitle>Theoretical expression of link performance in OFDM cellular networks with MIMO compared to simulation and measurements</bodyTitle>
      <p>The objective of <ref xlink:href="#dyogene-2015-bid35" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> is to establish a theoretical expression of the link performance in the downlink of a multiple input multiple output (MIMO) cellular network and compare it to the real Long-Term Evolution (LTE ) performance. In order to account for the interference, we prove that the worst additive noise process in the MIMO context is the white Gaussian one. Based on this theoretical result, we build an analytic expression of the link performance in LTE cellular networks with MIMO. We study also the minimum mean square error (MMSE) scheme currently implemented in the field, as well as its improvement MMSE-SIC (successive interference cancellation) known to achieve the MIMO capacity. Comparison to simulation results as well as to measurements in the field shows that the theoretical expression predicts well practical link performance of LTE cellular networks. This theoretical expression of link performance is the basis of a global analytic approach to the evaluation of the quality of service perceived by the users in the long run of their arrivals and departures.
</p>
    </subsection>
    <subsection id="uid38" level="1">
      <bodyTitle>Information Theory: Boolean model in the Shannon Regime</bodyTitle>
      <p>In a paper accepted for publication in the Journal of Applied Probability,
F. Baccelli and V. Anantharam consider
a family of Boolean models, indexed by integers <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>n</mi><mo>≥</mo><mn>1</mn></mrow></math></formula>.
The <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>n</mi></math></formula>-th model features a Poisson point process in <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup><mi>ℝ</mi><mi>n</mi></msup></math></formula>
of intensity <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup><mi>e</mi><mrow><mi>n</mi><msub><mi>ρ</mi><mi>n</mi></msub></mrow></msup></math></formula>
and balls of independent and identically distributed
radii distributed like <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><msub><mover accent="true"><mi>X</mi><mo>¯</mo></mover><mi>n</mi></msub><msqrt><mi>n</mi></msqrt></mrow></math></formula>. Assume that
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><msub><mi>ρ</mi><mi>n</mi></msub><mo>→</mo><mi>ρ</mi></mrow></math></formula> as <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>n</mi><mo>→</mo><mi>∞</mi></mrow></math></formula>, and
that <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msub><mover accent="true"><mi>X</mi><mo>¯</mo></mover><mi>n</mi></msub></math></formula> satisfies a large deviations principle.
It is shown that there then exist three deterministic thresholds:
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msub><mi>τ</mi><mi>d</mi></msub></math></formula> the degree threshold; <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msub><mi>τ</mi><mi>p</mi></msub></math></formula> the percolation probability threshold;
and <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msub><mi>τ</mi><mi>v</mi></msub></math></formula> the volume fraction threshold, such that
asymptotically as <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>n</mi></math></formula> tends to infinity,
we have the following features.
(i) For <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>ρ</mi><mo>&lt;</mo><msub><mi>τ</mi><mi>d</mi></msub></mrow></math></formula>, almost every point is isolated, namely its ball
intersects no other ball;
(ii) for <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><msub><mi>τ</mi><mi>d</mi></msub><mo>&lt;</mo><mi>ρ</mi><mo>&lt;</mo><msub><mi>τ</mi><mi>p</mi></msub></mrow></math></formula>,
the mean number of balls intersected by a typical ball
converges to infinity and
nevertheless there is no percolation;
(iii) for <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><msub><mi>τ</mi><mi>p</mi></msub><mo>&lt;</mo><mi>ρ</mi><mo>&lt;</mo><msub><mi>τ</mi><mi>v</mi></msub></mrow></math></formula>,
the volume fraction is 0 and nevertheless percolation occurs;
(iv) for <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><msub><mi>τ</mi><mi>d</mi></msub><mo>&lt;</mo><mi>ρ</mi><mo>&lt;</mo><msub><mi>τ</mi><mi>v</mi></msub></mrow></math></formula>,
the mean number of balls intersected by a typical ball
converges to infinity and
nevertheless the volume fraction is 0;
(v) for <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>ρ</mi><mo>&gt;</mo><msub><mi>τ</mi><mi>v</mi></msub></mrow></math></formula>, the whole space covered.
The analysis of this asymptotic regime is motivated
by problems in information theory, but
it could be of independent interest in
stochastic geometry.
The relations between these three thresholds and
the Shannon–Poltyrev threshold are discussed.
</p>
    </subsection>
    <subsection id="uid39" level="1">
      <bodyTitle>Stochastic Geometry: Wireless Modeling</bodyTitle>
      <p>In an Infocom'15 paper, F. Baccelli and X. Zhang (Qualcomm) have
introduced an analytically tractable stochastic geometry model
for urban wireless networks, where the locations of
the nodes and the shadowing are highly correlated
and different path loss functions can be applied
to line-of-sight (LOS) and non-line-of-sight (NLOS) links.</p>
      <p>Using a distance-based LOS path loss model and a blockage
(shadowing)-based NLOS path loss model, one can
derive the distribution of the interference observed at a
typical location and the joint distribution at different
locations of the network. When applied to cellular networks,
this model leads to tractable coverage probabilities
(SINR distribution) expressions. This model captures important
features of urban wireless networks, which were difficult
to analyze using existing models.</p>
      <p>This model was lately extended in a joint work by the same
authors and Robert Heath (UT Austin) in a paper presented
at IEEE Globecom'15 where it received the best paper award.</p>
    </subsection>
    <subsection id="uid40" level="1">
      <bodyTitle>Information Theory: SIMO</bodyTitle>
      <p>In a paper to be published in IEEE Transactions of Information Theory,
F. Baccelli, N. Lee and Robert Heath consider large random wireless networks where transmit-and-receive node pairs communicate within a certain range while sharing a common spectrum. By modeling the spatial locations of nodes as Poisson point processes, analytical expressions for the ergodic spectral efficiency of a typical node pair are derived as a function of the channel state information available at a receiver (CSIR) in terms of relevant system parameters: the density of communication links, the number of receive antennas, the path loss exponent, and the operating signal-to-noise ratio. One key finding is that when the receiver only exploits CSIR for the direct link, the sum spectral efficiency increases linearly with the density, provided the number of receive antennas increases as a certain super-linear function of the density. When each receiver exploits CSIR for a set of dominant interfering links in addition to that of the direct link, the sum spectral efficiency in
creases linearly with both the density and the path loss exponent if the number of antennas is a linear function of the density. This observation demonstrates that having CSIR for dominant interfering links provides an order gain in the scaling law. It is also shown that this linear scaling holds for direct CSIR when incorporating the effect of the receive antenna correlation, provided that the rank of the spatial correlation matrix scales super-linearly with the density. These scaling laws are derived from integral representations of the distribution of the Signal to Interference and Noise Ratio, which are of independent interest and which in turn derived from stochastic geometry and more precisely from the theory of Shot Noise fields.</p>
    </subsection>
    <subsection id="uid41" level="1">
      <bodyTitle>Theory of point processes</bodyTitle>
      <p>In a joint work with Mir-Omid Haji-Mirsadeghi, Sharif University,
Department of Mathematics, F. Baccelli
studied a class of non-measure preserving dynamical
systems on counting measures called point-maps.
This research introduced two objects associated with a point map <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>f</mi></math></formula>
acting on a stationary point process <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>Φ</mi></math></formula>:</p>
      <simplelist>
        <li id="uid42">
          <p noindent="true">The <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>f</mi></math></formula>-probabilities of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>Φ</mi></math></formula>, which can be interpreted as the stationary regimes of the action of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>f</mi></math></formula> on <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>Φ</mi></math></formula>. These probabilities are defined from the compactification of the action of the semigroup of point-map translations on the space of Palm probabilities. The <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>f</mi></math></formula>-probabilities of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>Φ</mi></math></formula> are not always Palm distributions.</p>
        </li>
        <li id="uid43">
          <p noindent="true">The <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>f</mi></math></formula>-foliation of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>Φ</mi></math></formula>, a partition of the support of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>Φ</mi></math></formula> which is the discrete analogue of the stable manifold of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>f</mi></math></formula>, i.e., the leaves of the foliation are the points of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>Φ</mi></math></formula> with the same asymptotic fate for <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>f</mi></math></formula>. These leaves are not always stationary point processes. There always exists a point-map allowing one to navigate the leaves in a measure-preserving way.</p>
        </li>
      </simplelist>
      <p>Two papers on the matter available. The first one is under revision for
Annals of Probability.
</p>
    </subsection>
    <subsection id="uid44" level="1">
      <bodyTitle>Cross-Technology Interference Mitigation in Body Area Networks: An Optimization Approach</bodyTitle>
      <p>In recent years, wearable devices and wireless body area networks have gained momentum as a means to monitor people’s behavior and simplify their interaction with the surrounding environment, thus representing a key element of the body-to-body networking (BBN) paradigm. Within this paradigm, several transmission technologies, such as 802.11 and 802.15.4, that share the same unlicensed band (namely, the industrial, scientific, and medical band) coexist, dramatically increasing the level of interference and, in turn, negatively affecting network performance. In this paper, we analyze the cross-technology interference (CTI) caused by the utilization of different transmission technologies that share the same radio spectrum. We formulate an optimization model that considers internal interference, as well as CTI to mitigate the overall level of interference within the system, explicitly taking into account node mobility. We further develop three heuristic approaches to efficiently solve the interference mitigation problem in large-scale network scenarios. Finally, we propose a protocol to compute the solution that minimizes CTI in a distributed fashion. Numerical results show that the proposed heuristics represent efficient and practical alternatives to the optimal solution for solving the CTI mitigation (CTIM) problem in large-scale BBN scenarios.
</p>
    </subsection>
    <subsection id="uid45" level="1">
      <bodyTitle>Body-to-Body Area Networks</bodyTitle>
      <p>The ongoing evolution of wireless technologies has fostered the development of innovative network paradigms like the Internet of Things (IoT). Wireless Body Area Networks, and more specifically Body-to-Body Area Networks (BBNs), are emerging solutions for the monitoring of people's behavior and their interaction with the surrounding environment. These networks represent a key building block of the IoT paradigm. In BBNs several transmission technologies like 802.11 and 802.15.4 that share the same unlicensed band (namely the industrial, scientific and medical (ISM) radio band) coexist, increasing dramatically the level of interference and, in turn, negatively affecting network’s performance. In <ref xlink:href="#dyogene-2015-bid36" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we investigate the Cross-Technology Interference Mitigation (CTIM) problem caused by the utilization of different transmission technologies that share the same radio spectrum, from a centralized and distributed point of view, respectively.
</p>
    </subsection>
    <subsection id="uid46" level="1">
      <bodyTitle>Exact Worst-Case Delay in FIFO-Multiplexing Feed-Forward Networks</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid37" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we compute the actual worst-case
end-to-end delay for a flow in a feed-forward network of
FIFO-multiplexing service curve nodes, where flows are shaped by
piecewise-affine concave arrival curves, and service curves are
piecewise affine and convex. We show that the worst-case delay
problem can be formulated as a mixed integer-linear programming
problem, whose size grows exponentially with the number of nodes
involved. Furthermore, we present approximate solution schemes to
find upper and lower delay bounds on the worst-case delay. Both only
require to solve just one linear programming problem, and yield
bounds which are generally more accurate than those found in the
previous work, which are computed under more restrictive
assumptions.
</p>
    </subsection>
    <subsection id="uid47" level="1">
      <bodyTitle>Fast symbolic computation of the worst-case delay in tandem networks and applications</bodyTitle>
      <p>Computing deterministic performance guarantees is a defining issue
for systems with hard real-time constraints, like reactive embedded
systems. In <ref xlink:href="#dyogene-2015-bid38" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we use burst-rate
constrained arrivals and rate-latency servers to deduce tight
worst-case delay bounds in tandem networks under arbitrary
multiplexing. We present a constructive method for computing the
exact worst-case delay, which we prove to be a linear function of
the burstiness and latencies; our bounds are hence symbolic in these
parameters. Our algorithm runs in quadratic time in the number of
servers. We also present an application of our algorithm to the case
of stochastic arrivals and server capacities. For a generalization
of the exponentially bounded burstiness (EBB) model, we deduce a
polynomial-time algorithm for stochastic delay bounds that strictly
improve the state-of-the-art separated flow analysis (SFA) type
bounds.
</p>
    </subsection>
    <subsection id="uid48" level="1">
      <bodyTitle>Ancillary Service to the Grid Using Intelligent Deferrable Loads</bodyTitle>
      <p>Renewable energy sources such as wind and solar power have a high degree of unpredictability and time-variation, which makes balancing demand and supply challenging. One possible way to address this challenge is to harness the inherent flexibility in demand of many types of loads. Introduced in <ref xlink:href="#dyogene-2015-bid18" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> is a technique for decentralized control for automated demand response that can be used by grid operators as ancillary service for maintaining demand-supply balance. A randomized control architecture is proposed, motivated by the need for decentralized decision making, and the need to avoid synchronization that can lead to large and detrimental spikes in demand. An aggregate model for a large number of loads is then developed by examining the mean field limit. A key innovation is a linear time-invariant (LTI) system approximation of the aggregate nonlinear model, with a scalar signal as the input and a measure of the aggregate demand as the output. This makes the approximation particularly convenient for control design at the grid level.
</p>
    </subsection>
    <subsection id="uid49" level="1">
      <bodyTitle>Spectral Decomposition of Demand-Side Flexibility for Reliable Ancillary Services in a Smart Grid</bodyTitle>
      <p><ref xlink:href="#dyogene-2015-bid17" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> describes a new way of thinking about demand-side resources to provide ancillary services to control the grid. It is shown that loads can be classified based on the frequency bandwidth of ancillary service that they can offer. If demand response from loads respects these frequency limitations, it is possible to obtain highly reliable ancillary service to the grid, while maintaining strict bounds on the quality of service (QoS) delivered by each load. It is argued that automated demand response is required for reliable control. Moreover, some intelligence is needed at demand response loads so that the aggregate will be reliable and controllable.
</p>
    </subsection>
    <subsection id="uid50" level="1">
      <bodyTitle>State Estimation for the Individual and the Population in Mean Field Control with Application to Demand Dispatch</bodyTitle>
      <p><ref xlink:href="#dyogene-2015-bid19" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> concerns state estimation problems in a mean field control setting. In a finite population model, the goal is to estimate the joint distribution of the population state and the state of a typical individual. The observation equations are a noisy measurement of the population. The general results are applied to demand dispatch for regulation of the power grid, based on randomized local control algorithms. In prior work by the authors it has been shown that local control can be carefully designed so that the aggregate of loads behaves as a controllable resource with accuracy matching or exceeding traditional sources of frequency regulation. The operational cost is nearly zero in many cases. The information exchange between grid and load is minimal, but it is assumed in the overall control architecture that the aggregate power consumption of loads is available to the grid operator. It is shown that the Kalman filter can be constructed to reduce these communication requirements, and to provide the grid operator with accurate estimates of the mean and variance of quality of service (QoS) for an individual load.
</p>
    </subsection>
    <subsection id="uid51" level="1">
      <bodyTitle>Perfect sampling of Jackson queueing networks</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid39" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we consider open Jackson networks with losses with mixed finite and infinite queues and analyze the efficiency of sampling from their exact stationary distribution. We show that perfect sampling is possible, although the underlying Markov chain may have an infinite state space. The main idea is to use a Jackson network with infinite buffers (that has a product form stationary distribution) to bound the number of initial conditions to be considered in the coupling from the past scheme. We also provide bounds on the sampling time of this new perfect sampling algorithm for acyclic or hyper-stable networks. These bounds show that the new algorithm is considerably more efficient than existing perfect samplers even in the case where all queues are finite. We illustrate this efficiency through numerical experiments. We also extend our approach to variable service times and non-monotone networks such as queueing networks with negative customers.
</p>
    </subsection>
    <subsection id="uid52" level="1">
      <bodyTitle>Speeding up Glauber Dynamics for Random Generation of Independent Sets </bodyTitle>
      <p>The maximum independent set (MIS) problem is a well-studied combinatorial optimization problem that naturally arises in many applications, such as wireless communication, information theory and statistical mechanics. MIS problem is NP-hard, thus many results in the literature focus on fast generation of maximal independent sets of high cardinality. One possibility is to combine Gibbs sampling with coupling from the past arguments to detect convergence to the stationary regime. This results in a sampling procedure with time complexity that depends on the mixing time of the Glauber dynamics Markov chain. We propose in <ref xlink:href="#dyogene-2015-bid40" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> an adaptive method for random event generation in the Glauber dynamics that considers only the events that are effective in the coupling from the past scheme, accelerating the convergence time of the Gibbs sampling algorithm.
</p>
    </subsection>
    <subsection id="uid53" level="1">
      <bodyTitle>Approximate optimality with bounded regret in dynamic matching models </bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid41" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we consider a dynamic matching model with random arrivals. In prior work, authors have proposed policies that are stabilizing, and also policies that are approximately finite-horizon optimal. This paper considers the infinite-horizon average-cost optimal control problem.
A relaxation of the stochastic control problem is proposed, which is found to be a special case of an inventory model, as treated in the classical theory of Clark and Scarf. The optimal policy for the relaxation admits a closed-form expression. Based on the policy for this relaxation, a new matching policy is proposed. For a parameterized family of models in which the network load approaches capacity, this policy is shown to be approximately optimal, with bounded regret, even though the average cost grows without bound.
</p>
    </subsection>
    <subsection id="uid54" level="1">
      <bodyTitle>Perfect sampling for multiclass closed queueing networks</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid42" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> we present an exact sampling method for multiclass closed queuing networks. We consider networks for which stationary distribution does not necessarily have a product form. The proposed method uses a compact representation of sets of states, that is used to derive a bounding chain with significantly lower complexity of one-step transition in the coupling from the past scheme. The coupling time of this bounding chain can be larger than the coupling time of the exact chain, but it is finite in expectation. Numerical experiments show that coupling time is close to that of the exact chain. Moreover, the running time of the proposed algorithm outperforms the classical algorithm.
</p>
    </subsection>
    <subsection id="uid55" level="1">
      <bodyTitle>Fast and Memory Optimal Low-Rank Matrix Approximation</bodyTitle>
      <p>In this paper, we revisit the problem of constructing a near-optimal rank <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>k</mi></math></formula> approximation of a matrix <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>M</mi><mo>∈</mo><msup><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow><mrow><mi>m</mi><mo>×</mo><mi>n</mi></mrow></msup></mrow></math></formula> under the streaming data model where the columns of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>M</mi></math></formula> are revealed sequentially. We present SLA (Streaming Low-rank Approximation), an algorithm that is asymptotically accurate, when <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>k</mi><msub><mi>s</mi><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mrow><mo>(</mo><mi>M</mi><mo>)</mo></mrow><mo>=</mo><mi>o</mi><mrow><mo>(</mo><msqrt><mrow><mi>m</mi><mi>n</mi></mrow></msqrt><mo>)</mo></mrow></mrow></math></formula> where <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><msub><mi>s</mi><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mrow><mo>(</mo><mi>M</mi><mo>)</mo></mrow></mrow></math></formula> is the <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo>(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow></math></formula>-th largest singular value of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>M</mi></math></formula>. This means that its average mean-square error converges to 0 as <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>m</mi></math></formula> and <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>n</mi></math></formula> grow large (i.e., <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mrow><mo>∥</mo></mrow><msup><mover accent="true"><mi>M</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msup><mo>-</mo><msup><mi>M</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msup><msubsup><mrow><mo>∥</mo></mrow><mi>F</mi><mn>2</mn></msubsup><mo>=</mo><mi>o</mi><mrow><mo>(</mo><mi>m</mi><mi>n</mi><mo>)</mo></mrow></mrow></math></formula> with high probability, where <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup><mover accent="true"><mi>M</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msup></math></formula> and <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup><mi>M</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msup></math></formula> denote the output of SLA and the optimal rank <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>k</mi></math></formula> approximation of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>M</mi></math></formula>, respectively). Our algorithm makes one pass on the data if the columns of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>M</mi></math></formula> are revealed in a random order, and two passes if the columns of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>M</mi></math></formula> arrive in an arbitrary order. To reduce its memory footprint and complexity, SLA uses random sparsification, and samples each entry of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>M</mi></math></formula> with a small probability <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>δ</mi></math></formula>. In turn, SLA is memory optimal as its required memory space scales as <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>k</mi><mo>(</mo><mi>m</mi><mo>+</mo><mi>n</mi><mo>)</mo></mrow></math></formula>, the dimension of its output. Furthermore, SLA is computationally efficient as it runs in <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>O</mi><mo>(</mo><mi>δ</mi><mi>k</mi><mi>m</mi><mi>n</mi><mo>)</mo></mrow></math></formula> time (a constant number of operations is made for each observed entry of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>M</mi></math></formula>), which can be as small as <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>O</mi><mo>(</mo><mi>k</mi><mo form="prefix">log</mo><msup><mrow><mo>(</mo><mi>m</mi><mo>)</mo></mrow><mn>4</mn></msup><mi>n</mi><mo>)</mo></mrow></math></formula> for an appropriate choice of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>δ</mi></math></formula> and if <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>n</mi><mo>≥</mo><mi>m</mi></mrow></math></formula>.</p>
    </subsection>
    <subsection id="uid56" level="1">
      <bodyTitle>Combinatorial Bandits Revisited</bodyTitle>
      <p><ref xlink:href="#dyogene-2015-bid43" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> investigates stochastic and adversarial combinatorial multi-armed bandit problems. In the stochastic setting under semi-bandit feedback, we derive a problem-specific regret lower bound, and discuss its scaling with the dimension of the decision space. We propose ESCB, an algorithm that efficiently exploits the structure of the problem and provide a finite-time analysis of its regret. ESCB has better performance guarantees than existing algorithms, and significantly outperforms these algorithms in practice. In the adversarial setting under bandit feedback, we propose <span class="smallcap" align="left">CombEXP</span>, an algorithm with the same regret scaling as state-of-the-art algorithms, but with lower computational complexity for some combinatorial problems.
</p>
    </subsection>
    <subsection id="uid57" level="1">
      <bodyTitle>Non-backtracking spectrum of random graphs: community detection and non-regular Ramanujan graphs</bodyTitle>
      <p>A non-backtracking walk on a graph is a directed path such that no edge is the inverse of its preceding edge. The non-backtracking matrix of a graph is indexed by its directed edges and can be used to count non-backtracking walks of a given length. It has been used recently in the context of community detection and has appeared previously in connection with the Ihara zeta function and in some generalizations of Ramanujan graphs. In <ref xlink:href="#dyogene-2015-bid23" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we study the largest eigenvalues of the non-backtracking matrix of the Erdos-Renyi random graph and of the Stochastic Block Model in the regime where the number of edges is proportional to the number of vertices. Our results confirm the "spectral redemption" conjecture that community detection can be made on the basis of the leading eigenvectors above the feasibility threshold.
</p>
    </subsection>
    <subsection id="uid58" level="1">
      <bodyTitle>Designing Adaptive Replication Schemes in Distributed Content Delivery Networks</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid16" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we address the problem of content replication in large distributed content delivery networks, composed of a data center assisted by many small servers with limited capabilities and located at the edge of the network. The objective is to optimize the placement of contents on the servers to offload as much as possible the data center. We model the system constituted by the small servers as a loss network, each loss corresponding to a request to the data center. Based on large system / storage behavior, we obtain an asymptotic formula for the optimal replication of contents and propose adaptive schemes related to those encountered in cache networks but reacting here to loss events, and faster algorithms generating virtual events at higher rate while keeping the same target replication. We show through simulations that our adaptive schemes outperform significantly standard replication strategies both in terms of loss rates and adaptation speed.</p>
    </subsection>
    <subsection id="uid59" level="1">
      <bodyTitle>Spectral Detection in the Censored Block Model</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid24" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we consider the problem of partially recovering hidden binary variables from the observation of (few) censored edge weights, a problem with applications in community detection, correlation clustering and synchronization. We describe two spectral algorithms for this task based on the non-backtracking and the Bethe Hessian operators. These algorithms are shown to be asymptotically optimal for the partial recovery problem, in that they detect the hidden assignment as soon as it is information theoretically possible to do so.
</p>
    </subsection>
    <subsection id="uid60" level="1">
      <bodyTitle>A spectral method for community detection in moderately-sparse degree-corrected stochastic block models</bodyTitle>
      <p>In the ordinary stochastic block model, all degrees in a cluster have the same expected degree. The Degree-Corrected Stochastic Block Models (DC-SBM) is a generalization of the former where the expected degrees of individual nodes follow a prescribed degree-sequence. We consider community detection in the DC-SBM in a paper currently in preparation <ref xlink:href="#dyogene-2015-bid44" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>. We perform spectral clustering on a suitably normalized adjacency matrix. This leads to consistent recovery of the block-membership of all but a vanishing fraction of nodes, in the regime where the lowest degree is of order log<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></math></formula> or higher. The main contributions of this paper are <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></math></formula> the fact that recovery succeeds for very heterogeneous degree-distributions and <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo>(</mo><mi>i</mi><mi>i</mi><mo>)</mo></mrow></math></formula> a clean analysis for the DC-SBM, which is a messy model.
</p>
    </subsection>
    <subsection id="uid61" level="1">
      <bodyTitle>An Impossibility Result for Reconstruction in a Degree-Corrected Planted-Partition Model</bodyTitle>
      <p>In a paper currently in preparation <ref xlink:href="#dyogene-2015-bid45" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we consider a degree-corrected planted-partition model: a random graph on <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>n</mi></math></formula> nodes with two equal-sized clusters. The model parameters are two constants <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>a</mi><mo>,</mo><mi>b</mi><mo>&gt;</mo><mn>0</mn></mrow></math></formula> and an i.i.d. sequence <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msubsup><mrow><mo>(</mo><msub><mi>φ</mi><mi>i</mi></msub><mo>)</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></msubsup></math></formula>, with finite second moment <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup><mi>Φ</mi><mn>2</mn></msup></math></formula>. Vertices <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>i</mi></math></formula> and <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>j</mi></math></formula> are joined by an edge with probability <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mfrac><mrow><msub><mi>φ</mi><mi>i</mi></msub><msub><mi>φ</mi><mi>j</mi></msub></mrow><mi>n</mi></mfrac><mi>a</mi></mrow></math></formula> whenever they are in the same class and with probability <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mfrac><mrow><msub><mi>φ</mi><mi>i</mi></msub><msub><mi>φ</mi><mi>j</mi></msub></mrow><mi>n</mi></mfrac><mi>b</mi></mrow></math></formula> otherwise. We prove that the underlying community structure cannot be accurately recovered from observations of the graph when <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><msup><mrow><mo>(</mo><mi>a</mi><mo>-</mo><mi>b</mi><mo>)</mo></mrow><mn>2</mn></msup><msup><mi>Φ</mi><mn>2</mn></msup><mo>≤</mo><mn>2</mn><mrow><mo>(</mo><mi>a</mi><mo>+</mo><mi>b</mi><mo>)</mo></mrow></mrow></math></formula>.
</p>
    </subsection>
    <subsection id="uid62" level="1">
      <bodyTitle>Universality in polytope phase transitions and message passing algorithms</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid25" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we consider a class of nonlinear mappings <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msub><mi>𝖥</mi><mrow><mi>A</mi><mo>,</mo><mi>N</mi></mrow></msub></math></formula> in
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup><mi>ℝ</mi><mi>N</mi></msup></math></formula> indexed by symmetric random matrices <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>A</mi><mo>∈</mo><msup><mi>ℝ</mi><mrow><mi>N</mi><mo>×</mo><mi>N</mi></mrow></msup></mrow></math></formula> with independent entries. Within spin glass theory, special cases of these
mappings correspond to iterating the TAP equations and were studied by
Bolthausen [Comm. Math. Phys. 325 (2014) 333-366]. Within information theory,
they are known as "approximate message passing" algorithms. We study the
high-dimensional (large <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>N</mi></math></formula>) behavior of the iterates of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>𝖥</mi></math></formula> for
polynomial functions <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>𝖥</mi></math></formula>, and prove that it is universal; that is, it
depends only on the first two moments of the entries of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>A</mi></math></formula>, under a
sub-Gaussian tail condition. As an application, we prove the universality of a
certain phase transition arising in polytope geometry and compressed sensing.
This solves, for a broad class of random projections, a conjecture by David
Donoho and Jared Tanner.
</p>
    </subsection>
    <subsection id="uid63" level="1">
      <bodyTitle>Contagions in Random Networks with Overlapping Communities</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid46" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we consider a threshold epidemic model on a clustered random graph with overlapping communities. In other words, our epidemic model is such that an individual becomes infected as soon as the proportion of her infected neighbors exceeds the threshold q of the epidemic. In our random graph model, each individual can belong to several communities. The distributions for the community sizes and the number of communities an individual belongs to are arbitrary.
We consider the case where the epidemic starts from a single individual, and we prove a phase transition (when the parameter q of the model varies) for the appearance of a cascade, i.e. when the epidemic can be propagated to an infinite part of the population. More precisely, we show that our epidemic is entirely described by a multi-type (and alternating) branching process, and then we apply Sevastyanov's theorem about the phase transition of multi-type Galton-Watson branching processes. In addition, we compute the entries of the matrix whose largest eigenvalue gives the phase transition.</p>
    </subsection>
    <subsection id="uid64" level="1">
      <bodyTitle>The Diameter of Weighted Random Graphs.</bodyTitle>
      <p>In <ref xlink:href="#dyogene-2015-bid47" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we study the impact of random exponential edge weights on the distances in a random graph and, in particular, on its diameter. Our main result consists of a precise asymptotic expression for the maximal weight of the shortest weight paths between all vertices (the weighted diameter) of sparse random graphs, when the edge weights are i.i.d. exponential random variables.
</p>
    </subsection>
  </resultats>
  <contrats id="uid65">
    <bodyTitle>Bilateral Contracts and Grants with Industry</bodyTitle>
    <subsection id="uid66" level="1">
      <bodyTitle>CRE with Orange</bodyTitle>
      <p>One year CRE contract titled “Détermination de la distribution des conditions radio validée avec les données terrain pour les outils de dimensionnement”
(Determining the distribution of the radio channel conditions validated by the real data for network dimensioning tools)
between Inria and Orange Labs have been signed in 2015.
It is a part of the long-term collaboration between TREC/DYOGENE and Orange Labs, represented by M. K. Karray, for the development of analytic tools for the QoS evaluation and dimensioning of operator cellular networks.
Arpan Chattopadhyay was hired by Inria as a post-doctoral fellow thanks to this contract.
</p>
    </subsection>
    <subsection id="uid67" level="1">
      <bodyTitle>MSR-Inria Joint Lab</bodyTitle>
      <simplelist>
        <li id="uid68">
          <p noindent="true">Social Information Networks and Privacy</p>
          <p noindent="true">Online Social networks provide a new way of accessing and collectively treating information. Their efficiency is critically predicated on the quality of information provided, the ability of users to assess such quality, and to connect to like-minded users to exchange useful content.</p>
          <p>To improve this efficiency, we develop mechanisms for assessing users’ expertise and recommending suitable content. We further develop algorithms for identifying latent user communities and recommending potential contacts to users.</p>
        </li>
        <li id="uid69">
          <p noindent="true">Machine Learning and Big Data</p>
          <p noindent="true">Multi-Armed Bandit (MAB) problems constitute a generic benchmark model for learning to make sequential decisions under uncertainty. They capture the trade-off between exploring decisions to learn the statistical properties of the corresponding rewards, and exploiting decisions that have generated the highest rewards so far. In this project, we aim at investigating bandit problems with a large set of available decisions, with structured rewards. The project addresses bandit problems with known and unknown structure, and targets specific applications in online advertising, recommendation and ranking systems.</p>
        </li>
      </simplelist>
    </subsection>
  </contrats>
  <partenariat id="uid70">
    <bodyTitle>Partnerships and Cooperations</bodyTitle>
    <subsection id="uid71" level="1">
      <bodyTitle>National Initiatives</bodyTitle>
      <subsection id="uid72" level="2">
        <bodyTitle>GdR GeoSto</bodyTitle>
        <p>Members of Dyogene participate in Research Group GeoSto
(Groupement de recherche, GdR 3477)
<ref xlink:href="http://gdr-geostoch.math.cnrs.fr/" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>gdr-geostoch.<allowbreak/>math.<allowbreak/>cnrs.<allowbreak/>fr/</ref> on Stochastic Geometry led by
Pierre Calka [Université de Rouen].
This is a collaboration framework for all French research teams
working in the domain of spatial stochastic modeling, both on theory
development and in applications.</p>
      </subsection>
      <subsection id="uid73" level="2">
        <bodyTitle>ANR</bodyTitle>
        <subsection id="uid74" level="3">
          <bodyTitle>ANR GAP</bodyTitle>
          <p>Graphs, Algorithms and Probability - PI: Marc
Lelarge; started in Jan 2012 - 48 months. <ref xlink:href="http://www.di.ens.fr/~lelarge/ANR-GAP.html" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www.<allowbreak/>di.<allowbreak/>ens.<allowbreak/>fr/<allowbreak/>~lelarge/<allowbreak/>ANR-GAP.<allowbreak/>html</ref></p>
          <p>Over the last few years, several research areas have witnessed important progress through the fruitful collaboration of mathematicians, theoretical physicists and computer scientists. One of them is the cavity method. Originating from the theory of mean field spin glasses, it is key to understanding the structure of Gibbs measures on diluted random graphs, which play a key role in many applications, ranging from statistical inference to optimization, coding and social sciences.</p>
          <p>The objective of this project is to develop mathematical tools in order to contribute to a rigorous formalization of the cavity method:</p>
          <simplelist>
            <li id="uid75">
              <p noindent="true">From local to global, the cavity method on diluted graphs. We will study the extent to which the global properties of a random process defined on some graph are determined by the local properties of interactions on this graph. To this end, we will relate the cavity method to the analysis of the complex zeros of the partition function, an approach that also comes from statistical mechanics. This will allow us to apply new techniques to the study of random processes on large diluted graphs and associated random matrices.</p>
            </li>
            <li id="uid76">
              <p noindent="true">Combinatorial optimization, network algorithms, statistical inference and social sciences. Motivated by combinatorial optimization problems, we will attack long-standing open questions in theoretical computer science with the new tools developed in the first project. We expect to design new distributed algorithms for communication networks and new algorithms for inference in graphical models. We will also analyze networks from an economic perspective by studying games on complex networks.</p>
            </li>
          </simplelist>
        </subsection>
        <subsection id="uid77" level="3">
          <bodyTitle>ANR MARMOTE</bodyTitle>
          <p>Markovian Modeling Tools and Environments -
coordinator: Alain Jean-Marie (Inria Maestro); local coordinator (for partner Inria Paris-Rocquencourt): A. Bušić; Started: January 2013; Duration: 48 months; partners: Inria Paris-Rocquencourt (EPI DYOGENE),
Inria Sophia Antipolis Méditerranée (EPI MAESTRO),
Inria Grenoble Rhône-Alpes (EPI MESCAL),
Université Versaillese-St Quentin, Telecom SudParis, Université Paris-Est Creteil, Université Pierre et Marie Curie.</p>
          <p>The aim of the project is to realize a modeling environment dedicated
to Markov models. One part will develop the Perfect Simulation
techniques, which allow to sample from the stationary distribution of
the process. A second one will develop parallelization techniques for
Monte Carlo simulation. A third one will develop numerical computation
techniques for a wide class of Markov models. All these developments
will be integrated into a programming environment allowing the
specification of models and their solution strategy. Several
applications will be studied in various scientific disciplines:
physics, biology, economics, network engineering.</p>
        </subsection>
      </subsection>
    </subsection>
    <subsection id="uid78" level="1">
      <bodyTitle>International Initiatives</bodyTitle>
      <subsection id="uid79" level="2">
        <bodyTitle>Inria Associate Teams not involved in an Inria International Labs</bodyTitle>
        <subsection id="uid80" level="3">
          <bodyTitle>
            <ref xlink:href="http://www.di.ens.fr/~busic/PARIS/" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">PARIS </ref>
          </bodyTitle>
          <sanspuceslist>
            <li id="uid81">
              <p noindent="true">Title: Probabilistic Algorithms for Renewable Integration in Smart Grid</p>
            </li>
            <li id="uid82">
              <p noindent="true">International Partner (Institution - Laboratory - Researcher):</p>
              <sanspuceslist>
                <li id="uid83">
                  <p noindent="true">University of Florida (United States)
- Department of Electrical and Computer Engineering - Sean Meyn</p>
                </li>
              </sanspuceslist>
            </li>
            <li id="uid84">
              <p noindent="true">Start year: 2015</p>
            </li>
            <li id="uid85">
              <p noindent="true">See also: <ref xlink:href="http://www.di.ens.fr/~busic/PARIS/" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www.<allowbreak/>di.<allowbreak/>ens.<allowbreak/>fr/<allowbreak/>~busic/<allowbreak/>PARIS/</ref></p>
            </li>
            <li id="uid86">
              <p noindent="true">The importance of statistical modeling and probabilistic controlechniques in the power systems area is now evident to practitioners in both the U.S. and Europe. Increased introduction of renewable generation has brought unforeseen volatility to the grid that require new techniques in distributed and probabilistic control. This Associate Team brings together the complementary skills in optimization, Markov modeling, simulation, and stochastic networks with aim to help solving some pressing open problems in this area. This collaboration also opens many exciting new scientific questions in the broad area of stochastic modeling and control.</p>
            </li>
          </sanspuceslist>
        </subsection>
      </subsection>
    </subsection>
    <subsection id="uid87" level="1">
      <bodyTitle>International Research Visitors</bodyTitle>
      <subsection id="uid88" level="2">
        <bodyTitle>Visits of International Scientists</bodyTitle>
        <simplelist>
          <li id="uid89">
            <p noindent="true">Venkatachalam Anantharam [Professor, University of California, Jul 2015]</p>
          </li>
          <li id="uid90">
            <p noindent="true">Bruce Hajek [Professor, CSL, from Feb 2015 until Mar 2015]</p>
          </li>
          <li id="uid91">
            <p noindent="true">Holger Keeler [Post-Doctoral Fellow, Weierstrass Institute, Mar 2015]</p>
          </li>
          <li id="uid92">
            <p noindent="true">Armand Makowski [Professor, University of Maryland, Jul 2015]</p>
          </li>
          <li id="uid93">
            <p noindent="true">Peter Marbach [Professor, University of Toronto, from Jan until Jul 2015]</p>
          </li>
          <li id="uid94">
            <p noindent="true">Piotr Markowski [PhD Student, University of Wroclaw, Jun 2015]</p>
          </li>
          <li id="uid95">
            <p noindent="true">Sean Meyn [Professor, University of Florida, Feb 2015 and Jul 2015]</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid96" level="2">
        <bodyTitle>Visits to International Teams</bodyTitle>
        <subsection id="uid97" level="3">
          <bodyTitle>Research stays abroad</bodyTitle>
          <p>Bartek Blaszczyszyn was visiting Mathematical Department of Wroclaw Universty for two weeks in April and October 2015 giving a series of lectures on stochastic geometry and modeling of communication networks.</p>
        </subsection>
      </subsection>
    </subsection>
  </partenariat>
  <diffusion id="uid98">
    <bodyTitle>Dissemination</bodyTitle>
    <subsection id="uid99" level="1">
      <bodyTitle>Promoting Scientific Activities</bodyTitle>
      <subsection id="uid100" level="2">
        <bodyTitle>Scientific events organisation</bodyTitle>
        <simplelist>
          <li id="uid101">
            <p noindent="true">Bartek Blaszczyszyn and Marc Lelarge co-organized Stochastic networks and stochastic geometry conference dedicated to François Baccelli on his 60th birthday; <ref xlink:href="http://www.di.ens.fr/~blaszczy/FB60/" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www.<allowbreak/>di.<allowbreak/>ens.<allowbreak/>fr/<allowbreak/>~blaszczy/<allowbreak/>FB60/</ref></p>
          </li>
          <li id="uid102">
            <p noindent="true">M. Lelarge: Co-organizer, Cargèse fall school on random graphs, with Dieter Mitsche and Pawel Pralat</p>
            <p noindent="true">
              <ref xlink:href="http://math.unice.fr/~dmitsche/Fallschool/Fallschool.html" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>math.<allowbreak/>unice.<allowbreak/>fr/<allowbreak/>~dmitsche/<allowbreak/>Fallschool/<allowbreak/>Fallschool.<allowbreak/>html</ref>
            </p>
          </li>
          <li id="uid103">
            <p noindent="true">M. Lelarge: Co-organizer, Workshop on Community Detection, with Laurent Massoulié</p>
            <p noindent="true">
              <ref xlink:href="http://www.msr-inria.fr/conferences-workshops/workshop-on-community-detection-at-institut-henri-poincare/" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www.<allowbreak/>msr-inria.<allowbreak/>fr/<allowbreak/>conferences-workshops/<allowbreak/>workshop-on-community-detection-at-institut-henri-poincare/</ref>
            </p>
          </li>
        </simplelist>
        <subsection id="uid104" level="3">
          <bodyTitle>Chair of conference program committees</bodyTitle>
          <p>Ana Busic: Valuetools 2015 TPC co-chair.
<ref xlink:href="http://valuetools.org/2015/show/home" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>valuetools.<allowbreak/>org/<allowbreak/>2015/<allowbreak/>show/<allowbreak/>home</ref></p>
        </subsection>
        <subsection id="uid105" level="3">
          <bodyTitle>Member of the conference program committees</bodyTitle>
          <simplelist>
            <li id="uid106">
              <p noindent="true">Bartek Blaszczyszyn: WiOpt/SpaSWiN 2015</p>
            </li>
            <li id="uid107">
              <p noindent="true">Anne Bouillard was a member of the program commitee of WiOpt 2015 and Valuetools 2015.</p>
            </li>
            <li id="uid108">
              <p noindent="true">Ana Busic: ACM Sigmetrics, WiOpt, IEEE SmartGridComm.</p>
            </li>
            <li id="uid109">
              <p noindent="true">Marc Lelarge: WEIS, WiOpt, WAW.</p>
            </li>
          </simplelist>
        </subsection>
      </subsection>
      <subsection id="uid110" level="2">
        <bodyTitle>Journal</bodyTitle>
        <subsection id="uid111" level="3">
          <bodyTitle>Member of the editorial boards</bodyTitle>
          <simplelist>
            <li id="uid112">
              <p noindent="true">F. Baccelli serves on the editorial borads of: Bernoulli, JAP, AAP et Questa.</p>
            </li>
            <li id="uid113">
              <p noindent="true">M. Lelarge serves on the editorial borads of: IEEE's Transactions on Network Science and Engineering, Bernoulli Journal and Queueing Systems.</p>
            </li>
          </simplelist>
        </subsection>
      </subsection>
      <subsection id="uid114" level="2">
        <bodyTitle>Invited talks</bodyTitle>
        <simplelist>
          <li id="uid115">
            <p noindent="true">F. Baccelli gave the following invited lectures:
Keynote Lecture, <i>ISWCS'15</i>, Brussels, August 2015; Invited lecture at the <i>Huawei Vision Forum, Paris</i>, on
stochastic geometry for wireless networks, March 2015; Invited lecture at the <i>EPFL Inria Joint Meeting, Lausanne</i>,
on coverage in cellular networks, January 2015.</p>
          </li>
          <li id="uid116">
            <p noindent="true">Bartek Blaszczyszyn: WiOpt/SpaSWiN 2015, Simons workshop on Stochastic Geometry and Networks, University of Texas at Austin.</p>
          </li>
          <li id="uid117">
            <p noindent="true">A. Busic: keynote talk at CaFFEET (California France Forum on Energy Efficiency Technologies); <ref xlink:href="http://caffeet.com/" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>caffeet.<allowbreak/>com/</ref></p>
          </li>
          <li id="uid118">
            <p noindent="true">M. Lelarge: The International Symposium on Optimization (ISMP), Pittsburgh (Jul.); CAp2015 : Conférence sur l'APprentissage automatique, Lille (Jul.); Algotel, Beaunes (Jun.); DALI 2015 - Workshop on Learning Theory, Spain (Apr.); Assemblée Générale du GdR Information Signal Image viSion (ISIS), Lyon (Apr.); Combinatorial and algorithmic aspects of convexity, Paris (Jan.).</p>
          </li>
        </simplelist>
      </subsection>
    </subsection>
    <subsection id="uid119" level="1">
      <bodyTitle>Teaching - Supervision - Juries</bodyTitle>
      <subsection id="uid120" level="2">
        <bodyTitle>Teaching</bodyTitle>
        <sanspuceslist>
          <li id="uid121">
            <p noindent="true">Licence : Anne Bouillard (Cours) et Ana Busic (TD) <b>Structures et algorithmes aléatoires</b> 80heqTD, L3, ENS, France.</p>
          </li>
          <li id="uid122">
            <p noindent="true">Licence : Anne Bouillard (Cours) <b>Théorie de l'information et du codage</b> 36 heqTD, L3, ENS, France.</p>
          </li>
          <li id="uid123">
            <p noindent="true">Licence : Anne Bouillard (Cours) <b>Algorithmique et programmation</b> 21 heqTD, L3, ENS, France.</p>
          </li>
          <li id="uid124">
            <p noindent="true">Licence : Anne Bouillard (TD) <b>Systèmes digitaux</b> 9 heqTD, L3, ENS, France.</p>
          </li>
          <li id="uid125">
            <p noindent="true">Master: Bartek Blaszczyszyn (with Laurent Massoulié), Graduate Course on point processes, stochastic geometry and random graphs (program “Master de Sciences et Technologies”), 45h, UPMC, Paris 6, France.</p>
          </li>
          <li id="uid126">
            <p noindent="true">Master : Bartek Blaszczyszyn (with Laurent Decreusefond), Graduate Course on Spatial Stochastic Modeling of Wireless Networks (master program “Advanced Communication Networks”), 45h, l'X and Telecom ParisTech, Paris.</p>
          </li>
          <li id="uid127">
            <p noindent="true">Master : Anne Bouillard (Cours + TD) <b>Fondements de la modélisation des réseaux</b> 18heqTD, M2, MPRI, France</p>
          </li>
          <li id="uid128">
            <p noindent="true">Master: Ana Busic et Marc Lelarge (Cours) et Rémi Varloot (TD) Modèles et algorithmes de réseaux, 50heqTD, M1, ENS, Paris, France.</p>
          </li>
          <li id="uid129">
            <p noindent="true">Master: Ana Busic, Simulation, 9hCours, M2 AMIS, UVSQ, France</p>
          </li>
          <li id="uid130">
            <p noindent="true">Master: Marc Lelarge (Cours), Algorithms for Networked Information, 27heqTD, M2 ACN, Ecole polytechnique</p>
          </li>
          <li id="uid131">
            <p noindent="true">Master: Marc Lelarge (TD), Networks: distributed control and emerging phenomena, 36 heqTD, M1, Ecole polytechnique.</p>
          </li>
        </sanspuceslist>
      </subsection>
      <subsection id="uid132" level="2">
        <bodyTitle>Supervision</bodyTitle>
        <sanspuceslist>
          <li id="uid133">
            <p noindent="true">HdR : Marc Lelarge, Topics in random graphs, combinatorial optimization, and statistical inference<ref xlink:href="#dyogene-2015-bid48" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, ENS, 23 février 2015.</p>
          </li>
          <li id="uid134">
            <p noindent="true">PhD : Miodrag Jovanovic, Evaluation and optimization of the quality perceived by mobile users for new services in cellular networks, started in January 2012, defended in 2015 advisor B. Blaszczyszyn, co-advisor M.Karray; <ref xlink:href="#dyogene-2015-bid26" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/></p>
          </li>
          <li id="uid135">
            <p noindent="true">PhD in progress : Kumar Gaurav, Convex comparison of network architectures, started in October 2011, advisor B. Blaszczyszyn;</p>
          </li>
          <li id="uid136">
            <p noindent="true">PhD in progress : Christelle Rovetta, Applications of perfect sampling to queuing networks and random generation of combinatorial objects, from December 2013, co-advised by Anne Bouillard and Ana Busic;</p>
          </li>
          <li id="uid137">
            <p noindent="true">PhD in progress : Umar Hashmi, Decentralized control for renewable integration in smartgrids, from December 2015, advisors: A. Busic and M. Lelarge;</p>
          </li>
          <li id="uid138">
            <p noindent="true">PhD in progress: Lennart Gulikers, Spectral clustering, depuis décembre 2014, encadrants: Marc Lelarge et Laurent Massoulié</p>
          </li>
          <li id="uid139">
            <p noindent="true">PhD in progress : Rémi Varloot, Dynamique de Formation des Réseaux, depuis février 2015, encadrants: Marc Lelarge et Laurent Massoulié</p>
          </li>
          <li id="uid140">
            <p noindent="true">PhD in progress: Alexandre Hollocou, Local community detection, depuis décembre 2015, encadrants: Thomas Bonald et Marc Lelarge</p>
          </li>
        </sanspuceslist>
      </subsection>
      <subsection id="uid141" level="2">
        <bodyTitle>Juries</bodyTitle>
        <simplelist>
          <li id="uid142">
            <p noindent="true">A. Busic: Examiner for PhD: Pierre-Antoine BRAMERET (ENS Cachan) 2015.</p>
          </li>
          <li id="uid143">
            <p noindent="true">A. Busic: membre du jury de recrutement CR2 Inria Saclay - Île-de-France.</p>
          </li>
          <li id="uid144">
            <p noindent="true">A. Busic: membre de la Commission des Emplois Scientifiques du CRI Paris‐Rocquencourt</p>
          </li>
          <li id="uid145">
            <p noindent="true">A. Busic: membre de la Commission de développement technologique (CDT) de Paris-Rocquencourt</p>
          </li>
          <li id="uid146">
            <p noindent="true">M. Lelarge: External Examiner for PhD: Jean Barbier (ENS) and Hang Zhou (ENS)</p>
          </li>
          <li id="uid147">
            <p noindent="true">M. Lelarge: Member of the hiring committee for “maître de conférence Probabilités (Université Lyon 1)”</p>
          </li>
        </simplelist>
      </subsection>
    </subsection>
  </diffusion>
  <biblio id="bibliography" html="bibliography" numero="10" titre="Bibliography">
    
    <biblStruct id="dyogene-2015-bid26" type="phdthesis" rend="year" n="cite:jovanovic:tel-01238450">
      <identifiant type="hal" value="tel-01238450"/>
      <monogr>
        <title level="m">Evaluation and optimization of the quality of service perceived by mobile users for new services in cellular networks</title>
        <author>
          <persName key="dyogene-2014-idp82320">
            <foreName>Miodrag</foreName>
            <surname>Jovanovic</surname>
            <initial>M.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName type="school">Télécom ParisTech</orgName>
          </publisher>
          <dateStruct>
            <month>September</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/tel-01238450" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>tel-01238450</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Theses</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid48" type="hdrthesis" rend="year" n="cite:lelarge:tel-01254928">
      <identifiant type="hal" value="tel-01254928"/>
      <monogr>
        <title level="m">Topics in random graphs, combinatorial optimization, and statistical inference</title>
        <author>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName type="school">ENS Paris - Ecole Normale Supérieure de Paris</orgName>
          </publisher>
          <dateStruct>
            <month>February</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/tel-01254928" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>tel-01254928</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Habilitation à diriger des recherches</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid47" type="article" rend="year" n="cite:amini:hal-01254904">
      <identifiant type="doi" value="10.1214/14-AAP1034"/>
      <identifiant type="hal" value="hal-01254904"/>
      <analytic>
        <title level="a">The diameter of weighted random graphs</title>
        <author>
          <persName>
            <foreName>Hamed</foreName>
            <surname>Amini</surname>
            <initial>H.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00134">
        <idno type="issn">1050-5164</idno>
        <title level="j">The Annals of Applied Probability</title>
        <imprint>
          <biblScope type="volume">25</biblScope>
          <biblScope type="number">3</biblScope>
          <dateStruct>
            <month>June</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01254904" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01254904</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid62" type="article" rend="year" n="cite:anantharam:hal-01259164">
      <identifiant type="doi" value="10.1239/aap/1427814578"/>
      <identifiant type="hal" value="hal-01259164"/>
      <analytic>
        <title level="a">Capacity and error exponents of stationary point processes under random additive displacements</title>
        <author>
          <persName key="dyogene-2014-idp84784">
            <foreName>Venkat</foreName>
            <surname>Anantharam</surname>
            <initial>V.</initial>
          </persName>
          <persName key="dyogene-2014-idp62920">
            <foreName>François</foreName>
            <surname>Baccelli</surname>
            <initial>F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00082">
        <idno type="issn">0001-8678</idno>
        <title level="j">Advances in Applied Probability</title>
        <imprint>
          <biblScope type="volume">47</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <month>March</month>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">1-26</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-01259164" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01259164</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid25" type="article" rend="best" n="cite:bayati:hal-01254901">
      <identifiant type="doi" value="10.1214/14-AAP1010"/>
      <identifiant type="hal" value="hal-01254901"/>
      <analytic>
        <title level="a">Universality in polytope phase transitions and message passing algorithms</title>
        <author>
          <persName>
            <foreName>Mohsen</foreName>
            <surname>Bayati</surname>
            <initial>M.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Andrea</foreName>
            <surname>Montanari</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00134">
        <idno type="issn">1050-5164</idno>
        <title level="j">Annals of Applied Probability</title>
        <imprint>
          <biblScope type="volume">25</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <month>April</month>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">753-822</biblScope>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01254901" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01254901</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid34" type="article" rend="year" n="cite:blaszczyszyn:hal-01215566">
      <identifiant type="doi" value="10.1109/TWC.2015.2476465"/>
      <identifiant type="hal" value="hal-01215566"/>
      <analytic>
        <title level="a">Spatial distribution of the SINR in Poisson cellular networks with sector antennas</title>
        <author>
          <persName key="dyogene-2014-idp64408">
            <foreName>Bartlomiej</foreName>
            <surname>Blaszczyszyn</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Mohamed</foreName>
            <surname>Karray</surname>
            <initial>M.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00762">
        <idno type="issn">1536-1276</idno>
        <title level="j">IEEE Transactions on Wireless Communications</title>
        <imprint>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01215566" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01215566</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid31" type="article" rend="year" n="cite:blaszczyszyn:hal-01064378">
      <identifiant type="doi" value="10.1109/TWC.2015.2420099"/>
      <identifiant type="hal" value="hal-01064378"/>
      <analytic>
        <title level="a">Wireless networks appear Poissonian due to strong shadowing</title>
        <author>
          <persName key="dyogene-2014-idp64408">
            <foreName>Bartlomiej</foreName>
            <surname>Blaszczyszyn</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Mohamed Kadhem</foreName>
            <surname>Karray</surname>
            <initial>M. K.</initial>
          </persName>
          <persName key="dyogene-2014-idp71056">
            <foreName>Holger Paul</foreName>
            <surname>Keeler</surname>
            <initial>H. P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00762">
        <idno type="issn">1536-1276</idno>
        <title level="j">IEEE Transaction on Wireless Communication</title>
        <imprint>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01064378" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01064378</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid29" type="article" rend="year" n="cite:blaszczyszyn:hal-00932106">
      <identifiant type="doi" value="10.1109/TIT.2015.2484348"/>
      <identifiant type="hal" value="hal-00932106"/>
      <analytic>
        <title level="a">Studying the SINR process of the typical user in Poisson networks by using its factorial moment measures</title>
        <author>
          <persName key="dyogene-2014-idp64408">
            <foreName>Bartlomiej</foreName>
            <surname>Blaszczyszyn</surname>
            <initial>B.</initial>
          </persName>
          <persName key="dyogene-2014-idp71056">
            <foreName>Holger</foreName>
            <surname>Keeler</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00734">
        <idno type="issn">0018-9448</idno>
        <title level="j">IEEE Transactions on Information Theory</title>
        <imprint>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-00932106" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00932106</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid27" type="article" rend="year" n="cite:blaszczyszyn:hal-01082772">
      <identifiant type="doi" value="10.1007/s12243-014-0455-2"/>
      <identifiant type="arXiv" value="1002.1629"/>
      <identifiant type="hal" value="hal-01082772"/>
      <analytic>
        <title level="a">Interference and SINR coverage in spatial non-slotted Aloha networks</title>
        <author>
          <persName key="dyogene-2014-idp64408">
            <foreName>Bartlomiej</foreName>
            <surname>Blaszczyszyn</surname>
            <initial>B.</initial>
          </persName>
          <persName key="hipercom2-2014-idp76120">
            <foreName>Paul</foreName>
            <surname>Muhlethaler</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00130">
        <idno type="issn">0003-4347</idno>
        <title level="j">annals of telecommunications - annales des télécommunications</title>
        <imprint>
          <biblScope type="volume">70</biblScope>
          <biblScope type="number">7</biblScope>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">345-358</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-01082772" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01082772</ref>
        </imprint>
      </monogr>
      <note type="bnote">arXiv admin note: substantial text overlap with arXiv:1002.1629</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid28" type="article" rend="year" n="cite:blaszczyszyn:hal-00722000">
      <identifiant type="doi" value="10.1109/TWC.2015.2409845"/>
      <identifiant type="hal" value="hal-00722000"/>
      <analytic>
        <title level="a">Random linear multihop relaying in a general field of interferers using spatial Aloha</title>
        <author>
          <persName key="dyogene-2014-idp64408">
            <foreName>Bartlomiej</foreName>
            <surname>Blaszczyszyn</surname>
            <initial>B.</initial>
          </persName>
          <persName key="hipercom2-2014-idp76120">
            <foreName>Paul</foreName>
            <surname>Muhlethaler</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00762">
        <idno type="issn">1536-1276</idno>
        <title level="j">IEEE Transactions on Wireless Communications</title>
        <imprint>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">15</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-00722000" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00722000</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid38" type="article" rend="year" n="cite:bouillard:hal-01231495">
      <identifiant type="doi" value="10.1016/j.peva.2015.06.016"/>
      <identifiant type="hal" value="hal-01231495"/>
      <analytic>
        <title level="a">Fast symbolic computation of the worst-case delay in tandem networks and applications</title>
        <author>
          <persName key="dyogene-2014-idp68352">
            <foreName>Anne</foreName>
            <surname>Bouillard</surname>
            <initial>A.</initial>
          </persName>
          <persName key="dyogene-2014-idp74824">
            <foreName>Thomas</foreName>
            <surname>Nowak</surname>
            <initial>T.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid01567">
        <idno type="issn">0166-5316</idno>
        <title level="j">Performance Evaluation</title>
        <imprint>
          <biblScope type="volume">91</biblScope>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">270-285</biblScope>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01231495" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01231495</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid37" type="article" rend="year" n="cite:bouillard:hal-01255070">
      <identifiant type="doi" value="10.1109/TNET.2014.2332071"/>
      <identifiant type="hal" value="hal-01255070"/>
      <analytic>
        <title level="a">Exact Worst-Case Delay in FIFO-Multiplexing Feed-Forward Networks</title>
        <author>
          <persName key="dyogene-2014-idp68352">
            <foreName>Anne</foreName>
            <surname>Bouillard</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Giovanni</foreName>
            <surname>Stea</surname>
            <initial>G.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00764">
        <idno type="issn">1063-6692</idno>
        <title level="j">IEEE/ACM Transactions on Networking</title>
        <imprint>
          <biblScope type="volume">23</biblScope>
          <biblScope type="number">5</biblScope>
          <dateStruct>
            <month>October</month>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">1387 - 1400</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-01255070" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01255070</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid39" type="article" rend="year" n="cite:busic:hal-01236542">
      <identifiant type="doi" value="10.1007/s11134-015-9436-z"/>
      <identifiant type="hal" value="hal-01236542"/>
      <analytic>
        <title level="a">Perfect sampling of Jackson queueing networks</title>
        <author>
          <persName key="dyogene-2014-idp65864">
            <foreName>Ana</foreName>
            <surname>Busic</surname>
            <initial>A.</initial>
          </persName>
          <persName key="mescal-2014-idp100104">
            <foreName>Stéphane</foreName>
            <surname>Durand</surname>
            <initial>S.</initial>
          </persName>
          <persName key="mescal-2014-idm28616">
            <foreName>Bruno</foreName>
            <surname>Gaujal</surname>
            <initial>B.</initial>
          </persName>
          <persName key="mescal-2014-idp68576">
            <foreName>Florence</foreName>
            <surname>Perronnin</surname>
            <initial>F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid01651">
        <idno type="issn">0257-0130</idno>
        <title level="j">Queueing Systems</title>
        <imprint>
          <biblScope type="volume">80</biblScope>
          <biblScope type="number">3</biblScope>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">37</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-01236542" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01236542</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid46" type="article" rend="year" n="cite:coupechoux:hal-01254908">
      <identifiant type="doi" value="10.1239/aap/1449859796"/>
      <identifiant type="hal" value="hal-01254908"/>
      <analytic>
        <title level="a">Contagions in random networks with overlapping communities</title>
        <author>
          <persName>
            <foreName>Emilie</foreName>
            <surname>Coupechoux</surname>
            <initial>E.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00082">
        <idno type="issn">0001-8678</idno>
        <title level="j">Advances in Applied Probability</title>
        <imprint>
          <biblScope type="volume">47</biblScope>
          <biblScope type="number">4</biblScope>
          <dateStruct>
            <month>December</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01254908" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01254908</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid36" type="article" rend="year" n="cite:elias:hal-01256449">
      <identifiant type="doi" value="10.1109/TVT.2014.2361284"/>
      <identifiant type="hal" value="hal-01256449"/>
      <analytic>
        <title level="a">Cross-Technology Interference Mitigation in Body Area Networks: An Optimization Approach</title>
        <author>
          <persName key="dyogene-2015-idp70664">
            <foreName>Jocelyne</foreName>
            <surname>Elias</surname>
            <initial>J.</initial>
          </persName>
          <persName>
            <foreName>Stefano</foreName>
            <surname>Paris</surname>
            <initial>S.</initial>
          </persName>
          <persName>
            <foreName>Marwan</foreName>
            <surname>Krunz</surname>
            <initial>M.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00759">
        <idno type="issn">0018-9545</idno>
        <title level="j">IEEE Transactions on Vehicular Technology</title>
        <imprint>
          <biblScope type="volume">64</biblScope>
          <biblScope type="number">9</biblScope>
          <dateStruct>
            <month>September</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01256449" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01256449</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid52" type="article" rend="year" n="cite:fugger:hal-01231498">
      <identifiant type="doi" value="10.1016/j.peva.2015.08.002"/>
      <identifiant type="hal" value="hal-01231498"/>
      <analytic>
        <title level="a">The Effect of Forgetting on the Performance of a Synchronizer</title>
        <author>
          <persName>
            <foreName>Matthias</foreName>
            <surname>Függer</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Alexander</foreName>
            <surname>Kößler</surname>
            <initial>A.</initial>
          </persName>
          <persName key="dyogene-2014-idp74824">
            <foreName>Thomas</foreName>
            <surname>Nowak</surname>
            <initial>T.</initial>
          </persName>
          <persName>
            <foreName>Ulrich</foreName>
            <surname>Schmid</surname>
            <initial>U.</initial>
          </persName>
          <persName>
            <foreName>Martin</foreName>
            <surname>Zeiner</surname>
            <initial>M.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid01567">
        <idno type="issn">0166-5316</idno>
        <title level="j">Performance Evaluation</title>
        <imprint>
          <biblScope type="volume">93</biblScope>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">1-16</biblScope>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01231498" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01231498</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid53" type="article" rend="year" n="cite:fugger:hal-01231501">
      <identifiant type="doi" value="10.1109/TC.2015.2435791"/>
      <identifiant type="hal" value="hal-01231501"/>
      <analytic>
        <title level="a">Unfaithful Glitch Propagation in Existing Binary Circuit Models</title>
        <author>
          <persName>
            <foreName>Matthias</foreName>
            <surname>Függer</surname>
            <initial>M.</initial>
          </persName>
          <persName key="dyogene-2014-idp74824">
            <foreName>Thomas</foreName>
            <surname>Nowak</surname>
            <initial>T.</initial>
          </persName>
          <persName>
            <foreName>Ulrich</foreName>
            <surname>Schmid</surname>
            <initial>U.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00720">
        <idno type="issn">0018-9340</idno>
        <title level="j">IEEE Transactions on Computers</title>
        <imprint>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01231501" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01231501</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid61" type="article" rend="year" n="cite:giovanidis:hal-00826844">
      <identifiant type="doi" value="10.1109/TWC.2014.2360196"/>
      <identifiant type="hal" value="hal-00826844"/>
      <analytic>
        <title level="a">A Stochastic Geometry Framework for Analyzing Pairwise-Cooperative Cellular Networks</title>
        <author>
          <persName>
            <foreName>Anastasios</foreName>
            <surname>Giovanidis</surname>
            <initial>A.</initial>
          </persName>
          <persName key="dyogene-2014-idp62920">
            <foreName>Francois</foreName>
            <surname>Baccelli</surname>
            <initial>F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00762">
        <idno type="issn">1536-1276</idno>
        <title level="j">IEEE Transactions on Wireless Communications</title>
        <imprint>
          <biblScope type="volume">14</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <month>February</month>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">794 - 808</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-00826844" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00826844</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid35" type="article" rend="year" n="cite:karray:hal-01215619">
      <identifiant type="doi" value="10.1007/s12243-015-0469-4"/>
      <identifiant type="hal" value="hal-01215619"/>
      <analytic>
        <title level="a">Theoretical expression of link performance in OFDM cellular networks with MIMO compared to simulation and measurements</title>
        <author>
          <persName>
            <foreName>Mohamed Kadhem</foreName>
            <surname>Karray</surname>
            <initial>M. K.</initial>
          </persName>
          <persName key="dyogene-2014-idp82320">
            <foreName>Miodrag</foreName>
            <surname>Jovanovic</surname>
            <initial>M.</initial>
          </persName>
          <persName key="dyogene-2014-idp64408">
            <foreName>Bartłomiej</foreName>
            <surname>Błaszczyszyn</surname>
            <initial>B.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00130">
        <idno type="issn">0003-4347</idno>
        <title level="j">annals of telecommunications - annales des télécommunications</title>
        <imprint>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01215619" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01215619</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid18" type="article" rend="year" n="cite:meyn:hal-01251252">
      <identifiant type="doi" value="10.1109/TAC.2015.2414772"/>
      <identifiant type="hal" value="hal-01251252"/>
      <analytic>
        <title level="a">Ancillary Service to the Grid Using Intelligent Deferrable Loads</title>
        <author>
          <persName>
            <foreName>Sean</foreName>
            <surname>Meyn</surname>
            <initial>S.</initial>
          </persName>
          <persName>
            <foreName>Prabir</foreName>
            <surname>Barooah</surname>
            <initial>P.</initial>
          </persName>
          <persName key="dyogene-2014-idp65864">
            <foreName>Ana</foreName>
            <surname>Busic</surname>
            <initial>A.</initial>
          </persName>
          <persName key="flowers-2014-idp93936">
            <foreName>Yue</foreName>
            <surname>Chen</surname>
            <initial>Y.</initial>
          </persName>
          <persName>
            <foreName>Jordan</foreName>
            <surname>Ehren</surname>
            <initial>J.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00707">
        <idno type="issn">0018-9286</idno>
        <title level="j">IEEE Transactions on Automatic Control</title>
        <imprint>
          <biblScope type="volume">60</biblScope>
          <biblScope type="number">11</biblScope>
          <dateStruct>
            <month>November</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01251252" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01251252</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid59" type="inproceedings" rend="year" n="cite:anantharam:hal-01259176">
      <identifiant type="doi" value="10.1109/ISIT.2015.7282592"/>
      <identifiant type="hal" value="hal-01259176"/>
      <analytic>
        <title level="a">On error exponents for a dimension-matched vector MAC with additive noise</title>
        <author>
          <persName key="dyogene-2014-idp84784">
            <foreName>Venkat</foreName>
            <surname>Anantharam</surname>
            <initial>V.</initial>
          </persName>
          <persName key="dyogene-2014-idp62920">
            <foreName>François</foreName>
            <surname>Baccelli</surname>
            <initial>F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">Information Theory (ISIT), 2015 IEEE International Symposium on</title>
        <loc>Hong Kong, China</loc>
        <imprint>
          <dateStruct>
            <month>June</month>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">934-938</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-01259176" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01259176</ref>
        </imprint>
        <meeting id="cid89373">
          <title>IEEE International Symposium on Information Theory</title>
          <num>2015</num>
          <abbr type="sigle">ISIT</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid58" type="inproceedings" rend="year" n="cite:baccelli:hal-01259166">
      <identifiant type="doi" value="10.1109/INFOCOM.2015.7218450"/>
      <identifiant type="hal" value="hal-01259166"/>
      <analytic>
        <title level="a">A correlated shadowing model for urban wireless networks</title>
        <author>
          <persName key="dyogene-2014-idp62920">
            <foreName>François</foreName>
            <surname>Baccelli</surname>
            <initial>F.</initial>
          </persName>
          <persName key="tempo-2014-idm26072">
            <foreName>Xinchen</foreName>
            <surname>Zhang</surname>
            <initial>X.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">Computer Communications (INFOCOM), 2015 IEEE Conference on</title>
        <loc>Kowloon, China</loc>
        <title level="s">Computer Communications (INFOCOM), 2015 IEEE Conference on</title>
        <imprint>
          <dateStruct>
            <month>April</month>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">801-809</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-01259166" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01259166</ref>
        </imprint>
        <meeting id="cid30452">
          <title>Annual IEEE Conference on Computer Communications</title>
          <num>34</num>
          <abbr type="sigle">INFOCOM</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid17" type="inproceedings" rend="year" n="cite:barooah:hal-01251403">
      <identifiant type="doi" value="10.1109/HICSS.2015.325"/>
      <identifiant type="hal" value="hal-01251403"/>
      <analytic>
        <title level="a">Spectral Decomposition of Demand-Side Flexibility for Reliable Ancillary Services in a Smart Grid </title>
        <author>
          <persName>
            <foreName>Prabir</foreName>
            <surname>Barooah</surname>
            <initial>P.</initial>
          </persName>
          <persName key="dyogene-2014-idp65864">
            <foreName>Ana</foreName>
            <surname>Busic</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Sean</foreName>
            <surname>Meyn</surname>
            <initial>S.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">48th Hawaii International Conference on System Sciences (HICSS)</title>
        <loc>Kauai, HI, United States</loc>
        <title level="s">Proceedings of 48th Hawaii International Conference on System Sciences (HICSS), 2015</title>
        <imprint>
          <publisher>
            <orgName>IEEE</orgName>
          </publisher>
          <dateStruct>
            <month>January</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01251403" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01251403</ref>
        </imprint>
        <meeting id="cid81712">
          <title>Hawaii International Conference on System Sciences</title>
          <num>48</num>
          <abbr type="sigle">HICSS</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid33" type="inproceedings" rend="year" n="cite:blaszczyszyn:hal-01069678">
      <identifiant type="hal" value="hal-01069678"/>
      <analytic>
        <title level="a">Optimal Geographic Caching In Cellular Networks</title>
        <author>
          <persName key="dyogene-2014-idp64408">
            <foreName>Bartlomiej</foreName>
            <surname>Blaszczyszyn</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Anastasios</foreName>
            <surname>Giovanidis</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">IEEE International Conference on Communications (ICC)</title>
        <loc>London, United Kingdom</loc>
        <title level="s">Proceedings IEEE 2015 International Conference on Communications</title>
        <imprint>
          <publisher>
            <orgName type="organisation">IEEE</orgName>
          </publisher>
          <dateStruct>
            <month>June</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01069678" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01069678</ref>
        </imprint>
        <meeting id="cid81826">
          <title>IEEE International Conference on Communications</title>
          <num>2010</num>
          <abbr type="sigle">IEEE ICC</abbr>
        </meeting>
      </monogr>
      <note type="bnote">6 pages, 6 figures, conference ICC</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid30" type="inproceedings" rend="year" n="cite:blaszczyszyn:hal-01089264">
      <identifiant type="doi" value="10.1109/WIOPT.2015.7151124"/>
      <identifiant type="hal" value="hal-01089264"/>
      <analytic>
        <title level="a">Performance laws of large heterogeneous cellular networks</title>
        <author>
          <persName key="dyogene-2014-idp64408">
            <foreName>Bartlomiej</foreName>
            <surname>Blaszczyszyn</surname>
            <initial>B.</initial>
          </persName>
          <persName key="dyogene-2014-idp82320">
            <foreName>Miodrag</foreName>
            <surname>Jovanovic</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Mohamed Kadhem</foreName>
            <surname>Karray</surname>
            <initial>M. K.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">WiOpt/SpaSWiN 2015</title>
        <loc>Bombay, India</loc>
        <title level="s">Proc of WiOpt/SpaSWiN 2015</title>
        <imprint>
          <dateStruct>
            <month>May</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01089264" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01089264</ref>
        </imprint>
        <meeting id="cid625003">
          <title>Spatial Stochastic Models for Wireless Networks</title>
          <num>2015</num>
          <abbr type="sigle">WiOpt SpaSWiN</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid32" type="inproceedings" rend="year" n="cite:blaszczyszyn:hal-01070210">
      <identifiant type="doi" value="10.1109/WIOPT.2015.7151119"/>
      <identifiant type="hal" value="hal-01070210"/>
      <analytic>
        <title level="a">What frequency bandwidth to run cellular network in a given country? - a downlink dimensioning problem</title>
        <author>
          <persName key="dyogene-2014-idp64408">
            <foreName>Bartlomiej</foreName>
            <surname>Blaszczyszyn</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Mohamed Kadhem</foreName>
            <surname>Karray</surname>
            <initial>M. K.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">WiOpt/SpaSWiN</title>
        <loc>Bombay, India</loc>
        <title level="s">Proc. of WiOpt/SpaSWiN</title>
        <imprint>
          <dateStruct>
            <month>May</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01070210" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01070210</ref>
        </imprint>
        <meeting id="cid624675">
          <title>WiOpt International Workshop on Spatial Stochastic Models for Wireless Networks</title>
          <num>2014</num>
          <abbr type="sigle">SpaSWiN</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid23" type="inproceedings" rend="year" n="cite:bordenave:hal-01226796">
      <identifiant type="doi" value="10.1109/FOCS.2015.86"/>
      <identifiant type="hal" value="hal-01226796"/>
      <analytic>
        <title level="a">Non-backtracking spectrum of random graphs: community detection and non-regular Ramanujan graphs</title>
        <author>
          <persName>
            <foreName>Charles</foreName>
            <surname>Bordenave</surname>
            <initial>C.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName key="infine-2014-idm10104">
            <foreName>Laurent</foreName>
            <surname>Massoulié</surname>
            <initial>L.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">2015 IEEE 56th Annual Symposium on Foundations of Computer Science</title>
        <loc>Berkeley, United States</loc>
        <title level="s">2015 IEEE 56th Annual Symposium on Foundations of Computer Science</title>
        <imprint>
          <dateStruct>
            <month>October</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01226796" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01226796</ref>
        </imprint>
        <meeting id="cid31179">
          <title>Annual IEEE Symposium on Foundations of Computer Science</title>
          <num>56</num>
          <abbr type="sigle">FOCS</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid42" type="inproceedings" rend="year" n="cite:bouillard:hal-01159962">
      <identifiant type="hal" value="hal-01159962"/>
      <analytic>
        <title level="a">Perfect sampling for multiclass closed queueing networks</title>
        <author>
          <persName key="dyogene-2014-idp68352">
            <foreName>Anne</foreName>
            <surname>Bouillard</surname>
            <initial>A.</initial>
          </persName>
          <persName key="dyogene-2014-idp65864">
            <foreName>Ana</foreName>
            <surname>Busic</surname>
            <initial>A.</initial>
          </persName>
          <persName key="dyogene-2014-idp83560">
            <foreName>Christelle</foreName>
            <surname>Rovetta</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">12th International Conference on Quantitative Evaluation of SysTems (QEST 2015)</title>
        <loc>Madrid, Spain</loc>
        <title level="s">Quantitative Evaluation of Systems</title>
        <imprint>
          <biblScope type="volume">LNCS 9259</biblScope>
          <dateStruct>
            <month>September</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01159962" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01159962</ref>
        </imprint>
        <meeting id="cid297847">
          <title>International Conference on Quantitative Evaluation of Systems</title>
          <num>12</num>
          <abbr type="sigle">QEST</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid41" type="inproceedings" rend="year" n="cite:busic:hal-01251475">
      <identifiant type="doi" value="10.1145/2825236.2825265"/>
      <identifiant type="hal" value="hal-01251475"/>
      <analytic>
        <title level="a">Approximate optimality with bounded regret in dynamic matching models</title>
        <author>
          <persName key="dyogene-2014-idp65864">
            <foreName>Ana</foreName>
            <surname>Busic</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Sean</foreName>
            <surname>Meyn</surname>
            <initial>S.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">MAMA 2015 workshop of ACM Sigmetrics</title>
        <loc>Portland, United States</loc>
        <imprint>
          <biblScope type="volume">43</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <month>June</month>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">75-77</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-01251475" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01251475</ref>
        </imprint>
        <meeting id="cid291156">
          <title>International Conference on Measurement and Modeling of Computer Systems</title>
          <num>2015</num>
          <abbr type="sigle">SIGMETRICS</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid19" type="inproceedings" rend="year" n="cite:chen:hal-01251454">
      <identifiant type="hal" value="hal-01251454"/>
      <analytic>
        <title level="a">State Estimation for the Individual and the Population in Mean Field Control with Application to Demand Dispatch </title>
        <author>
          <persName key="flowers-2014-idp93936">
            <foreName>Yue</foreName>
            <surname>Chen</surname>
            <initial>Y.</initial>
          </persName>
          <persName key="dyogene-2014-idp65864">
            <foreName>Ana</foreName>
            <surname>Busic</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Sean</foreName>
            <surname>Meyn</surname>
            <initial>S.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">54th IEEE Conference on Decision and Control</title>
        <loc>Osaka, Japan</loc>
        <title level="s">Proceedings of the 54th IEEE Conference on Decision and Control</title>
        <imprint>
          <dateStruct>
            <month>December</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01251454" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01251454</ref>
        </imprint>
        <meeting id="cid78271">
          <title>IEEE Conference on Decision and Control</title>
          <num>54</num>
          <abbr type="sigle">CDC</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid63" type="inproceedings" rend="year" n="cite:combes:hal-01257796">
      <identifiant type="hal" value="hal-01257796"/>
      <analytic>
        <title level="a">Combinatorial Bandits Revisited</title>
        <author>
          <persName>
            <foreName>Richard</foreName>
            <surname>Combes</surname>
            <initial>R.</initial>
          </persName>
          <persName>
            <foreName>Sadegh</foreName>
            <surname>Talebi</surname>
            <initial>S.</initial>
          </persName>
          <persName>
            <foreName>Alexandre</foreName>
            <surname>Proutière</surname>
            <initial>A.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">NIPS</title>
        <loc>Montreal, Canada</loc>
        <imprint>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01257796" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01257796</ref>
        </imprint>
        <meeting id="cid29560">
          <title>Annual Conference on Neural Information Processing Systems</title>
          <num>23</num>
          <abbr type="sigle">NIPS</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid49" type="inproceedings" rend="year" n="cite:fugger:hal-01107436">
      <identifiant type="hal" value="hal-01107436"/>
      <analytic>
        <title level="a">Towards Binary Circuit Models That Faithfully Capture Physical Solvability</title>
        <author>
          <persName>
            <foreName>Matthias</foreName>
            <surname>Függer</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Robert</foreName>
            <surname>Najvirt</surname>
            <initial>R.</initial>
          </persName>
          <persName key="dyogene-2014-idp74824">
            <foreName>Thomas</foreName>
            <surname>Nowak</surname>
            <initial>T.</initial>
          </persName>
          <persName>
            <foreName>Ulrich</foreName>
            <surname>Schmid</surname>
            <initial>U.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="no" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">Design, Automation, and Test in Europe (DATE)</title>
        <loc>Grenoble, France</loc>
        <imprint>
          <dateStruct>
            <month>March</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01107436" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01107436</ref>
        </imprint>
        <meeting id="cid58552">
          <title>Design, Automation, and Test in Europe</title>
          <num>18</num>
          <abbr type="sigle">DATE</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid56" type="inproceedings" rend="year" n="cite:fugger:hal-01231513">
      <identifiant type="doi" value="10.1109/CISS.2015.7086841"/>
      <identifiant type="hal" value="hal-01231513"/>
      <analytic>
        <title level="a">Diffusive clock synchronization in highly dynamic networks</title>
        <author>
          <persName>
            <foreName>Matthias</foreName>
            <surname>Függer</surname>
            <initial>M.</initial>
          </persName>
          <persName key="dyogene-2014-idp74824">
            <foreName>Thomas</foreName>
            <surname>Nowak</surname>
            <initial>T.</initial>
          </persName>
          <persName>
            <foreName>Bernadette</foreName>
            <surname>Charron-Bost</surname>
            <initial>B.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">49th Annual Conference on Information Systems and Sciences (CISS 2015)</title>
        <loc>Baltimore, United States</loc>
        <imprint>
          <dateStruct>
            <month>March</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01231513" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01231513</ref>
        </imprint>
        <meeting id="cid625002">
          <title>Annual Conference on Information Systems and Sciences</title>
          <num>49</num>
          <abbr type="sigle">CISS</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid16" type="inproceedings" rend="year" n="cite:leconte:hal-01226791">
      <identifiant type="doi" value="10.1109/ITC.2015.11"/>
      <identifiant type="hal" value="hal-01226791"/>
      <analytic>
        <title level="a">Designing Adaptive Replication Schemes in Distributed Content Delivery Networks</title>
        <author>
          <persName>
            <foreName>Mathieu</foreName>
            <surname>Leconte</surname>
            <initial>M.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName key="infine-2014-idm10104">
            <foreName>Laurent</foreName>
            <surname>Massoulié</surname>
            <initial>L.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">Teletraffic Congress (ITC 27), 2015 27th International</title>
        <loc>Ghent, Belgium</loc>
        <title level="s">Teletraffic Congress (ITC 27), 2015 27th International</title>
        <imprint>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01226791" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01226791</ref>
        </imprint>
        <meeting id="cid320040">
          <title>International Teletraffic Congress</title>
          <num>27</num>
          <abbr type="sigle">ITC</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid55" type="inproceedings" rend="year" n="cite:najvirt:hal-01231509">
      <identifiant type="doi" value="10.1145/2742060.2742081"/>
      <identifiant type="hal" value="hal-01231509"/>
      <analytic>
        <title level="a">Experimental Validation of a Faithful Binary Circuit Model</title>
        <author>
          <persName>
            <foreName>Robert</foreName>
            <surname>Najvirt</surname>
            <initial>R.</initial>
          </persName>
          <persName>
            <foreName>Matthias</foreName>
            <surname>Függer</surname>
            <initial>M.</initial>
          </persName>
          <persName key="dyogene-2014-idp74824">
            <foreName>Thomas</foreName>
            <surname>Nowak</surname>
            <initial>T.</initial>
          </persName>
          <persName>
            <foreName>Ulrich</foreName>
            <surname>Schmid</surname>
            <initial>U.</initial>
          </persName>
          <persName>
            <foreName>Michael</foreName>
            <surname>Hofbauer</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Kurt</foreName>
            <surname>Schweiger</surname>
            <initial>K.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">25th Great Lakes Symposium on VLSI (GLSVLSI 2015)</title>
        <loc>Pittsburgh, United States</loc>
        <imprint>
          <dateStruct>
            <month>May</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01231509" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01231509</ref>
        </imprint>
        <meeting id="cid468954">
          <title>Great Lakes Symposium on VLSI</title>
          <num>25</num>
          <abbr type="sigle">GLSVLSI</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid54" type="inproceedings" rend="year" n="cite:nowak:hal-01231503">
      <identifiant type="hal" value="hal-01231503"/>
      <analytic>
        <title level="a">Asymptotic Consensus Without Self-Confidence</title>
        <author>
          <persName key="dyogene-2014-idp74824">
            <foreName>Thomas</foreName>
            <surname>Nowak</surname>
            <initial>T.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">54th IEEE Conference on Decision and Control (CDC 2015)</title>
        <loc>Osaka, Japan</loc>
        <imprint>
          <dateStruct>
            <month>December</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01231503" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01231503</ref>
        </imprint>
        <meeting id="cid78271">
          <title>IEEE Conference on Decision and Control</title>
          <num>54</num>
          <abbr type="sigle">CDC</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid22" type="inproceedings" rend="year" n="cite:rui:hal-01226785">
      <identifiant type="doi" value="10.1145/2796314.2745887"/>
      <identifiant type="hal" value="hal-01226785"/>
      <analytic>
        <title level="a">Clustering and Inference From Pairwise Comparisons</title>
        <author>
          <persName>
            <foreName>Wu</foreName>
            <surname>Rui</surname>
            <initial>W.</initial>
          </persName>
          <persName>
            <foreName>Jiaming</foreName>
            <surname>Xu</surname>
            <initial>J.</initial>
          </persName>
          <persName>
            <foreName>Srikant</foreName>
            <surname>Rayadurgam</surname>
            <initial>S.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName key="infine-2014-idm10104">
            <foreName>Laurent</foreName>
            <surname>Massoulié</surname>
            <initial>L.</initial>
          </persName>
          <persName>
            <foreName>Bruce</foreName>
            <surname>Hajek</surname>
            <initial>B.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">SIGMETRICS '15 Proceedings of the 2015 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems</title>
        <loc>Portland, United States</loc>
        <imprint>
          <biblScope type="volume">43</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">2</biblScope>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01226785" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01226785</ref>
        </imprint>
        <meeting id="cid291156">
          <title>International Conference on Measurement and Modeling of Computer Systems</title>
          <num>2015</num>
          <abbr type="sigle">SIGMETRICS</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid24" type="inproceedings" rend="year" n="cite:saade:hal-01137955">
      <identifiant type="hal" value="hal-01137955"/>
      <analytic>
        <title level="a">Spectral Detection in the Censored Block Model</title>
        <author>
          <persName>
            <foreName>Alaa</foreName>
            <surname>Saade</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Florent</foreName>
            <surname>Krzakala</surname>
            <initial>F.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Lenka</foreName>
            <surname>Zdeborová</surname>
            <initial>L.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">ISIT 2015</title>
        <loc>Hong Kong, China</loc>
        <imprint>
          <dateStruct>
            <month>June</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01137955" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01137955</ref>
        </imprint>
        <meeting id="cid89373">
          <title>IEEE International Symposium on Information Theory</title>
          <num>2015</num>
          <abbr type="sigle">ISIT</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid57" type="inproceedings" rend="year" n="cite:seyoung:hal-01254913">
      <identifiant type="hal" value="hal-01254913"/>
      <analytic>
        <title level="a">Fast and Memory Optimal Low-Rank Matrix Approximation</title>
        <author>
          <persName>
            <foreName>Yun</foreName>
            <surname>Se-Young</surname>
            <initial>Y.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Alexandre</foreName>
            <surname>Proutière</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="no" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">NIPS 2015</title>
        <loc>Montreal, Canada</loc>
        <imprint>
          <dateStruct>
            <month>December</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01254913" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01254913</ref>
        </imprint>
        <meeting id="cid29560">
          <title>Annual Conference on Neural Information Processing Systems</title>
          <num>29</num>
          <abbr type="sigle">NIPS</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid40" type="inproceedings" rend="year" n="cite:varloot:hal-01251432">
      <identifiant type="doi" value="10.1145/2745844.2745893"/>
      <identifiant type="hal" value="hal-01251432"/>
      <analytic>
        <title level="a">Speeding up Glauber Dynamics for Random Generation of Independent Sets</title>
        <author>
          <persName key="dyogene-2015-idp80736">
            <foreName>Rémi</foreName>
            <surname>Varloot</surname>
            <initial>R.</initial>
          </persName>
          <persName key="dyogene-2014-idp65864">
            <foreName>Ana</foreName>
            <surname>Busic</surname>
            <initial>A.</initial>
          </persName>
          <persName key="dyogene-2014-idp68352">
            <foreName>Anne</foreName>
            <surname>Bouillard</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">2015 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems</title>
        <loc>Portland, United States</loc>
        <title level="s">ACM SIGMETRICS Performance Evaluation Review</title>
        <imprint>
          <biblScope type="volume">43</biblScope>
          <biblScope type="number">1</biblScope>
          <publisher>
            <orgName>ACM</orgName>
          </publisher>
          <dateStruct>
            <month>June</month>
            <year>2015</year>
          </dateStruct>
          <biblScope type="pages">461-462</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-01251432" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01251432</ref>
        </imprint>
        <meeting id="cid291156">
          <title>International Conference on Measurement and Modeling of Computer Systems</title>
          <num>2015</num>
          <abbr type="sigle">SIGMETRICS</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid60" type="unpublished" rend="year" n="cite:anantharam:hal-01259177">
      <identifiant type="hal" value="hal-01259177"/>
      <monogr>
        <title level="m">The Boolean Model in the Shannon Regime: Three Thresholds and Related Asymptotics</title>
        <author>
          <persName key="dyogene-2014-idp84784">
            <foreName>Venkat</foreName>
            <surname>Anantharam</surname>
            <initial>V.</initial>
          </persName>
          <persName key="dyogene-2014-idp62920">
            <foreName>François</foreName>
            <surname>Baccelli</surname>
            <initial>F.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>January</month>
            <year>2016</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01259177" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01259177</ref>
        </imprint>
      </monogr>
      <note type="bnote">working paper or preprint</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid51" type="unpublished" rend="year" n="cite:barre:hal-01141163">
      <identifiant type="hal" value="hal-01141163"/>
      <monogr>
        <title level="m">On rigidity, orientability and cores of random graphs with sliders</title>
        <author>
          <persName>
            <foreName>J.</foreName>
            <surname>Barre</surname>
            <initial>J.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>M</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>D</foreName>
            <surname>Mitsche</surname>
            <initial>D.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>April</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01141163" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01141163</ref>
        </imprint>
      </monogr>
      <note type="bnote">working paper or preprint</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid43" type="unpublished" rend="year" n="cite:combes:hal-01137956">
      <identifiant type="hal" value="hal-01137956"/>
      <monogr>
        <title level="m">Stochastic and Adversarial Combinatorial Bandits</title>
        <author>
          <persName>
            <foreName>Richard</foreName>
            <surname>Combes</surname>
            <initial>R.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Alexandre</foreName>
            <surname>Proutière</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Sadegh</foreName>
            <surname>Talebi</surname>
            <initial>S.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>March</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01137956" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01137956</ref>
        </imprint>
      </monogr>
      <note type="bnote">working paper or preprint</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid44" type="unpublished" rend="year" n="cite:gulikers:hal-01258191">
      <identifiant type="hal" value="hal-01258191"/>
      <monogr>
        <title level="m">A spectral method for community detection in moderately-sparse degree-corrected stochastic block models</title>
        <author>
          <persName key="dyogene-2014-idp79832">
            <foreName>Lennart</foreName>
            <surname>Gulikers</surname>
            <initial>L.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName key="infine-2014-idm10104">
            <foreName>Laurent</foreName>
            <surname>Massoulié</surname>
            <initial>L.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>January</month>
            <year>2016</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01258191" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01258191</ref>
        </imprint>
      </monogr>
      <note type="bnote">working paper or preprint</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid45" type="unpublished" rend="year" n="cite:gulikers:hal-01258194">
      <identifiant type="hal" value="hal-01258194"/>
      <monogr>
        <title level="m">An Impossibility Result for Reconstruction in a Degree-Corrected Planted-Partition Model</title>
        <author>
          <persName key="dyogene-2014-idp79832">
            <foreName>Lennart</foreName>
            <surname>Gulikers</surname>
            <initial>L.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName key="infine-2014-idm10104">
            <foreName>Laurent</foreName>
            <surname>Massoulié</surname>
            <initial>L.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>January</month>
            <year>2016</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01258194" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01258194</ref>
        </imprint>
      </monogr>
      <note type="bnote">working paper or preprint</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid21" type="unpublished" rend="year" n="cite:kaufmann:hal-01163147">
      <identifiant type="hal" value="hal-01163147"/>
      <monogr>
        <title level="m">An Adaptive Spectral Algorithm for the Recovery of Overlapping Communities in Networks</title>
        <author>
          <persName key="dyogene-2014-idp72312">
            <foreName>Emilie</foreName>
            <surname>Kaufmann</surname>
            <initial>E.</initial>
          </persName>
          <persName>
            <foreName>Thomas</foreName>
            <surname>Bonald</surname>
            <initial>T.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>June</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01163147" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01163147</ref>
        </imprint>
      </monogr>
      <note type="bnote">working paper or preprint</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid50" subtype="nonparu-n" type="unpublished" rend="year" n="cite:saade:cea-01140716">
      <identifiant type="hal" value="cea-01140716"/>
      <monogr>
        <title level="m">Spectral Detection in the Censored Block Model</title>
        <author>
          <persName>
            <foreName>Alaa</foreName>
            <surname>Saade</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Florent</foreName>
            <surname>Krzakala</surname>
            <initial>F.</initial>
          </persName>
          <persName key="dyogene-2014-idp61656">
            <foreName>Marc</foreName>
            <surname>Lelarge</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Lenka</foreName>
            <surname>Zdeborová</surname>
            <initial>L.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>April</month>
            <year>2015</year>
          </dateStruct>
          <ref xlink:href="https://hal-cea.archives-ouvertes.fr/cea-01140716" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal-cea.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>cea-01140716</ref>
        </imprint>
      </monogr>
      <note type="bnote">Submitted to ISIT 2015</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid7" type="article" rend="foot" n="footcite:BBT02">
      <identifiant type="doi" value="10.1023/A:1020321501945"/>
      <analytic>
        <title level="a">Spatial averages of coverage characteristics in large CDMA networks</title>
        <author>
          <persName key="dyogene-2014-idp62920">
            <foreName>François</foreName>
            <surname>Baccelli</surname>
            <initial>F.</initial>
          </persName>
          <persName key="dyogene-2014-idp64408">
            <foreName>Bartlomiej</foreName>
            <surname>Blaszczyszyn</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Florent</foreName>
            <surname>Tournois</surname>
            <initial>F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Wirel. Netw.</title>
        <imprint>
          <biblScope type="volume">8</biblScope>
          <dateStruct>
            <year>2002</year>
          </dateStruct>
          <biblScope type="pages">569–586</biblScope>
          <ref xlink:href="http://dx.doi.org/10.1023/A:1020321501945" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>dx.<allowbreak/>doi.<allowbreak/>org/<allowbreak/>10.<allowbreak/>1023/<allowbreak/>A:1020321501945</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid6" type="inproceedings" rend="foot" n="footcite:BMM11">
      <analytic>
        <title level="a">Probabilistic cellular automata, invariant measures, and perfect sampling</title>
        <author>
          <persName key="dyogene-2014-idp65864">
            <foreName>A.</foreName>
            <surname>Bušić</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>J.</foreName>
            <surname>Mairesse</surname>
            <initial>J.</initial>
          </persName>
          <persName>
            <foreName>Irène</foreName>
            <surname>Marcovici</surname>
            <initial>I.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Proc. of 28th International Symposium on Theoretical Aspects of Computer Science, (STACS)</title>
        <imprint>
          <dateStruct>
            <year>2011</year>
          </dateStruct>
          <biblScope type="pages">296-307</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid15" type="article" rend="foot" n="footcite:ct">
      <analytic>
        <title level="a">Decoding by linear programming</title>
        <author>
          <persName>
            <foreName>Emmanuel J.</foreName>
            <surname>Candès</surname>
            <initial>E. J.</initial>
          </persName>
          <persName>
            <foreName>Terence</foreName>
            <surname>Tao</surname>
            <initial>T.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">IEEE Trans. Inform. Theory</title>
        <imprint>
          <biblScope type="volume">51</biblScope>
          <biblScope type="number">12</biblScope>
          <dateStruct>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">4203–4215</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid1" type="article" rend="foot" n="footcite:Cruz1991a">
      <analytic>
        <title level="a">A calculus for network delay, Part I: Network elements in isolation</title>
        <author>
          <persName>
            <foreName>R. L.</foreName>
            <surname>Cruz</surname>
            <initial>R. L.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">IEEE Transactions on Information Theory</title>
        <imprint>
          <biblScope type="volume">37</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <year>1991</year>
          </dateStruct>
          <biblScope type="pages">114-131</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid2" type="article" rend="foot" n="footcite:Cruz1991b">
      <analytic>
        <title level="a">A calculus for network delay, Part II: Network analysis</title>
        <author>
          <persName>
            <foreName>R. L.</foreName>
            <surname>Cruz</surname>
            <initial>R. L.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">IEEE Transactions on Information Theory</title>
        <imprint>
          <biblScope type="volume">37</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <year>1991</year>
          </dateStruct>
          <biblScope type="pages">132-141</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid13" type="article" rend="foot" n="footcite:DonohoTannerUniversality">
      <analytic>
        <title level="a">Observed Universality of Phase Transitions in High-Dimensional Geometry, with Implications for Modern Data Analysis and Signal Processing</title>
        <author>
          <persName>
            <foreName>D. L.</foreName>
            <surname>Donoho</surname>
            <initial>D. L.</initial>
          </persName>
          <persName>
            <foreName>J.</foreName>
            <surname>Tanner</surname>
            <initial>J.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Phil. Trans. R. Soc. A</title>
        <imprint>
          <dateStruct>
            <year>2011</year>
          </dateStruct>
          <biblScope type="pages">4273-4293</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid8" type="article" rend="foot" n="footcite:GaujalPerronninJDEDS">
      <analytic>
        <title level="a">Perfect simulation of a class of stochastic hybrid systems with an application to peer to peer systems</title>
        <author>
          <persName key="mescal-2014-idm28616">
            <foreName>Bruno</foreName>
            <surname>Gaujal</surname>
            <initial>B.</initial>
          </persName>
          <persName key="mescal-2014-idp68576">
            <foreName>Florence</foreName>
            <surname>Perronnin</surname>
            <initial>F.</initial>
          </persName>
          <persName>
            <foreName>Rémi</foreName>
            <surname>Bertin</surname>
            <initial>R.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Journal of Discrete Event Dynamic Systems</title>
        <imprint>
          <dateStruct>
            <year>2007</year>
          </dateStruct>
        </imprint>
      </monogr>
      <note type="bnote">Special Issue on Hybrid Systems</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid4" type="article" rend="foot" n="footcite:HaNe98">
      <identifiant type="doi" value="10.1111/1467-9574.00090"/>
      <analytic>
        <title level="a">Exact sampling from anti-monotone systems</title>
        <author>
          <persName>
            <foreName>O.</foreName>
            <surname>Häggström</surname>
            <initial>O.</initial>
          </persName>
          <persName>
            <foreName>K.</foreName>
            <surname>Nelander</surname>
            <initial>K.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Statist. Neerlandica</title>
        <imprint>
          <biblScope type="volume">52</biblScope>
          <biblScope type="number">3</biblScope>
          <dateStruct>
            <year>1998</year>
          </dateStruct>
          <biblScope type="pages">360–380</biblScope>
          <ref xlink:href="http://dx.doi.org/10.1111/1467-9574.00090" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>dx.<allowbreak/>doi.<allowbreak/>org/<allowbreak/>10.<allowbreak/>1111/<allowbreak/>1467-9574.<allowbreak/>00090</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid14" type="incollection" rend="foot" n="footcite:kalsaf">
      <analytic>
        <title level="a">Threshold phenomena and influence: perspectives from mathematics, computer science, and economics</title>
        <author>
          <persName>
            <foreName>Gil</foreName>
            <surname>Kalai</surname>
            <initial>G.</initial>
          </persName>
          <persName>
            <foreName>Shmuel</foreName>
            <surname>Safra</surname>
            <initial>S.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Computational complexity and statistical physics</title>
        <loc>New York</loc>
        <title level="s">St. Fe Inst. Stud. Sci. Complex.</title>
        <imprint>
          <publisher>
            <orgName>Oxford Univ. Press</orgName>
          </publisher>
          <dateStruct>
            <year>2006</year>
          </dateStruct>
          <biblScope type="pages">25–60</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid5" type="inproceedings" rend="foot" n="footcite:Kendall-1998d">
      <analytic>
        <title level="a">Perfect simulation for the area-interaction point process</title>
        <author>
          <persName>
            <foreName>Wilfrid S.</foreName>
            <surname>Kendall</surname>
            <initial>W. S.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <editor role="editor">
          <persName>
            <foreName>L</foreName>
            <surname>Accardi</surname>
            <initial>L.</initial>
          </persName>
          <persName>
            <foreName>C C</foreName>
            <surname>Heyde</surname>
            <initial>C. C.</initial>
          </persName>
        </editor>
        <title level="m">Probability Towards 2000</title>
        <loc>New York</loc>
        <imprint>
          <publisher>
            <orgName>Springer-Verlag</orgName>
          </publisher>
          <publisher>
            <orgName type="organisation">University of Warwick Department of Statistics</orgName>
          </publisher>
          <dateStruct>
            <year>1998</year>
          </dateStruct>
          <biblScope type="pages">218–234</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid0" type="book" rend="foot" n="footcite:LT2001">
      <monogr>
        <title level="m">Network Calculus: A Theory of Deterministic Queuing Systems for the Internet</title>
        <author>
          <persName>
            <foreName>J.-Y.</foreName>
            <surname>Le Boudec</surname>
            <initial>J.-Y.</initial>
          </persName>
          <persName>
            <foreName>P.</foreName>
            <surname>Thiran</surname>
            <initial>P.</initial>
          </persName>
        </author>
        <edition>revised version 4, May 10, 2004</edition>
        <imprint>
          <biblScope type="volume">LNCS 2050</biblScope>
          <publisher>
            <orgName>Springer-Verlag</orgName>
          </publisher>
          <dateStruct>
            <year>2001</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid20" type="phdthesis" rend="foot" n="footcite:johThesis12">
      <monogr>
        <title level="m">Modeling, Analysis, and Control of Demand Response Resources</title>
        <author>
          <persName>
            <foreName>J.</foreName>
            <surname>Mathieu</surname>
            <initial>J.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName type="school">University of California at Berkeley</orgName>
          </publisher>
          <dateStruct>
            <year>2012</year>
          </dateStruct>
        </imprint>
      </monogr>
      <note type="typdoc">Ph. D. Thesis</note>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid3" type="article" rend="foot" n="footcite:propp96exact">
      <analytic>
        <title level="a">Exact sampling with coupled Markov chains and applications to statistical mechanics</title>
        <author>
          <persName>
            <foreName>James G.</foreName>
            <surname>Propp</surname>
            <initial>J. G.</initial>
          </persName>
          <persName>
            <foreName>David B.</foreName>
            <surname>Wilson</surname>
            <initial>D. B.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Random Structures and Algorithms</title>
        <imprint>
          <biblScope type="volume">9</biblScope>
          <biblScope type="number">1-2</biblScope>
          <dateStruct>
            <year>1996</year>
          </dateStruct>
          <biblScope type="pages">223-252</biblScope>
          <ref xlink:href="http://dbwilson.com/eus/" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>dbwilson.<allowbreak/>com/<allowbreak/>eus/</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid11" type="book" rend="foot" n="footcite:ricurb">
      <monogr>
        <title level="m">Modern coding theory</title>
        <author>
          <persName>
            <foreName>Tom</foreName>
            <surname>Richardson</surname>
            <initial>T.</initial>
          </persName>
          <persName>
            <foreName>Rüdiger</foreName>
            <surname>Urbanke</surname>
            <initial>R.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>Cambridge University Press<address><addrLine>Cambridge</addrLine></address></orgName>
          </publisher>
          <dateStruct>
            <year>2008</year>
          </dateStruct>
          <biblScope type="pages">xvi+572</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid12" type="inproceedings" rend="foot" n="footcite:sly">
      <analytic>
        <title level="a">Computational Transition at the Uniqueness Threshold</title>
        <author>
          <persName>
            <foreName>Allan</foreName>
            <surname>Sly</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">FOCS</title>
        <imprint>
          <publisher>
            <orgName>IEEE Computer Society</orgName>
          </publisher>
          <dateStruct>
            <year>2010</year>
          </dateStruct>
          <biblScope type="pages">287-296</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid10" type="book" rend="foot" n="footcite:Stoyan:1995:SGA">
      <monogr>
        <title level="m">Stochastic Geometry and its Applications</title>
        <author>
          <persName>
            <foreName>D.</foreName>
            <surname>Stoyan</surname>
            <initial>D.</initial>
          </persName>
          <persName>
            <foreName>Wilfrid S.</foreName>
            <surname>Kendall</surname>
            <initial>W. S.</initial>
          </persName>
          <persName>
            <foreName>J.</foreName>
            <surname>Mecke</surname>
            <initial>J.</initial>
          </persName>
        </author>
        <edition>Second</edition>
        <imprint>
          <publisher>
            <orgName>Wiley<address><addrLine>Chichester</addrLine></address></orgName>
          </publisher>
          <dateStruct>
            <year>1995</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="dyogene-2015-bid9" type="misc" rend="foot" n="footcite:dbwilson">
      <monogr>
        <title level="m">Perfectly Random Sampling with Markov Chains</title>
        <author>
          <persName>
            <foreName>David B.</foreName>
            <surname>Wilson</surname>
            <initial>D. B.</initial>
          </persName>
        </author>
        <imprint>
          <ref xlink:href="http://dimacs.rutgers.edu/~dbwilson/exact.html/" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>dimacs.<allowbreak/>rutgers.<allowbreak/>edu/<allowbreak/>~dbwilson/<allowbreak/>exact.<allowbreak/>html/</ref>
        </imprint>
      </monogr>
      <note type="bnote">Annotated bibliograpy</note>
    </biblStruct>
  </biblio>
</raweb>
