Results 1 to 10 of about 255,134 (142)
A Graph Model for Imperative Computation [PDF]
Logical Methods in Computer Science, 2010 Scott's graph model is a lambda-algebra based on the observation that continuous endofunctions on the lattice of sets of natural numbers can be represented via their graphs. A graph is a relation mapping finite sets of input values to output values. We
Guy McCusker
doaj +5 more sources
Parents’ perceptions of their children’s physical activity during the COVID-19 pandemic
BMC Public Health, 2022 Background COVID-19 has drastically changed the everyday lives of children, including limiting interactions with peers, loss of regularly organized activities, and closure of schools and recreational facilities.
Emma Ostermeier +4 more
doaj +1 more source
Carving out OPE space and precise O(2) model critical exponents
Journal of High Energy Physics, 2020 We develop new tools for isolating CFTs using the numerical bootstrap. A “cutting surface” algorithm for scanning OPE coefficients makes it possible to find islands in high-dimensional spaces.
Shai M. Chester +6 more
doaj +1 more source
Research Involvement and Engagement, 2023 Background Recovery Colleges (RCs) are mental health and well-being education centres where people come together and learn skills that support their wellness. Co-production, co-learning and transformative education are fundamental to RCs.
Holly Harris +8 more
doaj +1 more source
Holographic bubbles with Jecco: expanding, collapsing and critical
Journal of High Energy Physics, 2022 Cosmological phase transitions can proceed via the nucleation of bubbles that subsequently expand and collide. The resulting gravitational wave spectrum depends crucially on the properties of these bubbles.
Yago Bea +6 more
doaj +1 more source
Mathematics, 2023 As a new abstract computational model in evolutionary transfer optimization (ETO), single-objective to multi-objective optimization (SMO) is conducted at the macroscopic level rather than the intermediate level for specific algorithms or the microscopic ...
Wendi Xu +9 more
doaj +1 more source
Executing convex polytope queries on nD point clouds
International Journal of Applied Earth Observations and Geoinformation, 2021 Efficient spatial queries are frequently needed to extract useful information from massive nD point clouds. Most previous studies focus on developing solutions for orthogonal window queries, while rarely considering the polytope query.
Haicheng Liu +3 more
doaj +1 more source
Sensitivity Analysis for Convex Multiobjective Programming in Abstract Spaces
Journal of Mathematical Analysis and Applications, 1996 The main object of this paper is to prove that for a linear or convex multiobjective program, a dual program can be obtained which gives the primal sensitivity without any special hypothesis about the way of choosing the optimal solution in the efficient set ...
Balbás, A., Guerra, P.Jiménez
openaire +3 more sources
Methods for evolving robust programs [PDF]
, 2003 . Many evolutionary computation search spaces require fitness assessment through the sampling of and generalization over a large set of possible cases as input.
Liviu Panait, Sean Luke
core +2 more sources
Generalized Dynamic Programming Principle and Sparse Mean-Field Control Problems [PDF]
, 2019 In this paper we study optimal control problems in Wasserstein spaces, which are suitable to describe macroscopic dynamics of multi-particle systems. The dynamics is described by a parametrized continuity equation, in which the Eulerian velocity field is
Cavagnari, Giulia +2 more
core +2 more sources