Results 91 to 100 of about 991,008 (302)
Automated Synthesis of Distributed Controllers [PDF]
arXiv, 2015 Synthesis is a particularly challenging problem for concurrent programs. At the same time it is a very promising approach, since concurrent programs are difficult to get right, or to analyze with traditional verification techniques. This paper gives an introduction to distributed synthesis in the setting of Mazurkiewicz traces, and its applications to ...
arxiv
Direct Ink Writing of Conductive Hydrogels
Advanced Functional Materials, EarlyView.This review examines the use of direct ink writing (DIW) for fabricating conductive hydrogels with customizable 3D structures. It outlines the rheological requirements for successful DIW, followed by an exploration of the materials and ink formulations used to impart electronic and/or ionic conductivity to hydrogels while maintaining printability ...
Monica Ho +6 more
wiley +1 more source
Research on multi-dimensional reconstruction mechanism of cloud native full link in the metaverse scenario. [PDF]
Sci Rep, 2023 Sheng S.
europepmc +1 more source
A hierarchical structure for concurrency control in a distributed database system [PDF]
, 1979 Haruaki Yamazaki +4 more
openalex +1 more source
Advanced Functional Materials, EarlyView.This work presents an overview of the PTC‐VMD system for water‐hydrogen co‐generation. a) Illustration of the hydrogel‐based PTC membrane and the co‐generation of water and hydrogen. b) Structure of the PTC‐VMD system and the functions of each component layer.
Jiawei Sun +7 more
wiley +1 more source
Internal Temperature Evolution Metrology and Analytics in Li‐Ion Cells
Advanced Functional Materials, EarlyView.This study investigates the non‐linear evolution of internal temperatures across diverse operating conditions, highlighting the disparities between internal and external measurements and the resulting thermal asymmetries. The coupled thermo‐electrochemical modeling framework provides a comprehensive analysis of various heat generation modes, examining ...
Anuththara S. J. Alujjage +5 more
wiley +1 more source
A Light-Weight Distributed System for the processing of Replicated Counter-like Objects [PDF]
International Journal of Distributed and Parallel Systems (IJDPS)
Vol.4, No.3, May 2013, 1 -15, 2013 In order to increase availability in a distributed system some or all of the data items are replicated and stored at separate sites. This is an issue of key concern especially since there is such a proliferation of wireless technologies and mobile users.
arxiv
Advanced Functional Materials, EarlyView.This review highlights the potential of single‐atom catalysts in three key photocatalytic reactions: the hydrogen evolution reaction (HER), nitrogen reduction reaction for ammonia synthesis, and carbon dioxide reduction reaction (CO2RR) for chemical fuels.
Saad Mehmood +5 more
wiley +1 more source
Global Optimizations & Lightweight Dynamic Logic for Concurrency [PDF]
arXivModern accelerators like GPUs are increasingly executing independent operations concurrently to improve the device's compute utilization. However, effectively harnessing it on GPUs for important primitives such as general matrix multiplications (GEMMs) remains challenging.
arxiv
Advanced Functional Materials, EarlyView.Self‐aligned gate transistors are developed with a single‐step dielectric passivation and fine‐tuning of source/drain electrode work function using phosphonic acid self‐assembled monolayers (SAM). This transistor architecture minimizes overlap capacitances and access resistance.
Linqu Luo +16 more
wiley +1 more source