This paper introduces a new modeling and inference framework for multivariate and anisotropic point processes. Building on recent innovations in multivariate spatial statistics, we propose a new family of multivariate anisotropic random fields, and from th ...
The past decades have seen the advent of information theory in various fields, from quantum physics to cosmology.
At an intermediary scale between atomic and cosmological scales are biological systems and in particular the cell, as a constitutive element o ...
This laconic discourse uses the Aristotelian authority to define the role of the analogical procedure in the government of the architectural composition. Respecting its ambiguous balance between mathematical method and attitude of the imagination, analogy ...
In the Vitruvian tradition, ornaments are classified into two categories: those that belong to the orders, and the others. If the former' s relief is merely indicated by Vitruvio and Alberti, the latter is simply ignored, thus opening the way to licentia. ...
Humor is an essential human trait. Efforts to understand humor have called out links between humor and the foundations of cognition, as well as the importance of humor in social engagement. As such, it is a promising and important subject of study, with re ...
In the inter-war period, progressive architects confronted the building of mass housing with an analogy with rational and functional workplaces. At the 2nd CIAM (Congres Internationaux d'Architecture Moderne), held in Frankfurt in 1929, this was tested aga ...
Pressurized fluid-distribution networks are key strategic elements of infrastructure. Drinking water is a precious resource and will become more and more important with the depletion of reserves. With the growth of the human population, challenges related ...
We study a specific type of lifetime broadening resulting in the well-known exponential "Urbach tail" density of states within the energy gap of an insulator. After establishing the frequency and temperature dependence of the Urbach edge in GaAs quantum we ...
Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where the user writes a program in a real-valued implementation and sp ...
Applications in software verification and interactive theorem proving often involve reasoning about sets of objects. Cardinality constraints on such collections also arise in these scenarios. Multisets arise for analogous reasons as sets: abstracting the c ...
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on the accumulated results. For example, the explicit tracking of the values of a ...