RiuNet UPV Home

Search RiuNet

Browse

All of RiuNet

My Account

Statistics

RiuNet Help

RSS Feeds

Last News

Error en rss

Information for authors

Submit your work

Journals policies

Welcome to RiuNet

RiuNet is the institutional repository of the Politechnical University of Valencia - UPV, managed by the Library, whose objective is to offer Internet access for university's scientific, academic and corporate university in order to increase their visibility and make it accessible and preservable. RiuNet reflects the commitment of the University within the framework of the Initiative for the Budapest Open Accessfrom joining the Berlin Declaration and Institutional Policy on Open Access.

RiuNet is intended to save the University community's production, personal or institutional, in collections. These can be made up of different types of documents such as Objects of learning (Polimedia, virtual labs and educational articles), theses, journal articles, maps, scholary works, creative works, institutional heritage, multimedia, teaching material, institutional production, electronic journals and conference proceedings.

For any request contact with PoliSolicita RiuNet.

Communities in RiuNet

Select a community to browse its collections.

Recently Added

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)