The tractability frontier of graph-like first-order query sets

We study first-order model checking, by which we refer to the problem of deciding whether or not a given first-order sentence is satisfied by a given finite structure. In particular, we aim to understand on which sets of sentences this problem is tractable, in the sense of parameterized complexity theory. To this end, we define the notion of a graph-like sentence set, which definition is inspired by previous work on first-order model checking wherein the permitted connectives and quantifiers were restricted. Our main theorem is the complete tractability classification of such graphlike sentence sets, which is (to our knowledge) the first complexity classification theorem concerning a class of sentences that has no restriction on the connectives and quantifiers. To present and prove our classification, we introduce and develop a novel complexity-theoretic framework which is built on parameterized complexity and includes new notions of reduction

A Three-dimensional Deformable Brain Atlas for DBS Targeting. I. Methodology for Atlas Creation and Artifact Reduction.

BackgroundTargeting in deep brain stimulation (DBS) relies heavily on the ability to accurately localize particular anatomic brain structures. Direct targeting of subcortical structures has been limited by the ability to visualize relevant DBS targets.Methods and resultsIn this work, we describe the development and implementation, of a methodology utilized to create a three dimensional deformable atlas for DBS surgery. This atlas was designed to correspond to the print version of the Schaltenbrand-Bailey atlas structural contours. We employed a smoothing technique to reduce artifacts inherent in the print version.ConclusionsWe present the methodology used to create a three dimensional patient specific DBS atlas which may in the future be tested for clinical utility

A note on drastic product logic

The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum. So, there are no drastic product $t$-norm based many-valued logics, in the sense of [EG01]. However, if we renounce standard completeness, we can study the logic whose semantics is provided by those MTL chains whose monoidal operation is the drastic product. This logic is called ${\rm S}_{3}{\rm MTL}$ in [NOG06]. In this note we justify the study of this logic, which we rechristen DP (for drastic product), by means of some interesting properties relating DP and its algebraic semantics to a weakened law of excluded middle, to the $\Delta$ projection operator and to discriminator varieties. We shall show that the category of finite DP-algebras is dually equivalent to a category whose objects are multisets of finite chains. This duality allows us to classify all axiomatic extensions of DP, and to compute the free finitely generated DP-algebras.Comment: 11 pages, 3 figure

Towards a norm of compliance in recreational fisheries

The activity of fishing can be traced back to prehistoric times. However, only in the last century has there been a focus on the management of fisheries. Fishery regulations are tools used by resource managers with the aim of protecting the long-term sustainability of fishery resources. Although there is an overwhelming amount of evidence demonstrating the decline of fisheries, non-compliance with these regulations by fishers continues to manifest, which can exacerbate the negative ecological impacts of fisheries. Popular methods towards the measurement of noncompliance in fisheries derived from previous human dimensions literature may be flawed. Theories on improving compliance behaviour have typically relied on theory, which has at times proved paradoxical. Addressing the issues of non-compliance within a fishery of interest requires measuring the levels of non-compliance within the fishery and determining the relevant sociopsychological drivers behind the non-compliant behaviour. The data collection methods used during these assessments are limited in human dimensions research and are often case and context specific, requiring researchers to identify which approach is most practical for the specific fishery of interest. By identifying relevant behavioural drivers of non-compliance, a more effective approach aimed at improving compliance can be tailored. The recreational marine-based shore fishery (MBSF) in South Africa is not impervious to noncomplaint behaviour. In fact, it has been estimated to have relatively high rates of non-compliance. This high level of non-compliance makes the South African MBSF a unique and optimal context in which to undertake research that aims to formulate a framework towards compliance assessments and that develops a suitable approach for improving compliance rates. Using surveys to obtain compliance data can provide a range of details about violators, however they are susceptible to social desirability bias (SDB). Choosing the best method for controlling SDB required an assessment of existing methods for doing so. In this first part of the study, only fishers who were covertly observed breaking the rules were surveyed, using one of three methods for reducing SDB, to ground-truth the responses. Ground-truthing was done to determine which method would be most effective for a large-scale study within the same fishery. Of the methods used, which include the direct questioning method (DQM), the random response technique (RRT) and the ballot box method (BBM), all contained some level of SDB. However, the BBM provided a significantly higher level of response accuracy (79.6% ± 11.9) than the DQM (46.5% ± 14.9) and the RRT (44.3% ± 12.5). Random-stratified roving creel compliance surveys that employed the BBM were then undertaken at various locations along South Africa’s coastline to estimate current rates of non-compliance, and the face-to-face results were compared to results from an identical online survey to determine the suitability of online surveys as a replacement. The results indicated that online surveys only represent a subgroup of the fisher population within the MBSF, suggesting that face-to-face survey methods are required to obtain a more comprehensive sample and a more robust estimate of noncompliance. The results, based on 453 face-to-face surveys, showed a high level of overall self-reported noncompliance (48.3%) within the fishery. Responses to Likert scale survey questions on various aspects of the fishery, including angler motivations for fishing, were then modelled to test the relationship between the anglers’ responses and their compliance behaviour. In the South African MBSF context, the most significant behavioural drivers behind non-compliance related to normative concepts. Specifically, the poor perceptions of management and value-based legitimacy as well as low levels of moral obligation to adhere to the regulations appeared to contribute most to the observed non-compliant behaviour. Angler motivations for fishing also played a significant role in determining the compliance behaviour of anglers, with those fishing for food being more likely to violate regulations. In most countries, regardless of economic context, interventions to improve recreational fishery compliance have been developed around the instrumental concept. However, these findings suggest that for recreational fisheries, managers would do well to evaluate the impact of normative concepts on compliance and to design interventions aimed at addressing these. In the case of the South African MBSF, interventions that address angler perceptions of legitimacy and aim to correct misperceptions about social norms of compliance may provide a more practical and cost- effective method for improving poor compliance behaviour

