11 resultados para UNIFICATION

em BORIS: Bern Open Repository and Information System - Berna - Suiça


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Studies of diagnostic accuracy require more sophisticated methods for their meta-analysis than studies of therapeutic interventions. A number of different, and apparently divergent, methods for meta-analysis of diagnostic studies have been proposed, including two alternative approaches that are statistically rigorous and allow for between-study variability: the hierarchical summary receiver operating characteristic (ROC) model (Rutter and Gatsonis, 2001) and bivariate random-effects meta-analysis (van Houwelingen and others, 1993), (van Houwelingen and others, 2002), (Reitsma and others, 2005). We show that these two models are very closely related, and define the circumstances in which they are identical. We discuss the different forms of summary model output suggested by the two approaches, including summary ROC curves, summary points, confidence regions, and prediction regions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a smaller or equal cardinality than those provided by the standard instantiation preordering, and in significant cases a dramatic reduction may be observed. In particular, the classes of distributive lattices, idempotent semigroups, and MV-algebras, which all have nullary unification type, have unitary or finitary exact type. These results are obtained via an algebraic interpretation of exact unification, inspired by Ghilardi's algebraic approach to equational unification.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Search-driven development is mainly concerned with code reuse but also with code navigation and debugging. In this essay we look at search-driven navigation in the IDE. We consider Smalltalk-80 as an example of a programming system with search-driven navigation capabilities and explore its human factors. We present how immediate search results lead to a user experience of code browsing rather than one of waiting for and clicking through search results. We explore the socio-technical congruence of immediate search, ie unification of tasks and breakpoints with method calls, which leads to simpler and more extensible development tools. Eventually we conclude with remarks on the socio-technical congruence of search-driven development.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Europeanization challenges national democratic systems. As part and parcel of the broader internationalization of politics, Europeanization is associated with a shift from policymaking within majoritarian, elected representative bodies towards technocratic decisions among non-majoritarian and non-elected bodies (Kohler-Koch and Rittberger 2008, Lavenex 2013). It is thus said to weaken the influence of citizens and parliaments on the making of policies and to undermine democratic collective identity (Lavenex 2013, Schimmelfennig 2010). The weakening of national parliaments has been referred to as “de-parliamentarisation” (Goetz and Meyer-Sahling 2008) and has nurtured a broader debate regarding the democratic deficit in the EU. While not being a member of the EU, Switzerland has not remained unaffected by these changes. As discussed in the contribution by Fischer and Sciarini, state executive actors take the lead in Switzerland's European policy. They are responsible for the conduct of international negotiations, they own the treaty making power, and it is up to them to decide whether they wish to launch a negotiation with the EU. In addition, the strong take-it or leave-it character of Europeanized acts limits the room for manoeuver of the parliamentary body also in the ratification phase. Among the public, the rejection of the treaty on the European constitution has definitely closed the era of “permissive consensus” (Hooghe and Marks 2009). However, the process of European unification remains far remote from the European public. In Switzerland, the strongly administrative character of international legislation hinders public discussion (Vögeli 2007). In such a context, the media may serve as cue for the public: By delivering information about the extent and nature of Europeanized policymaking, the media enable citizens to form their own opinions and to hold their representatives accountable. In this sense media coverage may not only be considered an indicator of the information delivered to the public, but it may also enhance the democratic legitimacy of Europeanized policymaking (for a similar argument, see Tresch and Jochum 2005). While the previous contributions to this debate have examined the Europeanization of Swiss (primary and secondary) legislation, we take a closer look at two additional domestic arenas that are both supposed to be under pressure due to Europeanization: The parliament and the media. To that end, we rely on data gathered in a research project that two of us carried out in the context of the NCCR Democracy.1 While this project was primarily interested in the mediatization of decision-making processes in Switzerland, it also investigated the conditional role played by internationalization/Europeanization. For our present purposes, we shall exploit the two data-sets that were developed as part of a study of the political agenda-setting power of the media (Sciarini and Tresch 2012, 2013, Tresch et al. 2013): A data-set on issue attention in parliamentary interventions (initiatives, motions, postulates,2 interpellations and questions) and a data-set on issue attention in articles from the Neue Zürcher Zeitung (NZZ). The data covers the years 1995 to 2003 and the coding of issues followed the classification system developed in the “Policy Agendas Project” (Baumgartner and Jones 1993).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The ATLAS detector at the Large Hadron Collider is used to search for high-mass resonances decaying to dielectron or dimuon final states. Results are presented from an analysis of proton-proton (pp ) collisions at a center-of-mass energy of 8 TeV corresponding to an integrated luminosity of 20.3  fb −1 in the dimuon channel. A narrow resonance with Standard Model Z couplings to fermions is excluded at 95% confidence level for masses less than 2.79 TeV in the dielectron channel, 2.53 TeV in the dimuon channel, and 2.90 TeV in the two channels combined. Limits on other model interpretations are also presented, including a grand-unification model based on the E 6 gauge group, Z ∗ bosons, minimal Z' models, a spin-2 graviton excitation from Randall-Sundrum models, quantum black holes, and a minimal walking technicolor model with a composite Higgs boson.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Quarks were introduced 50 years ago opening the road towards our understanding of the elementary constituents of matter and their fundamental interactions. Since then, a spectacular progress has been made with important discoveries that led to the establishment of the Standard Theory that describes accurately the basic constituents of the observable matter, namely quarks and leptons, interacting with the exchange of three fundamental forces, the weak, electromagnetic and strong force. Particle physics is now entering a new era driven by the quest of understanding of the composition of our Universe such as the unobservable (dark) matter, the hierarchy of masses and forces, the unification of all fundamental interactions with gravity in a consistent quantum framework, and several other important questions. A candidate theory providing answers to many of these questions is string theory that replaces the notion of point particles by extended objects, such as closed and open strings. In this short note, I will give a brief overview of string unification, describe in particular how quarks and leptons can emerge and discuss what are possible predictions for particle physics and cosmology that could test these ideas.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Quarks were introduced 50 years ago opening the road towards our understanding of the elementary constituents of matter and their fundamental interactions. Since then, a spectacular progress has been made with important discoveries that led to the establishment of the Standard Theory that describes accurately the basic constituents of the observable matter, namely quarks and leptons, interacting with the exchange of three fundamental forces, the weak, electromagnetic and strong force. Particle physics is now entering a new era driven by the quest of understanding of the composition of our Universe such as the unobservable (dark) matter, the hierarchy of masses and forces, the unification of all fundamental interactions with gravity in a consistent quantum framework, and several other important questions. A candidate theory providing answers to many of these questions is string theory that replaces the notion of point particles by extended objects, such as closed and open strings. In this short note, I will give a brief overview of string unification, describe in particular how quarks and leptons can emerge and discuss what are possible predictions for particle physics and cosmology that could test these ideas.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This chapter describes the development of sport psychology in Europe. Starting from the early years at the beginning of the 20th century, the contribution of European sport psychology in different cultural traditions to the development of this discipline is highlighted. The foundation of FEPSAC, the European Federation of Sport Psychology, and its role in this development are emphasised. During the first 20 years, Europe was a divided continent and the challenges were to establish a common understanding and possibilities for scientific exchange. After the fall of the Berlin wall and the change of the political landscape in Europe, central aims were to foster scientific exchange despite language difficulties, to develop a common understanding, to help young sport psychologists and to establish sport psychology as a professional field. In the new century, one group of challenges identified refers to unification, for example in education and training, in the services delivery, and in the structure. The second group of challenges relates to diversification, be it in the educational and vocational pathways, the different sports and physical activities, the inclusion of persons with special needs or background, or the publications.