An exploratory study of orthoptic student satisfaction in a blended learning environment

Purpose: To describe orthoptic student satisfaction in a blended learning environment. Methods: Blended learning and teaching approaches that include a mix of sessions with elearning are being used since 2011/2012 involving final year (4th year) students from an orthoptic program. This approach is used in the module of research in orthoptics during the 1 semester. Students experienced different teaching approaches, which include seminars, tutorial group discussions and e-learning activities using the moodle platform. The Constructivist OnLine Learning Environment Survey (COLLES ) was applied at the end of the semester with 24 questions grouped in 6 dimensions with 4 items each: Relevance to professional practice, Reflection, Interactivity, Tutor support, Peer support and Interpretation. A 5-point Likert scale was used to score each individual item of the questionnaire (1 - almost never to 5 – almost always). The sum of items in each dimension ranged between 4 (negative perception) and 20 (positive perception). Results: Twenty-four students replied to the questionnaire. Positive points were related with Relevance (16.13±2.63), Reflection (16.46±2.45), Tutor support (16.29±2.10) and Interpretation (15.38±2.16). The majority of the students (n=18; 75%) think that the on-line learning is relevant to students’ professional practice. Critical reflections about learning contents were frequent (n=19; 79.17%). The tutor was able to stimulate critical thinking (n=21; 87.50%), encouraged students to participate (n=18; 75%) and understood well the student’s contributions (n=15; 62.50%). Less positive points were related with Interactivity (14.13±2.77) and Peer support (13.29±2.60). Response from the colleagues to ideas (n=11; 45.83%) and valorization of individual contributions (n=10; 41.67%) scored lower than other items. Conclusions: The flow back and forth between face-to-face and online learning situations helps the students to make critical reflections. The majority of the students are satisfied with a blended e-learning system environment. However, more work needs to be done to improve interactivity and peer support.

Multiple endocrine neoplasia, the old and the new: a mini review

Multiple endocrine neoplasia syndromes have since been classified as types 1 and 2, each with specific phenotypic patterns. MEN1 is usually associated with pituitary, parathyroid and paraneoplastic neuroendocrine tumours. The hallmark of MEN2 is a very high lifetime risk of developing medullary thyroid carcinoma (MTC) more than 95% in untreated patients. Three clinical subtypesdMEN2A, MEN2B, and familial MTC (FMTC) have been defined based on the risk of pheochromocytoma, hyperparathyroidism, and the presence or absence of characteristic physical features). MEN2 occurs as a result of germline activating missense mutations of the RET (REarranged during Transfection) proto-oncogene. MEN2-associated mutations are almost always located in exons 10, 11, or 13 through 16. Strong genotype-phenotype correlations exist with respect to clinical subtype, age at onset, and aggressiveness of MTC in MEN2. These are used to determine the age at which prophylactic thyroidectomy should occur and whether screening for pheochromocytoma or hyperparathyroidism is necessary. Specific RET mutations can also impact management in patients presenting with apparently sporadic MTC. Therefore, genetic testing should be performed before surgical intervention in all patients diagnosed with MTC. Recently, Pellegata et al. have reported that germline mutations in CDKN1B can predispose to the development of multiple endocrine tumours in both rats and humans and this new MEN syndrome is named MENX and MEN4, respectively. CDKN1B. A recent report showed that in sporadic MTC, CDKN1B V109G polymorphism correlates with a more favorable disease progression than the wild-type allele and might be considered a new promising prognostic marker. New insights on MEN syndrome pathogenesis and related inherited endocrine disorders are of particular interest for an adequate surgical and therapeutic approach.

Primary neuroendocrine lung tumor presenting with acute ileal obstruction. Case report

