HAL-UNICE
Not a member yet
30584 research outputs found
Sort by
A hybridizable discontinuous Galerkin method for solving nonlocal optical response models
No full textInternational audienc
Les médecins à diplôme européen et extra européen en France dans l’actuel contexte de crise économique mondiale : entre absence de revendications et quête de reconnaissance
No full textInternational audienc
Etude de la réduction du Signal d’Auto-Interférence électromagnétique entre antennes Tx/Rx dans un système Full Duplex
No full textNational audienc
Wireless interrogation of small animal phantoms with a miniature implanted UHF RFID tag
No full textInternational audienceIn this article, the RSSI measurement with a miniature implanted tag into a small animal phantom, intended to work in the European UHF RFID band is presented. The miniaturization of the radiating element while preserving its efficiency allows the reliable communication between an external interrogation device and the identification tag aimed to be implanted into a small animal. The paper first presents the design of the miniature radiating element. Then, the detailed process to calculate the link budget allowing the estimation of the theoretical power received by the reader is described, showing that the gain of the proposed antenna is adapted to the application. Finally, the measurement of the Received Signal Strength Indication (RSSI) level received by the reader antenna for different positions of a mouse phantom model in a cage is presented. Results show that the proposed antenna can allow the identification of the small animal whatever its position in the cage
Les femmes obèses, éternelles et incroyables discriminées ?
No full textInternational audienceAppuyés sur des données médicales ou des stéréotypes, les discours dans les médias concernant le corps des femmes constituent une façon de catégoriser et contrôler les individus en modifiant les perceptions construites socialement à travers les imaginaires collectifs.L'avènement des nouvelles techniques de communication a rendu possible la prise de parole à grande échelle par des minorités exclues des médias de masse et notamment de la presse féminine. La blogosphère par sa viralité et sa facilité d'accès a permis à de nombreuses femmes dénigrées de s'exprimer. J’aborderai le cas des blogueuses de mode grande taille dont l’importance grandissante dans le panel des médias de mode rappelle l'apparition des blogueuses afro-américain. Ces femmes ont su tirer parti des nouvelles technologies pour contourner le rejet des médias traditionnels et faire entendre leur voix puis devenir porte-parole d'une communauté rejetée. Ont-elles échappé aux stéréotypes ou se sont-elles appropriées des normes auxquelles elles n'étaient pas soumises ? Se sont-elles fait entendre au point de faire découvrir de nouveaux marchés à l'industrie de la mode et de la beauté ? Ont-elles ouvert une porte vers une nouvelle aliénation ?Nous évoquerons ici, le point de vue de deux blogueuses de mode dont la taille n’est pas conforme aux stéréotypes de beauté actuels prônée par ce secteur industriel
Études et développement de diagrammes de décision linéaires
No full textNational audienceModel verification, more commonly known as Model Checking, is a concept basedon an automatic formal verification approach of temporal properties on reactive systems.INRIA in collaboration with LEAT developed CLEM, a modeling and propertyverification tool, based on a state representation in finite automata generated automaticallyusing binary decisions diagrams. From an evolutionary point of view, thework carried out during this internship was to develop the library of linear decisionsdiagrams, we focused on the implementation of new reduction methods in cases of"Imply High" and "Imply Low" case. The objective of this work is to develop theverification part of CLEM by replacing the representation of the fundamental valuesusing binary decisions diagrams(BDDs) with linear decisions diagrams(LDDs) whichwill allow us to represent the states by integer values instead of signals which arenot comparable among themselves. This new library, once implemented on CLEM,will make checks of finer models and, we hope, will make it more powerful.La vérification de modèle, plus communément appelé Model Checking, est un conceptbasé sur une approche automatique de vérification formelles des propriétés temporellessur des systèmes réactifs. INRIA en collaboration avec le LEAT ont développéCLEM, un outil de modélisation et de vérification de propriétés, s’appuyant sur unereprésentation d’état en automates finis générés automatiquement et représentés pardes Diagrammes de Décisions Binaires. Dans une optique d’évolution, le travaileffectué durant ce stage a été de développer la bibliothèque de diagramme de décisionlinéaire, nous nous sommes concentrés sur l’inclusion de nouvelles méthodes deréduction dans les cas d’implication forte et faible. L’objectif de ce travail est de développerla partie vérification de CLEM en remplaçant la représentation actuelle desvaleurs fondamentales qui utilisent des diagrammes de décisions binaires(BDDs) parles diagrammes de décisions linéaires(LDDs) ce qui nous permettrait de représenterles états par des valeurs entières et non par des signaux non comparables entre eux.Cette nouvelle bibliothèque de LDDs, une fois implémentée sur CLEM, permettrade faire des vérifications de modèles plus fines et, potentiellement, le rendra plusperformant
