Results 181 to 190 of about 1,698,712 (321)
Modified vedic multiplier architecture using Nikhilam and Karatsuba algorithms with hybrid adders for enhanced performance. [PDF]
Sci RepA S, A S.
europepmc +1 more source
Computing First-Order Logic Programs by Fibring Artificial Neural Networks [PDF]
, 2005 Sebastian Bader +2 more
openalex
Advanced Robotics Research, EarlyView.An AI‐powered, robot‐assisted framework automatically produces, images, and analyzes 3D tumor spheroids to evaluate drug efficacy. Integrated modules handle spheroid formation, live/dead staining, brightfield imaging, and automated image analysis, including spheroid segmentation, viability and metrics to assess the drug treatment efficacy. The workflow
Dalia Mahdy +13 more
wiley +1 more source
Multi-function multi-level grid tied inverter based on a new combined logic-analog controller with capacitors balancing ability. [PDF]
Sci RepNematzadeh Meinagh V +3 more
europepmc +1 more source
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster [PDF]
Carsten Lutz, Quentin Manière
openalex +1 more source
Liquid Metal Sensors for Soft Robots
Advanced Robotics Research, EarlyView.This review thoroughly reviews liquid metal sensors in soft robots. Their unique material properties like high conductivity and good biocompatibility are analyzed. Working principles are classified, and applications in environmental perception, motion detection, and human—robot interaction are introduced.
Qi Zhang +7 more
wiley +1 more source
From exchangeability to rational belief: a cognitive interpretation of de Finetti's theorem. [PDF]
Front PsycholCosta T.
europepmc +1 more source
Varieties of pure first-order logics of partial quasiary predicates
S.S. Shkilniak
openalex +2 more sources
Finding Finite Models in Multi-sorted First-Order Logic
, 2016 Giles Reger +2 more
openalex +2 more sources