Search results for "pret"

I diritti sociali tra garanzia costituzionale e compiti dell'autorità

2013

Il contributo d'approfondimento si pone nella prospettiva d'indagine scientifica di offrire una ricostruzione critica delle distinte dottrine sulla natura giuridica dei diritti sociali, evidenziando il fondamento dell'inquadramento quali diritti fondamentali, in termini di espressione e porzione della sovranità del popolo. Tali approdi interpretativi offrono gli elementi d'analisi necessari per indagare il contenuto della posizione soggettiva e gli strumenti di protezione che si specchiano nel volto costituzionale del ruolo e dei poteri dell'Amministrazione pubblica e dei suoi compiti, al servizio del primato della persona nell'ordinamento giuridico.

Tutela dei diritti fondamentali e rapporti fra poteri

Modelli familiari. Limiti costituzionali ed interpretazione

2012

Il contributo analizza il modello familiare riconosciuto dalla Carta Costituzionale ed offre una interpretazione evolutiva degli artt. 2 e 29, che tiene conto del quadro normativo Europeo e della giurisprudenza della Corte Europea dei Diritti dell'Uomo, della Corte di Giustizia Europea, nonchè della Corte di Cassazione e della Corte Costituzionale italiane.

Scienza e prassi: il diritto di proprietà come caso paradigmatico dei nuovi circuiti di legalità e del funzionamento del sistema integrato delle font…

2011

Dubbing dialogues… naturally: a pragmatic approach to the translation of transition markers in dubbing

2012

Although research in Audiovisual Translation is said to have come of age in the past decade, there are still several key issues that have not received the scholarly attention they deserve. In the case of dubbing, the study of the naturalness of dubbed dialogue is a case in point. The aim of the present article is to analyse the use of transition markers in dubbing in order to look precisely at the naturalness of dubbed dialogue while taking into account the dubbing constraints at play. This analysis is carried out by comparing the dubbed dialogue (English-Spanish) of a popular American sitcom to the non-translated but prefabricated dialogue of a Spanish sitcom and finally to spontaneous con…

A matrix of combinatorial numbers related to the symmetric groups

1979

For permutation groups G of finite degree we define numbers t"B(G)=|G|^-^[email protected]?"R"@?"[email protected]?"1(1a"1(g))^b^"^i, where B=(b"1,...,b"1) is a tuple of non-negative integers and a"1(g) denotes the number of i cycles in the element g. We show that t"B(G) is the number of orbits of G, acting on a set @D"B(G) of tuples of matrices. In the case G=S"n we get a natural interpretation for combinatorial numbers connected with the Stiring numbers of the second kind.

Convergence-theoretic characterizations of compactness

2002

AbstractFundamental variants of compactness are characterized in terms of concretely reflective convergence subcategories: topologies, pretopologies, paratopologies, hypotopologies and pseudotopologies. Hyperquotient maps (perfect, quasi-perfect, adherent and closed) and quotient maps (quotient, hereditarily quotient, countably biquotient, biquotient, and almost open) are characterized in terms of various degrees of compactness of their fiber relations, and of sundry relaxations of inverse continuity.

Using Search Algorithms for Modeling Economic Processes

2013

Abstract Economic issues are placed in formal practice, when is desired a modelling of the economic process, a manufacturing process, a device, etc. Each share of that economic process is denoted by a, b, c, d, these actions with defined time periods and action pairs are formed strings of the form, ab * cab * bc ., ab, bb, bc. so for them there are no other restrictions. If the graph is viewed as a system image, nodes representing components, then an immediate interpretation of an arc (xi, xj) are the component xi that is said to directly influence component xj. If nodes have the significance of possible states of a system when a spring (xi.xj) means that, the system can jump from state xi …

Formal Periods and the Period Conjecture

2017

Following Kontsevich (see Kontsevich in Operads and motives in deformation quantization. Lett. Math. Phys. 48(1):35–72, 1999), we now introduce another algebra \(\tilde{\mathbb {P}}(k)\) of formal periods from the same data we have used in order to define the actual period algebra of a field in Chap. 11. The main aim of this chapter is to give conceptual interpretation of this algebra of formal periods. We then use it to formulate and discuss the period conjecture.

Collection Principles in Dependent Type Theory

2002

We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.