Results 21 to 30 of about 269,796 (248)
When is a container a comonad? [PDF]
, 2014 Abbott, Altenkirch, Ghani and others have taught us that many parameterized datatypes (set functors) can be usefully analyzed via container representations in terms of a set of shapes and a set of positions in each shape.
Ahman, Danel +2 more
core +2 more sources
Non-wellfounded trees in Homotopy Type Theory [PDF]
, 2015 We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type Theory. The conjecture says that in the presence of inductive types, coinductive types are derivable.
Ahrens, Benedikt +2 more
core +2 more sources
Ontological Metaphor in Adele’s Selected Song Lyrics
Vivid: Journal of Language and Literature, 2017 This article discusses the ontological metaphor found in Adele’s songs. It aims to determine the types of ontological metaphor and their meanings. Lakoff and Johnson’s theory of conceptual metaphor is used in analyzing the data.
Bindra Gisca Maya
doaj +1 more source
Coordination among neighbors improves the efficacy of Zika control despite economic costs.
PLoS Neglected Tropical Diseases, 2020 Emerging mosquito-borne viruses like Zika, dengue, and chikungunya pose a major threat to public health, especially in low-income regions of Central and South America, southeast Asia, and the Caribbean. Outbreaks of these diseases are likely to have long-
Natalie J Lemanski +3 more
doaj +1 more source
Fractal and Fractional, 2022 The development of the world cannot be separated from energy: the energy crisis has become a major challenge in this era, and nuclear energy has been applied to many fields.
Wenxing Chen, Shuyang Dai, Baojuan Zheng
doaj +1 more source
Dissipation of Quasiclassical Turbulence in Superfluid $^4$He [PDF]
, 2015 We compare the decay of turbulence in superfluid $^4$He produced by a moving grid to the decay of turbulence created by either impulsive spin-down to rest or by intense ion injection. In all cases the vortex line density $L$ decays at late time $t$ as $L
Fisher, S. N. +5 more
core +3 more sources
The Search for the Self: the Essence of Dewey’s Ethics
Journal of Educational, Cultural and Psychological Studies, 2013 This paper is divided into three brief parts and will try to clarify, in the young John Dewey, the meaning of the individual as a social organism. The individual as a social organism is considered as a «container and user» of democracy, in continuous ...
Teodora Pezzano
doaj +1 more source
Polyrational property: rules for the many uses of land
International Journal of the Commons, 2014 Land uses are what land users do. When spatial planners and other policymakers promote or preclude certain land uses, they interfere with the rights of the users of land, most notably with property.
Benjamin Davy
doaj +1 more source
reading two poems by Shsfiei Kadkani with cognitive poetic approach [PDF]
Matn/Pizhūhī-i AdabīThe Cognitive poetic theory is a theory based on the language of literary works and the type of arrangement of linguistic units that leads to the discovery of the relationship between the structure and concept of a literary work.
Soheila Sadeghi +3 more
doaj +1 more source
Application of Governance in spatial scales [PDF]
تحقیقات کاربردی علوم جغرافیایی, 2022 "Governance" is one of the basic concepts that has attracted the attention of geo-political scientists, and there are contradictory views on this concept, which is one of the main and fundamentally important foundations of the science of geopolitics. The
hassan kamran
doaj