To see the other types of publications on this topic, follow the link: VélUS.

Journal articles on the topic 'VélUS'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'VélUS.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Bourke, Timothy, Paul Jeanmaire, Basile Pesin, and Marc Pouzet. "Verified Lustre Normalization with Node Subsampling." ACM Transactions on Embedded Computing Systems 20, no. 5s (2021): 1–25. http://dx.doi.org/10.1145/3477041.

Full text
Abstract:
Dataflow languages allow the specification of reactive systems by mutually recursive stream equations, functions, and boolean activation conditions called clocks. Lustre and Scade are dataflow languages for programming embedded systems. Dataflow programs are compiled by a succession of passes. This article focuses on the normalization pass which rewrites programs into the simpler form required for code generation. Vélus is a compiler from a normalized form of Lustre to CompCert’s Clight language. Its specification in the Coq interactive theorem prover includes an end-to-end correctness proof that the values prescribed by the dataflow semantics of source programs are produced by executions of generated assembly code. We describe how to extend Vélus with a normalization pass and to allow subsampled node inputs and outputs. We propose semantic definitions for the unrestricted language, divide normalization into three steps to facilitate proofs, adapt the clock type system to handle richer node definitions, and extend the end-to-end correctness theorem to incorporate the new features. The proofs require reasoning about the relation between static clock annotations and the presence and absence of values in the dynamic semantics. The generalization of node inputs requires adding a compiler pass to ensure the initialization of variables passed in function calls.
APA, Harvard, Vancouver, ISO, and other styles
2

Finn, Michael R. "Monsieur Vénus: roman matérialisteMonsieur Vénus: A Materialist Novel." French Studies 60, no. 4 (2006): 531–32. http://dx.doi.org/10.1093/fs/knl141.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Charbonneau, Jean-Pierre. "Les vélos flottent." Tous urbains 23, no. 3 (2018): 28. http://dx.doi.org/10.3917/tu.023.0028.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Katzarov, Georgy. "Vénus au téléphone." La clinique lacanienne 24, no. 2 (2013): 131. http://dx.doi.org/10.3917/cla.024.0131.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Langlet, Marianne. "Vécus de l’intérieur." Lien Social 1291, no. 6 (2021): 12–15. http://dx.doi.org/10.3917/liso.1291.0012.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Duchene, François. "Mars, Vénus et l’Olympe." Commentaire Numéro100, no. 4 (2002): 772. http://dx.doi.org/10.3917/comm.100.0772.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Arnt, Héris. "Espaces littéraires, espaces vécus." Sociétés 74, no. 4 (2001): 53. http://dx.doi.org/10.3917/soc.074.0053.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Mallet, Arnaud. "Les Pays, territoires vécus." Études Normandes 51, no. 4 (2002): 56–72. http://dx.doi.org/10.3406/etnor.2002.2862.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Vitali, Ilaria. "Vénus Khoury-Ghata, Ortiche." Studi Francesi, no. 155 (LII | II) (October 1, 2008): 501. http://dx.doi.org/10.4000/studifrancesi.9066.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hacker, Marilyn. "Introducing Vénus Khoury-Ghata." Women in French Studies 9, no. 1 (2001): 16–17. http://dx.doi.org/10.1353/wfs.2001.0008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Rosset, Pierre. "Paroles (et vécus) d’enfance." Le sociographe N°71, no. 3 (2020): 80. http://dx.doi.org/10.3917/graph.071.0080.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Tixier, Jean-Max. "Vénus, d’un verbe l’autre." Babel, no. 18 (December 31, 2008): 75–79. http://dx.doi.org/10.4000/babel.277.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Pugh, Alexandra. "Scrambling Sex and Gender with Rachilde." Connections: A Journal of Language, Media and Culture 1, no. 1 (2020): 21–30. http://dx.doi.org/10.29173/connections13.

