Results 31 to 40 of about 3,391,200 (289)
Small-x Effects in W + jets Production at the Tevatron [PDF]
, 1995 The jet structure in events with Drell-Yan-produced W bosons is discussed, and a new model for describing such event is presented. The model is shown to explain recent measurements of the W-jet rapidity correlation and predicts a transverse energy flow ...
Abt +28 more
core +2 more sources
1-Safe Petri nets and special cube complexes: equivalence and applications
, 2019 Nielsen, Plotkin, and Winskel (1981) proved that every 1-safe Petri net $N$ unfolds into an event structure $\mathcal{E}_N$. By a result of Thiagarajan (1996 and 2002), these unfoldings are exactly the trace regular event structures.
Chalopin, Jérémie, Chepoi, Victor
core +3 more sources
Event Structure and Non-Culminating Readings in Turkic
LanguagesSince the seminal work by David Dowty, much inspired by the earlier ideas of Generative Semantics, a number of proposals have been developed accounting for the internal constitution and interpretation of accomplishment event predicates like ‘open the ...
Sergei Tatevosov
doaj +1 more source
Configuration structures, event structures and Petri nets [PDF]
Theoretical Computer Science, 2009 Contributed to the Festschrift for Mogens Nielsen's 60th ...
van Glabbeek, R.J., Plotkin, Gordon
openaire +2 more sources
Case and event structure [PDF]
, 2013 I argue in this paper for a novel analysis of case in Icelandic, with implications for case theory in general. I argue that structural case is the manifestation on the noun phrase of features which are semantically interpretable only on verbal ...
Svenonius, Peter
core
, 2018 We develop a comprehensive dynamical framework, CIBJET, to calculate on an event-by-event basis the dependence of correlations between soft ($p_T 10$ Gev) azimuthal flow angle harmonics on the color composition of near-perfect QCD fluids produced in high
Gyulassy, Miklos +2 more
core +1 more source
From Event-B models to Dafny code contracts [PDF]
, 2015 International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification
C.A.R. Hoare +11 more
core +3 more sources
Data Structures on Event Graphs [PDF]
Algorithmica, 2012 15 pages, 7 figures, a preliminary version appeared in Proc.
Chazelle, Bernard, Mulzer, Wolfgang
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Primary lung carcinomas and bronchial carcinoid tumors (BC) are very rare malignancies in childhood. While typical BC and mucoepidermoid carcinomas are mostly low‐grade, localized tumors with a more favorable prognosis than in adults, necessitating avoidance of overtreatment, adenocarcinomas of the lung are often diagnosed at advanced disease ...
Michael Abele +19 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source