Results 41 to 50 of about 5,181 (248)
On the learnability of recursively enumerable languages from good examples
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sanjay Jain 0001 +2 more
openaire +2 more sources
Sleep‐trackers in the wild: A faceted taxonomy for information and interaction design
Journal of the Association for Information Science and Technology, EarlyView.Abstract Consumer‐grade sleep‐tracking technologies (CSTs) have brought sleep into everyday data practices, reframing it from a clinical concern into a site of personal optimization and reflection. Yet existing taxonomies of sleep‐tracking often medicalize users and overlook the complexity of sleep‐tracking technologies. This paper presents SleepTax, a
Sanonda Datta Gupta +2 more
wiley +1 more source
Characterizations of recursively enumerable languages by means of insertion grammars
Theoretical Computer Science, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Carlos Martín-Vide +2 more
openaire +2 more sources
British Educational Research Journal, EarlyView.Abstract This paper highlights the inclusive potential of relational and feminist pedagogic strategies in education, focusing on girls at risk of exclusion. Girls in England are less likely than boys to be suspended or permanently excluded from school, but numbers are increasing.
Juliette Wilson‐Thomas +3 more
wiley +1 more source
Computational Processes and Incompleteness [PDF]
, 2009 We introduce a formal definition of Wolfram's notion of computational process based on cellular automata, a physics-like model of computation. There is a natural classification of these processes into decidable, intermediate and complete.
Anthony K. Seda +4 more
core +2 more sources
Elaborating the Motivations and Attitudes Driving Interest in Voluntary Biodiversity Credits
Business Strategy and the Environment, EarlyView.ABSTRACT Global biodiversity loss has prompted the search for new sources of conservation finance, such as voluntary biodiversity credits (VBCs). However, despite optimistic market projections, current uptake of VBCs is limited. Adopting an interpretive approach, we analyse 21 semistructured interviews with early market actors (buyers, sellers ...
Gamze Yakar‐Pritchard +5 more
wiley +1 more source
Towards a Uniform Theory of Effectful State Machines
, 2020 Using recent developments in coalgebraic and monad-based semantics, we present a uniform study of various notions of machines, e.g. finite state machines, multi-stack machines, Turing machines, valence automata, and weighted automata.
Goncharov, Sergey +2 more
core +2 more sources
Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle of Arithmetic [PDF]
, 2016 The purpose is to study the strength of Ramsey's Theorem for pairs restricted to recursive assignments of $k$-many colors, with respect to Intuitionistic Heyting Arithmetic.
Berardi, Stefano, Steila, Silvia
core +3 more sources
ESG Decoupling Phenomenon: A Systematic and Bibliometric Analysis
Business Strategy and the Environment, EarlyView.ABSTRACT ESG decoupling, defined as the gap between a firm's ESG disclosures and its actual practices, poses a critical challenge to corporate sustainability. Using the PRISMA protocol, 451 articles were selected for a comprehensive bibliometric and systematic literature review to map the intellectual structure and thematic evolution of the research on
Maryam Laeeq +2 more
wiley +1 more source
Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections
, 2009 In this paper, we present some results regarding the size complexity of Accepting Networks of Evolutionary Processors with Filtered Connections (ANEPFCs).
Bianca Truthe +17 more
core +2 more sources