Search results for "Programming Language"
showing 10 items of 624 documents
An Abstract Generic Framework for Web Site Verification
2008
In this paper, we present an abstract framework for Web site verification which improves the performance of a previous, rewriting-based Web verification methodology. The approximated framework is formalized as a source-to-source transformation which is parametric w.r.t. the chosen abstraction. This transformation significantly reduces the size of the Web documents by dropping or merging contents that do not influence the properties to be checked. This allows us to reuse all verification facilities of the previous system WebVerdi-M to efficiently analyze Web sites. In order to ensure that the verified properties are not affected by the abstraction, we develop a methodology which derives the …
Consensus statement of the European Group on Graves' Orbitopathy (EUGOGO) on management of Graves' Orbitopathy
2008
Luigi Bartalena, Lelio Baldeschi, Alison J. Dickinson, Anja Eckstein, Pat Kendall-Taylor, Claudio Marcocci, Maarten P. Mourits, Petros Perros, Kostas Boboridis, Antonella Boschi, Nicola Curro, Chantal Daumerie, George J. Kahaly, Gerasimos Krassas, Carol M. Lane, John H. Lazarus, Michele Marino, Marco Nardi, Christopher Neoh, Jacques Orgiazzi, Simon Pearce, Aldo Pinchera, Susanne Pitz, Mario Salvi, Paolo Sivelli, Matthias Stahl, Georg von Arx, and Wilmar M. Wiersinga
Compassionate Use of the PASCAL Transcatheter Valve Repair System for Severe Tricuspid Regurgitation
2019
Abstract Objectives The purpose of this observational first-in-human experience was to investigate the feasibility and safety of the PASCAL transcatheter valve repair system and its impact on short-term clinical outcomes in patients with severe tricuspid regurgitation (TR). Background Transcatheter repair of severe TR is a promising treatment option for patients at prohibitive surgical risk. Large leaflet coaptation gaps and tethering represent common features that challenge the application of transcatheter repair techniques. Methods Twenty-eight patients with severe TR were treated with the PASCAL system in a compassionate use experience at 6 sites. All patients had heart failure due to se…
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…
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.
Explaining Causes Behind SQL Query Formulation Errors
2020
This Full Research Paper presents the most prominent query formulation errors in Structured Query Language (SQL), and maps these errors to their cognitive explanations. Understanding query formulation errors is a key to teaching SQL. more effectively. However, studies on what kind of errors novices struggle with are relatively scarce when compared to, for example, programming languages. Although committing errors is a crucial part in learning, some errors are relatively easy to fix, and their commonness is not necessarily an indication of their difficulty. Other errors, however, halt the learning process, and are never fixed by the query writer. Using a previously established error taxonomy…
Linear Types for Higher Order Processes with First Class Directed Channels
1995
Abstract We present a small programming language for distributed systems based on message passing processes. In contrast to similar languages, channels are one-to-one connections between a unique sender and a unique receiver process. Process definitions and channels are first class values and the topology of process systems can change dynamically. The operational semantics of the language is defined by means of graph rewriting rules. A static type system based on the notion of linear types ensures that channels are always used as one-to-one connections.
A replication study on the intuitiveness of programming language syntax
2023
AbstractIn this article, we present a replication of an empirical experiment that evaluates intuitiveness and comprehensibility of keywords relating to different concepts in programming languages, originally conducted by Stefik and Gellenbeck. Novice programmers face many barriers when learning programming. One of these barriers is syntax, which for many languages is not designed based on empirical evidence. The purpose of the experiment was to provide more empirical evidence on the subject, to find out if the results of the original experiment can be replicated and if conducting the experiment in an environment where English is not the native language affects the results. The results of ou…
FROM THE DESCRIPTIVE GEOMETRY TO THE INFORMATICS LANGUAGE.
2010
This study is centred in the environment of the research into solutions of the problems of graphic representation, expressing theoretical considerations which allow the carrying out of geometric-descriptive procedures decoded in informatics language, for implementing CAD commands. The solution of these problems requires a reliable command of stereometry and descriptive geometry and it can extend remarkably the level of external geometric competences. The implementation of the means of ICT has brought a higher effectiveness of graphing mapping processes. In the informatics field, the advent of software dedicated to computerized representation has increased the possibilities of investigation …