cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Additional file 1 of Laboratory evaluation of the contact irritancy of a clothianidin solo formulation vs. clothianidin-deltamethrin mixture formulations for indoor residual spraying against pyrethroid-resistant Anopheles gambiae sensu lato
Creators: name: Syme, Thomas
name: N’dombidjé, Boris
name: Odjo, Aicha
name: Gbegbo, Martial
name: Todjinou, Damien
name: Ngufor, Corine
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Molecular Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Evolutionary Biology
subject: Chemical Sciences not elsewhere classified
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: Additional file 1: Figure S1. Experimental set-up for contact irritancy cone bioassays with video camera set-up in view of the cones. Table S1. Summary contact irritancy bioassay results with the pyrethroid-resistant Anopheles gambiae sensu lato Covè strain. A total of 40 mosquitoes were individually introduced into cones attached to treated cement blocks and filmed for 3 min to record take-offs. *Values in the same row sharing a superscript letter do not differ significantly at the 5% level (i.e. p > 0.05) according to regression analysis.
title: Moving Figures: Class Feelings in the Films of Jia Zhangke
Creators: name: Schultz, Corey Haley Kai Nelson
Publisher: name: Goldsmiths, University of London
Year: 2015
Subjects: subject: Jia Zhangke, Chinese film, film phenomenology, emotion and film, affect and film, Chinese visual culture, class figures

description: This thesis analyzes the representation of and affects associated with the five class figures of worker, peasant, soldier, intellectual, and entrepreneur in the films of the Chinese director Jia Zhangke. They are the descendents of the five main Confucian class figures, and have also been socially, politically, and culturally significant throughout China’s modern history. The questions that guide this analysis include: How are these figures represented? How do their representations and cinematic tropes operate in the films? What feelings do they evoke? To answer these questions, I engage with scholarship in Chinese sociology and visual culture, Raymond Williams’s concept of “structures of feeling,” and theories on film phenomenology and affect. I examine Jia’s entire oeuvre (1994-2013), including his shorts, documentaries, narrative films, and advertisements.

In the core chapters, I examine each figure’s socio-historical and cultural contexts, its representation in the films, and the cinematic tropes and feelings that are associated with it. I argue that the Maoist figures are in decline and will soon disappear, while the “new” class figures of intellectual and entrepreneur survive and thrive in the Reform era. Regarding cinematic tropes, I analyze the moving portraits, interviews, and constructions of memory for the figure of the worker; for the peasant, I focus on the POV shot, observation, and the gaze; for the soldier, I discuss the figure’s “absent presence” and its degraded appearance in simulacra; for the intellectual, I examine the voice, the pseudomonologue, and the observatory and exploratory lenses; and for the entrepreneur, I explore the close-up, speed, and film as advertisement. Finally, I examine how these figures produce what Raymond Williams describes as “structures of feeling,” and how these various feelings transition over time – from anxiety over the threat of Reform, to decrying its negative effects, to welcoming its opportunities, to finally demanding solutions to the problems it has caused.
title: Earth Poison
Creators: name: Ahmed, Nabil
Publisher: name: Goldsmiths, University of London
Year: 2015
Subjects: subject: Environmental violence, spatial practice, political ecology, environmental history, Bangladesh, West Papua, arsenic, forensic architecture

description: This thesis explores the complex entanglements of natural and human violence by looking at three related cases: 1) the Bhola cyclone in Bangladesh in which a national struggle, genocide and extreme weather interacted; 2) the legal history and geography of arsenic – one of the deadliest earth poisons, whose identification was crucial in the formation of the forensic science of toxicology; and 3) a mine that takes part in the global circulation of resources that is at the same time a site of human rights/environmental violations. The thesis moves from Bangladesh to Victorian England to West Papua to show specific, malign interactions of environment and human action and examine the way they demand new political and juridical responses. The thesis is a practice-based exploration that combines analysis, theory, narrative, film, map and image. This multitudinous and creative method is essential in order to foreground a violence that is registered on multiple dimensions and territories, both seen and unseen. But it is especially important because the third corner of the triangle that holds the thesis together is an engagement with image making, sensing and aesthetics. The environmental violence I describe in this thesis requires a reconceptualisation of theoretical, historical, legal and aesthetic frames. In the case of the Bhola cyclone, it revealed one of the original moments of humanitarian reason and call for the refraction of humanitarianism. Two new, opposite types of response that are still with us are explored: on the one hand the humanitarian benefit concert and, on the other, military intervention propounded as a means to stop genocide. It is in response to these diffused causalities, involving human and nonhuman actors alike, that the legal forums of the future must emerge.
TWO FLUID MODELING OF HEAT TRANSFER IN FLOWS OF DENSE SUSPENSIONS
Creators: name: Nagrani, Pranay Praveen
Publisher: name: Purdue University Graduate School
Year: 2021
Subjects: Mechanical engineering not elsewhere classified

