mathematical modeling of supply chain operations has proven to be one of the most complex tasks in the field of operations management and operations research. despite the abundance of several modeling proposals in the literature; for vast majority of them, no effective universal application is conceived. this issue renders the proposed mathematical models inapplicable due largely to the fact th...

Software development using programming languages requires keyboard for input and all programming languages are mostly text oriented. A person having brilliant mind and potential for programming skills, but suffering from RSIs or being disabled could not become a programmer. To be a good programmer a human must memorize the syntax and keywords of a programming language. In our research work we p...

Reactive systems are interactive programs that react continuously to sequences of activations coming from the external world. Reactive programming leads to a new programming style where one programs in terms of reactions to activations and reasons in a logic of instants. This paper describes an extension of the C programming language called RC (for ‘Reactive C’) to program reactive systems. The...

narrowing ABSTRACT NARROWING u∈ Onv (g) & (l=r ⇐ C) << R A & κ = mgu ({g|u,l}) ––––––––––––––––––––––––––––––––––––––– g ⇒κ (C, g[r]u)κ  abstract semantics of a goal g ∆(g)= {κ| g ⇒κ* true} (decidable)  the abstract semantics approximates the concrete semantics ∀ σ ∈ O(g). ∃ κ ∈ ∆(g). κ ≤ σ  unsatisfiability analysis ∆(g)=∅ ⇒ g es unsatisfiable  abstract basic narrowing is compositional ∆(g...

This research investigates the integration of evolutionary techniques for symbolic regression. In particular the genetic programming paradigm is used together with other evolutionary computational techniques to develop novel approaches to the improvement of areas of simple preliminary design software using empirical data sets. I t is shown that within this problem domain, conventional genetic p...

With the success of programming models such as Khronos’ OpenCL, heterogeneous computing is going mainstream. However, these models are low-level, even when considering them as systems programming models. For example, OpenCL is effectively an extended subset of C99, limited to the type unsafe procedural abstraction that C has provided for more than 30 years. Computer systems programming has for ...