Publications associées à BASIC Microsoft

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