Full text
Abstract:
Taking Monsieur Vénus (1884) as its focus, this article expands upon the limited critical discourse connecting the work of Rachilde (1860-1953) to queer theory. Monsieur Vénus and queer theory are mutually illuminative: Butler’s theory of performativity allows us to interpret the unstable bodies in Rachilde’s text, while Monsieur Vénus in turn elucidates, or at least exemplifies, some of the questions at the heart of queer studies. For example: can sex exceed the human body? Can a transgender person live a heteronormative life? What is the relationship between queerness and reproduction? In asking such questions, this article grounds a piece of Decadent, fin-de-siècle French literature in the context of queer, feminist and trans studies, and thereby maps the connections between Rachilde’s work and these contemporary cultural conversations. As the author of Pourquoi je ne suis pas féministe (1928), Rachilde rejected progressive social movements. I therefore borrow Lisa Downing’s notion of the ‘proto-queer’ (Downing, ‘Notes on Rachilde’ 16) to guard against the complete recuperation of Rachilde into the queer canon. Regardless of its author’s positionality, however, I am seeking to frame Monsieur Vénus as part of our queer literary heritage. Monsieur Vénus is more playful and provocative than it is political, but Rachilde succeeds in ‘scrambling’ sex and gender in that the two categories become muddled, unfixed and denaturalized.
APA, Harvard, Vancouver, ISO, and other styles
14

Veiga, Paula. "Between veils and minarets: a (possible) multicultural dialogue." Boletim de Ciências Económicas 57, no. 3 (2014): 3363–88. http://dx.doi.org/10.14195/0870-4260_57-3_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Vitali, Ilaria. "Vénus Khoury-Ghata, La revenante." Studi Francesi, no. 161 (LIV | II) (September 1, 2010): 421. http://dx.doi.org/10.4000/studifrancesi.7074.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Roussel, Brigitte. "Vénus endeuillée à la Renaissance." Analyses 45, no. 1 (2014): 145–58. http://dx.doi.org/10.7202/1025946ar.

Full text
Abstract:
Résumé Cet article propose de comparer trois textes de la Renaissance française (1545 à 1550) portant sur le deuil de Vénus à la mort d’Adonis, privilégiant une approche thanatogénétique qui postule l’inextricable corrélation entre la mort et la (re)naissance. La métaphysique reposant sur la séparation et l’opposition du logos rationnel et du mythe, la thanatogenèse s’applique à démystifier la pensée unificatrice et réductrice pour laisser place au dédoublement qui affirme l’association du mythos et du logos, du féminin et du masculin. L’examen des trois poèmes permet de repérer ce qui constitue soit une conception imitative du mythe grec dans la perspective néoplatonicienne, soit une conception fusionnelle du mythe et du logos dans une perspective chrétienne, ou encore une conception originale de la résolution de la crise tragique par l’avènement d’un logos poétique rééquilibrant les forces en présence.
APA, Harvard, Vancouver, ISO, and other styles
17

Giraud, François. "La Vénus noire d’Abdelkader Kechiche." L'Autre 11, no. 3 (2010): 371. http://dx.doi.org/10.3917/lautr.033.0371.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Rexine, John E., and Eléni Voískou. "Ópou dhé dhíhni to vélos." World Literature Today 62, no. 4 (1988): 703. http://dx.doi.org/10.2307/40144719.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Penchèvre, Erwan. "VÉNUS SELON IBN AL-ŠĀṬIR". Arabic Sciences and Philosophy 26, № 2 (2016): 185–214. http://dx.doi.org/10.1017/s0957423916000011.

