Search results for "Programming Language"

Spin states, vibrations and spin relaxation in molecular nanomagnets and spin qubits: a critical perspective

2018

Spin–vibration coupling has been proven to be crucial for spin dynamics; theoretical studies are now addressing this experimental challenge.

Legri Science Operation Center. Architecture and Operations

2001

The LEGRI Science Operation Center (SOC) is the single contact point between the MINISAT-01 Centro de Operaciones Cientificas (COC) located at Villafranca del Castillo (Madrid) and the LEGRI Consortium. Its architecture, operational procedures and associated software has been developed at the Universities of Valencia and Birmingham on the scope to define a integrated Data Analysis System, able to perform the daily follow-up of the instrument health, raw data files decompression and archiving activities (on-line and historical). Pointing and telecommand files generation are also SOC responsibilities. The aim of this paper is to report the SOC activities during the two years of LEGRI operatio…

Automated astrographic plates measuring process

1990

The astrographic plates measuring process applied at the Astronomical Observatory of Valencia has been described.

Market for ideas and reception of physiocracy in Spain: some analytical and historical suggestions

1995

This essay aims to situate the phenomenon of the international spread of the economic ideas of a particular school of thought within the framework of the ‘market for ideas' approach outlined by George Stigler. On the one hand, the paper attempts to amplify the theoretical model of a demand-driven market for ideas, introducing the concepts of public goods, utility, transaction costs and other institutional variables, and on the other this analytical approach is applied to the Spanish market for ideas of the 18th century and its reception of physiocracy, obtaining a new perspective on the spread of ideas of the iconomistes in comparison with the existing literature.

Usability of Programming Languages

2016

Programming languages form the interface between programmers (the users) and the computation that they desire the computer to execute. Although studies exist for some aspects of programming language design (such as conditionals), other aspects have received little or no human factors evaluations. Designers thus have little they can rely on if they want to make new languages highly usable, and users cannot easily chose a language based on usability criteria. This SIG will bring together researchers and practitioners interested in increasing the depth and breadth of studies on the usability of programming languages, and ultimately in improving the usability of future languages. nonPeerReviewed

The power of formalization and abstraction in evolutionary biologyThe Geometry of Evolution: Adaptive Landscapes and Theoretical Morphospaces. (2006)…

2007

On the Size Complexity of Deterministic Frequency Automata

2013

Austinat, Diekert, Hertrampf, and Petersen [2] proved that every language L that is (m,n)-recognizable by a deterministic frequency automaton such that m > n/2 can be recognized by a deterministic finite automaton as well. First, the size of deterministic frequency automata and of deterministic finite automata recognizing the same language is compared. Then approximations of a language are considered, where a language L′ is called an approximation of a language L if L′ differs from L in only a finite number of strings. We prove that if a deterministic frequency automaton has k states and (m,n)-recognizes a language L, where m > n/2, then there is a language L′ approximating L such that L′ c…

Process specification and verification

1996

Graph grammars provide a very convenient specification tool for distributed systems of processes. This paper addresses the problem how properties of such specifications can be proven. It shows a connection between algebraic graph rewrite rules and temporal (trace) logic via the graph expressions of [2]. Statements concerning the global behavior can be checked by local reasoning.

Editor Definition Language and Its Implementation

2001

Universal graphical editor definition language based on logical metamodel extended by presentation classes is proposed. Implementation principles of this language, based on Graphical Diagramming Engine are described.

A novel scheme for privacy preserving in RBAC

2013

Role Based Access Control (RBAC) Model has been proved to be quite useful and has drawn a lot of research interest over the last fifteen years. In this paper we discuss general context-aware RBAC model. We analyze potential privacy threats associated with use of context-aware RBAC and propose a novel scheme that provides privacy-preserving for access models based on RBAC.