Results 81 to 90 of about 11,897 (300)
Separation and Renaming in Nominal Sets [PDF]
Nominal sets provide a foundation for reasoning about names. They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets.
Moerman, Joshua +3 more
core +1 more source
Abstract This study addresses the gap in rigorous evaluation of inclusive Citizenship Education methods in reducing gender and socioeconomic inequalities in political self‐efficacy. This article tests the effectiveness of two pedagogical approaches: counter‐narratives and think‐pair‐share.
Bryony Hoskins +2 more
wiley +1 more source
Since late 2021, serious allegations have been made against physicist Erwin Schrödinger, ranging from pedophilia to serial sexual abuse. These accusations have significantly tarnished the Nobel Prize winner's public reputation. The ongoing debate has repeatedly raised the question of whether, and to what extent, these grave allegations are justified ...
Magdalena Gronau, Martin Gronau
wiley +1 more source
Renaming Me: Assessing the Influence of Gender Identity on Name Selection
Our identity is our name connected with a specific face and body. Yet, our name, a critical aspect of the “names-body-identity” nexus is rarely self-selected.
Sharon N. Obasi +4 more
doaj +1 more source
Extent, characteristics and policy applications of Key Biodiversity Areas
ABSTRACT A global standard for the identification of Key Biodiversity Areas (KBAs) was published 10 years ago to provide a unified set of criteria for identifying ‘sites of significance for the global persistence of biodiversity’. We review the initiative's origins, the KBA identification process, characteristics of the current network, threats, policy
Stuart H. M. Butchart +57 more
wiley +1 more source
An Equivariance Theorem with Applications to Renaming
In the renaming problem, each process in a distributed system is issued a unique name from a large name space, and the processes must coordinate with one another to choose unique names from a much smaller name space.
Herlihy, Maurice +2 more
core +1 more source
Empowering Circular Startups: Unveiling the Blueprint for Circular Business Models
ABSTRACT Circular startups are increasingly recognized as key drivers in the transition toward a circular economy. Yet the business models (BMs) through which these startups operationalize circularity remain poorly understood, limiting the ability of entrepreneurial ecosystem actors to offer effective support.
Ann‐Sophie Finner +2 more
wiley +1 more source
After the 2014 revolution, a massive renaming of toponyms related to the communist ideology took place in Ukraine. The results of this renaming help understand the essentiality of Ukrainian delayed post-socialist and post-colonial transition and, in ...
Olexiy Gnatiuk
doaj +1 more source
RENAS: Prioritizing Co-Renaming Opportunities of Identifiers
Renaming identifiers in source code is a common refactoring task in software development. When renaming an identifier, other identifiers containing words with the same naming intention related to the renaming should be renamed simultaneously.
Osumi, Yuki +2 more
core +1 more source
A Systemic Model for Understanding Business Interactions With Biodiversity and Ecosystems
ABSTRACT Biodiversity loss and ecosystem degradation represent critical threats to human well‐being and economic resilience, challenging businesses to understand and manage their interdependence with natural systems. This study develops a systemic framework—the BioModel—that elucidates the reciprocal relationship between businesses, biodiversity, and ...
Lino Cinquini +2 more
wiley +1 more source

