Results 21 to 30 of about 235,866 (258)
Some Challenges of Specifying Concurrent Program Components
, 2018 The purpose of this paper is to address some of the challenges of formally specifying components of shared-memory concurrent programs. The focus is to provide an abstract specification of a component that is suitable for use both by clients of the ...
Hayes, Ian J.
core +1 more source
An ultra-low power 3-terminal memory device with write capability in the off-state [PDF]
2019 Electron Devices Technology and Manufacturing Conference (EDTM), 2019 In this work, we demonstrated a room temperature fabricated ZnO/Ta 2 O 5 transistor for low power compute-in-memory application. By writing during the off-state, the device programmed for compute-in-memory shows power consumption in nW. By using variable pulse amplitudes for SET/RESET allows control of the on/off ratio of resistance states without ...
Song, X., Kumar, A., De Souza, M.M.
openaire +2 more sources
Parallel Deferred Update Replication
, 2013 Deferred update replication (DUR) is an established approach to implementing highly efficient and available storage. While the throughput of read-only transactions scales linearly with the number of deployed replicas in DUR, the throughput of update ...
Pacheco, Leandro +2 more
core +1 more source
Step-Indexed Logical Relations for Probability (long version)
, 2015 It is well-known that constructing models of higher-order probabilistic programming languages is challenging. We show how to construct step-indexed logical relations for a probabilistic extension of a higher-order programming language with impredicative ...
A. Ahmed, D. Dreyer, R. Crubillé
core +1 more source
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
FEBS Letters, EarlyView.Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley +1 more source
International Journal of Africa Nursing SciencesIntroduction: Human rights laws defend the right to abortion. In Ethiopia, the 2005 abortion law permits termination in specific cases. Unsafe abortions account for 19.6 % of maternal deaths.
Melkam Andargie Belay +5 more
doaj +1 more source
Reachability and Termination Analysis of Concurrent Quantum Programs
, 2012 We introduce a Markov chain model of concurrent quantum programs. This model is a quantum generalization of Hart, Sharir and Pnueli's probabilistic concurrent programs.
Ying, Mingsheng, Yu, Nengkun
core +1 more source
Mapping the evolution of mitochondrial complex I through structural variation
FEBS Letters, EarlyView.Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin +2 more
wiley +1 more source
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
FEBS Letters, EarlyView.This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes +3 more
wiley +1 more source
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source