Succinct ordering and aggregation constraints in algebraic array theories
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
We prove an NP upper bound on a theory of integer-indexed integer-valued arrays that extends combi- natory array logic with an ordering relation on the index set and the ability to express sums of elements. We compare our fragment with seven other fragment ...
An insertion device (100; 100') for inserting a retinal prosthesis (200) into the eye of a patient comprises: a handle portion (1; 1') arranged to be grasped by a user of the insertion device (100; 100'), a cannula element (12; 12') arranged to be inserted ...
We show that Cutting Planes (CP) proofs are hard to find: Given an unsatisfiable formula F, It is -hard to find a CP refutation of F in time polynomial in the length of the shortest such refutation; and unless Gap-Hitting-Set admits a nontrivial algorithm, ...
Prof. Laloui gave an interview with RTS about the status of geothermal energy in Switzerland in relation to its progression in other countries. Prof. Laloui discussed how the challenges associated with geothermal energy are primarily technical and how the ...
Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...
The concept of resilience has been applied within a wide spectrum of disciplines and has become increasingly relevant for interdisciplinary research. The interdisciplinary use of the concept can be linked to the fact that the conceptualization of resilienc ...
The concept of resilience has been applied within a wide spectrum of disciplines and has become increasingly relevant for interdisciplinary research. The interdisciplinary use of the concept could be linked to the fact that the conceptualization of resilie ...
Group-based sparsity models are proven instrumental in linear regression problems for recovering signals from much fewer measurements than standard compressive sensing. The main promise of these models is the recovery of ``interpretable" signals along with ...
Institute of Electrical and Electronics Engineers2016
Americans work more than Europeans. Using micro-data from the United States and 17 European countries, we document that women are typically the largest contributors to the cross-country differences in work hours. We also show that there is a negative relat ...
