Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Inference"

Mostrando ítems 1-15 de 15

Abstract Contract Synthesis and Verification in the Symbolic K Framework

Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Universitat Politècnica de València, 2018-04-12)

[EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...
Deepwise Separable Convolution Support in Neural Network Platform

Mcmullen García, Brian Miguel (Universitat Politècnica de València, 2021-09-09)

[EN] In the last few years, Artificial intelligence (AI), has become an essential element of many technological fields. While AI has been developing on the level of algorithms, processing architectures have also been ...
Desarrollo de un algoritmo y software para la inferencia de modelos de redes booleanas. Aplicación en sistemas biológicos

Rubio Chavarría, Mario (Universitat Politècnica de València, 2020-10-13)

[ES] Los sistemas biológicos en teoría pueden ser modelados a través de sistemas de ecuaciones diferenciales. No obstante, este planteamiento es completamente inviable por la cantidad de agentes que participan en estos ...
Desarrollo, optimización y despliegue de un servidor eficiente para la inferencia de redes neuronales de apoyo al radiodiagnóstico.

Dorronsoro Larbide, Ibai (Universitat Politècnica de València, 2023-01-09)

[ES] En este documento se presenta el Trabajo de Final de Máster del Máster Universitario en Computación en la Nube y de Altas Prestaciones de la Universidad Politécnica de Valencia, consistente en el desarrollo, optimización ...
DISCOURSE MARKERS IN THE LEXICAL CONSTRUCTIONAL MODEL: THE CASE OF THE 'SO WHAT X' CONSTRUCTION

Galera Masegosa, Alicia (Editorial Universitat Politècnica de València, 2011)

[EN] This article argues for an alternative analysis of discourse markers to that proposed within relevance-theoretic approaches, which attribute procedural (as opposed to conceptual) meaning to these words. This study ...
DISCOURSE MARKERS IN THE LEXICAL CONSTRUCTIONAL MODEL: THE CASE OF THE 'SO WHAT X' CONSTRUCTION

Galera Masegosa, Alicia (Editorial Universitat Politècnica de València, 2010)

[EN] This article argues for an alternative analysis of discourse markers to that proposed within relevance-theoretic approaches, which attribute procedural (as opposed to conceptual) meaning to these words. This study ...
Diseño e implementación de una herramienta para visualizar la ejecución de un programa Prolog

Talens Ferrer, Pascual José (Universitat Politècnica de València, 2022-09-15)

[ES] El presente documento presenta el desarrollo de una interfaz Java que, junto con un intérprete Prolog integrado, permite visualizar una explicación de la ejecución de este tipo de programas lógicos. Para utilizar ...
Ejecución simbólica como herramienta de análisis

Pardo Pont, Daniel (Universitat Politècnica de València, 2015-03-25)

[ES] El análisis automático de software permite verificar que un programa cumpla una serie de propiedades deseables sin intervención humana, aportando agilidad al proceso de ingeniería y reduciendo los riesgos del software ...
Evaluación de aceleradores de inferencia para Deep Learning (Coral TPU Edge)

Zarco Álvarez, Juan (Universitat Politècnica de València, 2021-10-06)

[ES] En los últimos tiempos, hemos asistido a un resurgimiento de las redes neuronales para la resolución de problemas en múltiples ámbitos. Para un problema dado, en primer lugar se debe realizar el entrenamiento de la ...
Flexible Deployment of Machine Learning Inference Pipelines in the Cloud-Edge-IoT Continuum

Bogacka, Karolina; Sowinski, Piotr; Danilenka, Anastasiya; Biot, Francisco Mahedero; Wasielewska-Michniewska, Katarzyna; Ganzha, Maria; Paprzycki, Marcin; Palau Salvador, Carlos Enrique (MDPI AG, 2024-05-11)

[EN] Currently, deploying machine learning workloads in the Cloud-Edge-IoT continuum is challenging due to the wide variety of available hardware platforms, stringent performance requirements, and the heterogeneity of the ...
High performance and energy efficient inference for deep learning on multicore ARM processors using general optimization techniques and BLIS

Castelló, Adrián; SERGIO BARRACHINA; DOLZ ZARAGOZÁ, MANUEL FRANCISCO; Enrique S. Quintana-Ortí; San Juan-Sebastian, Pablo; Tomás Domínguez, Andrés Enrique (Elsevier, 2022-04)

[EN] We evolve PyDTNN, a framework for distributed parallel training of Deep Neural Networks (DNNs), into an efficient inference tool for convolutional neural networks. Our optimization process on multicore ARM processors ...
Inference and Learning with Planning Models

Aineto García, Diego (Universitat Politècnica de València, 2022-09-02)

[ES] Inferencia y aprendizaje son los actos de razonar sobre evidencia recogida con el fin de alcanzar conclusiones lógicas sobre el proceso que la originó. En el contexto de un modelo de espacio de estados, inferencia y ...
Input-Output Kernel Regression applied to protein-protein interaction network inferenc

Maycas Nadal, Carlos (Universitat Politècnica de València, 2015-03-30)

[EN] The study of protein-protein interaction networks has received a lot of attention by the research community lately. However, the experimental studies to reconstruct this kind of structures are expensive. Consequently, ...
Suport Eficient de Processos d’Inferència en Plataforme Heterogènies

Iznardo Ruiz, Alejandro (Universitat Politècnica de València, 2021-09-20)

[CA] La intel·ligència artificial i les seues variants estan evolucionant ràpidament i millorant molts aspectes de la vida humana, tant en aplicacions industrials com en usos quotidians. Per aquest motiu, molts investigadors ...
Trends in AI inference energy consumption: Beyond the performance-vs-parameter laws of deep learning

Desislavov, Radosvet; Martínez-Plumed, Fernando; Hernández-Orallo, José (Elsevier, 2023-04)

[EN] The progress of some AI paradigms such as deep learning is said to be linked to an exponential growth in the number of parameters. There are many studies corroborating these trends, but does this translate into an ...