The authors describe a clinical case of a patient with neuroendocrine carcinoma of the lung diagnosed after the onset of an intestinal obstruction from an ileal metastasis. A review of literature reveals that the incidence of symptomatic gastro-intestinal metastases from lung cancer has been estimated to be about 2-3% and is exceedingly rare that the intestinal symptoms may be the initial presentation of cancer of the lung. The authors emphasize the difficulty of preoperative diagnosis of gastro-intestinal metastases which is made, almost always, too late because of the lack of specific symptoms. In our case, on account of the computed tomography, we leaned towards the diagnosis of lymphoma because of the double mediastinal and abdominal localization. Furthermore, this diagnosis was supported by the fact that the pulmonary lesion did not have clear radiological features of a lung cancer. The prognosis is poor because once intestinal metastases occur, other metastatic sites, which would make surgery only a palliative measure, are already present. The review of the literature shows that the average survival rate of these patients is 136 days. In our case the patient survived 277 days.

Whiteness and news: the interlocking social construction of "realities"

This dissertation examines how mainstream U.S. journalism consistently serves white racial interests and the racial status quo, or what I call white incumbency, despite its push for diversity and its stated aims to improve coverage of nonwhite communities. It is based on an in-depth ethnographic study of two daily newspapers and extensive one-on-one interviews with 61 journalists. I found that although journalists strongly identify with the need for more diverse coverage in newspapers, they emphasize individual and personal stories that avoid recognition of historical racial power imbalances, exhibiting what Ruth Frankenberg calls power-evasive race cognizance. Journalists also demonstrate a number of often contradictory identifications and self-understandings about themselves and their work, such as commitments to diversity and not taking sides, but these conflicts are almost always resolved in favor of white incumbency. Journalistic conventions and practices, such as the watchdog function and its emphasis on public institutions, routinely produce stories that replay and reinforce racial hegemony by portraying nonwhites as problems or people seeking “special privileges.” Also, journalistic repertoires about those conventions and practices avoid interrogations of journalists’ ongoing complicity in the maintenance of white incumbency.

Rzecz jako przepustka. Samotna ucieczka z Ravensbrück

Item as a pass: Lonely escape from Ravensbrück, in: B. Walęciuk-Dejneka (ed.) Patterns of women’s loneliness – maidens, widows, divorced, Kraków, pp. 77-86. This research represents a case study of Eugenia Kocwa's escape from Ravensbrück concentration camp in 1944, in which she was incarcerated for her activity in the resistance movement in 1941. Flights from the camps belonged to an extremely rare instances and almost always would have taken a form of group organized break-outs with an additional support from the outer world. The analyzed phenomenon is the only successful individual escape from Ravensbrück, and deserves therefore meticulous attention. In the analysis author lays strong emphasis on a material aspect of the escape and objects incorporated into it, which properly managed, had a decisive influence on fugitive's success. The article is based on testimonies of Eugenia Kocwa and other Ravensbrück prisoners, and adopts theoretical framework of Erving Goffman's total institutions and dramaturgical model

Error analyses reveal contrasting deficits in “theory of mind”: neuropsychological evidence from a 3-option false belief task

Perspective taking is a crucial ability that guides our social interactions. In this study, we show how the specific patterns of errors of brain-damaged patients in perspective taking tasks can help us further understand the factors contributing to perspective taking abilities. Previous work (e.g., Samson, Apperly, Chiavarino, & Humphreys, 2004; Samson, Apperly, Kathirgamanathan, & Humphreys, 2005) distinguished two components of perspective taking: the ability to inhibit our own perspective and the ability to infer someone else’s perspective. We assessed these components using a new nonverbal false belief task which provided different response options to detect three types of response strategies that participants might be using: a complete and spared belief reasoning strategy, a reality-based response selection strategy in which participants respond from their own perspective, and a simplified mentalising strategy in which participants avoid responding from their own perspective but rely on inaccurate cues to infer the other person’s belief. One patient, with a self-perspective inhibition deficit, almost always used the reality-based response strategy; in contrast, the other patient, with a deficit in taking other perspectives, tended to use the simplified mentalising strategy without necessarily transposing her own perspective. We discuss the extent to which the pattern of performance of both patients could relate to their executive function deficit and how it can inform us on the cognitive and neural components involved in belief reasoning.

Meio ambiente e planejamento: a relação cidade-natureza nos Planos Urbanísticos da cidade de Natal no século XX

