Publications related to Anonymous function

Aligning Multilingual Word Embeddings for Cross-Modal Retrieval Task

Karl Aberer, Rémi Philippe Lebret, Alireza Mohammadshahi

In this paper, we propose a new approach to learn multimodal multilingual embeddings for matching images and their relevant captions in two languages. We combine two existing objective functions to make images and captions close in a joint embedding space ...

Association for Computational Linguistics2019

Mobility Degradation of 28-nm Bulk MOSFETs Irradiated to Ultrahigh Total Ionizing Doses

Christian Enz, Farzan Jazaeri, Chunmin Zhang

Using the Y-function method, this paper experimentally investigates the effects of total ionizing dose up to 1 Grad on the channel mobility of a commercial 28-nm bulk CMOS process. ...

IEEE2018

Double gate n-type WSe2 FETs with high-k top gate dielectric and enhanced electrostatic control

Mihai Adrian Ionescu, Emanuele Andrea Casu, Matteo Cavalieri, Nicolò Oliva

We propose and experimentally demonstrate double-gated n-type WSe 2 FETs with excellent top gate high-k dielectric layer. Under back gate control, the devices behave as n-type enhancement transistors, with ON/OFF current ratios larger than 6 orders of magn ...

IEEE2018

Classifying Functions with Exact Synthesis

Giovanni De Micheli, Mathias Soeken, Eleonora Testa, Winston Jason Haaswijk

Due to recent advances, constraint solvers have become efficient tools for synthesizing optimum Boolean circuits. We take advantage of this by showing how SAT based exact synthesis may be used as a method for finding minimum length Boolean chains. As oppos ...

IEEE2017

Studies of charmed strange baryons in the Lambda D final state at Belle

Olivier Schneider, Yiming Li, Chao Wang, Ho Ling Li, Sun Hee Kim, Tara Nanut, Jun Yong Kim, Ji Hyun Kim, Donghyun Kim, Dipanwita Dutta

We report the discovery of Xi(c)(3055)(0), observed by its decay into the final-state Lambda D-0, and present the first observation and evidence of the decays of Xi(c)(3055)(+) and Xi(c)(3080)(+) into Lambda D+. We also perform a combined analysis of the L ...

Amer Physical Soc2016

Note on the relation between profile scalelengths and lambda's

Olivier Sauter

The calculation of the inverse scalelengths

R/L_T

,

R/L_n

may depend on the choice of the radial variable, depending on the definition of the scalelength. The value of

\lambda_T

and

\lambda_n

, as defined in [O. Sauter {\it et al}, Phys. Plasmas {\bf ...

SPC-EPFL2016

On Counter-Example Complete Verification for Higher-Order Functions

Viktor Kuncak, Etienne Kneuss, Nicolas Charles Yves Voirol

We present a verification procedure for pure higher-order functional Scala programs with parametric types. We show that our procedure is sound for proofs, as well as sound and complete for counter-examples. The procedure reduces the analysis of higher-orde ...

2015

IT Service Alignment Verification of Quantitative Properties in Service Design

Alain Wegmann, Gorica Tapandjieva Sekulovska

Despite many years of research, alignment of business and IT services remains a challenge. In this paper we show how to verify the quantitative properties of a service against stakeholder requirements during service design. We model the service with the Sy ...

2015

Language Support for Distributed Functional Programming

Software development has taken a fundamental turn. Software today has gone from simple, closed programs running on a single machine, to massively open programs, patching together user experiences byway of responses received via hundreds of network requests ...

EPFL2015

Fully automatic assignment of small molecules' NMR spectra without relying on chemical shift predictions

Luc Patiny, Julien Wist, Andrés Mauricio Castillo Robles

We present a method for the automatic assignment of small molecules' NMR spectra. The method includes an automatic and novel self-consistent peak-picking routine that validates NMR peaks in each spectrum against peaks in the same or other spectra that are ...

Wiley-Blackwell2015

Anonymous function

Graph Chatbot

Chat with Graph Search

Aligning Multilingual Word Embeddings for Cross-Modal Retrieval Task

Mobility Degradation of 28-nm Bulk MOSFETs Irradiated to Ultrahigh Total Ionizing Doses

Double gate n-type WSe2 FETs with high-k top gate dielectric and enhanced electrostatic control

Classifying Functions with Exact Synthesis

Studies of charmed strange baryons in the Lambda D final state at Belle

Note on the relation between profile scalelengths and lambda's

On Counter-Example Complete Verification for Higher-Order Functions

IT Service Alignment Verification of Quantitative Properties in Service Design

Language Support for Distributed Functional Programming

Fully automatic assignment of small molecules' NMR spectra without relying on chemical shift predictions

Language Support for Distributed Functional Programming

Aligning Multilingual Word Embeddings for Cross-Modal Retrieval Task

On Counter-Example Complete Verification for Higher-Order Functions

IT Service Alignment Verification of Quantitative Properties in Service Design

Note on the relation between profile scalelengths and lambda's

Classifying Functions with Exact Synthesis

Studies of charmed strange baryons in the Lambda D final state at Belle

Fully automatic assignment of small molecules' NMR spectra without relying on chemical shift predictions

Double gate n-type WSe2 FETs with high-k top gate dielectric and enhanced electrostatic control

Mobility Degradation of 28-nm Bulk MOSFETs Irradiated to Ultrahigh Total Ionizing Doses