Search results for " Languages"

On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards

2007

The guarded fragment of first-order logic, GF, enjoys the finite model property, so the satisfiability and the finite satisfiability problems coincide. We are concerned with two extensions of the two-variable guarded fragment that do not possess the finite model property, namely, GF2 with equivalence and GF2 with transitive guards. We prove that in both cases every finitely satisfiable formula has a model of at most double exponential size w.r.t. its length. To obtain the result we invent a strategy of building finite models that are formed from a number of multidimensional grids placed over a cylindrical surface. The construction yields a 2NEXPTIME-upper bound on the complexity of the fini…

Graph Connectivity, Monadic NP and built-in relations of moderate degree

1995

It has been conjectured [FSV93] that an existential secondoder formula, in which the second-order quantification is restricted to unary relations (i.e. a Monadic NP formula), cannot express Graph Connectivity even in the presence of arbitrary built-in relations.

Theory of tailor automata

2019

Abstract In the paper, a fragment of the new theory of tailor automata is presented, within which a deterministic finite automaton was defined. The proposed automaton provides a theoretical model of an informally characterized biomolecular automaton. The idea of working of which is founded on the concept of alternating cut of some double-stranded fragments of DNA, with the use of a restriction enzyme and ligations of some double-stranded fragments of DNA, with the use of the ligase enzyme.

Literacy and literacy practices: Plurilingual connected migrants and emerging literacy

2021

Abstract Recent migration towards Europe is characterized by the massive presence of adults whose educational paths have been interrupted and who are thus developing literacy for the first time in a new language. A literacy test elaborated at the University of Palermo, Italy, showed that, on a sample of 774 migrants, about 30 percent could not read and/or write short words. This test assessed the learners’ abilities to read and write, whether in the Roman alphabet or in other writing systems, and whether in Italian or in other languages of learners’ repertoires. These learners with emergent literacy mostly came from sub-Saharan Africa, an area characterized by diverse forms of multilinguali…

Two Methods for Schema Design for Intelligent XML Documents in Organizations

2007

XML markup language provides means for incorporating semantics, i.e. “meaning” of logical content parts residing within documents. Therefore it has become the lingua franca for Semantic Web, e-Business applications and for enterprise application integration. In order to realize novel, intelligent XML-based document applications in organizations, schemas defining the domain-oriented semantics are needed. So far, the potential of XML has not bee fully utilized in organizational documents, due to the lack of XML support in common and inexpensive office software. Due to the arrival of XML support on common software such as Microsoft Office 2007 and Open Office 2.0 organizations need knowledge a…

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…

La forma cinematografica del reale. Teorie, pratiche, linguaggi: da Bazin a Netflix

2020

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…

Automated source code transformations on fourth generation languages

2004

To control the operation of large application suites or to tailor a special purpose application to particular need, developers frequently use application specific languages, such as batch, scripting, and query languages. These languages which are also referred to as fourth generation languages (4GLs) therefore play an important role in today's economy. Incompatibilities between different versions of 4GLs and changing requirements may make massive changes on a company's library of 4GL programs necessary. Here, we explore possibilities for performing mass changes on 4GLs and show how the transformation of programs written in 4GLs compares to the transformation of mainstream programming langua…

Tree Based Domain-Specific Mapping Languages

2012

Model transformation languages have been mainly used by researchers --- the software engineering industry has not yet widely accepted the model driven software development (MDSD). One of the main reasons is the complexity of metamodelling principles the developers are required to know to actually use model transformations in the way the OMG has stated. We offer the basic principles how to create domain-specific model transformation languages which can be used by developers relying only on familiar modelling concepts. We propose to use simple graphical mappings to specify the correspondence between source and target models which are represented using trees based on the concrete syntax of und…