899 resultados para Almost always propositional logic
Resumo:
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.
Resumo:
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
Resumo:
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.
Resumo:
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
Resumo:
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
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
The aim of this thesis project is to automatically localize HCC tumors in the human liver and subsequently predict if the tumor will undergo microvascular infiltration (MVI), the initial stage of metastasis development. The input data for the work have been partially supplied by Sant'Orsola Hospital and partially downloaded from online medical databases. Two Unet models have been implemented for the automatic segmentation of the livers and the HCC malignancies within it. The segmentation models have been evaluated with the Intersection-over-Union and the Dice Coefficient metrics. The outcomes obtained for the liver automatic segmentation are quite good (IOU = 0.82; DC = 0.35); the outcomes obtained for the tumor automatic segmentation (IOU = 0.35; DC = 0.46) are, instead, affected by some limitations: it can be state that the algorithm is almost always able to detect the location of the tumor, but it tends to underestimate its dimensions. The purpose is to achieve the CT images of the HCC tumors, necessary for features extraction. The 14 Haralick features calculated from the 3D-GLCM, the 120 Radiomic features and the patients' clinical information are collected to build a dataset of 153 features. Now, the goal is to build a model able to discriminate, based on the features given, the tumors that will undergo MVI and those that will not. This task can be seen as a classification problem: each tumor needs to be classified either as “MVI positive” or “MVI negative”. Techniques for features selection are implemented to identify the most descriptive features for the problem at hand and then, a set of classification models are trained and compared. Among all, the models with the best performances (around 80-84% ± 8-15%) result to be the XGBoost Classifier, the SDG Classifier and the Logist Regression models (without penalization and with Lasso, Ridge or Elastic Net penalization).
Resumo:
This dissertation investigates the relations between logic and TCS in the probabilistic setting. It is motivated by two main considerations. On the one hand, since their appearance in the 1960s-1970s, probabilistic models have become increasingly pervasive in several fast-growing areas of CS. On the other, the study and development of (deterministic) computational models has considerably benefitted from the mutual interchanges between logic and CS. Nevertheless, probabilistic computation was only marginally touched by such fruitful interactions. The goal of this thesis is precisely to (start) bring(ing) this gap, by developing logical systems corresponding to specific aspects of randomized computation and, therefore, by generalizing standard achievements to the probabilistic realm. To do so, our key ingredient is the introduction of new, measure-sensitive quantifiers associated with quantitative interpretations. The dissertation is tripartite. In the first part, we focus on the relation between logic and counting complexity classes. We show that, due to our classical counting propositional logic, it is possible to generalize to counting classes, the standard results by Cook and Meyer and Stockmeyer linking propositional logic and the polynomial hierarchy. Indeed, we show that the validity problem for counting-quantified formulae captures the corresponding level in Wagner's hierarchy. In the second part, we consider programming language theory. Type systems for randomized \lambda-calculi, also guaranteeing various forms of termination properties, were introduced in the last decades, but these are not "logically oriented" and no Curry-Howard correspondence is known for them. Following intuitions coming from counting logics, we define the first probabilistic version of the correspondence. Finally, we consider the relationship between arithmetic and computation. We present a quantitative extension of the language of arithmetic able to formalize basic results from probability theory. This language is also our starting point to define randomized bounded theories and, so, to generalize canonical results by Buss.
Resumo:
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.
Resumo:
Answering the question “what occurs in an academic advising interaction” is not as easy as one might think. Many factors contribute to the academic advising process, and no two advising interactions are the same. This article discusses the different factors involved in an academic advising interaction, emphasizing the need for psychological counselors to become familiar with the specific aspects of the advising processes that occur at their respective institutions.
Resumo:
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks. (c) 2007 Elsevier Inc. All rights reserved.