Results 71 to 80 of about 507,468 (294)
Program Synthesis and Linear Operator Semantics
For deterministic and probabilistic programs we investigate the problem of program synthesis and program optimisation (with respect to non-functional properties) in the general setting of global optimisation.
Wiklicky, Herbert
core +2 more sources
Design and implementation of cloud enabled random neural network-based decentralized smart controller with intelligent sensor nodes for HVAC [PDF]
Building energy management systems (BEMSs) monitor and control the heating ventilation and air conditioning (HVAC) of buildings in addition to many other building systems and utilities.
Ahmadinia, Ali +5 more
core +3 more sources
Narrative inquiry for beginners: A practical guide for health professions education researchers
Abstract Narrative inquiry (NI) is a rich methodological approach centered around the analysis of stories. While NI has great value within health professions education research, it may be overwhelming for novice researchers (or those new to NI) to employ in practice.
Shemona Y. Rozario +3 more
wiley +1 more source
Detection System Design and Implementation for Foreign Objects in Automatic Platform Door Gap
Objective The detection of foreign objects in platform door gap is critical to metro operational safety. Therefore, it is essential to develop a new anti-clamping detection system for metro platform door, enhancing the safety and efficiency of future FAO
YU Qingguang +9 more
doaj +1 more source
‘Where are the adults?’: Troubling child‐activism and children's political participation
Abstract Children's political participation is a well‐established theme in childhood studies. In this article we offer an original account of child activism that takes into account the entangled and emergent aspect of children as activists. We begin with a historical and a conceptual review, noting the importance of mid‐20th century developments such ...
Sharon Hunter, Claire Cassidy
wiley +1 more source
Abstract The Internet of Things is emerging as a crucial technology in aiding humans and making their lives easier. Among the human population, a large percentage of people suffer from disabilities resulting in challenges in everyday life particularly people with visual disabilities.
Hania Tarik +8 more
wiley +1 more source
Application of Platform Screen Door Gap Detection Device on Fully Automatic Operation Metro Lines
Objective On the fully automatic operation metro lines, there exists a gap between the platform screen door and the train, leading to the risk of clamping people and objects.
LI Hongming
doaj +1 more source
Background The early use of reperfusion therapy has a significant effect on the prognosis of patients with ST-segment elevation myocardial infarction (STEMI), and it is recommended that emergency department (ED) physicians activate the cardiac ...
Kim Young +5 more
doaj +1 more source
Abstract This article examines the emotional experiences and processes of stigmatisation encountered by families benefiting from the Shock Plan Against Segregation and for Inclusion, Equal Opportunities and Educational Success (SP), implemented in Barcelona.
Andrea Jover +3 more
wiley +1 more source
SHRiMP: accurate mapping of short color-space reads.
The development of Next Generation Sequencing technologies, capable of sequencing hundreds of millions of short reads (25-70 bp each) in a single run, is opening the door to population genomic studies of non-model species. In this paper we present SHRiMP
Stephen M Rumble +5 more
doaj +1 more source