description: We develop a two-fluid model (TFM) for heat transfer in dense non-Brownian suspensions. Specifically, we propose closure relations for the inter-phase heat transfer coefficient and the thermal diffusivity of the particle phase based on calibration against experimental data. The model is then employed to simulate non-isothermal flow in an annular Couette cell. We find that, when the shear rate is controlled by the rotation of the inner cylinder, both the shear and thermal gradients are responsible for particle migration. Within the TFM framework, we identify the origin and functional form of a "thermo-rheological" migration force that rationalizes our observations. Furthermore, we apply our model to flow in eccentric Couette cells. Our simulations reveal that the system's heat transfer coefficient is affected by both the classic shear-induced migration of particles and the newly identified thermo-rheological migration effect. Finally, we employed the proposed computational TFM framework to analyze electronics cooling by forced convection for microchannel cooling. We used a suspensions of high thermal conductivity (Boron Nitride) particles in a 3M Fluorinert FC-43 cooling fluid. Three-dimensional simulations were run to quantify the temperature distributions under uniform heating (5 W) and under hot-spot heating (2 W/cm^2) conditions. A 100 K junction level temperature improvement (enhanced thermal spreading) was seen for hot-spot heating and 15 K was observed for uniform heating, demonstrating the enhanced cooling capabilities of dense particulate suspensions of high-conductivity particles, over a clear FC-43 fluid.
PROTEIN EXPRESSION PROFILING ASSOCIATED TO BIOTIC STRESS IN MAIZE.
Creators: name: CAPRA, EMANUELE
Publisher: name: Universit� degli Studi di Milano
Year: 2012

description: Plant biotic stresses are caused by pathogens, parasites, predators and their outcome results from interaction between, host, pathogen and environment. Pathogens attack could be due by several organisms as fungi, bacteria, viruses oomycetes, nematodes and insects that cause specific and systemic response. Two of the major pests affecting maize crop in Lombardy region are Fusarium verticillioides fungus and the Diabrotica virgifera virgifera LeConte insect. The etiology of two diseases is strictly interdependent, plant fungus infection is often deriving after kernel injuries by wounding or insect attack.
F. veritillioides infection typically occurs on kernels, with a high level of fungal infection and micotoxin contamination. In resistant inbred maize genotype, kernel showed significant decrease of infection incidence, with limited amounts of total fumonisin content and reduced fungal growth.
We attempt to identify protein involved in Fusarium resistance by protein profile resistant and susceptible lines. We found only two protein peaks at 5.79 and 14.96 Kda that were commonly expressed in the susceptible lines but no specific protein of interest were present in kernel from resistance lines. Only the susceptible line CO354, showed variation in the Late Embryogenesis Abundant LEA3 protein, previously described as protein associated to fungal resistance in maize.
D. virgifera attack is prevalentely due by direct larvae infestation and damage to the maize root system. Plants respond to insect infestation by emitting volatile compounds among which the sequiterpene (E)-?-caryophillene that attracts natural enthomopathogenic nematodes. This volatile compound has been found in response to herbivore damage in several wild relatives of maize and in cultivated maize lines from European breeding programs but not in most lines from the North American breeding program. In order to understand mechanisms involved in defence response, maize lines that differ in (E)-?-caryophillene synthase expression were characterized by protein profiling and tps23 gene expression. We found that maize responds to methyl jasmonate treatment and D. virgifera infestation similarly by inducing the tps23 gene, but the jasmonate mediated response differs quantitative and temporary in different maize lines. Methyl jasmonate treatment induce also the expression of other three proteins i.e. actin-depolymerizing factor 3 ADF3, nucleotide pyrophosphatase/phosphodiesterase NPP and anionic peroxidase probably involved in maize herbivore insect response.
Proteomic characterization of maize lines differing in response to pathogen attack may be a useful approach to better understand mechanisms involved in plant pathogen response and to find new markers associated to biotic stress response. The potential uses of these biomarkers in assisted breeding program however remain still under investigation.
Rischio di Tossinfezioni alimentari nella ristorazione etnica
Creators: name: Storero, Stefano
Publisher: name: Corso di Laurea in Tecniche della Prevenzione nell'ambiente  e nei luoghi di lavoro - Univ
Year: 2017

description: Lo scopo di questo studio è stato quello di verificare se le attività di ristorazione etnica presentino un eccesso di rischio di tossinfezioni rispetto alla media e identificare quali fattori contribuiscano a questo eccesso, individuando le non conformità più ricorrenti e caratteristiche di queste attività.

