Research integrity (RI) is defined as adherence to ethical principles, deontological duties, and professional standards necessary for responsible conduct of scientific research. Early training on RI, especially for early-career researchers, could be useful to help develop good standards of conduct and prevent research misconduct (RM).The aim of this study is to assess the effectiveness of a training course on RI, by mapping the attitudes of early-career researchers on this topic through a questionnaire built upon the revised version of the Scientific (...) Misconduct Questionnaire and administered to all participants at the beginning and at the end of the course.Results show that after the course, participants reporting a high understanding of the rules and procedures related to RM significantly increased (pre-course: 38.5%, post-course: 61.5%), together with the percentage of those reporting a lack of awareness on the extent of misconduct (pre-course: 46.2%, post-course: 69.2%), and of those who believe that the lack of research ethics consultation services strongly affects RM (pre-course: 15.4%, post-course: 61.5%). Early-career researchers agree on the importance to share with peers and superiors any ethical concern that may arise in research, and to create a work environment that fosters RI awareness.As a whole, results suggest the effectiveness of the course. Institutions should introduce RI training for early-career researchers, together with research methodology, integrity and ethics consultation services to support them. Senior scientists should promote RI into their research practices, and should stimulate engagement in peer-to-peer dialogue to develop good practices based on RI principles. (shrink)

We present a sequent calculus for the modal logic S4, and building on some relevant features of this system we show how S4 can easily be translated into full propositional linear logic, extending the Grishin-Ono translation of classical logic into linear logic. The translation introduces linear modalities only in correspondence with S4 modalities. We discuss the complexity of the decision problem for several classes of linear formulas naturally arising from the proposed translations.

We present a syntactical cut-elimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) spectrum. We design the systems uniformly since they all share the same set of rules. Different logics are obtained by “tuning” a single parameter, namely a constraint on the applicability of the cut rule and on the (left and right, respectively) rules for \(\Box\) and \(\Diamond\). Starting points for this research are 2-sequents and indexed-based calculi (...) (sequents and tableaux). By extending and modifying existing proposals, we show how to achieve a syntactical proof of the cut-elimination theorem that is as close as possible to the one for first-order classical logic. In doing this, we implicitly show how small is the proof-theoretical distance between classical logic and the systems under consideration. (shrink)

The meaning of a formula built out of proof-functional connectives depends in an essential way upon the intensional aspect of the proofs of the component subformulas. We study three such connectives, strong equivalence (where the two directions of the equivalence are established by mutually inverse maps), strong conjunction (where the two components of the conjunction are established by the same proof) and relevant implication (where the implication is established by an identity map). For each of these connectives we give a (...) type assignment system, a realizability semantics, and a completeness theorem. This form of completeness implies the semantic completeness of the type assignment system. (shrink)

This workshop on stochastic theory and adaptive control assembled many of the leading researchers on stochastic control and stochastic adaptive control to increase scientific exchange and cooperative research between these two subfields of stochastic analysis. The papers included in the proceedings include survey and research. They describe both theoretical results and applications of adaptive control. There are theoretical results in identification, filtering, control, adaptive control and various other related topics. Some applications to manufacturing systems, queues, networks, medicine and other topics (...) are gien. (shrink)

The research that I have carried out on the sense of hearing in the Aristotelian ambit is based on a personal interest in the medical aspects that can be found in the treaties of the Stagirite. If, on the one hand, there has always been very deep attention by the scholars to the phenomenon of perception, and still there is, on the other hand, although not ignored, hearing remains perhaps somewhat neglected or, however, not sufficiently investigated so far, despite its (...) importance; but, above all, the effort to consider all its various implications together and the whole Corpus Aristotelicum has not been accomplished up to today. This is the intent that I have purposed and which I hope to have at least partially achieved. Of course, it was a constant need to refer also to the other senses and, in general, to Aristotle's theory of perception; I have, however, tried to point out every possible aspects, which could explain the peculiarities of hearing. Without claiming in any way to draw up a rank list of the senses, since each of them, according to the different points of view, seems more or less to aspire to a kind of primacy, I was able to demonstrate the extraordinary importance of hearing and, within certain limits, his preferability. After an introductory chapter on the position of hearing among the other senses, I have proposed a rather long one, in which I more specifically dealt with the anatomical, physiological and pathological aspects (and, finally, even some physical-mathematical considerations, that I think of great philosophical and scientific relevance); then, it has been given ample space (and could not be otherwise) to the complex issue of the relationship between hearing and language, which made it possible to highlight, thanks to the comparative approach of the Aristotelian investigations in the biological ambit, the differences between sound, voice and speech, and to show the key role of hearing in order to learning (also animal) and intellectual development (especially human). In a final articulated chapter I approached what I consider the further possible implications of hearing, always clinging to the Aristotelian treatment: in addition to the physical phenomena of echo, roar, resonance and the psychophysicist ones of acoustic illusions, I could not exempt myself from talking about music, also in "technical" terms (as my limited skills in the field have allowed me to), but especially because of its educational features examined in the paragraph Emotions, morality and education, where hearing is reported as undisputed protagonist in the ethical, aesthetic, rhetorical, political ambits; the chapter, and the dissertation itself, are closed by some remarks about the relations of hearing with memory and recollection and with dream: apart from the latter, where sight seems to dominate, with the first two the auditory role is on the contrary of primary importance, despite still today people are often inclined to mention visual memory more frequently. Even from these few notes I think I can state that it was really worthwhile to dedicate a research to the sense of hearing, especially in regard to a Corpus so broad, rich, varied and complex, such as the Aristotelian one. (shrink)

1. Parte teorico-introduttiva -- 2. Parte pratico-operativa.