Results 31 to 40 of about 67,651 (207)

Connectors meet Choreographies [PDF]

, 2018
We present Cho-Reo-graphies (CR), a new language model that unites two powerful programming paradigms for concurrent software based on communicating processes: Choreographic Programming and Exogenous Coordination.
Arbab, Farhad, Cruz-Filipe, Luís, Jongmans, Sung-Shik, Montesi, Fabrizio   +3 more
core   +1 more source

Information Transmission Strategies for Self‐Organized Robotic Aggregation

Advanced Robotics Research, EarlyView.
In this review, we discuss how information transmission influences the neighbor‐based self‐organized aggregation of swarm robots. We focus specifically on local interactions regarding information transfer and categorize previous studies based on the functions of the information exchanged.
Shu Leng, Zihan Li, Yifeng Shao, Jinhao Liu, Li Yu, Shuguang Li   +5 more
wiley   +1 more source

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing

Advanced Intelligent Systems, EarlyView.
This Roadmap outlines the transformative role of artificial intelligence‐augmented additive manufacturing, highlighting advances in design, monitoring, and product development. By integrating tools such as generative design, computer vision, digital twins, and closed‐loop control, it presents pathways toward smart, scalable, and autonomous additive ...
Ali Zolfagharian, Liuchao Jin, Qi Ge, Wei‐Hsin Liao, Andrés Díaz Lantada, Francisco Franco Martínez, Tianyu Zhang, Tao Liu, Charlie C. L. Wang, Mohammad Hossein Mosallanejad, Reza Ghanavati, Abdollah Saboori, Alejandro De Blas De Miguel, William Solórzano‐Requejo, Yi Cai, Xiangyang Dong, Huangyi Qu, Najmeh Samadiani, Guangyan Huang, Austin Downey, Yanzhou Fu, Lang Yuan, Tsz‐Kwan (Glory) Lee, Arbind Agrahari Baniya, Eisha Waseem, Abdul Rahman Sani, Abbas Z. Kouzani, Yijia Wu, Markus P. Nemitz, Masoud Shirzad, Dageon Oh, Seung Yun Nam, Amedeo Franco Bonatti, Irene Chiesa, Gabriele Maria Fortunato, Giovanni Vozzi, Carmelo De Maria, Mahdi Bodaghi   +37 more
wiley   +1 more source

Structural problems without structural solutions? Youth leaders' perceptions of their community

American Journal of Community Psychology, EarlyView.
Abstract As young people explore and reflect on the conditions of their neighborhoods and communities, they can forge a critical consciousness—merging their perspectives and analysis to direct both individual and collective actions. Photovoice is a methodological tool that allows participants to document their perspectives and analysis and discuss with
Linnea L. Hjelm, Aishia A. Brown, Benjamin W. Fisher, Alice Story, Nubia Bennett   +4 more
wiley   +1 more source

Patient‐Reported Outcomes with Selpercatinib Treatment Among Patients with RET‐Mutant Medullary Thyroid Cancer in the Phase I/II LIBRETTO‐001 Trial

The Oncologist, EarlyView., 2021
Abstract Background Medullary thyroid cancer (MTC) standard of care includes multikinase inhibitors (MKIs), which can exacerbate disease‐related diarrhea, primarily because of non‐RET kinase inhibition. We report diarrhea and other patient‐reported outcomes (PROs) with selpercatinib, a highly selective RET inhibitor, among patients with RET‐mutant MTC ...
Lori J. Wirth, Bruce Robinson, Valentina Boni, Daniel S.W. Tan, Caroline McCoach, Erminia Massarelli, Lisa M. Hess, Min‐Hua Jen, Jennifer Kherani, Elizabeth Olek, Vivek Subbiah   +10 more
wiley   +1 more source

Transition From Primary to Secondary School: Igniting Attendance and Engagement Among Aboriginal and Torres Strait Islander Students Through National Policy Reform

Australian Journal of Social Issues, EarlyView.
ABSTRACT Australia's Closing the Gap reform aims to address disparities experienced by Aboriginal and Torres Strait Islander peoples. There are specific targets focussed on key educational transitions; yet, the transition to secondary education is not a targeted priority.
Azhar Hussain Potia, Kai W. Wheeler, Tracy Woodroffe, Karen Thorpe   +3 more
wiley   +1 more source

‘Keeping Ourselves Safe From the System’: Perinatal Care Model Considerations for Aboriginal and Torres Strait Islander Families Intersecting With Child Protection

Australian Journal of Social Issues, EarlyView.
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, Shakira Onwuka, Paul Gray, Melissa O'Donnell, Helen Herrman, Renna Gayde, Skye Stewart, Kimberley A. Jones, Jane Fisher, Emma Stubbs, Cath Chamberlain, Jacynta Krakouer   +11 more
wiley   +1 more source

ARM2GC: Succinct Garbled Processor for Secure Computation [PDF]

, 2019
We present ARM2GC, a novel secure computation framework based on Yao's Garbled Circuit (GC) protocol and the ARM processor. It allows users to develop privacy-preserving applications using standard high-level programming languages (e.g., C) and compile ...
Hussain, Siam U., Koushanfar, Farinaz, Riazi, M. Sadegh, Sadeghi, Ahmad-Reza, Songhori, Ebrahim M.   +4 more
core   +1 more source