3,073 research outputs found
Existential witness extraction in classical realizability and via a negative translation
We show how to extract existential witnesses from classical proofs using
Krivine's classical realizability---where classical proofs are interpreted as
lambda-terms with the call/cc control operator. We first recall the basic
framework of classical realizability (in classical second-order arithmetic) and
show how to extend it with primitive numerals for faster computations. Then we
show how to perform witness extraction in this framework, by discussing several
techniques depending on the shape of the existential formula. In particular, we
show that in the Sigma01-case, Krivine's witness extraction method reduces to
Friedman's through a well-suited negative translation to intuitionistic
second-order arithmetic. Finally we discuss the advantages of using call/cc
rather than a negative translation, especially from the point of view of an
implementation.Comment: 52 pages. Accepted in Logical Methods for Computer Science (LMCS),
201
Euclidean versus hyperbolic congestion in idealized versus experimental networks
This paper proposes a mathematical justification of the phenomenon of extreme
congestion at a very limited number of nodes in very large networks. It is
argued that this phenomenon occurs as a combination of the negative curvature
property of the network together with minimum length routing. More
specifically, it is shown that, in a large n-dimensional hyperbolic ball B of
radius R viewed as a roughly similar model of a Gromov hyperbolic network, the
proportion of traffic paths transiting through a small ball near the center is
independent of the radius R whereas, in a Euclidean ball, the same proportion
scales as 1/R^{n-1}. This discrepancy persists for the traffic load, which at
the center of the hyperbolic ball scales as the square of the volume, whereas
the same traffic load scales as the volume to the power (n+1)/n in the
Euclidean ball. This provides a theoretical justification of the experimental
exponent discrepancy observed by Narayan and Saniee between traffic loads in
Gromov-hyperbolic networks from the Rocketfuel data base and synthetic
Euclidean lattice networks. It is further conjectured that for networks that do
not enjoy the obvious symmetry of hyperbolic and Euclidean balls, the point of
maximum traffic is near the center of mass of the network.Comment: 23 pages, 4 figure
Cognitive networks: brains, internet, and civilizations
In this short essay, we discuss some basic features of cognitive activity at
several different space-time scales: from neural networks in the brain to
civilizations. One motivation for such comparative study is its heuristic
value. Attempts to better understand the functioning of "wetware" involved in
cognitive activities of central nervous system by comparing it with a computing
device have a long tradition. We suggest that comparison with Internet might be
more adequate. We briefly touch upon such subjects as encoding, compression,
and Saussurean trichotomy langue/langage/parole in various environments.Comment: 16 page
Education then and now: making the case for ecol-agogy
The processes, settings and outcomes of human education have distinctive impact on the human and non-human world: this paper sets out to discuss what may have motivated the initiation of human education, how it has been maintained why the outcome has wide-ranging, and often negative, planetary impact.
The analysis offers a multi-disciplinary account of education, from pre-history to the present, noting that humans, past and present are born into an ‘open world’ that requires world building or, niche construction. As a result, cultural and genetic evolution are out of synchronisation instigating an existential threat and the anxious experience of ‘adaptive-lag’ leading to the motive for continued niche construction. Education is presented as a particular type of niche construction requiring teachers and the use of symbolic verbal language to help learners move from simplistic ‘split’ thinking to the more mature position where the needs of self and others can be met
An empirical explanation of the natural-resource-based view of the firm
To date, the natural-resource-based view has been an abstract phenomenon, primarily used by academics to explain competitive sustainable operations. This paper attempts to go beyond this, responding to the need for an explanation of the practical existence of the four natural-resource-based view resources in industry. Assuming a critical realist qualitative approach, in-depth interviews with sustainability experts in UK agri-food are undertaken. Findings demonstrate the existence of pollution prevention, product stewardship, and clean technologies and align with Hart’s conceptualization of sustainability as competitive resources. Whilst the fourth resource, the base of the pyramid, cannot be empirically verified, the fifth resource of local philanthropy is uncovered and contributes to the growing body of knowledge surrounding competitive social sustainability. Findings also challenge the hierarchal presentation of the natural-resource-based view to implicate a more cyclical uptake. Thus, in offering the first empirical explanation of the natural-resource-based view, this paper overcomes a theory-practice gap to elucidate the feasibility, orchestration, and value of resources in competitive and sustainable operations
The political process of constructing a sustainable London Olympics sports development legacy
This study attempts to develop a research agenda for understanding the process of constructing a sustainable Olympic sports development legacy. The research uses a social constructivist perspective to examine the link between the 2012 London Olympic Games and sustainable sports development. The first part of the paper provides justification for the study of sport policy processes using a constructivist lens. This is followed by a section which critically unpacks sustainable sports development drawing on Mosse’s (1998) ideas of process-oriented research and Searle’s conceptualisation of the construction of social reality. Searle’s (1995) concepts of the assignment of function, collective intentionality, collective rules, and human capacity to cope with the environment are considered in relation to the events and discourses emerging from the legacy vision(s) associated with the 2012 London Olympic Games. The paper concludes by proposing a framework for engaging in process oriented research and highlights key elements, research questions, and methodological issues. The proposed constructivist approach can be used to inform policy, practice, and research on sustainable Olympic sports development legacy
A short introduction into Bayesian evaluation of informative hypotheses as an alternative to exploratory comparisons of multiple group means
A cross-sectional study of vascular risk factors in a rural South African population : data from the Southern African Stroke Prevention Initiative (SASPI)
Background: Rural sub-Saharan Africa is at an early stage of economic and health transition. It is
predicted that the 21st century will see a serious added economic burden from non-communicable disease
including vascular disease in low-income countries as they progress through the transition. The stage of
vascular disease in a population is thought to result from the prevalence of vascular risk factors. Already
hypertension and stroke are common in adults in sub-Saharan Africa. Using a multidisciplinary approach
we aimed to assess the prevalence of several vascular risk factors in Agincourt, a rural demographic
surveillance site in South Africa.
Methods: We performed a cross sectional random sample survey of adults aged over 35 in Agincourt
(population ≈ 70 000). Participants were visited at home by a trained nurse who administered a
questionnaire, carried out clinical measurements and took a blood sample. From this we assessed
participants' history of vascular risk, blood pressure using an OMRON 705 CP monitor, waist
circumference, body mass index (BMI), ankle brachial index (ABI), and total and HDL cholesterol.
Results: 402 people (24% men) participated. There was a high prevalence of smoking in men, but the
number of cigarettes smoked was small. There was a striking difference in mean BMI between men and
women (22.8 kg/m2 versus 27.2 kg/m2), but levels of blood pressure were very similar. 43% of participants
had a blood pressure greater than 140/90 or were on anti-hypertensive treatment and 37% of participants
identified with measured high blood pressure were on pharmacological treatment. 12% of participants had
an ABI of < 0.9, sugesting the presence of sub-clinical atheroma. 25.6% of participants had a total
cholesterol level > 5 mmol/l.
Conclusion: We found a high prevalence of hypertension, obesity in women, and a suggestion of
subclinical atheroma despite relatively favourable cholesterol levels in a rural South African population.
South Africa is facing the challenge of an emerging epidemic of vascular disease. Research to establish the
social determinates of these risk factors and interventions to reduce both individual and population risk
are required
Colored Resonant Signals at the LHC: Largest Rate and Simplest Topology
We study the colored resonance production at the LHC in a most general
approach. We classify the possible colored resonances based on group theory
decomposition, and construct their effective interactions with light partons.
The production cross section from annihilation of valence quarks or gluons may
be on the order of 400 - 1000 pb at LHC energies for a mass of 1 TeV with
nominal couplings, leading to the largest production rates for new physics at
the TeV scale, and simplest event topology with dijet final states. We apply
the new dijet data from the LHC experiments to put bounds on various possible
colored resonant states. The current bounds range from 0.9 to 2.7 TeV. The
formulation is readily applicable for future searches including other decay
modes.Comment: 29 pages, 9 figures. References updated and additional K-factors
include
Clinical course, costs and predictive factors for response to treatment in carpal tunnel syndrome: The PALMS study protocol
Background Carpal tunnel syndrome (CTS) is the most common neuropathy of the upper limb and a significant contributor to hand functional impairment and disability. Effective treatment options include conservative and surgical interventions, however it is not possible at present to predict the outcome of treatment. The primary aim of this study is to identify which baseline clinical factors predict a good outcome from conservative treatment (by injection) or surgery in patients diagnosed with carpal tunnel syndrome. Secondary aims are to describe the clinical course and progression of CTS, and to describe and predict the UK cost of CTS to the individual, National Health Service (NHS) and society over a two year period. Methods/Design In this prospective observational cohort study patients presenting with clinical signs and symptoms typical of CTS and in whom the diagnosis is confirmed by nerve conduction studies are invited to participate. Data on putative predictive factors are collected at baseline and follow-up through patient questionnaires and include standardised measures of symptom severity, hand function, psychological and physical health, comorbidity and quality of life. Resource use and cost over the 2 year period such as prescribed medications, NHS and private healthcare contacts are also collected through patient self-report at 6, 12, 18 and 24 months. The primary outcome used to classify treatment success or failures will be a 5-point global assessment of change. Secondary outcomes include changes in clinical symptoms, functioning, psychological health, quality of life and resource use. A multivariable model of factors which predict outcome and cost will be developed. Discussion This prospective cohort study will provide important data on the clinical course and UK costs of CTS over a two-year period and begin to identify predictive factors for treatment success from conservative and surgical interventions
- …