2,821 research outputs found
Kernelization, Proof Complexity and Social Choice
No full textWe display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity: Specifically, we show that the existence of data reduction rules for a parameterized problem having (a). a small-length reduction chain, and (b). small-size (extended) Frege proofs certifying the soundness of reduction steps implies the existence of subexponential size (extended) Frege proofs for propositional formalizations of the given problem.
We apply our result to infer the existence of subexponential Frege and extended Frege proofs for a variety of problems. Improving earlier results of Aisenberg et al. (ICALP 2015), we show that propositional formulas expressing (a stronger form of) the Kneser-Lovász Theorem have quasipolynomial size Frege proofs for each constant value of the parameter k.
Another notable application of our framework is to impossibility results in computational social choice: we show that, for any fixed number of agents, propositional translations of the Arrow and Gibbard-Satterthwaite impossibility theorems have subexponential size Frege proofs
Providence College Faculty Author Series 2012-2013: Dr. Adrian Weimer
No full textDr. Adrian Weimer (History, Providence College) discusses her new book Martyrs\u27 Mirror: Persecution and Holiness in Early New England and the cultural importance of martyrdom within Colonial America
Providence College Faculty Author Series 2012-2013: Dr. Adrian Weimer
No full textDr. Adrian Weimer (History, Providence College) discusses her new book Martyrs\u27 Mirror: Persecution and Holiness in Early New England and the cultural importance of martyrdom within Colonial America
Adrian Matejka, 34th Annual ODU Literary Festival
No full textAdrian Matejka is the author of The Devil’s Garden and Mixology, which was a winner of the 2008 National Poetry Series. He is the recipient of two Illinois Arts Council Literary Awards and fellowships from Cave Canem and the Lannan Foundation. His work has been featured in American Poetry Review, The Best American Poetry 2010, and Ploughshares, among other journals and anthologies. He teaches at Southern Illinois University Edwardsville
Irina Albăstroiu, Calcedonia Enache, Andrei Cepoi, Adrian Istrate and Teodora Liliana Andrei
No full textIoT (Internet of Things) is a concept that defines a world in which all objects are connected
to each other via the Internet. The ability of smart devices to connect, communicate and
transfer data has enabled the innovation and development of various solutions for industry,
business organizations and final consumers. In this article, we have chosen to discuss the
solutions related to smart homes.
Thus, our paper presents, in the first part, the conceptual delimitations regarding IoT, areas
of application, and characteristics of the solutions dedicated to smart homes, showing that
adoption of IoT-based smart home solutions has been too little addressed in the literature.
Most of the work in the field insists on the technical aspects and only subsidiarily deals with
the issues regarding the level of understanding of the IoT smart home concept by potential or
actual users and the degree of adoption and use of these solutions. In order to cover these
gaps identified in the literature, we presented, in the second part of the paper, the
methodology and results of an exploratory research, conducted on a sample of 471 persons,
which allowed us to identify the socio-demographic characteristics of the respondents (users
of IoT solutions), level of understanding the IoT concept, degree of the adoption and, also,
the associated benefits and challenges, from the perspective of the Romanian users. We also
developed a binary logistic regression model, for in-depth analysis of the results and for
correlating the findings of our research with those of other studie
Schitul de la Berislăveşti, jud. Vâlcea (1999) / Le monastère de Berislǎveşti (Dép. de Vâlcea) (1999)
No full textL’ensemble monastique a été édifié au milieux du XVIIIe siècle par le boyard Sandu Bucşenescu. Il s’agit d’une enceinte rectangulaire comprenant une maison d’abbé sur le côté du nord, une tour clocher sur le côté ouest, une église de plan triconque au milieu, et d’autres bâtiments (cellules) sur le côté sud. A l’occasion d’un projet de restauration, en 1999, on a effectué des fouilles archéologiques. Les 10 tranches (seulement neuf effectivement fouillées) ont eu comme but l’enregistrement des données concernant les caractéristiques techniques du bâtiments actuel – l’évolution des phases, la structure et la profondeur des fondations et des murs, l’évolution des niveaux de construction ; l’identification d’autres éventuelles constructions. Les fouilles ont rélevé plusieurs étapes de construction de l’ensemble monastique. Les fondations sont bâties en pierre et mortier contenant de très petits fragments de brique. Les murs sont construits en brique et en pierre. Au niveau actuel des recherches l’évolution de l’ensemble est la suivante : 1. l’église (1752– 1753) ; 2. la tour clocher et le mur d’enceinte du moins les côtés nord et ouest (déjà édifiés en 1762) ; 3. corps central de la maison d’abbé ; 4. chambre 1 (le beffroi) ; 5. chambres 2– 4 ; 6. chambre 8 (le côté est de la maison) ; 7. d’autres bâtiments ajoutés au côté ouest du mur d’enceinte au nord et au sud de la tour clocher ; bâtiments ajoutés à l’aille du nord y compris la véranda de la maison d’abbé. La stratigraphie générale, très simple, est la suivante : 1. argile – stérile archéologique ; 2. couche châtaine – terrassement pour préparer le terrain de la construction de l’église ; 3. très fine couche de cendre – résultée d’un déboisement par incendie avant la construction de l’église ; 4. niveau de construction des différentes bâtiments (cellules) de l’ensemble – mortier, pierre et brique ; 5 couche récente – terre châtain ou gris pigmenté de traces de mortier et de brique – qui indique d’interventions des XIXe – XXe siècles. Au cours des fouilles archéologiques on a trouvé quelques fragments céramiques, tous appartenant à l’époque moderne. Il faut souligner qu’ avant la construction de l’église (milieu du XVIIIe siècle) n’existe aucune trace d’habitation dans cet endroit.Marcu Istrate Daniela, Ioniţă Adrian. Schitul de la Berislăveşti, jud. Vâlcea (1999) / Le monastère de Berislǎveşti (Dép. de Vâlcea) (1999). In: Materiale şi cercetãri arheologice (Serie nouã), N°2 2007. 2000-2006. pp. 169-186
Mânăstirea Plătăreşti, jud. Călăraşi (1999) / Le monastère de Plǎtǎreşti (Dép. de Cǎlǎraşi) (1999)
No full textL’ensemble monastique a été édifié en siècle pendant le règne du voïvode Matei Basarab (1632– 1654). Il s’agit d’une enceinte rectangulaire comprenant une maison sur son côté nord, une tour clocher sur le côté ouest et une église de plan triconque au milieu. Au cours des siècles le monastère a été plusieurs fois abîmé, transformé en prison, dépôt, hôpital, jusqu''à nos jours quand l’église est devenue église paroissiale. A l’occasion d’un projet de restauration, en 1999 on a effectué des fouilles archéologiques. Les 15 tranches ont eu comme but l’enregistrement des données concernant la maison (princière) – l’évolution des phases, la structure et la profondeur des fondations, des murs, l’évolution des niveaux de construction, les relations avec d’autres bâtiments (cellules) ; l’identification de l’ancienne tour clocher et d’autres éventuelles constructions. La maison dite princière, qui superpose une cave, a été fouillée uniquement à l’extérieur et on a enregistré la situation suivante : la paroi du nord a été bâtie en même temps que l’entrée du cave ; dans une autre étape, à l’extrémité de l’est de cette paroi, on a ajouté une toilette. La fondation a été bâtie en briques et mortier. Les bâtiments (cellules) du côté sud ont été ajoutés plus tard à la maison. Plus tard, peut être au XIXe siècle, l’aspect original de la maison a été modifié par la construction d’une nouvelle façade. Les tranches effectuées dans la zone de l’entrée ont mis à jour des fondations appartenant à l’ancienne tour clocher. Au nord, ajouté à la fondation de la tour clocher, se trouve un mur qui indique, à ce stade de la recherche, la présence d’un bâtiment entre la tour clocher et la maison dite princière. Les fondations du mur d’enceinte ont été bâties en même temps que l’ancienne tour clocher. Les bâtiments (cellules) du côté nord ont été refaits dans une autre étape, la paroi du nord superposant l’ancienne fondation et la paroi du sud étant déplacée vers le nord avec 60– 70 cm. La fondation originaire est ajoutée à la fondation de maison. Dans le cas du bâtiment du côté sud on constate aussi une étape de reconstruction. Les bâtiments du côté est sont des constructions modernes avec fondations en béton de la même manière que la tour clocher actuel. Au niveau actuel des recherches l’évolution de l’ensemble est la suivante : 1. la maison dite princière ; 2. l’ancienne tour clocher, le mur d’enceinte et le bâtiment du côté ouest ; 3. les bâtiments du côté nord et sud ; 4. reconstruction des bâtiments des côtés nord et sud ; 5. l’entrée actuelle, la nouvelle tour clocher, le bâtiment du côté est. Les premières trois étapes se sont déroulées dans un intervalle assez court à partir de la deuxième moitié du XVIIe siècle jusqu’au début du XVIIIe siècle. La quatrième étape date du XIXe siècle, et la cinquième appartient au XXe siècle. La stratigraphie générale est la suivante : 1. argile – stérile archéologique ; 2. couche châtaine – l’âge de fer (La Tène) ; 3. couche rougeâtre jaune – résultée de l’excavation de la cave ; 4. niveau de construction de la maison princière ; 5 niveau de construction des bâtiments ; 6 niveau de construction de l’ancienne tour clocher ; 7. d’autres interventions constructives, refaites différentes ; 8. couche terre gris. Au cours des fouilles archéologiques on a trouvé quelques fragments céramiques, dont la plus part appartiennent aux XVIIe– XIXe siècles, un seul fragment datant de l’âge du fer.Ioniţă Adrian, Marcu Istrate Daniela. Mânăstirea Plătăreşti, jud. Călăraşi (1999) / Le monastère de Plǎtǎreşti (Dép. de Cǎlǎraşi) (1999). In: Materiale şi cercetãri arheologice (Serie nouã), N°2 2007. 2000-2006. pp. 143-168
Performing the archive: following in the footsteps
No full textUsing documentation of Mike Pearson's performance 'Bubbling Tom', Deirdre Heddon attempts to step into his shoes and re-perform it
Electrochemical-control of abrasive polishing and machining rates, U.S. Patent 6,171,467
No full textAn apparatus and method is disclosed; both of which use electrochemistry to selectively grow and remove hard oxide coatings on metals, and capacitive double layers on non-metals and semiconductors in order to predict and control the rate of surface abrasion during planarization of the surface of such materials
ADRIAN POP - IN SEARCH OF A LONG LOST SMILE
No full textAn anniversary, especially in the case of a generation colleague, the renowned composer Adrian Pop, generates the remembrance of a long series of musical events that have become notorious, with works included in the national and international concert repertoire. The avoidance of nostalgic memories made that a stage miniature be chosen for the present paper, an incursion of the author into the naive world of childhood reading. The result was a modern, glamorous musical transposition of a sequence with Max and Moritz, the playful heroes created by the famous humorist and cartoonist Wilhelm Busch in the middle of the 19th century. The musical act Onkel Fritz by Adrian Pop was first performed in Cluj in 2016, on October 22, on the occasion of his previous anniversary, within the Cluj Musical Autumn Festival. The graceful performers of the act, presented under the title “Anniversaries at the Festival, Adrian Pop compositional portrait”, were soprano Mihaela Maxim, in the role of Max and pianist Eva Butean, in the role of Moritz. How did composer Adrian Pop manage to musically enliven a 150 years old humorous story? The author of the following text will try to answer this question.
Rezumat. ADRIAN POP - ÎN CĂUTAREA SURÂSULUI PIERDUT. O aniversare, mai ales în cazul unui coleg de generație, reputatul compozitor Adrian Pop, generează rememorarea unui lung șir de evenimente muzicale devenite notorii, cu lucrări intrate în repertoriul intern și internațional de concerte. Evitarea unor memorii nostalgice au făcut ca sorții acestei comunicări să cadă asupra unei miniaturi scenice, o incursiune a autorului în lumea ingenuă a lecturilor din copilărie. A rezultat o transpunere muzicală modernă, plină de farmec, a unei secvențe cu Max și Moritz, eroii poznași creați de celebrul umorist și caricaturist Wilhelm Busch la mijlocul secolului XIX. Prima audiție clujeană a scenetei muzicale Onkel Fritz de Adrian Pop a avut loc în 2016, la 22 octombrie, cu ocazia precedentei sale aniversări, în cadrul Toamnei Muzicale Clujene. Interpreții plini de har ai scenetei prezentate sub genericul „Aniversări în Festival, portret componistic Adrian Pop” au fost soprana Mihaela Maxim, în rolul lui Max și pianista Eva Butean, în rolul lui Moritz. Oare cum a reușit compozitorul Adrian Pop să însuflețească muzical o poveste umoristică de 150 de ani? La această întrebare va încerca să răspundă autoarea acestor rânduri.
Cuvinte cheie: Adrian Pop, Wilhelm Busch, Max și Moritz, Unchiul Fritz, act muzica
- …
