847 resultados para foundations of mathematics
Resumo:
This article seeks to demystify the foundations of rights. It looks at the search for some systemic differentiation. It emphasizes effectiveness, legitimacy, the importance of convention and of political participation as common elements of the different theoretical approaches to human rights. By analysing these elements it is possible to build the term “human rights” as a concept capable of being measured accurately by studying the effectiveness of legal rules as applied to human rights in specific contexts.
Resumo:
El objetivo de este documento es recopilar algunos resultados clasicos sobre existencia y unicidad ´ de soluciones de ecuaciones diferenciales estocasticas (EDEs) con condici ´ on final (en ingl ´ es´ Backward stochastic differential equations) con particular enfasis en el caso de coeficientes mon ´ otonos, y su cone- ´ xion con soluciones de viscosidad de sistemas de ecuaciones diferenciales parciales (EDPs) parab ´ olicas ´ y el´ıpticas semilineales de segundo orden.
Resumo:
Previous research has shown that often there is clear inertia in individual decision making---that is, a tendency for decision makers to choose a status quo option. I conduct a laboratory experiment to investigate two potential determinants of inertia in uncertain environments: (i) regret aversion and (ii) ambiguity-driven indecisiveness. I use a between-subjects design with varying conditions to identify the effects of these two mechanisms on choice behavior. In each condition, participants choose between two simple real gambles, one of which is the status quo option. I find that inertia is quite large and that both mechanisms are equally important.
Resumo:
Spin factors and generalizations are used to revisit positive generation of B(E, F), where E and F are ordered Banach spaces. Interior points of B(E, F)+ are discussed and in many cases it is seen that positive generation of B(E, F) is controlled by spin structure in F when F is a JBW-algebra.
Resumo:
This group, which is concerned with the applications of mathematics to agricultural science, was formed in 1970 and has since met at approximately yearly intervals in London for one-day meetings. The thirty-ninth meeting of the group, chaired by Professor N. Crout of the University of Nottingham, was held in the Kohn Centre at the Royal Society, 6 Carlton House Terrace, London on Friday, 30 March 2007 when the following papers were read.
Resumo:
In 2006 we celebrated the centenary of a remarkable year that saw the birth of genetics as a scientific discipline. This birth had its origins in horticulture and was supervised by a remarkable Cambridge academic, accompanied by a loyal group of female colleagues who worked together in underfunded conditions with little institutional support. Despite this deprivation, they established the foundations of an ongoing revolution, with huge academic and commercial consequences that we can recognize today in the shape of genomics and its application to biomedicine.
Resumo:
Interdisciplinary research presents particular challenges for unambiguous communication. Frequently, the meanings of words differ markedly between disciplines, leading to apparent consensus masking fundamental misunderstandings. Researchers can agree on the need for models, but conceive of models fundamentally differently. While mathematics is frequently seen as an elitist language reinforcing disciplinary distinctions, both mathematics and modelling can also offer scope to bridge disciplinary epistemological divisions and create common ground on which very different disciplines can meet. This paper reflects on the role and scope for mathematics and modelling to present a common epistemological space in interdisciplinary research spanning the social, natural and engineering sciences.
Resumo:
Ranald Roderick Macdonald (1945-2007) was an important contributor to mathematical psychology in the UK, as a referee and action editor for British Journal of Mathematical and Statistical Psychology and as a participant and organizer at the British Psychological Society's Mathematics, statistics and computing section meetings. This appreciation argues that his most important contribution was to the foundations of significance testing, where his concern about what information was relevant in interpreting the results of significance tests led him to be a persuasive advocate for the 'Weak Fisherian' form of hypothesis testing.
Resumo:
Is the human body a suitable place for a microchip? Such discussion is no longer hypothetical - in fact in reality it has not been so for some years. Restorative devices such as pacemakers and cochlear implants have become well established, yet these sophisticated devices form notably intimate links between technology and the body. More recent developments in engineering technologies have meant that the integration of silicon with biology is now reaching new levels - with devices which interact directly with the brain. As medical technologies continue to advance, their potential benefits for human enhancement will become increasingly attractive, and so we need to seriously consider where this may take us. In this paper, an attempt is made to demonstrate that, in the medical context, the foundations of more advanced implantable enhancement technologies are already notably progressed, and that they are becoming more science fact than is widely considered. A number of wider moral, ethical and legal issues stem from enhancement applications and it is difficult to foresee the social consequences, the fundamental changes on our very conception of self and the impact on our identity of adoption long term. As a result, it is necessary to acknowledge the possibilities and is timely to have debate to address the wider implications these possibilities may bring.
Resumo:
Space applications are challenged by the reliability of parallel computing systems (FPGAs) employed in space crafts due to Single-Event Upsets. The work reported in this paper aims to achieve self-managing systems which are reliable for space applications by applying autonomic computing constructs to parallel computing systems. A novel technique, 'Swarm-Array Computing' inspired by swarm robotics, and built on the foundations of autonomic and parallel computing is proposed as a path to achieve autonomy. The constitution of swarm-array computing comprising for constituents, namely the computing system, the problem / task, the swarm and the landscape is considered. Three approaches that bind these constituents together are proposed. The feasibility of one among the three proposed approaches is validated on the SeSAm multi-agent simulator and landscapes representing the computing space and problem are generated using the MATLAB.