Publications related to Block Oriented Programming: Automating Data-Only Attacks

Measurement Scheduling for Cooperative Localization in Resource-Constrained Conditions

This letter studies the measurement scheduling problem for a group of

N

mobile robots moving on a flat surface that are preforming cooperative localization (CL). We consider a scenario in which due to the limited on-board resources such as battery life a ...

2020

A Computational Method for Identifying the Optimum Buffer Size in the Era of Zero Defect Manufacturing

Ali Boujemaoui

Decreasing defects, waste time, meeting customer demand and being adaptable are the goals of a Zero Defect Manufacturing (ZDM) strategy. Scheduling is an important tool to perform that. It should take in account buffer size allocation. In this study, a met ...

SPRINGER INTERNATIONAL PUBLISHING AG2020

Design of a quality control network for an international food company

Philippe Wieser, Nicolas Zufferey, Simone Lydia Voldrich

In this article, the design of a quality control network is considered in an entire supply chain, in the context of an international food and beverage company, denoted as ABC. For each possible control point of the network, two decisions have to be made: ( ...

TAYLOR & FRANCIS INC2020

Second-order guarantees in centralized, federated and decentralized nonconvex optimization

Ali H. Sayed, Stefan Vlaski

Rapid advances in data collection and processing capabilities have allowed for the use of increasingly complex models that give rise to nonconvex optimization problems. These formulations, however, can be arbitrarily difficult to solve in general, in the s ...

INT PRESS BOSTON, INC2020

New Results in Integer and Lattice Programming

Christoph Hunkenschröder

An integer program (IP) is a problem of the form

\min \{f(x) : \, Ax = b, \ l \leq x \leq u, \ x \in \Z^n\}

, where

A \in \Z^{m \times n}

,

b \in \Z^m

,

l,u \in \Z^n

, and

f: \Z^n \rightarrow \Z

is a separable convex objective function. The problem o ...

EPFL2020

Perovskite Flash Memory with a Single-Layer Nanofloating Gate

Mohammad Khaja Nazeeruddin, Peng Gao, Hobeom Kim

Here we use triple-cation metal-organic halide perovskite single crystals for the transistor channel of a flash memory device. Moreover, we design and demonstrate a 10 nm thick single-layer nanofloating gate. It consists of a ternary blend of two organic s ...

2020

mu RAI: Securing Embedded Systems with Return Address Integrity

Mathias Josef Payer

Embedded systems are deployed in security critical environments and have become a prominent target for remote attacks. Microcontroller-based systems (MCUS) are particularly vulnerable due to a combination of limited resources and low level programming whic ...

INTERNET SOC2020

Sparsity Invariance for Convex Design of Distributed Controllers

Maryam Kamgarpour, Luca Furieri, Yu Zheng

We address the problem of designing optimal linear time-invariant (LTI) sparse controllers for LTI systems, which corresponds to minimizing a norm of the closed-loop system subjected to sparsity constraints on the controller structure. This problem is NP-h ...

2020

Personalizable intervention systems to promote healthy behavior change

Igor Kulev

Adopting healthy behaviors can prevent the onset of many adverse health conditions. However, behavior changes are difficult to make, and often, people who like to improve their behaviors do not know how to do that. Personalizable intervention systems could ...

EPFL2020

Boolean satisfiability in quantum compilation

Giovanni De Micheli, Mathias Soeken, Fereshte Mozafari Ghoraba, Heinz Riener, Giulia Meuli, Bruno Schmitt Antunes

Quantum compilation is the task of translating a quantum algorithm implemented in a high-level quantum programming language into a technology-dependent instructions flow for a physical quantum computer. To tackle the large gap between the quantum program a ...

ROYAL SOC2020

Block Oriented Programming: Automating Data-Only Attacks

Graph Chatbot

Chat with Graph Search

Measurement Scheduling for Cooperative Localization in Resource-Constrained Conditions

A Computational Method for Identifying the Optimum Buffer Size in the Era of Zero Defect Manufacturing

Design of a quality control network for an international food company

Second-order guarantees in centralized, federated and decentralized nonconvex optimization

New Results in Integer and Lattice Programming

Perovskite Flash Memory with a Single-Layer Nanofloating Gate

mu RAI: Securing Embedded Systems with Return Address Integrity

Sparsity Invariance for Convex Design of Distributed Controllers

Personalizable intervention systems to promote healthy behavior change

Boolean satisfiability in quantum compilation

New Results in Integer and Lattice Programming

Design of a quality control network for an international food company

mu RAI: Securing Embedded Systems with Return Address Integrity

Sparsity Invariance for Convex Design of Distributed Controllers

Boolean satisfiability in quantum compilation

Personalizable intervention systems to promote healthy behavior change

Measurement Scheduling for Cooperative Localization in Resource-Constrained Conditions

Perovskite Flash Memory with a Single-Layer Nanofloating Gate

A Computational Method for Identifying the Optimum Buffer Size in the Era of Zero Defect Manufacturing

Second-order guarantees in centralized, federated and decentralized nonconvex optimization