Search results for "Programming Languages"
showing 10 items of 138 documents
Quantum Probes for the Characterization of Nonlinear Media
2021
Active optical media leading to interaction Hamiltonians of the form H=λ˜(a+a†)ζ represent a crucial resource for quantum optical technology. In this paper, we address the characterization of those nonlinear media using quantum probes, as opposed to semiclassical ones. In particular, we investigate how squeezed probes may improve individual and joint estimation of the nonlinear coupling λ˜ and of the nonlinearity order ζ. Upon using tools from quantum estimation, we show that: (i) the two parameters are compatible, i.e., the may be jointly estimated without additional quantum noise
Graph-grammar semantics of a higher-order programming language for distributed systems
1994
We will consider a new tiny, yet powerful, programming language for distributed systems, called DHOP, which has its operational semantics given as algebraic graph rewrite rules in a certain category of labeled graphs. Our approach allows to separate actions which affect several processes from local changes such as variable bindings. We also sketch how to derive an implementation from this specification.
Programming languages for data-Intensive HPC applications: A systematic mapping study
2020
This work is a result of activities from COST Action 10406 High -Performance Modelling and Simulation for Big Data Applications (cHiPSet), funded by the European Cooperation in Science and Technology. FCT, Portugal for grants: NOVA LINCS Research Laboratory Ref. UID/ CEC/ 04516/ 2019); INESC-ID Ref. UID/CEC/50021/2019; BioISI Ref. UID/MULTI/04046/2103; LASIGE Research Unit Ref. UID/CEC/00408/ 2019. A major challenge in modelling and simulation is the need to combine expertise in both software technologies and a given scientific domain. When High-Performance Computing (HPC) is required to solve a scientific problem, software development becomes a problematic issue. Considering the complexity…
SEAL: A Domain-Specific Language for Novice Wireless Sensor Network Programmers
2013
A lot of the prospective wireless sensor network users are novice programmers. Their experience in general-purpose programming languages is either limited or completely nonexistent. There are both financial and scientific incentives to empower these users and allow them to write sensor network applications on their own, rather than having to rely on a qualified computer science professional. We present SEAL, a sensor network programming language designed for novice programmers. SEAL manages to avoid computer science concepts that are hard to grasp for novices, while remaining suitable for typical sensor network application scenarios. The language is extensible in application-specific way, h…
ICOOLPS 2010 and MASPEGHI 2010.
2012
International audience; At ECOOP 2010 in Maribor, Slovenia, the two workshops MASPEGHI (MechAnisms for SPEcialization, Generalization and inHerItance) and ICOOOLPS (Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems) were combined because both were rather small and shared common concerns, their topic areas being strongly related. Six papers had been accepted to MASPEGHI, but only five were presented because the authors of one paper could not attend the conference and workshop. Three papers had been accepted to ICOOOLPS, and all were also presented. The workshop authors were later asked to submit extended versions of their papers for possible publica…
Enabling Multimodal Interaction in XPL – the eXtensible Presentation Language
2007
This paper introduces the multimodal extension of the eXtensible Presentation architecture and Language (XPL), a framework aimed at streamlining multi-channel interface design process and enabling full component reuse. XPL incorporates a presentation language based on design pattern paradigm, which supplies a clear distinction between the presentation layer and the corresponding programming logic, promoting contents aggregation and a variety of event handlers described without relying on a (procedural) scripting language. In this paper, the design pattern concept is extended to voice-based interaction, and two verbal design pattern (VeDP) are introduced along to their visual counterparts. T…
Complexity of operations on cofinite languages
2010
International audience; We study the worst case complexity of regular operation on cofinite languages (i.e., languages whose complement is finite) and provide algorithms to compute efficiently the resulting minimal automata.
Array programming with NumPy.
2020
Array programming provides a powerful, compact and expressive syntax for accessing, manipulating and operating on data in vectors, matrices and higher-dimensional arrays. NumPy is the primary array programming library for the Python language. It has an essential role in research analysis pipelines in fields as diverse as physics, chemistry, astronomy, geoscience, biology, psychology, materials science, engineering, finance and economics. For example, in astronomy, NumPy was an important part of the software stack used in the discovery of gravitational waves1 and in the first imaging of a black hole2. Here we review how a few fundamental array concepts lead to a simple and powerful programmi…
Validation of frictional studies by double-cup extrusion tests in cold-forming
1996
Abstract Studies on frictional conditions in cold-forming have shown that, for a given lubricant, friction factor values are strongly affected by the test method. In the present paper, different cold-forging processes of an aluminium alloy, are modelled by a FEM numerical code using the m values obtained by both the double cup extrusion and ring compression tests. It appears that the m values given by the ring tests can be effectively used in the simulation of upsetting processes, while the m values derived by the double cup extrusion tests are more appropriate for predictions in extrusion and closed-die forging operations.
Engineering Ising-XY spin models in a triangular lattice via tunable artificial gauge fields,
2013
Emulation of gauge fields for ultracold atoms provides access to a class of exotic states arising in strong magnetic fields. Here we report on the experimental realisation of tunable staggered gauge fields in a periodically driven triangular lattice. For maximal staggered magnetic fluxes, the doubly degenerate superfluid ground state breaks both a discrete Z2 (Ising) symmetry and a continuous U(1) symmetry. By measuring an Ising order parameter, we observe a thermally driven phase transition from an ordered antiferromagnetic to an unordered paramagnetic state and textbook-like magnetisation curves. Both the experimental and theoretical analysis of the coherence properties of the ultracold g…