1,984 research outputs found
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
This paper investigates the relationship between the Logical Algorithms
language (LA) of Ganzinger and McAllester and Constraint Handling Rules (CHR).
We present a translation schema from LA to CHR-rp: CHR with rule priorities,
and show that the meta-complexity theorem for LA can be applied to a subset of
CHR-rp via inverse translation. Inspired by the high-level implementation
proposal for Logical Algorithm by Ganzinger and McAllester and based on a new
scheduling algorithm, we propose an alternative implementation for CHR-rp that
gives strong complexity guarantees and results in a new and accurate
meta-complexity theorem for CHR-rp. It is furthermore shown that the
translation from Logical Algorithms to CHR-rp combined with the new CHR-rp
implementation, satisfies the required complexity for the Logical Algorithms
meta-complexity result to hold.Comment: To appear in Theory and Practice of Logic Programming (TPLP
Cavity enhanced reflector based hybrid silicon laser
We present a novel approach to integrate III-V based hybrid lasers on a silicon platform using resonant grating structures as compact and highly-reflective mirrors
Electrically pumped 1550 nm single mode III-V-on-silicon laser with resonant grating cavity mirrors
This article presents a novel III-V on silicon laser. This work exploits the phenomenon that a passive silicon cavity, side-coupled to a III-V waveguide, will provide high and narrow-band reflectivity into the III-V waveguide: the resonant mirror. This results in an electrically pumped laser with a threshold current of 4 mA and a side-mode suppression ratio up to 48 dB
La vigne et le vin au Québec : bon goût et ténacité vigneronne
Bien qu'au Québec le commerce des vins soit entièrement monopolisé par un organisme d'Etat, les consommateurs disposent d'un choix tout à fait exceptionnel de vins provenant d'un peu partout dans le monde. Pour plusieurs ce goût pour le vin représente une sorte de retour aux sources. Même la culture de la vigne, que depuis les débuts de la colonie un petit nombre s'est toujours acharné à cultiver, avec peu de succès il faut l'admettre, n'a jamais été totalement abandonnée. Elle est même en voie de se développer, malgré le peu d'appui voire les obstacles provenant de l'Etat québécois, qui craint l'innovation locale. Bien sûr modeste, cette avancée de la viticulture commerciale, réalisée sous des conditions climatiques marginales, repose sur des initiatives originales voire audacieuses. L'étude du Vignoble de l'Orpailleur l'illustre.Although as elsewhere in Canada the wine trade is entirely monopolized by a provincial agency, Québec consumers nevertheless have access to an exceptionally broad choice of wines imported from around the world. The growing taste for good wines is thought by many to represent a return to ancestral roots. Even the cultivation of vineyards, which since the early days of the colony has been attempted by a stubborn few, without much success, is once again gaining popularity. And this despite the lack of support from government agencies which seem to dread local competition. To illustrate the marginal, even extreme climatic conditions of cultivation, as well as the inventiveness of the wine growers, one of the most successful operations, the Vignoble de l'Orpailleur, is examined here
- …