Probabilistic modeling is important for random distributed algorithms, bio-systems or decision processes. Probabilistic model checking is a systematic way of analyzing finite-state probabilistic models. Existing probabilistic model checkers have been designed for simple systems without hierarchy. In this paper, we extend the PAT toolkit to support probabilistic model checking of hierarchical co...

In Thailand, agriculture is one of the major occupations; however, there is no comprehensive agricultural occupational health promotion and disease prevention model available. Objectives of this study were to empower farmers to study occupational health and safety situation in rice farming and to develop model to promote their health and prevent occupational health hazards among them. This part...

Antioxidants are used on a very large scale to try to obtain and preserve optimal health. Nutraceuticals and food supplements frequently contain huge dosages of antioxidants. It is not generally recognised that high intake of antioxidants may also have adverse effects. Three antioxidants i.e. vitamin E, β-carotene and lipoic acid are used to illustrate general considerations on the toxicity of ...

The potential effects of millimetre waves (MMW) radiation attract strong attention today due to the increasing number of emerging civil and military applications of millimetre waves [1]. Commercial telecommunication systems are now under development for applications in the next-generation wireless digital networks (e.g., WirelessHD). Therefore, questions about safety for users in domestic and p...

Bio-based and biodegradable materials have the potential to replace traditional petroleum-based plastics across a range of products contribute more circular economy. However, uptake these will not succeed unless consumers, manufacturers, regulators are convinced their efficacy. Investigating performance safety concerns put forward by academic non-academic communities, this paper assesses whethe...

Non-viral lipid/polymeric vectors have widely been used as nanocarriers (NCs) for gene delivery. They possess large surface area to volume ratio and are able to interact with biomolecules through functional moieties, resulting in inadvertent biological impacts, in particular at genomic level. Thus, their genomic bio-signature needs to be investigated prior to use in vivo. Using high-throughput ...

Objective: To review existing literature and provide an update on the current use of Bio-Inks potential future use. Material Methods: A MeSH keyword search was conducted to find out relevant articles for this short review. Results: Bio inks used in 3D printing grafting require various properties essential selection. Combining multiple methods improved is developing successful bio-inks functiona...

FUNCTION Mass/energy flow and balance GENERAL FUNCTION Flow and storage of heat, etc. PHYSICAL FUNCTION States of components what? what? what? what? what?

Objectives of the Doctoral Program Structural, Seismic and Geotechnical Engineering SSGE consists of the disciplines and techniques that allow to understand, model and control the behavior of: (a) structural materials (concrete, steel, masonry, composites, bio-materials and materials for micro-systems), (b) structural systems (from constructions to bio-mechanical systems and micro-systems), (c)...

Nowadays, there is a high demand for sensitive and selective real-time analytical methods suitable wide range of applications, from personalized telemedicine, drug discovery, food safety, quality control, to defense, security, as well environmental monitoring. Biosensors are devices able detect bio-chemical analytes (e.g., neurotransmitters, cancer biomarkers, bio-molecules, ions), through the ...