Results 1 to 10 of about 2,229,162 (259)
CoRR, 2021 Generative Flow Networks (GFlowNets) have been introduced as a method to sample a diverse set of candidates in an active learning context, with a training objective that makes them approximately sample in proportion to a given reward function. In this paper, we show a number of additional theoretical properties of GFlowNets.
Yoshua Bengio +5 more
openaire +4 more sources
Symmetry, 2021 It is often stated that there are no laws in biology, where everything is contingent and could have been otherwise, being solely the result of historical accidents. Furthermore, the customary introduction of fundamental biological entities such as individual organisms, cells, genes, catalysts, and motors remains largely descriptive; constructive ...
Jean-Louis Sikorav +2 more
openaire +2 more sources
Minutes of the Proceedings of the Institution of Civil Engineers, 1877 n ...
Gaudard, J., Vernon Harcourt, L.
openaire +2 more sources
Foundations of Inference [PDF]
Axioms, 2012 We present a simple and clear foundation for finite inference that unites and significantly extends the approaches of Kolmogorov and Cox. Our approach is based on quantifying lattices of logical statements in a way that satisfies general lattice symmetries.
Kevin H. Knuth, John Skilling
openaire +4 more sources
Model-theoretic Approaches to Semantic Integration (Extended Abstract) [PDF]
, 2005 no ...
, Theoretical Foundations
core +1 more source
Heterogeneous Theories and the Heterogeneous Tool Set [PDF]
, 2005 Heterogeneous multi-logic theories arise in different contexts: they are needed for the specification of large software systems, as well as for mediating between different ontologies.
Mossakowski, Till +1 more
core +1 more source
Basic Semantic Integration [PDF]
, 2005 The use of highly abstract mathematical frameworks is essential for building the sort of theoretical foundation for semantic integration needed to bring it to the level of a genuine engineering discipline. At the same time, much of the work that has been
Menzel, Chris, Theoretical Foundations
core +1 more source
Semantic Integration in the Information Flow Framework [PDF]
, 2005 The Information Flow Framework (IFF) is a descriptive category metatheory currently under development, which is being offered as the structural aspect of the Standard Upper Ontology (SUO). The architecture of the IFF is composed of metalevels, namespaces
Kent, Robert E., Theoretical Foundations
core +1 more source
The role of foundations: Rockefeller Foundation [PDF]
Public Health Reviews, 2016 The consequences of climate change and the impacts of human activity on the environment have made it clearer than ever before that we must evolve our current model of public health to better account for the inextricable link between human health and the natural systems on which it depends-creating a "public health 2.0" that builds on the innovations of
openaire +2 more sources
Univalent foundations as structuralist foundations [PDF]
Synthese, 2016 Univalent foundations (UF), which grew out of homotopy-theoretic models of Martin-Löf type theory, replace sets with homotopy types as fundamental objects. In the paper under review, the author argues that UF may provide a suitable formalisation of the structuralist approach to mathematics.
openaire +2 more sources