Prevailing Arguments and Types of Conclusions of Parent\u2013Child Argumentation

This chapter examines the types of arguments used most often by parents and children and the different types of conclusions of their argumentative discussions. The conceptual tool adopted for the analysis is based on the integration of the pragma-dialectical ideal model of a critical discussion (van Eemeren &amp; Grootendorst, 2004) with the Argumentum Model of Topics (Rigotti &amp; Greco Morasso, 2019). The integration of these two tools of analysis permits to reconstruct the inferential configuration of the arguments used by parents and children and to identify the types of conclusions of their argumentative discussions. Exemplary argumentative sequences that bring to light the results obtained through the qualitative analysis of a larger corpus of argumentative discussions between parents and children are presented and discussed

investigation of integrated organic rankine cycles and wind turbines for micro scale applications

Abstract The aim of this work is the investigation of the performance of an innovative biomass/wind energy integrated system for Combined Heat and Power (CHP) generation in small-scale applications. The system is based on an Organic Rankine Cycle (ORC) fed with biomass and a wind turbine (WT). The ORC and WT sub-systems operate in parallel to produce the required electrical energy and an auxiliary boiler provides thermal energy if the CHP output is low. A preliminary investigation is performed to define the proper size of the wind turbine. Afterwards, the analysis is focused on the integrated system. In particular, the application to the Italian residential sector is analysed. Results illustrate that hybridisation improves the global conversion efficiency, by reducing the biomass consumption and overcoming the intermittency of the wind source. When the wind source is significant, the ORC system can be switched off or operated at partial load

MORPHOLOGICAL AND BIOMECHANICAL CORRELATION IN THE TENNIS ELBOW

With the definition of 'Tennis Elbow' are rubricated a series of pathologies which recognize a common origin in a damage on a level of the myotendon jointing apparatus. A decodification in biochemical molecular key of the jointing apparatus consents to identify a series of microstructures which develop specific functions of a connection between the motory unity and the tendon system. These formations ty ambient such as the one assured by proteoglicanic matrix in which perform the nervous formations wich are appointed to the peripheric control of the rnyotendon jointing. The morphological research led on a level of the myotendon jointings in normal conditions and in the course of insertional pathologia, has displayed howat an insertional level, it takes place deep structural changes characterized by progressive loss of the visco-elasticity . These dates have been put in relation to study of the elbow and wrist joints, in normal conditions and in course of 'tennis elbow'. In particular it has been inquired, in isokinetic, the relation of force of / the 'motor muscles' which control the motory unities of the elbow and wrist joints. In has been observed significative alteration of case control in the peak torque ratio (%) of the an d flex muscles of the wrist (80 vs 40) in the relation of pronators/supinators (138 vs 88). The results of this study suggest how at the base of “tennis elbow' there are biological and biomechanical conditions which determine the arising of pathologia, they condition the evolution and constitute the potential 'target' of the therapy

Analysis of multi-source energy system for small-scale domestic applications. Integration of biodiesel, solar and wind energy

The paper aims at analysing the energy performance of an innovative multi-source energy system for residential small-scale combined heat and power (CHP) applications. The integrated system is based on an Organic Rankine Cycle (ORC) fuelled by biodiesel, a wind turbine, and a photovoltaic unit. The application refers to the Italian residential sector. The ORC system operates in order to satisfy the thermal demand of domestic users while wind and solar based sub-systems work in parallel to increase the electric self-consumption rate. An auxiliary boiler provides thermal energy when the CHP thermal output is low. Furthermore, when the solar and/or wind sources are significant, the ORC can be switched-off or operated at partial load.A preliminary investigation is performed to define the proper size of the ORC unit. Afterwards, the analysis is focused on a multi-variable optimisation of the integrated system. In particular, the nominal power of the wind turbine and photovoltaic units have been found in order to guarantee a proper trade-off between electric self-consumed and surplus energy. Keywords: Biodiesel, Combined heat and power, Multi-source generation, Organic Rankine cycle, Solar, Win

Parameterized Compilation Lower Bounds for Restricted CNF-formulas

We show unconditional parameterized lower bounds in the area of knowledge compilation, more specifically on the size of circuits in decomposable negation normal form (DNNF) that encode CNF-formulas restricted by several graph width measures. In particular, we show that - there are CNF formulas of size $n$ and modular incidence treewidth $k$ whose smallest DNNF-encoding has size $n^{\Omega(k)}$, and - there are CNF formulas of size $n$ and incidence neighborhood diversity $k$ whose smallest DNNF-encoding has size $n^{\Omega(\sqrt{k})}$. These results complement recent upper bounds for compiling CNF into DNNF and strengthen---quantitatively and qualitatively---known conditional low\-er bounds for cliquewidth. Moreover, they show that, unlike for many graph problems, the parameters considered here behave significantly differently from treewidth