We have recently defined a weak Markovian bisimulation equivalence in an integrated-time setting, which reduces sequences of exponentially timed internal actions to individual exponentially timed internal actions having the same average duration and execution probability as the corresponding sequences. This weak Markovian bisimulation equivalence is a congruence for sequential processes with ab...

The chance-based compositional techniques utilized by composer John Cage in such works as “String Quartet in Four Parts” and “Music of Changes” made use of a compositional framework of gamuts and gamut squares that serves as the object-model for a compositional software application capable of transforming musical data cells using both chance-based and probabilitydriven functions. Written in Jav...

protein aggregation is a problem in biotechnology. high temperature is one of the most important reasons to enhance enzyme inactivation and aggregation in industrial systems. this work focuses on the effect of tio2 and sio2 nanoparticles on refolding and reactivation of lysozyme. in the presence of tio2 and sio2 nanoparticles, after enzyme heat treatment at 98◦c for 30 min, not only aggregates ...

In West Africa, rampant urbanization is changing food systems, including the magnitude and composition of flows length supply chains. An increasing body literature discusses pathways to sustainable transformation urban systems taking into account links between rural spaces. Research policy have focused on role cities as consumption centers receiving from local, regional, global hinterlands. Thi...

The properties of [EMIM][BF4] + [EMIM][TFSI] double salt ionic liquid (DSIL) were studied as a function mixtures composition and temperature. Experimental physicochemical combined with molecular simulation (quantum chemistry classical dynamics) considered, thus providing micro macroscopic characterization fluids’ structuring, intermolecular forces aggregation. results analysed in thermodynamics...

Recently, there have emerged more sophisticated applications, which have to represent complex objects related with complex relationships, such as aggregations and compositions. New object-relational databases are more appropriated than relational databases to support complex objects. Besides, the most common way of designing databases is using the E/R model, without taking in account the progra...

In object-oriented technology, some concepts are so often used that people have no doubt about their meaning (e.g. class, object, method). This is not the case when abstraction concerns lead to the use of some conceptual representations such as an object being part of another one. Even the standardized notation UML (Uniied Modeling Language { version 1.3) is confusing in some of its deenitions....

We develop a theory of multigraded (i.e., N-graded) combinatorial Hopf algebras modeled on the theory of graded combinatorial Hopf algebras developed by Aguiar et al. (Compos. Math. 142:1–30, 2006). In particular we introduce the notion of canonical k-odd and k-even subalgebras associated with any multigraded combinatorial Hopf algebra, extending simultaneously the work of Aguiar et al. and Ehr...

objective: to study the mechanisms involved in amyloid formation processes, we made a mammalian cell culture model of amylin aggregation and characterized its properties. materials and methods: amyloid fibrils were extracted from cho cells and binding affinity to thioflavin t and congo red was investigated. then the apple-green birefringence of extracted fibrils was detected under polarized li...

In order to protect the living environment and effectively control harmful gas composition in basement of civil air defense wartime, this paper studies pollutants a project Jinan by CFD numerical simulation technology, simulates CO 2 concentration distribution under three different forms defense. The results show that when second-class shelter reaches high-density population environment, condit...