Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Algebra"

Mostrando ítems 1-8 de 8

A Modular Order-sorted Equational Generalization Algorithm

Alpuente Frasnedo, María; Escobar Román, Santiago; Espert Real, Javier; Meseguer, José (Elsevier, 2014-04)

Generalization, also called anti-unification, is the dual of unification. Given terms t and t , a generalizer is a term t of which t and t are substitution instances. The dual of a most general unifier (mgu) is that of ...
A Partial Evaluation Framework for Order-sorted Equational Programs modulo Axioms

Alpuente Frasnedo, María; Cuenca-Ortega, Angel Eduardo; Escobar Román, Santiago; Meseguer, José (Elsevier, 2020-01)

[EN] Partial evaluation is a powerful and general program optimization technique with many successful applications. Existing PE schemes do not apply to expressive rule-based languages like Maude, CafeOBJ, OBJ, ASF+SDF, and ...
Additive results for the group inverse in an algebra with applications to block operators

Benítez López, Julio; Liu, Xiaoji; Zhu, Tongping (Taylor & Francis, 2011)

We derive a very short expression for the group inverse of a(1) + ... + a(n) when a(1), ... , a(n) are elements in an algebra having group inverse and satisfying a(i)a(j) = 0 for i < j. We apply this formula in order to ...
Aprender como una máquina: introduciendo la Inteligencia Artificial en la enseñanza secundaria

Calabuig Rodriguez, Jose Manuel; García Raffi, Luis Miguel; Sánchez Pérez, Enrique Alfonso (Universitat Politècnica de València, 2021-01-27)

[EN] Artificial intelligence is present in the usual environment of all high school students. However, the general population—and students in particular—do not know how these algorithmic techniques work, which often have ...
Experimental resuts and simulation with TRNSYS of a 7.2 kWp grid-connected photovoltaic system

Quesada, Benjamin Raphaël; Sánchez, Carlos; Cañada, J.; Royo Pastor, Rafael; J. Payá (Elsevier, 2011-05)

This paper presents a dynamic model and experimental results of a 7.2. kWp photovoltaic (PV) installation located at the Polytechnic University of Valencia (Spain). The modelling of the monocrystalline cells has been ...
Homomorfismos real valuados en álgebras de funciones continuas

Berroa Liriano, Carlos Manuel (Universitat Politècnica de València, 2014-09-23)

[EN] Let X be a topological space, if we have a homomorphism Phi of C(X) in R, we denote by C(X) the algebra of continuous functions, then there exists a real Alpha such that for all f in C(X) it holds that Phi(f) = f ...
Identifiability for a Class of Discretized Linear Partial Differential Algebraic Equations

Cantó Colomina, Begoña; Coll, Carmen; Sánchez, Elena (Hindawi Publishing Corporation, 2011)

This paper presents the use of an iteration method to solve the identifiability problem for a class of discretized linear partial differential algebraic equations. This technique consists in replacing the partial derivatives ...
Las matemáticas del color

Sanabria Codesal, Esther (Universitat Politècnica de València, 2023-06-02)

El articulo resume como modelizar matemáticamente la percepción humana del color a través de los espacios de color más habituales como el RGB y el XYZ.