3.6k citations
- Centre National de la Recherche ScientifiqueFR471 papers
- Lomonosov Moscow State UniversityRU407 papers
- Imperial College LondonGB406 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR389 papers
- Centro Brasileiro de Pesquisas FísicasBR385 papers
- Institute for High Energy PhysicsES375 papers
- Petersburg Nuclear Physics InstituteRU371 papers
- University of Maryland, College ParkUS365 papers
- RWTH Aachen UniversityDE353 papers
- Institute for Theoretical and Experimental PhysicsRU344 papers
- Fermi National Accelerator LaboratoryUS341 papers
- University of ZurichCH334 papers
35 papers · 1 filter
Caustics and Rogue Waves in an Optical Sea
Amaury Mathis, Luc Froehly, Shanti Toenger +3
There are many examples in physics of systems showing rogue wave behaviour, the generation of high amplitude events at low probability. Although initially studied in oceanography,…
Properties of Latent Variable Network Models
Riccardo Rastelli, Nial Friel, Adrian E. Raftery
We derive properties of Latent Variable Models for networks, a broad class of models that includes the widely-used Latent Position Models. These include the average degree distribu…
Network investigation methodology for BitTorrent Sync: A Peer-to-Peer based file synchronisation service
Mark Scanlon, Jason Farina, M-Tahar Kechadi
High availability is no longer just a business continuity concern. Users are increasingly dependant on devices that consume and produce data in ever increasing volumes. A popular s…
Classification of Radial Solutions for Semilinear Elliptic Systems with Nonlinear Gradient Terms
Gurpreet Singh
We are concerned with the classification of positive radial solutions for the system , , where and is a nondecreasing function…
Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
We present a scalable parallel solver for numerical constraint satisfaction problems (NCSPs). Our parallelization scheme consists of homogeneous worker solvers, each of which runs…
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
M. Fareed Arif, Carlos Mencía, Joao Marques-Silva
The enumeration of minimal unsatisfiable subsets (MUSes) finds a growing number of practical applications, that includes a wide range of diagnosis problems. As a concrete example,…