Maintenance of smart buildings using fault trees
 Cauchi, N Anuarul Hoque, K Stoelinga, M Abate, A ACM Transactions on Sensor Networks volume 14 issue 3-4 (20 Dec 2018)

Mechanistic models versus machine learning: a fight worth fighting for the biological community?

90% of the world’s data have been generated in the last five years. A small fraction of these data is collected with the aim of validating specific hypotheses. These studies are led by the development of mechanistic models focussed on the causality of input-output relationships. However, the vast majority of the data are aimed at supporting statistical or correlation studies that bypass the need for causality and focus exclusively on prediction.

Logical foundations of information disclosure in ontology-based data integration
 Kostylev, E Cuenca Grau, B Benedikt, M Artificial Intelligence (01 Sep 2018)
Wed, 13 Jun 2018

16:00 - 17:00
C5

The l1-homology of one-relator groups

Nicolaus Heuer
(University of Oxford)
Abstract

We will study the l1-homology of the 2-class in one relator groups. We will see that there are many qualitative and quantitive similarities between the l1-norm of the top dimensional class and the stable commutator length of the defining relation. As an application we construct manifolds with small simplicial volume.

This work in progress is joint with Clara Loeh.

Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Treese
 Cauchi, N Abate, A Budde, C Hoque, K Stoelinga, M
Thu, 14 Jun 2018

16:00 - 17:00
L6

O-minimality and Cox rings over number fields for Manin’s conjecture

Ulrich Derenthal
(Leibniz Universität Hannover)
Abstract

Manin’s conjecture predicts the asymptotic behavior of the number of rational points of bounded height on Fano varieties over number fields. We prove this conjecture for a family of nonsplit singular quartic del Pezzo surfaces over arbitrary number fields. For the proof, we parameterize the rational points on such a del Pezzo surface by integral points on a nonuniversal torsor (which is determined explicitly using a Cox ring of a certain type), and we count them using a result of Barroero-Widmer on lattice points in o-minimal structures. This is joint work in progress with Marta Pieropan.

Positive and negative effects of widespread badger culling on tuberculosis in cattle
 Donnelly, C Woodroffe, R Cox, D Bourne, F Cheeseman, C Clifton-Hadley, R Wei, G Gettinby, G Gilks, P Jenkins, H Johnston, W Le Fevre, A McInerney, J Morrison, W Nature volume 439 issue 7078 843-846 (14 Feb 2006)
Subscribe to