This research studies the relation between city and nature in the urbanity s plans from Natal RN, Brazil, during the 20th century. Investigates and analyses the main documents that bring environmental s ideas inside from the urbanity s plans of Natal; gives the historical and economical situation from the city in each period studied; features the urbanity s plans, using categories of analyses to comprehension of this instruments. Try to contribute in the bigger process of historical rescue of Natal, and stimulates new studies. It was used documental s research, and bibliographic material. It was identified four (04) kinds of plans: the ones that focus in health and aesthetic (1901, 1929, 1935) technology and science (1968), zoning and control (1974, 1984) and environment. The hints founded shows that environmental ideas were put inside of the plans by government demands, especially in 1994 s plan, almost always without popular contribution and without this population get understands its meanings and implications

Estudo paramétrico da recuperação de óleo no processo de drenagem gravitacional com injeção de CO2

The gas injection has become the most important IOR process in the United States. Furthermore, the year 2006 marks the first time the gas injection IOR production has surpassed that of steam injection. In Brazil, the installation of a petrochemical complex in the Northeast of Brazil (Bahia State) offers opportunities for the injection of gases in the fields located in the Recôncavo Basin. Field-scale gas injection applications have almost always been associated with design and operational difficulties. The mobility ratio, which controls the volumetric sweep, between the injected gas and displaced oil bank in gas processes, is typically unfavorable due to the relatively low viscosity of the injected gas. Furthermore, the difference between their densities results in severe gravity segregation of fluids in the reservoirs, consequently leading to poor control in the volumetric sweep. Nowadays, from the above applications of gas injection, the WAG process is most popular. However, in attempting to solve the mobility problems, the WAG process gives rise to other problems associated with increased water saturation in the reservoir including diminished gas injectivity and increased competition to the flow of oil. The low field performance of WAG floods with oil recoveries in the range of 5-10% is a clear indication of these problems. In order to find na effective alternative to WAG, the Gas Assisted Gravity Drainage (GAGD) was developed. This process is designed to take advantage of gravity force to allow vertical segregation between the injected CO2 and reservoir crude oil due to their density difference. This process consists of placing horizontal producers near the bottom of the pay zone and injecting gás through existing vertical wells in field. Homogeneous models were used in this work which can be extrapolated to commercial application for fields located in the Northeast of Brazil. The simulations were performed in a CMG simulator, the STARS 2007.11, where some parameters and their interactions were analyzed. The results have shown that the CO2 injection in GAGD process increased significantly the rate and the final recovery of oil

Do increases in oil prices precede U.S. recessions?

This thesis examines the relationship between oil prices and economic activity, and it attempts to address the question: do increases in oil prices (oil shocks) precede U.S. recessions? This paper also applied macroeconomics, either through the direct use of a macroeconomic point of view or using a combination of mathematical and statistical models. Two mathematical and statistical models are used to determine the ability of oil prices to predict recessions in the United States. First, using the binary cyclical (Bry-Boschan method) indicator procedure to test the turning point of oil prices compared with turning points in GDP finds that oil prices almost always turn five month before a recession, suggesting that an oil shock might occur before a recession. Second, the Granger causality test shows that oil prices change do Granger cause U.S. recessions, indicating that oil prices are a useful signal to indicate a U.S. recession. Finally, combining this analysis with the literature, there are several potential explanations that the spike in oil prices result in slower GDP growth and are a contributing factor to U.S. recessions.

Licenshantering inom webbprojekt : Hur medvetna är företag om tredjepartslicenser?

