Báo cáo " Verification of hazard, race and deadlock in GALS-circuit " pdf

... be restructured and verification for substitution. 2. Removal of hazard, race and deadlocks from GALS - circuit Petrinets describe a display mean for race of different signals and be popular ... simulate AND and OR gates. In order to analyze properties of Deadlock and Hazard in Petrinets of wrappers, for each gate type, there will be a petrinetsample. This t...

Ngày tải lên: 28/03/2014, 13:20

... demonstrated that toxin-producing ability depend on species, in the same species in populations of cyanobacteria, both microcystin-producing and non-microcystin-producing individuals may coexist ... damage to human and animal health. Microcystins can inhibit protein phosphatases, cause changes in membrane integrity and conductance, and are tumour promoters, in addit...

Ngày tải lên: 12/02/2014, 17:20

... Ranking We view the problem as an instance of statisti- cal ranking, a general machine learning paradigm used for example in statistical parsing (Collins, 2000) and question answering (Ravichandran ... analyses in or- der to determine to what extent contextual informa- tion helps in discriminating between agreement and disagreement. By integrating the interpretation of the pragm...

Ngày tải lên: 20/02/2014, 16:20

... escalating prevalence of obesity is one of the most pressing health concerns of the modern era, yet existing medicines to combat this global pandemic are disappointingly limited in terms of safety and ... calorie intake due to hyperphagia and high-fat feed- ing induces expression of RMI1 and E2Fs in adipocytes, and causes a positive interaction between the molecules. Inc...

Ngày tải lên: 06/03/2014, 01:20

... frequency and temperature; amplitude and phase of real vibration of atomic chain containing dopant atom have been derived. They contain Morse potential parameters characterizing vibration of each ... parameters. 1. Introduction The real atomic vibration is oft concerned with presence of dopant atom, and study of thermodynamic properties of substances in this case is an...

Ngày tải lên: 14/03/2014, 13:20

... concentration of soybean oil lipid activity of strains was reduced; this can be explained by the inhibition of oxygen dissolve at high concentration of soybean oil. Combination of strains In facts, ... respectively. Optimization of pH At optimal temperature condition of strains and after 24 hour of incubation, the results indicated that the activity of lipid degr...

Ngày tải lên: 22/03/2014, 09:20

... Commit- tee and Institutional Review Board of the participating institutions. The SEARCH institutions involved in this project included the University of Hawaii, Phramongkutklao Hospital (PMK), and ... virus, type 1 (HIV-1) from infected individu- als is not currently possible due, in part, to continuing presence of virus in lymphocytes and cells of the macrophage lin...

Ngày tải lên: 31/10/2012, 15:34

... of wastewater were studied. The result in Table 1 showed that pH of influent effected to sulfur removal process. The odor intensity is increased with decreasing of pH, it may due to the incompletely ... reached to B class of TCVN 5945-2005. After combination of results in tables 2, 3 and 4 we demonstrate that 120 mg/l of CaOCl 2 and 4 g/l of CaO is the best condit...

Ngày tải lên: 12/02/2014, 17:20

... domain deletions are more com- mon at either of the protein termini, and that their occurrence is slightly higher at one of the termini, depending on the number of domains in the protein and ... fraction of domains that were found to form single-domain proteins; b fraction of deleted domains that were found to form single- domain proteins; c average number of neighbours for...

Ngày tải lên: 19/02/2014, 07:20

... argument term of the function with the real argument, binding the remain- ing positional variables including the distinguished position, as in (22) and (23). At the point when the combinatory rule ... mediation of type-raising. Consider the following example. Under the above rule, the categories of the words in the sentence Gilbert walks are as shown in (27), before bin...

Ngày tải lên: 20/02/2014, 21:20