Results 41 to 50 of about 225,749 (313)

Generalization Process by Second Grade Students

Mathematics, 2021
This study is part of a broader study on algebraic reasoning in elementary education. The research objective of the present survey, namely to describe generalization among second grade (7- to 8-year-old) students, was pursued through semi-structured ...
María D. Torres, Antonio Moreno, María C. Cañadas   +2 more
doaj   +1 more source

Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis [PDF]

, 2011
Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitative properties of software involving constraints on timing and energy ...
Seshia, Sanjit A.
core   +2 more sources

Interaction between Molten Al‐Killed Mn–B Steel and Carbon‐Bonded MgO Refractories Based on Recyclates

Advanced Engineering Materials, EarlyView.
High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé, Lukas Neubert, Anton Yehorov, Till M. J. Stadtmüller, Christos G. Aneziris, Olena Volkova   +5 more
wiley   +1 more source

Inductive Reasoning Games as Influenza Vaccination Models: Mean Field Analysis [PDF]

, 2006
We define and analyze an inductive reasoning game of voluntary yearly vaccination in order to establish whether or not a population of individuals acting in their own self-interest would be able to prevent influenza epidemics.
D. Challet, E. Moro, P. Y. Geoffard, R. Vardavas, Raffaele Vardavas, Romulus Breban, S. A. Harper, S. A. Harper, Sally Blower, W. B. Arthur   +9 more
core   +1 more source

Synchrotron Radiation for Quantum Technology

Advanced Functional Materials, EarlyView.
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader, Sakura Pascarelli, Klaus Attenkofer, Anna A. Makarova, Karsten Holldack, Kai Rossnagel, Kristiaan Temst, George Kourousias, Stefano Carretta, Caterina Biscari, Helmut Dosch   +10 more
wiley   +1 more source

The domain-general and domain-specific role of the semantic neural network in mathematical processing

NeuroImage
The role of the visuospatial network in mathematical processing has been established, but the role of the semantic network in mathematical processing remains poorly understood.
Mengyi Li, Xinlin Zhou
doaj   +1 more source

Maximum Entropy Applied to Inductive Logic and Reasoning

Entropy, 2015
This editorial explains the scope of the special issue and provides a thematic introduction to the contributed papers.
Jürgen Landes, Jon Williamson
doaj   +1 more source

Query Structure Modeling for Inductive Logical Reasoning Over Knowledge Graphs [PDF]

, 2023
Siyuan Wang, Zhongyu Wei, Meng Han, Zhihao Fan, Haijun Shan, Qi Zhang, Xuanjing Huang   +6 more
openalex   +1 more source

Backward Induction versus Forward Induction Reasoning [PDF]

Games, 2010
In this paper we want to shed some light on what we mean by backward induction and forward induction reasoning in dynamic games. To that purpose, we take the concepts of common belief in future rationality (Perea [1]) and extensive form rationalizability (Pearce [2], Battigalli [3], Battigalli and Siniscalchi [4]) as possible representatives for ...
openaire   +3 more sources

Self‐supportive Three‐Way Photoelectrochemical System Achieving Uranium Recycling, Organic Oxidation, and Electricity Generation in Complex Waters

Advanced Functional Materials, EarlyView.
A self‐sustaining solar photoelectrochemical cell (SS‐PEC) is developed to recover uranium from aqueous UO22+ with concurrent organic oxidation and electricity production. The monolithical photoanode directly captures electrons from organic compounds, leading to the oxidation of organic compounds and the decomposition of uranium‐organic complexes ...
Yumei Wang, Qingming Zeng, Haodong Ji, Rongzhong Wang, Jiachen Wang, Yanjun Wen, Wonyong Choi, Qingyi Zeng   +7 more
wiley   +1 more source