The ongoing coronavirus 2019 pandemic caused by the severe acute respiratory syndrome coronavirus 2 has resulted in a severe ramification on the global healthcare system, principally because of its easy transmission and the extended period of the virus survival on contaminated surfaces. With the advances in computer-aided diagnosis and artificial intelligence, this paper presents the application of deep learning and adversarial network for the automatic identification of COVID-19 pneumonia in computed tomography scans of the lungs. The complexity and time limitation (...) of the reverse transcription-polymerase chain reaction swab test makes it disadvantageous to depend solely on as COVID-19’s central diagnostic mechanism. Since CT imaging systems are of low cost and widely available, we demonstrate that the drawback of the RT-PCR can be alleviated with a faster, automated, and reduced contact diagnostic process via the use of a neural network model for the classification of infected and noninfected CT scans. In our proposed model, we explore the benefit of transfer learning as a means of resolving the problem of inadequate dataset and the importance of semisupervised generative adversarial network for the extraction of well-mapped features and generation of image data. Our experimental evaluation indicates that the proposed semisupervised model achieves reliable classification, taking advantage of the reflective loss distance between the real data sample space and the generated data. (shrink)

JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected].

ABSTRACT Reiter's default logic is one of the most prominent and well-studied approaches to nonmonotonic reasoning. Its evolution has resulted in diverse variants enjoying many interesting properties. This process however seems to be diverging because it has led to default logics that are difficult to compare due to different formal characterizations—sometimes even dealing with different objects of discourse. This problem is addressed in this paper in two ways. One the one hand, we elaborate on the relationships between different types of (...) default logics and discuss their differences wrt some basic properties. In particular, we show how two recently proposed variants, namely rational and CA-default logic, are related to each other and existing default logics. As an interesting byproduct, we obtain a cumulative counterpart to Lukasiewicz' variant of default logic. The resulting system is insofar surprising since it necessitates to refine the canonical way of assuring cumulativity in default logics. On the other hand, we pursue an integrating approach. We give a translation embedding rational and CA-default logic into a recently developed framework for default logics. This allows us not only to classify these variants, but it moreover provides us with semantical underpinnings that have been lacking so far. (shrink)

Pharmacists with religious or ethical objections to prescribing emergency contraception won the latest round in the fight over conscience clauses in a case that could have broader implications for attempts to restrict access to contraception. In Stormans, Inc. v. Selecky, a federal District Court in Washington State granted an injunction to block the enforcement of regulations that would have forbidden pharmacists to refuse to dispense emergency contraception on the grounds of religious or ethical objections. In its decision, the court applied (...) Supreme Court abortion precedent without explicitly ruling whether emergency contraception should be legally categorized as a form of abortion or as contraception. However, the legal status of emergency contraception affects the strength of the defendants’ claims that the law was justified on the grounds of preventing sex discrimination. In neglecting to rule one way or the other, the court not only failed to adequately consider the sex discrimination claim but also may have opened the door to more restrictive regulation on contraceptives generally. (shrink)

In this article we study the problem of classifying φ-spaces with a fixed basis subspace. In the first part, this problem is treated in a more general topological context. The second part is devoted to effective φ-spaces.

Fielding and Marwede attempt to lay down directions for an applied onto-psychiatry. According to their proposal, such an enterprise requires us to accept certain metaphysical and methodological claims about how brain and experience are related. To put it in one sentence, our critique is that we find their metaphysics questionable and their methodology clinically impracticable.A first fundamental problem for their project, as it is expressed in their paper, is that their overall aim is unclear. At least three different aims might (...) be read as motivating their efforts, here listed according to their strength:They aim to develop tools for the development of knowledge representational systems that can be used by .. (shrink)

John Locke’s theory of classification is a subject that has long received scholarly attention. Little notice has been taken, however, of the problems that were posed for taxonomy by its inability to account for organic processes. Classification, designed originally as an exercise in logic, becomes complicated once it turns to organic life and the aims of taxonomy become entangled with processes of generation, variation, and inheritance. Locke’s experience with organisms—experience garnered through his work in botany and medicine—suggested to (...) him both the dynamism of nature and the artificiality of any a priori system of classification. This reinforced Locke’s critique of classification in the Essay Concerning Human Understanding, and by tracing its influence it is possible to approach Locke’s nominalism from a fresh perspective. (shrink)