Per la verifica di questa ipotesi, sono state censite tutte le attività di ristorazione etnica (orientale e medio-orientale) sul territorio dell'Azienda Sanitaria Locale TO3 ed è stato calcolato l'eccesso di rischio, sia tramite le valutazioni dei tecnici, sia tramite la proporzione di sanzioni erogate. Si è poi proceduto all'individuazione delle non conformità più ricorrenti e caratteristiche delle attività di ristorazione etnica, raccogliendo il numero di non conformità rilevate nelle attività censite, suddivise per tipologia, e confrontando il profilo di rischio emerso con un campione di attività di ristorazione non etnica. Sono stati infine utilizzati un questionario anonimo ed una check-list per rilevare quali fattori specifici siano correlati con l'eccesso di rischio rilevato. I risultati della prima fase di elaborazione dati confermano che le attività di ristorazione orientale tendono a situarsi in classi di rischio più elevate e vengono sanzionate maggiormente rispetto alla media. Dalla raccolta dei dati sulle non conformità più diffuse e caratteristiche è emerso che il profilo di rischi della attività di ristorazione orientale non è significativamente diverso da quello della ristorazione non etnica, mentre quello della somministrazione di Kebab ha evidenziato differenze significative. L'applicazione della check-list ed il questionario hanno confermato che le attività di somministrazione di Kebab presentano un eccesso di problematiche strutturali e/o nelle procedure d'igiene, correlate ad una scarsa disponibilità economica e all'inefficacia della formazione degli operatori. La relativamente bassa urbanizzazione del territorio preso in esame, la numerosità non elevata del campione nonché la mancanza di valutazioni specialistiche di tipo socio-economico hanno rappresentato i maggiori limiti dello studio, che tuttavia non presenta Bias irrisolti o degni di nota. La ricerca effettuata dimostra come la qualità della formazione ed i fattori di tipo socio-economico siano determinanti per il rispetto delle buone prassi igieniche nella ristorazione etnica, fattore indispensabile, assieme ad una buona qualità microbiologica delle materie prime, per ridurre il rischio di tossinfezioni alimentari.
description: PinC | Prevenzione in Corso, N. 1 (2017)
Modellazione 3D a supporto del metodo dei Volumi Funzionali per l’ottimizzazione di efficienza e sicurezza in un cantiere per scavo di galleria
Creators: name: Faranda, Alessando
Publisher: name: Corso di Laurea in Tecniche della Prevenzione nell'ambiente  e nei luoghi di lavoro - Univ
Year: 2017

description: Durante la fase di progettazione di un’opera cantieristica, oltre a considerare gli aspetti di realizzabilità e di selta delle migliori tecniche realizzative, è necessario stimare gli spazi necessari per l’esecuzione delle diverse operazioni ed identificare i principi per la gestione degli stessi. Tale attività ha come obiettivo l’ottimizzazione della logistica dal punto di vista organizzativo ed economico e l’individuazione e gestione delle possibili interferenze spaziali tra le lavorazioni che si andranno ad eseguire nella fase realizzativa. Tali azioni sono anche alla base del Coordinamento e della gestione dei rischi interferenziali, attività legislativamente obbligatorie (vedi D.Lgs. 81/08, allegato XV - Contenuti minimi dei piani di sicurezza nei cantieri temporanei o mobili). L’applicazione del metodo dei Volumi Funzionali risulta particolarmente adatta a tali fini: il metodo permette infatti di pianificare nel tempo e nello spazio le operazioni previste nel programma dei lavori e di indentificare le contemporaneità di richiesta del medesimo volume da parte di attività o entità tra loro incompatibili, così da garantire la continuità di utilizzazione delle risorse senza interferenze. Il presente lavoro mostra l’applicazione del metodo dei Volumi Funzionali alla zona di piazzale del cantiere per la realizzazione del cunicolo esplorativo de “La Maddalena” in località di Chiomonte (TO), funzionale al processo di approfondimento della conoscenza delle caratteristiche geologiche del Massiccio d’Ambin, in vista della realizzazione del futuro Tunnel di base del nuovo collegamento ferroviario Torino-Lione. Il metodo è stato implementato con l’utilizzo di modellazione 3D: tale strumento ha sostanzialmente favorito la diretta visualizzazione predittiva dei vari scenari sin dalla fase progettuale, ai fini della previsione dei volumi funzionali occorrenti per lo svolgimento delle varie attività e della identificazione dei rischi interferenziali eventualmente connessi, e si è rilevato molto utile in una realtà caratterizzata da numerose e continue compresenze spaziali ed in continuo mutamento come quella cantieristica.
description: PinC | Prevenzione in Corso, N. 1 (2017)
Hybrid Arima/Ann Vs Naive Model For Trading
Creators: name: Repetto, Marco
Publisher: name: Zenodo
Year: 2017
Subjects: ARIMA
ANN
Trading

description: Abstract

This paper presents the combination of the ARIMA

process with ANN. In particular, ARIMA is used to

capture the underlying linearities of stock movement

whereas the error terms are fed in an ANN given as

inputs the price of the stocks from the same market.

Such hybrid ARIMA is used for signal generation in

the prediction of stock prices movement, especially in

such case the goodness of the model is tested in com-

parison with a naive algorithm that generates signals

at random. The portfolio of such game is built using

common stocks from NASDAQ and an intraday time

series of 90 intervals of one minute each leveraging

Figure 1: Percentage of order generated by algo-

the Alphavantage API.
Ship Motions and Added Resistance with a BEM in frequency and time domain
Creators: name: AGENO, EMANUELA
Publisher: name: Universit� degli studi di Genova
Year: 2019

description: This thesis is focused on the calculation of ship motions and on the evaluation of added resistance
in waves. A partial desingularized panel method based on potential theory has been
developed.
Rankine sources are distributed on the hull and at small distance above the free surface.
In such way only the free surface is desingularized. This choice allows to consider also thin
hull shapes at the bow where desingularization could cause numerical problems.
The main advantage of this approach leads to reduce the computational time, especially when
non linear effects are considered, provided an adequate source-panel center vertical distance
is selected.
The fluid domain boundaries have been represented as a structured grid consisting of flat
quadrilater panels.
In the linear case the boundary conditions have been applied on the mean body wetted surface
and the free-surface is considered at the calm water level. By using an Eulerian timestepping
integration scheme the kinematic and dynamic boundary conditions are updated on
the free-surface at every time-step. After the potential is obtained, the pressure on the mean
hull surface can be calculated and forces and moments can be determined by integrating the
pressure on the body surface.
Therefore in two-dimensional environment an introduction of non-linear effects has been
analysed. In particular a 2D body exact method has been developed.
The added resistance is determined by a near field method integrating the second-order pressure
on the body surface. Then it is corrected using a semi-empirical method to allow to consider
the wave reflection of short waves.
The adequacy of the results has been verified applying the code to different test cases and
comparing the numerical output with experimental data available in literature. Furthermore in
order to discuss the improvements obtained with this present method the results have been
compared with another numerical method in frequency domain.
Heritage, Memory and Adaptive Reuse
Creators: name: Adın, Muhammed Sefa
Publisher: name: AIS - Architecture Image Studies
Year: 2024

