Results 31 to 40 of about 2,109,378 (288)
Rethinking Pointer Reasoning in Symbolic Execution [PDF]
, 2017 Symbolic execution is a popular program analysis technique that allows seeking for bugs by reasoning over multiple alternative execution states at once. As the number of states to explore may grow exponentially, a symbolic executor may quickly run out of
Coppa, Emilio +2 more
core +1 more source
A Physics-Informed Cold-Start Capability for xEV Charging Recommender System
IEEE Open Journal of Vehicular TechnologyAn effortless charging experience will boost electric vehicle (xEV) adoption and assure driver satisfaction. Tailoring the charging experience incorporating smart algorithms introduces an exciting set of development opportunities.
Raik Orbay +6 more
doaj +1 more source
Frontiers in PsychologyIntroductionNon-suicidal self-injury (NSSI) is highly prevalent among prisoners and poses substantial challenges to prison management. This study examined the mechanisms linking adverse childhood experiences (ACEs) to NSSI among male prisoners, with a ...
Xianghui Lai +6 more
doaj +1 more source
Russian Journal of Economics and Law, 2015 Objective: to establish the essential properties of the mechanism of charitable activities and to formulate the concept of "mechanism of charitable activity".Methods: the objective of the study is achieved using the complex of methods, which are based on
R. B. Golovkin, V. I. Zhuravlev
doaj +1 more source
La bête mise à mort. Diana Michener, Damien Hirst, Guillermo Vargas : trois formes d’une projection
Miranda: Revue Pluridisciplinaire du Monde Anglophone, 2023 The death of the beast is a recurring artistic motif that is to be found in contemporary creation. Whether artists show the animal’s body in agony or offer a fragmented vision of it once it has been slaughtered, they try to shed light on what our society
Vincent Lecomte
doaj +1 more source
Symbolic Execution as DPLL Modulo Theories [PDF]
, 2014 © Quoc-Sang Phan; licensed under Creative Commons License CC-BY. Imperial College Computing Student Workshop (ICCSW’14). Editors: Rumyana Neykova and Nicholas Ng; pp. 58–65. OpenAccess Series in Informatics.
Phan, Q-S
core +2 more sources
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
Frontiers in Surgery, 2022 BackgroundThe achievement rate of the critical view of safety during laparoscopic cholecystectomy is much lower than expected. This original study aims to investigate and analyze factors associated with a low critical view of safety achievement.Materials
Yi Jin +10 more
doaj +1 more source
AES-CBC Software Execution Optimization
, 2012 With the proliferation of high-speed wireless networking, the necessity for efficient, robust and secure encryption modes is ever increasing. But, cryptography is primarily a computationally intensive process.
Doma, Jayramsingh +2 more
core +1 more source
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
FEBS Letters, EarlyView.We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source