Results 1 to 10 of about 254,985 (138)

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, Patricia Tucker, Danielle Tobin, Andrew Clark, Jason Gilliland   +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, Walter Landry, Junyu Liu, David Poland, David Simmons-Duffin, Ning Su, Alessandro Vichi   +6 more
doaj   +1 more source

Finding connection “while everything is going to crap”: experiences in Recovery Colleges during the COVID-19 pandemic

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, Rowen Shier, Georgia Black, Anna Di Giandomenico, Elizabeth Lin, Gail Bellissimo, Jordana Rovet, Sam Gruszecki, Sophie Soklaridis   +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, Jorge Casalderrey-Solana, Thanasis Giannakopoulos, Aron Jansen, David Mateos, Mikel Sanchez-Garitaonandia, Miguel Zilhão   +6 more
doaj   +1 more source

Decomposition Is All You Need: Single-Objective to Multi-Objective Optimization towards Artificial General Intelligence

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, Xianpeng Wang, Qingxin Guo, Xiangman Song, Ren Zhao, Guodong Zhao, Dakuo He, Te Xu, Ming Zhang, Yang Yang   +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, Rodney Thompson, Peter van Oosterom, Martijn Meijers   +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

Creating opportunities through mentorship, parental involvement, and safe spaces (COMPASS) program: multi-country study protocol to protect girls from violence in humanitarian settings

BMC Public Health, 2016
Background Violence against adolescent girls in humanitarian settings is of urgent concern given their additional vulnerabilities to violence and unique health and well-being needs that have largely been overlooked by the humanitarian community. In order
Kathryn L. Falb, Sophie Tanner, Leora Ward, Dorcas Erksine, Eva Noble, Asham Assazenew, Theresita Bakomere, Elizabeth Graybill, Carmen Lowry, Pamela Mallinga, Amy Neiman, Catherine Poulton, Katie Robinette, Marni Sommer, Lindsay Stark   +14 more
doaj   +1 more source