Publications related to Chicken (Scheme implementation)

Sufficient Conditions for Feasibility and Optimality of Real-Time Optimization Schemes - I. Theoretical Foundations

Dominique Bonvin, Grégory François, Gene Bunin

The idea of iterative process optimization based on collected output measurements, or "real-time optimization" (RTO), has gained much prominence in recent decades, with many RTO algorithms being proposed, researched, and developed. While the essential goal ...

arXiv:1308.2620 [math.OC]2013

A Distributed Polling with Probabilistic Privacy

Rachid Guerraoui, Florian Huc, Yahya Benkaouz

In this paper, we present PDP, a distributed polling protocol that enables a set of participants to gather their opinion on a common interest without revealing their point of view. PDP does not rely on any centralized authority or on heavyweight cryptograp ...

2013

Coding schemes for broadcast erasure channels with feedback: the two multicast case

Christina Fragouli, Efe Onaran

We consider the single hop broadcast packet erasure channel (BPEC) with two multicast sessions (each of them destined to a different group of

N

users) and regularly available instantaneous receiver ACK/NACK feedback. Using the insight gained from recent ...

2013

Application of Power Time-Projection on the Operator Splitting Coupling Scheme of the TRACE/S3K Coupled Code

Rakesh Chawla, Hakim Ferroukhi, Damar Canggih Wicaksono, Omar Zerkak

This paper reports refinement studies on the temporal coupling scheme and time-stepping management of TRACE/S3K, a dynamically coupled code version of the thermal-hydraulics system code TRACE and the 3D core simulator Simulate-3K. The studies were carried ...

American Nuclear Society2013

High-energy terahertz pulses from organic crystals: DAST and DSTMS pumped at Ti:sapphire wavelength

Christoph Peter Hauri

High-energy terahertz pulses are produced by optical rectification (OR) in organic crystals 4-dimethylamino-N-methyl-4-stilbazolium tosylate (DAST) and 4-N,N-dimethylamino-4'-N'-methyl-stilbazolium 2,4,6-trimethylbenzenesulfonate (DSTMS) by a Ti: sapphire ...

Optical Soc Amer2013

Masking vs. Multiparty Computation: How Large Is the Gap for AES?

Sebastian Faust

In this paper, we evaluate the performances of state-of-the art higher-order masking schemes for the AES. Doing so, we pay a particular attention to the comparison between specialized solutions introduced exclusively as countermeasures against side-channel ...

2013

Multichannel Blind Deconvolution Using Low-rank and Sparse Decomposition

Pierre Vandergheynst, Mahdad Hosseini Kamal

Multiple images of the same scene improve the result of multichannel blind deconvolution problem. However, existing techniques require alignment of channels. We define a multichannel deconvolution scheme for highly correlated images to estimated the blur k ...

2013

Deprecating the Observer Pattern with Scala.React

Martin Odersky, Ingo Maier

Programming interactive systems by means of the observer pattern is hard and error-prone yet is still the implementation standard in many production environments. We show how to integrate different reactive programming abstractions into a single framework ...

2012

Software Synthesis Procedures

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they should succ ...

2012

Comparison of Six Implicit Real-Time Optimization Schemes

Dominique Bonvin, Grégory François

Real-time optimization (RTO) is a class of methods that use measurements to reject the effect of uncertainty on optimal performance. This article compares six implicit RTO schemes, that is, schemes that implement optimality not through numerical optimizati ...

Lavoisier2012

Chicken (Scheme implementation)

Graph Chatbot

Chat with Graph Search

Sufficient Conditions for Feasibility and Optimality of Real-Time Optimization Schemes - I. Theoretical Foundations

A Distributed Polling with Probabilistic Privacy

Coding schemes for broadcast erasure channels with feedback: the two multicast case

Application of Power Time-Projection on the Operator Splitting Coupling Scheme of the TRACE/S3K Coupled Code

High-energy terahertz pulses from organic crystals: DAST and DSTMS pumped at Ti:sapphire wavelength

Masking vs. Multiparty Computation: How Large Is the Gap for AES?

Multichannel Blind Deconvolution Using Low-rank and Sparse Decomposition

Deprecating the Observer Pattern with Scala.React

Software Synthesis Procedures

Comparison of Six Implicit Real-Time Optimization Schemes

A Distributed Polling with Probabilistic Privacy

Application of Power Time-Projection on the Operator Splitting Coupling Scheme of the TRACE/S3K Coupled Code

Sufficient Conditions for Feasibility and Optimality of Real-Time Optimization Schemes - I. Theoretical Foundations

Coding schemes for broadcast erasure channels with feedback: the two multicast case

High-energy terahertz pulses from organic crystals: DAST and DSTMS pumped at Ti:sapphire wavelength

Masking vs. Multiparty Computation: How Large Is the Gap for AES?

Software Synthesis Procedures

Deprecating the Observer Pattern with Scala.React

Comparison of Six Implicit Real-Time Optimization Schemes

Multichannel Blind Deconvolution Using Low-rank and Sparse Decomposition