Semantic and inferencing abilities in children with communication disorders

Background: Semantic and inferencing abilities have not been fully examined in children with communication difficulties. Aims: To investigate the inferential and semantic abilities of children with communication difficulties using newly designed tasks. Methods & Procedures: Children with different types of communication disorder were compared with each other and with three groups of typically developing children: those of the same chronological age and two groups of younger children. In total, 25 children aged 11 years with specific language impairment and 22 children, also 11 years of age, with primary pragmatic difficulties were recruited. Typically developing groups aged 11 (n = 35; age‐match), and those aged 9 (n = 40) and 7 (n = 37; language similar) also participated as comparisons. Outcomes & Results: For Semantic Choices, children with specific language impairment performed significantly more poorly than 9‐ and 11‐year‐olds, whilst the pragmatic difficulties group scored significantly lower than all the typically developing groups. Borderline differences between specific language impairment and pragmatic difficulties groups were found. For inferencing, children with communication impairments performed significantly below the 11‐year‐old peers, but not poorer than 9‐ and 7‐year‐olds, suggesting that this skill is in line with language ability. Six children in the pragmatic difficulties group who met diagnosis for autism performed more poorly than the other two clinical groups on both tasks, but not statistically significantly so. Conclusions: Both tasks were more difficult for those with communication impairments compared with peers. Semantic but not inferencing abilities showed a non‐significant trend for differences between the two clinical groups and children with pragmatic difficulties performed more poorly than all typically developing groups. The tasks may relate to each other in varying ways according to type of communication difficulty

A Terminating Evaluation-Driven Variant of G3i

We present Gbu, a terminating variant of the sequent calculus G3i for intuitionistic propositional logic. Gbu modifies G3i by annotating the sequents so to distinguish rule applications into two phases: an unblocked phase where any rule can be backward applied, and a blocked phase where only right rules can be used. Derivations of Gbu have a trivial translation into G3i. Rules for right implication exploit an evaluation relation, defined on sequents; this is the key tool to avoid the generation of branches of infinite length in proof-search. To prove the completeness of Gbu, we introduce a refutation calculus Rbu for unprovability dual to Gbu. We provide a proof-search procedure that, given a sequent as input, returns either a Rbu-derivation or a Gbu-derivation of it

Public subsidies for credit support, democracy and European female-led SMEs

PurposeThe article investigates whether variety of democracy affects the probability to employ public subsidies for credit support by small- and medium-sized enterprises (SMEs) led by female entrepreneurs.Design/methodology/approachBuilding on the literature on democracy and on gender differences, it leverages a large firm- and country-level dataset (SAFE) of 31 democracies in Europe (EU and non-EU) over the 2009-2014 period by using probit models and instrumental variable approaches.FindingsResults from the different econometric techniques and samples suggest that variety of democracy affects female-led SMEs in using public subsidies for credit support. The evidence is robust to endogeneity concerns.Research limitations/implicationsThe empirical evidence presents a time frame limitation. At the same time, SAFE is the only database that supplies information about the gender of firms and public subsidies for credit support, rendering it the only resource that allows the test of the hypothesis proposed. The article therefore offers insights for scholars to revisit our results in future studies that make use of datasets with a longer time span - when they will become available.Originality/valueTo the best of the authors' knowledge, the article is the first to study the effect of democracy on female entrepreneurial behavior in the use of public subsidies for credit support

A webgis for the knowledge and conservation of the historical buildings in Sardinia (Italy)

