Results 101 to 110 of about 18,076 (303)
Recursive Program Optimization Through Inductive Synthesis Proof Transformation [PDF]
, 1999 The research described in this paper involved developing transformation techniques which increase the efficiency of the noriginal program, the source, by transforming its synthesis proof into one, the target, which yields a computationally more efficient
Bundy, Alan +5 more
core +1 more source
British Educational Research Journal, EarlyView.Abstract As front‐line observers and active participants in pupils' daily lives, teachers closely monitor pupils' social interactions, emotional states and behavioural changes. Their unique perspective enables them to detect problems in the social lives of their pupils that may not be immediately visible to peers, parents or mental health professionals.
Yixuan Zheng +4 more
wiley +1 more source
Nature, 1952 A Treatise on Induction and Probability By Prof. Georg Henrik von Wright (International Library of Psychology, Philosophy and Scientific Method.) Pp. 310. (London: Routledge and Kegan Paul, Ltd., 1951.) 30s. net.
openaire +1 more source
British Educational Research Journal, EarlyView.Abstract Curriculum decolonisation has become a prominent feature of equity agendas in UK higher education, yet there remains limited empirical and theoretical work on how such initiatives are evaluated, particularly within business schools. This paper presents one of the first multi‐institutional empirical studies examining how UK business schools ...
Sally Everett +2 more
wiley +1 more source
Dynamics of Inductive Inference in a Unified Framework [PDF]
We present a model of inductive inference that includes, as special cases, Bayesian reasoning, case-based reasoning, and rule-based reasoning. This unified framework allows us to examine, positively or normatively, how the various modes of inductive ...
Itzhak Gilboa +2 more
core
British Educational Research Journal, EarlyView.Abstract Primary education teachers face increasing challenges in engaging diverse learners and fostering creativity, digital competence and other transversal skills, often lacking clear, practical guidance for integrating these skills into their classrooms.
Nella Escala +2 more
wiley +1 more source
Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic [PDF]
Princípios, 2010 This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what ...
Ricardo Sousa Silvestre
doaj
Falling pupil numbers and school closures: Setting a research agenda for a new era of precarity
British Educational Research Journal, EarlyView.Abstract This paper explores the significant phenomenon of decreasing pupil numbers in England due to lower birth rates and the impact of a school closure on a school community. It then discusses how the sociology of education might research this major issue.
Eleanor Fagan, Alice Bradbury
wiley +1 more source
METHODS OF NON-CLASSICAL INDUCTIVE LOGIC FOR SEARCH OF THE REASONS OF FAILURES AVIONICS EQUIPMENT
Научный вестник МГТУ ГА, 2016 The article considers the application of non-classical inductive logic to search for failure causes avionics equipment.
A. I. Logvin, D. B. Rychenkov
doaj
British Educational Research Journal, EarlyView.Abstract This paper examines the experiences of Nigerian cross‐border students in UK higher education, focusing on how colonial legacies continue to shape the interplay between structure and agency. Three key themes emerged in the analysis of the data: First, the persistence of a ‘West is Best’ mentality reflects the internalisation of colonial ...
Jennifer Marshall, Jack Bryne Stothard
wiley +1 more source