Results 201 to 210 of about 532,868 (319)

The Process Specification Language (PSL) overview and version 1.0 specification

, 2000
Craig Schlenoff, Michael Grüninger, Florence Tissot, John Valois, Jintae Lee   +4 more
openalex   +1 more source

The PSL/Sugar Specification Language A Language for all Seasons [PDF]

, 2003
Daniel Geist
openalex   +1 more source

Memristive In‐Memory Object Detection with 128 Mb C‐Doped Ge2Sb2Te5 PCM Chip

Advanced Science, EarlyView.
A memristive in‐memory object detection system is presented for edge computing based on a 128 Mb phase change memory chip (40 nm, 99.99999 % yield) enabling in‐memory vector‐matrix multiplication and max computation. A novel mixed‐precision weight mapping reduces analog‐to‐digital‐converter energy by 22.3×.
Chenchen Xie, Yuqi Li, Longhao Yan, Sannian Song, Houpeng Chen, Ruijuan Qi, Xi Li, Yihang Zhu, Lianfeng Yu, Bonan Yan, Yaoyu Tao, Gaoming Feng, Yuchao Yang, Zhitang Song   +13 more
wiley   +1 more source

Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM. [PDF]

Sci Rep
Li Q, Han J, Yuan L, Li X, Wang X.
europepmc   +1 more source

Strain‐Sensitive Thermochromic Smart Electronic Skin for Joint and Spine Healthcare Applications

Advanced Science, EarlyView.
iStretch, a multifunctional e‐skin integrating durable strain sensing, adaptive heat therapy, and visual feedback, is presented for joint and spine rehabilitation. Featuring a bilayer graphene–liquid metal design, iStretch offers high sensitivity, real‐time responsiveness, and user interactivity, enabling personalized musculoskeletal care through ...
Shicheng Fan, Shuwen Chen, Zheng Qiao, Jiaming Qi, Zixiong Wu, Chwee Teck Lim   +5 more
wiley   +1 more source

Application of domain-specific modeling in kinetography and bipedal humanoid robot control. [PDF]

PeerJ Comput Sci
Djukić V, Oros D, Penčić M, Lu Z.
europepmc   +1 more source

Visual formal specification using (N)TLcharts: statechart automata with temporal logic and natural language conditioned transitions [PDF]

, 2004
Doron Drusinsky
openalex   +1 more source

Edible and Recyclable Gelatin‐Based Electronics for High‐Precision Health and Environmental Monitoring

Advanced Science, EarlyView.
An edible and recyclable composite film composed of gelatin and activated charcoal is presented for multifunctional health and environmental monitoring. The edible films exhibit tuneable mechanical and electrical properties, along with multimodal sensing capabilities for strain, humidity, and temperature. The composite film is degradable and recyclable,
Ming Dong, Pietro Cataldi, Han Zhang, Emiliano Bilotti, Conor Boland, Athanassia Athanassiou, Dimitrios G. Papageorgiou   +6 more
wiley   +1 more source

English as a formal specification language [PDF]

, 2004
Rolf Schwitter
openalex   +1 more source

Advanced Brain‐on‐a‐Chip for Wetware Computing: A Review

Advanced Science, EarlyView.
Exploring Low‐Power, Beyond‐Silicon‐Computing Bio‐Computing: Brain‐on‐a‐Chip Technology. This article reviews the applications of Brain‐on‐a‐Chip in Wetware Computing, including in vitro‐cultured brain organoids, microelectrode arrays, electrophysiological interfaces, and microfluidic platforms, as well as data processing methods. It also looks forward
Shangchen Li, Yaoyao Liu, Sihan Hua, Yu Wang, Shutong Sun, Longhui Jiang, Chengji Lu, Juntao Liu, Huaizhang Shi, Pei Wu, Xinxia Cai, Jinping Luo   +11 more
wiley   +1 more source