Results 51 to 60 of about 489,046 (269)
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
International Journal of Advanced Robotic Systems, 2005 It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult.
Alan FT Winfield +4 more
doaj +1 more source
Optical coherence tomography angiography characteristics of optic disc melanocytoma
BMC Ophthalmology, 2020 Background Optic disc melanocytoma (ODMC) was a benign pigmented intraocular tumor with the rare potential malignant transformation. This study was designed to evaluate tumor vasculature with optical coherence tomography angiography (OCTA) in ODMC ...
Nan Zhou, Xiaolin Xu, Wenbin Wei
doaj +1 more source
Early Impact of Childhood Opportunity on Neurocognitive Outcomes in Sickle Cell Disease
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Neurocognitive impairment is a well‐recognized complication of sickle cell disease (SCD) that begins early in childhood and persists across development. While cerebrovascular injury contributes substantially to risk, neurocognitive deficits are also observed in children without overt or silent cerebral infarctions, suggesting ...
Julia E. LaMotte +5 more
wiley +1 more source
Analysis of Field Inspection Issues and Some Suggestions for Software as Medical Device
Zhongguo yiliao qixie zazhiWith the encouragement of policies and the rapid development of the biopharmaceutical industry, the number of software as medical device (SaMD) registration applications in Shanghai has continued to increase in recent years, and this paper summarizes the
Yiqiang YANG, Zhijin FAN, Shuting GUO
doaj +1 more source
Verification by Abstraction [PDF]
, 2003 Verification seeks to prove or refute putative properties of a given program. Deductive verification is carried out by constructing a proof that the program satisfies its specification, whereas model checking uses state exploration to find computations where the property fails.
openaire +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Pediatric bone sarcoma patients and survivors may experience psychosocial challenges related to childhood cancer after their intensive, body‐altering treatment. This cross‐sectional study aimed to evaluate generic and survivor‐specific psychosocial outcomes in a national cohort of pediatric bone sarcoma patients and survivors, and ...
Hinke van der Hoek +14 more
wiley +1 more source
Chemical ethics practices in HEBUST of China
Chemistry Teacher InternationalHebei University of Science and Technology (HEBUST) actively carries out chemical ethics education practices and incorporates chemical ethics modules into the curriculum, aiming to improve students’ morality, responsibility, knowledge and skills.
Liu Xinwei +7 more
doaj +1 more source
The African Nuclear-Weapon-Free Zone Treaty: A Reflection on the Role of Activism
The ThinkerIt took 45 years between when the First Ordinary Session of the then Organisation of African Unity (OAU) [now the African Union] declared Africa a denuclearized zone in July 1964 and when the African Nuclear-Weapon-Free Zone Treaty (Treaty of Pelindaba)
Noël Stott
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Medication nonadherence during the first 100 days after pediatric hematopoietic stem cell transplantation (HSCT) and during oncology treatment increases risk for complications. BMT4me is a caregiver‐facing mobile health (mHealth) application providing medication reminders, symptom tracking, and note‐taking features to support ...
Micah A. Skeens +4 more
wiley +1 more source
Counter-verification in performance-based financing: key insights from the Côte d’Ivoire experience
Global Health ActionBackground Performance-based financing (PBF) is a key health financing reform in many sub-Saharan African countries, with verification being a critical component.
Joël Arthur Kiendrébéogo +8 more
doaj +1 more source