Characteristics of the shifts from configural reasoning to deductive reasoning in geometry
Mathematics Education Research Journal, 2019 The study aimed at characterising the shift from configural reasoning to proof construction in geometry. One hundred eighty-two preservice primary teachers solved two geometry problems in which they had to generate a proof from the information provided ...
Clemente, Francisco, Llinares, Salvador
core +2 more sources
Towards Navigation by Reasoning over Spatial Configurations [PDF]
Proceedings of Second International Combined Workshop on Spatial Language Understanding and Grounded Communication for Robotics, 2021 We deal with the navigation problem where the agent follows natural language instructions while observing the environment. Focusing on language understanding, we show the importance of spatial semantics in grounding navigation instructions into visual perceptions.
Yue Zhang 0004 +2 more
openaire +2 more sources
Configural Reasoning and Geometric Workspace in the Proof's Problem Resolution [PDF]
, 2020 The transition from the first justifications of geometric properties in the school environment to the mathematic proof in a deductive context is an issue widely studied.
Juan Prior Martínez (8742960) +1 more
core +2 more sources
Reasonableness discussion and analysis for Hyperledger Fabric configuration [PDF]
2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2020 8 pages, 5 ...
Song Hua +5 more
openaire +3 more sources
Automatic Firewalls’ Configuration Using Argumentation Reasoning [PDF]
, 2020 Firewalls are widely used as the first frontier to protect the network from intrusions, vulnerability exploitations, and cyber-attacks. Usually, the configuration of this critical component of network security is done manually by network administrators that introduce human errors.
Erisa Karafili, Fulvio Valenza
openaire +4 more sources
On the impact of configuration on abstract argumentation automated reasoning [PDF]
International Journal of Approximate Reasoning, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Federico Cerutti 0001 +2 more
openaire +3 more sources
On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning [PDF]
, 2016 In this paper we investigate the impact of automated configuration techniques on the ArgSemSAT solver—runner-up of the ICCMA 2015—for solving the enumeration of preferred extensions. Moreover, we introduce a fully automated method for varying how argumentation frameworks are represented in the input file, and evaluate how the joint ...
Federico Cerutti 0001 +2 more
openaire +2 more sources
Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning [PDF]
NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium, 2020 Paper accepted at Dissect 2020. This is the authors' version.
Erisa Karafili +3 more
openaire +3 more sources
Perhirhinal cortex resolves feature ambiguity in configural object recognition and perceptual oddity tasks [PDF]
, 2007 The perirhinal cortex (PRh) has a well-established role in object recognition memory. More recent studies suggest that PRh is also important for two-choice visual discrimination tasks.
Rosemary A. Cowell +9 more
core +1 more source
Learning to Configure Computer Networks with Neural Algorithmic Reasoning
Advances in Neural Information Processing Systems 35, 2022 We present a new method for scaling automatic configuration of computer networks. The key idea is to relax the computationally hard search problem of finding a configuration that satisfies a given specification into an approximate objective amenable to learning-based techniques.
Beurer-Kellner, Luca +3 more
openaire +4 more sources