Search results for "9(39)"
showing 10 items of 677 documents
Unification of Graphs and Relations in Mizar
2020
Summary A (di)graph without parallel edges can simply be represented by a binary relation of the vertices and on the other hand, any binary relation can be expressed as such a graph. In this article, this correspondence is formalized in the Mizar system [2], based on the formalization of graphs in [6] and relations in [11], [12]. Notably, a new definition of createGraph will be given, taking only a non empty set V and a binary relation E ⊆ V × V to create a (di)graph without parallel edges, which will provide to be very useful in future articles.
Comparison between two different cardiovascular models during a hemorrhagic shock scenario
2020
Hemorrhagic shock is a form of hypovolemic shock determined by rapid and large loss of intravascular blood volume and represents the first cause of death in the world, whether on the battlefield or in civilian traumatology. For this, the ability to prevent hemorrhagic shock remains one of the greatest challenges in the medical and engineering fields. The use of mathematical models of the cardiocirculatory system has improved the capacity, on one hand, to predict the risk of hemorrhagic shock and, on the other, to determine efficient treatment strategies. In this paper, a comparison between two mathematical models that simulate several hemorrhagic scenarios is presented. The models considere…
A nonstandard Volterra integral equation on time scales
2019
Abstract This paper introduces the more general result on existence, uniqueness and boundedness for solutions of nonstandard Volterra type integral equation on an arbitrary time scales. We use Lipschitz type function and the Banach’s fixed point theorem at functional space endowed with a suitable Bielecki type norm. Furthermore, it allows to get new sufficient conditions for boundedness and continuous dependence of solutions.
Global Cognitive Functioning versus Controlled Functioning throughout the Stages of Development
2020
According to the All or None Hypothesis (Diamond, 2009), the cognitive system can operate in a global manner that is not very discriminate or in a more discriminate mode that demands greater precision, control, and cognitive effort. There are five corollaries to this hypothesis that describe, in an operative way, the conditions under which the controlled mode of functioning in the cognitive domain can be activated and thus tested. Given the impact this theory has generated and the absence of studies analyzing the corollaries in a collective and systematic way at different stages of development, this study was proposed, first of all, to test three of these corollaries in children, adolescent…
Networked Analysis of a Teaching Unit for Primary School Symmetries in the Form of an E-Book
2021
In mathematics education, technology offers many opportunities to enrich curricular contents. Plane symmetries is a topic often skipped by primary teachers. However, it is important and may be worked in attractive ways in dynamic geometry software environments. In any regular classroom there are students with different levels of mathematical attainment, some needing easy tasks while others, particularly mathematically-gifted students, need challenging problems. We present a teaching unit for plane symmetries, adequate for upper primary school grades, implemented in a fully interactive electronic book, with most activities solved in GeoGebra apps. The book allows student to choose which itin…
Cecilio Palomares Acebrón. Notas sobre un maestro conquense
1999
El trabajo se centra en el estudio de la trayectoria del maestro Cecilio Palomares Acedrón, nacido en Cuenca y que tras la finalización de la Guerra Civil se vio forzado a exiliarse. En su casos pudo reconstruir su actividad docente en el Colegio Cervantes de la ciudad de Córdoba, en el mexicano estado de Varacruz.
Vida y obra de un maestro freinetista. El caso de Patricio Redondo
1999
Se analiza la trayectoria del maestro Patricio Redondo, destacado pedagogo español y uno de los introductores de las técnicas del francés Celestín Freinet en España. Se estudian tanto sus actividades en la península como en su exilio en México donde fundó un centro docente y realizó una destacada acción innovadora entre significativos sectores del magisterio de ese país.
Historia de la educación : revista interuniversitaria
1987
Se exponen determinados aspectos relacionados con la infancia durante la Guerra Civil española. En concreto, se analiza el comportamiento de los niños en una guerra fratricida, en la que la infancia está sometida a presiones ideológicas. Expone la dificultad de los niños para entender el hecho de que aquel que ayer era ciudadano de una misma nación, hoy ya no lo sea, o que aquel que fue amigo, hoy deje de serlo. Las colonias de la guerra adquieren características de colonias permanentes, y no sólo para un mes de verano, asumiendo, sobre todo, el carácter de refugio protector de las calamidades de la guerra. Castilla y León Universidad de Salamanca. Facultad de Educación; Paseo de Canalejas,…
Strictly convergent algorithm for an elliptic equation with nonlocal and nonlinear boundary conditions
2012
The paper describes a formally strictly convergent algorithm for solving a class of elliptic problems with nonlinear and nonlocal boundary conditions, which arise in modeling of the steady-state conductive-radiative heat transfer processes. The proposed algorithm has two levels of iterations, where inner iterations by means of the damped Newton method solve an appropriate elliptic problem with nonlinear, but local boundary conditions, and outer iterations deal with nonlocal terms in boundary conditions.
Implementation and evaluation of medical imaging techniques based on conformal geometric algebra
2020
Medical imaging tasks, such as segmentation, 3D modeling, and registration of medical images, involve complex geometric problems, usually solved by standard linear algebra and matrix calculations. In the last few decades, conformal geometric algebra (CGA) has emerged as a new approach to geometric computing that offers a simple and efficient representation of geometric objects and transformations. However, the practical use of CGA-based methods for big data image processing in medical imaging requires fast and efficient implementations of CGA operations to meet both real-time processing constraints and accuracy requirements. The purpose of this study is to present a novel implementation of …