Results 61 to 70 of about 71,781 (264)
Loop-invariant Optimization in the Pifagor Language
Моделирование и анализ информационных систем, 2018 The paper considers methods of program transformation equivalent to optimizing the cycle invariant, applied to the functional data-flow model implemented in the Pifagor programming language.
Vladimir S. Vasilev +1 more
doaj +1 more source
FEBS Letters, EarlyView.Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil +4 more
wiley +1 more source
Guest Editor's Note: High-Level Parallel Programming 2021. [PDF]
Int J Parallel Program, 2023 Niculescu V, Loulergue F.
europepmc +1 more source
Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations
FEBS Letters, EarlyView.The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas +6 more
wiley +1 more source
G-SAIP: Graphical Sequence Alignment Through Parallel Programming in the Post-Genomic Era. [PDF]
Evol Bioinform Online, 2023 Piña JS +5 more
europepmc +1 more source
From mice to humans—divergent strategies for intestinal homeostasis and regeneration
FEBS Letters, EarlyView.Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa +2 more
wiley +1 more source
Verification of Program Parallelization [PDF]
, 2018 This thesis presents a set of verification techniques based on permission-based separation logic to reason about the data race freedom and functional correctness of program parallelizations. Our reasoning techniques address different forms of high-level and low-level parallelization.
openaire +1 more source
Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis
FEBS Letters, EarlyView.Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee +7 more
wiley +1 more source
Using OpenMP: Portable Shared Memory Parallel Programming
Journal of Computer Science and Technology, 2010 The book Using OpenMP: Portable Shared Memory Parallel Programming, presents OpenMP more than appropriately, from the perspective of high performance computing, which traditionally has provided most (if not all) the parallel software development ...
Fernando Gustavo Tinetti
doaj
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source