Publications associées à Style de programmation

Exploiting the Signal-Leak Bias in Diffusion Models

Sabine Süsstrunk, Radhakrishna Achanta, Mahmut Sami Arpa, Martin Nicolas Everaert, Athanasios Fitsios

There is a bias in the inference pipeline of most diffusion models. This bias arises from a signal leak whose distribution deviates from the noise distribution, creating a discrepancy between training and inference processes. We demonstrate that this signa ...

2024

Challenges and Opportunities in Integrating Interactive Chatbots into Code Review Exercises: A Pilot Case Study

Denis Gillet, Juan Carlos Farah, Adrian Christian Holzer

While chatbots are commonly used to support software developers with repetitive tasks, their use in programming education is still limited, particularly for students in non-technical domains. To better understand the potential for chatbots to support progr ...

IATED2022

Method for patterning a thin film of a solid material

Jürgen Brugger, Giovanni Boero, Xia Liu, Ana Conde Rubio, Samuel Tobias Howell

A method for patterning a thin film of (a) solid material(s), comprising the steps of providing a thin film of said solid material(s) onto a substrate, said substrate being deformable by heat and indentation; and performing a thermo-mechanical indentation ...

2021

CafeSat: a Modern SAT Solver for Scala

Régis William Blanc

We present CafeSat, a SAT solver written in the Scala programming language. CafeSat is a modern solver based on DPLL and featuring many state-of-the-art techniques and heuristics. It uses two-watched literals for Boolean constraint propagation, conflict-dr ...

ACM Press2013

Probing nanomechanical properties from biomolecules to living cells

Giovanni Dietler, Sandor Kasas

Atomic force microscopy is being increasingly used to explore the physical properties of biological structures. This technique involves the application of a force to the sample and a monitoring of the ensuing deformation process. The available experimental ...

Springer-Verlag2008

Model refactoring using transformations

Slavisa Markovic

Modern software is reaching levels of complexity encountered in biological systems; sometimes comprising systems of systems each of which may include tens of millions of lines of code. Model Driven Engineering (MDE) advocates raising the level of abstracti ...

EPFL2008

Damage evolution in coated cemented carbides under compressive contact loads

Maria-Simona Moldovan

This work deals principally with two important issues and their interrelation: the evolution of damage in coated cemented carbide tools used for cold forming, and the assessment of mechanical behavior of cemented carbides under compressive contact loads. D ...

EPFL2008

A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

Slavisa Markovic

Refactoring is a powerful technique to improve the quality of software models including implementation code. The software developer applies successively so-called refactoring rules on the current software model and transforms it into a new model. Ideally, ...

2006