19 resultados para logical and timed behaviours


Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper we test for the impact of the regulatory environment on a bank’s discretionary provisioning practices. We develop a model that structures the dynamics of the provision policy for the two classes of provisions: generic provisions and specific provisions. The model is tested using a comprehensive database of all financial institutions operating in Portugal for 1990-2000. This unique dataset comprises banks subject to the Portuguese rules as well as bank subsidiaries subject to their home-country regulation and we were able to identify distinct behaviours between them. Our results show the importance of handling he two types of provisions separately. They support the hypothesis that banks have a discretionary behaviour in setting up their provisions, and find evidence of income smoothing and capital management. We also find that the regulatory regime impacts on discretionary provisioning policies because banks when forced to increase one type of provision react by reducing the iscretionary component of the other, a finding we designated as a substitution effect.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Portuguese Born Global Companies have been performing an important role in the Portuguese market, mainly due to their innovative ideas and the positive contribution to exportations. This study focuses on the international strategies of four of these companies, comparing them with four international Non-Born Global Companies, in qualitative analysis. It will be possible to see a preference by the Non-Born Global Companies over proximate cultural countries. By following opportunities instead of markets, Portuguese Born Global Companies excel at internationalization growth. The purpose of this study is to help managers of small, innovative companies understand the internationalization strategies in Portugal.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The present study investigates peer to peer oral interaction in two task based language teaching classrooms, one of which was a self-declared cohesive group, and the other a self- declared less cohesive group, both at B1 level. It studies how learners talk cohesion into being and considers how this talk leads to learning opportunities in these groups. The study was classroom-based and was carried out over the period of an academic year. Research was conducted in the classrooms and the tasks were part of regular class work. The research was framed within a sociocognitive perspective of second language learning and data came from a number of sources, namely questionnaires, interviews and audio recorded talk of dyads, triads and groups of four students completing a total of eight oral tasks. These audio recordings were transcribed and analysed qualitatively for interactions which encouraged a positive social dimension and behaviours which led to learning opportunities, using conversation analysis. In addition, recordings were analysed quantitatively for learning opportunities and quantity and quality of language produced. Results show that learners in both classes exhibited multiple behaviours in interaction which could promote a positive social dimension, although behaviours which could discourage positive affect amongst group members were also found. Analysis of interactions also revealed the many ways in which learners in both the cohesive and less cohesive class created learning opportunities. Further qualitative analysis of these interactions showed that a number of factors including how learners approach a task, the decisions they make at zones of interactional transition and the affective relationship between participants influence the amount of learning opportunities created, as well as the quality and quantity of language produced. The main conclusion of the study is that it is not the cohesive nature of the group as a whole but the nature of the relationship between the individual members of the small group completing the task which influences the effectiveness of oral interaction for learning.This study contributes to our understanding of the way in which learners individualise the learning space and highlights the situated nature of language learning. It shows how individuals interact with each other and the task, and how talk in interaction changes moment-by-moment as learners react to the ‘here and now’ of the classroom environment.