Results 181 to 190 of about 93,973 (331)

Narrative Co-Evolution in Hybrid Social Networks: A Longitudinal Computational Analysis of Confucius Institutes. [PDF]

Entropy (Basel)
Huang M, Wang JL, Zhang ZK.
europepmc   +1 more source

Terahertz Channel Modeling, Estimation and Localization in RIS‐Assisted Systems

Advanced Electronic Materials, EarlyView.
Reconfigurable intelligent surfaces have become a recent intensive research focus. Based on practical applications, channel strategies for RIS‐assisted terahertz wireless communication systems are categorized into three different types: channel modeling, channel estimation, and channel localization.
Hongjing Wang, Weipeng Wang, Xuan Cong, Shiyu Wang, Gao Li, Sen Gong, Lin Huang, Hongxin Zeng, Yaxin Zhang, Ziqiang Yang   +9 more
wiley   +1 more source

The Temporal Logic of Rewriting

, 2007
José Meseguer
openalex   +1 more source

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems

Partha Roop, Sobhan Chatterjee, Avinash Malik, Nathan Allen, Logan Kenwright   +4 more
openalex   +1 more source

Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications [PDF]

Scott Williams, Jyotirmoy V. Deshmukh
openalex   +1 more source

Handling Disjunctions in Signal Temporal Logic Based Control Through Nonsmooth Barrier Functions

, 2022
Adrian Wiltz, Dimos V. Dimarogonas
openalex   +2 more sources

Peer Support Workers in Mental Health Care: Plural Positionings Beyond Transformation and Assimilation Dichotomy. [PDF]

Health Expect
Aquili L, Rocelli M, Brunelli S, Mangione F, Negri M, Salamina G, Faccio E.   +6 more
europepmc   +1 more source

RRAM Variability Harvesting for CIM‐Integrated TRNG

Advanced Electronic Materials, EarlyView.
This work demonstrates a compute‐in‐memory‐compatible true random number generator that harvests intrinsic cycle‐to‐cycle variability from a 1T1R RRAM array. Parallel entropy extraction enables high‐throughput bit generation without dedicated circuits. This approach achieves NIST‐compliant randomness and low per‐bit energy, offering a scalable hardware
Ankit Bende, Gokulnath Rajendran, Regina Dittmann, Anupam Chattopadhyay, Vikas Rana   +4 more
wiley   +1 more source

At the Right Time: Temporal Precision in Personalised Medicine. [PDF]

Sociol Health Illn
Hofmann D, Esposito E.
europepmc   +1 more source

Fundamental Challenges, Physical Implementations, and Integration Strategies for Ising Machines in Large‐Scale Optimization Tasks

Advanced Electronic Materials, EarlyView.
Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley   +1 more source