73 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
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
Verfahrensentwicklung zum Walzprofilieren von Strukturbauteilen mit über der Längsachse veränderlichen Querschnitten
No full textAuthor affiliation countries.
No full textChoropleth map shows author affiliation countries based on matches to ISO-3166-1 country names or Alpha-3 codes. Color is scaled to the number of times that country’s name appeared in the author affiliations across all articles in the inventory. Figure was created using the R ggplot2 package which obtains map data from Natural Earth [71], which is in the public domain. (TIF)</p
TOWARDS A CLEANER SHIPPING INDUSTRY
No full textThis paper analyzes the urgent problem of climate change, attributing its causes to anthropogenic activities such as the combustion of fossil fuels and extensive deforestation, which significantly contribute to rise in the concentration of gases in the atmosphere. Within it, the international consensus is emphasized on the need to implement measures to combat these changes, including the gradual elimination of the use of fossil fuels and the intensification of the capacity of ecosystems to absorb greenhouse gases.
This document highlights the essential role of various international agreements and regulations in addressing environmental issues. These initiatives reflect the global commitment to adopt a comprehensive and coordinated approach to climate challenges, underscoring the importance of international collaboration in achieving a sustainable future
Intelligent toll conception and pass sequence planning for tube profiles applying numerical methods of calculation
No full text- …
