Results 41 to 50 of about 235,866 (258)
Safety Verification of Phaser Programs
, 2017 We address the problem of statically checking control state reachability (as in possibility of assertion violations, race conditions or runtime errors) and plain reachability (as in deadlock-freedom) of phaser programs.
Eles, Petru +3 more
core +1 more source
Project will assess effects of patients writing about their terminal illness on self perceived quality of life [PDF]
BMJ, 1997 Editor—Naomi Craft writes of autobiographies about dying.1 2 3 She reasons that these accounts can help readers feel better about their own deaths and satisfy some fearful curiosity about dying; publishing such accounts can fulfil a need of the writers to create a powerful memorial. The process of writing expressively and exploratively about dying can
G, Bolton, S, Ahmedzai
openaire +2 more sources
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source
Precise Modelling of Compensating Business Transactions and its Application to BPEL
, 2005 We describe the StAC language which can be used to specify the orchestration of activities in long running business transactions. Long running business transactions use compensation to cope with exceptions. StAC supports sequential and parallel behaviour
Butler, Michael +2 more
core +4 more sources
Calpain small subunit homodimerization is robust and calcium‐independent
FEBS Letters, EarlyView.Calpains dimerize via penta‐EF‐hand (PEF) domains. Using single‐molecule force spectroscopy, we measured the strength and kinetics of PEF–PEF homodimer binding. The interaction is robust, shows a transient conformational step before dissociation, and remains largely insensitive to Ca2+.
Nesha May O. Andoy +4 more
wiley +1 more source
Highly magnetized region in pulsar wind nebulae and origin of the Crab gamma-ray flares
, 2012 The recently discovered gamma-ray flares from the Crab nebula are generally attributed to the magnetic energy release in a highly magnetized region within the nebula. I argue that such a region naturally arises in the polar region of the inner nebula. In
Abdo +42 more
core +1 more source
FEBS Letters, EarlyView.This study reveals a unique active site enriched in methionine residues and demonstrates that these residues play a critical role by stabilizing carbocation intermediates through novel sulfur–cation interactions. Structure‐guided mutagenesis further revealed variants with significantly altered product profiles, enhancing pseudopterosin formation. These
Marion Ringel +13 more
wiley +1 more source
The Epistle of Cornelius, a Monk of the Snetogorsky Monastery
Slovene, 2015 This article deals with the problem of the dating and authorship of the Epistle of Cornelius, a monk of the Snetogorsky monastery, to his spiritual son, the priest Ivan, who decided to marry for a second time “for childbearing.” Nikolai I.
Valentina I. Okhotnikova
doaj
Ranking Functions for Size-Change Termination II
, 2009 Size-Change Termination is an increasingly-popular technique for verifying program termination. These termination proofs are deduced from an abstract representation of the program in the form of "size-change graphs".
Ben-Amram, Amir M., Lee, Chin Soon
core +2 more sources
Using Program Synthesis for Program Analysis [PDF]
, 2015 In this paper, we identify a fragment of second-order logic with restricted quantification that is expressive enough to capture numerous static analysis problems (e.g.
David, Cristina +2 more
core +4 more sources