1,140 research outputs found
On the Concept of a Notational Variant
In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic
Trigonometric vehicle guidance assembly which aligns the three perpendicular axes of two three-axes systems Patent
Electrical and electromechanical trigonometric computation assembly and space vehicle guidance system for aligning perpendicular axes of two sets of three-axes coordinate reference
Temporal variability of disturbances: is this important for diversity and structure of marine fouling assemblages?
Natural communities are constantly changing due to a variety of interacting external processes and the temporal occurrence and intensity of these processes can have important implications for the diversity and structure of marine sessile assemblages. In this study, we investigated the effects of temporal variation in a disturbance regime, as well as the specific timing of events within different regimes, on the composition and diversity of marine subtidal fouling assemblages. We did this in a multi-factorial experiment using artificial settlement tiles deployed at two sites on the North East coast of England. We found that although there were significant effects of disturbances on the composition of assemblages, there were no effects of either the variation in the disturbance regime or the specific timing of events on the diversity or assemblage composition at either site. In contrast to recent implications we conclude that in marine fouling assemblages, the variability in disturbance regimes (as a driving force) is unimportant, while disturbance itself is an important force for structuring robust ecosystems
Non-Compositional Term Dependence for Information Retrieval
Modelling term dependence in IR aims to identify co-occurring terms that are
too heavily dependent on each other to be treated as a bag of words, and to
adapt the indexing and ranking accordingly. Dependent terms are predominantly
identified using lexical frequency statistics, assuming that (a) if terms
co-occur often enough in some corpus, they are semantically dependent; (b) the
more often they co-occur, the more semantically dependent they are. This
assumption is not always correct: the frequency of co-occurring terms can be
separate from the strength of their semantic dependence. E.g. "red tape" might
be overall less frequent than "tape measure" in some corpus, but this does not
mean that "red"+"tape" are less dependent than "tape"+"measure". This is
especially the case for non-compositional phrases, i.e. phrases whose meaning
cannot be composed from the individual meanings of their terms (such as the
phrase "red tape" meaning bureaucracy). Motivated by this lack of distinction
between the frequency and strength of term dependence in IR, we present a
principled approach for handling term dependence in queries, using both lexical
frequency and semantic evidence. We focus on non-compositional phrases,
extending a recent unsupervised model for their detection [21] to IR. Our
approach, integrated into ranking using Markov Random Fields [31], yields
effectiveness gains over competitive TREC baselines, showing that there is
still room for improvement in the very well-studied area of term dependence in
IR
Networks uncover hidden lexical borrowing in Indo-European language evolution
Language evolution is traditionally described in terms of family trees with ancestral languages splitting into descendent languages. However, it has long been recognized that language evolution also entails horizontal components, most commonly through lexical borrowing. For example, the English language was heavily influenced by Old Norse and Old French; eight per cent of its basic vocabulary is borrowed. Borrowing is a distinctly non-tree-like process—akin to horizontal gene transfer in genome evolution—that cannot be recovered by phylogenetic trees. Here, we infer the frequency of hidden borrowing among 2346 cognates (etymologically related words) of basic vocabulary distributed across 84 Indo-European languages. The dataset includes 124 (5%) known borrowings. Applying the uniformitarian principle to inventory dynamics in past and present basic vocabularies, we find that 1373 (61%) of the cognates have been affected by borrowing during their history. Our approach correctly identified 117 (94%) known borrowings. Reconstructed phylogenetic networks that capture both vertical and horizontal components of evolutionary history reveal that, on average, eight per cent of the words of basic vocabulary in each Indo-European language were involved in borrowing during evolution. Basic vocabulary is often assumed to be relatively resistant to borrowing. Our results indicate that the impact of borrowing is far more widespread than previously thought
On two problems in graph Ramsey theory
We study two classical problems in graph Ramsey theory, that of determining
the Ramsey number of bounded-degree graphs and that of estimating the induced
Ramsey number for a graph with a given number of vertices.
The Ramsey number r(H) of a graph H is the least positive integer N such that
every two-coloring of the edges of the complete graph contains a
monochromatic copy of H. A famous result of Chv\'atal, R\"{o}dl, Szemer\'edi
and Trotter states that there exists a constant c(\Delta) such that r(H) \leq
c(\Delta) n for every graph H with n vertices and maximum degree \Delta. The
important open question is to determine the constant c(\Delta). The best
results, both due to Graham, R\"{o}dl and Ruci\'nski, state that there are
constants c and c' such that 2^{c' \Delta} \leq c(\Delta) \leq 2^{c \Delta
\log^2 \Delta}. We improve this upper bound, showing that there is a constant c
for which c(\Delta) \leq 2^{c \Delta \log \Delta}.
The induced Ramsey number r_{ind}(H) of a graph H is the least positive
integer N for which there exists a graph G on N vertices such that every
two-coloring of the edges of G contains an induced monochromatic copy of H.
Erd\H{o}s conjectured the existence of a constant c such that, for any graph H
on n vertices, r_{ind}(H) \leq 2^{c n}. We move a step closer to proving this
conjecture, showing that r_{ind} (H) \leq 2^{c n \log n}. This improves upon an
earlier result of Kohayakawa, Pr\"{o}mel and R\"{o}dl by a factor of \log n in
the exponent.Comment: 18 page
Evaluational adjectives
This paper demarcates a theoretically interesting class of "evaluational adjectives." This class includes predicates expressing various kinds of normative and epistemic evaluation, such as predicates of personal taste, aesthetic adjectives, moral adjectives, and epistemic adjectives, among others. Evaluational adjectives are distinguished, empirically, in exhibiting phenomena such as discourse-oriented use, felicitous embedding under the attitude verb `find', and sorites-susceptibility in the comparative form. A unified degree-based semantics is developed: What distinguishes evaluational adjectives, semantically, is that they denote context-dependent measure functions ("evaluational perspectives")—context-dependent mappings to degrees of taste, beauty, probability, etc., depending on the adjective. This perspective-sensitivity characterizing the class of evaluational adjectives cannot be assimilated to vagueness, sensitivity to an experiencer argument, or multidimensionality; and it cannot be demarcated in terms of pretheoretic notions of subjectivity, common in the literature. I propose that certain diagnostics for "subjective" expressions be analyzed instead in terms of a precisely specified kind of discourse-oriented use of context-sensitive language. I close by applying the account to `find x PRED' ascriptions
Co-producing an intervention to prevent mental health problems in children and young people in contact with child welfare services
\ua9 The Author(s) 2024. Background: Children and young people (CYP) in contact with child welfare services are at high risk of developing mental health problems. There is a paucity of evidenced-based preventative interventions provided to this population. Objective: This project worked in partnership with CYP, their parents/caregivers and the professionals who support them to co-produce a preventative mental health intervention for CYP in contact with child welfare services. Participants and setting: We recruited a purposive sample of CYP in contact with child welfare services (n = 23), parents/caregivers (n = 18) and practitioners working within child welfare services and mental health services (n = 25) from the North East of England and convened co-production workshops (n = 4). Methods: This project followed the established principles for intervention development, applying the six steps to quality intervention development (6SQUID) approach. The mixed method research consisted of four work packages with continuous engagement of stakeholders throughout the project. These were: a systematic review of reviews; focus groups with practitioners; interviews with parents/caregivers and CYP; co-production workshops. Results: We identified that the primary risk factor affecting CYP in contact with child welfare services is the experience of childhood adversity. The quality of relationships that the CYP experiences with both their parent/caregivers and the professionals involved in their care are considered to be the main factors amenable to change. Conclusions: We found that a trauma-informed, activity-based intervention with an embedded family-focused component provided to CYP who have experienced adversity is most likely to prevent mental health problems in those in contact with child welfare services
- …