description: A palimpsest is a reused manuscript where the original text has been erased to make room for new writing, but traces of the old text remain visible. Over time, the concept of palimpsest has been used in various fields, including literature, painting, and later architecture. Architectural palimpsest refers to the transformation of a building or space over time, reflecting the accumulation of different architectural layers. This term describes processes such as adding new structures to old ones or adaptively reusing existing buildings while preserving traces of the past. Industrial heritage includes structures and facilities from the Industrial Revolution, such as factories, warehouses, mines, gasometers, and gasworks. These buildings carry the industrial imprints of the past and hold historical, cultural, and economic significance. This study aims to emphasize the importance of the palimpsest concept in architecture through an analysis of adaptively reused industrial heritage. Following a literature review, the methodology involves a comparison of two similar examples of industrial heritage adaptive reuse: Vienna Gasometer and Hasanpaşa Gasworks, located in different countries. The analysis is conducted within the context of the palimpsest concept and adaptive reuse. As a result, the study concludes that industrial heritage buildings, which have lost their original function but hold a place in the collective memory and identity of their cities, should be adaptively reused in a way that reflects the traces of the era they belong to without damaging their heritage value. The study aims to contribute to future research in this field.
description: AIS - Architecture Image Studies, Vol 5 No 1 (2024): Ubiquity
Il processo di riforma professionale attraverso l’istituzione degli Ordini e dell’albo dei TPALL. Criticità e stato dell’arte
Creators: name: Di Giusto, Maurizio
Publisher: name: Corso di Laurea in Tecniche della Prevenzione nell'ambiente  e nei luoghi di lavoro - Univ
Year: 2017

description: Albo TPALL: aggiornamento per i Professionisti
description: PinC | Prevenzione in Corso, N. 1 (2017)
Additional file 5 of The efficacy and safety of apatinib plus capecitabine in platinum-refractory metastatic and/or recurrent nasopharyngeal carcinoma: a prospective, phase II trial
Creators: name: Tang, Lin-Quan
name: Li, Xiao-Yun
name: Li, Zhi-Ming
name: Liu, Zhi-Gang
name: Lin, Miao-Zhen
name: Zhou, Huan
name: Yu, Qi-Wen
name: Zhou, Jian
name: Zhao, Chong
name: Chen, Ze-Bin
name: Wang, Xi-Cheng
name: Peng, Jia-Yu
name: Chen, Qiu-Yan
name: Fang, Wen-Feng
name: Yang, Yun-Peng
name: Zhang, Bei
name: Xia, Liang-Ping
name: Hu, Pi-Li
name: Hu, Wei-Han
name: Li, Yi-Jie
name: Mai, Hai-Qiang
name: Cai, Xiu-Yu
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Environmental Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 5. Clinical Trial Protocol
Il nuovo modello di formazione per RSPP/ASPP
Creators: name: Montrano, Michele
Publisher: name: Corso di Laurea in Tecniche della Prevenzione nell'ambiente  e nei luoghi di lavoro - Univ
Year: 2017

description: Aggiornamenti normativi in materia di formazione per la sicurezza nei luoghi di lavoro
description: PinC | Prevenzione in Corso, N. 1 (2017)
Funghi verdi fritti
Creators: name: Paltrinieri, Giovanna
Publisher: name: Corso di Laurea in Tecniche della Prevenzione nell'ambiente  e nei luoghi di lavoro - Univ
Year: 2017

description: Un caso di intossicazione da funghi raccontato da una protagonista
description: PinC | Prevenzione in Corso, N. 1 (2017)
HIGH-RESOLUTION MONTHLY CROP WATER DEMAND MAPPING
Creators: name: Watkins, Alec H
Publisher: name: Purdue University Graduate School
Year: 2021
Subjects: Agricultural engineering

description: The Department of Arequipa, in Peru, is a region with limited water resources making freshwater management critical and requiring the development of water-demand models, which can be valuable tools for policymakers. This study developed a monthly agricultural water-demand mapping algorithm for the agricultural districts surrounding the city of Arequipa. It was accomplished by:(1) developing a ground-reference data collection method;(2) creating a crop mapping algorithm, which incorporates supervised classification methods, as well as spatial-and temporal-consistency correction methods to create crop maps out of high resolution (~3 m) PlanetScope satellite images; (3) integrating a crop growth-stage prediction algorithm for the crop maps and; (4) applying an algorithm for the estimation of the agricultural-water-demand maps using the results of steps 2 and 3, local climate data, and an irrigation demand estimation tool. The crop mapping algorithm was shown to create maps with acceptable accuracy, with 5 out of 6 months with available data having mean monthly classification accuracies of 69% to 77%for those classes which had available data. Growth stage predictions had mean absolute prediction errors of 0.55 to 0.69 months in 5 out of 6 months.The6th month (the first with ground reference data collection) had a mean absolute prediction error of 0.90 months because it lacked prior month information to correctly identify planting month. Water demand maps were produced with high spatial (3.0m) and temporal (monthly) resolution, allowing for a detailed look at local agricultural water demands. This study provides a framework for future large-scale agricultural-water demand mapping for the Department of Arequipa and similar regions around the world.
The Checklist Manifesto. How to Get Things Right
Creators: name: Festa, Melissa
Publisher: name: Corso di Laurea in Tecniche della Prevenzione nell'ambiente  e nei luoghi di lavoro - Univ
Year: 2017

