Buscar
Mostrando ítems 31-40 de 1537
A general SOS theory for the specification of probabilistic transition systems
(Academic Press Inc Elsevier Science, 2016-03)
This article focuses on the formalization of the structured operational semantics approach for languages with primitives that introduce probabilistic and non-deterministic behavior. We define a general theoretic framework ...
Área e volume: a transição da noção de medida à de área e de volume
(Universidade Estadual Paulista (Unesp), 2014-03-28)
The main object of this work is study some elementary comcepts in Euclidean geometry. After studying the scissors-congruence between polygons, we prove the Bolayi-Gerwein theorem. We study also this concept for polyhedra ...
Positive decompositions of selfadjoint operators
(Birkhauser Verlag Ag, 2010-05)
Given a linear bounded selfadjoint operator a on a complex separable Hilbert space H, we study the decompositions of a as a difference of two positive operators whose ranges satisfy an angle condition. These decompositions ...
Teaching triangle rigidity to k-12 students with applications to civil engineering
(2020-04-01)
In this work, we propose a concrete material to incite the student to conjecture the cases of congruence of triangles and to motivate them to apply this knowledge in Engineering, in particular, the use of polygon rigidity, ...
Teaching Triangle Rigidity to K-12 Students with Applications to Civil Engineering
(Ieee, 2020-01-01)
In this work, we propose a concrete material to incite the student to conjecture the cases of congruence of triangles and to motivate them to apply this knowledge in Engineering, in particular, the use of polygon rigidity, ...
Equational definability of (complementary) central elements
(World Scientific, 2016-05)
For a variety with weak existentially definable factor congruences, we characterize whenthe properties "e is a central element" and "e and f are complementary central elements"are definable by (∀ V p = q)-formulas and by ...
Cross-taxon congruence of alpha and beta diversity among five leaf litter arthropod groups in Colombia
(SPRINGERDORDRECHT, 2012)
In this study alpha and beta diversity patterns of five leaf litter arthropod groups (ants, predatory ants, oribatid mites, spiders and other arachnids) were described and compared in 39 sampling patches of a transformed ...
A study on congruency effects and numerical distance in fraction comparison by expert undergraduate students
(Frontiers Media, 2020)
School mathematics comprises a diversity of concepts whose cognitive complexity is still poorly understood, a chief example being fractions. These are typically taught in middle school, but many students fail to master ...
Methodology for Evaluating Innovation Capabilities at University Institutions Using a Fuzzy System
(Universidad Alberto Hurtado. Facultad de Economía y Negocios, 2014)