Teknikutvecklingen går snabbt framåt, och idag finns det ett stort behov av att använda andra utvecklares kod för att hänga med i det höga tempot. De kallas samlat för ramverk eller bibliotek, och hjälper utvecklaren att på ett effektivare sätt ta sig från start till mål utan att behöva skriva all programmeringskod själv. Dessa tredjepartslösningar är nästintill alltid bundna till ett licensavtal, vars restriktioner och tillåtelser utvecklaren måste följa vid nyttjandet. I denna studie har vi undersökt hur medvetenheten ser ut kring de licenser som är bundna till dessa tredjepartslösningar. Då det framkom i vår förstudie att vårt fall hade en relativt låg medvetenhet har vi även valt att titta på hur medvetenheten kan ökas. För att genomföra detta har vi valt att intervjua utvecklare och projektledare på ett konsultföretag. Vi undersökte även vilka faktorer som är viktiga för att höja medvetenheten samt vilka konsekvenser som kunde uppkomma vid bristfällande licenshantering. Vi upptäckte att det var en bristfällig kunskap om tredjepartslicenser på det studerade företaget, och hur de följde de licensrestriktioner som fanns för respektive licens. För att höja medvetenheten föreslår vi hjälpmedel i form av en automatiserad centraliserad lösning, lathundar för en enklare överblick av licensavtalen och hur användning av redan färdiga programvaror kan hjälpa till att öka medvetenheten och hanteringen av licenser.

Discards of the Algarve (southern Portugal) crustacean trawl fishery

The crustacean trawl fishery off the Algarve coast (southern Portugal) takes place on the lower continental shelf and upper continental slope at depths between 150 and 600 m. This is a multi-species fishery targeting the shrimps Parapenaeus longirostris and Aristeus antennatus and the Norway lobster Nephrops norvegicus, with the latter two species the most important in the landings. The fishery is characterised by significant by-catch and discarding of a large number of species. As part of a study on the fate of trawl fishery discards, this component of the study focused on the quantification of the by-catch and discards of crustacean trawlers. Sampling took place on board seven commercial trawlers from June 1998 to October 1999. Data was collected from 48 tows in 22 fishing trips. The observers collected all of the catch that was discarded by the crew during the sorting operation and samples were taken to the laboratory for identification, weighing and measuring. The quantities of target species were recorded along with the presence of retained by-catch. Commercially valuable species that were retained included Plesiopenaeus edwardsianus, Aristeomorpha foliacea, Plesionika sp., and the fishes Lophius piscatorius and Merluccius merluccius. However, most of the species had no or little commercial value and were almost always discarded to the sea (90%). A total of 91 species were identified, 47 vertebrates and 44 invertebrates corresponding to 65 families. The Teleostei (78% and 68%) were the dominant group, both in number and weight. The species Micromesistius poutassou (34%), Gadiculus argenteus (10%) and Hoplostethus mediterraneus (8%) were the most important in weight. Ten species represented more than 82% of all discards in weight. Gadiculus argenteus (29%), Hoplostethus mediterraneus (21%) and Nezumia sclerorhynchus (10%) accounted for 60% of all discards in numbers. Data on the landed species composition is also presented.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation

Belief merging is an important but difficult problem in Artificial Intelligence, especially when sources of information are pervaded with uncertainty. Many merging operators have been proposed to deal with this problem in possibilistic logic, a weighted logic which is powerful for handling inconsistency and deal-ing with uncertainty. They often result in a possibilistic knowledge base which is a set of weighted formulas. Although possibilistic logic is inconsistency tolerant, it suffers from the well-known "drowning effect". Therefore, we may still want to obtain a consistent possibilistic knowledge base as the result of merging. In such a case, we argue that it is not always necessary to keep weighted information after merging. In this paper, we define a merging operator that maps a set of possibilistic knowledge bases and a formula representing the integrity constraints to a classical knowledge base by using lexicographic ordering. We show that it satisfies nine postulates that generalize basic postulates for propositional merging given in [11]. These postulates capture the principle of minimal change in some sense. We then provide an algorithm for generating the resulting knowledge base of our merging operator. Finally, we discuss the compatibility of our merging operator with propositional merging and establish the advantage of our merging operator over existing semantic merging operators in the propositional case.

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic

The clausal resolution method for propositional linear-time temporal logic is well known and provides the basis for a number of temporal provers. The method is based on an intuitive clausal form, called SNF, comprising three main clause types and a small number of resolution rules. In this paper, we show how the normal form can be radically simplified, and consequently, how a simplified clausal resolutioin method can be defined for this impoprtant variety of logics.