Search results for "Programming Languages"
showing 10 items of 138 documents
From UML State Machine Diagram into FPGA Implementation
2013
Abstract In the paper a method of using the Unified Modeling Language diagrams for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine diagrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Arrays). The UML specification is used to generate an effective program in Hardware Description Languages (HDLs), especially Verilog.
The long and winding road: Accidents and tinkering in software standardization
2021
Software is based on universal principles but not its development. Relating software to hardware is never automatic or easy. Attempts to optimize software production and drastically reduce their costs (like in hardware) have been very restricted. Instead, highly-skilled and experienced individuals are ultimately responsible for project success. The long and convoluted path towards useful and reliable software is often plagued by idiosyncratic accidents and emergent complexity. It was expected that software standardisation would remove these sources of unwanted diversity by aiming to controllable development processes, universal programming languages, and toolkits of reusable software compon…
Modelización de riesgos climáticos y sistemas de vigilancia y alerta en la Comunitat Valenciana
2013
El primer objetivo de esta Tesis está relacionado con el desarrollo e implementación de diferentes sistemas de vigilancia y alerta para el territorio de la Comunitat Valenciana: un sistema de predicción meteorológica en tiempo real basado en el modelo atmosférico de mesoescala Regional Atmospheric Modeling System (RAMS) y un sistema de previsión del Índice UV (UVI), basado en el modelo Santa Barbara DISORT Atmospheric Radiative Transfer (SBDART). Además, se propone una metodología que proporciona un entorno computacional adecuado para la administración y coordinación de los diferentes procesos implicados en ambos sistemas de vigilancia. La principal mejora de la predicción UVI es la utiliza…
ETAT: Expository Text Analysis Tool.
2002
Qualitative methods that analyze the coherence of expository texts not only are time consuming, but also present challenges in collecting data on coding reliability. We describe software that analyzes expository texts more rapidly and produces a notable level of objectivity. ETAT (Expository Text Analysis Tool) analyzes the coherence of expository texts. ETAT adopts a symbolic representational system, known as conceptual graph structures. ETAT follows three steps: segmentation of a text into nodes, classification of the unidentified nodes, and linking the nodes with relational arcs. ETAT automatically constructs a graph in the form of nodes and their interrelationships, along with various a…
Locality, QED and classical electrodynamics
1998
We report on some conceptual changes in our present understanding of Quantum Field Theory and muse about possible consequences for the understanding of $v>c$ signals.
On the Class of Languages Recognizable by 1-Way Quantum Finite Automata
2007
It is an open problem to characterize the class of languages recognized by quantum finite automata (QFA). We examine some necessary and some sufficient conditions for a (regular) language to be recognizable by a QFA. For a subclass of regular languages we get a condition which is necessary and sufficient. Also, we prove that the class of languages recognizable by a QFA is not closed under union or any other binary Boolean operation where both arguments are significant.
Inductive types in homotopy type theory
2012
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…
Machine Learning Models for Measuring Syntax Complexity of English Text
2019
In this paper we propose a methodology to assess the syntax complexity of a sentence representing it as sequence of parts-of-speech and comparing Recurrent Neural Networks and Support Vector Machine. We have carried out experiments in English language which are compared with previous results obtained for the Italian one.
Manifestation of speech and language disorders in children with hearing impairment compared with children with specific language disorders.
2010
Children with hearing impairment (HI) often suffer from speech and language disorders. We wondered if the manifestation of these disorders resembled the ones in children with specific language impairment (SLI). Using matched pairs, we compared the manifestation of a speech and language disorder in 5- and 6-year-old children with HI and SLI. We looked at receptive language skills using the Reynell scales, the lexicon, syntax and morphology, output phonology, and phonological short-term memory. Receptive language skills were more impaired in HI children. No significant differences were recorded for all other domains. We conclude that language deficits that are at least partially caused by the…
XCDL: an XML-oriented visual composition definition language
2010
International audience; XML data flow has reached beyond the world of computer science and has spread to other areas such as data communication, e-commerce and instant messaging. Therefore, manipulating this data by non expert programmers is becoming imperative. On one hand, Mashups have emerged a few years ago, providing users with visual tools for web data manipulation but not necessarily XML specific. Mashups have been leaning towards functional composition but no formal languages have yet been defined. On the other hand, visual languages for XML have been emerging since the standardization of XML, and mostly relying on querying XML data for extraction or structure transformations. These…