total 27took 0.07s

Effects of high vs moderate-intensity training on neuroplasticity and functional recovery after focal ischemiaFeb 08 2018Background and Purpose: This study was designed to compare the effects of high-intensity interval training (HIT) and moderate-intensity continuous training (MOD) on functional recovery and cerebral plasticity during the first 2 weeks following cerebral ... More

A Simple Extraction Procedure for Bibliographical Author FieldFeb 04 2009A procedure for bibliographic author metadata extraction from scholarly texts is presented. The author segments are identified based on capitalization and line break patterns. Two main author layout templates, which can retrieve from a varied set of title ... More

Approximate textual retrievalMay 05 2007An approximate textual retrieval algorithm for searching sources with high levels of defects is presented. It considers splitting the words in a query into two overlapping segments and subsequently building composite regular expressions from interlacing ... More

Equivariant motivic integration on formal schemes and the motivic zeta functionNov 27 2015For a formal scheme over a complete discrete valuation ring with a good action of a finite group, we define equivariant motivic integration, and we prove a change of variable formula for that.To do so, we construct and examine an induced group action ... More

The quotient map on the equivariant Grothendieck ring of varietiesAug 01 2014Mar 31 2016For a scheme S with a good action of a finite abelian group G having enough roots of unity we show that the quotient map on the G-equivariant Grothendieck ring of varieties over S is well defined with image in the Grothendieck ring of varieties over S/G ... More

On Rational Points of Varieties over Local Fields having a Model with Tame Quotient SingularitiesDec 20 2012Oct 23 2013We study rational points on a smooth variety X over a complete local field K with algebraically closed residue field, and models of X with tame quotient singularities. If a model of X is the quotient of a Galois action on a weak N\'eron model of the base ... More

A new rule for almost-certain termination of probabilistic and demonic programsDec 04 2016Extending our own and others' earlier approaches to proving termination of probabilistic programs, we propose and prove a new rule for "termination with probability one", also known as "almost-certain termination". The rule uses both super martingales ... More

Results on the quantitative mu-calculus qMuSep 15 2003The mu-calculus is a powerful tool for specifying and verifying transition systems, including those with both demonic and angelic choice; its quantitative generalisation qMu extends that to probabilistic choice. We show that for a finite-state system ... More

Physics of Spin Casting Dilute SolutionsMay 15 2012Jan 10 2014We analyze the evolution of the vertical composition profile during hydrodynamic-evaporative film thinning as it typically occurs during spin casting mixtures of non-volatile solutes and volatile solvents. We assume that the solvent dominates the hydrodynamic-evaporative ... More

Testing Pomeron flavour symmetry with diffractive W charge asymmetryOct 14 2015Feb 11 2016This study focuses on hard diffractive events produced in proton-proton collision at LHC exhibiting one intact proton in the final state which can be tagged by forward detectors. We report prospective results on the W boson charge asymmetry measured for ... More

Hidden-Markov Program Algebra with iterationFeb 02 2011We use Hidden Markov Models to motivate a quantitative compositional semantics for noninterference-based security with iteration, including a refinement- or "implements" relation that compares two programs with respect to their information leakage; and ... More

Analysis-suitable $G^1$ multi-patch parametrizations for $C^1$ isogeometric spacesSep 25 2015May 09 2016One key feature of isogeometric analysis is that it allows smooth shape functions. Indeed, when isogeometric spaces are constructed from $p$-degree splines (and extensions, such as NURBS), they enjoy up to $C^{p-1}$ continuity within each patch. However, ... More

An Event Structure Model for Probabilistic Concurrent Kleene AlgebraOct 09 2013We give a new true-concurrent model for probabilistic concurrent Kleene algebra. The model is based on probabilistic event structures, which combines ideas from Katoen's work on probabilistic concurrency and Varacca's probabilistic prime event structures. ... More

Weak Concurrent Kleene Algebra with Application to Algebraic VerificationJan 30 2013We propose a generalisation of concurrent Kleene algebra \cite{Hoa09} that can take account of probabilistic effects in the presence of concurrency. The algebra is proved sound with respect to a model of automata modulo a variant of rooted $\eta$-simulation ... More

Numerical simulation of electrocardiograms for full cardiac cycles in healthy and pathological conditionsSep 01 2015This work is dedicated to the simulation of full cycles of the electrical activity of the heart and the corresponding body surface potential. The model is based on a realistic torso and heart anatomy, including ventricles and atria. One of the specificities ... More

Probabilistic Rely-guarantee CalculusSep 01 2014Jun 02 2015Jones' rely-guarantee calculus for shared variable concurrency is extended to include probabilistic behaviours. We use an algebraic approach which combines and adapts probabilistic Kleene algebras with concurrent Kleene algebra. Soundness of the algebra ... More

Probabilistic Concurrent Kleene AlgebraJun 12 2013We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of probabilistic automata ... More

Compositional closure for Bayes Risk in probabilistic noninterferenceJul 07 2010We give a sequential model for noninterference security including probability (but not demonic choice), thus supporting reasoning about the likelihood that high-security values might be revealed by observations of low-security activity. Our novel methodological ... More

Refined lattice/model investigation of $u d \bar{b} \bar{b}$ tetraquark candidates with heavy spin effects taken into accountMay 13 2015We investigate four-quark systems consisting of two heavy anti-bottom quarks and two light up/down quarks. We propose to solve a coupled Schr\"odinger equation for the anti-bottom-anti-bottom separation using potentials computed via lattice QCD in the ... More

Repulsive Vector Interaction in Three Flavor Magnetized Quark and Stellar MatterMar 11 2014The effect of the vector interaction on three flavor magnetized matter is studied within the SU(3) Nambu--Jona-Lasiono quark model. We have considered cold matter under a static external magnetic field within two different models for the vector interaction ... More

Conditioning in Probabilistic ProgrammingApr 01 2015We investigate the semantic intricacies of conditioning, a main feature in probabilistic programming. We provide a weakest (liberal) pre-condition (w(l)p) semantics for the elementary probabilistic programming language pGCL extended with conditioning. ... More

Modelling and Analysis of AODV in UPPAALDec 23 2015This paper describes work in progress towards an automated formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in ad hoc wireless networks. We give a brief overview of a model of AODV implemented ... More

A Rigorous Analysis of AODV and its VariantsDec 30 2015In this paper we present a rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using a formal specification in AWN (Algebra for Wireless Networks), a process algebra which has been specifically tailored for the modelling ... More

A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODVDec 30 2013We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) protocols. It combines novel treatments of local broadcast, conditional unicast and data structures. ... More

Proceedings First Workshop on Quantitative Formal Methods: Theory and ApplicationsDec 10 2009This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the International Symposium on Formal Methods 2009. This volume contains the ... More

Automated Analysis of AODV using UPPAALDec 23 2015This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks. We give a brief overview of a model of AODV implemented in the UPPAAL model ... More

A Process Algebra for Wireless Mesh NetworksDec 23 2015We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the Ad-hoc On-Demand Distance Vector (AODV) routing protocol and (dis)prove ... More