Báo cáo " Verification of hazard, race and deadlock in GALS-circuit " pdf
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...
Tài liệu Báo cáo " Occurrences of microcystis spp. and microcystins in some cyanobacterial blooms in freshwater bodies in Vietnam " docx
... 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...
Tài liệu Báo cáo khoa học: "Identifying Agreement and Disagreement in Conversational Speech: Use of Bayesian Networks to Model Pragmatic Dependencies" docx
... 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...
Báo cáo khoa học: Adipocyte hyperplasia and RMI1 in the treatment of obesity doc
... 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...
Báo cáo " Calculation of dispersion relation and real atomic vibration of fcc crystals containing dopant atom using effective potential " pot
... 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...
Báo cáo " Bioremediation of vegetable oil and grease from polluted wastewater in dairy factory " doc
...
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...
Báo cáo y học: "HIV DNA and Dementia in Treatment-Naïve HIV-1-Infected Individuals in Bangkok, Thailand"
... 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...
Tài liệu Báo cáo " Deodorization of food wastewater by using strong oxidants " pdf
... 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...
Tài liệu Báo cáo khoa học: Domain deletions and substitutions in the modular protein evolution doc
... 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...
Tài liệu Báo cáo khoa học: "TYPE-RAISING AND DIRECTIONALITY IN COMBINATORY GRAMMAR*" pdf
... 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...
Từ khóa:
- determination and verification of o amp m savings in espcs
- issues of ethnicity race and gender
- the role of teachers schools and communities in quality education
- pursuit of environmental law and policy in natural resource management
- importance of environmental law and policy in natural resource management