1,721,007 research outputs found
Local structure of Hydrogen defects in nitride sem iconductors
No full textThe objective of the proposed experiment is to determine lattice location of H and possible formation of H complexes, along with their local structure using X-Ray Absorption Spectroscopy (XAS). XAS is the technique of choice in view of the atomic selectivity and high resolution in real space . Together with high-resolution XRD and nuclear reaction analysis (NRA) and ab-initio density functional theory (DFT) simulation of the atomic structure, XAS has been shown by some of the proposers to be an extremely powerful tool to determine the structure of hydrogen complexes in dilute nitrides, such as GaAsN and GaPN. The same methods previously used for dilute nitrides will be applied in the present case
Hydrogenation effects in In-rich InGaN alloys
No full textEsperimento presso ELETTRA Synchrotron Radiation Facility (Trieste) approvato dal review panel internazional
Effect of hydrogen irradiation on the valence band structure of dilute nitride semiconductor allo
No full textH irradiation is a tool which can be used to tune the optical properties of "dilute nitride" semiconductor alloys. This effect is due to the formation of N-H complexes.
We propose to measure XES spectra at the N K edge in GaAsN to determine the changes in the local VB DOS induced by H irradiation. This will allow to gain unavailable insight on this intriguing physical phenomenon
Forward refutation for Gödel-Dummett Logics
Full text linkWe propose a refutation calculus to check the unprovability of a formula in Gödel-Dummett logics. From refutations we can directly extract countermodels for unprovable formulas, moreover the calculus is designed so to support a forward proof-search strategy that can be understood as a top-down construction of a model
Epistemic Logic Programs: an Approach to Semantic Comparison
Full text linkEpistemic Logic Programs (ELPs) extend Answer Set Programming (ASP) with epistemic operators. The semantics of such programs is provided in terms of world views, which are sets of belief sets. Several semantic approaches have been proposed over time to characterize world views. Recent work has introduced semantic properties that should be met by any semantics for ELPs. We propose a new method, easy but, we believe, effective, to compare the different semantic approaches
Temporalizing Epistemic Logic L-DINF
Full text linkAgents and Multi-Agent Systems (MAS) are a technology that has many fields of application, which extend also to human sciences and where Computational Logic has been widely applied. In this paper, we join together two of our long-lasting lines of work in this field. In particular, we introduce time and time intervals into the epistemic logic L-DINF, that copes with group dynamics in MAS
An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence
Full text linkOur work describes a smart-ecosystem able to monitor patients' health condition, even at home or at work, by exploiting a creative blend of Medical Wearables, Intelligent Agents, Complex Event Processing and Image Processing. With the help of a smart application, that links together the Wearables and the power of Artificial Intelligence, patients will be continuously and actively supervised during their daily activities. This can even save their lives, in case sudden or gradual issues should occur. Thanks to our system, patients with non-severe though potentially unstable chronic diseases will no longer overburden first aid services. This is also useful for containing the spread of COVID-19. Specifically, in this paper we focus on automated vitals monitoring, electrocardiogram (ECG) analysis, and Psoriasis detection
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
- …