Full text
Abstract:
AbstractWe attempt to grasp the mathematics behind the planetary theories of the Syrian astronomer Ibn al-Šāṭir (1304–1375) in his treatise Nihāyat al-Sūl. Following the astronomers of the Marāgha school, by composing circular movements with constant angular velocity, Ibn al-Šāṭir attains two goals. He eliminates the need of excentrics and equant points in astronomy; but he also describes longitudes and latitudes with a unique method, with no more orbs than what is strictly necessary for the longitudes. A better understanding of rotation as a spatial transformation enables this ultimate economy of thought. In our commentary, we take Venus as an example offering an interesting problem about the latitudes. This is an opportunity to give a critical edition of the chapter of the Nihāyat al-Sūl dedicated to the latitudes of Mercury and Venus.
APA, Harvard, Vancouver, ISO, and other styles
20

Marietti, Marina. "L'amitié au ciel de Vénus." Arzanà 13, no. 1 (2010): 171–89. http://dx.doi.org/10.3406/arzan.2010.973.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Chilcoat, Michelle. "Vénus noire by Abdellatif Kechiche." French Review 85, no. 2 (2011): 372–73. http://dx.doi.org/10.1353/tfr.2011.0046.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Bailly, Sean. "Des « plaques tectoniques » sur Vénus." Pour la Science Août, no. 8 (2021): 10–11. http://dx.doi.org/10.3917/pls.526.0010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Novak, Maria da Glória. "O lucreciano De rerum natura e o Hino a Vênus." Classica - Revista Brasileira de Estudos Clássicos 2, no. 1 (2018): 109–21. http://dx.doi.org/10.24277/classica.v2i1.629.

Full text
Abstract:
On se demande toujours pourquoi le matérialiste Lucrèce nous présente Vénus au début de son poème: une Vénus qu’il invoque et qu’il désire comme compagne de sa création littéraire, une Vénus à qui il ne demande pas moins que la paix. Qu’est-ce que cela peut bien signifier pour le Poète d’invoquer une déesse, si l'épicurisme ne suppose aucune sorte de protection divine? On a beau dire qu’il est incoherent, je ne le crois pas. Au contraire, le De rerum natura est tout à fait cohérent: et d’une cohérence interne et d’une cohérence d’avec l'épicurisme. Le poème nous le démontre à chaque instant dans ses exemples, dans ses développements, et surtout dans sa ligne maîtresse. La vie commence par le plaisir et se termine par la mort et de même fait le poème: Vénus, le plaisir, l’origine de la vie, au début du De rerum natura; la peste d’Athènes, la terreur, la mort à la fin du poème. Ce n’est donc pas la déesse qu’invoque le Poète, au début de son ouvrage: c’est le plaisir, c'est la force créatrice de la nature, c’est la vie.
APA, Harvard, Vancouver, ISO, and other styles
24

Gaillard, Georges. "Traumatisme, solitude et auto-engendrement. Annie Ernaux : L’événement." Filigrane 15, no. 1 (2006): 67–86. http://dx.doi.org/10.7202/013530ar.

Full text
Abstract:
Au cours de la période de remaniement identificatoire du passage à l’âge adulte, la confrontation au traumatisme, et les vécus de transgressions opèrent, pour le Je, comme une tentative de séparation d’avec la psyché maternelle en ses points d’aliénation. Lorsque ces temps sont vécus dans la solitude, et ne sont pas socialisés par un lien au groupe, les éprouvés traumatiques sont configurés sur le mode de l’auto-fondation. Le sujet court alors le risque de se désarrimer de la communauté humaine sous le couvert de la revendication identitaire d’un statut d’exception. Ces configurations sont dépliées en appui sur un ouvrage de l’écrivain Annie Ernaux. Son texte autobiographique L’événement (2000), vaut comme paradigme de ces vécus traumatiques éprouvés par le Je dans la solitude, au seuil de l’âge adulte. Il permet de lire avec précision le mouvement de revendication identitaire et d’auto-engendrement mis en jeu à l’endroit même du traumatisme.
APA, Harvard, Vancouver, ISO, and other styles
25

