Results 171 to 180 of about 332,485 (313)

Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking

, 2005
In this paper a non-canonical circuit-based state set representation is used to efficiently perform quantifier elimination. The novelty of this approach lies in adapting equivalence checking and logic synthesis techniques, to the goal of compacting ...
Crivellari, M., M. CRIVELLARI, Nocco, Sergio, Cabodi, Gianpiero, Quer, Stefano   +4 more
core  

Wavelet-Based Health Monitoring Approach for Train Door Actuation Using Motor Current Analysis. [PDF]

Sensors (Basel)
Shiao Y, Gadde P, Bollepelly M.
europepmc   +1 more source

Polyimide‐Linked Hexaazatriphenylene‐Based Porous Organic Polymer with Multiple Redox‐Active Sites as a High‐Capacity Organic Cathode for Lithium‐Ion Batteries

Advanced Materials, EarlyView.
A high‐capacity polyimide‐linked porous organic polymer (HAT‐PTO) incorporating numerous redox‐active centers is synthesized via a hydrothermal reaction, delivering a high theoretical capacity of 484 mAh g−1. In situ hybridization with carboxyl‐functionalized multiwalled carbon nanotubes enhances conductivity and stability, achieving 397 mAh g−1 at C ...
Arindam Mal, Jonathan Caroni, Asia Patriarchi, Olivera Luzanin, Rafael Ramos, Jan Bitenc, Manuel Melle‐Franco, Manuel Souto   +7 more
wiley   +1 more source

Inter-Turn Short Circuit Detection Based on Modulation Signal Bispectrum Analysis of Motor Current Signals

, 2013
Motor current signature analysis (MCSA) is a common practice in industry for finding motor faults. However, because of small modulations caused by faults and high noise contamination, it is difficult to quantify the modulation in measured signals which ...
Gu, Fengshou, Ball, Andrew, Ball, A. D., Gu, F., Alwodai, Ahmed, Yuan, X., Ahmed, M., Alwodai, A., Shao, Y.   +8 more
core  

Smart Manhole Cover with Tumbler Structure Based on Dual-Mode Triboelectric Nanogenerators. [PDF]

Sensors (Basel)
Cha B, Luo J, Guo Z.
europepmc   +1 more source

Electrically Readable Lateral Flow Assay Using Organic Transistors for Diagnostic Applications

Advanced Materials, EarlyView.
Electrolyte‐gated organic field‐effect transistors (EGOFETs) are integrated with lateral flow (LF) paper fluidics to create a reusable, portable, and low‐cost point‐of‐care (PoC) diagnostic test. The devices are validated for Human Immunoglobulin G detection, achieving high sensitivity (0.1 fm), selectivity, and reproducibility with rapid results in 20–
María Jesús Ortiz‐Aguayo, Carme Martínez‐Domingo, Diego Gutiérrez, Dean Kos, Marta Mas‐Torrent   +4 more
wiley   +1 more source

A Radial Stub Test Circuit for Microwave Power Devices

, 2006
With the principles of microwave circuits and semiconductor device physics, two microwave power device test circuits combined with a test fixture are designed and simulated, whose properties are evaluated by a parameter network analyzer within the ...
Ma Xiaolin, Luo Weijun, Wang Xiaoliang, Liang Xiaoxin, Liu Xinyu, Chen Xiaojuan   +5 more
core  

Cortical PV and VIP interneurons similarly influence SST neuron output despite distinct unitary properties. [PDF]

Commun Biol
Preuss F, Möck M, Witte M, Staiger JF.
europepmc   +1 more source

Energetic Offset in Organic Solar Cells‐ Importance, Confusion and Outlook

Advanced Materials, EarlyView.
Energetic offsets in organic solar cells (OSCs) remain a subject of debate due to measurement‐ and lab‐dependent discrepancies. This Perspective clarifies the physical origins of these variations and identifies temperature‐dependent electro‐optical methods as a reliable approach to obtain consistent offset values.
Nakul Jain, Xian'e Li, Mats Fahlman, Olle Inganäs, Koen Vandewal, Feng Gao   +5 more
wiley   +1 more source

Optimization of the ZigBee Routing Algorithm for the Beidou Sugar Beet Environmental Monitoring System. [PDF]

Sensors (Basel)
Yu H, Liu Y, Wei J.
europepmc   +1 more source