922 resultados para formal analysis


Relevância:

30.00% 30.00%

Publicador:

Resumo:

From ecological tourism to ecotourism: lexical analysis of an emerging tourism. This article deals with the lexicon created in connection with a recent form of tourism: the ecological tourism or ecotourism. The rise of this type of tourism encourages the creation of new concepts and products that are named with new words and expressions with different procedures of formation. From the name itself ecotourism, then expressed as the acronym ecotourism, we analyze the formation of other related words, as well as their formal variation and use. For this, we have worked with a specific corpus of electronic tourist texts and different digital sources and databases.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The effectiveness of the Incredible Years Basic parent programme (IYBP) in reducing child conduct problems and improving parent competencies and mental health was examined in a 12-month follow-up. Pre- to post-intervention service use and related costs were also analysed. A total of 103 families and their children (aged 32–88 months), who previously participated in a randomised controlled trial of the IYBP, took part in a 12-month follow-up assessment. Child and parent behaviour and well-being were measured using psychometric and observational measures. An intention-to-treat analysis was carried out using a one-way repeated measures ANOVA. Pairwise comparisons were subsequently conducted to determine whether treatment outcomes were sustained 1 year post-baseline assessment. Results indicate that post-intervention improvements in child conduct problems, parenting behaviour and parental mental health were maintained. Service use and associated costs continued to decline. The results indicate that parent-focused interventions, implemented in the early years, can result in improvements in child and parent behaviour and well-being 12 months later. A reduced reliance on formal services is also indicated.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O presente trabalho faz um enlace de teorias propostas por dois trabalhos: Transformação de valores crisp em valores fuzzy e construção de gráfico de controle fuzzy. O resultado desse enlace é um gráfico de controle fuzzy que foi aplicado em um processo de produção de iogurte, onde as variáveis analisadas foram: Cor, Aroma, Consistência, Sabor e Acidez. São características que dependem da percepção dos indivíduos, então a forma utilizada para coletar informações a respeito de tais característica foi a análise sensorial. Nas analises um grupo denominado de juízes, atribuía individualmente notas para cada amostra de iogurte em uma escala de 0 a 10. Esses valores crisp, notas atribuídas pelos juízes, foram então, transformados em valores fuzzy, na forma de número fuzzy triangular. Com os números fuzzy, foram construídos os gráficos de controle fuzzy de média e amplitude. Com os valores crisp foram construídos gráficos de controle de Shewhart para média e amplitude, já consolidados pela literatura. Por fim, os resultados encontrados nos gráficos tradicionais foram comparados aos encontrados nos gráficos de controle fuzzy. O que pode-se observar é que o gráfico de controle fuzzy, parece satisfazer de forma significativa a realidade do processo, pois na construção do número fuzzy é considerada a variabilidade do processo. Além disso, caracteriza o processo de produção em alguns níveis, onde nem sempre o processo estará totalmente em controle ou totalmente fora de controle. O que vai ao encontro da teoria fuzzy: se não é possível prever com exatidão determinados resultados é melhor ter uma margem de aceitação, o que implicará na redução de erros.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclos de Ensino Básico

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The paper addresses the role played by research-based spin-offs (RBSOs) as knowledge dissemination mechanisms, through their position in knowledge networks. For this purpose the paper analyses the formal networks established by the Portuguese RBSOs in the context of publicly funded research, technology and pre-commercial product development projects, and investigates their configuration along two levels. At organisational level, in order to understand whether RBSOs extend their reach beyond the academic sphere; and if they do, whether they relate with similar firms or connect to organisations located downstream in the knowledge value chain, and which is their position in networks involving both research organisations and other firms. At spatial level, in order to understand whether RBSOs extend their reach beyond the region where they are created, thus potentially acting as connectors between diverse regions. The analysis starts from the population of RBSOs created in Portugal until 2007 (387) and identifies those that have established formal technological relationships as part of projects funded by all the programmes launched in the period 1993-2012. As a result, the analysis encompasses 192 collaborative projects and involves 82 spin-offs and 281 partners, of which only 20% are research organisations, the remaining being other firms and a variety of other user organisations. The results, although still preliminary, provide some insights into the knowledge networking behaviour of the RBSOs. As expected, research organisations are a central actor in spin-offs’ networks, being the sole partner for some of them. But half of the RBSOs have moved beyond the academic sphere, being frequently a central element in tripartite technological relationships between research and other organisations and occupying an intermediation position in the network, thus potentially acting as facilitators in knowledge circulation and transformation. Also as expected, RBSOs are predominantly located in the main metropolitan areas and tend to relate with organisations similarly located. But while geographical proximity emerges as important in the choice of partners, in about half of the cases, RBSOs knowledge networks have extended beyond regional boundaries. Given their central position in the network this suggests a role as connectors across regions that will be explored in subsequent research.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The paper addresses the role played by research-based spin-offs (RBSOs) as knowledge dissemination mechanisms, through their position in knowledge networks. For this purpose the paper analyses the formal networks established by Portuguese RBSOs, in the context of publicly funded research, technology and pre-commercial product development projects, and investigates their configuration across two levels. At organisational level, in order to understand whether RBSOs extend their reach beyond the academic sphere; and if they do, whether they connect to organisations located downstream in the knowledge value chain, and which is their position in networks involving both research organisations and other firms. At spatial level, in order to understand whether RBSOs extend their reach beyond the region where they are created, thus potentially acting as connectors between diverse regions. The analysis starts from the population of RBSOs created in Portugal until 2007 (327 firms) and identifies those that have established formal technological relationships, as part of projects funded by all the relevant programmes launched in the period 1993-2012. As a result, the analysis encompasses 192 collaborative projects and involves 82 spin-offs and 281 partners, of which only 20% are research organisations, the remaining being other firms and a variety of other downstream organisations. The results, although still preliminary, provide some insights into the knowledge networking behaviour of the RBSOs. As expected, research organisations are a central actor in spin-offs’ networks, being the sole partner for some of them. But half of the RBSOs have moved beyond the academic sphere, being frequently a central element in tripartite technological relationships between research and other organisations, and occupying an intermediation position in the network, thus potentially acting as facilitators in knowledge circulation and transformation. Also as expected, RBSOs are predominantly located in the main metropolitan areas and tend to relate with organisations similarly located. But while geographical proximity emerges as important in the choice of partners, in about half of the cases, RBSOs knowledge networks have extended beyond regional boundaries. Given their central position in the network, this suggests a role as connectors across regions that will be explored in subsequent research.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Czech composer Petr Eben (1927-2007) has written music in all genres except symphony, but he is highly recognized for his organ and choral compositions, which are his preferred genres. His vocal works include choral songs and vocal-instrumental works at a wide range of difficulty levels, from simple pedagogical songs to very advanced and technically challenging compositions. This study examines two of Eben‘s vocal-instrumental compositions. The oratorio Apologia Sokratus (1967) is a three-movement work; its libretto is based on Plato‘s Apology of Socrates. The ballet Curses and Blessings (1983) has a libretto compiled from numerous texts from the thirteenth to the twentieth centuries. The formal design of the ballet is unusual—a three-movement composition where the first is choral, the second is orchestral, and the third combines the previous two played simultaneously. Eben assembled the libretti for both compositions and they both address the contrasting sides of the human soul, evil and good, and the everlasting fight between them. This unity and contrast is the philosophical foundation for both compositions. The dissertation discusses the multileveled meanings behind the text settings and musical style of the oratorio and ballet in analyses focusing on the text, melodic and harmonic construction, and symbolism. Additional brief analyses of other vocal and vocal-instrumental compositions by Eben establish the ground for the examination of the oratorio and ballet and for understanding features of the composer‘s musical style. While the oratorio Apologia Sokratus was discussed in short articles in the 1970s, the ballet Curses and Blessings has never previously been addressed within Eben scholarship. The dissertation examines the significant features of Eben‘s music. His melodic style incorporates influences as diverse as Gregorian chant and folk tunes on the one hand, and modern vocal techniques such as Sprechgesang and vocal aleatoricism on the other. His harmonic language includes bitonality and polytonality, used to augment the tonal legacy of earlier times, together with elements of pitch collections and limited serial procedures as well as various secundal and quartal harmonic sonorities derived from them. His music features the vibrant rhythms of folk music, and incorporates other folk devices like ostinato, repetitive patterns, and improvisation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this thesis I examine a variety of linguistic elements which involve ``alternative'' semantic values---a class arguably including focus, interrogatives, indefinites, and disjunctions---and the connections between these elements. This study focusses on the analysis of such elements in Sinhala, with comparison to Malayalam, Tlingit, and Japanese. The central part of the study concerns the proper syntactic and semantic analysis of Q[uestion]-particles (including Sinhala "da", Malayalam "-oo", Japanese "ka"), which, in many languages, appear not only in interrogatives, but also in the formation of indefinites, disjunctions, and relative clauses. This set of contexts is syntactically-heterogeneous, and so syntax does not offer an explanation for the appearance of Q-particles in this particular set of environments. I propose that these contexts can be united in terms of semantics, as all involving some element which denotes a set of ``alternatives''. Both wh-words and disjunctions can be analysed as creating Hamblin-type sets of ``alternatives''. Q-particles can be treated as uniformly denoting variables over choice functions which apply to the aforementioned Hamblin-type sets, thus ``restoring'' the derivation to normal Montagovian semantics. The treatment of Q-particles as uniformly denoting variables over choice functions provides an explanation for why these particles appear in just this set of contexts: they all include an element with Hamblin-type semantics. However, we also find variation in the use of Q-particles; including, in some languages, the appearance of multiple morphologically-distinct Q-particles in different syntactic contexts. Such variation can be handled largely by positing that Q-particles may vary in their formal syntactic feature specifications, determining which syntactic contexts they are licensed in. The unified analysis of Q-particles as denoting variables over choice functions also raises various questions about the proper analysis of interrogatives, indefinites, and disjunctions, including issues concerning the nature of the semantics of wh-words and the syntactic structure of disjunction. As well, I observe that indefinites involving Q-particles have a crosslinguistic tendency to be epistemic indefinites, i.e. indefinites which explicitly signal ignorance of details regarding who or what satisfies the existential claim. I provide an account of such indefinites which draws on the analysis of Q-particles as variables over choice functions. These pragmatic ``signals of ignorance'' (which I argue to be presuppositions) also have a further role to play in determining the distribution of Q-particles in disjunctions. The final section of this study investigates the historical development of focus constructions and Q-particles in Sinhala. This diachronic study allows us not only to observe the origin and development of such elements, but also serves to delimit the range of possible synchronic analyses, thus providing us with further insights into the formal syntactic and semantic properties of Q-particles. This study highlights both the importance of considering various components of the grammar (e.g. syntax, semantics, pragmatics, morphology) and the use of philology in developing plausible formal analyses of complex linguistic phenomena such as the crosslinguistic distribution of Q-particles.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously execute a given task description to operate a computer system. Usually, a computer system is protected against some erroneous human behaviors by having necessary safeguard mechanisms in place. But some erroneous human operator behaviors can lead to severe or even fatal consequences especially in safety critical systems. A generalized methodology that can allow modeling and analyzing the interactions between computer systems and human operators where the operators are allowed to deviate from their prescribed behaviors will provide a formal understanding of the robustness of a computer system against possible aberrant behaviors by its human operators. We provide several methodology for assisting in modeling and analyzing human behaviors exhibited while operating computer systems. Every human operator is usually given a specific recommended set of guidelines for operating a system. We first present process algebraic methodology for modeling and verifying recommended human task execution behavior. We present how one can perform runtime monitoring of a computer system being operated by a human operator for checking violation of temporal safety properties. We consider the concept of a protection envelope giving a wider class of behaviors than those strictly prescribed by a human task that can be tolerated by a system. We then provide a framework for determining whether a computer system can maintain its guarantees if the human operators operate within their protection envelopes. This framework also helps to determine the robustness of the computer system under weakening of the protection envelopes. In this regard, we present a tool called Tutela that assists in implementing the framework. We then examine the ability of a system to remain safe under broad classes of variations of the prescribed human task. We develop a framework for addressing two issues. The first issue is: given a human task specification and a protection envelope, will the protection envelope properties still hold under standard erroneous executions of that task by the human operators? In other words how robust is the protection envelope? The second issue is: in the absence of a protection envelope, can we approximate a protection envelope encompassing those standard erroneous human behaviors that can be safely endured by the system? We present an extension of Tutela that implements this framework. The two frameworks mentioned above use Concurrent Game Structures (CGS) as models for both computer systems and their human operators. However, there are some shortcomings of this formalism for our uses. We add incomplete information concepts in CGSs to achieve better modularity for the players. We introduce nondeterminism in both the transition system and strategies of players and in the modeling of human operators and computer systems. Nondeterministic action strategies for players in \emph{i}ncomplete information \emph{N}ondeterministic CGS (iNCGS) is a more precise formalism for modeling human behaviors exhibited while operating a computer system. We show how we can reason about a human behavior satisfying a guarantee by providing a semantics of Alternating Time Temporal Logic based on iNCGS player strategies. In a nutshell this dissertation provides formal methodology for modeling and analyzing system robustness against both expected and erroneous human operator behaviors.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The following paper is an action research made with a group of 6 teenagers aged 11-13 from the city of Cali. The project was carried out at a non-formal education institution and basically describes the process of a teaching intervention in which the concepts of Critical Pedagogy and Task-Based Learning were the protagonists. The results show first, that students really need to feel motivated in order to accept a critical approach; second, that the role of the teacher in the achievement of the objectives is extremely relevant; it is necessary for them to have a critical perspective before working on this field besides the constant seeking of information in order to innovate in their classes; third, that the TBL (Task Based Learning) and the critical pedagogy are processes that need some time in order to bear fruits; and fourth, that a needs analysis is essential for the quality of the intervention.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Background: Autoimmune encephalitis (AE) occurs in response to an antibody-mediated central nervous system disease and can lead to significant neurodisability. Prior research on family adjustment has described a reciprocal relationship between caregiver functioning, distress and clinical outcome in parents and children with encephalitis. There has been no previous research exploring the experiences of caregivers with a child with AE. Aims: To explore the perspectives of parents and/or caregivers with a child diagnosed with AE regarding (i) their own adjustment from hospital admission to post-discharge, and (ii) their experiences of care and service provision. Methods: A purposive sampling approach was used. Five parents of children with AE participated in a semi-structured interview exploring their experiences of caring for their child and service provision during acute care and post-discharge. Interpretative Phenomenological Analysis (IPA) was used to analyse the transcripts. Main findings and conclusions: Four shared super-ordinate themes with related subthemes emerged: (a) uncertainty, (b) managing our recovery, (c) changes in my child, (d) experiences of service provision. Participants reported emotional distress, often underpinned by recurrent experiences of uncertainty, and ‘loss’ of the previous child, and mediated by coping strategies and social support. While an overall positive experience of inpatient services was reported, parents often perceived post-discharge services as lacking in co-ordination, communication and formal follow-up, resulting in unmet support needs. Implications and recommendations for services, practitioners and future research are discussed.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This thesis seeks to research patterns of economic growth and development from a number of perspectives often resonated in the growth literature. By addressing themes about history, geography, institutions and culture the thesis is able to bring to bear a wide range of inter-related literatures and methodologies within a single content. Additionally, by targeting different administrative levels in its research design and approach, this thesis is also able to provide a comprehensive treatment of the economic growth dilemma from both cross-national and sub-national perspectives. The three chapters herein discuss economic development from two broad dimensions. The first of these chapters takes on the economic growth inquiry by attempting to incorporate cultural geography within a cross-country formal spatial econometric growth framework. By introducing the global cultural dynamics of languages and ethnic groups as spatial network mechanisms, this chapter is able to distinguish economic growth effects accruing from own-country productive efforts from those accruing from interconnections within a global productive network chain. From this, discussions and deductions about the implications for both developed and developing countries are made as regards potentials for gains and losses from such types and levels of productive integration. The second and third chapters take a different spin to the economic development inquiry. They both focus on economic activity in Africa, tackling the relevant issues from a geo-intersected dimension involving historic regional tribal homelands and modern national and subnational administrative territories. The second chapter specifically focuses on attempting to adopt historical channels to investigate the connection between national institutional quality and economic development in demarcated tribal homelands at the fringes of national African borders. The third chapter on the other hand focuses on looking closer at the effects of demarcations on economic activity. It particularly probes how different kinds of demarcation warranted by two different but very relevant classes of politico-economic players have affected economic activity quite distinguishably within the resulting subnational regions in Africa.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Cette thèse présente une théorie de la fonction formelle et de la structure des phrases dans la musique contemporaine, théorie qui peut être utilisée aussi bien comme outil analytique que pour créer de nouvelles œuvres. Deux concepts théoriques actuels aident à clarifier la structure des phrases : les projections temporelles de Christopher Hasty et la théorie des fonctions formelles de William Caplin, qui inclut le concept de l’organisation formelle soudée versus lâche (tight-knit vs. loose). Les projections temporelles sont perceptibles grâce à l’accent mis sur les paramètres secondaires, comme le style du jeu, l’articulation et le timbre. Des sections avec une organisation formelle soudée ont des projections temporelles claires, qui sont créées par la juxtaposition des motifs distincts, généralement sous la forme d'une idée de base en deux parties. Ces projections organisent la musique en phrases de présentation, en phrases de continuité et finalement, à des moments formels charnières, en phrases cadentielles. Les sections pourvues d’une organisation plus lâche tendent à présenter des projections et mouvements harmoniques moins clairs et moins d’uniformité motivique. La structure des phrases de trois pièces tardives pour instrument soliste de Pierre Boulez est analysée : Anthèmes I pour violon (1991-1992) et deux pièces pour piano, Incises (2001) et une page d’éphéméride (2005). Les idées proposées dans le présent document font suite à une analyse de ces œuvres et ont eu une forte influence sur mes propres compositions, en particulier Lucretia Overture pour orchestre et 4 Impromptus pour flûte, saxophone soprano et piano, qui sont également analysés en détail. Plusieurs techniques de composition supplémentaires peuvent être discernés dans ces deux œuvres, y compris l'utilisation de séquence mélodiques pour contrôler le rythme harmonique; des passages composés de plusieurs couches musicales chacun avec un structure de phrase distinct; et le relâchement de l'organisation formelle de matériels récurrents. Enfin, la composition de plusieurs autres travaux antérieurs a donné lieu à des techniques utilisées dans ces deux œuvres et ils sont brièvement abordés dans la section finale.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A prepayment scheme for health through the National Health Insurance Scheme (NHIS) was commenced in Nigeria about ten years ago. Nigeria operates a federal system of government. Sub- national levels possess a high degree of autonomy in a number of sectors including health. It is important to assess the level of coverage of the scheme among the formal sector workers in Nigeria as a proxy to gauge the extent of coverage of the scheme and derive suitable lessons that could be used in its expansion. This is a cross-sectional, descriptive survey carried out among formal sector workers in Ilorin Kwara State, Nigeria. A stratified sampling technique was used to select study participants. A self-administered questionnaire was used to collect data from respondents. Data was analysed with the SPSS. Ethical approval to conduct the study was obtained from the Bowen University Teaching Hospital Research Ethics Committee. A total of 370 people participated in the study. Majority, (78.9%) of the respondents were aware of the NHIS, however only 13.5 % paid for health care services through the NHIS. Logistic regression analysis shows that respondents with post-secondary education (OR = 9.032, CI = 2.562 – 31.847, p = 0.001) and in federal civil service (OR = 2.679, CI = 1.036 – 6.929, p = 0.042) were over nine and three times more likely to be aware of the scheme than others. Coverage of the scheme among the respondents was unimpressive. A lot still need to be done to fast-track the expansion of the scheme among this sector of the population.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Purpose – Curve fitting from unordered noisy point samples is needed for surface reconstruction in many applications -- In the literature, several approaches have been proposed to solve this problem -- However, previous works lack formal characterization of the curve fitting problem and assessment on the effect of several parameters (i.e. scalars that remain constant in the optimization problem), such as control points number (m), curve degree (b), knot vector composition (U), norm degree (k), and point sample size (r) on the optimized curve reconstruction measured by a penalty function (f) -- The paper aims to discuss these issues -- Design/methodology/approach - A numerical sensitivity analysis of the effect of m, b, k and r on f and a characterization of the fitting procedure from the mathematical viewpoint are performed -- Also, the spectral (frequency) analysis of the derivative of the angle of the fitted curve with respect to u as a means to detect spurious curls and peaks is explored -- Findings - It is more effective to find optimum values for m than k or b in order to obtain good results because the topological faithfulness of the resulting curve strongly depends on m -- Furthermore, when an exaggerate number of control points is used the resulting curve presents spurious curls and peaks -- The authors were able to detect the presence of such spurious features with spectral analysis -- Also, the authors found that the method for curve fitting is robust to significant decimation of the point sample -- Research limitations/implications - The authors have addressed important voids of previous works in this field -- The authors determined, among the curve fitting parameters m, b and k, which of them influenced the most the results and how -- Also, the authors performed a characterization of the curve fitting problem from the optimization perspective -- And finally, the authors devised a method to detect spurious features in the fitting curve -- Practical implications – This paper provides a methodology to select the important tuning parameters in a formal manner -- Originality/value - Up to the best of the knowledge, no previous work has been conducted in the formal mathematical evaluation of the sensitivity of the goodness of the curve fit with respect to different possible tuning parameters (curve degree, number of control points, norm degree, etc.)