Results 41 to 50 of about 1,543,905 (277)
The language of Stratified Sets is confluent and strongly normalising [PDF]
Logical Methods in Computer Science, 2018 We study the properties of the language of Stratified Sets (first-order logic with $\in$ and a stratification condition) as used in TST, TZT, and (with stratifiability instead of stratification) in Quine's NF.
Murdoch J. Gabbay
doaj +1 more source
IPERION HS D.3.1 FIXLAB First Access Report
, 2022 FIXLAB is a distributed platform composed of 23 stationary research infrastructures based in 12 European countries that gives access to more than 130 analytical techniques and the associated expertise. It provides transnational access to external researchers all across Europe that investigate major questions related to the materiality of Heritage ...
Mirambet, François +3 more
openaire +1 more source
, 2011 We compile 23 Gamma-ray Bursts (GRBs) and 21 blazars with estimated Doppler factors, and the Doppler factors of GRBs are estimated from their Lorentz factors by assuming their jet viewing angles \theta->0 degree.
Abdo +21 more
core +1 more source
On the functional design of the DTU10 MW wind turbine scale model of LIFES50+ project [PDF]
, 2016 This paper illustrates the mechatronic design of the wind tunnel scale model of the DTU 10MW reference wind turbine, for the LIFES50+ H2020 European project.
Bayati, I. +5 more
core +1 more source
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge [PDF]
Logical Methods in Computer Science, 2005 This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981 to the recursion ...
Luca Aceto +3 more
doaj +1 more source
Vanishing Beta Function curves from the Functional Renormalisation Group [PDF]
, 2015 In this paper we will discuss the derivation of the so-called vanishing beta function curves which can be used to explore the fixed point structure of the theory under consideration.
Mati, P.
core +3 more sources
Characterising Testing Preorders for Finite Probabilistic Processes [PDF]
Logical Methods in Computer Science, 2008 In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and Hennessy to processes featuring probabilistic as well as nondeterministic choice.
Yuxin Deng +3 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Infants with cancer are rare and face unique challenges. Our study aims to describe the incidence of infantile cancers in Canada and to compare treatment‐related mortality (TRM) and their outcomes with those of older children. Methods We conducted a retrospective cohort study using the Cancer in Young People in Canada database ...
Samuel Sassine +22 more
wiley +1 more source
Infinitary Combinatory Reduction Systems: Confluence [PDF]
Logical Methods in Computer Science, 2009 We study confluence in the setting of higher-order infinitary rewriting, in particular for infinitary Combinatory Reduction Systems (iCRSs). We prove that fully-extended, orthogonal iCRSs are confluent modulo identification of hypercollapsing subterms ...
Jeroen Ketema, Jakob Grue Simonsen
doaj +1 more source
Near-Infrared Photometric Study of the Old Open Cluster Trumpler 5
, 2009 We present JHK near-infrared photometric study for the old open cluster (OC) Trumpler 5 (Tr 5), based on the 2MASS data. From the color-magnitude diagrams of Tr 5, we have located the position of the red giant clump (RGC) stars, and used the mean ...
Kim, Sang Chul +2 more
core +1 more source