Results 21 to 30 of about 1,454,309 (287)
Anti-suit Injunctions as Means of Avoidance of Parallel Arbitration and Court Proceedings
Наукові записки НаУКМА: Юридичні науки, 2019 Parallel proceedings in the international commercial arbitration pose a number of challenges to all parties of such proceedings. Therefore, as a means of avoiding the abovementioned problem, a mechanism of anti-suit measures was developed. Nowadays, anti-
Mariia Deviatkina
doaj +1 more source
Classical Proofs as Parallel Programs [PDF]
, 2018 We introduce a first proofs-as-parallel-programs correspondence for classical logic. We define a parallel and more powerful extension of the simply typed lambda calculus corresponding to an analytic natural deduction based on the excluded middle law. The
Aschieri, Federico +2 more
core +2 more sources
A Faster-Than Relation for Semi-Markov Decision Processes [PDF]
, 2020 When modeling concurrent or cyber-physical systems, non-functional requirements such as time are important to consider. In order to improve the timing aspects of a model, it is necessary to have some notion of what it means for a process to be faster ...
Bacci, Giorgio +2 more
core +3 more sources
Online Parallel and Comparable Corpora for Legal Translations
Altre Modernità, 2018 The use of corpus linguistics for technical translations has largely been advocated by scholars over the years. This paper is aimed at providing instances of legal term search in online parallel and comparable corpora.
Patrizia Giampieri
doaj +1 more source
Melting of regular and decoupled vortex lattices in BSCCO crystals [PDF]
, 1999 The angular dependence of the first-order phase transition (FOT) in the vortex lattice in Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8}$ crystals was investigated by a low frequency AC shielding technique (with the AC field $\parallel c$), in which the static-field ...
C.J. van der Beek +8 more
core +1 more source
Adaptive Integrand Decomposition [PDF]
, 2016 We present a simplified variant of the integrand reduction algorithm for multiloop scattering amplitudes in $d = 4 - 2\epsilon$ dimensions, which exploits the decomposition of the integration momenta in parallel and orthogonal subspaces, $d=d_\parallel ...
Bobadilla, William J. Torres +3 more
core +1 more source
The objective limits of the ne bis in idem in Italy between national and European rules
Revista Brasileira de Direito Processual Penal, 2018 It is sure that the ne bis in idem constitutes a fundamental right, protected by a plurality of national (article 649 of the Italian Criminal Procedure Code) and European rules (article 50 CDFUE and article 4 protocol n. 7 ECHR).
Fabio Salvatore Cassibba
doaj +1 more source
Progress and Problems in QCD - Report from the Hadronic Final States Working Group at DIS99 [PDF]
, 1999 We present a summary of the Hadronic Final States parallel sessions of the DIS99 Workshop. Topics were presented over two days and included both theoretical and experimental talks. Recent progress in the understanding of QCD in deep inelastic scattering,
Adloff +21 more
core +3 more sources
Pressure-Induced Antiferromagnetic Bulk Superconductor EuFe$_2$As$_2$
, 2009 We present the magnetic and superconducting phase diagram of EuFe$_2$As$_2$ for $B \parallel c$ and $B \parallel ab$. The antiferromagnetic phase of the Eu$^{2+}$ moments is completely enclosed in the superconducting phase.
Alireza +23 more
core +1 more source
Strains and Jets in Black Hole Fields [PDF]
, 2007 We study the behaviour of an initially spherical bunch of particles emitted along trajectories parallel to the symmetry axis of a Kerr black hole. We show that, under suitable conditions, curvature and inertial strains compete to generate jet-like ...
A. Geralico +4 more
core +1 more source