999 resultados para practical logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Sudden cardiac death (SCD) is a major cause of premature death in young adults and children in developed countries. Standard forensic autopsy procedures are often unsuccessful in determining the cause of SCD. Post-mortem genetic testing, also called molecular autopsy, has revealed that a non-negligible number of these deaths are a result of inherited cardiac diseases, including arrhythmic disorders such as congenital long QT syndrome and Brugada syndrome. Due to the heritability of these diseases, the potential implications for living relatives must be taken into consideration. Advanced diagnostic analyses, genetic counselling, and interdisciplinary collaboration should be integral parts of clinical and forensic practice. In this article we present a multidisciplinary collaboration established in Lausanne, with the goal of properly informing families of these pathologies and their implications for surviving family members. In Switzerland, as in many other countries, legal guidelines for genetic testing do not address the use of molecular tools for post-mortem genetic analyses in forensic practice. In this article we present the standard practice guidelines established by our multidisciplinary team.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Ce travail présente une étude de cas post-catastrophe à San Cristobal, Guatemala, où un important glissement de terrain du nom «Los Chorros» (8-10 millions de m3 de roche) affecte depuis 2009 diverses communautés et une des routes principales du pays. Les gestionnaires des risques, sur la base de leur propre évaluation, ont décidé de répondre d'une manière qui ne correspond pas aux intérêts de la population affectée. Les communautés locales ont évalué le risque de catastrophe et ont établi une autre solution suivant une conception du risque différente. Les conflits sociaux et la concurrence entre les différents acteurs du territoire, pour la définition des priorités et des solutions, révèlent les aspects sous-jacents de la société, utiles pour identifier et comprendre ce qui constitue le risque de catastrophe dans un contexte donné. Ce conflit montre que le risque de catastrophe n'est pas univoque mais un concept complexe, constitué par un grand nombre de composants. En termes de gouvernance, il met également en évidence la confrontation des savoirs et la tension qui peut exister entre les différentes approches du risque. Depuis une approche où le risque de catastrophe est considéré comme une construction sociale (les vulnérabilités étant historiquement générées par des processus sociaux, politiques, économiques et culturels), ce travail évalue d'autres modes d'interprétation, de traitement et d'intervention qui peuvent aider à améliorer les méthodes d'évaluation et de gestion des risques. Enfin, la proposition de gestion qui découle de l'exemple guatémaltèque invite à une autre manière de concevoir la gestion des risques en intégrant les différentes conceptions du risque et en visant une coordination stratégique entre les acteurs des politiques publiques, les échelles d'intervention, les experts en charge des différents aléas et la société civile, afin d'obtenir une solution acceptable pour tous les acteurs impliqués dans un territoire. -- This work analyses a post-disaster case study from San Cristobal, Guatemala where a large landslide named "Los Chorros (8 millions cubic meters of rock) affects several communities and one of the country's main west-east access highways. Risk managers, starting from their own assessment, decided to respond in a way that does not correspond to the interests of the afected population. Local communities assessed the risk disaster situation and establised another solution from a different conception of risk. These social conflict and competition for priorities and solutions for risk management reveal that disaster risk is not unequivocal but a complex and holistic concept, constituted by a large set of components. From a social constructivism approach, where disaster risk is considered as the results of social, political, economic and historic process, this thesis evaluates other modes of interpreting, shaping and managing risk that can help improve methods of risk assessment and management. Studying the logic of action of actors, who mobilize to establish a solution, enables to identify as to what constitutes a disaster. For this reason, the study focus, in particular, on the analysis of practices (practical science) implemented by all actors in San Cristobal Altaverapaz. Finally, it puts into perspective the risk management in terms of an integrative approach for policy experts that find compromise between different conceptions of risk in order to obtain a solution acceptable to all those involved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis studies the properties and usability of operators called t-norms, t-conorms, uninorms, as well as many valued implications and equivalences. Into these operators, weights and a generalized mean are embedded for aggregation, and they are used for comparison tasks and for this reason they are referred to as comparison measures. The thesis illustrates how these operators can be weighted with a differential evolution and aggregated with a generalized mean, and the kinds of measures of comparison that can be achieved from this procedure. New operators suitable for comparison measures are suggested. These operators are combination measures based on the use of t-norms and t-conorms, the generalized 3_-uninorm and pseudo equivalence measures based on S-type implications. The empirical part of this thesis demonstrates how these new comparison measures work in the field of classification, for example, in the classification of medical data. The second application area is from the field of sports medicine and it represents an expert system for defining an athlete's aerobic and anaerobic thresholds. The core of this thesis offers definitions for comparison measures and illustrates that there is no actual difference in the results achieved in comparison tasks, by the use of comparison measures based on distance, versus comparison measures based on many valued logical structures. The approach has been highly practical in this thesis and all usage of the measures has been validated mainly by practical testing. In general, many different types of operators suitable for comparison tasks have been presented in fuzzy logic literature and there has been little or no experimental work with these operators.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

