Results 21 to 30 of about 255,154 (162)
Type classes for efficient exact real arithmetic in Coq [PDF]
, 2013 Floating point operations are fast, but require continuous effort on the part of the user in order to ensure that the results are correct. This burden can be shifted away from the user by providing a library of exact analysis in which the computer ...
Krebbers, Robbert, Spitters, Bas
core +2 more sources
Proposte di intreccio tra natura e cultura nelle aree protette: il festival Musica in Quota
Geography NotebooksProposals for Intertwining Nature and Culture in Protected Areas: the Musica in Quota Festival In a context where nature and culture always appear separate, this contribution aims to overcome this dichotomy, proposing a musical festival as an example ...
Stefania Benetti, Stefania Cerutti
doaj +1 more source
Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices
Molecular Systems Biology, 2018 Biological systems have evolved efficient sensing and decision‐making mechanisms to maximize fitness in changing molecular environments. Synthetic biologists have exploited these capabilities to engineer control on information and energy processing in ...
Alexis Courbet +4 more
doaj +1 more source
Conflict and Health, 2021 Background There is growing attention to addressing the menstrual hygiene management (MHM) needs of the over 21 million displaced adolescent girls and women globally.
Margaret L. Schmitt +4 more
doaj +1 more source
Acceptability of supervised injection facilities among persons who inject drugs in upstate New York
Harm Reduction Journal, 2022 Background Supervised injection facilities (SIFs) provide spaces where persons who inject drugs (PWID) can inject under medical supervision and access harm reduction services.
Eliana Duncan +3 more
doaj +1 more source
Practices of care among people who buy, use, and sell drugs in community settings
Harm Reduction Journal, 2020 Background Popular perception of people who sell drugs is negative, with drug selling framed as predatory and morally reprehensible. In contrast, people who use drugs (PWUD) often describe positive perceptions of the people who sell them drugs.
Gillian Kolla, Carol Strike
doaj +1 more source
City, Territory and Architecture, 2018 The architecture of security is often thought of in terms of situational crime prevention and defensible space. In this article, we argue that the emergence of smart cities and smart technology compel a broader conceptualisation of the design of security,
Marc Schuilenburg, Rik Peeters
doaj +1 more source
Technological Spaces: An Initial Appraisal [PDF]
, 2002 In this paper, we propose a high level view of technological spaces (TS) and relations among these spaces. A technological space is a working context with a set of associated concepts, body of knowledge, tools, required skills, and possibilities.
Aksit, Mehmet +2 more
core +2 more sources
DIE ONTWTKKELING VAN 'N PARAMETRIESE MODEL VIR DIE SNY VAN RUIMTES SODS DIE VAN MARGAlUENBAKKIES
South African Journal of Industrial Engineering, 2012 <p>ENGLISH ABSTRACT: When three dimensional machining is performed with a numerically controlled milling machine, then it is necessary to make use of cutter centre point programming because radius correction for these machines is possible in two ...
A.J. Lubbe
doaj
BMC Public HealthBackground An October, 2021 review of Public Health Ontario's COVID-19 guidance for congregate settings such as shelters and long-term care homes demonstrated that this guidance did not include references to ventilation or filtration.
Amy Katz +6 more
doaj +1 more source