Results 111 to 120 of about 2,117 (264)

Generic Transforms on Incomplete Specifications of Asynchronous Interfaces

Electronic Notes in Theoretical Computer Science, 2003
AbstractIn [15], processes represent incomplete specifications that guarantee proper behavior only under assumed constraints. Behaviors are represented as abstract executions. Here we define a corresponding notion of morphism, called process abstractions, as maps that preserve a composition operator on processes.
openaire   +1 more source

Physics‐Grounded Probabilistic Bits for Hardware‐Efficient Intelligent Inference and Optimization

Advanced Intelligent Systems, EarlyView.
Si–SiNx interface traps are harnessed as a complementary metal–oxide–semiconductor‐compatible source of controllable randomness for probabilistic bits. Pulse‐width‐programmed stochastic capture converts nanoscale defect dynamics into Boltzmann‐consistent binary outputs, while a physics‐based Simulation Program with Integrated Circuit Emphasis model ...
Dokyoung Lee, Jun‐Young Park, Joon‐Kyu Han, Sungho Kim   +3 more
wiley   +1 more source

Facilitating Asynchronous Idea Generation and Selection with Chatbots

Proceedings of the 36th Australasian Conference on Human-Computer Interaction
People can generate high-quality ideas by building on each other's ideas. By enabling individuals to contribute their ideas at their own comfortable time and method (i.e., asynchronous ideation), they can deeply engage in ideation and improve idea quality. However, running asynchronous ideation faces a practical constraint.
Joongi Shin, Ankit Khatri, Michael A. Hedderich, Andrés Lucero, Antti Oulasvirta   +4 more
openaire   +3 more sources

Characterization and Selection of Contractile Actuators for Soft Robotics Operating in the Quasistatic Regime

Advanced Intelligent Systems, EarlyView.
We developed methods to characterize soft contractile actuators using force–displacement measurements in the passive state and the total force in the active state and define the operational range of thermal, electrothermal, and pneumatic muscles. A graphical method enables the selection of an actuator based on the required mechanical force–displacement
Qiong Wang, Liuyang Cheng, Jeongmin Kim, Samuel Tsai, Devin Roach, Sameh Tawfick   +5 more
wiley   +1 more source

AI‐Assisted IoT‐Enabled ECG Monitoring: Integrating Foundational and Generative AI Tools for Sustainable Smart Healthcare—Recent Trends

AI &Innovation, EarlyView.
ABSTRACT The rapid evolution of the Internet of Things (IoT) has significantly advanced the field of electrocardiogram (ECG) monitoring, enabling real‐time, remote, and patient‐centric cardiac care. This paper presents a comprehensive survey of AI assisted IoT‐based ECG monitoring systems, focusing on the integration of emerging technologies such as ...
Amrita Choudhury, Kandarpa Kumar Sarma, Lachit Dutta   +2 more
wiley   +1 more source

Hardware acceleration of number theoretic transform for zk‐SNARK

Engineering Reports, EarlyView., 2023
An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao, Dong Ding, Feng Wang, Pengcheng Hua, Ning Wang, Qin Wu, Zhilei Chai   +6 more
wiley   +1 more source

Variable grouping patterns in primates: A test of the better competitor hypothesis in male Verreaux's sifaka (Propithecus verreauxi)

The Anatomical Record, EarlyView.
Abstract Intraspecific variation in social organization (IVSO) within primate populations can arise due to male mating competition. Verreaux's sifaka (Propithecus verreauxi) populations exhibit both single‐male and multi‐male groups, providing an opportunity to examine the relationship between male competitive ability and social organization.
Lemeng Li, Stacey R. Tecot, Rebecca J. Lewis   +2 more
wiley   +1 more source

Induction or Asynchronous Generator

Induction or Asynchronous Generator
種別 ...
openaire  

Histological Characterization and Comparative Transcriptomic Analysis of Gonads During Early Sex Differentiation in the Northern Snakehead (Channa argus)

Animal Research and One Health, EarlyView.
This study delineates the early sex differentiation timeline in the northern snakehead (Channa argus). These findings provide a foundation for future sex‐control breeding in this economically important species. ABSTRACT The northern snakehead (Channa argus) is an economically important aquaculture species in China.
Chaonan Sun, Donglei Sun, Haishen Wen, Xin Qi, Chao Li, Xiaoyan Zhang, Yun Li   +6 more
wiley   +1 more source

The American College of Rheumatology Updated Recommended Methods for Development of Disease Classification and Response Criteria

Arthritis &Rheumatology, EarlyView.
Disease classification criteria and response criteria are important tools in the conduct of observational studies and clinical trials for rheumatic diseases. This paper updates methodologic guidance for classification and response criteria funded, developed and/or endorsed by the American College of Rheumatology (ACR), incorporating contemporary ...
Sindhu R. Johnson, Tuhina Neogi, Amy S. Turner, Jaime Guzman, Zahi Touma   +4 more
wiley   +1 more source