Results 161 to 170 of about 138,161 (315)
Extended Goal Recognition Design with First-Order Computation Tree Logic
Tsz-Chiu Au
openalex +2 more sources
Microfluidic Mixing with the Dynamic Control of Magnetic Actuation
Schematic illustration and flow field visualization of magnetically actuated L‐shaped microrobots displaying cooperative vortex generation for enhanced microscale mixing. The left side shows the electromagnetic actuation setup, which enables programmable control of rotational direction and frequency.
Prashant Kishor Sharma +2 more
wiley +1 more source
PARACONSISTENT NEGATION AND CLASSICAL NEGATION IN COMPUTATION TREE LOGIC
Norihiro Kamide, Ken Kaneiwa
openalex +1 more source
During lengthy minimally invasive surgeries, fatigue can cause surgeon tremor and poor endoscopic coordination. This study proposes a robot‐assisted endoscopic adjustment system. It employs a lightweight instrument detection model and a hierarchical multiconstraint controller for visual servoing.
Zijie Yang +5 more
wiley +1 more source
Abstract Research‐Practice Partnerships seek to close the research‐practice gap through developing collaborative, authentic partnerships between researchers and community members. Our team has leveraged Research‐Practice Ambassadors to support socially just and equitable partnership processes in schools.
Danielle R. Hatchimonji +8 more
wiley +1 more source
On the Prospects for African Philosophy in Australia
ABSTRACT This paper grapples with the situation of people of African descent in Australia by working through the constitution of the body of academic philosophy in the country. It contends with the parochialism of the Australian philosophical community and the prospects for the cultivation of greater pluralism. Taking African philosophy as one possible
Bryan Mukandi
wiley +1 more source
Modeling and verification of data circulation control based on timed automata
To address the challenges of verifying the feasibility, correctness, and security of cross-domain data circulation control policies in their generation, transmission, and execution, a formal modeling and verification method was proposed based on timed ...
LI Heng +5 more
doaj
ABSTRACT It is the priority of Aboriginal and Torres Strait Islander communities, and Australian governments, to provide infants with enriching environments in which they may thrive. This is particularly critical during the perinatal period. Yet, an increasing number of notifications and interventions by child protection authorities are occurring in ...
Neve Mucabel‐Bue +11 more
wiley +1 more source
The structure of the non‐canonical C16 sesquiterpene named hegelenether was revised to the structure of marxdiol, and its absolute configuration was assigned. Isotopic labeling experiments revealed the stereochemical course of the methyltransferase involved in its biosynthesis.
Heng Li +3 more
wiley +1 more source
ABSTRACT The growing impacts of climate change and energy scarcity demand environmentally sustainable refrigeration solutions. This study investigates eco‐friendly refrigerants (R152a, R290 and R600a) and their optimized ternary mixture as alternatives to R134a. Four blend compositions were analysed using experimental testing and REFPROP 10.0 modelling
M. Periyasamy, P. Senthilkumar
wiley +1 more source

