Levitação literal na arquitetura: Desenvolvimento de um sistema de caixilharia Panoramah! com sistema de elevação eletromagnético

Tese de Mestrado Ciclo de Estudos Integrados Conducentes ao Grau de Mestre em Arquitectura Área de Especialização: Construção e Tecnologia

Comunicar a Direito

Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

A relação entre família e escola e a perspectiva de minimização das dificuldades comportamentais e cognitivas apresentadas por adolescentes com Síndrome do Alcoolismo Fetal (SAF): estudos de casos na cidade de Manaus

Dissertação de mestrado em Educação Especial (área de especialização em Dificuldades de Aprendizagem Específicas)

A aprendizagem de tópicos da circunferência com recurso ao GeoGebra: uma experiência com alunos do 9.º ano de escolaridade

Relatório de estágio de mestrado em Ensino de Matemática no 3.º ciclo do Ensino Básico e no Ensino Secundário

A compreensão dos problemas de estrutura aditiva e estrutura multiplicativa por crianças do pré-escolar

Tese de Doutoramento em Ciências da Educação (área de especialização em Educação Matemática).

Using one-year claim development to chose a large claim reserving technique

Mestrado em Ciências Actuariais

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Socially integrative customer service (SICS) : identification of a symbiotic link with corporate social responsibility

The aim of this study is to answer the research question "can customer service be revitalised through identification of a symbiotic relationship with social responsibility, linked by people-centricity?" The concept of customer service remains weak and there has been a lack of attention to the underlying purpose: "to serve". To strengthen the theory the humanistic nature of the concept should be revised. Fundamental to this argument is the question of who is a customer? To fully discover the scope of the concept requires a broader or more specifically a societal view. Herein the theme of social corporate responsibility is critical to the recognition of the customer service network (CSN). This suggestion in isolation is useful but structural. Another aspect must be identified to validate the "service" ethos. Through this reasoning the relational theme (RT) provides for a mechanism for this to be achieved. Therefore the theory of socially integrative customer service is based on broadening and deepening the customer service concept. This study is illustrated in the context of the grocery retail sector in the Republic of Ireland. Four case studies are presented, three based on company-wide and in-store research and a fourth is a cross-company study. Results across companies indicate acceptance of the research question and show evidence to validate SICS. There is scope to further develop SICS and to build on the CSN and the RT. Finally the concept of SICS provides for a diverse basis for further research. This theory does no purport to cause a paradigm shift but does add innovation to the body of knowledge. As is the hallmark of good theoretical development, the author has aimed to keep the philosophy simple.

O problema técnico-econômico da adubação

The authors discuss from the economic point of view the use of a few functions intended to represent the yield y corresponding to a level xof the nutrient. They point out that under conditions of scarce capital what is actually most important is not to obtain the highest profit per hectare but the highest return per cruzeiro spent, so that we should maximize the function z = _R - C_ = _R_ - 1 , C C where R is the gross income and C the cost of production (fixed plus variable, both per hectare). Being C = M + rx, with r the unit price of the nutrient and Af the fixed cost of the crop, wo are led to the equation (M + rx)R' - rR = 0. With R = k + sx + tx², this gives a solution Xo = - Mt - √ M²t² - r t(Ms - Kr)- _____________________ rt on the other hand, with R = PyA [1 - 10-c(x + b)], x0 will be the root of equation (M + rx)cL 10 + r 10c(x + b) = 0 (12). Another solution, pointed out by PESEK and HEADY, is to maximize the function z = sx + tx² _________ m + rx where the numerator is the additional income due to the nutrient, and m is the fixed cost of fertilization. This leads to a solution x+ = - mt - √m²t² - mrst (13) _________________ rt However, we must have x+< _r_-_s_ I if we want to satisfy t _dy_ > r. dx This condition is satisfied only if we have m < _(s__-__r)² (14), - 4 t a restriction apparently not perceived by PESEK and HEADY. A similar reasoning using Mitscherlich's law leads to equation (mcL 10 + r) + cr(L 10)x - r 10cx = 0 (15), with a similar restriction. As an example, data of VIEGAS referring to fertilization of corn (maize) gave the equation y - 1534 + 22.99 x - 0. 1069 x², with x in kg/ha of the cereal. With the prices of Cr$ 5.00 per kilo of maize, Cr$ 26.00 per kilo of P2O3,. and M = Cr$ 5,000.00, we obtain x0 = 61 kg/ha of P(2)0(5). A similar reasoning using Mitscherlich's law leads to x0 = 53 kg/ha. Now, if we take in account only the fixed cost of fertilization m = Cr$ 600.00 per hectare, we obtain from (13) x+ = 51 kg/ha of P2O5, while (14) gives x+ - 41 kg/ha. Note that if m = Cr$ 5,000.00, we obtain by formula (13) x+ = 88 kg/ha of P2O5, a solution which is not valid, since condition (14) is not satisfied.

