Translating procedural object oriented code into constraints is required for many processes that reason about the execution of this code. The most obvious is for symbolic execution of the code, where the code is executed without necessarily knowing the concrete values. In this paper, we discuss translations from procedural object oriented code to constraints in the context of solving optimisati...

This book consists of a collection of 27 articles dealing with the subject of probabilistic engineering mechanics with special emphasis on the ensuing computational issues. The book has two parts. The first part is meant as a tutorial on the basic aspects of probabilistic mechanics, whereas the second part is an overview of some of the applications that rely on probabilistic concepts for their ...

Possibilities of predicting eggshell ultrastructure from direct non-destructive and destructive measurements were examined using 120 Fayoumi eggs collected from the flock at 45 weeks of age. The non-destructive measurements included weight, length and width of the egg. The destructive measurements were breaking strength and shell thickness. The eggshell ultrastructure traits involved the total ...

The aim of this work is to compare the antimicrobial efficiency of aminolevulinic acid-based photosensitization (ALA-photo) and chlorophyllin-based photosensitization (CHL-photo) against Gram-positive Listeria monocytogenes and Gram-negative Salmonella enterica, to assess some quantitative inactivation parameters of their survival curves and to propose a strategy for their effective inactivatio...

Our previous study revealed that aqueous extract of grape pomace obtained from a winemaking process could exert bactericidal action upon photo-irradiation via reactive oxygen species (ROS) formation. In the present study, we focused on chemical composition and prooxidative profile of the extract. Liquid chromatography-electrospray ionization-mass spectrometry (LC-ESI-MS) analysis showed that po...

The photo-oxidative decolorization of Direct Red 23 (DR23), a textile dye which is suspected to be carcinogenic was investigated using peroxydisulfate activated by UV irradiation and heat in a batch photo-reactor at experimental conditions. A very simple analytical method, direct UV–vis spectrophotometric detection, was utilized for the progress of photo-oxidative decolorization of dye in aqueo...

With increasing penetration of mobile devices, photo sharing services are experiencing a resurgence. Aside from providing storage, photo sharing services enable bandwidth-efficient downloads to mobile devices by performing server-side image transformations (resizing, cropping). On the flip side, photo sharing services have raised privacy concerns such as leakage of photos to unauthorized viewer...

This paper presents an approach to semi-automate photo annotation. Instead of using content-recognition techniques this approach leverages context information available at the scene of the photo such as time and location in combination with existing photo annotations to provide suggestions to the user. An algorithm exploits a number of technologies including Global Positioning System (GPS), Sem...

Graphoto is a framework that automatically generates a photo or adjusts an existing one to match a line graph. Since aesthetics is an important element in visualizing personal data, Graphoto provides users with aesthetically pleasing displays for casual line graph information visualization. More specifically, after creating a line graph of the input data, a photo that resembles the input data o...