Concept
Copule (linguistique)
Publications associées (8)
Sauvons le Refuge des Evettes
Le refuge des Evettes se situe à 2590 m d’altitude, au-dessus du village de Bonneval-sur-Arc (France). Construit en 1971 par l’architecte Guy Rey-Millet et l’ingénieur Jean Prouvé, il est aujourd’hui voué à disparaître et à être remplacé car son aspect dér ...
2022What is the role of ethics in accreditation documentation from a global view?
Ethics in engineering has long been an important element in engineering programmes, however these subjects are often taught at a basic learning level with little attempt to connect to demonstrative learning outcomes. In recent years there has been a step c ...
University Politècnica de Catalunya - BarcelonaTech (UPC)2022What is the role of ethics in accreditation guidelines for engineering programmes in Europe?
The Washington Accord emphasises the role of ethical and societal considerations in the practice of engineering. Increasingly, national accrediting bodies are also expecting to see evidence in the delivery and assessment of ethics throughout engineering pr ...
Technische Universität Berlin2021SMT-Based Checking of Predicate-Qualified Types for Scala
Viktor Kuncak, Georg Stefan Schmid
We present qualified types for Scala, a form of refinement types adapted to the Scala language. Qualified types allow users to refine base types and classes using predicate expressions. We implemented a type checker for qualified types that is embedded in ...
Assoc Computing Machinery2016Conception et fabrication d’un gilet de sauvetage auto-gonflant
En Suisse, comme dans le reste du monde, la popularité des gilets de sauvetage auto-gonflants est en hausse. Ces gilets sont composés de trois éléments principaux: la chambre à air, la bonbonne d'air comprimé, ainsi que le système de gonflage automatique. ...
2014Detecting Narrativity to Improve English to French Translation of Simple Past Verbs
Andrei Popescu-Belis, Thomas Meyer
The correct translation of verb tenses ensures that the temporal ordering of events in the source text is maintained in the target text. This paper assesses the utility of automatically labeling English Simple Past verbs with a binary discursive feature, n ...
2013Dakar, un écosystème urbain (Sénégal)
Comment habiter le risque d'inondations? Comment construire la ville autour de cette menace? La banlieue de Dakar s'est développée sur une nappe phréatique et l'a polluée. Depuis vingt ans, cette nappe remonte et détruit progressivement la ville. Faut-il r ...
2010Banc de mesure pour la motorisation d'un avion solaire
La première partie de ce travail, est axée sur la simulation. La théorie, connue depuis déjà pas mal de temps, est pratiquement toujours issue de simplification et d’hypothèse, hypothèses qui ne sont pas forcement vérifiées dans un cas réel. La simulation ...
2006