1,750 research outputs found
Études de cas et benchmarks pour la modélisation des tâches
International audienceLes modèles de tâches occupent une place croissante en conception centrée utilisateur car ils permettent de représenter de façon détaillée les activités que les opérateurs doivent mettre en oeuvre pour atteindre leurs buts. Ces concepts étant de nos jours matures, la question de la comparaison des approches, de leur enseignement et de leur diffusion dans le tissu industriel correspond aux activités du groupe de travail modèles de tâches de l'AFIHM. http://gtmdt.afihm.or
Compte rendu de l'atelier D : Questions transversales et outils pour la recherche
International audienceCe dernier atelier visait à mettre en débat, de manière transversale aux trois autres, la manière dont les uns et les autres se saisissent de la notion de justice, les conséquences pour nos différents métiers et les besoins de recherche identifiés. L'atelier avait en particulier pour intention et pour ambition de revenir sur les tensions liées à l'interdisciplinarité et au caractère impliqué des recherches menées au sein du Pcs
Flexibility in Ceteris Paribus Reasoning
Ceteris Paribus clauses in reasoning are used to allow for defeaters of norms, rules or laws, such as in von Wright’s example “I prefer my raincoat over my umbrella, everything else being equal”. In earlier work, a logical analysis is offered in which sets of formulas Γ, embedded in modal operators, provide necessary and sufficient conditions for things to be equal in ceteris paribus clauses. For most laws, the set of things allowed to vary is small, often finite, and so Γ is typically infinite. Yet the axiomatisation they provide is restricted to the special and atypical case in which Γ is finite. We address this problem by being more flexible about ceteris paribus conditions, in two ways. The first is to offer an alternative, slightly more general semantics, in which the set of formulas only give necessary but not (necessarily) sufficient conditions. This permits a simple axiomatisation
Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based development
10p.International audienceAlthough formal methods are increasingly used by researchers in HCI, their usage in actual interactive developments has not been put in practice. In this article, we describe our experience with a specific formal method -the B method- from two viewpoints. On the one hand, we demonstrate how it is possible to use formal methods on real development, from specification to actual code. Our case study concerns a real-time functional core. Doing so, we notice that some HCI concepts, such as architecture models, may have to be adapted or recreated. On the other hand, we show how it is possible to make formal methods easier to use by the way of a complete integration into HCI tools. We conclude in eliciting the lessons learned from this experience
Stochastic power generation
International audienceOur path towards decarbonisation involves the large-scale use of renewable sources - the most prominent contributions being from wind and solar, followed by biomass - to gradually replace fossil fuels for energy production, mainly in the form of heat and electricity. By June 2012, cumulative installed wind power capacity worldwide had reached 254 GW and was still increasing rapidly gives an extensive introduction to various forms of renewable energy sources among our potential options for the future ..
Taking a Razor to Dark Matter Parameter Space at the LHC
Dark matter (DM) has been searched for at colliders in a largely model
independent fashion by looking for an excess number of events involving a
single jet, or photon, and missing energy. We investigate the possibility of
looking for excesses in more inclusive jet channels. Events with multiple jets
contain more information and thus more handles to increase the signal to
background ratio. In particular, we adapt the recent CMS "razor" analysis from
a search for supersymmetry to a search for DM. We consider simplified models
where DM is a Dirac fermion that couples to the quarks of the Standard Model
(SM) through exchange of vector or axial-vector mediators or to gluons through
scalar exchange. We consider both light and heavy (leading to effective contact
interactions) mediators. Since the razor analysis requires multiple jets in the
final state, the data set is complementary to that used for the monojet search
and thus the bounds can be combined.Comment: 25 pages, 10 figures; v2 published version; v3 removes duplication of
manuscript in pd
- …