scholarly journals Perspectives on Constraints, Process Algebras, and Hybrid Systems

10.29007/whn1 ◽  
2018 ◽  
Author(s):  
Luca Bortolussi ◽  
Alberto Policriti
Keyword(s):  
Hybrid Systems ◽  
Constraint Programming ◽  
Biological Applications ◽  
Process Algebras ◽  
Stochastic Programs ◽  
Automatic Choice ◽  
Concurrent Constraint Programming

Building on a technique for associating Hybrid Systems (HS) to stochastic programs written in a stochastic extension of Concurrent Constraint Programming (sCCP), we will discuss several aspects of performing such association. In particular, as we proved an sCCP program can be mapped in a HS varying in a lattice at a level depending on the amount of actions to be simulated continuously, we will discuss what are the problems involved in a semi-automatic choice of such level. Decidability, semantic, and efficiency issues will be taken into account, with special emphasis on their links with biological applications. We will also discuss about the role of constraints and of the constraint store is this construction.

scholarly journals How to Implement Lightweight Threads

2019 ◽  
Author(s):  
Mauricio Toro
Keyword(s):  
Constraint Programming ◽  
Efficient Implementation ◽  
High Order ◽  
Common Lisp ◽  
Event Driven ◽  
Lightweight Threads ◽  
Concurrent Constraint Programming

Using continuations in high order languages such as Common Lisp is notvery efficient because they do not work close to the compiler . Other optionssuch as making an scheduler in C can be efficient when the sources of theinterpreter are available and they can be modified, otherwise, making aninterface with C using FFI causes an overhead, making it impossible toachive “lighweight”.To make an efficient implementation of lighweight threads in CommonLisp it is required to analyze the type of applications which will use thethreads. For example, for a Concurrent Constraint Programming (CCP)interpreter using Gecode, event driven programming seams very natural,but for the Omax system, it is not be appropriate.

A STUDY ON THE RELATION BETWEEN MORPHOLOGICAL AND CHEMICAL CHANGES AND WETTABILITY MODIFICATION OF POLYETHERSULFONE SURFACE AFTER IRRADIATION WITH A PULSED KrF LASER

2021 ◽  
Author(s):  
HEDIEH PAZOKIAN ◽  
MOHAMMAD REZA RASHIDIAN VAZIRI
Keyword(s):  
High Energy ◽  
Threshold Region ◽  
Morphological Parameter ◽  
Biological Applications ◽  
Chemical Changes ◽  
Polymeric Surface ◽  
Krf Laser ◽  
Wetting Property ◽  
Threshold Regime

Laser irradiation is used for surface modification of polymers aiming to improve their properties for different applications. The wettability of a polymeric surface can significantly affect its performance for biological applications. In this paper, the interaction of high-energy KrF laser photons in the two above- and below-threshold regimes with polyethersulfone polymer is studied. The role of morphological and chemical changes of the irradiated polymer and their correlation in the modification of the wetting property of this polymer is investigated. The obtained results show that the morphological parameter of surface roughness is the dominant mechanism in the below-threshold regime, while in the above-threshold region, the competition between this parameter and the carbonization amount of the surface determines the final hydrophilic response.

scholarly journals Timed Default Concurrent Constraint Programming

1996 ◽  
Vol 22 (5-6) ◽  
pp. 475-520 ◽  
Author(s):  
VIJAY SARASWAT ◽  
RADHA JAGADEESAN ◽  
VINEET GUPTA
Keyword(s):  
Constraint Programming ◽  
Concurrent Constraint Programming
Sign in / Sign up

Export Citation Format

Share Document