The presented work is part of the research project, titled "Tecniche murarie tradizionali: conoscenza per la conservazione ed il miglioramento prestazionale" (Traditional building techniques: from knowledge to conservation and performance improvement). This research project has the purpose of studying the building techniques of the 13th- 18thcenturies in the Sardinia Region (Italy) for their knowledge, conservation, and promotion. The end purpose of the entire study is to improve the performance of the examined structures. In particular, the task of the authors within the research project was to build a WebGIS to manage the data collected during the examination and study phases. This infrastructure was entirely built using Open Source software. The work consisted of designing a database built in PostgreSQL and its spatial extension PostGIS, which allows storing and managing feature geometries and spatial data. The data input is performed via a form built in HTML and PHP. The HTML part is based on Bootstrap, an open tools library for websites and web applications. The implementation of this template used both PHP and Javascript code. The PHP code manages the reading and writing of data to the database, using embedded SQL queries. The database is published on the Internet as a WebGIS built using the Leaflet Javascript open libraries, which allows creating map sites with background maps and navigation, input and query tools. This too uses an interaction of HTML, Javascript, PHP and SQL code. The Database can be accessed in QGIS via a PostgreSQL connection. As of today, we surveyed and archived more than 300 buildings, belonging to three main macro categories: fortification architectures, religious architectures, residential architectures

A WEBGIS for the knowledge and conservation of the historical wall structures of the 13th–18th centuries

The presented work is part of the research project, titled "Tecniche murarie tradizionali: conoscenza per la conservazione ed il miglioramento prestazionale" (Traditional building techniques: from knowledge to conservation and performance improvement), with the purpose of studying the building techniques of the 13th–18th centuries in the Sardinia Region (Italy) for their knowledge, conservation, and promotion. The end purpose of the entire study is to improve the performance of the examined structures. In particular, the task of the authors within the research project was to build a WebGIS to manage the data collected during the examination and study phases. This infrastructure was entirely built using Open Source software. The work consisted of designing a database built in PostgreSQL and its spatial extension PostGIS, which allows to store and manage feature geometries and spatial data. The data input is performed via a form built in HTML and PHP. The HTML part is based on Bootstrap, an open tools library for websites and web applications. The implementation of this template used both PHP and Javascript code. The PHP code manages the reading and writing of data to the database, using embedded SQL queries. As of today, we surveyed and archived more than 300 buildings, belonging to three main macro categories: fortification architectures, religious architectures, residential architectures. The masonry samples investigated in relation to the construction techniques are more than 150. The database is published on the Internet as a WebGIS built using the Leaflet Javascript open libraries, which allows creating map sites with background maps and navigation, input and query tools. This too uses an interaction of HTML, Javascript, PHP and SQL code

