An Editor for Helping Novices to Learn Standard ML

This paper describes a novel editor intended as an aid in the learning of the functional programming language Standard ML. A common technique used by novices is programming by analogy whereby students refer to similar programs that they have written before or have seen in the course literature and use these programs as a basis to write a new program. We present a novel editor for ML which supports programming by analogy by providing a collection of editing commands that transform old programs into new ones. Each command makes changes to an isolated part of the program. These changes are propagated to the rest of the program using analogical techniques. We observed a group of novice ML students to determine the most common programming errors in learning ML and restrict our editor such that it is impossible to commit these errors. In this way, students encounter fewer bugs and so their rate of learning increases. Our editor, C Y NTHIA, has been implemented and is due to be tested on st..

Amplification by stochastic interference

A new method is introduced to obtain a strong signal by the interference of weak signals in noisy channels. The method is based on the interference of 1/f noise from parallel channels. One realization of stochastic interference is the auditory nervous system. Stochastic interference may have broad potential applications in the information transmission by parallel noisy channels

Ω-Arithmetization of Ellipses

International audienceMulti-resolution analysis and numerical precision problems are very important subjects in fields like image analysis or geometrical modeling. In the continuation of our previous works, we propose to apply the method of Ω-arithmetization to ellipses. We obtain a discrete multi-resolution representation of arcs of ellipses. The corresponding algorithms are completely constructive and thus, can be exactly translated into functional computer programs. Moreover, we give a global condition for the connectivity of the discrete curves generated by the method at every scale

Generating natural language specifications from UML class diagrams

Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semistructured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early Natural Language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates Natural Language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of Natural Language used within UML. We use WordNet,a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study

A Statistical Mechanical Problem in Schwarzschild Spacetime

We use Fermi coordinates to calculate the canonical partition function for an ideal gas in a circular geodesic orbit in Schwarzschild spacetime. To test the validity of the results we prove theorems for limiting cases. We recover the Newtonian gas law subject only to tidal forces in the Newtonian limit. Additionally we recover the special relativistic gas law as the radius of the orbit increases to infinity. We also discuss how the method can be extended to the non ideal gas case.Comment: Corrected an equation misprint, added four references, and brief comments on the system's center of mass and the thermodynamic limi

Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

Canonical thermalization

For quantum systems that are weakly coupled to a much 'bigger' environment, thermalization of possibly far from equilibrium initial ensembles is demonstrated: for sufficiently large times, the ensemble is for all practical purposes indistinguishable from a canonical density operator under conditions that are satisfied under many, if not all, experimentally realistic conditions

A lattice model for the line tension of a sessile drop

Within a semi--infinite thre--dimensional lattice gas model describing the coexistence of two phases on a substrate, we study, by cluster expansion techniques, the free energy (line tension) associated with the contact line between the two phases and the substrate. We show that this line tension, is given at low temperature by a convergent series whose leading term is negative, and equals 0 at zero temperature

Large deviations for a damped telegraph process

In this paper we consider a slight generalization of the damped telegraph process in Di Crescenzo and Martinucci (2010). We prove a large deviation principle for this process and an asymptotic result for its level crossing probabilities (as the level goes to infinity). Finally we compare our results with the analogous well-known results for the standard telegraph process

Boundary-crossing identities for diffusions having the time-inversion property

We review and study a one-parameter family of functional transformations, denoted by (S (β)) β∈ℝ, which, in the case β<0, provides a path realization of bridges associated to the family of diffusion processes enjoying the time-inversion property. This family includes Brownian motions, Bessel processes with a positive dimension and their conservative h-transforms. By means of these transformations, we derive an explicit and simple expression which relates the law of the boundary-crossing times for these diffusions over a given function f to those over the image of f by the mapping S (β), for some fixed β∈ℝ. We give some new examples of boundary-crossing problems for the Brownian motion and the family of Bessel processes. We also provide, in the Brownian case, an interpretation of the results obtained by the standard method of images and establish connections between the exact asymptotics for large time of the densities corresponding to various curves of each family