The DSM-IV, like its predecessors, will be a major influence on American psychiatry. As a consequence, continuing analysis of its assumptions is essential. Review of the manuals as well as conceptually-oriented literature on DSM-III, DSM-III-R, and DSM-IV reveals that the authors of these classifications have paid little attention to the explicit and implicit value commitments made by the classifications. The response to DSM criticisms and controversy has often been to incorporate more scientific diversity into the classification, instead of careful (...) inquiry and assessment of the principal values that drive the nosologic process. Implications for psychiatric science and future DSM classifications are discussed. (shrink)

One-sided classifiers are computable devices which read the characteristic function of a set and output a sequence of guesses which converges to 1 iff the set on the input belongs to the gven class. Such a classifier istwo-sided if the sequence of its output in addition converges to 0 on setsnot belonging to the class. The present work obtains the below mentionedresults for one-sided classes (= Σ0 2 classes) with respect to four areas: Turing complexity, 1-reductions, index sets and measure.There (...) are one-sided classes which are not two-sided. This can have two reasons: (1) the class has only high Turing complexity. Then there are some oracles which allow to construct noncomputale two-sided classifiers. (2) The class is difficult because of some topological constraints and then there are also no nonrecursive two-sided classifiers. For case (1), several results are obtainedto localize the Turing complexity of certain types of one-sided classes.The concepts of 1-reduction, 1-completeness and simple sets is transferred to one-sided classes: There are 1-complete classes and simple classes, but no class is at the same time 1-complete nd simple.The one-sided classes have a natural numbering. Most of the common index sets relative to this numbering have the high complexity Π1 1: the index set of the class {0,1}∞, the index set of the equality problem and the index set of all two-sided classes. On the other side the index set of the empty class has complexity Π0 2; Π0 2 and Σ0 2 are the least complexities any nontrivial index set can have.Lusin showed that any one-sided class is measurable. Concerning the effectiveness of this measure, it is shown that a one-sided class has recursive measure 0 if it has measure 0, but that thre are one-sided classes having measure 1 without having measure 1 effectively. The measure of a two-sided class can be computed in the limit. (shrink)

Life strategy in personal dimension could be identified as a complex phenomenon, which includes main key dimensions and categories that characterize person’s life and behavior. Life strategy is a way of life self-determining, self-establishing, self-expression and self-organizing as well as the ability to bring living conditions according with personality own values and individual uniqueness. The student life strategies directly connected with higher education. Author’s sociological research examines the main features of life strategies of modern Ukrainian students. In the article, the (...) author's typology of the main types of life strategies of students is proposed. The tipology reflects the crucial connection with the appropriate understanding of the place and role of higher education: career-pragmatic, universal education, and adaptive-conformist. (shrink)

In our paper we investigate a difficulty arising when one tries to reconsiliateessentialis t’s thinking with classification practice in the biological sciences. The article outlinessome varieties of essentialism with particular attention to the version defended by Brian Ellis. Weunderline the basic difference: Ellis thinks that essentialism is not a viable position in biology dueto its incompatibility with biological typology and other essentialists think that these two elementscan be reconciled. However, both parties have in common metaphysical starting point and theylack (...) explicit track of methodological procedures. Methodological inquiry involves less demandingassumptions than metaphysical, and therefore it is justified to analyse abovementioned discrepancy between Ellis and other essentialist in this context. We do it by bottom-up investigation whichfocuses on the practice of taxonomists in the particular field of biology. A case study helps us todiscover four characteristics of biological typology practice: impossibility of algorithmization,relativity, subjectivity and conventionality. These features prove non-realistic and therefore anti-essentialistic character of biological classification. We conclude by saying that any essentialismrelated to the notion of biological kind cannot be regarded as justified by scientific enterprise of creating typologies. (shrink)