Langage de programmation

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation

Publications associées (11)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Dataset for "Complexity of crack front geometry enhances toughness of brittle solids"

John Martin Kolinski, Chenzhuo Li, Xinyue Wei

This data package supports the publication 'Complexity of crack front geometry enhances toughness of brittle solids' by Xinyue Wei, Chenzhuo Li, Cían McCarthy, and John M. Kolinski Nature physics (2024) - https://doi.org/10.1038/s41567-024-02435-x DOI: 1 ...

Zenodo2024

Artist Residencies for Innovation: Development of a Global Framework

Nicolas Henchoz, Tania Moreira

Artists can play a major role in the success of innovation. The European program STARTS aims to increase their impact in high-tech environments. An international consortium has the mission to implement 45 residencies and set a complete framework for such p ...

ASSOC COMPUTING MACHINERY2019

Design and Performance Evaluation of an Algorithm Based on Source Term Estimation for Odor Source Localization

Alcherio Martinoli, Ali Marjovi, Faezeh Rahbar

Finding sources of airborne chemicals with mobile sensing systems finds applications across safety, security, environmental monitoring, and medical domains. In this paper, we present an algorithm based on Source Term Estimation for odor source localization ...

2019

Reinforcing Civil Engineering Curricula With Courses Including Project-Based Software Applications

Gerard Guell Bartrina

Civil engineering (CE) is one of the broadest engineering fields, if not the most, and requires undergraduate students to be exposed to a variety of topics; each can be easily recognized as a major in its own. Establishing a successful curriculum is a majo ...

IATED-INT ASSOC TECHNOLOGY EDUCATION & DEVELOPMENT2018

Prototyping Symbolic Execution Engines for Interpreted Languages

George Candea, Johannes Kinder, Stefan Bucur

Symbolic execution is being successfully used to automatically test statically compiled code. However, increasingly more systems and applications are written in dynamic interpreted languages like Python. Building a new symbolic execution engine is a monume ...

ACM2014

An Efficient Manipulation Package for Biconditional Binary Decision Diagrams

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

Biconditional Binary Decision Diagrams (BBDDs) are a novel class of binary decision diagrams where the branching condition, and its associated logic expansion, is biconditional on two variables. Reduced and ordered BBDDs are remarkably compact and unique f ...

IEEE2014

A 2D/3D image analysis system to track fluorescently labeled structures in rod-shaped cells: application to measure spindle pole asymmetry during mitosis

Michaël Unser, Daniel Sage, Viesturs Simanis, Daniel Andreas Schmitter, Anastasia Chasapi, Ioannis Xenarios

Background: The yeast Schizosaccharomyces pombe is frequently used as a model for studying the cell cycle. The cells are rod-shaped and divide by medial fission. The process of cell division, or cytokinesis, is controlled by a network of signaling proteins ...

Biomed Central Ltd2013

An Integrated Framework for Improving the Quality and Reliability of Software Upgrades

Olivier Crameri

Despite major advances in the engineering of maintainable and robust software over the years, upgrading software remains a primitive and error-prone activity. In this dissertation, we argue that several problems with upgrading software are caused by a poor ...

EPFL2011

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

Martin Odersky, Tiark Rompf

Software engineering demands generality and abstraction, performance demands specialization and concretization. Generative programming can provide both, but the effort required to develop high-quality program generators likely offsets their benefits, even ...

2010

Sensors and packages based on LTCC and thick-film technology for severe conditions

Peter Ryser, Thomas Maeder, Caroline Jacq

Reliable operation in harsh environments such as high temperatures, high pressures, aggressive media and space, poses special requirements for sensors and packages, which usually cannot be met using polymer-based technologies. Ceramic technologies, especia ...

2009

Page 1 sur 2

A 2D/3D image analysis system to track fluorescently labeled structures in rod-shaped cells: application to measure spindle pole asymmetry during mitosis

Michaël Unser, Daniel Sage, Viesturs Simanis, Daniel Andreas Schmitter, Anastasia Chasapi, Ioannis Xenarios

Biomed Central Ltd2013