Results for 'Type-determining set'

980 found
Order:
  1.  46
    Some Ramsey-type theorems for countably determined sets.Josef Mlček & Pavol Zlatoš - 2002 - Archive for Mathematical Logic 41 (7):619-630.
    Let X be an infinite internal set in an ω1-saturated nonstandard universe. Then for any coloring of [X] k , such that the equivalence E of having the same color is countably determined and there is no infinite internal subset of [X] k with all its elements of different colors (i.e., E is condensating on X), there exists an infinite internal set Z⊆X such that all the sets in [Z] k have the same color. This Ramsey-type result is obtained (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  19
    Context-Relative Norms Determine the Appropriate Type of Consent in Clinical Biobanks: Towards a Potential Solution for the Discrepancy between the General Data Protection Regulation and the European Data Protection Board on Requirements for Consent.R. Indrakusuma, S. Kalkman, M. J. W. Koelemay, R. Balm & D. L. Willems - 2020 - Science and Engineering Ethics 26 (6):3271-3284.
    Clinical biobanks processing data of participants in the European Union fall under the scope of the General Data Protection Regulation, which among others includes requirements for consent. These requirements are further specified by the Article 29 Working Party —an EU advisory body currently known as the European Data Protection Board. Unfortunately, their guidance is cause for some confusion. While the GDPR allows participants to give broad consent for research when specific research purposes are still unknown, the WP29 guidelines suggest that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. What determines biological fitness? The problem of the reference environment.Marshall Abrams - 2009 - Synthese 166 (1):21-40.
    Organisms' environments are thought to play a fundamental role in determining their fitness and hence in natural selection. Existing intuitive conceptions of environment are sufficient for biological practice. I argue, however, that attempts to produce a general characterization of fitness and natural selection are incomplete without the help of general conceptions of what conditions are included in the environment. Thus there is a "problem of the reference environment"—more particularly, problems of specifying principles which pick out those environmental conditions which (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  4.  21
    Secondary determiners as markers of generalized instantiation in English noun phrases.Tine Breban - 2011 - Cognitive Linguistics 22 (3):511-533.
    This paper is concerned with English noun phrases that denote generalized instances: they do not refer to actual spatio-temporal instances, but to virtual ones that are abstracted from a limited number of actual instances, e.g., a student in Three times, a student complained (Langacker, Foundations of Cognitive Grammar. Volume II: Descriptive application, Stanford University Press, 1991, Dynamicity, fictivity, and scanning: The imaginative basis of logic and linguistic meaning, Cambridge University Press, 2005, forthcoming). Langacker likens generalized instances to generic ones, which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Situation Pronouns in Determiner Phrases.Florian Schwarz - 2012 - Natural Language Semantics 20 (4):431-475.
    It is commonly argued that natural language has the expressive power of quantifying over intensional entities, such as times, worlds, or situations. A standard way of modelling this assumes that there are unpronounced but syntactically represented variables of the corresponding type. Not all that much as has been said, however, about the exact syntactic location of these variables. Meanwhile, recent work has highlighted a number of problems that arise because the interpretive options for situation pronouns seem to be subject (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  6.  23
    Determinants of Neural Plastic Changes Induced by Motor Practice.Wen Dai, Kento Nakagawa, Tsuyoshi Nakajima & Kazuyuki Kanosue - 2021 - Frontiers in Human Neuroscience 15.
    Short-term motor practice leads to plasticity in the primary motor cortex. The purpose of this study is to investigate the factors that determine the increase in corticospinal tract excitability after motor practice, with special focus on two factors; “the level of muscle activity” and “the presence/absence of a goal of keeping the activity level constant.” Fifteen healthy subjects performed four types of rapid thumb adduction in separate sessions. In the “comfortable task” and “forceful task”, the subjects adducted their thumb using (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space.Adrianna Jagiełło, Piotr Lisowski & Roman Urban - 2022 - Journal of Logic, Language and Information 31 (3):389-408.
    This paper deals with Gärdenfors’ theory of conceptual spaces. Let S{\mathcal {S}} be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes P~1,,P~nS\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S} be given. Our main result is the construction of a classification algorithm. That is, given an element A~S,{\tilde{A}}\in \mathcal {S}, our algorithm classifies it into the conceptual field determined by one of the given prototypes P~i.\tilde{P}_i. The construction of our algorithm uses some physical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Determining Criteria for Distinguishing.Barry Klein - 2018 - Dissertation, Walden University
    Even though there are many views on consciousness theory in the pertinent literature, there remains a need for a unifying framework for specifying the features of specific states of consciousness. In order to know what kinds of experiences conscious states have in common, researchers need to elicit testimony that is more direct and finer-grained than has been previously available. This dissertation endeavors to fill a gap in current research by addressing concepts and methods for making requisite distinctions and illuminates the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Value Orientations as Determinants of Preference for External and Anonymous Whistleblowing.Dilek Zamantili Nayir & Christian Herzig - 2012 - Journal of Business Ethics 107 (2):197-213.
    Incidences of organizational wrongdoing have become wide spread throughout the whole business world. The management of organizational wrongdoings is of growing concern in organizations globally, since these types of acts can be detrimental to financial well being. Wrongdoing occurs within organizational settings and organizational members commonly have knowledge of and thus the opportunity to report the wrongdoing. An employee’s decision to report individual or organizational misconduct, i.e. blow the whistle, is a complex phenomenon that is based upon organizational, situational and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  10.  82
    Domain restriction and the arguments of quantificational determiners.Anastasia Giannakidou - manuscript
    Classical generalized quantifier (GQ) theory posits that quantificational determiners (Q-dets) combine with a nominal argument of type et, a first order predicate, to form a GQ. In a recent paper, Matthewson (2001) challenges this position by arguing that the domain of a Q-det is not of type et, but e, an entity. In this paper, I defend the classical GQ view, and argue that the data that motivated Matthewson’s revision actually suggest that the domain set can, and indeed (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  11. Business diagnostics as a universal tool for stady of state and determination of corporations development directions and strategies.Igor Kryvovyazyuk, Galyna Otlyvanska, Liudmyla Shostak, Tatiana Sak, Larysa Yushchyshyna, Iryna Volynets, Olha Myshko, Iryna Oleksandrenko, Viktoriia Dorosh & Tetiana Visyna - 2021 - Academy of Strategic Management Journal 20 (2):1-14.
    The aim of the article is to show how the use of diagnostic methods allows identifying patterns and problems of corporations functioning, providing identification of directions and strategies for further development of their business. Theoretical and methodological basis of the research is a scientific works of scientists in the field of business diagnostics and strategic development, who studied diagnostics in the system of responding to business development problems, identifying areas for improving strategic management, financial statements of corporations of Daimler Group (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  23
    Discourse genres as determiners of discursive regularities.Jeoffrey Gaspard - 2016 - Sign Systems Studies 44 (3):355-367.
    This article focuses on discursive regularities that can generally be observed in text corpora produced in similar communication situations (medical interviews, political debates, teaching classes, etc.). One type of such regularities is related to the so-called ‘discourse genres’, considered as a set of tacit instructions broadly constraining the forms of utterances in a given discursive practice. Those regularities highlight the relatively regulated, non-random nature of most of our discursive practices and epitomize the necessary constrained creativity of meaning making in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  60
    Stakeholder Pressures as Determinants of CSR Strategic Choice: Why do Firms Choose Symbolic Versus Substantive Self-Regulatory Codes of Conduct? [REVIEW]Luis A. Perez-Batres, Jonathan P. Doh, Van V. Miller & Michael J. Pisani - 2012 - Journal of Business Ethics 110 (2):157-172.
    To encourage corporations to contribute positively to the environment in which they operate, voluntary self-regulatory codes (SRC) have been enacted and refined over the past 15 years. Two of the most prominent are the United Nations Global Compact and the Global Reporting Initiative. In this paper, we explore the impact of different stakeholders' pressures on the selection of strategic choices to join SRCs. Our results show that corporations react differently to different sets of stakeholder pressures and that the SRC selection (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  14.  63
    Type-Decomposition of a Synaptic Algebra.David J. Foulis & Sylvia Pulmannová - 2013 - Foundations of Physics 43 (8):948-968.
    A synaptic algebra is a generalization of the self-adjoint part of a von Neumann algebra. In this article we extend to synaptic algebras the type-I/II/III decomposition of von Neumann algebras, AW∗-algebras, and JW-algebras.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  15.  26
    A qualitative interview study to determine barriers and facilitators of implementing automated decision support tools for genomic data access.Vasiliki Rahimzadeh, Jinyoung Baek, Jonathan Lawson & Edward S. Dove - 2024 - BMC Medical Ethics 25 (1):1-10.
    Data access committees (DAC) gatekeep access to secured genomic and related health datasets yet are challenged to keep pace with the rising volume and complexity of data generation. Automated decision support (ADS) systems have been shown to support consistency, compliance, and coordination of data access review decisions. However, we lack understanding of how DAC members perceive the value add of ADS, if any, on the quality and effectiveness of their reviews. In this qualitative study, we report findings from 13 semi-structured (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  10
    The Problem Field of Information Terrorism in the Domestic Social and-Political Discourse: To Determine a Research Strategy.Сергій Олександрович ПШЕНИЧНИЙ - 2024 - Epistemological studies in Philosophy, Social and Political Sciences 7 (1):205-212.
    The article concerns the definition of the problem field of a new type of modern terrorist activity in the information space under the conditions of globalization - information terrorism.The findings systematized, which are presented in the domestic social and political discourse and can serve as the basis for its further comprehensive research in the direction of building its corresponding model / concept. The research strategy of the well-known American methodologist L. Coser used for the analysis of elements of social (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Shared structure need not be shared set-structure.Elaine Landry - 2007 - Synthese 158 (1):1 - 17.
    Recent semantic approaches to scientific structuralism, aiming to make precise the concept of shared structure between models, formally frame a model as a type of set-structure. This framework is then used to provide a semantic account of (a) the structure of a scientific theory, (b) the applicability of a mathematical theory to a physical theory, and (c) the structural realist’s appeal to the structural continuity between successive physical theories. In this paper, I challenge the idea that, to be so (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  18.  36
    Index sets for ω‐languages.Douglas Czenzer & Jeffrey B. Remmel - 2003 - Mathematical Logic Quarterly 49 (1):22-33.
    An ω-language is a set of infinite sequences on a countable language, and corresponds to a set of real numbers in a natural way. Languages may be described by logical formulas in the arithmetical hierarchy and also may be described as the set of words accepted by some type of automata or Turing machine. Certain families of languages, such as the equation image languages, may enumerated as P0, P1, … and then an index set associated to a given property (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Type-free truth.Thomas Schindler - 2015 - Dissertation, Ludwig Maximilians Universität München
    This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Plural type quantification.Yoad Winter - manuscript
    This paper introduces some of the main components of a novel type theoretical semantics for quantifi- cation with plural noun phrases. This theory, unlike previous ones, sticks to the standard generalized quantifier treatment of singular noun phrases and uses only one lifting operator per semantic category (predicate, quantifier and determiner) for quantification with plurals. Following Bennett (1974), plural individuals are treated as functions of type ¢¡ . Plural nouns and other plural predicates accordingly denote £ ¢¡¥¤¦¡ functions. Such (...)
     
    Export citation  
     
    Bookmark  
  21.  51
    Attaching Names to Biological Species: The Use and Value of Type Specimens in Systematic Zoology and Natural History Collections.Ronald Sluys - 2021 - Biological Theory 16 (1):49-61.
    Biological type specimens are a particular kind of voucher specimen stored in natural history collections. Their special status and practical use are discussed in relation to the description and naming of taxonomic zoological diversity. Our current system, known as Linnaean nomenclature, is governed by the International Code of Zoological Nomenclature. The name of a species is fixed by its name-bearing type specimen, linking the scientific name of a species to the type specimen first designated for that species. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  80
    Natural models of homotopy type theory.Steve Awodey - unknown
    The notion of a natural model of type theory is defined in terms of that of a representable natural transfomation of presheaves. It is shown that such models agree exactly with the concept of a category with families in the sense of Dybjer, which can be regarded as an algebraic formulation of type theory. We determine conditions for such models to satisfy the inference rules for dependent sums Σ, dependent products Π, and intensional identity types Id, as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  48
    A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
    The aim of this paper is to introduce an alternative to Łukasiewicz’s 4-valued modal logic Ł. As it is known, Ł is afflicted by “Łukasiewicz type paradoxes”. The logic we define, PŁ4, is a strong paraconsistent and paracomplete 4-valued modal logic free from this type of paradoxes. PŁ4 is determined by the degree of truth-preserving consequence relation defined on the ordered set of values of a modification of the matrix MŁ characteristic for the logic Ł. On the other (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24. Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:183-196.
    Since virtually every mathematical theory can be interpreted in Zermelo-Fraenkel set theory, it is a foundation for mathematics. There are other foundations, such as alternate set theories, higher-order logic, ramified type theory, and category theory. Whether set theory is the right foundation for mathematics depends on what a foundation is for. One purpose is to provide the ultimate metaphysical basis for mathematics. A second is to assure the basic epistemological coherence of all mathematical knowledge. A third is to serve (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  76
    Kripke-style models for typed lambda calculus.John C. Mitchell & Eugenio Moggi - 1991 - Annals of Pure and Applied Logic 51 (1-2):99-124.
    Mitchell, J.C. and E. Moggi, Kripke-style models for typed lambda calculus, Annals of Pure and Applied Logic 51 99–124. The semantics of typed lambda calculus is usually described using Henkin models, consisting of functions over some collection of sets, or concrete cartesian closed categories, which are essentially equivalent. We describe a more general class of Kripke-style models. In categorical terms, our Kripke lambda models are cartesian closed subcategories of the presheaves over a poset. To those familiar with Kripke models of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  92
    The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
    One objective of this paper is the determination of the proof-theoretic strength of Martin-Löf's type theory with a universe and the type of well-founded trees. It is shown that this type system comprehends the consistency of a rather strong classical subsystem of second order arithmetic, namely the one with Δ 2 1 comprehension and bar induction. As Martin-Löf intended to formulate a system of constructive (intuitionistic) mathematics that has a sound philosophical basis, this yields a constructive consistency (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  27.  15
    The Doctrine of Three Types of Being in the Russian Theological-Academic Philosophy in the 19th Century.Irina Tsvyk & Daniil Kvon - 2023 - Philosophies 8 (4):53.
    The article is devoted to the analysis of the theological-academic ontological doctrine of the three types of being formulated within the framework of the Russian theological-academic philosophy of the 19th century. The study of this problem in the context of the general analysis of the phenomenon of theological-academic philosophy allows expanding our understanding of the genesis of Russian philosophy and its religious-philosophical component. The main aim of the article is the historical-philosophical analysis (on the material of philosophical courses of Russian (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  32
    Statistical Differences in Set Analysis in Badminton at the RIO 2016 Olympic Games.Gema Torres-Luque, Ángel Iván Fernández-García, Juan Carlos Blanca-Torres, Miran Kondric & David Cabello-Manrique - 2019 - Frontiers in Psychology 10.
    The aim of the present study was to determine statistical differences in a set of badminton competition matches in five different modalities with regard to competition level (Group Phase versus Eliminatory Phase). Data from 453 sets (125 in men’s singles; 108 sets in women’s singles; 77 sets in men’s doubles; 73 in women’s doubles and 70 in mixed doubles) from the RIO 2016 Olympics Games were recorded and classified in two groups of variables to analyse variables related to match (5) (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  24
    Remarks about the unification type of several non-symmetric non-transitive modal logics.Philippe Balbiani - 2019 - Logic Journal of the IGPL 27 (5):639-658.
    The problem of unification in a normal modal logic $L$ can be defined as follows: given a formula $\varphi$, determine whether there exists a substitution $\sigma$ such that $\sigma $ is in $L$. In this paper, we prove that for several non-symmetric non-transitive modal logics, there exists unifiable formulas that possess no minimal complete set of unifiers.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  34
    Inner models for set theory—Part II.J. C. Shepherdson - 1952 - Journal of Symbolic Logic 17 (4):225-237.
    In this paper we continue the study of inner models of the type studied inInner models for set theory—Part I.The present paper is concerned exclusively with a particular kind of model, the ‘super-complete models’ defined in section 2.4 of I. The condition of 2.4 and the completeness condition 1.42 imply that such a model is uniquely determined when its universal class Vmis given. Writing condition and the completeness conditions 1.41, 1.42 in terms of Vm, we may state the definition (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  31. Realizability models for constructive set theories with restricted induction principles.Laura Crosilla - unknown
    This thesis presents a proof theoretical investigation of some constructive set theories with restricted set induction. The set theories considered are various systems of Constructive Zermelo Fraenkel set theory, CZF ([1]), in which the schema of $\in$ - Induction is either removed or weakened. We shall examine the theories $CZF^\Sigma_\omega$ and $CZF_\omega$, in which the $\in$ - Induction scheme is replaced by a scheme of induction on the natural numbers (only for  formulas in the case of the first theory, (...)
     
    Export citation  
     
    Bookmark  
  32.  40
    Farmers’ perceptions of climate change: identifying types.John J. Hyland, Davey L. Jones, Karen A. Parkhill, Andrew P. Barnes & A. Prysor Williams - 2016 - Agriculture and Human Values 33 (2):323-339.
    Ambitious targets to reduce greenhouse gas emissions from agriculture have been set by both national governments and their respective livestock sectors. We hypothesize that farmer self-identity influences their assessment of climate change and their willingness to implement measures which address the issue. Perceptions of climate change were determined from 286 beef/sheep farmers and evaluated using principal component analysis. The analysis elicits two components which evaluate identity, and two components which evaluate behavioral capacity to adopt mitigation and adaptation measures. Subsequent Cluster (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  33. Cross-linguistic semantics.Maria Bittner - 1994 - Linguistics and Philosophy 17 (1):53 - 108.
    Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  34.  10
    Setting Research Priorities.Tom Obengo & Jantina de Vries - 2023 - In Susan Bull, Michael Parker, Joseph Ali, Monique Jonas, Vasantha Muthuswamy, Carla Saenz, Maxwell J. Smith, Teck Chuan Voo, Katharine Wright & Jantina de Vries, Research Ethics in Epidemics and Pandemics: A Casebook. Springer Verlag. pp. 23-40.
    Time and resource constraints, combined with competing priorities, mean that research prioritization is a critical ethical consideration in pandemics and emergencies, given the increased need for relevant research findings to address health needs, and the multiple adverse ways that emergencies can impact capacities to conduct research. At international, national and local levels, careful consideration is needed of which research topics should be prioritized and on what grounds. This needs to take into account the ethically significant considerations that should inform prioritization; (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  81
    The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.
    Saunders Mac Lane has drawn attention many times, particularly in his book Mathematics: Form and Function, to the system of set theory of which the axioms are Extensionality, Null Set, Pairing, Union, Infinity, Power Set, Restricted Separation, Foundation, and Choice, to which system, afforced by the principle, , of Transitive Containment, we shall refer as . His system is naturally related to systems derived from topos-theoretic notions concerning the category of sets, and is, as Mac Lane emphasises, one that is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  36.  30
    Rational Goal-Setting in Environmental Policy : Foundations and Applications.Karin Edvardsson Björnberg - unknown
    The overall aim of this thesis is to present a model for rational goal-setting and to illustrate how it can be applied in evaluations of public policies, in particular policies concerning sustainable development and environmental quality. The contents of the thesis are divided into two sections: a theoretical section and an empirical section. Paper I identifies a set of rationality criteria for single goals and discusses them in relation to the typical function of goals. It is argued that goals are (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  20
    Acute Exercise-Induced Set Shifting Benefits in Healthy Adults and Its Moderators: A Systematic Review and Meta-Analysis.Max Oberste, Sophia Sharma, Wilhelm Bloch & Philipp Zimmer - 2021 - Frontiers in Psychology 12.
    Background: Positive effects of acute exercise on cognitive performances in general inspired research that investigated the effects of acute exercise on specific cognitive subdomains. Many existing studies examined beneficial effects of acute exercise on subsequent set shifting performance in healthy adults. Set shifting, a subdomain of executive function, is the ability to switch between different cognitive sets. The results of existing studies are inconsistent. Therefore, a meta-analysis was conducted that pooled available effect sizes. Additionally, moderator analyses were carried out to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Roles of Anxiety and Depression in Predicting Cardiovascular Disease Among Patients With Type 2 Diabetes Mellitus: A Machine Learning Approach.Haiyun Chu, Lu Chen, Xiuxian Yang, Xiaohui Qiu, Zhengxue Qiao, Xuejia Song, Erying Zhao, Jiawei Zhou, Wenxin Zhang, Anam Mehmood, Hui Pan & Yanjie Yang - 2021 - Frontiers in Psychology 12.
    Cardiovascular disease is a major complication of type 2 diabetes mellitus. In addition to traditional risk factors, psychological determinants play an important role in CVD risk. This study applied Deep Neural Network to develop a CVD risk prediction model and explored the bio-psycho-social contributors to the CVD risk among patients with T2DM. From 2017 to 2020, 834 patients with T2DM were recruited from the Department of Endocrinology, Affiliated Hospital of Harbin Medical University, China. In this cross-sectional study, the patients' (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  23
    The Effect of Traditional Opposition Games on University Students' Mood States: The Score and Group Type as Key Aspects.María Isabel Cifo Izquierdo, Verónica Alcaraz-Muñoz, Gemma Maria Gea-García, Juan Luis Yuste-Lucas & José Ignacio Alonso Roque - 2021 - Frontiers in Psychology 11.
    Playing traditional games has a direct impact on the mood states of the players, and this is the reason why physical education is an ideal setting for teaching how to recognize them and be aware about how they can swing. The objective of the study was to determine if participating in traditional opposition games causes changes to the participants' mood states. A total of 102 students participated. Each participant recorded the intensity of the mood state experienced at the beginning and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  48
    Determinacy and the sharp function on objects of type K.Derrick Albert Dubose - 1995 - Journal of Symbolic Logic 60 (4):1025-1053.
    We characterize, in terms of determinacy, the existence of the least inner model of "every object of type k has a sharp." For k ∈ ω, we define two classes of sets, (Π 0 k ) * and (Π 0 k ) * + , which lie strictly between $\bigcup_{\beta and Δ(ω 2 -Π 1 1 ). Let ♯ k be the (partial) sharp function on objects of type k. We show that the determinancy of (Π 0 k (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  20
    Dans l'existence et dans l'inexistence : types, instances et l'analyse de Dawarān comme test de causalité.Shahid Rahman & Walter Edward Young - 2022 - Methodos 22.
    Qiyās, or “correlational inference” (often glossed as “analogy”), comprises a primary set of methodological tools recognized by a majority of premodern Sunnī jurists. Its elements, valid modes, and proper applications were the focus of continual argument and refinement. A particular area of debate was the methodology of determining or justifying the ʿilla: the legal cause (or occasioning factor, or ratio legis) giving rise to a ruling in God’s Law. This was most often discussed (and disputed) under the rubric of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  39
    Justice in circumstances of transition: comments on Colleen Murphy’s theory of transitional justice as justice of a special type.George Hull - 2018 - Journal of Global Ethics 14 (2):147-158.
    ABSTRACTColleen Murphy has argued that in circumstances of societal transition only one special type of justice is applicable: ‘transitional justice’, a type of justice not reducible to any other type or types. I take issue with Murphy’s conclusion, showing that retributive, distributive and corrective justice all feature as isolable component parts in her own positive account of transitional justice. I also argue that restorative justice is applicable and important in transitional societies when the state itself has perpetrated (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  68
    Corporate Social Responsibility and Corporate Governance: Role of Context in International Settings.Suzanne Young & Vijaya Thyil - 2014 - Journal of Business Ethics 122 (1):1-24.
    This research aims to explore the relationship between corporate governance and CSR: What are the major factors that play a direct role in the establishment of this relationship? How does context and institutional background impact upon the relationship between CSR and Governance? Using in-depth semi-structured interviews from two types of governance systems in three countries over three years, this study has demonstrated that in practice, within different settings, CSR is being used both as a strategy as well as a reaction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  44. A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
    This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  45.  17
    In Existence and in Nonexistence: Types, Tokens, and the Analysis of Dawarān as a Test for Causation.Shahid Young Rahman - 2022 - Methodos. Savoirs Et Textes 22.
    Qiyās, or “correlational inference”, comprises a primary set of methodological tools recognized by a majority of premodern Sunnī jurists. Its elements, valid modes, and proper applications were the focus of continual argument and refinement. A particular area of debate was the methodology of determining or justifying the ʿilla: the legal cause giving rise to a ruling in God’s Law. This was most often discussed under the rubric of “the modes of causal justification”. Among these modes was the much debated (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Nobility and Decadence: The Vulnerabilities of Nietzsche’s Strong Type.Vinod Acharya - 2012 - PhaenEx 7 (1):130-161.
    This paper argues that for Nietzsche it is only when the strong type decays on its own terms that it is possible for a weak type to come into dominance by inverting the values of the strong. It sets right a latent inconsistency in Deleuze’s work, Nietzsche and Philosophy , which traces back the origin of decadence to the subterranean struggle between reactive forces. I show that Deleuze’s reading runs contrary to his own contention that for Nietzsche the (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark  
  47.  29
    A New Approach to Predicative Set Theory.Arnon Avron - 2010 - In Ralf Schindler, Ways of Proof Theory. De Gruyter. pp. 31-64.
    We suggest a new framework for the Weyl-Feferman predicativist program by constructing a formal predicative set theory P ZF which resembles ZF , and is suitable for mechanization. The basic idea is that the predicatively acceptable instances of the comprehension schema are those which determine the collections they define in an absolute way, independent of the extension of the “surrounding universe”. The language of P ZF is type-free, and it reflects real mathematical practice in making an extensive use of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  9
    Canon Speedlite System Digital Field Guide.Brian McLernon - 2009 - Wiley.
    Detailed coverage of Canon's four speedlite-580EX II, 430 EX II, 220 EX and the new 270 EX-built exclusively for Canon DSLRs If you use a digital SLR camera, then you understand just how critical it is to have a capable flash. Canon Speedlite shines a whole new light on taking photos with a Canon DSLR. This full-color, in-depth guide takes you beyond the standard manual that accompanies the Speedlite and shows you the types of settings you can use on your (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  28
    Modelling Accelerated Proficiency in Organisations: Practices and Strategies to Shorten Time-to-Proficiency of the Workforce.Raman K. Attri - 2018 - Dissertation, Southern Cross University
    This study aimed to explore practices and strategies that have successfully reduced time-to-proficiency of the workforce in large multinational organisations and develop a model based on them. The central research question of this study was: How can organisations accelerate time-to-proficiency of employees in the workplace? The study addressed three aspects: the meaning of accelerated proficiency, as seen by business leaders; the business factors driving the need for shorter time-to-proficiency and benefits accrued from it; and practices and strategies to shorten time-to-proficiency (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  39
    Algebraic Structures Arising in Axiomatic Unsharp Quantum Physics.Gianpiero Cattaneo & Stanley Gudder - 1999 - Foundations of Physics 29 (10):1607-1637.
    This article presents and compares various algebraic structures that arise in axiomatic unsharp quantum physics. We begin by stating some basic principles that such an algebraic structure should encompass. Following G. Mackey and G. Ludwig, we first consider a minimal state-effect-probability (minimal SEFP) structure. In order to include partial operations of sum and difference, an additional axiom is postulated and a SEFP structure is obtained. It is then shown that a SEFP structure is equivalent to an effect algebra with an (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 980