I will argue that the doctrine of eternal recurrence of the same no better interprets cosmology than pink elephants interpret zoology. I will also argue that the eternal-reiurn-of-the-same doctrine as what Magnus calls "existential imperative" is without possibility of application and thus futile. To facilitate those arguments, the validity of the doctrine of the eternal recurrence of the same will be tested under distinct rubrics. Although each rubric will stand alone, one per chapter, as an evaluation of some specific aspect of eternal recurrence, the rubric sequence has been selected to accommodate the identification of what I shall be calling logic abridgments. The conclusions to be extracted from each rubric are grouped under the heading CONCLUSION and appear immediately following rubric ten. Then, or if, at the end of a rubric a reader is inclined to wonder which rubric or topic is next, and why, the answer can be found at the top of the following page. The question is usually answered in the very first sentence, but always answered in the first paragraph. The first rubric has been placed in order by chronological entitlement in that it deals with the evolution of the idea of eternal recurrence from the time of the ancient Greeks to Nietzsche's August, 1881 inspiration. This much-recommended technique is also known as starting at the beginning. Rubric 1 also deals with 20th. Century philosophers' assessments of the relationship between Nietzsche and ancient Greek thought. The only experience of E-R, Zarathustra's mountain vision, is second only because it sets the scene alluded to in following rubrics. The third rubric explores .ii?.ih T jc,i -I'w Nietzsche's evaluation of rationality so that his thought processes will be understood appropriately. The actual mechanism of E-R is tested in rubric four...The scientific proof Nietzsche assembled in support of E-R is assessed by contemporary philosophers in rubric five. E-R's function as an ethical imperative is debated in rubrics six and seven.. .The extent to which E-R fulfills its purpose in overcoming nihilism is measured against the comfort assured by major world religions in rubric eight. Whether E-R also serves as a redemption for revenge is questioned in rubric nine. Rubric ten assures that E-R refers to return of the identically same and not merely the similar. In addition to assemblage and evaluation of all ten rubrics, at the end of each rubric a brief recapitulation of its principal points concludes the chapter. In this essay I will assess the theoretical conditions under which the doctrine cannot be applicable and will show what contradictions and inconsistencies follow if the doctrine is taken to be operable. Harold Alderman in his book Nietzsche's Gift wrote, the "doctrine of eternal recurrence gives us a problem not in Platonic cosmology, but in Socratic selfreflection." ^ I will illustrate that the recurrence doctrine's cosmogony is unworkable and that if it were workable, it would negate self-reflection on the grounds that selfreflection cannot find its cause in eternal recurrence of the same. Thus, when the cosmology is shown to be impossible, any expected ensuing results or benefits will be rendered also impossible. The so-called "heaviest burden" will be exposed as complex, engrossing "what if speculations deserving no linkings to reality. To identify ^Alderman p. 84 abridgments of logic, contradictions and inconsistencies in Nietzsche's doctrine of eternal recurrence of the same, I. will examine the subject under the following schedule. In Chapter 1 the ancient origins of recurrence theories will be introduced. ..This chapter is intended to establish the boundaries within which the subsequent chapters, except Chapter 10, will be confined. Chapter 2, Zarathustra's vision of E-R, assesses the sections of Thus Spoke Zarathustra in which the phenomenon of recurrence of the same is reported. ..Nihilism as a psychological difficulty is introduced in this rubric, but that subject will be studied in detail in Chapter 8. In Chapter 2 the symbols of eternal recurrence of the same will be considered. Whether the recurrence image should be of a closed ring or as a coil will be of significance in many sections of my essay. I will argue that neither symbolic configuration can accommodate Nietzsche's supposed intention. Chapter 3 defends the description of E-R given by Zarathustra. Chapter 4, the cosmological mechanics of E-R, speculates on the seriousness with which Nietzsche might have intended the doctrine of eternal recurrence to be taken. My essay reports, and then assesses, the argument of those who suppose the doctrine to have been merely exploratory musings by Nietzsche on cosmological hypotheses...The cosmogony of E-R is examined. In Chapter 5, cosmological proofs tested, the proofs for Nietzsche's doctrine of return of the same are evaluated. This chapter features the position taken by Martin ' Heidegger. My essay suggests that while Heidegger's argument that recurrence of the same is a genuine cosmic agenda is admirable, it is not at all persuasive. Chapter 6, E-R is an ethical imperative, is in essence the reporting of a debate between two scholars regarding the possibility of an imperative in the doctrine of recurrence. Their debate polarizes the arguments I intend to develop. Chapter 7, does E-R of the same preclude alteration of attitudes, is a continuation of the debate presented in Chapter 6 with the focus shifted to the psychological from the cosmological aspects of eternal recurrence of the same. Chapter 8, Can E-R Overcome Nihilism?, is divided into two parts. In the first, nihilism as it applies to Nietzsche's theory is discussed. ..In part 2, the broader consequences, sources and definitions of nihilism are outlined. My essay argues that Nietzsche's doctrine is more nihilistic than are the world's major religions. Chapter 9, Is E-R a redemption for revenge?, examines the suggestion extracted from Thus Spoke Zarathustra that the doctrine of eternal recurrence is intended, among other purposes, as a redemption for mankind from the destructiveness of revenge. Chapter 10, E-R of the similar refuted, analyses a position that an element of chance can influence the doctrine of recurrence. This view appears to allow, not for recurrence of the same, but recurrence of the similar. A summary will recount briefly the various significant logic abridgments, contradictions, and inconsistencies associated with Nietzsche's doctrine of eternal recurrence of the same. In the 'conclusion' section of my essay my own opinions and observations will be assembled from the body of the essay.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study explored the relationship between the practical examination and other course evaluation methods~ specifically, the triple jump, tutorial, and written examination. Studies correlating academic and clinical grades tended to indicate that they may not be highly correlated because each evaluation process contributes different kinds of information regarding student knowledge, skills, and attitudes. Six hypotheses were generated stating a positive relationship between the four evaluation methods. A correlation matrix was produced of the Pearson Product Moment correlation co-efficients on the four evaluation methods in the second and third year Occupational Therapy Technique and Clinical Problem Solving courses of the 1988 and 1989 graduates (n~45). The results showed that the highest correlations existed between the triple jump and the tutorial grades and the lowest correlations existed between the practical examination and written examination grades. Not all of the correlations~ however~ reached levels of significance. The correlations overall. though, were only low to moderate at best which indicates that the evaluation methods may be measuring different aspects of student learning. This conclusion supports the studies researched. The implications and significance of this study is that it will assist the faculty in defining what the various evaluation methods measure which will in turn promote more critical input into curriculum development for the remaining years of the program.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The present study has both theoretical and practical aspects. The theoretical intent of the study was to closely examine the relationship between muscle activity (EMG) and EEG state during the process of falling asleep. Sleep stages during sleep onset (SO) have been generally defined with regards to brain wave activity (Recht schaff en & Kales (1968); and more precisely by Hori, Hayashi, & Morikawa (1994)). However, no previous study has attempted to quantify the changes in muscle activity during this same process. The practical aspect of the study examined the reliability ofa commercially developed wrist-worn alerting device (NovAlert™) that utilizes changes in muscle activity/tension in order to alert its user in the event that he/she experiences reduced wakefulness that may result in dangerous consequences. Twelve female participants (aged 18-42) sp-ent three consecutive nights in the sleep lab ("Adaptation", "EMG", and "NOVA" nights). Each night participants were given 5, twenty-minute nap opportunities. On the EMG night, participants were allowed to fall asleep freely. On the NOV A night, participants wore the Nov Alert™ wrist device that administered a Psychomotor Vigilance Test (PVT) when it detected that muscle activity levels had dropped below baseline. Nap sessions were scored using Hori's 9-stage scoring system (Hori et aI, 1994). Power spectral analyses (FFT) were also performed. Effects ofthe PVT administration on EMG and EEG frequencies were also examined. Both chin and wrist EMG activity showed reliable and significant decline during the early stages ofHori staging (stages HO to H3 characterized by decreases in alpha activity). All frequency bands studied went through significant changes as the participants progressed through each ofHori's 9 SO stages. Delta, theta, and sigma activity increased later in the SO continuum while a clear alpha dominance shift was noted as alpha activity shifted from the posterior regions of the brain (during Hori stages HO to H3) to the anterior portions (during Hori stages H7 to H9). Administration of the PVT produced significant increases in EMG activity and was effective in reversing subjective drowsiness experienced during the later stages of sleep onset. Limitations of the alerting effects of the PVTs were evident following 60 to 75 minutes of use in that PVTs delivered afterwards were no longer able to significantly increase EMG levels. The present study provides a clearer picture of the changes in EMG and EEG during the sleep onset period while testing the efficacy of a commercially developed alerting device. EMG decreases were found to begin during Hori stage 0 when EEG was - dominated by alpha wave activity and were maximal as Hori stages 2 to 5 were traversed (coincident with alpha and beta activity). This signifies that EMG decrements and the loss of resting alpha activity are closely related. Since decreased alpha has long been associated with drowsiness and impending sleep, this investigation links drops in muscle tone with sleepiness more directly than in previous investigations. The EMG changes were reliably demonstrated across participants and the NovAlert™ detected the EMG decrements when Hori stage 3 was entered. The alerting vibrations produced by the NovAlert™ occurred early enough in the SO process to be of practical importance as a sleepiness monitoring and alerting device.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This investigation examined the effects of de institutionalization on the adaptive behaviour and adjustment of adults with intellectual disabilities (ID). In study 1, a meta-analysis was conducted with 23 studies on deinstitutionalization adaptive behaviour outcomes. Deinstitutionalization was associated with modest improvements in adaptive behaviour however outcomes varied across adaptive behaviour domains and other substantive variables. Clinical and service implications of these results were explicated. Noting the trends from the meta-analysis, study 2 used this information in refining and piloting an Agency Transition Survey used to evaluate community transitions for persons with ID. Information derived from the survey was found to be valuable and adequate for the effective evaluation of transitional success. Potential applications of the survey and meta-analysis results were illustrated.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Memoirs of the late Brigadier-General Sir Samuel Bentham, with an account of his inventions -- The Paddock Viaduct / by John Hawkshaw -- Lockwood Viaduct / by John Hawkshaw -- Denby Dale Viaduct / by John Hawkshaw -- Tithebarn Street Viaduct, Liverpool / by John Hawkshaw -- Newark Dyke Bridge on the Great Northern Railway / by Joseph Cubitt -- Mountain top track in the state of Virginia / by Charles Ellet -- Preliminaries to good building / by Edward Lacy Garbett / Suggestions for increasing the circulating medium in aid of commerce and mechanical enterprise

Relevância:

20.00% 20.00%

Publicador:

Resumo:

UANL

Relevância:

20.00% 20.00%

Publicador:

Resumo:

UANL