Search results for " Order"

showing 10 items of 827 documents

La orden europea de investigaciòn

2018

The paper analyses Directive 2014/41/EU on the European Investigation order, with specific regard to the grounds for non recognition or non execution.

European Investigation Orderfree movement of evidencegrounds for non recognitionexecutionSettore IUS/16 - Diritto Processuale Penale
researchProduct

Il procedimento di esecuzione dell'OEI e i margini nazionali di rifiuto

2018

Il lavoro esamina la procedura di esecuzione dell'ordine di indagine europeo, disciplinata nel titolo II del d.lgs. n. 108/2017. Nel compiere l'analisi si evidenzia come il nuovo strumento di acquisizione delle prove europee non abbia recepito il principio del mutuo riconoscimento nella sua dimensione "pura".

European Investigation Ordergrounds for refusalSettore IUS/16 - Diritto Processuale Penalelex fori and lex lociright of defence
researchProduct

LA ORDEN EUROPEA DE INVESTIGACIÓN COMO INSTRUMENTO PARA LA LUCHA CONTRA LA CRIMINALIDAD ORGANIZADA. Significado, sujetos y herramientas en la obtenci…

2022

The study focuses on the analysis and investigation of the European instrument called the European Investigation Order (EIO), and its contributions to the fight against organised crime. This instrument was adopted by the European legislator, with the aim of achieving effective and swift cross-border judicial cooperation in criminal matters. In this context the main question that encourages research is: to what extent is the EIO a suitable instrument in the fight against organised crime? From this question the rest of the questions arise, articulating the structure of the thesis. In addition, in this work, we highlight the comparative perspective: the EIO instrument has been examined from a …

European investigation orderArea of freedom security and justiceorganised crimeEU
researchProduct

Monoids and Maximal Codes

2011

In recent years codes that are not Uniquely Decipherable (UD) are been studied partitioning them in classes that localize the ambiguities of the code. A natural question is how we can extend the notion of maximality to codes that are not UD. In this paper we give an answer to this question. To do this we introduce a partial order in the set of submonoids of a monoid showing the existence, in this poset, of maximal elements that we call full monoids. Then a set of generators of a full monoid is, by definition, a maximal code. We show how this definition extends, in a natural way, the existing definition concerning UD codes and we find a characteristic property of a monoid generated by a maxi…

FOS: Computer and information sciencesDiscrete mathematicsMonoidCode (set theory)Formal Languages and Automata Theory (cs.FL)lcsh:MathematicsComputer Science - Formal Languages and Automata TheoryAstrophysics::Cosmology and Extragalactic Astrophysicslcsh:QA1-939lcsh:QA75.5-76.95Set (abstract data type)chemistry.chemical_compoundchemistryFOS: MathematicsMathematics - CombinatoricsOrder (group theory)High Energy Physics::ExperimentCombinatorics (math.CO)lcsh:Electronic computers. Computer scienceCharacteristic propertyPartially ordered setMaximal elementMathematicsElectronic Proceedings in Theoretical Computer Science
researchProduct

Fractional generalized cumulative entropy and its dynamic version

2021

Following the theory of information measures based on the cumulative distribution function, we propose the fractional generalized cumulative entropy, and its dynamic version. These entropies are particularly suitable to deal with distributions satisfying the proportional reversed hazard model. We study the connection with fractional integrals, and some bounds and comparisons based on stochastic orderings, that allow to show that the proposed measure is actually a variability measure. The investigation also involves various notions of reliability theory, since the considered dynamic measure is a suitable extension of the mean inactivity time. We also introduce the empirical generalized fract…

FOS: Computer and information sciencesExponential distributionComputer Science - Information TheoryMathematics - Statistics TheoryStatistics Theory (math.ST)01 natural sciencesMeasure (mathematics)010305 fluids & plasmas0103 physical sciencesFOS: MathematicsApplied mathematicsAlmost surelyCumulative entropy; Fractional calculus; Stochastic orderings; EstimationEntropy (energy dispersal)010306 general physicsStochastic orderingsMathematicsCentral limit theoremNumerical AnalysisInformation Theory (cs.IT)Applied MathematicsCumulative distribution functionProbability (math.PR)Fractional calculusEmpirical measureFractional calculusModeling and SimulationEstimationCumulative entropyMathematics - ProbabilityCommunications in Nonlinear Science and Numerical Simulation
researchProduct

On generalized Lyndon words

2018

Abstract A generalized lexicographical order on infinite words is defined by choosing for each position a total order on the alphabet. This allows to define generalized Lyndon words. Every word in the free monoid can be factorized in a unique way as a nonincreasing factorization of generalized Lyndon words. We give new characterizations of the first and the last factor in this factorization as well as new characterization of generalized Lyndon words. We also give more specific results on two special cases: the classical one and the one arising from the alternating lexicographical order.