description: CHECKLIST. Come far andare meglio le cose
description: PinC | Prevenzione in Corso, N. 1 (2017)
Lessons Learned from the Development of Component-Based Medical Robot Systems
Creators: name: Jung, Min Yang
name: Balicki, Marcin
name: Deguet, Anton
name: Taylor, Russell H.
name: Kazanzides, Peter
Publisher: name: Universit� degli studi di Bergamo
Year: 2014

description: Over the past two decades, a variety of medical robot systems have been developed and commercial products are actively used in modern operating rooms. These systems often comprise a variety of sensors and devices with the real-time constraints, and the size and complexity of these systems have significantly increased to achieve both desired medical functionality and non-functional requirements such as safety, integrity, and reliability. Medical robot systems, as in other robotics areas, have reached a point that requires careful consideration of strategies for more effective and maintainable system development or rapid prototyping. We have been developing a component-based software framework for computer-assisted intervention systems, called cisst, with a collection of reusable components, that addresses these issues. This paper describes practical problems and challenges that we have faced throughout the development of various medical and surgical robot systems. It also discusses our design approaches and possible solutions, and summarizes the lessons learned. Although the main focus is on medical robot systems, we believe our experience with component-based software development in medical robotics can be shared with the rest of the robotics community.
Additional file 1 of Effectiveness of immunoglobulin replacement therapy in preventing infections in patients with chronic obstructive pulmonary disease: a systematic review
Creators: name: Kim, Justin J. Y.
name: Dennett, Liz
name: Ospina, Maria B.
name: Hicks, Anne
name: Vliagoftis, Harissios
name: Adatia, Adil
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: Science Policy
subject: Mental Health
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. PRISMA 2020 Checklist.
Proof Analysis in Temporal Logic
Creators: name: BORETTI, BIANCA
Publisher: name: Universit� degli Studi di Milano
Year: 2009

description: The logic of time is one of the most interesting modal logics, and its importance is widely acknowledged both for philosophical and formal reasons.
In this thesis, we apply the method of internalisation of Kripke-style semantics into the syntax of sequent calculus to the proof-theoretical analysis of temporal logics.
Sequent systems for different flows of time are obtained as modular extensions of a basic temporal calculus, through the addition of appropriate mathematical rules that correspond to the properties of temporal frames: a general and uniform treatment is thus achieved for a wide range of temporal logics. All the calculi enjoy remarkable structural properties, in particular are contraction and cut free.
Linear discrete time is analysed by means of two infinitary calculi. The first is obtained by means of a rule with infinitely many premises, and the second through a new definition of provability which admits, under certain conditions, derivation trees with infinite branches.
The first calculus enjoys the desired structural properties, but the presence of an infinitary rule is harmful for proof analysis. Two finitary systems are identified by replacing the infinitary rule with a weaker finitary rule, and by bounding the number of its premises, respectively. Corresponding, somehow complementary, conservativity results are proved with respect to adequate fragments of the original calculus.
The second calculus stems from a closure algorithm which exploits the fixed-point equations
for temporal operators and gives saturated sets of closure formulas from a given formula.
Finitisation is obtained in the form of an upper bound to the proof-search procedure, and decidability follows as a major consequence.
Storia del teatro di Antonio Porta. Dalle carte alla messa in scena
Creators: name: PASSALACQUA, VERONICA
Publisher: name: Universit� degli studi di Genova
Year: 2019

description: The work focuses on the theatre of Antonio Porta (Vicenza, 1935 ? Milan, 1989), one of the most important voices of Italian poetry of the second half of the twentieth century. The purpose is to retrace the author?s theatre production, from a both historical ? critical and philological point of view, by including it in the context of the ?unofficial? Italian theatre between 1960s and 1980s.
Θεραπευτικά Δικαστήρια και Ελληνικό Κοινοβούλιο
Creators: name: Λιακούλη, Ευαγγελία Θεοφάνη
Publisher: name: Aristotle University of Thessaloniki
Year: 2024
Subjects: Θεραπευτικά Δικαστήρια
Ελληνικό Κοινοβούλιο
Βουλευτές Ελληνικού Κοινοβουλίου
Drug Treatment Courts
Ηellenic Parliament
Members of Hellenic Parliament

