Search results for "Programming Language"

An Approach to the Automatic Comparison of Reference Point-Based Interactive Methods for Multiobjective Optimization

2021

Solving multiobjective optimization problems means finding the best balance among multiple conflicting objectives. This needs preference information from a decision maker who is a domain expert. In interactive methods, the decision maker takes part in an iterative process to learn about the interdependencies and can adjust the preferences. We address the need to compare different interactive multiobjective optimization methods, which is essential when selecting the most suited method for solving a particular problem. We concentrate on a class of interactive methods where a decision maker expresses preference information as reference points, i.e., desirable objective function values. Compari…

Extending formal language hierarchies to higher dimensions

1999

The Existence of Solutions for Local Dirichlet (r(u),s(u))-Problems

2022

In this paper, we consider local Dirichlet problems driven by the (r(u),s(u))-Laplacian operator in the principal part. We prove the existence of nontrivial weak solutions in the case where the variable exponents r,s are real continuous functions and we have dependence on the solution u. The main contributions of this article are obtained in respect of: (i) Carathéodory nonlinearity satisfying standard regularity and polynomial growth assumptions, where in this case, we use geometrical and compactness conditions to establish the existence of the solution to a regularized problem via variational methods and the critical point theory; and (ii) Sobolev nonlinearity, somehow related to the spac…

Implementation of early childhood physical curriculum (SPARK) in the Central Valley of California (USA)

2017

Abstract The aim of this paper is to describe the methodology applied to develop and launch the implementation of physical activity curriculum (SPARK) at several schools in the Central Valley of California. The SPARK Early Childhood Program is one of eight within the SPARK Coordinated School Health (CSH) model. This research try to create environments that promote healthful behaviors at school and in the community for both children and adults. Overweight and obese children are likely to develop serious health problems. Among children in the U.S., Latino children are affected disproportionally by the obesity epidemic. Ninos Sanos, Familia Sana (Healthy Children, Healthy Family) is a five-yea…

Grammar based content completion method using Lua LPeg.re module

2014

A grammar based content completion method for Lua programming language and its LPeg.re module environment is described in this paper. The use of our method is not demanding in computing resources, as well as it is easy to add the content completion functionality to any target language grammar. We report on the application of our method for OWL Manchester syntax expression grammar, as well as custom database-to-ontology mapping language.

Teaching computer language handling - From compiler theory to meta-modelling

2011

Published version of a chapter in the book: Generative and Transformational Techniques in Software Engineering III. Also available from the publisher at: http://dx.doi.org/10.1007/978-3-642-18023-1_14 Most universities teach computer language handling by mainly focussing on compiler theory, although MDA (model-driven architecture) and meta-modelling are increasingly important in the software industry as well as in computer science. In this article, we investigate how traditional compiler theory compares to meta-modelling with regard to formally defining the different aspects of a language, and how we can expand the focus in computer language handling courses to also include meta-model-based…

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.

Transformation of UML models to CSP : a case study for graph transformation tools

2008

Graph transformation provides an intuitive mechanism for capturing model transformations. In the current paper, we investigate and compare various graph transformation tools using a compact practical model transformation case study carried out as part of the AGTIVE 2007 Tool Contest [22]. The aim of this case study is to generate formal CSP processes from high-level UML activity diagrams, which enables to carry out mathematical analysis of the system under design.

Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language

2017

Formal models are widely used in performance and dependability studies of computational systems. Graphical modeling tools allow users to compose such models with ease, but they complicate the creation of models with a dynamic/complex structure, the hierarchical arrangement of different models, and the automatic execution of models with different parameter configurations. To overcome this problem, we created a scripting language for the Mercury tool that supports the combination of different modeling approaches (e.g., Stochastic Petri Nets and Reliability Block Diagrams) in a single project. In this paper, we focus on the extensions developed to improve the capabilities of Generalized Stocha…

JaxoDraw: A graphical user interface for drawing Feynman diagrams

2003

JaxoDraw is a Feynman graph plotting tool written in Java. It has a complete graphical user interface that allows all actions to be carried out via mouse click-and-drag operations in a WYSIWYG fashion. Graphs may be exported to postscript/EPS format and can be saved in XML files to be used in later sessions. One of the main features of JaxoDraw is the possibility to produce LaTeX code that may be used to generate graphics output, thus combining the powers of TeX/LaTeX with those of a modern day drawing program. With JaxoDraw it becomes possible to draw even complicated Feynman diagrams with just a few mouse clicks, without the knowledge of any programming language.