FOS: Computer and information sciencesGeneral Computer ScienceDiscrete Mathematics (cs.DM)Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)68R15Characterization (mathematics)Lexicographical orderTheoretical Computer ScienceLyndon wordsCombinatoricsFactorizationPosition (vector)Free monoidFOS: MathematicsOrder (group theory)Mathematics - CombinatoricsCombinatorics (math.CO)Word (group theory)Computer Science::Formal Languages and Automata TheoryMathematicsComputer Science - Discrete Mathematics
researchProduct

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

2020

AbstractIn model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many applications over the past 31 years. One of the early works on stubborn sets shows that a combination of several conditions on the reduction is sufficient to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a solution together with an updated correctness proof. Furthermore, we analyse in whi…

FOS: Computer and information sciencesModel checkingComputer Science - Logic in Computer ScienceTheoretical computer sciencepartial-order reductionComputer scienceautomaattien teoria020207 software engineering02 engineering and technologymodel checkingArticleLogic in Computer Science (cs.LO)Partial order reductionstubborn sets0202 electrical engineering electronic engineering information engineeringState space020201 artificial intelligence & image processingEquivalence (formal languages)Equivalence (measure theory)tietojenkäsittely
researchProduct

Detecting informative higher-order interactions in statistically validated hypergraphs

2021

Recent empirical evidence has shown that in many real-world systems, successfully represented as networks, interactions are not limited to dyads, but often involve three or more agents at a time. These data are better described by hypergraphs, where hyperlinks encode higher-order interactions among a group of nodes. In spite of the large number of works on networks, highlighting informative hyperlinks in hypergraphs obtained from real world data is still an open problem. Here we propose an analytic approach to filter hypergraphs by identifying those hyperlinks that are over-expressed with respect to a random null hypothesis, and represent the most relevant higher-order connections. We apply…

FOS: Computer and information sciencesPhysics - Physics and SocietyComputer scienceQC1-999Open problemFOS: Physical sciencesGeneral Physics and AstronomyPhysics and Society (physics.soc-ph)Astrophysicscomputer.software_genreENCODEMethodology (stat.ME)Statistics - MethodologySocial and Information Networks (cs.SI)PhysicsComputer Science - Social and Information NetworksFilter (signal processing)HyperlinkClass (biology)Settore FIS/07 - Fisica Applicata(Beni Culturali Ambientali Biol.e Medicin)QB460-466Pairwise comparisonData miningNoise (video)Null hypothesiscomputerhigher order interactions statistical validation complex networksCommunications Physics
researchProduct

Quantum Phases and Spin Liquid Properties of 1T-TaS2

2021

Quantum materials exhibiting magnetic frustration are connected to diverse phenomena including high-Tc superconductivity, topological order and quantum spin liquids (QSLs). A QSL is a quantum phase (QP) related to a quantum-entangled fluid-like state of matter. Previous experiments on QSL candidate materials are usually interpreted in terms of a single QP, although theories indicate that many distinct QPs are closely competing in typical frustrated spin models. Here we report on combined temperature-dependent muon spin relaxation and specific heat measurements for the triangular-lattice QSL candidate material 1T-TaS2 that provide evidence for competing QPs. The measured properties are assig…

FOS: Physical sciences02 engineering and technologyQuantum phases01 natural sciencesCondensed Matter - Strongly Correlated ElectronsMesoscale and Nanoscale Physics (cond-mat.mes-hall)0103 physical sciencesTopological orderAtomic physics. Constitution and properties of matter010306 general physicsSpin (physics)MaterialsQuantumMaterials of engineering and construction. Mechanics of materialsPhysicsCondensed Matter - Materials ScienceStrongly Correlated Electrons (cond-mat.str-el)Condensed matter physicsCondensed Matter - Mesoscale and Nanoscale PhysicsQuàntums Teoria delsMaterials Science (cond-mat.mtrl-sci)Muon spin spectroscopy021001 nanoscience & nanotechnologyCondensed Matter PhysicsElectronic Optical and Magnetic MaterialsState of matterTA401-492Quantum spin liquid0210 nano-technologyCharge density waveQC170-197
researchProduct

The pentiti of the Sicilian mafia in the 1930s

2013

Mussolini had declared that Fascism, through the anti-mafia campaign entrusted to Cesare Mori, prefect of Palermo, in the second half of the 1920s, had conclusively liberated Sicily from the mafia. However, from the early 1930s a new deterioration of public order on the island was evident, and the regime was forced to launch a second, and much less publicised, repression of this phenomenon. In the course of its careful investigations the body given responsibility for pursuing this repression, the Ispettorato Generale di Pubblica Sicurezza per la Sicilia, compiled a series of reports, including the Processo verbale di denunzia relating to the area around Palermo. With a level of detail never…

FascismCultural StudiesHistorySociology and Political Science05 social sciencesorganised crime06 humanities and the artsPalermolanguage.human_language0506 political science060104 historypentitiAnthropologyLawPolitical scienceSettore M-STO/04 - Storia ContemporaneaPublic order050602 political science & public administrationlanguage0601 history and archaeologymafiaOrganised crimeMussoliniSicilianModern Italy
researchProduct