Results 1 to 10 of about 235,866 (258)
IEEE Access, 2020 While Resistive Random Access Memories (RRAM) are perceived nowadays as a promising solution for the future of computing, these technologies suffer from intrinsic variability regarding programming voltage, switching speed and achieved resistance values ...
Alexandre Levisse +9 more
doaj +2 more sources
Automated Termination Proofs for Logic Programs by Term Rewriting [PDF]
, 2008 There are two kinds of approaches for termination analysis of logic programs: "transformational" and "direct" ones. Direct approaches prove termination directly on the basis of the logic program. Transformational approaches transform a logic program into
Giesl, J. +3 more
core +18 more sources
Jurisprudential Feasibility of Agreement on the Incorrect Execution of Qisas [PDF]
Faṣlnāmah-i Pizhūhish-i Huqūq-i Kiyfarī, 2023 The main question is whether the agreement to change the organ subjects to qisas to a similar organ is legitimate and causes the right of qisas to be forfeited concerning the original organ?
hassan pourlotfollah +3 more
doaj +1 more source
Zdorovʹe Rebenka, 2022 The scientific review presents the mechanisms of action of cytoplasmic miRNAs, namely miRNA-mediated posttranslational silencing. To write the article, information was searched using Scopus, Web of Science, MedLine, PubMed, Google Scholar, EMBASE ...
A.E. Abaturov, V.L. Babуch
doaj +1 more source
Efficient simulation of neural development using shared memory parallelization
Frontiers in Neuroinformatics, 2023 The Neural Development Simulator, NeuroDevSim, is a Python module that simulates the most important aspects of brain development: morphological growth, migration, and pruning. It uses an agent-based modeling approach inherited from the NeuroMaC software.
Erik De Schutter, Erik De Schutter
doaj +1 more source
Targeted Writing and Deleting of Magnetic Skyrmions in Two-Terminal Nanowire Devices [PDF]
Nano Letters, 2021 Controllable writing and deleting of nanoscale magnetic skyrmions are key requirements for their use as information carriers for next-generation memory and computing technologies. While several schemes have been proposed, they require complex fabrication techniques or precisely tailored electrical inputs, which limits their long-term scalability.
Soong-Geun Je +9 more
openaire +5 more sources
Regulation of miRNA content. Part 2. Degradation of miRNAs
Zdorovʹe Rebenka, 2021 The scientific review presents the process of regulation of microRNA content — microRNA degradation. To write the article, information was searched using databases Scopus, Web of Science, MedLine, PubMed, Google Scholar, EMBASE, Global Health, The ...
A.E. Abaturov, V.L. Babуch
doaj +1 more source
Zdorovʹe Rebenka, 2022 This scientific review deals with the mechanisms of action of cytoplasmic microRNAs, namely post-transcriptional silencing: recruitment of the DCP1-DCP2 decapping complex and disruption of the interaction of mRNA with ribosomes.
A.E. Abaturov, V.L. Babуch
doaj +1 more source
An Energy-Efficient Current-Controlled Write and Read Scheme for Resistive RAMs (RRAMs)
IEEE Access, 2020 Energy efficiency remains one of the main factors for improving the key performance markers of RRAMs to support IoT edge devices. This paper proposes a simple and feasible low power design scheme which can be used as a powerful tool for energy reduction ...
H. Aziza +4 more
doaj +1 more source
Byzantine-Tolerant Set-Constrained Delivery Broadcast [PDF]
, 2020 Set-Constrained Delivery Broadcast (SCD-broadcast), recently introduced at ICDCN 2018, is a high-level communication abstraction that captures ordering properties not between individual messages but between sets of messages.
Auvolat, Alex, Raynal, Michel
core +1 more source