Results 121 to 130 of about 566,633 (340)

Smarter Sensors Through Machine Learning: Historical Insights and Emerging Trends across Sensor Technologies

Advanced Functional Materials, EarlyView.
This review highlights how machine learning (ML) algorithms are employed to enhance sensor performance, focusing on gas and physical sensors such as haptic and strain devices. By addressing current bottlenecks and enabling simultaneous improvement of multiple metrics, these approaches pave the way toward next‐generation, real‐world sensor applications.
Kichul Lee, Osman Gul, Yeongjae Kwon, Jaeseok Jeong, Seokjoo Cho, Jihyeon Ahn, Jehee Yu, Cheolmin Kim, Donho Lee, Hyeonseok Han, Byeongju Lee, Jungrak Choi, Ji‐Hwan Ha, Yongrok Jeong, Kyungnam Kang, Ali Javey, Junseong Ahn, Inkyu Park   +17 more
wiley   +1 more source

Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata [PDF]

, 2014
Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li   +4 more
openalex   +1 more source

Synthetic Nanobiology Actuated Lipometabolic Cell Factory for Autologous Tumor Immunotherapy

Advanced Functional Materials, EarlyView.
FA plays a crucial role in the interaction between tumor cells and the tumor microenvironment, especially for the immune response. A biocatalytic immunoenhancement strategy is developed to boost antitumor immunity by FA metabolic orientation to ceramide. Through the design of this delicate catalytic immunoenhancement strategy, the synthetic nanobiology
Shoujie Zhao, Yejing Zhu, Hengchao Yu, Jun Zhu, Bo Wang, Yu Qiao, Zhimin Tian, Junlong Zhao, Lei Liu   +8 more
wiley   +1 more source

Shape‐Morphing Nanoengineered Hydrogel Ribbons as Hemostats

Advanced Functional Materials, EarlyView.
This study introduces a self‐assembling, shape‐morphing nanoengineered hydrogel ribbon system that rapidly forms porous aggregates in situ for efficient hemostasis in trauma and surgical applications. Abstract Rapid and effective hemorrhage control remains a major challenge in trauma and surgical care, particularly for complex or noncompressible wounds.
Ryan Davis Jr, Saptarshi Biswas, Jacob Aragon, Asaf Dana, Jasmine Sureka, Vaaridhi Ramanuja, Jeevika Thazhaiselvam, Sarah E. Miller, Taylor H. Ware, Akhilesh K. Gaharwar   +9 more
wiley   +1 more source

How Effective are Large Language Models in Generating Software Specifications? [PDF]

, 2023
Danning Xie, Byoungwoo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, J. Lee   +6 more
openalex   +1 more source

Selection Strategies for Flexible Pressure Sensor Electrode Materials Toward Ultrafast Response

Advanced Functional Materials, EarlyView.
This study reveals, for the first time, how the electrode–organic interface governs the temporal performance of flexible pressure sensors. By pairing high‐conductivity CVD PEDOT with commonly used metal electrodes, the authors demonstrate that interfacial energy alignment dictates microsecond‐scale response, providing a straightforward design strategy ...
Jinwook Baek, Yuxuan Zhang, Hyeondong Yang, Minyoung Kim, Pavlos P. Vlachos, Jeongok Choe, Bo‐Gyu Bok, Kejie Zhao, Han‐Wook Song, Min‐Seok Kim, Martin Byung‐Guk Jun, Sunghwan Lee   +11 more
wiley   +1 more source

Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models [PDF]

, 2022
Evgenii Moiseenko, Vladimir Gladstein, Anton Podkopaev, Dmitrij Koznov   +3 more
openalex   +1 more source

Bio‐Orthogonally Crosslinked Supramolecular Polymer Bottlebrush Hydrogels for Long‐Term 3D Cell Culture

Advanced Functional Materials, EarlyView.
Fibrous benzenetrispeptide (BTP) hydrogels, fabricated via strain‐promoted azide‐alkyne cycloaddition (SPAAC) crosslinking, form robust, bioinert networks. These hydrogels can support 3D cell culture, where cell viability and colony growth depend on the fiber content.
Ceren C. Pihlamagi, David Pretzel, Peer Nölte, Kourosh Rezaei, Ulrich S. Schubert, Johannes C. Brendel   +5 more
wiley   +1 more source

Introducing H, an institution-based formal specification and\n verification language [PDF]

, 2019
Răzvan Diaconescu
openalex   +1 more source

Specifying Logic Programs in Controlled Natural Language

, 1994
Writing specifications for computer programs is not easy since one has to take into account the disparate conceptual worlds of the application domain and of software development.
Fuchs, Norbert E., Schwitter, Rolf
core   +3 more sources