Publications related to Specified complexity

Smart acoustic lining for UHBR technologies engine: from the design of an electroacoustic metasurface to experimental characterization under flow

The SALUTE project aims at evaluating performance of electroacoustic metasurface, employing a surface array of controlled electroacoustic actuators, for smart acoustic lining under grazing turbulent flow to be used in UHBR Technologies Engines. Theoretical ...

Society of Photo-Optical Instrumentation Engineers (SPIE)2023

FANOK: Knockoffs in Linear Time

Quentin Rebjock

We describe a series of algorithms that efficiently implement Gaussian model-X knockoffs to control the false discovery rate on large-scale feature selection problems. Identifying the knockoff distribution requires solving a large-scale semidefinite progra ...

SIAM PUBLICATIONS2021

A Complexity Analysis Approach for Model-based System Engineering

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng, Jinwei Chen

With the increasing complexity of the highly engineered products, Model-based Systems Engineering (MBSE) is proposed to support the complexity management of the product development. As the basic of complexity management, complexity analysis is used to meas ...

IEEE2020

On Vacuous and Non-Vacuous Generalization Bounds for Deep Neural Networks

Konstantinos Pitas

Deep neural networks have been empirically successful in a variety of tasks, however their theoretical understanding is still poor. In particular, modern deep neural networks have many more parameters than training data. Thus, in principle they should over ...

EPFL2020

JESD204B Compliant 12.5 Gb/s LVDS and SST Transmitters in 28 nm FD-SOI CMOS

Andreas Peter Burg, Seyed Armin Tajalli, Yusuf Leblebici, Firat Çelik, Ayça Akkaya

JESD204B compliant low-voltage differential signaling (LVDS), and source-series-terminated (SST) transmitters in 28 nm FD-SOI CMOS technology are presented with 1.1 pJ/bit and 1.7 pJ/bit at 12.5 Gb/s, respectively. An external 6.25 GHz single-ended clock, ...

IEEE2019

MPA-SSA, design and test of a 65 nm ASIC-based system for particle tracking at HL-LHC featuring on-chip particle discrimination

Yusuf Leblebici, Alessandro Caratelli, Davide Ceresa, Simone Scarfì

Particle tracking detectors for High Energy Physics need a new readout technique to cope with the increase of the collision rate foreseen for the High Luminosity LHC upgrade. In particular, the selection of interesting physics events at the first trigger s ...

IEEE2019

Security of Distance-Bounding: A Survey

Serge Vaudenay, Gildas Avoine, Martin Benjamin, Ioana Cristina Carlson, Srdan Capkun, Aslan Tchamkerten

Distance-bounding protocols allow a verifier to both authenticate a prover and evaluate whether the latter is located in his vicinity. These protocols are of particular interest in contactless systems, e.g. electronic payment or access control systems, whi ...

2018

Anomalies in Scheduling Control Applications and Design Complexity

Amir Aminifar

Today, many control applications in cyberphysical systems are implemented on shared platforms. Such resource sharing may lead to complex timing behaviors and, in turn, instability of control applications. This paper highlights a number of anomalies demonst ...

Ieee2017

Exploiting Satisfiability Solvers for Efficient Logic Synthesis

Ana Petkovska

Logic synthesis is an important part of electronic design automation (EDA) flows, which enable the implementation of digital systems. As the design size and complexity increase, the data structures and algorithms for logic synthesis must adapt and improve ...

EPFL2017

Compact Lensless Phase Imager

Michaël Unser, Ferréol Arnaud Marie Soulez

Lensless quantitative phase imaging is of high interest for obtaining a large field of view (FOV), typically the size of the camera chip, to observe biological cell material with high contrast. It has the potential to be widely spread due to its inherent s ...

2017

Introduction to the IRGC Risk Governance Framework

Marie-Valentine Renée Agnès Florin, Marcel Thomas Bürkler

The IRGC Framework recommends a holistic, multidisciplinary and multistakeholder approach to risk. It supports processes that aim to provide and structure scientific evidence about a risk in a societal context. It helps decision-makers analyse the major am ...

EPFL2017

Reducing circuit design complexity for neuromorphic machine learning systems based on Non-Volatile Memory arrays

Yusuf Leblebici, Alessandro Fumarola

Machine Learning (ML) is an attractive application of Non-Volatile Memory (NVM) arrays [1,2]. However, achieving speedup over GPUs will require minimal neuron circuit sharing and thus highly area-efficient peripheral circuitry, so that ML reads and writes ...

2017

Fragmentation in Time-of-Flight Spectrometry-Based Calculations of Ionic Electrospray Thruster Performance

Herbert Shea, Daniel George Courtney

A method has been presented for accounting for ion fragmentation that occurs within the nonzero field of an ionic electrospray thruster. Given the complexities associated with direct thrust measurements, indirect means (and time-of-flight (TOF) in particul ...

American Institute of Aeronautics and Astronautics2015

Hexagonal Class Representation for Fingerprinting and Facile Comparison of Petroleomic Samples

Yury Tsybin, Anton Kozhinov, Konstantin Zhurov

Because of the high complexity of petroleomic-type samples, there is a need for efficient ways of visualizing and interpreting the resulting data in mass spectrometry-based petroleomics. Over the years, several graphing approaches have become widespread, y ...

Amer Chemical Soc2013

Development process for clusters on a reconfigurable chip

Jaime Joven Murillo

Reconfigurable MPSoCs (Multiprocessor System-on-Chip) could be viable for certain applications niche where the flexibility of FPGAs (Field-Programmable Gate Array) and software is needed, and a small number of units dismiss other silicon options. However, ...

2012

A Speculation-Friendly Binary Search Tree

Vincent Gramoli

We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-speculative) accesses to have a bounded complexity. Researchers tried to evaluate t ...

Assoc Computing Machinery2012

Sub-Logarithmic Test-and-Set Against a Weak Adversary

Dan Alistarh

A randomized implementation is given of a test-and-set register with O(log log it) individual step complexity and O(n) total step complexity against an oblivious adversary. The implementation is linearizable and multi-shot, and shows an exponential complex ...

Springer-Verlag Berlin2011

Optimal-Time Adaptive Strong Renaming, with Applications to Counting

Seth Gilbert, Dan Alistarh, Morteza Zadimoghaddam

We give two new randomized algorithms for tight renaming, both of which work against an adaptive adversary. The first uses repeated sampling over a sequence of arrays of decreasing size to assign unique names to each of

n

processes with step complexity $ ...

Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2011

Integrated schedule planning with supply-demand interactions for a new generation of aircrafts

Michel Bierlaire, Matteo Salani, Bilge Atasoy

We present an integrated schedule planning model where the décisions of schedule design, fleeting and pricing are made simultaneously. Pricing is integrated through a logit demand model where itinerary choice is modeled by defining the utilities of the alt ...

2012

Physical Design Issues in 3-D Integrated Technologies

Vasileios Pavlidis

Design techniques for three-dimensional (3-D) ICs considerably lag the significant strides achieved in 3-D manufacturing technologies. Advanced design methodologies for 2-D circuits are not sufficient to manage the added complexity caused by the third dime ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2010