Search results for " Software"
showing 10 items of 1178 documents
Extended Natural Numbers and Counters
2020
Summary This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.
Incorporando dispositivos de radio definida por software en la materia de Comunicaciones Digitales: del grupo piloto a la gran clase
2020
La innovación educativa es un proceso que se extiende más allá de un curso académico. En su desarrollo se distinguen las etapas de planificación, implementación, evaluación y realimentación, para identificar aspectos susceptibles de mejora. En esta contribución presentamos el trabajo desarrollado en los dos últimos cursos en la asignatura Teoría de la Comunicación (materia de Comunicaciones Digitales), Grado en Ingeniería Telemática, de la Universitat de València. Concretamente, se incorporan dispositivos de radio definida por software en los laboratorios como herramienta para conseguir unas prácticas más realistas. El artículo describe el proceso de adaptación de una sesión de laboratorio, qu…
Towards the Preservation and Dissemination of Historical Silk Weaving Techniques in the Digital Era
2019
Historical weaving techniques have evolved in time and space giving as result more or less fabrics with different aesthetical characteristics. These techniques were transferred along the main silk production centers, thanks to the European Silk Road and creating a common European Frame on themes and techniques. These had made it complicated to determine whether a fabric corresponds to one century or another. Moreover, in order to understand their creation, it is necessary to determine the number of weaves and interlacements that each textile has, therefore, mathematical models can be extracted from these layers. In this sense, three dimensional (3D) virtual representations of the internal s…
Statistical analysis of engraving traces on a 3D digital model of prehistoric stone stelae
2016
International audience; Studying cultural heritage artefacts, using 3D digital models, is gaining interest. It not only allows applications in documentation and visualisation, but also permits further contact-less examination. In this paper, we are presenting a statistical analysis of stone engravings based on features that were semi-automatically extracted from 3D acquisition data. Our objects of study are two Neolithic stone stelae and a faithful replica that was created in the course of an archaeological study. We use common statistical methods and investigate the populations of depth and diameter of the engraving traces, as well as their correlation. We observe that the erosion of the t…
Digitization and Preservation of Cultural Heritage Products
2017
Cultural heritage encompasses various aspects of a nation's history. Cultural heritage artifacts are considered as priceless items that need special care. Since the wide adoption of new digital technologies, documenting and storing cultural heritage assets became more affordable and reliable. These records are then used in several applications. Researchers saw the opportunity to use digital heritage recordings for long-term preservation. They are considering cultural heritage artifacts as products, and the history behind them as a product lifecycle. In this paper, we present the research progress in cultural heritage digital processing and preservation, highlighting the most impactful advan…
Topological Dual Systems for Spaces of Vector Measure p-Integrable Functions
2016
[EN] We show a Dvoretzky-Rogers type theorem for the adapted version of the q-summing operators to the topology of the convergence of the vector valued integrals on Banach function spaces. In the pursuit of this objective we prove that the mere summability of the identity map does not guarantee that the space has to be finite dimensional, contrary to the classical case. Some local compactness assumptions on the unit balls are required. Our results open the door to new convergence theorems and tools regarding summability of series of integrable functions and approximation in function spaces, since we may find infinite dimensional spaces in which convergence of the integrals, our vector value…
Artificial intelligence techniques for cancer treatment planning
1988
An artificial intelligence system, NEWCHEM, for the development of new oncology therapies is described. This system takes into account the most recent advances in molecular and cellular biology and in cell-drug interaction, and aims to guide experimentation in the design of new optimal protocols. Further work is being carried out, aimed to embody in the system all the basic knowledge of biology, physiopathology and pharmacology, to reason qualitatively from first principles so as to be able to suggest cancer therapies.
Control systems for indoor lighting and computer simulation: analysis and comparison between software packages capabilities and results on a real cas…
2018
In the last years, computer capabilities have evolved rapidly and also the way to simulate building physics phenomena is changed and more developed. Each simulation software is developed with a less or more similar aim, using different algorithms and models and being used by people with different profile: specialist, architects, engineers, installers, etc. This paper deals with the analysis of capability of some of the most utilised software used to predict indoor lighting, including natural daylight contribution and assessment of energy consumption and savings related to specific design options. Furthermore, two of the analysed software have been tested simulating a case studying. Results …
Educational Software Based on Matlab GUIs for Neural Networks Courses
2016
Neural Networks (NN) are one of the most used machine learning techniques in different areas of knowledge. This has led to the emergence of a large number of courses of Neural Networks around the world and in areas where the users of this technique do not have a lot of programming skills. Current software that implements these elements, such as Matlab®, has a number of important limitations in teaching field. In some cases, the implementation of a MLP requires a thorough knowledge of the software and of the instructions that train and validate these systems. In other cases, the architecture of the model is fixed and they do not allow an automatic sweep of the parameters that determine the a…
Effect of raster resolution and polygon-conversion algorithm on landslide susceptibility mapping
2016
The choice of the proper resolution in landslide susceptibility mapping is a worth considering issue. If, on the one hand, a coarse spatial resolution may describe the terrain morphologic properties with low accuracy, on the other hand, at very fine resolutions, some of the DEM-derived morphometric factors may hold an excess of details. Moreover, the landslide inventory maps are represented throughout geospatial vector data structure, therefore a conversion procedure vector-to-raster is required.This work investigates the effects of raster resolution on the susceptibility mapping in conjunction with the use of different algorithms of vector-raster conversion. The Artificial Neural Network t…