Results 191 to 200 of about 31,117 (298)
Fault Diagnosis Method for Converter Stations Based on Fault Area Identification and Evidence Information Fusion. [PDF]
Wang S +6 more
europepmc +1 more source
Symbolic Unfoldings of High-level Petri Nets [PDF]
Unfoldings are a well known partial-order semantics of P/T (low-level) Petri nets that can be applied to various model checking or verification problems. For colored (high-level) Petri nets, the so-called symbolic unfolding generalizes this notion.
openaire +1 more source
Ergonomic Sponge Electrodes From Recycled PEDOT:PSS
ABSTRACT Emerging technologies in human–machine interfacing increasingly aim to develop solutions that naturally conform to the body's unique characteristics. Ergonomics and electrical performance in cutaneous sensing are crucial for accurate and reliable translation of biosignals.
Matías Ceballos +3 more
wiley +1 more source
Editorial: Robotics software engineering. [PDF]
Ciccozzi F +4 more
europepmc +1 more source
Self‐Adhesive Conductive Elastomers for Gel‐Free Biopotential Recording
σPOMaC, a self‐adhesive conductive citrate elastomer incorporating PEDOT:PSS and DBSA, enables gel‐free biopotential electrodes with stable conductivity and intrinsic skin adhesion. The composite exhibits low resistivity (∼ 0.02 Ω·cm), robust electrical performance during repeated use, and reliable on‐body ECG acquisition comparable to Ag/AgCl ...
Kirstie M. K. Queener +7 more
wiley +1 more source
Incremental modelling and analysis of biological systems with fuzzy hybrid Petri nets. [PDF]
Assaf G, Liu F, Heiner M.
europepmc +1 more source
Beyond the Ban—Shedding Light on Smallholders' Price Vulnerability in Indonesia's Palm Oil Industry
ABSTRACT The Indonesian government imposed a palm oil export ban in April 2022 to address rising cooking oil prices. This study explores oil palm smallholders' vulnerability to the policy using descriptive statistics, Lasso, and post‐Lasso OLS regressions.
Charlotte‐Elena Reich +3 more
wiley +1 more source
Formal modeling of a causal consistent distributed system and verification of its history <i>via</i> model checking using colored Petri net. [PDF]
Alsaegg KAM +2 more
europepmc +1 more source
ABSTRACT This study sets out to investigate the prospects for raising oil palm output in sub‐Saharan Africa, particularly Ghana, without further expansion of cropland. Given global concerns about oil palm's role in deforestation and land use change, the focus is on enhancing productivity on existing farmlands.
Jacob Asravor +3 more
wiley +1 more source