Collusion in growing and shrinking markets: empirical evidence from experimental duopolies

We study collusive behaviour in experimental duopolies that compete in prices under dynamic demand conditions. In one treatment the demand grows at a constant rate. In the other treatment the demand declines at another constant rate. The rates are chosen so that the evolution of the demand in one case is just the reverse in time than the one for the other case. We use a box-design demand function so that there are no issues of finding and co-ordinating on the collusive price. Contrary to game-theoretic reasoning, our results show that collusion is significantly larger when the demand shrinks than when it grows. We conjecture that the prospect of rapidly declining profit opportunities exerts a disciplining effect on firms that facilitates collusion and discourages deviation.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism (Long version)

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of "the historical tendencies": a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin's method, to prove the result.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism.

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of ?the historical tendencies?: a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin?s method, to prove the result.

Model-based diagnosis system: application to constructed wetlands

Report for the scientific sojourn carried out at the Model-based Systems and Qualitative Reasoning Group (Technical University of Munich), from September until December 2005. Constructed wetlands (CWs), or modified natural wetlands, are used all over the world as wastewater treatment systems for small communities because they can provide high treatment efficiency with low energy consumption and low construction, operation and maintenance costs. Their treatment process is very complex because it includes physical, chemical and biological mechanisms like microorganism oxidation, microorganism reduction, filtration, sedimentation and chemical precipitation. Besides, these processes can be influenced by different factors. In order to guarantee the performance of CWs, an operation and maintenance program must be defined for each Wastewater Treatment Plant (WWTP). The main objective of this project is to provide a computer support to the definition of the most appropriate operation and maintenance protocols to guarantee the correct performance of CWs. To reach them, the definition of models which represent the knowledge about CW has been proposed: components involved in the sanitation process, relation among these units and processes to remove pollutants. Horizontal Subsurface Flow CWs are chosen as a case study and the filtration process is selected as first modelling-process application. However, the goal is to represent the process knowledge in such a way that it can be reused for other types of WWTP.

Reactive and proactive approaches for introspective CBR

This work investigates applying introspective reasoning to improve the performance of Case-Based Reasoning (CBR) systems, in both reactive and proactive fashion, by guiding learning to improve how a CBR system applies its cases and by identifying possible future system deficiencies. First we present our reactive approach, a new introspective reasoning model which enables CBR systems to autonomously learn to improve multiple facets of their reasoning processes in response to poor quality solutions. We illustrate our model’s benefits with experimental results from tests in an industrial design application. Then as for our proactive approach, we introduce a novel method for identifying regions in a case-base where the system gives low confidence solutions to possible future problems. Experimentation is provided for Zoology and Robo-Soccer domains and we argue how encountered regions of dubiosity help us to analyze the case-bases of a given CBR system.

Programme de remédiation cognitive pour patients présentant une schizophrénie ou un trouble associé (Recos) : résultats préliminaires [Cognitive remediation program for individuals living with schizophrenia (Recos): preliminary results].

BACKGROUND: Nowadays, cognitive remediation is widely accepted as an effective treatment for patients with schizophrenia. In French-speaking countries, techniques used in cognitive remediation for patients with schizophrenia have been applied from those used for patients with cerebral injury. As cognitive impairment is a core feature of schizophrenia, the Département de psychiatrie du CHUV in Lausanne (DP-CHUV) intended to develop a cognitive remediation program for patients with a schizophrenia spectrum disease (Recos-Vianin, 2007). Numerous studies show that the specific cognitive deficits greatly differ from one patient to another. Consequently, Recos aims at providing individualized cognitive remediation therapy. In this feasibility trial, we measured the benefits of this individualized therapy for patients with schizophrenia. Before treatment, the patients were evaluated with a large battery of cognitive tests in order to determine which of the five specific training modules - Verbal memory, visuospatial memory and attention, working memory, selective attention, reasoning - could provide the best benefit depending on their deficit. OBJECTIVES: The study was designed to evaluate the benefits of the Recos program by comparing cognitive functioning before and after treatment. METHOD: Twenty-eight patients with schizophrenia spectrum disorders (schizophrenia [n=18], schizoaffective disorder [n=5], schizotypal disorder [n=4], schizophreniform disorder [n=1], DSM-IV-TR) participated in between one and three of the cognitive modules. The choice of the training module was based on the results of the cognitive tests obtained during the first evaluation. The patients participated in 20 training sessions per module (one session per week). At the end of the training period, the cognitive functioning of each patient was reevaluated by using the same neuropsychological battery. RESULTS: The results showed a greater improvement in the cognitive functions, which were specifically trained, compared to the cognitive functions, which were not trained. However, an improvement was also observed in both types of cognitive functions, suggesting an indirect cognitive gain. CONCLUSION: In our view, the great heterogeneity of the observed cognitive deficits in schizophrenia necessitates a detailed neuropsychological investigation as well as an individualized cognitive remediation therapy. These preliminary results need to be confirmed with a more extended sample of patients.