Publications related to Microsoft BASIC

AIFORE: Smart Fuzzing Based on Automatic Input Format Reverse Engineering

Mathias Josef Payer, Zhiyao Feng, Chunmin Zhang, Ji Shi

Knowledge of a program's input format is essential for effective input generation in fuzzing. Automated input format reverse engineering represents an attractive but challenging approach to learning the format. In this paper, we address several challenges ...

Usenix Assoc2023

The DCU-EPFL Enhanced Dependency Parser at the IWPT 2021 Shared Task

James Henderson, Alireza Mohammadshahi

We describe the DCU-EPFL submission to the IWPT 2021 Parsing Shared Task: From Raw Text to Enhanced Universal Dependencies. The task involves parsing Enhanced UD graphs, which are an extension of the basic dependency trees designed to be more facilitative ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2021

Delineation of the Critical Parameters of Salt Catalysts in the N-Formylation of Amines with CO2

Paul Joseph Dyson, Daniel Ortiz Trujillo, Martin Hulla, Dmitry Vasilyev

N-formylation of amines with CO2 is base-catalyzed and studies of salt catalysts reveal that the reaction is efficiently catalyzed by "free" floating anions of high basicity, as represented in the cover image. More information can be found in the Full Pape ...

WILEY-V C H VERLAG GMBH2019

Organocatalysts in C-N Bond Forming Reactions of Amines with CO2

Martin Hulla

The thesis describes a simple approach for N-formylation of amines with CO2 and hydrosilane reducing agents, the use of organic salts as N-formylation catalysts, their physical properties required for high catalytic activity and their role in the catalytic ...

EPFL2019

Progress in modelling solidification microstructures in metals and alloys: dendrites and cells from 1700 to 2000

Wilfried Kurz

This is the first account of the history of our understanding of, and ability to model, solidification microstructures. Its objective is to retrace the scientific steps made, from the earliest observations of the eighteenth century to our present-day under ...

TAYLOR & FRANCIS LTD2019

A Fault Tolerant Ripple-Carry Adder with Controllable-Polarity Transistors

Giovanni De Micheli, Jian Zhang, Pierre-Emmanuel Julien Marc Gaillardon, Hassan Ghasemzadeh Mohammadi

This paper deals with the effects of faults on circuits implemented with controllable-polarity transistors. We propose a new fault model that suits the characteristics of these devices, and report the results of a SPICE-based analysis of the effects of fau ...

2016

On the Design of a Fault Tolerant Ripple-Carry Adder with Controllable-Polarity Transistors

Giovanni De Micheli, Eduardo Sanchez, Jian Zhang, Pierre-Emmanuel Julien Marc Gaillardon, Hassan Ghasemzadeh Mohammadi

This paper first explores the effects of faults on circuits implemented with controllable-polarity transistors. We propose a new fault model that suits the characteristics of these devices, and report the results of a SPICE-based analysis of the effects of ...

IEEE2015

Artificial Photosynthesis with Semiconductor-Liquid Junctions

Kevin Sivula, Nestor Guijarro Carratala, Florian Le Formal

Given the urgent need to develop a sustainable, carbon neutral energy storage system on a global scale, intense efforts are currently underway to advance the field of artificial photosynthesis: i.e. solar fuel engineering. In this review we give an overvie ...

Schweizerische Chemische Gesellschaft2015

(Arene)ruthenium Complexes with Imidazolin-2-imine and Imidazolidin-2-imine Ligands

Rosario Scopelliti, Kay Severin, Justus Tönnemann

Imidazolin-2-imine and imidazolidin-2-imine ligands are versatile N donors in transition metal chemistry. Here, we describe the synthesis and characterization of (arene)Ru complexes with these ligands. Simple adducts of the type [(p-cymene)Ru(L)Cl-2] (L = ...

Wiley-Blackwell2014

A Situated Approach to Systems Based Modeling of Services

Anshuman Bahadur Saxena

Situatedness refers to the imagery that conceptualization invokes. The image, as a whole, provides the context for interpreting the relevance of the categories revealed in the image. At a basic level of conceptualization, the causal relevance of an observe ...

2013

A Situated Approach to Systems Based Modeling of Services

Alain Wegmann, Anshuman Bahadur Saxena

Situatedness refers to the imagery that a conceptualization invokes. The image, as a whole, provides the context for interpreting the relevance of the categories revealed in the image. At a basic level of conceptualization, the conceptual relevance of an o ...

Ieee2013

Querypoint Debugging (Semi-Automated Inspection of Buggy Execution)

Salman Mirghasemi

Debugging is a hard and time-consuming programming task that appears in the most stages of software development and maintenance. Therefore, any improvement in the debugging practice can significantly reduce the time and costs of software production. In thi ...

EPFL2012

An old tool and a new challenge for depicting antenna array radiation patterns

Juan Ramon Mosig

This paper is intended for teachers and students dealing with antenna engineering. Graphical tools have historically been used for illustrating many basic features of radiation patterns, such as the position and number of secondary lobes, null angles, and ...

Institute of Electrical and Electronics Engineers2011

Infinite integrals with the weighted averages algorithm

Juan Ramon Mosig, Athanasios Polymeridis

A new version of the weighted averages (WA) algorithm, called generalized WA, is introduced. Generalized WA exhibit a more compact formulation, devoid of iterative and recursive steps, and a wider range of applications. It is more robust, as it provides a ...

2011

Self-Adaptive Attractor-Shaping for Oscillators Networks

Max-Olivier Hongler, Julio Rodriguez, Philippe Blanchard

We consider a network of N coupled limit cycle oscillators, each having a set of control parameters Λ_k, k = 1, . . . , N, that controls the frequency and the geometry of the limit cycle. We implement a self-adaptive mechanism that drives the local systems ...

2011

Enhancement of e-learning in geomatics by the integration of dynamic mathematics' tools

Pierre-Yves Gilliéron, Arnaud Deshogues

The Swiss Federal Institute of Technology in Lausanne (EPFL) has introduced a Learning Management System (LMS) based on Moodle. This trend was a source of motivation for our teaching staff who have initiated a project called Exomatic for the enhancement of ...

ISPRS2010

Distributed and Component Oriented Tools for Communication Networks Using Web Services

Sébastien Rumley, Christian Gaumier, Christophe Trefois

Modern communication networks are reaching a high level of complexity. As their global dimensioning and performance evaluation are very hard tasks, a multi-layer approach is generally applied to divide them in smaller problems easier to tackle. Within this ...

ARGESIM2007

Small-signal characteristics of AlInN/GaN HEMTs

Nicolas Grandjean, Jean-François Carlin, Marcel Py, Marcus Gonschorek

DC and RF measurements of an emerging AIInN/GaN high electron mobility transistor (HEMT) technology for power performances are reported. High electron transport properties in this structure attributed to the material quality are demonstrated. Indeed, in sp ...

2006

Power spectra of random spikes and related complex signals : with application to communications

Andrea Ridolfi

"Random spikes" belong to the common language used by engineers, physicists and biologists to describe events associated with time records, locations in space, or more generally, space-time events. Indeed, data and signals consisting of, or structured by, ...

EPFL2005

Spark assisted chemical engraving (SACE) in microfactory

Hannes Bleuler, Rolf Wüthrich

Spark assisted chemical engraving (SACE) is a method for 3D microstructuring of glass or other non-conductive materials with high aspect ratio and smooth surface quality. It is applicable for rapid prototyping of microfluidic devices, for MEMS interfacing ...

2005