Charles-Picard, Gilbert. "Vénus et la possédée de Carthage." Bulletin de la Société Nationale des Antiquaires de France 1986, no. 1 (1987): 59–70. http://dx.doi.org/10.3406/bsnaf.1987.9213.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Defalvard, Hervé, and Dominique Méda. "Les mondes vécus des 35 heures." Recherches et Prévisions 74, no. 1 (2003): 79–83. http://dx.doi.org/10.3406/caf.2003.2031.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Droixhe, Daniel. "Déchiffrer vénus. Renaissance et Âge classique." Le Journal de la Renaissance 4 (January 2006): 163–71. http://dx.doi.org/10.1484/j.jr.2.301804.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Pecqueur, Christophe, and Christophe Moreau. "Les mondes vécus de l'étudiant-habitant." Agora débats/jeunesses 61, no. 2 (2012): 105. http://dx.doi.org/10.3917/agora.061.0105.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Thompson, Clive. "Monsieur Vénus: A Materialist Novel (review)." Nineteenth Century French Studies 35, no. 3 (2007): 683–86. http://dx.doi.org/10.1353/ncf.2007.0070.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Comte, G., A. Ndiaye, M. Chiron, M. Gallon, G. Bagou, and P. Petit. "Vélos en libre service : plus d’accidents ?" Journal Européen des Urgences 21 (March 2008): A216—A217. http://dx.doi.org/10.1016/j.jeur.2008.03.428.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Lowndes Vicente, Filipa, and Émilie Audigier. "Rosita, la vénus noire de Porto." Books N° 52, no. 3 (2014): 50–53. http://dx.doi.org/10.3917/books.052.0050.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Truchon, Manon, and Louise Lemyre. "Les événements anticipés comme stresseurs." Santé mentale au Québec 20, no. 2 (2007): 77–98. http://dx.doi.org/10.7202/032354ar.

Full text
Abstract:
RÉSUMÉ La majorité des travaux sur les stresseurs ont porté sur les événements de vie passés. La présente recherche s'intéresse, en plus, aux événements anticipés. Les événements sont mesurés avec le Life Events and Difficulties Schedule dit LEDS (Brown et Harris, 1978). Les caractéristiques des événements anticipés: nombre, domaine de vie et valence (positive, négative ou neutre) sont comparées à celles des événements vécus. Pour illustrer la percée du LEDS dans le domaine des événements anticipés, le contexte de l'infertilité est retenu. Trente-cinq couples et sept femmes sans leur conjoint, qui tentent de concevoir un enfant, sont recrutés dans deux cliniques de la région de Québec. Les résultats montrent que les événements anticipés sont moins nombreux que les événements vécus. De plus, la proportion d'événements négatifs anticipés est moins élevée que la proportion d'événements négatifs vécus. Pourtant, dans les douze derniers mois, les sujets ont vécu un nombre significativement plus élevé d'événements négatifs que d'événements positifs. La possibilité d'un biais cognifif positif en regard du futur chez cet échantillon est discutée, l'utilité de la capacité à anticiper, également.
APA, Harvard, Vancouver, ISO, and other styles
33

Noël, Olivier. "Subjectivation des vécus, objectivation juridique des faits." Informations sociales 148, no. 4 (2008): 124. http://dx.doi.org/10.3917/inso.148.0124.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Dorgan, Theo. "Translations from Vénus Khoury-Ghata's "Anthologie personelle"." Canadian Journal of Irish Studies 30, no. 2 (2004): 72. http://dx.doi.org/10.2307/25515536.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Grenouilloux, A. "Vécus corporels et psychiques : phénoménologie d’une unité." Annales Médico-psychologiques, revue psychiatrique 160, no. 9 (2002): 628–32. http://dx.doi.org/10.1016/s0003-4487(02)00230-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Tironi, Martin. "Faire circuler des vélos et des personnes." Revue d'anthropologie des connaissances 8, 1, no. 1 (2014): 179. http://dx.doi.org/10.3917/rac.022.0179.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Leroy-Prost, Christiane. "La Vénus à la corne et Laussel." L'Anthropologie 105, no. 3 (2001): 443. http://dx.doi.org/10.1016/s0003-5521(01)80046-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Peillon, Catherine. "Petites machines et vélos dans la tête." La pensée de midi N° 31, no. 2 (2010): 154–59. http://dx.doi.org/10.3917/lpm.031.0154.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

