Results 61 to 70 of about 37,788,190 (381)
YARS-PG: Property Graphs Representation for Publication and Exchange
IEEE AccessGraph serialization is a critical aspect of advancing graph-oriented systems and applications. Despite the importance of standardized serialization for property graphs, there is a lack of a universal format encompassing all essential features of graph ...
Lukasz Szeremeta +2 more
doaj +1 more source
FASTSET: A Fast Data Structure for the Representation of Sets of Integers
Algorithms, 2019 We describe a simple data structure for storing subsets of { 0 , … , N − 1 } , with N a given integer, which has optimal time performance for all the main set operations, whereas previous data structures are non-optimal for at least ...
Giuseppe Lancia, Marcello Dalpasso
doaj +1 more source
REWIND: Recovery Write-Ahead System for In-Memory Non-Volatile Data-Structures
Proceedings of the VLDB Endowment, 2015 Recent non-volatile memory (NVM) technologies, such as PCM, STT-MRAM and ReRAM, can act as both main memory and storage. This has led to research into NVM programming models, where persistent data structures remain in memory and are accessed directly ...
Andreas Chatzistergiou +2 more
semanticscholar +1 more source
Predicate Abstraction for Linked Data Structures
, 2015 We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often ...
A Ahmed +18 more
core +1 more source
Making tau amyloid models in vitro: a crucial and underestimated challenge
FEBS Letters, EarlyView.This review highlights the challenges of producing in vitro amyloid assemblies of the tau protein. We review how accurately the existing protocols mimic tau deposits found in the brain of patients affected with tauopathies. We discuss the important properties that should be considered when forming amyloids and the benchmarks that should be used to ...
Julien Broc, Clara Piersson, Yann Fichou
wiley +1 more source
Optimising Simulation Data Structures for the Xeon Phi [PDF]
, 2016 In this paper, we propose a lock-free architecture to accelerate logic gate circuit simulation using SIMD multi-core machines. We evaluate its performance on different test circuits simulated on the Intel Xeon Phi and 2 other machines.
Chimeh, Mozhgan K., Cockshott, Paul
core +1 more source
FEBS Letters, EarlyView.Venom peptides have shown promise in treating pain. Our study uses computer screening to identify a peptide that targets a sodium channel (NaV1.7) linked to chronic pain. We produced the peptide in the laboratory and refined its design, advancing the search for innovative pain therapies.
Gagan Sharma +8 more
wiley +1 more source
Современные информационные технологии и IT-образование, 2019 The traveling salesman problem is the one of the most famous combinatorial optimization problems. This problem is important and at the same time difficult to solve, due to the exponential complexity of the exact methods of solution.
Nikolay V. Mamonov
doaj +1 more source
The power of microRNA regulation—insights into immunity and metabolism
FEBS Letters, EarlyView.MicroRNAs are emerging as crucial regulators at the intersection of metabolism and immunity. This review examines how miRNAs coordinate glucose and lipid metabolism while simultaneously modulating T‐cell development and immune responses. Moreover, it highlights how cutting‐edge artificial intelligence applications can identify miRNA biomarkers ...
Stefania Oliveto +2 more
wiley +1 more source
Structure-functional analysis and synthesis of deep convolutional neural networks [PDF]
Компьютерная оптика, 2019 A general approach to a structure-functional analysis and synthesis (SFAS) of deep neural networks (CNN). The new approach allows to define regularly: from which structure-functional elements (SFE) CNNs can be constructed; what are required mathematical ...
Yuri Vizilter +2 more
doaj +1 more source