Results 41 to 50 of about 557 (235)

Towards a Theory of Tracing for Functional Programs based on Graph Rewriting [PDF]

, 2006
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support program comprehension and debugging.
Luo, Yong, Yong Luo, Olaf Chitil, Chitil, Olaf   +3 more
core  

From Adult to Adolescent: Alignment in Clinical Trials and Outcomes in Axial Spondyloarthritis

Arthritis Care &Research, Accepted Article.
Spondyloarthritis (SpA) is a group of chronic inflammatory diseases encompassing axial and peripheral forms, with up to 20% of patients developing symptoms before age 16. Despite this substantial pediatric burden, treatment options for juvenile‐onset SpA (JSpA), particularly those with axial disease (axJSpA), remain limited.
Pamela F. Weiss, Judith A. Smith, Robert A. Colbert, Erin Treemarcki, Michael H. Weisman, Walter P. Maksymowych, Hermine I. Brunner, for the CARRA, SPARTAN, and PRCSG Advisory Council   +9 more
wiley   +1 more source

Gate‐Programmable Linearization of Atomically Thin Nanoelectromechanical Resonators via Duffing Nonlinearity Cancellation

Advanced Functional Materials, EarlyView.
Gate bias is used to cancel Duffing nonlinearity in atomically thin MoS2 drumhead resonators, switching their response from hardening to softening and creating a nearly linear operating point. This electrical control suppresses hysteresis, enables stronger linear drive, and improves signal‐to‐noise ratio, offering a practical route to stable 2D NEMS ...
Pengcheng Zhang, Miroslav Haluska, Cosmin Roman, Christofer Hierold   +3 more
wiley   +1 more source

Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells

Advanced Materials, EarlyView.
This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno, Qiangrui Dong, Marco Post, Xin Meng, Cristiano Glessi, Nynke Marije Hettema, Nidas Brandsma, Sebbe Blokhuizen, Alejandro Castañeda Garcia, Srividya Ganapathy, Thieme Schmidt, Lars van Roemburg, Bing Xu, Chun‐Ting Cho, Liedewij Laan, Miao‐Ping Chien, Daan Brinks   +16 more
wiley   +1 more source

From Fiber Bundles to Architected Membranes: Triply Periodic Minimal Surface Architectures for Biohybrid Artificial Lungs

Advanced Materials, EarlyView.
Additively manufactured triply periodic minimal surface (TPMS) membranes offer an architecture‐driven alternative to hollow fiber bundles in artificial lungs. Multiphysics simulations and endothelialized prototypes show that the 3D‐printable membrane architecture improves gas exchange, blood flow distribution, and hemocompatibility, enabling ...
Michael Pflaum, Kai P. Barbian, Florian Neuhaus, Gerrit Sitarz, Carolin Nölke, Sebastian V. Jansen, John Linkhorst, Lukas T. Hirschwald, Sebastian Brosch, Christian Certa, Ulrich Steinseifer, Matthias Wessling, Jutta Arens, Arjang Ruhparwar, Bettina Wiegmann   +14 more
wiley   +1 more source

Models of Computation: A Tribute to Ugo Montanari’s Vision [PDF]

, 2008
Ugo’s research activity in the area of Models of Computation (MoC, for short) has been prominent, influential and broadly scoped. In this introductory contribution we would like to recall some of the influential MoC models put forward by Ugo which cut ...
SASSONE V., Roberto Bruni, Bruni, Roberto, Vladimiro Sassone, Sassone, Vladimiro   +4 more
core   +1 more source

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source

Astrocytic Phenotypic Switching in Posterior Piriform Cortex Orchestrates Bone Cancer Pain–Depression Comorbidity via Purinergic–Noradrenergic Signaling

Advanced Science, EarlyView.
Bone cancer pain and depression share a common origin: astrocytic A2‐to‐A1 transition in the posterior piriform cortex. This phenotypic shift disrupts the ATP–adenosine–A2AR–norepinephrine axis, simultaneously driving nociceptive and affective dysfunction.
Jiang‐Ping Liu, Jun‐Han Zhang, Zhi‐Xuan Tan, Wei‐Bing Yan, Ya‐Ru Yuan, Yao Liu, Bing‐Di Wei, Meng‐Qi Ding, Zhuo‐Min Fu, Ying Liu, An‐Qi Wang, Lin Ma, Yong‐Hong Li, Er‐Qing Chai, Chao‐Jun Wei   +14 more
wiley   +1 more source

Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars [PDF]

, 2011
The collecting semantics of a program defines the strongest static property of interest. We study the analysis of the collecting semantics of higher-order functional programs, cast as left-linear term rewriting systems.
Jonathan Kochems, Ong, C.H. Luke, C.−H.Luke Ong, Kochems, Jonathan, Ong, C.−H.Luke   +4 more
core   +1 more source

CREAT: A CRISPR‐Based Genome Trimming Strategy for Systematic Identification of Dispensable Regions and Rapid Genome Reduction

Advanced Science, EarlyView.
Current genome‐reduction methods work in a trial‐and‐error fashion, constituting a long‐standing bottleneck in the research. We developed CREAT (CRISPR‐based genome trimming with a multi‐homology‐arm template), a CRISPR‐based genetic approach that enables systematically classifying essential versus non‐essential genomic regions and subsequently ...
Guanhua Yuan, Zhe Gao, Yingxuan Qi, Yang Zhang, Xuhui Tian, Pengpeng Zhao, Xu Feng, Qunxin She   +7 more
wiley   +1 more source