Nielsen, Greg M. "L’impasse Canada-Québec et le sort de Radio-Canada : l’autonomie culturelle ou la mort!" Cahiers de recherche sociologique, no. 25 (April 28, 2011): 181–212. http://dx.doi.org/10.7202/1002296ar.

Full text
Abstract:
Cet article présente une critique comparative du système public de la radiodiffusion et de la rationalisation des « mondes vécus » canadien et québécois. Il propose une théorisation de la culture et de la politique de l’espace public basée sur la problématique de la reconnaissance de Taylor et sur la distinction des systèmes et des mondes vécus d’Habermas. La problématique concerne l’impasse politique entre le Canada et le Québec et le démantèlement possible de Radio-Canada. L’auteur aborde successivement l’histoire de la SRC et de la CBC du point de vue de la régulation des sociétés canadienne et québécoise et tente de justifier la proposition d’un Radio-Québec Global comme institution centrale pour le développement du projet de société dans un Québec souverain.
APA, Harvard, Vancouver, ISO, and other styles
40

Le Glay, Marcel. "Une inscription latine d'Amathonte pour la Vénus chypriote." Cahiers du Centre d'Etudes Chypriotes 6, no. 1 (1986): 27–34. http://dx.doi.org/10.3406/cchyp.1986.1196.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Boëtsch, Gilles, and Lamine Ndiaye. "Corps vécus, parlés, construits en Afrique sub-saharienne." Corps N° 16, no. 1 (2018): 237. http://dx.doi.org/10.3917/corp1.016.0237.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Bourdenet, Xavier. "« Cave amantem » : le masculin dans La Vénus d’Ille." Itinéraires, Numéro inaugural (December 1, 2008): 135–48. http://dx.doi.org/10.4000/itineraires.2217.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Vassilev, Kris. "La Vénus d'Ille ou l'étouffement de l'illusion référentielle." Revue d'histoire littéraire de la France 114, no. 2 (2014): 350. http://dx.doi.org/10.3917/rhlf.142.0350.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Alvar, Carlos. "Oiseuse, Vénus, Luxure : trois dames et un miroir." Romania 106, no. 421 (1985): 108–17. http://dx.doi.org/10.3406/roma.1985.1741.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Gélard, Marie‑Luce. "L’islam en France : pratiques et vécus du quotidien." Ethnologie française 168, no. 4 (2017): 599. http://dx.doi.org/10.3917/ethn.174.0599.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Scotto, Fabio. "Vénus Khoury-Ghata poète, éd. J.-P. Zubiate." Studi Francesi, no. 191 (LXIV | II) (August 1, 2020): 442. http://dx.doi.org/10.4000/studifrancesi.32288.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Marietti, Marina. "L’amitié au ciel de Vénus (Paradis, VIII-IX)." Arzanà, no. 13 (June 1, 2010): 171–89. http://dx.doi.org/10.4000/arzana.557.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Le Nestour, Annick, and Gisèle Danon. "Des vécus corporels primitifs à l'intégration somato-psychique." Enfances & Psy 20, no. 4 (2002): 13. http://dx.doi.org/10.3917/ep.020.0013.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Bonhomme, Béatrice. "Vénus Khoury-Ghata, la magicienne d’une écriture panique." Littératures, no. 80 (June 1, 2019): 91–102. http://dx.doi.org/10.4000/litteratures.2246.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Kassab-Charfi, Samia. "Les Versets de Vénus ou le style anachorète de Vénus Khoury-Ghata dans l’incipit de L’Adieu à la femme rouge." Littératures, no. 80 (June 1, 2019): 129–37. http://dx.doi.org/10.4000/litteratures.2266.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography