Projecto e património edificado em São Paulo. Três casos como práticas de mudança.
Carolina Miguel dos Santos Barreiros
2013-11-06
Search results
You search for undefined and 1,527 records were found.
We distinguish between undefined terms as used in lambda definability
of partial recursive functions and meaningless terms as used in
infinite lambda calculus for the infinitary terms models that
generalise the Bohm model. While there are uncountable many known
sets of meaningless terms, there are four known sets of undefined
terms. Two of these four are sets of meaningless terms.
In this paper we first present set of sufficient conditions for a set
of lambda terms to serve as set of undefined terms in lambda
definability of partial functions. The four known sets of undefined
terms satisfy these conditions.
Next we locate the smallest set of meaningless terms satisfying these
conditions. This set sits very low in the lattice of all sets of
meaningless terms. Any larger set of meaningless terms than this
smallest set is a set of unde...
Includes bibliographical references (pages 61-65).
United States. Defense Advanced Research Projects Agency (DARPA CRASH program (#N66001-10-2-4089))
National Science Foundation (U.S.) (NSF award CNS-1053143)
This paper reports on a diversity theatre workshop at University of Hertfordshire Doctorate in Clinical Psychology Programme as an example of enabling, rigorous and adventurous diversity learning.
The purpose of my research project is to determine whether or not the Contemporary Art Movement has affected teaching in The College of Fine and Applied Arts at the University of Illinois at Urban Champaign. My paper will focus primarily upon the effect that the style of teaching has upon the students and if the methods used contribute to the stereotyping of art students on campus. The stereotyping in consideration is one of a student who has few social or moral boundaries and who is not very well educated. As an art student at UIUC I have found that the current style of teaching has greatly changed. There is a much broader definition of art and what is considered ???good??? art.
I have also found that as a student, I am often viewed from a negative stereotype, which includes gender, race and educational background. I will be drawi...
Loading code inside a Pharo image is a daily concern for a Pharo developer. Nevertheless, several problems may arise at loading time that can prevent the code to load or even worse let the system in an inconsistent state. In this paper, we focus on the problem of loading code that references a class that does not exist in the system. We discuss the different flavors of this problem, the limitations of the existing Undeclared mechanism and the heterogeneity of Pharo tools to solve it. Then, we propose an unified solution for Pharo that reifies Undefined Classes. Our model of Undefined Classes is the result of an objective selection among different alternatives. We then validate our solution through two cases studies: migrating old code and loading code with circular dependencies. This paper also presents the integration of this solution...
It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position -supported by E. Schrodinger- asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states
with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions.
The objective of this research was to identify the level of detail regarding the external causes of death in Australia and ascertain problematic areas where data quality improvement efforts may be focused. The 2003 national mortality dataset of 12591 deaths with an external cause of injury as the underlying cause of death (UCOD) or multiple cause of death (MCOD) based on ICD-10 code assignment from death certificate information was obtained. Logistic regression models were used to examine the precision of coded external cause of injury data.----
It was found that overall, accidents were the most poorly defined of all intent code blocks with over 30% of accidents being undefined, representing 2314 deaths in 2003. More undefined codes were identified in MCOD data than for UCOD data. Deaths certified by doctors were more likely to u...
Least squares estimator, linear regression, stable distribution, fat-tails, consistency, robustness
