Results 51 to 60 of about 510,140 (296)

De Morgan Functions and Free De Morgan Algebras

Demonstratio Mathematica, 2014
It is commonly known that the free Boolean algebra on n free generators is isomorphic to the Boolean algebra of Boolean functions of n variables. The free bounded distributive lattice on n free generators is isomorphic to the bounded lattice of monotone ...
Movsisyan Yu. M., Aslanyan V. A., Manoogian Alex   +2 more
doaj   +1 more source

Disjunctive and conjunctive normal forms of pseudo-Boolean functions

Discrete Applied Mathematics, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foldes, Stephan, Hammer, Peter L.
openaire   +2 more sources

‘It's all very well having a diverse curriculum, but if there is no curriculum, it can be as diverse as you like’: Precarity and decolonising in the neoliberal UK higher education system

British Educational Research Journal, EarlyView.
Abstract Drawing upon interview research across two academic departments as part of the early stages of a ‘decolonise the curriculum’ initiative at a Southern UK university, this study highlights a growing gulf between policy and practice in efforts to address systemic racial inequalities in UK universities. A reliance upon precarious labour, a culture
Triona Fitton, Barbara Adewumi, Laura R. Bailey, Jacob W. Moore, Lauren‐Marie Aba Amoah   +4 more
wiley   +1 more source

Testing and Debugging Techniques for Answer Set Solver Development

, 2010
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e ...
Brummayer, Robert, Järvisalo, Matti
core   +2 more sources

Phylogenomics and Biogeography of the Eastern Asian–Eastern North American Disjunct Genus Hylodesmum (Fabaceae)

Biological Diversity, EarlyView.
Integrating data from plastid genomes, nrDNA, and 353 low‐copy nuclear genes, this study establishes a robust phylogenetic framework for Hylodesmum. This framework supports a taxonomic revision recognizing 18 species and reveals a complex pattern of bidirectional EA–ENA dispersal, with mammals as a plausible dispersal agent. ABSTRACT Phylogenomics with
Zhuqiu Song, Gang Yao, Chen Ren, Kaiwen Jiang, Dongxian Xu, Shijin Li   +5 more
wiley   +1 more source

Titin Is Present in the Elastic Tethers That Connect Separating Anaphase Chromosomes in Crane‐Fly Spermatocytes

Cytoskeleton, EarlyView.
ABSTRACT Elastic tethers connect telomeres of separating chromosomes in anaphase of animal cells. Immunofluorescence staining of titin in crane‐fly spermatocytes, using 4 different antibodies, shows that the giant elastic protein titin seems to be a component of mitotic tethers: titin “strands” extend between separating chromosomes, connecting their ...
Demetra Economopoulos, Maral Janan, Martina Krüger, Aavo‐Valdur Mikelsaar, Arthur Forer, Rose Sheykhani   +5 more
wiley   +1 more source

Fixed-point elimination in the intuitionistic propositional calculus

, 2016
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete
A Arnold, A Bauer, A Kock, Albert Visser, AM Pitts, D Kozen, F Dau, G D’Agostino, G D’Agostino, G Gentzen, G Kelly, JRB Cockett, L Alberucci, L Alberucci, N Bertrand, P Clairambault, S Frittella, S Ghilardi, S Ghilardi, SI Mardaev, SI Mardaev, W Ruitenburg   +21 more
core   +2 more sources

Dynamics of bubble absorption over porous membranes in an immersed medium

Droplet, EarlyView.
The dynamics of a bubble interacting with a flat, porous superhydrophobic membrane underwater has been illustrated. Abstract Porous superhydrophobic (SHP) membranes are gaining considerable attention due to their excellent underwater absorption and drag reduction properties. They exploit the Cassie‒Baxter state of wetting to remove the bubble in a fast
Kiran Raj M
wiley   +1 more source

From Disruption to Stabilization: A Functional Governance Perspective on the Renewable Energy Transition in Montenegro

Environmental Policy and Governance, EarlyView.
ABSTRACT As global climate ambitions intensify, the key challenge lies not in setting renewable energy targets but in designing governance systems that can translate them into lasting transformation. The transition management literature has advanced a valuable research agenda for initiating change through niche innovations and participatory arenas in ...
Alexander L. Q. Chen‐Florea, Igor Luksic, Bojana Boskovic   +2 more
wiley   +1 more source

Joy and Unrest: Transborder College Students' Sense of Belonging at the US–México Borderlands

New Directions for Higher Education, EarlyView.
ABSTRACT In this study, we present the Transborder College Student Sense of Belonging Model, developed to understand how to create an inclusive and validating campus climate for Transborder students in postsecondary and higher education institutions along the US–México borderlands.
Vannessa Falcón Orta, Carlos A. Fitch, Efren M. Lopez, Gilberto Reyes Morgan   +3 more
wiley   +1 more source