Results 131 to 140 of about 14,163,398 (293)

A Session Type System for Asynchronous Unreliable Broadcast Communication [PDF]

Logical Methods in Computer Science
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assumed that the communication medium is reliable, with no loss of messages ...
Dimitrios Kouzapas, Ramunas Forsberg Gutkovas, A. Laura Voinea, Simon J. Gay   +3 more
doaj   +1 more source

Strain‐Programmable Luminescent Adhesive Patch With Tartrazine‐Mediated Optical Skin Clearing for Photochemical Tissue Bonding

Advanced Functional Materials, EarlyView.
We propose a suture‐complementary approach that integrates optical skin clearing with a strain‐programmable luminescent adhesive patch. Hyaluronic acid promotes transdermal delivery of tartrazine to improve optical clearing and stabilizes its interaction with a photosensitizer. Optical clearing increases the penetration depth of visible light into skin,
Seong‐Jong Kim, Kyungjoo Jo, Kwanghyeon Park, Jun Hee Kim, Jong Hyeong Cho, Inhoo Choi, Sei Kwang Hahn   +6 more
wiley   +1 more source

Microsphere‐Templated Conductive Syntactic Foams for Recyclable and Additively Manufactured Soft Electronics

Advanced Healthcare Materials, EarlyView.
This work introduces a microsphere‐templated strategy to fabricate reprocessable PEDOT:PSS syntactic foams with tunable porosity, stable conductivity, and 3D printability. In situ PEDOT:PSS coatings create a conductive network that maintains electrical performance at high void fractions.
Gayaneh Petrossian, Yassine Diouri, Bolan Xu, Sara Ebrahimi, Atharva Pande, Floriane Miquet‐Westphal, Hang Xu, Fabio Cicoira   +7 more
wiley   +1 more source

Session Types for Link Failures

, 2017
We strive to use session type technology to prove behavioural properties of fault-tolerant distributed algorithms. Session types are designed to abstractly capture the structure of (even multi-party) communication protocols. The goal of session types is the analysis and verification of the protocols’ behavioural properties.
Manuel Adameit, Kirstin Peters, Uwe Nestmann   +2 more
openaire   +3 more sources

Nocturnal Intraocular Pressure Monitoring With a Soft Contact Lens Sensor for Glaucoma Management

Advanced Materials, EarlyView.
A soft contact lens sensor enables continuous, noninvasive monitoring of nocturnal intraocular pressure (IOP) under closed‐eye sleep conditions. By integrating a highly compliant inductive–capacitive circuit onto a commercial lens, the device achieves record sensitivity and stable performance.
Yumin Dai, Tristan Michael Long, Oluwabunmi T. Oladele, Youngoh Lee, Feiyang Li, Ziheng Wang, Yeonji Oh, Junsang Lee, Taewoong Park, Tianhao Yu, Seokkyoon Hong, Kyeonghee Lim, Jinheon Jeong, Dawn Meyer Schneider, Hyerim Ra, Bryan W. Boudouris, Gillian C. Shaw, Shin Ae Park, Pete S. Kollbaum, Chi Hwan Lee   +19 more
wiley   +1 more source

Functions as Session-Typed Processes [PDF]

, 2012
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calculus in a linear λ-calculus, followed by a standard translation of linear natural deduction to linear sequent calculus.
Bernardo Toninho, Luís Caires, Frank Pfenning   +2 more
openaire   +1 more source

Soft Robotic Excretory Care Simulator for Nursing Education: Functional and Perceptual Biomimetics Approach

Advanced Robotics Research, EarlyView.
A soft robotic simulator is developed to replicate the digital removal of feces (DRF), a sensitive yet essential nursing procedure. Integrating soft actuators, sensors, and a realistic rectal model, the simulator balances functional fidelity with perceptual realism. Engineering evaluations and nurse feedback confirm its potential to enhance training in
Shoko Miyagawa, Sota Suzuki, Shizuka Watanabe, Zebing Mao, Young Ah Seong, Toshinori Fujie, Tatsuhiro Horii, Kenjiro Tadakuma, Koichi Suzumori, Hiroyuki Nabae, Shingo Maeda   +10 more
wiley   +1 more source

Continual Learning for Multimodal Data Fusion of a Soft Gripper

Advanced Robotics Research, EarlyView.
Models trained on a single data modality often struggle to generalize when exposed to a different modality. This work introduces a continual learning algorithm capable of incrementally learning different data modalities by leveraging both class‐incremental and domain‐incremental learning scenarios in an artificial environment where labeled data is ...
Nilay Kushawaha, Egidio Falotico
wiley   +1 more source

The Pairing of Contracts and Session Types [PDF]

, 2008
We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contracts. The encoding of contracts accommodates complex synchronization patterns, since session types own a simple control protocol.
LANEVE, COSIMO, L. Padovani
openaire   +1 more source

ChicGrasp: Imitation‐Learning‐Based Customized Dual‐Jaw Gripper Control for Manipulation of Delicate, Irregular Bio‐Products

Advanced Robotics Research, EarlyView.
Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar, Zhengtong Xu, Siavash Mahmoudi, Pouya Sohrabipour, Chaitanya Pallerla, Yu She, Wan Shou, Philip Glen Crandall, Dongyi Wang   +8 more
wiley   +1 more source