Classe (informatique)

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

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (21)

Feature optimization for atomistic machine learning yields a data-driven construction of the periodic table of the elements

Michele Ceriotti, Félix Benedito Clément Musil, Michael John Willatt

Machine-learning of atomic-scale properties amounts to extracting correlations between structure, composition and the quantity that one wants to predict. Representing the input structure in a way that best reflects such correlations makes it possible to im ...

2018

Composable Method for Explicit Power Flow Control in Electrical Grids

Jean-Yves Le Boudec, Mario Paolone, Andrey Bernstein

A power flow control system for an interconnected power system, the interconnected power system comprising a plurality of electrical subsystems; an abstract framework configured to work as a utility maximiser under constraints (that applies to the electric ...

2016

Structural to functional synaptic conversion

Henry Markram, Sean Lewis Hill, Eilif Benjamin Muller, Michael Reimann, James Gonzalo King, Felix Schürmann

Computer-implemented methods, software, and systems for determining functional synapses from given structural touches between cells in a neuronal circuit are described. One computer-implemented method for determining functional synapses from predetermined ...

Technology Transfer Office EPFL2015

Search Techniques for Code Generation

Tihomir Gvero

This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...

EPFL2015

Isolates, channels, and event streams for composable distributed programming

Martin Odersky, Aleksandar Prokopec

The actor model has been a model of choice for building reliable distributed systems. On one hand, it ensures that message-processing is serialized within each actor, preserving the familiar sequential programming model. On the other hand, programs written ...

ACM2015

Glazing with embedded microstructures for daylighting and seasonal thermal control

Andreas Schueler, André Gabriel Kostro, Josef Andreas Schuler

A glazing for daylighting and seasonal thermal control, the glazing including a pane defined between an outside-oriented interface and an inside-oriented interface, the pane comprising a first component and a second component, wherein the first component h ...

2015

Code-Pointer Integrity

George Candea, Volodymyr Kuznetsov, Mathias Josef Payer

Systems code is often written in low-level languages like C/C++, which offer many benefits but also delegate memory management to programmers. This invites memory safety bugs that attackers can exploit to divert control flow and compromise the system. Depl ...

2014

Distributor of neurons in a neocortical column

Henry Markram, Felix Schürmann, Georges Khazen, Martin Telefont

Computer-implemented methods, software, and systems for determining a distribution of neuronal cells across a portion of a brain are described. One computer-implemented method for determining a target distribution of one or more neuronal cells across a por ...

2014

What are the Odds? Probabilistic programming in Scala

Tiark Rompf, Nada Amin, Sandro Stucki, Manohar Jonnalagedda

Probabilistic programming is a powerful high-level paradigm for probabilistic modeling and inference. We present Odds, a small domain-specific language (DSL) for probabilistic programming, embedded in Scala. Odds provides first-class support for random var ...

ACM2013

Scala Macros: Let Our Powers Combine!

Eugene Burmako

Compile-time metaprogramming has been proven immensely useful enabling programming techniques such as language virtualization, embedding of external DSLs, self-optimization, and boilerplate generation amongst many others. In the recent production release o ...

2013

Page 2 sur 3