Results 171 to 180 of about 575,998 (339)

Fuzzy logic programming and adaptable design of medical products for the COVID-19 anti-epidemic normalization. [PDF]

Comput Methods Programs Biomed, 2020
Fu YL, Liang KC.
europepmc   +1 more source

Advances in Symbiotic Bioabsorbable Devices

Advanced Science, EarlyView.
This review focuses on recent advances in bioabsorbable devices. This review concludes innovation at the material, device, and system levels, the significant advances toward biomedical applications. This review discusses and highlights the challenges and trends in symbiotic bioresorbable electronics, and provides a new direction for the development of ...
Chang Zhu, Engui Wang, Zhou Li, Han Ouyang   +3 more
wiley   +1 more source

Proving real-time properties of programs with temporal logic [PDF]

, 1981
Arthur Bernstein, Paul K. Harter
openalex   +1 more source

Progress and Perspectives in 2D Piezoelectric Materials for Piezotronics and Piezo‐Phototronics

Advanced Science, EarlyView.
This review examines advancements in 2D materials, focusing on their applications in piezotronics and piezo‐phototronics. It discusses key materials like TMDs, h‐BN, and phosphorene, highlighting their unique mechanical, electronic, and optical properties.
Fengyi Pang, Pin Zhao, Hyeon Yeong Lee, Dae‐Jin Kim, Xiangchun Meng, Yong Soo Cho, Sang‐Woo Kim   +6 more
wiley   +1 more source

The treatment of negation in logic programs for representing legislation [PDF]

, 1989
Robert Kowalski
openalex   +1 more source

A Solution‐Based Deposition Method Enabling Pigment Blue Edible Electrochemical Transistors

Advanced Science, EarlyView.
A novel solution‐based method is presented to produce Copper Phthalocyanine fibrous films displaying effective ion permeability and enhanced transconductance in electrolyte‐gated transistors architectures. Using these films, the first instance of a fully edible electrolyte‐gated transistor with volumetric capacitance, targeting in‐body applications, is
Alessandro Luzio, Fabrizio M. Ferrarese, Matteo Butti, Alberto D. Scaccabarozzi, Bojan Petrović, Sanja Kojić, Goran Stojanović, Simone Fiorini Granieri, Shubham Tanwar, Adrica Kyndiah, Mario Caironi   +10 more
wiley   +1 more source

2-SAT discrete Hopfield neural networks optimization via Crow search and fuzzy dynamical clustering approach

AIMS Mathematics
Within the swiftly evolving domain of neural networks, the discrete Hopfield-SAT model, endowed with logical rules and the ability to achieve global minima of SAT problems, has emerged as a novel prototype for SAT solvers, capturing significant ...
Caicai Feng , Saratha Sathasivam, Nurshazneem Roslan , Muraly Velavan   +3 more
doaj   +1 more source

On the expressive power of logic programming languages with sets [PDF]

, 1988
Gabriel M. Kuper
openalex   +1 more source

Disturbance‐Aware On‐Chip Training with Mitigation Schemes for Massively Parallel Computing in Analog Deep Learning Accelerator

Advanced Science, EarlyView.
This study proposes novel operational schemes to solve the write disturbance issues in oxide‐semiconductor and capacitor‐based synaptic devices (6T1C devices). These schemes effectively neutralize disturbances, enabling high‐performance on‐chip training of convolutional neural networks and reducing capacitor size over 100 times.
Jaehyeon Kang, Jongun Won, Narae Han, Sangjun Hong, Jee‐Eun Yang, Sangwook Kim, Sangbum Kim   +6 more
wiley   +1 more source

Set abstraction in functional and logic programming [PDF]

, 1989
Frank S. K. Silbermann, Bharat Jayaraman
openalex   +1 more source