description: H εργασία αυτή, στοχεύει να προσεγγίσει και να αναδείξει τον τρόπο που αντιμετωπίζουν οι Έλληνες Βουλευτές το μοντέλο των θεραπευτικών Δικαστηρίων , πόσο οικεία είναι σε αυτούς ζητήματα που σχετίζονται με τους τοξικομανείς, πώς αντιλαμβάνονται τη σχέση απονομής δικαίου και αντιμετώπισης του προβλήματος των Ναρκωτικών, πόσο έχει απασχολήσει το Ελληνικό Κοινοβούλιο το θέμα των πολιτικών αντιμετώπισης των Ναρκωτικών, πόσο εξοικειωμένοι είναι οι Έλληνες βουλευτές, με την έννοια και το στόχο των Θεραπευτικών Δικαστηρίων και ποιες προτεραιότητες έχουν θέσει. Παράλληλα, η εργασία μελετά τις αντιλήψεις των Ελλήνων Βουλευτών ως προς τον σωφρονισμό και τη θεραπεία των τοξικομανών που διώκονται λόγω ποινικών αδικημάτων και ειδικότερα στοιχεία σε σχέση με το θεσμό των «Δικαστηρίων Θεραπείας Ναρκωτικών» . Η εργασία περιλαμβάνει και μια ενδιαφέρουσα έρευνα που έγινε στα μέλη του Ελληνικού Κοινοβουλίου .
description: This paper aims to approach and highlight the way Greek Members of Parliament deal with the model of Drug Τreatment Courts (DTC), how familiar are issues related to drug addicts, how they perceive the relationship between the granting of justice and dealing with the problem of drugs, how much concern the Greek Parliament with the issue of drug policies, how familiar the Greek members of Parliament are with the concept and goal of the DTC and what priorities they have set. At the same time, the paper studies the perceptions of the Members of Greek Parliament regarding the imprisonment and treatment of drug addicts who are prosecuted for criminal offences, and in particular elements in relation to the institution of "Drug Treatment Courts". The paper also includes an interesting survey conducted among the members of the Greek Parliament.
description: Τμήμα Νομικής, Συνεργαζόμενα Τμήματα: Πανεπιστήμιο Λευκωσίας (Κύπρος)
Automated Modeling of Human-in-the-Loop Systems
Creators: name: Marquand, Noah M
Publisher: name: Purdue University Graduate School
Year: 2021
Subjects: Aerospace engineering not elsewhere classified

description: Safety in human in the loop systems, systems that change behavior with human input, is difficult to achieve. This difficulty can cost lives. As desired system capability grows, so too does the requisite complexity of the system. This complexity can result in designers not accounting for every use case of the system and unintentionally designing in unsafe behavior. Furthermore, complexity of operation and control can result in operators becoming confused during use or receiving insufficient training in the first place. All these cases can result in unsafe operations. One method of improving safety is implementing the use of formal models during the design process. These formal models can be analyzed mathematically to detect dangerous conditions, but can be difficult to produce without time, money, and expertise.
 This document details the study of potential methods for constructing formal models autonomously from recorded observations of system use, minimizing the need for system expertise, saving time, money, and personnel in this safety critical process. I first discuss how different system characteristics affect system modeling, isolating specific traits that most clearly affect the modeling process Then, I develop a technique for modeling a simple, digital, menu-based system based on a record of user inputs. This technique attempts to measure the availability of different inputs for the user, and then distinguishes states by comparing input availabilities. From there, I compare paths between states and check for shared behaviors. I then expand the general procedure to capture the behavior of a flight simulator. This system more closely resembles real-world safety critical systems and can therefore be used to approximate a real use case of the method outlined. I use machine learning tools for statistical analysis, comparing patterns in system behavior and user behaviors. Last, I discuss general conclusions on how the modeling approaches outlined in this document can be improved and expanded upon.
 For simple systems, we find that inputs alone can produce state machines, but without corresponding system information, they are less helpful for determining relative safety of different use cases than is needed. Through machine learning, we find that records of complex system use can be decomposed into sets of nominal and anomalous states but determining the causal link between user inputs and transitions between these conditions is not simple and requires further research.
Additional file 1 of Can small bowel obstruction during pregnancy be treated with conservative management? A review
Creators: name: Ling, Xiao Shuang
name: Anthony Brian Tian, Wei Cheng
name: Augustin, Goran
name: Catena, Fausto
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Biotechnology
Mathematical Sciences not elsewhere classified
Cancer
Science Policy
Mental Health

description: Supplementary Material 1
Examining the Intersection between Personal and Systemic Bias for Bias Reduction
Creators: name: Noland, Elisabeth S
Publisher: name: Purdue University Graduate School
Year: 2021
Subjects: Forensic psychology
Personality and individual differences
Social psychology
Community psychology

