Search results for "symbolic"
showing 10 items of 449 documents
Expert‑panel accreditation evaluation‑practices: an autoethnographic case study of the Community of Madrid
2017
Accreditation is defined by the European Higher Education Area quality‑assurance agencies as a key element in quality management and continuous improvement in university teaching‑learning processes, and is an institutional practice that started to be developed in 2014 in Spain. This article illustrates the case of the Community of Madrid Quality Agency, as case study analysis through my experience as a panel member for the accreditation of higher‑education qualifications. Methodologically, it is based on an autoethnographic approach and uses the theory of symbolic interactionism to reveal and analyse the evaluative process and culture. For this purpose, two analytical axes were drawn: stude…
Quark Contraction Tool -- QCT
2016
We present a Mathematica package for the calculation of Wick contractions in quantum field theories - QCT. Furthermore the package aims at automatically generating code for the calculation of physical matrix elements, suitable for numerical evaluation in a C++ program. To that end commonly used algebraic manipulations for the calculation of matrix elements in lattice QCD are implemented.
Transverstites re-existences: A counterhistory from the visual difference in Peru
2018
El vínculo entre naturaleza y deshumanización es un discurso moderno colonial de género que mantiene su vigencia mediante la basurización simbólica y concreta de quienes son vistos como inferiores, antinaturales y hasta como animales, convertidos en un desecho de la sociedad. Una forma de visualizar al otro como elemento sobrante del sistema simbólico. En este sentido, maniobrar en el campo de la visualidad travesti, sus convenciones y estereotipos, se convierte en una práctica de resistencia en tanto que se enfrenta al régimen escópico eurocéntrico disciplinante, astutamente camuflado. Pero, igualmente, de re-existencia, al proponer la co-presencia visual de la diferencia, y por ende, la e…
Equilibrium real gas computations using Marquina's scheme
2003
Marquina's approximate Riemann solver for the compressible Euler equations for gas dynamics is generalized to an arbitrary equilibrium equation of state. Applications of this solver to some test problems in one and two space dimensions show the desired accuracy and robustness
Testing of Execution of Concurrent Processes
2020
Authors propose an algorithm for analysis of business processes to detect potentially incorrect results of concurrent processes execution. Our novel approach is to conclude necessary database isolation level from business process description. If traditional languages with loops and arithmetic operations (two-way counters) are used for business process descriptions, the problem of detecting incorrect execution of concurrent processes cannot be algorithmically solved. This paper introduces a simplified business processes description language CPL-1, a transaction mechanism and an algorithm that supports detection of incorrect results during the concurrent execution of business processes. Busin…
Heritage that hurts: tourists in the memoryscapes of September 11
2014
As the symbolic epicentre of American supremacy, the World Trade Centre was targeted by the September 11 terrorists to convey a message of fear to the USA and the rest of the world. To some extent,...
Suicidi
2020
I suicidi, eventi drammatici come pochi altri, hanno da sempre costituito una sfida per l’immaginazione sociologica. Se Emile Durkheim aveva dimostrato le capacità esplicative della sociologia, le sociologie costruzioniste – e, in particolare, interazionismo simbolico, etnometodologia, fenomenologia – hanno operato la resa dei conti con gli approcci positivisti. I saggi che qui presentiamo offrono una summa di grande interesse dei modi originali con cui le sociologie costruzioniste hanno re-immaginato lo studio dei suicidi andando oltre la rigidità dello schema “cause e cure” degli approcci positivisti ed arricchendo di sfumature la nostra comprensione del fenomeno. Di fronte a un panorama …
Fast narrowing-driven partial evaluation for inductively sequential programs
2005
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process offline . For this purpose, we first characterize a class of programs which are quasi-terminating , i.e., the computations performed with needed narrowing—the symbolic computation mechanism of narrowing-driven partial evaluation—only contain finitely many different terms (and, thus, partial evaluation termi…
The PCHIP subdivision scheme
2016
In this paper we propose and analyze a nonlinear subdivision scheme based on the monotononicity-preserving third order Hermite-type interpolatory technique implemented in the PCHIP package in Matlab. We prove the convergence and the stability of the PCHIP nonlinear subdivision process by employing a novel technique based on the study of the generalized Jacobian of the first difference scheme. MTM2011-22741
A symbolic distributed event detection scheme for Wireless Sensor Networks
2016
Due to the possibility of extensive and pervasive deployment of many tiny sensor devices in the area of interest, Wireless Sensor Networks (WSNs) result particularly suitable to detect significant events and to react accordingly in industrial and home scenarios. In this context, fuzzy inference systems for event detection in WSNs have proved to be accurate enough in treating imprecise sensory readings to decrease the number of false alarms. Besides reacting to event occurrences, the whole network may infer more information to enrich the event semantics resulting from reasoning processes carried out on the individual nodes. Contextual knowledge, including spatial and temporal relationships, …