277989 research outputs found
Sort by
Raconter son histoire : impasses, fictions et œuvres d'art
No full textRaconter sa propre histoire de vie à un autre ; voilà une activité qui peut paraître banale à l’heure où tant d’individus étalent leur quotidien sur les réseaux socionumériques. Mais ce dont nous parlons dans cet ouvrage est d’une autre nature. Un récit de vie, ce n’est pas l’accumulation de petites histoires personnelles pour faire rire, pleurer ou se faire admirer ; c’est la construction toujours inachevée d’une histoire qui donne sens à notre existence et soutient notre identité. Parfois, les personnes sont confrontées à des impasses qui font obstacle à la possibilité de se mettre en récit : événements traumatiques, secrets familiaux, vécus de honte ou de culpabilité, etc. De nombreux artistes (Annie Ernaux, Jorge Semprun, Art Spiegelman...) ont tenté, par leurs œuvres, de surmonter ces obstacles et nous y trouverons un appui pour mieux comprendre et accompagner les personnes dont l’existence semble entravée ou alourdie par un héritage pesant
Combinatorial transition testing in dynamically adaptive systems: Implementation and test oracle.
No full textDue to the large number of possible interactions and transitions among features in dynamically adaptive systems, testing such systems poses significant challenges. To verify that such systems behave correctly, combinatorial interaction testing (CIT) can create concise test suites covering all valid pairs of features of such systems. While CIT claims to find all errors caused by two features, it does not cover certain errors occurring only for specific transitions between features. To address this issue we study the technique of Combinatorial Transition Testing (CTT), which includes both generation and detection of what we call behavioural transition errors. From an initial generation algorithm that combines both interaction and transition coverage but lacks scalability, we propose an optimised version that enables CTT even for hundreds of features. From a valid test suite covering all transitions, we complete our testing approach with a test oracle that detects all behavioural transition errors without any prior knowledge of the system's behaviour. After a comprehensive analysis over a large number of feature models, we conclude that size of CTT-generated test suites and test effort needed to use our test oracle are linearly correlated to CIT-generated ones and that CTT grows logarithmically in the number of features
Preliminary design framework of low-to-midrise buildings with low-to-no steel, subtractive fabrication, carpentry joints milled with robotic arms into whole tree trunks
No full textFollowing an exhaustive evaluation of the limitations of whole-timber carpentry connections in low-to-midrise buildings, recommendations therein have been extracted and applied to a small preliminary experimental investigation of four potential connection details. These connections include two steel-free and two steel-minimised connections, each with compressive reinforcement, which are compliant with Eurocode guidelines. To learn the potential of each connection, the four joints have been preliminarily tested in moment-rotation, pull-out, and excessive gravity loading to better understand connection behaviour and guide decisions related to future testing. State-of-the-art distributed optic fibre sensors (DOFS) installed directly into specimens using two different installation methods for comparison, and digital image correlation (DIC) are used to identify strain distributions most critical to connection failure modes. Additionally, preliminary design and construct methods uncover the various challenges with robotic integration into fabrication, allowances for hygroscopic deformation, and anticipating the difficulties of construction using natural-form structural elements with minimised fabrications and non-uniform geometries. The results of the tests highlight key weaknesses to be addressed in the design, fabrication, and construction methodologies prior to a large-scale campaign intended to provide structural results necessary for real-world applications. The findings of these investigations are considered in a sequential study, of which the final framework is intended to be transferrable to research involving similar evaluations
Thin-film composite electro-nanofiltration membrane for one-step and efficient fractionation of dyes and salts in high-salinity textile wastewater
No full textThe key to achieve sustainable treatment of high-salinity dye-containing wastewater is effective fractionation of dyes and salts. In this study, a thin-film composite electro-nanofiltration membrane was successfully fabricated by co-deposition of levodopa and ε-polylysine onto a porous ultrafiltration membrane substrate. With the co-deposition of the polylevodopa/ε-polylysine composite coating on the substrate membrane, the surface properties were significantly regulated, resulting in decreased pore size, reduced surface negative charge density and lower specific electric resistance, thus enhancing their ion transfer and dye/salt fractionation efficacy. Specifically, the fabricated LDP-4 membrane (molecular weight cut-off of 408 Da) with a 4-h co-deposition experienced a 99.12% reactive orange 16 dye rejection and 10.15% NaCl rejection, indicating an impressive selectivity between dyes and salts. Additionally, the LDP-4 electro-nanofiltration membrane as anion conducting membrane exhibited a fast and efficient electro-driven transfer of Cl- ions. Notably, under an electric field, the fabricated LDP-4 electro-nanofiltration membrane can efficiently fractionate NaCl from the reactive orange 16/NaCl mixed solution, achieving a 98.89% desalination efficiency and 99.79% dye recovery. Furthermore, the LDP-4 membrane demonstrated remarkable anti-fouling property and long-term stability over an 8-cycle electro-nanofiltration operation. Therefore, the electro-nanofiltration membranes fabricated by co-deposition of levodopa and ε-polylysine show a promising potential in sustainable resource recovery from high-salinity dye-containing wastewater
Time-tested impact of the TADA-Inspired Decision Algorithm on skin cancer diagnosis in primary care
No full textNo abstract availabl
Exploiting Symmetries in MUS Computation
No full textIn eXplainable Constraint Solving (XCS), it is common to extract a Minimal Unsatisfiable Subset (MUS) from a set of unsatisfiable constraints. This helps explain to a user why a constraint specification does not admit a solution. Finding MUSes can be computationally expensive for highly symmetric problems, as many combinations of constraints need to be considered. In the traditional context of solving satisfaction problems, symmetry has been well studied, and effective ways to detect and exploit symmetries during the search exist. However, in the setting of finding MUSes of unsatisfiable constraint programs, symmetries are understudied. In this paper, we take inspiration from existing symmetry-handling techniques and adapt well-known MUS-computation methods to exploit symmetries in the specification, speeding-up overall computation time. Our results display a significant reduction of runtime for our adapted algorithms compared to the baseline on symmetric problems
Precise Frequencies of H_2^16O Lines Protected for Radio Astronomy
No full textPrecise frequency values have been determined for H2 O 16 radio lines appearing in protected line lists of the International Astronomical Union and the Panel on Frequency Allocations of the US National Academy of Sciences. The improved precision is attributable to a spectroscopic network built from a large set of near-infrared Lamb-dip lines augmented with a handful of ultra-high-accuracy rotational transitions. The ultraprecise H2 O 16 network contains 376 Lamb-dip lines recorded previously via our frequency-comb-locked cavity-enhanced spectrometer. During the present study, a total of 55 target lines have been (re)measured at high accuracy. Due to our network-assisted measurements, the accuracy has been significantly improved with respect to previous direct radio-frequency measurements for all the protected lines of H2 O16 above 750 GHz. Furthermore, 43 of these protected transitions now benefit from the accuracy of the new near-infrared Lamb dips reported in this paper
Cunning or Clever? An Analysis of the Unique Rendering of עָרוּם by φρόνιμος to Denote the Snake in Gen 3:1
No full textThe figure of the snake in the second creation account of Genesis has sparked the imagination of many throughout (art) history. Mostly, this serpent has been labelled as a cunning and deceitful animal which played an important role in the so-called ‘fall of man.’ This attributive quality has its roots in the Masoretic Text (MT) which introduces the snake as being the most עָרוּם (‘crafty’) of all animals in Gen 3:1. Remarkably, the Septuagint (LXX) translation of Genesis renders this lexeme by φρόνιμος (‘wise’). The fact that this is the only instance in the LXX corpus where is rendered by φρόνιμος is even more surprising. Although multiple עָרוּם scholars have described the translation technique of the LXX translator of Genesis in great detail, none of them has provided an explanation on why the translator opted for this specific rendering to denote the snake in Gen 3:1. Therefore, this study will examine this unique rendering and aims at providing a decisive conclusion to the question why the translator opted to render עָרוּם by φρόνιμος for the snake’s quality in Gen 3:1