RiuNet UPV Home
:
Recent submissions

Search RiuNet

Browse

All of RiuNet

My Account

RiuNet Help

RiuNet: Recent submissions

Now showing items 1-5 of 88324

Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

Gutiérrez Gil, Raúl; Meseguer, José (Springer-Verlag, 2018)

[EN] Decision procedures can be either theory-specific, e.g., Presburger arithmetic, or theory-generic, applying to an infinite number of user-definable theories. Variant satisfiability is a theory-generic procedure for ...
Families of languages encoded by SN P systems

Sempere Luna, José María (Springer-Verlag, 2018)

[EN] In this work, we propose the study of SN P systems as classical information encoders. By taking the spike train of an SN P system as a (binary) source of information, we can obtain different languages according to a ...
Elaboración de corpus textuales y detección de unidades léxicas especializadas en terminología

Olmo Cazevieille, Françoise (Serv. Publicaciones de la Universidad de Las Palmas de Gran Canaria, 2018)

[EN] Training students in terminology is indispensable to ensure that they can perform specialized translation properly. Manuals are available (Monterde Rey, 2002; Aguilar Cuevas, 2001, etc.) that offer teaching materials ...
The recent reform of spanish local governmental accounting: a critical perspective from local governmental accountants as internal users of budgeting and financial accounting information

Dasi González, Rosa María; Gimeno-Ruíz, Amparo; Vela-Bargues, Jose Manuel (Institut za Lokalno Samoupravo in Javna Narocila Maribor, 2018)

[EN] Local Government Accounting and Financial Reporting in Spain has been recently reformed by the new Accounting Instructions published in 2103 and in force since the 1st of January 2015. Once the financial reports ...
A Model of Antibiotic Resistance Evolution Dynamics Through P Systems with Active Membranes and Communication Rules

Baquero, Fernando; Campos Frances, Marcelino; Llorens, Carlos; Sempere Luna, José María (Springer-Verlag, 2018)

Now showing items 1-5 of 88324

Recently added

RiuNet: Institutional repository of the Polithecnic University of Valencia

Search RiuNet

Browse

All of RiuNet

My Account

RiuNet Help

RiuNet: Recent submissions