description: In a preregistered study, we investigated whether two different procedures increased people’s recognition and motivation to self-regulate personal bias and also recognition and motivation to combat systemic bias. Non-Black undergraduates (N = 467) were randomly assigned to either a IAT procedure (i.e., took a racial IAT, received fixed feedback indicating racial bias, and received an explanation for why people may hold implicit biases), a discrimination experiences procedure (i.e., read about Black people’s discrimination experiences across various institutional contexts), or a control procedure (i.e., rated their preferences for common consumer products). Then, participants completed measures assessing recognition of and motivation to combat personal and systemic bias. Among average IMS participants, results indicated that the IAT procedure significantly increased recognition of personal racial bias, compared to the control procedure. The discrimination experiences procedure significantly increased motivation to combat systemic bias, support for policies aimed at addressing inequality, and motivation to self-regulate personal bias, compared to both the control and IAT procedures. We also found that the IAT heightened negative self-directed affect especially among higher IMS participants, which in turn was associated with increased acknowledgement of and motivation to combat not only personal but also systemic bias. Finally, among all participants, the discrimination experiences procedure heightened negative other-directed affect, which in turn was associated with increased recognition of and motivation to combat systemic bias. Although additional research is needed, these initial results may suggest that personal bias interventions influence personal bias outcomes but do not similarly influence systemic bias outcomes. In contrast, systemic bias interventions may be more likely to influence awareness of and motivation to combat both personal and systemic bias. These results pave the way for future investigation into the nature of crossover effects between personal and systemic bias procedures.
Generic middleware support for coordinating robot software components: The Task-State-Pattern
Creators: name: L�Tkebohle, Ingo
name: Philippsen, Roland
name: Pradeep, Vijay
name: Marder Eppstein, Eitan
name: Wachsmuth, Sven
Publisher: name: Universit� degli studi di Bergamo
Year: 2011

description: Robot software systems are (again) reaching levels of size and complexity
that makes them difficult to construct, evolve, and maintain. One current issue
is that systems are increasingly built to perform many different tasks in parallel,
each of which must be coordinated and monitored to achieve a goal.
If all components were to require different interfaces, system complexity
would rapidly grow. General interfaces partially exist on the conceptual
level, but their implementations are typically strongly linked to particular
architectural proposals, thus reducing re-use and comparability.

This paper presents an architecture-agnostic design pattern for
the coordination-related component interaction.
It results in a simple and clean component interface to
invoke specific functionality, monitor task progress, and update
the goals of running tasks. It provides an abstract coordination
interface with high observability for the development of coordination
and architecture. It thus provides value to all stakeholders in the
design and implementation of robot software systems: component
developers, coordination developers, and system architects.

We trace the convergence of concepts and approaches from early
coordination systems and through various abstraction proposals.
Recently, two very similar realizations were developed independently
by the authors. This paper presents the underlying insights and
practical experience as a generic software engineering method which we
named the \emph{Task-State-Pattern}. We describe the functionality it
provides to component developers and detail the technical steps
necessary to implement it in a distributed event-based toolkit for
specific application domains. We provide empirical evidence for the
relevance and utility of our approach by presenting case studies and
discussing how the proposed pattern leads to a flexible system
structure with reduced integration effort.
ROS As a Service: Web Services for Robot Operating System
Creators: name: Koubaa, Anis
Publisher: name: Universit� degli studi di Bergamo
Year: 2015

description: Robot Operating System (ROS) represents nowadays a defacto standard for the prototyping and development of software for robotics applications. It presents several software abstraction layers to robotic hardware resources allowing software developers to focus more on the software development without having to worry about the low-level hardware programming. However, developing client-side applications requires a full understanding and mastering of ROS and robotics, which is not straightforward for non-ROS users and for beginners. To overcome this limitation, it is necessary to provide an additional software abstraction layer on top of ROS to allow a seamless interaction with ROS. In this paper, we present a novel solution based on Web services to provide new programming abstraction layers to ROS based on SOAP and REST Web services. The contribution of this paper consists in proposing software architecture to expose ROS resources as SOAP and REST Web services. We present a software meta-model for the integration of Web services into ROS and we validate it through a real experimental implementation on a service robot. To the best of our knowledge, this is the first work that addresses the integration of Web services into ROS, and we believe that it will open new insights towards the emerging concept of Cloud Robotics.
UNDERSTANDING STRUCTURAL AND FUNCTIONAL IMPORTANCE OF PROTEIN TYROSINE PHOSPHATASES (PTPS) TO TREAT HUMAN DISEASES
Creators: name: Amarasinghe, A. M. Ovini
Publisher: name: Purdue University Graduate School
Year: 2021
Subjects: Biochemistry and cell biology not elsewhere classified

description: Protein Tyrosine Kinases (PTKs) and Protein Tyrosine Phosphatases (PTPs) coordinate and regulate the phosphorylation level in the body needed for normal cellular functions like cell growth, adhesion, differentiation, migration, survival, and apoptosis. Perturbations in the finely regulated PTKs and PTPs can lead to abnormal cell signaling, resulting in inflammatory diseases, immune-related conditions, obesity, diabetes, cancer, etc. Thus, PTPs and PTKs make excellent therapeutic targets. Primary or acquired resistance to kinase inhibitors heightens our interest in targeting PTPs to modulate these aberrations that result in disease. Understanding how these PTPs function and how they are regulated is a pivotal step to target them to treat human diseases. This thesis will focus on understanding the functional importance and regulation mechanism of PTPs to target them to treat human diseases.
title: Wirtschaft geht uns alle an
Creators: name: Suna, Merve
name: Aprea, Carmela
name: Bürger, Tobias
name: Zillinger, Sandra
name: Andrade, Ivo
Publisher: name: Bertelsmann Stiftung
publisherIdentifier: https://ror.org/01wj9hk44
publisherIdentifierScheme: ROR
Year: 2024
Subjects: Wirtschaftspolitik
Junger Mensch
Einstellung
Meinung