Sequent Calculus in the Topos of Trees

Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that the semantics of the propositional fragment of this logic can be given by linear converse-well-founded intuitionistic Kripke frames, so this logic is a marriage of the intuitionistic modal logic KM and the intermediate logic LC. We therefore call this logic $\mathrm{KM}_{\mathrm{lin}}$. We give a sound and cut-free complete sequent calculus for $\mathrm{KM}_{\mathrm{lin}}$ via a strategy that decomposes implication into its static and irreflexive components. Our calculus provides deterministic and terminating backward proof-search, yields decidability of the logic and the coNP-completeness of its validity problem. Our calculus and decision procedure can be restricted to drop linearity and hence capture KM.Comment: Extended version, with full proof details, of a paper accepted to FoSSaCS 2015 (this version edited to fix some minor typos

Vertical ridge augmentation with Ti-reinforced dense polytetrafluoroethylene (d-PTFE) membranes or Ti-meshes and collagen membranes: 3-year results of a randomized clinical trial

BackgroundThe present study aimed to evaluate hard and soft tissue parameters around implants placed in augmented posterior mandible, comparing Ti-reinforced d-PTFE membranes with Ti-meshes covered with collagen membranes, after 3 years of follow-up. Materials and MethodsForty eligible patients were randomly assigned to group A (Ti-reinforced d-PTFE membrane) or group B (mesh covered with collagen membrane) for vertical ridge augmentation (VRA) and simultaneous implants. Implants were evaluated using specific peri-implant parameters for bone and soft tissues: probing pocket depth (PPD), modified plaque index (mPI), bleeding on probing (BoP), modified gingival index (mGI), thickness of keratinized tissue (tKT), width of keratinized tissue (wKT), fornix depth (FD), peri-implant bone level (PBL), interproximal bone peaks (IBP), marginal bone loss (MBL), interproximal bone loss (IBL). ResultsA total of 28 patients with 79 implants were evaluated after 3 years of follow-up. The mean value of MBL was 0.70 mm (group A = 0.73 mm; group B = 0.71 mm), while mean IBL was 0.54 mm (group A = 0.64 mm; group B = 0.40 mm). The treatment with meshes resulted not inferior to PTFE and their clinical results appeared similar. A strong correlation between PBL and IBP was confirmed. Both study groups showed an increase of tKT and wKT values. ConclusionIn the posterior mandible, VRA using both techniques provides stable PBLs up to 3 years. A correct soft tissue management and a strict professional oral hygiene protocol play a crucial role on peri-implant health over time

P523 Survey to identify patient characteristics, treatment preferences and impact of inflammatory bowel disease (IBD) on quality of life across 7 countries in Europe

Abstract Background The treatment paradigm for inflammatory bowel disease (IBD) is becoming increasingly diverse and complex. It is suggested that engaging patients through shared decision-making optimises treatment selection in line with clinical need and patient preference and expectations. This patient survey aimed to explore patients' preferences towards attributes of currently available advanced therapies for IBD as well as the impact of IBD on patients' quality of life (QoL) across 7 countries in Europe. The demographic profile of the study cohort and findings on the patient-rated impact of IBD on QoL are reported here. Methods An online, cross-sectional survey (October 2020 to January 2021) enrolling adults aged ≥18 years who self-reported having and being previously/currently treated for Crohn's disease (CD) or ulcerative colitis (UC) was conducted across Europe (France, the UK, Spain, Italy, Belgium, Switzerland and the Netherlands). Patient perspectives on IBD care and preferences regarding specific attributes of existing treatment options were explored using the Carenity platform and via partnerships with local organisations. This descriptive analysis evaluated the demographic and clinical profile of respondents, treatment management and impact on QoL. Results Overall, 686 patients (CD: 360; UC: 326) across 7 countries completed the survey. Among CD and UC patients, respectively, 71.9% and 57.7% were females; mean age (range) was 48.0 (19.0–77.0) and 50.0 (19.0–82.0) years; and mean disease duration (range) was 13.6 (0.2–49.1) and 11.0 (0.1–68.7) years. Overall, 37.5% of CD patients reported fistulising CD, and 9.4% (CD) and 10.1% (UC) of patients had a stoma or pouch; 76.7% (CD) and 78.5% (UC) of patients were being treated for IBD. Approximately 50.0% of patients with IBD were full-time or part-time employed at the time of survey. Abdominal pain, fatigue, and stool frequency were ranked by 83%, 79%, and 73% patients with CD, respectively, as the symptoms most impacting QoL; 79%, 71%, and 61% patients ranked energy status, general well-being and daily activities, respectively, as the most impacted aspects. Abdominal pain, stool frequency and fatigue were ranked by 73%, 72% and 67% patients with UC, respectively, as the symptoms most impacting QoL; the most impacted aspects were similar to those of patients with CD. Patients in both groups prioritised general well-being, energy status and daily activities as aspects for improvement through treatment. Conclusion This large European survey highlights the most impactful symptoms and QoL aspects from the patient perspective. These findings can support clinical decision-making and treatment strategies to improve treatment outcomes and patient QoL

P105 SURGERY AT DIAGNOSIS OF CROHN'S DISEASE REDUCES THE NEED FOR STEROIDS AND IMMUNOMODULATORS

n/

BCDL : Basic Constructive Description Logic

In this paper we present BCDL, a description logic based on information terms semantics, which allows a constructive interpretation of ALC formulas. In the paper we describe the information terms semantics, we define a natural deduction calculus for BCDL and we show it is sound and complete. As a first application of proof-theoretical properties of the calculus, we show how it fulfills the proofs-as-programs paradigm. Finally, we discuss the role of generators, the main element distinguishing our formalisation from the usual ones