482 results on '"Eiffel"'
Search Results
2. Technogenic Gold-Bearing Mineralization of Eastern Orenburg Region
- Author
-
Kudelina, I. V., Leontiena, T. V., Fatyunina, M. V., Litvin, Yuri, Series Editor, Jiménez-Franco, Abigail, Series Editor, and Chaplina, Tatiana, Series Editor
- Published
- 2023
- Full Text
- View/download PDF
3. Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites
- Author
-
Huang, Li, Meyer, Bertrand, Oriol, Manuel, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bonfanti, Silvia, editor, Gargantini, Angelo, editor, and Salvaneschi, Paolo, editor
- Published
- 2023
- Full Text
- View/download PDF
4. Eiffel et la météorologie
- Author
-
Peter, Martin
- Subjects
Eiffel ,Météorologie ,Anémomètre pendulaire ,Héliographe photographique ,Société météorologique de France ,Materials of engineering and construction. Mechanics of materials ,TA401-492 - Abstract
The wind has always been a major concern for Gustave Eiffel due to its effects on the large metal constructions he made. “The wind, my enemy”, he said. Eiffel expresses through his speeches his desire to put science at the service of technology. Meteorology must help the aviator, the peasant or the sailor. It is for men that Gustave works. He therefore recommends simplifying practices so that the results are accessible to all. So the meteorology must give usable information immediately.
- Published
- 2023
- Full Text
- View/download PDF
5. A failed proof can yield a useful test.
- Author
-
Huang, Li and Meyer, Bertrand
- Subjects
SOFTWARE verification ,SATISFIABILITY (Computer science) - Abstract
A successful automated program proof is, in software verification, the ultimate triumph. In practice, however, the road to such success is paved with many failed proof attempts. Unlike a failed test, which provides concrete evidence of an actual bug in the program, a failed proof leaves the programmer in the dark. Can we instead learn something useful from it? The work reported here takes advantage of the rich information that some automatic provers internally collect about the program when attempting a proof. If the proof fails, the Proof2Test tool presented in this article uses the counterexample generated by the prover (specifically, the SMT solver underlying the Boogie tool used in the AutoProof system to perform correctness proofs of contract‐equipped Eiffel programs) to produce a failed test, which provides the programmer with immediately exploitable information to correct the program. The discussion presents Proof2Test and the application of the ideas and tool to a collection of representative examples. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
6. XDQ : Enhancing XDP with Queuing and Packet Scheduling
- Author
-
Alfredsson, Freysteinn, Hurtig, Per, Brunstrom, Anna, Hoiland-Jorgensen, Toke, Brouer, Jesper Dangaard, Alfredsson, Freysteinn, Hurtig, Per, Brunstrom, Anna, Hoiland-Jorgensen, Toke, and Brouer, Jesper Dangaard
- Abstract
Modern internet users expect seamless, uninterrupted communication when using real-time applications, even when sharing the network connection with devices that produce heavy traffic. This trend has pushed the demand for more sophisticated packet schedulers on routers. However, given the limited resources on these routers, it is increasingly important to reduce the overhead associated with these schedulers. This paper presents XDP Queuing (XDQ), our ongoing work on achieving faster packet scheduling on the Linux operating system, which is popular on networking equipment. Linux provides eXpress Data Path (XDP), a high-performance programmable network data path using the eBPF framework, which allows code to process packets early from the driver. While XDP has found numerous uses in the industry, such as Denial-of-Service attack mitigation, load-balancers, and intrusion prevention systems, it currently has no mechanism for queueing or reordering packets and cannot implement traffic scheduling policies. Our contribution, XDQ, is a programmable packet scheduling extension for the XDP framework. XDQ uses recently proposed schemes for programmable queues. It allows writing packet schedulers using eBPF while benefiting from the XDP fast data path.
- Published
- 2024
- Full Text
- View/download PDF
7. Detection of Inconsistent Contracts Through Modular Verification
- Author
-
Naumchev, Alexandr, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Ciancarini, Paolo, editor, Mazzara, Manuel, editor, Messina, Angelo, editor, Sillitti, Alberto, editor, and Succi, Giancarlo, editor
- Published
- 2020
- Full Text
- View/download PDF
8. Sound and Relaxed Behavioural Inheritance
- Author
-
Amálio, Nuno, Zelinka, Ivan, Series Editor, Adamatzky, Andrew, Series Editor, Chen, Guanrong, Series Editor, Abraham, Ajith, Editorial Board Member, Lucia, Ana, Editorial Board Member, Burguillo, Juan C., Editorial Board Member, Čelikovský, Sergej, Editorial Board Member, Chadli, Mohammed, Editorial Board Member, Corchado, Emilio, Editorial Board Member, Davendra, Donald, Editorial Board Member, Ilachinski, Andrew, Editorial Board Member, Lampinen, Jouni, Editorial Board Member, Middendorf, Martin, Editorial Board Member, Ott, Edward, Editorial Board Member, Pan, Linqiang, Editorial Board Member, Păun, Gheorghe, Editorial Board Member, Richter, Hendrik, Editorial Board Member, Rodriguez-Aguilar, Juan A., Editorial Board Member, Rössler, Otto, Editorial Board Member, Snasel, Vaclav, Editorial Board Member, Vondrák, Ivo, Editorial Board Member, Zenil, Hector, Editorial Board Member, and Kendon, Vivien, editor
- Published
- 2020
- Full Text
- View/download PDF
9. Translation from Event-B into Eiffel
- Author
-
Sofia Reznikova, Victor Rivera, Joo Young Lee, and Manuel Mazzara
- Subjects
stepwise refinement ,design-by-contract ,formal modelling ,reactive systems ,event-b ,eiffel ,Information technology ,T58.5-58.64 - Abstract
Formal modelling languages play a key role in the development of software: they enable users to specify functional requirements that serve as documentation as well; they enable users to prove the correctness of system properties, especially for critical systems. However, there is still an open question on how to map formal models to a specific programming language. In order to propose a solution, this paper presents a source-to-source mapping between Event-B models, a formal modelling language for reactive systems, and Eiffel programs, an Object Oriented (O-O) programming language. The mapping not only generates an actual Eiffel code of the Event-B model, but also translates model properties as contracts. The contracts follow the Design by Contract principle and are natively supported by the programming language. The mapping is implemented in the freely available Rodin plug-in EB2Eiffel. Thus, users can develop systems (i) starting with the modelling of functional requirements (properties) in Event-B, then (ii) formally proving the correctness of such properties in Rodin and finally (iii) by using EB2Eiffel to translate the model into Eiffel. In Eiffel, users can extend/customise the implementation of the model and formally prove it against the initial model. This paper also presents different Event-B models from the literature to test EB2Eiffel and its limitations. The article is published in the authors’ wording.
- Published
- 2018
- Full Text
- View/download PDF
10. Operator Overloading
- Author
-
Chivers, Ian, Sleightholme, Jane, Chivers, Ian, and Sleightholme, Jane
- Published
- 2018
- Full Text
- View/download PDF
11. Par-delà l’ « amour importun » : voix et figures de l’amour chez Eiffel
- Author
-
Nathalie Vincent-Arnaud
- Subjects
creation ,eiffel ,eros ,love ,multiplicity ,Language and Literature ,Sociology (General) ,HM401-1281 - Abstract
Né à la fin des années 1990, Eiffel est un groupe bordelais nourri de diverses influences allant de la pop et du rock anglo-saxons à la chanson française. Tout aussi adepte des recherches sonores les plus élaborées que de la langue française, Romain Humeau, leader du groupe, déploie toute une palette à la fois instrumentale, vocale et rhétorique qui lui permet de donner corps aux émotions les plus diversifiées. Se faisant, selon son propre mot, « colporteur d’impressions », il cisèle chemin faisant une série de vignettes-instantanés où l’individuel et l’intime s’infiltrent dans le portrait général d’un univers en mutation. Hantés par la mort et la perte, les albums successifs peuvent être perçus comme une célébration, sur des modes faisant alterner lyrisme, ironie et intimisme, de l’élan vital et créateur, de l’éros dans son acception la plus englobante. L’amour s’y décline sous les formes diverses du rapport à l’autre, être aimé, disparu, entraperçu, singulier ou collectif. Dans tous les cas, il offre le visage d’une force salvatrice qui, via la variété des textes, des arrangements et des emprunts à divers genres musicaux, se déploie dans sa multiplicité. Le présent article examine cette cartographie toujours renouvelée de l'amour.
- Published
- 2018
12. Mechanically Proved Practical Local Null Safety
- Author
-
A. V. Kogtenkov
- Subjects
безопасность пустых указателей ,статический анализ ,eiffel ,формальные методы ,крупношаговая операционная семантика ,теорема о сохранении ,эквивалентность операционных семантик ,Electronic computers. Computer science ,QA75.5-76.95 - Abstract
Null pointer dereferencing is a well-known bug in object-oriented programs. It can be avoided by adding special validity rules to a language in which programs are written. Are the rules sufficient to ensure absence of such exceptions? This work focuses on null safety for intra-procedural context where no additional type annotations are needed and formalizes the rules in Isabelle/HOL proof assistant. It then proves null-safety preservation theorem for big-step semantics in a computer-checkable way. Finally, it demonstrates that with such rules null-safe and null-unsafe semantics are equivalent.
- Published
- 2018
- Full Text
- View/download PDF
13. Seamless Development Applicability: an Experiment
- Author
-
Alexandr Naumchev
- Subjects
software engineering ,requirements specifications ,multirequirements ,eiffel ,Electronic computers. Computer science ,QA75.5-76.95 - Abstract
Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the feasibility of such an approach, the case study reported here takes a classic example from the requirements engineering literature and describes it using a programming language framework to express both domain and machine properties. The paper describes the solution, discusses its benefits and limitations, and assesses its scalability.
- Published
- 2018
- Full Text
- View/download PDF
14. Unifying Requirements and Code: An Example
- Author
-
Naumchev, Alexandr, Meyer, Bertrand, Rivera, Victor, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Mazzara, Manuel, editor, and Voronkov, Andrei, editor
- Published
- 2016
- Full Text
- View/download PDF
15. S’attaquer à la suprématie du masculin sur le féminin : le français inclusif dans les publications des universités françaises dans les réseaux sociaux
- Author
-
Paweł Golda, Natalia Żywicka, and Vanessa Ferreira Vieira
- Subjects
Gender-neutral language ,Higher education ,business.industry ,4. Education ,Library science ,French ,Eiffel ,language.human_language ,Social group ,03 medical and health sciences ,0302 clinical medicine ,030220 oncology & carcinogenesis ,language ,The Internet ,Social media ,Sociology ,business ,computer ,Sociolinguistics ,computer.programming_language - Abstract
This paper aims to examine the use of inclusive French in the Internet publications of Paris universities on their social media. Three higher education institutions were selected: Paris Dauphine-PSL University, Gustave Eiffel University, and Sorbonne Paris North University. The publications were obtained from Facebook, Instagram, and LinkedIn. Firstly, the groups of people to whom the use of inclusive French referred were considered. The second question was about the practices used to make the French language inclusive. Eight practices were observed and are described in the paper. Also, the frequency of gender-neutral language was a point of interest. The research corpus is available online: https://tiny.pl/9rcdj.
- Published
- 2021
16. Automatic Testing and Fixing for Eiffel : (Extended Abstract)
- Author
-
Meyer, Bertrand, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bottaci, Leonardo, editor, and Fraser, Gordon, editor
- Published
- 2010
- Full Text
- View/download PDF
17. Diagnosis and Restoration of Four Remarkable Eiffel-Type Rail Viaducts.
- Author
-
Lamarsaude, Cédric, Leconte, Renaud, Raulet, Christophe, and Defargues, Claire
- Subjects
RAILROAD bridge design & construction ,VIADUCTS -- Design & construction ,RAILROAD bridge maintenance & repair ,PROJECT management ,STRUCTURAL engineering - Abstract
As part of the project management of the Auvergne rail plan carried out by the Société d’études techniques et économiques (SETEC) on behalf of the French Rail Network (SNCFR, Société Nationale des Chemins de Fer Réseau), Diadès was responsible for the diagnosis of four wrought-iron nineteenth-century viaducts located on the Lavaufranche-Saint-Germain des Fossés line. The comprehensive studies were carried out on the structural condition of these four Eiffel-type rail viaducts, 145 years after they commenced operation. Once the viaducts’ archives had been analysed, a complete diagnostic and investigative programme was carried out, including taking dimensional measurements and samples, conducting detailed inspections, anti-corrosion diagnosis, spectrocolorimetry, analysis of the gathered data and recalculation of the fatigue of the structures. These results were then used to create a plan for the restoration and painting of two viaducts while addressing the problem of the presence of lead in the original paint. The works were carried out on the Rouzat Viaduct, within the allotted periods of the closure of the line, by Lassarat, managed by Diadès. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
18. A Study on the Evolution in Design and Calculation of Iron and Steel Structures over the Mid 19th Century in Western and Central Europe.
- Author
-
Schueremans, L., Porcher, H., Rossi, B., Wouters, I., and Verstrynge, E.
- Subjects
CULTURAL property ,STRUCTURAL engineering software ,ARCHITECTURAL design ,STANDARDS - Abstract
The design of metallic structures in the 19th century is a subject topic of much admiration, as many emblematic structures that are currently withstanding the test of time have become part of our built cultural heritage. Knowledge on the assumptions and design procedures available at that time is of importance to structural engineering nowadays. It allows for the understanding, maintaining and safe extending of the service life of historical metallic structures. The goal of this article is to describe the evolution in the design and calculation of metallic structures during the second half of the 19th century, with focus on Western and Central Europe. Special attention is paid to the similarities and differences between the 19th century design rules and the current structural design standards. Based on a literature survey, the evolution in terms of load definition, calculation methods, material properties, and verifications are described. Different design aspects are illustrated through a case study: The Garabit viaduct in France. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
19. A Nyugati pályaudvar építő- és díszítőkövei: Building and ornamental stones of the Nyugati Railway Station.
- Author
-
Balázs, Burján
- Abstract
Copyright of Architectonics & Architecture / Építés - Építészettudomány is the property of Akademiai Kiado and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2018
- Full Text
- View/download PDF
20. Par-delà l' « amour importun » : voix et figures de l'amour chez Eiffel.
- Author
-
Vincent-Arnaud, Nathalie
- Abstract
Copyright of Journal of Popular Romance Studies is the property of International Association for the Study of Popular Romance and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2018
21. A Sound and Complete Program Logic for Eiffel
- Author
-
Nordio, Martin, Calcagno, Cristiano, Müller, Peter, Meyer, Bertrand, van der Aalst, Will, Series editor, Mylopoulos, John, Series editor, Sadeh, Norman M., Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Oriol, Manuel, editor, and Meyer, Bertrand, editor
- Published
- 2009
- Full Text
- View/download PDF
22. Proof-Transforming Compilation of Eiffel Programs
- Author
-
Nordio, Martin, Müller, Peter, Meyer, Bertrand, van der Aalst, Will, editor, Mylopoulos, John, editor, Sadeh, Norman M., editor, Shaw, Michael J., editor, Szyperski, Clemens, editor, Paige, Richard F., editor, and Meyer, Bertrand, editor
- Published
- 2008
- Full Text
- View/download PDF
23. Are Practitioners Writing Contracts?
- Author
-
Chalin, Patrice, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Butler, Michael, editor, Jones, Cliff B., editor, Romanovsky, Alexander, editor, and Troubitsyna, Elena, editor
- Published
- 2006
- Full Text
- View/download PDF
24. Modeling and Wind Flow Analysis of an Eiffel (Open) Type Sub-Sonic Wind Tunnel
- Author
-
Bhargavi Thorat, Shubham Mathure, Zelieus Namirian, and Surekha Khetree
- Subjects
Aerodynamic force ,Flow (psychology) ,Airflow ,Diffuser (automotive) ,Fluid dynamics ,Eiffel ,Contraction (operator theory) ,computer ,Geology ,computer.programming_language ,Marine engineering ,Wind tunnel - Abstract
Wind tunnel (WT) is a device that artificially produces airflow relative to a stationary body and measures aerodynamic force and pressure distribution, simulating the actual conditions with an important aspect of accurately feigning¬ the full complexity of fluid flow. The aim of the present study is to design the three dimensional geometry of a small, open-circuit (also known as Eiffel Type), and subsonic (low speed) wind tunnel (WT) capable of demonstrating or acting as a vital tool in aero-mechanics research. The project and fabrication itself, poses as an onerous task with the cynosure/central theme being the delineation/depiction of wind tunnel components such as Test Section, contraction cone, diffuser, drive system and settling chamber.
- Published
- 2021
25. Finding Implicit Contracts in .NET Components
- Author
-
Arnout, Karine, Meyer, Bertran, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor
- Published
- 2003
- Full Text
- View/download PDF
26. Seamless requirements.
- Author
-
Naumchev, A. and Meyer, B.
- Subjects
- *
REQUIREMENTS engineering , *INFORMATION & communication technologies , *COMPUTER science , *COMPUTER software development , *COMPUTER software developers - Abstract
Popular notations for functional requirements specifications frequently ignore developers’ needs, target specific development models, or require translation of requirements into tests for verification; the results can give out-of-sync or downright incompatible artifacts. Seamless requirements, a new approach to specifying functional requirements, contributes to developers’ understanding of requirements and to software quality regardless of the process, while the process itself becomes lighter due to the absence of tests in the presence of formal verification. A development case illustrates these benefits, and a discussion compares seamless requirements to other approaches. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
27. PRINSIP KERJASAMA MAKSIM DAN IMPLIKATUR PADA SERI FILEM 'EIFFEL I’M IN LOVE'
- Author
-
Budiarta I Wayan, Loktika Nengah Nita, and Renaya Nengah
- Subjects
Opting out ,biology ,Politeness ,media_common.quotation_subject ,Research findings ,Eiffel ,Linguistics ,Documentation ,biology.animal ,Maxim ,Grice ,Quality (philosophy) ,Psychology ,computer ,media_common ,computer.programming_language - Abstract
The purpose of this research is to describe the violations of the maxims and implicatures on the principle of cooperation that was found in the film Eiffel I'm in Love series. The data were collected by the documentation method. The theory mentioned by Grice (1975) and Thomas (1995) was used in analyzing the data. The research findings revealed that there were five types of cooperation principle violations are found in the movie. These are caused by the failure of the participant in understanding the maxims, namely violation, flouting, infringing, opting out, and suspending. The types of maxim violated are the quantity, quality, relativity, implementation, or methods. Implications from maxim violations mean: avoidance, misunderstandings, reject invitations, ignore the other person, and politeness.
- Published
- 2020
28. Dressing the Eiffel Tower
- Author
-
Kasia Stempniak
- Subjects
History ,media_common.quotation_subject ,06 humanities and the arts ,Art ,Eiffel ,Fin de siecle ,060104 history ,060105 history of science, technology & medicine ,0601 history and archaeology ,Architecture ,computer ,Humanities ,computer.programming_language ,media_common - Abstract
The construction of the Eiffel Tower for the 1889 Universal Exposition sparked “Eiffelomania,” a craze for objects imprinted with the likeness of the tower. This mania reverberated in the fashion world, with journals touting the latest fabrics, colors, and styles named “Eiffel.” But the tower's association with fashion went beyond the materiality of clothing. Careful examination of news reports and fashion chronicles from the fin de siècle period reveals that the tower was frequently cast in sartorial terms. In describing the tower's manner of “dressing,” its “clothing” and “outfits,” these discourses brought to the fore the shared theoretical bonds between fashion and architecture. This article traces the reception of the Eiffel Tower in fin de siècle Paris and argues that the sartorial imagery associated with the tower conceptualizes architecture as a form of fashion. La construction de la Tour Eiffel à l'occasion de l'Exposition universelle de 1889 a déclenché l' « Eiffelomanie », un engouement pour toute une série d'objets réalisés à l'effigie de la Tour Eiffel. Cette obsession a eu des échos jusque dans le monde de la mode grâce aux journaux de mode qui promouvaient des étoffes, des couleurs, et des styles à la « Eiffel ». Mais l'association de la Tour Eiffel et de la mode ne s'est pas limitée à la matérialité des vêtements. Une analyse attentive des chroniques de mode démontre que la Tour Eiffel était souvent évoquée à travers des termes empruntés au lexique vestimentaire. En décrivant « l'habillement » de la Tour Eiffel, ses « robes » ou ses « toilettes », ces discours mettaient en évidence les liens théoriques que partagaient la mode et l'architecture. Cet article s'intéresse à la réception que la Tour Eiffel a eue dans le Paris fin-de-siècle, et soutient l'idée selon laquelle le champ lexical vestimentaire associé à la Tour Eiffel conceptualisait l'architecture comme une forme de la mode.
- Published
- 2020
29. One Arabesque in the small world of OD webmaps
- Author
-
Marion Maisonobe, F. Bahoken, Nicolas Roelandt, G. Le Campion, B. Mericskay, Etienne Côme, Laurent Jégou, Département Aménagement, Mobilités et Environnement (AME), Université Gustave Eiffel, Systèmes Productifs, Logistique, Organisation des Transports et Travail (AME-SPLOTT ), Passages, Université de Bordeaux (UB)-Ministère de la Culture et de la Communication (MCC)-Université de Pau et des Pays de l'Adour (UPPA)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), Laboratoire Interdisciplinaire Solidarités, Sociétés, Territoires (LISST), École des hautes études en sciences sociales (EHESS)-Université Toulouse - Jean Jaurès (UT2J)-École Nationale Supérieure de Formation de l'Enseignement Agricole de Toulouse-Auzeville (ENSFEA)-Centre National de la Recherche Scientifique (CNRS), Géographie-cités (GC (UMR_8504)), Université Paris 1 Panthéon-Sorbonne (UP1)-École des hautes études en sciences sociales (EHESS)-Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP), Espaces et Sociétés (ESO), Institut de Géographie et d'Aménagement Régional de l'Université de Nantes (IGARUN), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-AGROCAMPUS OUEST, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université d'Angers (UA)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Le Mans Université (UM), Génie des Réseaux de Transport Terrestres et Informatique Avancée (COSYS-GRETTIA ), TTT, gflowiz, Le Mans Université (UM)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Université d'Angers (UA)-AGROCAMPUS OUEST-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Centre National de la Recherche Scientifique (CNRS)-Institut de Géographie et d'Aménagement Régional de l'Université de Nantes (IGARUN), Université de Nantes (UN)-Université de Nantes (UN), gflowiz, and Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)
- Subjects
Technology ,010504 meteorology & atmospheric sciences ,Computer science ,0211 other engineering and technologies ,02 engineering and technology ,PARIS team ,Eiffel ,01 natural sciences ,Spatial network ,FLOW MAPPING ,Web application ,SPATIAL NETWORK ,Applied optics. Photonics ,Flow map ,Representation (mathematics) ,GEOWEB ,COM ,021101 geological & geomatics engineering ,0105 earth and related environmental sciences ,computer.programming_language ,OPEN GEOSPATIAL SOFTWARE ,Information retrieval ,business.industry ,ACL ,[INFO.INFO-WB]Computer Science [cs]/Web ,ORIGIN-DESTINATION MATRIX ,[SHS.GEO]Humanities and Social Sciences/Geography ,Engineering (General). Civil engineering (General) ,TA1501-1820 ,Geoweb ,Thematic map ,Geovisualization ,TA1-2040 ,business ,computer - Abstract
FOSS4G 2021 Buenos Aires, Buenos Aires, Argentine, 27-/09/2021 - 02/10/2021; Arabesque is an application for the exploration and geovisualisation of origin-destination flows (or spatial networks), developed within the framework of the Univ. Gustave Eiffel (ex. IFSTTAR)-funded research project geographic flow visualisation (gflowiz) geoflowiz, in collaboration with the CNRS. It allows both the exploration and the filtering of OD data and their representation, with a strong emphasis on geographic information layering and features' semiology. The key-objective is to propose an easy way to produce a modern cartography (a geovisualisation) of thematic flows (e.g. bilateral flow volume), at several geographic scales, even from your own datasets. The objective of this article is to position Arabesque in the range of geoweb applications for producing flow maps, by comparing its functionalities with those of similar web applications- Magrit, Kepler.gl, flowmap.blue -pointing out their respective advantages and limitations. The analysis of its functionalities is compared on the same flow dataset -MOBSCO, i.e. a dataset describing the school mobility of French pupils and students on a given year- for a practical and empirical "validation" of its contributions. We demonstrate that the configurations and appearances of these tools' visual output depend largely on the culture of their developers, and on the use and audiences for which they have been developed.
- Published
- 2021
30. EPEE: an eiffel environment to program distributed memory parallel computers
- Author
-
Jézéquel, J. -M., Goos, Gerhard, editor, Hartmanis, Juris, editor, and Madsen, Ole Lehrmann, editor
- Published
- 1992
- Full Text
- View/download PDF
31. TRIZ Evolution of the Object-Oriented Programming Languages.
- Author
-
Berdonosov, Victor, Zhivotova, Alena, and Sycheva, Tatiana
- Subjects
OBJECT-oriented programming languages ,TRIZ theory ,KNOWLEDGE transfer ,MACHINE learning ,PYTHON programming language - Abstract
In the series of “TRIZ Future” conferences [1] authors went through the problems of knowledge scope and learning time leading to educational contradiction. The main approach of solving them was the idea of systematic knowledge transferring. TRIZ gives ways to the realizing of the systematization found on the concept of the evolutionary knowledge. The number of TRIZ specialists (Nikolai Khomenko, Larry Smith, Nikolay Shpakovsky and others) used the evolutionary knowledge in evident or hidden way. Nikolay Shpakovsky (a TRIZ master since 2006), the author of “Trees of evolution”, consequently used the evolution approach [2] . The processes of technical system development are taken up there. TRIZ specialists pay little attention to untechnical systems, especially program ones. The evolutionary knowledge as an isolated concept is not instrumental. Earlier three parts of evolutionary: “a pattern”, “resources”, “the laws of evolution” were considered to pay special attention on. “The laws of evolution” were supposed to be TRIZ tools (solutions of technical and physical contradictions, SuField transformations, principles and patterns of system development, etc.). These supposals lead to a new concept - TRIZ evolutionary. TRIZ evolution will be self similarity of transformations based on TRIZ tools. In his book Nikolay Shpakovsky analyzes in details “The laws of evolutionary” of the technical system. It is interesting to spread the instrumental approach of the evolutionary knowledge to untechnical systems, too. In the report there was an attempt to apply the TRIZ evolution approach to the program systems, particularly to object- oriented programming languages. The in-depth analysis of the object oriented programming paradigm helped to find out the main contradictions of programming languages of that paradigm. The use of TRIZ tools allowed resolving the contradictions and defining principles, which should be included in a new object-oriented programming language. Such programming languages as Simula-67; Smalltalk; C++; Eiffel; Perl; Python; Php; Java; Delphi; C#; Scala are considered in the report. The principal contradictions, which became “moving force” of each new language, solutions of these contradictions based on TRIZ tools, are defined. Language evolution of programming languages on the basis of “from contradiction to contradiction” is formed. Also the TRIZ-evolutionary map is formed and the development forecast of object-oriented programming languages is suggested. [ABSTRACT FROM AUTHOR]
- Published
- 2015
- Full Text
- View/download PDF
32. Essai exploratoire sur l’utilisation du système de typage d’Eiffel dans la définition d’un nouveau langage de base de données relationnelle
- Author
-
Routhier, Maxime and Routhier, Maxime
- Abstract
Le présent essai s’inscrit dans le cadre de l’un des projets de recherche du Groupe de recherche interdisciplinaire en informatique de la santé (GRIIS) de l’Université de Sherbrooke, codirigé par le docteur Jean-François Ethier et le professeur Luc Lavoie. Le projet de recherche, dont il est question, constitue une tentative (peut-être ambitieuse) de définir un nouveau langage de base de données relationnelle en vue de remplacer SQL, le langage standard des bases de données relationnelles. Le nouveau langage, nommé Discipulus, bien que sa conception soit avancée, n’est pas encore complètement défini. Le GRIIS s’interroge sur le choix du système de typage du nouveau langage. Notamment, le GRIIS se questionne sur le choix du modèle d’héritage. Deux candidats pour le rôle ont été retenus dans le cadre des travaux antérieurs du GRIIS : le système de typage de Tutorial D et celui d’Eiffel. La décision n’est pas très facile à prendre. Dans le but d’éclairer le GRIIS quant aux décisions à prendre concernant le nouveau langage, cet essai explore l’utilisation du système de typage d’Eiffel dans un contexte de langage de base de données relationnelle. Eiffel est un langage orienté objet à usage général et non un langage de base de données relationnelle. Par conséquent, le système de typage d’Eiffel ne peut pas être utilisé tel quel dans la définition d’un nouveau langage de base de données. Le présent essai est donc une tentative de modifier le système de typage d’Eiffel pour l’adapter à un langage de base de données. Les résultats montrent que le système de typage d’Eiffel ne se prête pas naturellement aux règles de typage idéales pour les opérateurs de l’algèbre relationnelle. Dans l’ensemble, cependant, il faut noter qu’aucun obstacle majeur n’a été rencontré lors de l’investigation du système de typage d’Eiffel. Ce dernier système peut, avec les modifications appropriées, être utilisé comme système de typage pour un langage de base de données relationnelle. Reste à savoir
- Published
- 2021
33. Haüyn van de Wingertsbergwand
- Author
-
C. de Jong and C. de Jong
- Abstract
Beschrijving van een groevewand bij de Laacher See, in gesteenten afgezet tijdens een Plinische eruptie waar o.a. het blauwe mineraal haüyn voorkomt.
- Published
- 2021
34. Light People: Tarik Bourouina
- Author
-
Xiaoyi Liu and Hui Wang
- Subjects
Sustainable development ,Architectural engineering ,Bond ,Metamaterial ,QC350-467 ,Optics. Light ,Eiffel ,Atomic and Molecular Physics, and Optics ,TA1501-1820 ,Electronic, Optical and Magnetic Materials ,Optical physics ,Blueprint ,Optical materials and structures ,Applied optics. Photonics ,News & Views ,computer ,computer.programming_language - Abstract
Editorial In 2015, 195 countries of the United Nations proposed Sustainable Development Goals so as to alleviate the problems of climate change and global pollution. In France, there is a scientist dedicated to contribute providing solutions for above issues by virtue of MEMS, Lab-On-Chip and metamaterials. This expert is Prof. Tarik Bourouina, a Professor of Physics at ESIEE Paris, Université Gustave Eiffel. He devoted himself to the investigations on micro sensors and metamaterials, and kept seeking their applications in the future blueprint of “Sustainable” and “Smart” cities. On the other hand, he has formed an indissoluble bond with Light: Science and Applications (LIGHT) since the very beginning of the journal. He also set up the LIGHT’s Paris office, which is the first LIGHT’s overseas office in Europe. We are much honored to have an opportunity to exclusively communicate with Prof. Tarik Bourouina, who will share his research experience and stories with LIGHT in this interview., Prof. Tarik Bourouina devoted himself to the investigations on micro sensors, photonic MEMS and metamaterials, and kept seeking applications in the future blueprint of “Sustainable” and “Smart” cities.
- Published
- 2021
35. The E-ACSL Perspective on Runtime Assertion Checking
- Author
-
Julien Signoles, Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), and Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
- Subjects
Computer science ,Research areas ,Interface (Java) ,Programming language ,Assertion ,020207 software engineering ,02 engineering and technology ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ,Eiffel ,computer.software_genre ,Perspective (geometry) ,020204 information systems ,0202 electrical engineering, electronic engineering, information engineering ,Code (cryptography) ,computer ,computer.programming_language ,[INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS] - Abstract
International audience; Runtime Assertion Checking (RAC) is the discipline of verifying program assertions at runtime, i.e. when executing the code. Nowadays, RAC usually relies on Behavioral Interface Specification Languages (BISL) à la Eiffel for writing powerful code specifications. Since now more than 20 years, several works have studied RAC. Most of them have focused on BISL. Some others have also considered combinations of RAC with others techniques, e.g. deductive verification (DV). Very few tackle RAC as a verification technique that soundly generates efficient code from formal annotations. Here, we revisit these three RAC's research areas by emphasizing the works done in E-Acsl, which is both a BISL and a RAC tool for C code. We also compare it to others languages and tools.
- Published
- 2021
36. Modern Architecture as Inextensible
- Author
-
Albena Yaneva
- Subjects
Structure (mathematical logic) ,Competition (economics) ,History ,Restructuring ,Actor–network theory ,Guardian ,Art history ,Architecture ,Eiffel ,computer ,Tower (mathematics) ,computer.programming_language - Abstract
I will begin with this provocative, and quite unusual image, of an iconic building that we all know – the Eiffel Tower. Some of you might have heard about the media debates surrounding the “new design for the restructuring of the public spaces of the Eiffel Tower” announced by the French architect David Serero in March 2008. He suggested doubling the size of the tower’s highest observational platform. The architect claimed that “his firm’s proposal was accepted after an open call, and that the structure is expected to be assembled for the 120th anniversary of the tower construction.” But shortly after that, the government-contracted firm that manages the tower – la Société d’Exploitation de la Tour Eiffel – stated that the claims of the architect are a “hoax.” The communication chief denied that there was ever any call for architects regarding plans to redevelop the top of the monument and that Serero Architects never presented themselves as candidates for such a competition. The media outlets that ran with the story included: The Guardian, The New York Times, Architect, Bustler, The Daily Telegraph and Belfast Telegraph.
- Published
- 2018
37. Translation from Event-B into Eiffel
- Author
-
Victor Rivera, Sofia Reznikova, JooYoung Lee, and Manuel Mazzara
- Subjects
event-b ,design-by-contract ,Computer science ,Programming language ,formal modelling ,reactive systems ,Information technology ,Translation (geometry) ,computer.software_genre ,Eiffel ,T58.5-58.64 ,stepwise refinement ,eiffel ,computer ,computer.programming_language - Abstract
Formal modelling languages play a key role in the development of software: they enable users to specify functional requirements that serve as documentation as well; they enable users to prove the correctness of system properties, especially for critical systems. However, there is still an open question on how to map formal models to a specific programming language. In order to propose a solution, this paper presents a source-to-source mapping between Event-B models, a formal modelling language for reactive systems, and Eiffel programs, an Object Oriented (O-O) programming language. The mapping not only generates an actual Eiffel code of the Event-B model, but also translates model properties as contracts. The contracts follow the Design by Contract principle and are natively supported by the programming language. The mapping is implemented in the freely available Rodin plug-in EB2Eiffel. Thus, users can develop systems (i) starting with the modelling of functional requirements (properties) in Event-B, then (ii) formally proving the correctness of such properties in Rodin and finally (iii) by using EB2Eiffel to translate the model into Eiffel. In Eiffel, users can extend/customise the implementation of the model and formally prove it against the initial model. This paper also presents different Event-B models from the literature to test EB2Eiffel and its limitations. The article is published in the authors’ wording.
- Published
- 2018
38. The Role of Formalism in System Requirements
- Author
-
Bertrand Meyer, Alexandr Naumchev, Florian Galinier, Sophie Ebersold, Jean-Michel Bruel, Manuel Mazzara, Smart Modeling for softw@re Research and Technology (IRIT-SM@RT), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Innopolis University, Schaffhausen Institute of Technology (SIT), and Ministry of Digital Development, Communications and Mass Media of the Russian Federation and Russian Venture Company (Agreement No. 004/20 dd. 20.03.2020, IGK 0000000007119P190002)
- Subjects
General Computer Science ,Traceability ,Computer science ,Formal ,requirement ,seamless ,02 engineering and technology ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ,Eiffel ,Theoretical Computer Science ,Systems Modeling Language ,020204 information systems ,0202 electrical engineering, electronic engineering, information engineering ,Software system ,computer.programming_language ,Scope (project management) ,business.industry ,software ,Principal (computer security) ,020207 software engineering ,System requirements ,specification ,Software engineering ,business ,computer ,Natural language - Abstract
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, which is good for understandability but lacks precision. To make requirements precise, researchers have for years advocated the use of mathematics-based notations and methods, known as “formal.” Many exist, differing in their style, scope, and applicability. The present survey discusses some of the main formal approaches and compares them to informal methods. The analysis uses a set of nine complementary criteria, such as level of abstraction, tool availability, and traceability support. It classifies the approaches into five categories based on their principal style for specifying requirements: natural-language, semi-formal, automata/graphs, mathematical, and seamless (programming-language-based). It includes examples from all of these categories, altogether 21 different approaches, including for example SysML, Relax, Eiffel, Event-B, and Alloy. The review discusses a number of open questions, including seamlessness, the role of tools and education, and how to make industrial applications benefit more from the contributions of formal approaches.
- Published
- 2021
39. AutoProof meets some verification challenges.
- Author
-
Tschannen, Julian, Furia, Carlo, and Nordio, Martin
- Subjects
- *
SOFTWARE verification , *EIFFEL (Computer program language) , *SEARCH algorithms , *COMPUTER algorithms , *COMPUTER software correctness , *BENCHMARKING (Management) - Abstract
AutoProof is an automatic verifier for functional properties of programs written in Eiffel. This paper illustrates some of AutoProof's capabilities when tackling the three challenges of the VerifyThis verification competition held at FM 2012, as well as on three other problems proposed in related events. AutoProof 's design focuses on making it practically applicable with reduced user effort. Tackling the challenges demonstrates to what extent this design goal is met in the current implementation: while some of AutoProof's current limitations prevent us from verifying the complete specification of the prefix sum and binary search tree algorithms, we can still prove some partial properties on interesting special cases, but with the advantage of requiring little or no specification. [ABSTRACT FROM AUTHOR]
- Published
- 2015
- Full Text
- View/download PDF
40. The Future of Software Engineering: Where Will Machine Learning, Agile, and Virtualization Take Us Next?
- Author
-
Dennis Mancl and Steven Fraser
- Subjects
Government ,Engineering ,business.industry ,Network security ,Best practice ,Virtualization ,computer.software_genre ,Eiffel ,Variety (cybernetics) ,Software ,Software engineering ,business ,computer ,computer.programming_language ,Agile software development - Abstract
Software has become the lifeblood of the 21st century, enabling a broad range of commercial, medical, educational, agricultural, and government applications. These applications are designed and deployed through a variety of software best practices. With the onset of the COVID-19 pandemic, developers have embraced virtualization (remote working) and a variety of strategies to manage the complexity of global development on multiple platforms. However, evolving hazards such as network security, algorithm bias, and the combination of careless developers and deliberate attacks continue to be a challenge. An XP2021 panel organized and chaired by Steven Fraser debated the future of software engineering and related topics such education, ethics, and tools. The panel featured Anita Carleton (CMU’s SEI), Priya Marsonia (Cognizant), Bertrand Meyer (SIT, Eiffel Software), Landon Noll (Independent Consultant), and Kati Vilkki (Reaktor).
- Published
- 2021
41. German Tourism in Occupied France, 1940–1944
- Author
-
Gordon, Bertram M., author
- Published
- 2018
- Full Text
- View/download PDF
42. Survey on test data generation tools.
- Author
-
Galler, Stefan and Aichernig, Bernhard
- Subjects
- *
COMPUTER software testing , *COMPUTER software industry , *C++ , *JAVA programming language , *AUTOMATION , *INFORMATION processing - Abstract
Automating the process of software testing is a very popular research topic and of real interest to industry. Test automation can take part on different levels, e.g., test execution, test case generation, test data generation. This survey gives an overview of state-of-the art test data generation tools, either academic or commercial. The survey focuses on white- and gray-box techniques. The list of existing tools was filtered with respect to their public availability, their maturity, and activity. The remaining seven tools, i.e., AgitarOne, CodePro AnalytiX, AutoTest, C++test, Jtest, RANDOOP, and PEX, are briefly introduced and their evaluation results are summarized. For the evaluation we defined 31 benchmark tests, which check the tools capabilities to generate test data that satisfies a given specification: 24 primitive type benchmarks and 7 non-primitive type and more complex with respect to the specification benchmarks. Most of the commercial tools implement a test data strategy that uses constant values found in the method under test or values that are slightly modified by means of mathematical operations. This strategy turns out to be very effective. In general, all tools that combine multiple techniques perform very well. For example PEX uses constraint solving techniques, but in cases where the constraint solver reaches its limitations it uses random based techniques to overcome those limitations. Especially, the two commercial tools AgitarOne and PEX that combine multiple approaches to test data generation are able to pass all 31 tests. This survey reflects the status in 2011. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF
43. Paquimeningitis hipertrófica idiopática en un anciano
- Author
-
Mauricio Andrés Uribe-Valencia and Janeth Jurado-Delgado
- Subjects
Pediatrics ,medicine.medical_specialty ,business.industry ,Medicine ,General Medicine ,business ,Eiffel ,computer ,computer.programming_language ,Sign (mathematics) - Abstract
Masculino de 71 años, hipertenso, con tabaquismo activo (IPA 51); ingresó a urgencias por disminución progresiva de la agudeza visual bilateral hasta llegar a amaurosis bilateral, no dolor ocular. Asociado a cefalea crónica frontal bilateral, pulsátil. RNM cerebral mostró engrosamiento difuso de la meninge en relación con paquimeningitis. Biopsia de meninge mostró paquimeninge. Se descartaron casusas neoplásicas, infecciosas, autoinmunes, por lo cual se consideró una paquimeningitis hipertrófica idiopática (PHI). La paquimeningitis hipertrófica es una entidad clínica rara caracterizada por engrosamiento localizado o difuso de la duramadre, con o sin una inflamación asociada, produce déficit neurológico progresivo por compresión de las estructuras adyacentes (1). El dolor de cabeza es el síntoma inicial más común, seguido de síntomas oftalmológicos, como pérdida visual y diplopía (2). Su etiología es multifactorial, en estudios de imagen se encuentra engrosamiento dural en la fosa craneal posterior (2), imitando la torre Eiffel iluminada en noche (signo de Eiffel de noche) (3).
- Published
- 2020
44. Between Mith or Reality. Gustave Eiffel and temple San Marcos de Arica
- Author
-
Darci Ana Gutiérrez-Pinto
- Subjects
Government ,monumento ,Public work ,media_common.quotation_subject ,investigación histórica ,Charge (warfare) ,Mythology ,memoria colectiva ,Eiffel ,Historical research ,Prefabrication ,Momument ,State (polity) ,Political science ,patrimonio cultural ,World heritage ,lcsh:Architecture ,Collective memory ,computer ,Humanities ,media_common ,computer.programming_language ,lcsh:NA1-9428 - Abstract
Con base en la investigación sobre Gustave Eiffel y su filiación con el templo de San Marcos, cuya construcción data de 1875, y cuando la ciudad de Arica aún era parte del territorio peruano; teniendo en cuenta que la información obtenida se ubica en el periodo 1870-1890, momento en que las obras públicas del gobierno fueron el objetivo principal del Estado, y a cargo de las cuales se hallaba la Junta de Arquitectos e Ingenieros del Perú, y la información obtenida en Francia a partir de los Fonds Eiffel y documentos oficiales donados por la familia, así como la página oficial del ingeniero francés, se concluye que Eiffel no participó ni en el diseño ni en la construcción del proyecto, pues la edificación fue importada íntegramente de Estados Unidos por el Gobierno peruano, mediante un sistema de prefabricación en su totalidad. Dichos resultados ponen fin al mito que se ha manejado durante años, desde la construcción de la iglesia hasta el presente. The research is about Gustave Eiffel and its filiation with the Main Church of San Marcos, whose construction dates in 1875, being the city of Arica part of the Peruvian territory, placing us between the years 1870-1890, when the Public Works of the Government were the main objective of the state, being in charge of the Bureau of Architects and Engineers of Peru, in addition to the information obtained in France and the Fonds Eiffel, which are official documents donated by the family, as well as the official page of the French engineer. It is concluded that Eiffel did not participate in the design and construction of the project, because the building was imported entirely by the Government of Peru from the United States of America, with a complete prefabrication system. These conclusions put an end to the myth that has been managed for years, from the construction of the church to the present.
- Published
- 2020
45. Subsonic Wind Tunnels
- Author
-
Erwin R. Gowree, Bruno Chanetz, Philippe Perrier, Patrick Gnemmi, Jean Délery, and Patrick Gilliéron
- Subjects
Low speed ,Eiffel ,computer ,Geology ,computer.programming_language ,Marine engineering ,Wind tunnel - Abstract
Built by Gustave Eiffel, and still in use, the low speed wind tunnel at the Scientific and Technical Centre for Building (CSTB) located in Auteuil was inaugurated on 19 March 1912 (see Fig. 2.1).
- Published
- 2020
46. Specification with Class: A Brief History of Object-Z
- Author
-
Graeme Smith and David J. Duke
- Subjects
Software development process ,Programming language ,Computer science ,Formal specification ,Perspective (graphical) ,Object-Z ,Industrial impact ,Object-orientation ,Eiffel ,computer.software_genre ,Formal methods ,computer ,computer.programming_language - Abstract
The end of the 1980s saw a growing interest in object orientation as both a design and programming methodology with the advent of programming languages like C++ and Eiffel. The trend was taken up by some in the formal methods community, including a team of researchers in Australia. Their contribution was a formal specification language, Object-Z, which had immediate industrial impact, gained rapid international recognition, and then two decades later began to fade, along with some of its contemporaries, from the formal methods scene. This paper details the rise and fall of Object-Z from the perspective of two of its original developers.
- Published
- 2020
47. Las dos 'Tour Eiffel' de Vicente Huidobro: Sentidos icónicos y traducción de poesía visual
- Author
-
Núria d' Asprer Hernández de Lorenzo
- Subjects
Linguistics and Language ,Painting ,Literature and Literary Theory ,Poetry ,media_common.quotation_subject ,Visual poetry ,Art ,Eiffel ,Language and Linguistics ,Linguistics ,computer ,Iconicity ,Composition (language) ,computer.programming_language ,Contrastive analysis ,Plural ,media_common - Abstract
We will tackle the translation of visual poetry based on two examples selected from the avant-garde period (1918 and 1921 respectively), two poems written in French by Vicente Huidobro. The sense (in both its sensory and semantic aspect) and its relation to a plural and non-immanent conception of it will be examined through contrastive analysis of two visual poems, which, despite carrying the same title, Tour Eiffel, derive from very distinct composition processes. One of these examples shares features of the calligramatic genre, while exploiting analytical and synthetic techniques of Cubism (d'Asprer 2002); while the other combines painting and poetic writing, with the text inserted in a figurative background of thematic reference and where intense colour predominates. These two modalities of iconicity: secondary iconicity (in accordance with G. Sonesson's terminology), in the first case, and direct iconicity in the second, as well as some nuanced distinctions between imagic, diagrammatic and metaphoric iconicity (Peirce 1903), more sensitive to the plural and dynamic nature of the creative process and of significance, will serve as a basis for engaging in poetic and reflective translation (Berman 1985) and for analysing the process we have followed in elaborating it in Spanish.
- Published
- 2018
48. Engineer and Builder: Gustave Eiffel—Master of Iron Construction (1832–1923)
- Author
-
Bertrand Lemoine
- Subjects
Engineering ,business.industry ,Art history ,Building and Construction ,Eiffel ,business ,computer ,The arts ,Civil and Structural Engineering ,computer.programming_language - Abstract
1832Born on 15 December in Dijon, France1855Graduates with a degree in Civil Engineering from the Ecole Centrale des Arts et Manufactures, now known as the Ecole Centrale Paris1858Supervises the co...
- Published
- 2018
49. Diagnosis and Restoration of Four Remarkable Eiffel-Type Rail Viaducts
- Author
-
Cédric Lamarsaude, Christophe Raulet, Renaud Leconte, and Claire Defargues
- Subjects
Engineering ,business.industry ,Building and Construction ,Rail network ,Plan (drawing) ,Wrought iron ,Eiffel ,Construction engineering ,visual_art ,visual_art.visual_art_medium ,Project management ,business ,computer ,Civil and Structural Engineering ,computer.programming_language - Abstract
As part of the project management of the Auvergne rail plan carried out by the Societe d’etudes techniques et economiques (SETEC) on behalf of the French Rail Network (SNCFR, Societe Nationale des ...
- Published
- 2018
50. A Study on the Evolution in Design and Calculation of Iron and Steel Structures over the Mid 19th Century in Western and Central Europe
- Author
-
Henri Porcher, Luc Schueremans, Els Verstrynge, Barbara Rossi, Ine Wouters, and Architectural Engineering
- Subjects
Engineering ,Visual Arts and Performing Arts ,design calculations ,19th century ,0211 other engineering and technologies ,Steel structures ,02 engineering and technology ,Conservation ,Eiffel ,Civil engineering ,bridges ,021105 building & construction ,Architecture ,Forensic engineering ,021104 architecture ,service life ,computer.programming_language ,Admiration ,halls ,business.industry ,railway stations ,Test (assessment) ,metallic structures ,Subject - topic ,business ,Garabit ,computer - Abstract
The design of metallic structures in the 19th century is a subject topic of much admiration, as many emblematic structures that are currently withstanding the test of time have become part of our built cultural heritage. Knowledge on the assumptions and design procedures available at that time is of importance to structural engineering nowadays. It allows for the understanding, maintaining and safe extending of the service life of historical metallic structures. The goal of this article is to describe the evolution in the design and calculation of metallic structures during the second half of the 19th century, with focus on Western and Central Europe. Special attention is paid to the similarities and differences between the 19th century design rules and the current structural design standards. Based on a literature survey, the evolution in terms of load definition, calculation methods, material properties, and verifications are described. Different design aspects are illustrated through a case study: The Garabit viaduct in France
- Published
- 2018
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.