Search results for "unification"
showing 10 items of 60 documents
L'harmonisation du droit pharmaceutique en Afrique de l’Ouest : le cas de l’UEMOA
2018
Health protection, the setting up of health security highly depend on an organization of the pharmaceutical market by the establishment of a common pharmaceutical market. In West Africa, particularly within WAEMU, the absence of such of market eases the rise in illicit drug market and impedes a free movement of health products between States. Yet, economic development involves an effective and secured health system. WAEMU’s member States awareness is emerging gradually, hence the necessity to join forces for better health protection ; therefore the long-awaited legal integration can be done through several means ; harmonization, unification, standardization. Harmonization is the means of le…
Projective unification in transitive modal logics
2018
We show that a transitive normal modal logic L enjoys projective unification (i.e. each unifiable formula is projective) if and only if L contains K4D1 ( D1 : ( x → y ) ∨ ( y → x ) ). It means, in particular, that K4D1 (and any of its extensions) is almost structurally complete, i.e. the logic is complete with respect to all non-passive admissible rules. We also characterize non-unifiable formulas and provide an explicit form of the basis for all passive rules over K4G + ( x → x )
'Der Sommer kam und Berlin war der schönste Platz auf Erden...' Cultura e ideología en el doblaje español de 'Good bye, Lenin! '
2020
espanol Este trabajo analiza la traduccion de los culturemas en el doblaje espanol de Good bye, Lenin!, un film de contenido historico y politico en el que estas unidades cumplen un importante papel en la recreacion de sucesos y la evocacion de ideas y valores que se vieron abruptamente desplazados durante el proceso de la reunificacion alemana. Tras senalar algunas de las peculiaridades del discurso del regimen de la RDA, se clasifican los culturemas y se analizan las principales tecnicas utilizadas para su traduccion, asi como el modo en que estas contribuyen a la estrategia traductora general del texto. EnglishThis paper analyses the translation of culturemes in the Spanish dubbing of Go…
Unification of Graphs and Relations in Mizar
2020
Summary A (di)graph without parallel edges can simply be represented by a binary relation of the vertices and on the other hand, any binary relation can be expressed as such a graph. In this article, this correspondence is formalized in the Mizar system [2], based on the formalization of graphs in [6] and relations in [11], [12]. Notably, a new definition of createGraph will be given, taking only a non empty set V and a binary relation E ⊆ V × V to create a (di)graph without parallel edges, which will provide to be very useful in future articles.
Time Unification on Local Binary Patterns Three Orthogonal Planes for Facial Expression Recognition
2019
International audience; Machine learning has known a tremendous growth within the last years, and lately, thanks to that, some computer vision algorithms started to access what is difficult or even impossible to perceive by the human eye. While deep learning based computer vision algorithms have made themselves more and more present in the recent years, more classical feature extraction methods, such as the ones based on Local Binary Patterns (LBP), still present a non negligible interest, especially when dealing with small datasets. Furthermore, this operator has proven to be quite useful for facial emotions and human gestures recognition in general. Micro-Expression (ME) classification is…
Search for pair production of first or second generation leptoquarks in proton-proton collisions at sqrt(s)=7 TeV using the ATLAS detector at the LHC
2011
This paper describes searches for the pair production of first or second generation scalar leptoquarks using 35 pb−1 of proton-proton collision data recorded by the ATLAS detector at √s=7 TeV. Leptoquarks are searched in events with two oppositely-charged muons or electrons and at least two jets, and in events with one muon or electron, missing transverse momentum and at least two jets. After event selection, the observed yields are consistent with the predicted backgrounds. Leptoquark production is excluded at the 95% CL for masses MLQ<376 (319) GeV and MLQ<422 (362) GeV for first and second generation scalar leptoquarks, respectively, when assuming the branching fraction of a leptoquark…
Eurobarometer 51.0: The Elderly and Domestic Violence, March-May 1999
2000
This round of Eurobarometer surveys queried respondents on standard Eurobarometer measures, such as whether they attempted to persuade others close to them to share their views on subjects they held strong opinions about, whether they discussed political matters, and what the goals of the European Union (EU) should be. Additional questions focused on the respondents' knowledge of and opinions on the EU, including how well-informed they felt about the EU, what sources of information about the EU they used, and whether their country had benefited from being an EU member. Another major focus of the surveys was elderly people and domestic violence. Respondents were asked whether retired people …
Family reunification: the case of the Muslim migrant children in Europe
2014
Adopting a child is not a legal concept recognized in Islamic law, which, while giving great importance to orphans and children’s rights, has introduced the legal institution of the Kafala. This institution can be defined as a commitment by the kafil to ensure maintenance, education and protection of a minor makfoul until his legal majority, in the same way as would a father to his son, but without creating any family relationship. For these reasons the Kafala cannot be compared to an international adoption, which, contrariwise, entails the creation of a parent-child relationship. On one side the Kafala is a legal concept recognized by International Law, in particular by the United Nations …
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
2016
We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…
Neutrinos in GUTs and left right symmetry
2014
215 páginas. Tesis Doctoral del Departamento de Física Teórica de la Universidad de Valencia y del Instituto de Física Corpuscular (IFIC).