Results 71 to 80 of about 7,040,431 (319)

Modified election algorithm in hopfield neural network for optimal random k satisfiability representation

International Journal for Simulation and Multidisciplinary Design Optimization, 2020
Election algorithm (EA) is a novel metaheuristics optimization model motivated by phenomena of the socio-political mechanism of presidential election conducted in many countries.
Abubakar Hamza, Sabri Shamsul Rijal Muhammad, Abdu Masanawa Sagir, Yusuf Surajo   +3 more
doaj   +1 more source

IMP with exceptions over decorated logic [PDF]

Discrete Mathematics & Theoretical Computer Science, 2018
In this paper, we facilitate the reasoning about impure programming languages, by annotating terms with “decorations”that describe what computational (side) effect evaluation of a term may involve.
Burak Ekici
doaj   +1 more source

OPC-UA Agent for Legacy Programmable Logic Controllers [PDF]

, 2022
Seung-Yong Lee, Minyoung Sung
openalex   +1 more source

Reconfigurable Three‐Dimensional Superconducting Nanoarchitectures

Advanced Functional Materials, EarlyView.
3D superconducting nanostructures offer new possibilities for emergent physical phenomena. However, fabricating complex geometries remains challenging. Here 3D nanoprinting of complex 3D superconducting nanoarchitectures is established. As well as propagating superconducting vortices in 3D, anisotropic superconducting properties with geometric ...
Elina Zhakina, Luke Alexander Turnbull, Weijie Xu, Markus König, Paul Simon, Wilder Carrillo‐Cabrera, Amalio Fernández‐Pacheco, Uri Vool, Dieter Suess, Claas Abert, Vladimir M. Fomin, Claire Donnelly   +11 more
wiley   +1 more source

Proceedings 38th International Conference on Logic Programming

, 2022
Fabrizio Riguzzi
openalex   +2 more sources

Logical foundations and implementation of an extension of temporal logic

Journal of Computer Science and Technology, 2000
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj  

Disjunctive Logic Programs with Inheritance

, 2001
The paper proposes a new knowledge representation language, called ...
Buccafurri, Francesco, Faber, Wolfgang, Leone, Nicola   +2 more
core   +1 more source

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

DEDUCŢIA LOGICĂ – MECANISM DE CALCUL AL LIMBAJULUI DE PROGRAMARE LOGICĂ

Studia Universitatis Moldaviae: Stiinte Umanistice, 2008
The present article focuses on analysis and synthesis of elements which are the base of abstract interpreter of programs written in logic. Logic programming and Prolog language significance in studying computer science is appreciating.
USM ADMIN
doaj  

Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]

, 2014
The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core