Time-stamped claim logic

The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are considered to be more trustworthy than others. We introduce the Time-Stamped Claim Logic including a sound and complete sequent calculus. In order to show how Time-Stamped Claim Logic can be used in practice, we consider a concrete cyber-attribution case study

Calcareous Nannofossils and Paleoclimatic Evolution Across the Eocene-Oligocene Transition at IODP Site U1509, Tasman Sea, Southwest Pacific Ocean

The Eocene‐Oligocene transition (EOT; ∼34 Ma) was one of the most prominent global cooling events of the Cenozoic, coincident with the emergence of continental‐scale ice‐sheets on Antarctica. Calcareous nannoplankton experienced significant assemblage turnover at a time of long‐term surface ocean cooling and trophic conditions, suggesting cause‐effect relationships between Antarctic glaciation, broader climate changes, and the response of phytoplankton communities. To better evaluate the timing and nature of these relationships, we generated calcareous nannofossil and geochemical data sets (δ18O, δ13C and %CaCO3) over a ∼5 Myr stratigraphic interval recovered across the EOT from IODP Site U1509 in the Tasman Sea, South Pacific Ocean. Based on trends observed in the calcareous nannofossil assemblages, there was an overall decline of warm‐oligotrophic communities, with a shift toward taxa better adapted to cooler more eutrophic conditions. Assemblage changes indicate four distinct phases caused by temperature decrease and variations in paleocurrents: late Eocene warm‐oligotrophic phase, precursor diversity‐decrease phase, early Oligocene cold‐eutrophic phase, and a steady‐state cosmopolitan phase. The most prominent shift in the assemblages occurred during the ∼550 kyr‐long precursor diversity‐decrease phase, which has relatively high bulk δ18O and %CaCO3 values, and predates the phase of maximum glacial expansion (Earliest Oligocene Glacial Maximum–EOGM)

On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated labelled calculus

Needs, expectations and consequences for the child growing up in a family with a parent with mental illness

Parental mental illness is considered one of the strongest risk-factors for development of offspring psychopathology. The lack of pan-European guidelines for empowering children of parents with mental illness led to EU project CAMILLE - Empowerment of Children and Adolescents of Mentally Ill Parents through Training of Professionals working with children and adolescents. The first task in this project, was to analyse needs, expectations and consequences for children, with respect to living with a parent with mental illness. The aim this paper is to report results of these analyses. The qualitative research was conducted in England, Finland, Germany, Italy, Norway, Poland and Scotland (N=96). There were 3 types of focus groups: (1) professionals (doctors, nurses, psychologists, social workers), (2) adult children and partners of a person with mental illness, (3) parents who have experienced mental illness during their parenthood. Framework analysis method was used. Results of the study highlighted that the main consequences for children of parental mental illness were role reversal, emotional and behavioural problems, lack of parent’s attention and stigma. The main needs of these children were emotional support, security and multidisciplinary help. Implications for practice are: (1) professionals working with parents with mental illness should be aware of the specific consequences for the children; (2) to empower children they should focus on them, but not excluding parents from the parental roles; (3) the multi-agency collaboration is necessary; (4) schools should provide counselling and teach staff and students about mental health problems to reduce stigm

Formal Verification of Security Protocol Implementations: A Survey

Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages. Recently, some researchers have started investigating techniques that bring automated formal proofs closer to real implementations. This paper surveys these attempts, focusing on approaches that target the application code that implements protocol logic, rather than the libraries that implement cryptography. According to these approaches, libraries are assumed to correctly implement some models. The aim is to derive formal proofs that, under this assumption, give assurance about the application code that implements the protocol logic. The two main approaches of model extraction and code generation are presented, along with the main techniques adopted for each approac

Cognitive dysfunction and psychopathology: a cohort study of adults with intellectual developmental disorder

Background: Cognitive impairment of intellectual developmental disorders (IDD) is determined by several different combinations of specific cognitive alterations. People with IDD present a rate of mental health problems that is up to 4 times higher than that of the general population. Despite this, the relationship between specific cognitive dysfunctions and co-occurring mental disorders has not been adequately studied. The aim of the present paper is to investigate the association between specific cognitive dysfunctions and specific psychiatric symptoms and syndromes in people with IDD. Methods: One hundred and twenty adults with mild to moderate IDD living in residential facilities underwent a clinical and instrumental assessment for specific cognitive and psychopathological features. Results: Participants with IDD and ASD have significantly lower scores compared to those without respect to who has not the diagnosis on the Processing Speed Index (PSI) and Perceptual Reasoning Index (PRI) on the WAIS-IV and higher time scores on the TMT A. Moreover, there is a significant association between years of hospitalisation and TMT B and TMT B A time scores; the longer a participant with IDD was hospitalised, the worse their performance on the TMT. Although not statistically significant, many psychopathological clusters showed substantial cognitive profiles. Conclusions: Although further research is needed, neuropsychological and IQ tests scores seem to be differently associated to various psychopathological conditions co-occurring with IDD, and with ASD especially. Cognitive assessment seems to support diagnosis and treatment of psychopathological co-occurrences in persons with IDD, also in consideration of indirect implications including a better knowledge of the patient's characteristics beyond IQ deficit

A pan-European review of good practices in early intervention safeguarding practice with children, young people and families : evidence gathering to inform a multi-disciplinary training programme (the ERICA project) in preventing child abuse and neglect in seven European countries

Funded by the Rights, Equality and Citizenship Programme of the European Commission (European Commission 2019–2021).Child maltreatment has detrimental social and health effects for individuals, families and communities. The ERICA project is a pan-European training programme that equips non-specialist threshold practitioners with knowledge and skills to prevent and detect child maltreatment. This paper describes and presents the findings of a rapid review of good practice examples across seven participating countries including local services, programmes and risk assessment tools used in the detection and prevention of child maltreatment in the family. Learning was applied to the development of the generic training project. A template for mapping the good practice examples was collaboratively developed by the seven participating partner countries. A descriptive data analysis was undertaken organised by an a priori analysis framework. Examples were organised into three areas: programmes tackling child abuse and neglect, local practices in assessment and referral, risk assessment tools. Key findings were identified using a thematic approach. Seventy-two good practice examples were identified and categorised according to area, subcategory and number. A typology was developed as follows: legislative frameworks, child health promotion programmes, national guidance on child maltreatment, local practice guidance, risk assessment tools, local support services, early intervention programmes, telephone or internet-based support services, COVID-19 related good practices. Improved integration of guidance into practice and professional training in child development were highlighted as overarching needs. The impact of COVID-19 on safeguarding issues was apparent. The ERICA training programme formally responded to the learning identified in this international good practice review.Publisher PDFPeer reviewe

Web Based Postgraduate Thesis/Dessertation System - A Prototype

With the advancement of information communication technology in Malaysia, education field should take advantage to upgrade their learning and management techniques. Students should be allowed to learn anytime, anywhere and at their own place. However administration and lecture should be able to manage their work more effective and flexible. The web-based system is effective way to learning and managing education works. This report outlines the development of a web-based postgraduate thesis/dissertation management system (WPTS), which aimed to assist thesis/dissertation administration, supervisor and students in the better integration during students doing the thesis/dissertation works. This prototype system base on case study with a group of MSC(IT), administration, lecturer and students who participate in thesis/dissertation management activities. This report also presenting the tests conducted with users, it also contributed some perspective regarding benefits that gain by administration, supervisor and students, and recommends future application of the approach