Results 31 to 40 of about 238,753 (197)

Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation [PDF]

arXiv, 2018
One of the main advantages of Prolog is its potential for the implicit exploitation of parallelism and, as a high-level language, Prolog is also often used as a means to explicitly control concurrent tasks. Tabling is a powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and ...
arxiv  

Lazy State Determination: More concurrency for contending linearizable transactions [PDF]

arXiv, 2020
The concurrency control algorithms in transactional systems limits concurrency to provide strong semantics, which leads to poor performance under high contention. As a consequence, many transactional systems eschew strong semantics to achieve acceptable performance.
arxiv  

Alleviation of Aging‐Related Hallmarks in a Mouse Model of Progeria via a Nanoparticle‐Based Artificial Transcription Factor

Advanced Functional Materials, EarlyView.
Oct4‐nanoscript, a biomimetic nanoparticle‐based artificial transcription factor, precisely regulates cellular rejuvenation by activating Oct4 target genes, restoring epigenetic marks, and reducing DNA damage. In a progeria model, it effectively rescued aging‐associated pathologies and extended lifespan.
Hongwon Kim, Junyeop Kim, Euiyeon Lee, Brandon Conklin, Yannan Hou, Sumin Kim, Yerim Hwang, Ki‐Bum Lee, Jongpil Kim   +8 more
wiley   +1 more source

Enhancing Low‐Temperature Performance of Sodium‐Ion Batteries via Anion‐Solvent Interactions

Advanced Functional Materials, EarlyView.
DOL is introduced into electrolytes as a co‐solvent, increasing slat solubility, ion conductivity, and the de‐solvent process, and forming an anion‐rich solvent shell due to its high interaction with anion. With the above virtues, the batteries using this electrolyte exhibit excellent cycling stability at low temperatures. Abstract Sodium‐ion batteries
Cheng Zheng, Qian Yao, Yanan Sun, Hongyu Lv, Zhongchao Bai, Guoliang Zhang, Nana Wang, Jian Yang   +7 more
wiley   +1 more source

Higher-Order Concurrent Win32 Programming [PDF]

arXiv, 2004
We present a concurrent framework for Win32 programming based on Concurrent ML, a concurrent language with higher-order functions, static typing, lightweight threads and synchronous communication channels. The key points of the framework are the move from an event loop model to a threaded model for the processing of window messages, and the decoupling ...
arxiv  

Supercompliant Lattice Boosts n‐type AgSbTe2 Thermoelectrics

Advanced Functional Materials, EarlyView.
The supercompliant lattice design enables the first realization of n‐type electrical transport in AgSbTe2 by overcoming intrinsic electron‐killer defects and exceeding the doping limits imposed by the conventional Hume–Rothery rule. Accordingly, the best performance n‐type Ag0.8Na0.3Sb0.6Bi0.4Te2 sample achieves a low κ of 0.27 W·m−1·K−1 that ...
Ruoyan Li, Shuai Han, Chunyu Zhang, Suyao Liu, Wen Yin, Yuanguang Xia, Pengfei Liu, Zhen‐Hua Ge, Dongyao Zhao, Bingchao Yang, Lulu Huang, Zhi Zhang, Yongsheng Zhang, Yuan Yu, Bangzhi Ge, Chongjian Zhou   +15 more
wiley   +1 more source

Transmembrane Activation of Catalysis and Protein Refolding in Synthetic Cells by Enzymes and Nanozymes

Advanced Functional Materials, EarlyView.
Synthetic cells are engineered herein to respond to an external chemical messenger by the activation of intracellular catalysis. The chemical messenger molecules are catalytically generated by an extracellular enzyme or a mineral surface, whereas the intracellular catalysis emerges via direct enzyme activation or via protein refolding.
Dante G. Andersen, Andreas B. Pedersen, Mireia Casanovas Montasell, Søren Moesgaard, Anja Bille Bohn, Alexander N. Zelikin   +5 more
wiley   +1 more source

Concurrency Control for Adaptive Indexing [PDF]

Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 7, pp. 656-667 (2012), 2012
Adaptive indexing initializes and optimizes indexes incrementally, as a side effect of query processing. The goal is to achieve the benefits of indexes while hiding or minimizing the costs of index creation. However, index-optimizing side effects seem to turn read-only queries into update transactions that might, for example, create lock contention ...
arxiv  

Harnessing Interfacial Cl− Ions for Concurrent Formate Production at Industrial Level via CO2 Reduction and Methanol Oxidation

Advanced Functional Materials, EarlyView.
The replacement of the anodic OER in CO2RR with energy‐saving methanol oxidation reaction and the creation of a favorable microenvironment through interfacial Cl− ions enable concurrent formate production at industrial‐level current densities. Abstract The efficient electrocatalytic conversion of CO2 to formate is often impeded by the high energy ...
Yiqun Chen, Yan Zhang, Zhen Li, Biao Feng, Mengting Li, Qiang Wu, Zheng Hu, Lawrence Yoon Suk Lee   +7 more
wiley   +1 more source

The five color concurrency control protocol: non-two-phase locking in general databases [PDF]

, 1990
Partha Dasgupta, Zvi M. Kedem
openalex   +1 more source