10 resultados para Coloured Petri Nets (CPN)

em BORIS: Bern Open Repository and Information System - Berna - Suiça


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Neuroendocrine tumor (NET) entities are rare malignancies. Higher awareness and improved diagnostic methods have led to an increasing incidence of these diseases, and most oncologists deal with such patients in their daily practice. The symposium on NETs that was held in Merano (Italy) in October 2009 was organized by the German-speaking European School of Oncology (dESO) and gathered specialists from different disciplines of transalpine countries to bring together experiences and observations regarding these tumors. The goal of the meeting and of this review was to illustrate both well- and poorly differentiated NETs and to encourage interdisciplinary approaches.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Synaesthesia is a heterogeneous phenomenon, even when considering one particular sub-type. The purpose of this study was to design a reliable and valid questionnaire for grapheme-colour synaesthesia that captures this heterogeneity. By the means of a large sample of 628 synaesthetes and a factor analysis, we created the Coloured Letters and Numbers (CLaN) questionnaire with 16 items loading on 4 different factors (i.e., localisation, automaticity/attention, deliberate use, and longitudinal changes). These factors were externally validated with tests which are widely used in the field of synaesthesia research. The questionnaire showed good test–retest reliability and construct validity (i.e., internally and externally). Our findings are discussed in the light of current theories and new ideas in synaesthesia research. More generally, the questionnaire is a useful tool which can be widely used in synaesthesia research to reveal the influence of individual differences on various performance measures and will be useful in generating new hypotheses.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A search for pair-produced massive coloured scalar particles decaying to a four-jet final state is performed by the ATLAS experiment at the LHC in proton-proton collisions at root s = 7 TeV. The analysed data sample corresponds to an integrated luminosity of 4.6 fb(-1). No deviation from the Standard Model is observed in the invariant mass spectrum of the two-jet pairs. A limit on the scalar gluon pair production cross section of 70 pb (10 pb) is obtained at the 95 % confidence level for a scalar gluon mass of 150 GeV (350 GeV). Interpreting these results as mass limits on scalar gluons, masses ranging from 150 GeV to 287 GeV are excluded at the 95 % confidence level.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

UNLABELLED A high proportion of gut and bronchial neuroendocrine tumors (NETs) overexpresses somatostatin receptors, especially the sst2 subtype. It has also recently been observed that incretin receptors, namely glucagonlike peptide 1 (GLP-1) and glucose-dependent insulinotropic peptide (GIP) receptors, can be overexpressed in gut and bronchial NETs. However, because not all tumors can express these receptors in sufficient amounts, in vivo imaging with a single radioligand may not always be successful. We therefore evaluated with in vitro methods whether a cocktail of radioligands targeting these 3 receptors would improve tumor labeling. METHODS In vitro receptor autoradiography was performed on 55 NETs, comparing in each successive section of tumor the binding with a single radioligand, either (125)I-Tyr(3)-octreotide, (125)I-GLP-1(7-36)amide, or (125)I-GIP(1-30), with the binding using a cocktail of all 3 radioligands, given concomitantly under identical experimental conditions. RESULTS Using the cocktail of radioligands, all tumors without exception showed moderate to very high binding, with a receptor density corresponding to 1,000-10,000 dpm/mg of tissue; conversely, single-ligand binding, although identifying most tumors as receptor-positive, failed to detect receptors or measured only a low density of receptors below 1,000 dpm/mg in a significant number of tumors. In addition, the cocktail of radioligands always provided a homogeneous labeling of the whole tumor, whereas single radioligands occasionally showed heterogeneous labeling. CONCLUSION The study suggests that the use of a cocktail of 3 radioligands binding to somatostatin receptors, GLP-1 receptors, and GIP receptors would allow detecting virtually all NETs and labeling them homogeneously in vivo, representing a significant improvement for imaging and therapy in NETs.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVES Chewing efficiency may be evaluated using cohesive specimen, especially in elderly or dysphagic patients. The aim of this study was to evaluate three two-coloured chewing gums for a colour-mixing ability test and to validate a new purpose built software (ViewGum©). METHODS Dentate participants (dentate-group) and edentulous patients with mandibular two-implant overdentures (IOD-group) were recruited. First, the dentate-group chewed three different types of two-coloured gum (gum1-gum3) for 5, 10, 20, 30 and 50 chewing cycles. Subsequently the number of chewing cycles with the highest intra- and inter-rater agreement was determined visually by applying a scale (SA) and opto-electronically (ViewGum©, Bland-Altman analysis). The ViewGum© software determines semi-automatically the variance of hue (VOH); inadequate mixing presents with larger VOH than complete mixing. Secondly, the dentate-group and the IOD-group were compared. RESULTS The dentate-group comprised 20 participants (10 female, 30.3±6.7 years); the IOD-group 15 participants (10 female, 74.6±8.3 years). Intra-rater and inter-rater agreement (SA) was very high at 20 chewing cycles (95.00-98.75%). Gums 1-3 showed different colour-mixing characteristics as a function of chewing cycles, gum1 showed a logarithmic association; gum2 and gum3 demonstrated more linear behaviours. However, the number of chewing cycles could be predicted in all specimens from VOH (all p<0.0001, mixed linear regression models). Both analyses proved discriminative to the dental state. CONCLUSION ViewGum© proved to be a reliable and discriminative tool to opto-electronically assess chewing efficiency, given an elastic specimen is chewed for 20 cycles and could be recommended for the evaluation of chewing efficiency in a clinical and research setting. CLINICAL SIGNIFICANCE Chewing is a complex function of the oro-facial structures and the central nervous system. The application of the proposed assessments of the chewing function in geriatrics or special care dentistry could help visualising oro-functional or dental comorbidities in dysphagic patients or those suffering from protein-energy malnutrition.