Results 21 to 30 of about 1,182,071 (254)
Loop Leaping with Closures [PDF]
, 2012 Loop leaping is the colloquial name given to a form of program analysis in which summaries are derived for nested loops starting from the innermost loop and proceeding in a bottom-up fashion considering one more loop at a time.
Sebastian Biallas +7 more
core +1 more source
Der Check für Pelletsheizungen
, 2022 S.24-27Im Zeitschriftenbeitrag wird über das vom Bundesumweltministerium geförderte Projekt "Heizungs-Check / Pellets-Check" berichtet und einige Ergebnisse dargestellt. Der Schwerpunkt liegt auf der Dienstleistung Pellets-Check.
Clausnitzer, Klaus-Dieter
core +1 more source
The all-loop conjecture for integrands of reggeon amplitudes in N=4 $$ \mathcal{N}=4 $$ SYM
Journal of High Energy Physics, 2018 In this paper we present the all-loop conjecture for integrands of Wilson line form factors, also known as reggeon amplitudes, in N=4 $$ \mathcal{N}=4 $$ SYM.
A. E. Bolshov +2 more
doaj +1 more source
One Speaker/One Poem: Jeremy Elprin on John Keats
, 2022 Jeremy Elprin (Université de Caen Normandie) will be presenting John Keats's poem "On First Looking into Chapman's Homer". The session will be moderated by Marc Porée You can follow the presentation on YouTube via this link (or via Zoom for the LOOP ...
The LOOP team
core
Degradation mechanism of the von Willebrand factor A2 domain by nattokinase
FEBS Letters, EarlyView.Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto +3 more
wiley +1 more source
Sequent calculi with an efficient loop-check for BDI logics. [PDF]
, 2010 Sequent calculi for BDI logics is a research object of the thesis. BDI logics are widely used for agent system description and implementation. Agents are autonomous systems, those acts in some environment and aspire to achieve preassigned goals ...
Birštunas, Adomas,
core
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
A method of marks and indices for linear modal logic
Lietuvos Matematikos Rinkinys, 2009 In the paper a method to check termination of history-free proof for linear modal logic S4.3 is proposed. This method improves the method proposed by the authors for modal logic S4.
Regimantas Pliuškevičius +1 more
doaj +1 more source
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