description: Obwohl mehr als jeder zweite junge Mensch die politische Stimmabgabe unter anderem von den wirtschaftspolitischen Maßnahmen der Parteien abhängig macht, sagt mehr als die Hälfte der jungen Menschen, dass ihre Interessen bei Entscheidungen zum Bereich Wirtschaft von der Politik nicht ausreichend berücksichtigt werden.
Additional file 1 of A thermoresponsive nanocomposite integrates NIR-II-absorbing small molecule with lonidamine for pyroptosis-promoted synergistic immunotherapy
Creators: name: Chen, Pengfei
name: Zhang, Chi
name: He, Liuliang
name: Li, Mingfei
name: Rong, Jie
name: Sun, Pengfei
name: Chen, Yingying
name: Li, Daifeng
Publisher: name: figshare
Year: 2024
Subjects: Biophysics
Space Science
Physical Sciences not elsewhere classified
Cell Biology
Molecular Biology
Pharmacology
Chemical Sciences not elsewhere classified
Biological Sciences not elsewhere classified
Cancer

description: Additional file 1: Fig. S1–S9. Nuclear magnetic resonance (NMR) and high-resolution mass spectrometry (HRMS) spectra. Fig. S10–S22. The molar extinction coefficient, photothermal curves, stability of nanoparticles, cell uptake, NIR-II photoacoustic imaging, and biocompatibility.
A Toolset to Address Variability in Mobile Robotics
Creators: name: Tewfik Ziadi
name: Farges, Jean Loup
name: Stinckwich, Serge
name: Ziane, Mikal
name: Dhouib, Saadia
name: Francois Marmoiton
name: Morette, Nicolas
name: Novales, Cyril
name: Kchir, Selma
name: Patin, Bruno
Publisher: name: Universit� degli studi di Bergamo
Year: 2016

description: Dealing with variability may be the most serious issue when developing and maintaining robotic systems: it jeopardizes communication between the stakeholders of a robotic system and interoperability between its components. This paper reports on an approach and a toolset to improve both communication and interoperability. The approach relies on an ontology of mobile robotics and on a Domain-Specific Language (DSL) to describe robotic systems with missing parts that are problems that can be completed by third-party solutions. The domain model of the DSL is derived from the conceptual framework of the ontology. Models of robotic systems and scenarios can be defined using a graphical modeling environment and code can be generated for open-source as well as commercial middleware and simulators. A key advantage of the approach is that code can be generated for both simulation platforms and real-world robots. The validation of the approach is illustrated with a landmark-search case study.
sj-pdf-2-sjs-10.1177_14574969211042457 – Supplemental material for The impact of cirrhosis on the postoperative outcomes of patients undergoing splenectomy: Propensity score matched analysis of the 2011–2017 US hospital database
Creators: name: Lee, David U.
name: Fan, Gregory H.
name: Hastie, David J.
name: Addonizio, Elyse A.
name: Karagozian, Raffi
Publisher: name: SAGE Journals
Year: 2021
Subjects: subject: 110323 Surgery
subject: FOS: Clinical medicine

description: Supplemental material, sj-pdf-2-sjs-10.1177_14574969211042457 for The impact of cirrhosis on the postoperative outcomes of patients undergoing splenectomy: Propensity score matched analysis of the 2011–2017 US hospital database by David U. Lee, Gregory H. Fan, David J. Hastie, Elyse A. Addonizio and Raffi Karagozian in Scandinavian Journal of Surgery
sj-pdf-4-sjs-10.1177_14574969211042457 – Supplemental material for The impact of cirrhosis on the postoperative outcomes of patients undergoing splenectomy: Propensity score matched analysis of the 2011–2017 US hospital database
Creators: name: Lee, David U.
name: Fan, Gregory H.
name: Hastie, David J.
name: Addonizio, Elyse A.
name: Karagozian, Raffi
Publisher: name: SAGE Journals
Year: 2021
Subjects: subject: 110323 Surgery
subject: FOS: Clinical medicine

description: Supplemental material, sj-pdf-4-sjs-10.1177_14574969211042457 for The impact of cirrhosis on the postoperative outcomes of patients undergoing splenectomy: Propensity score matched analysis of the 2011–2017 US hospital database by David U. Lee, Gregory H. Fan, David J. Hastie, Elyse A. Addonizio and Raffi Karagozian in Scandinavian Journal of Surgery
PREPARATION AND PERFORMANCE EVALUATION OF MATERIALS FOR ELECTROCATALYTIC APPLICATIONS
Creators: name: COLOMBO, ALESSANDRA
Publisher: name: Universit� degli Studi di Milano
Year: 2010

description: This PhD thesis is devoted to the preparation and characterization of materials for electrocatalytic applications. The focus has been on the surface of electrodes. The physical and chemical structure of surfaces is one of the main variables of electrocatalytic properties. In particular, the physical structure of a surface (amorphous vs. crystalline) is often claimed to affect the surface activity of electrocatalysts. Also, the chemical structure (active sites on flat vs. stepped facets) has been claimed to be an essential variable influencing catalysis as well as electrocatalysis. Scrutiny of both situations was performed in our laboratory by preparing a series of transition metals oxides (e.g. Ir, Ru, Ni, Co) used in electrochemically activate electrodes, for the reactions of hydrogen and oxygen evolution.
A number of techniques have been used: i) electrochemical (CV, polarization); ii) non electrochemical (XRD, TGA, SEM, EDX). Two novel synthetic methods for the production of metal oxides nanoparticles have been implemented.