164 research outputs found
On minimizing deterministic tree automata
We present two algorithms for minimizing deterministic frontier-to-root tree automata (dfrtas) and compare them with their string counterparts. The presentation is incremental, starting out from definitions of minimality of automata and state equivalence, in the style of earlier algorithm taxonomies by the authors. The first algorithm is the classical one, initially presented by Brainerd in the 1960s and presented (sometimes imprecisely) in standard texts on tree language theory ever since. The second algorithm is completely new. This algorithm, essentially representing the generalization to ranked trees of the string algorithm presented by Watson and Daciuk, incrementally minimizes a dfrta. As a result, intermediate results of the algorithm can be used to reduce the initial automaton’s size. This makes the algorithm useful in situations where running time is restricted (for example, in real-time applications). We also briefly sketch how a concurrent specification of the algorithm in CSP can be obtained from an existing specification for the dfa case
On minimizing deterministic tree automata
We present two algorithms for minimizing deterministic frontier-to-root tree automata (dfrtas) and compare them with their string counterparts. The presentation is incremental, starting out from definitions of minimality of automata and state equivalence, in the style of earlier algorithm taxonomies by the authors. The first algorithm is the classical one, initially presented by Brainerd in the 1960s and presented (sometimes imprecisely) in standard texts on tree language theory ever since. The second algorithm is completely new. This algorithm, essentially representing the generalization to ranked trees of the string algorithm presented by Watson and Daciuk, incrementally minimizes a dfrta. As a result, intermediate results of the algorithm can be used to reduce the initial automaton’s size. This makes the algorithm useful in situations where running time is restricted (for example, in real-time applications). We also briefly sketch how a concurrent specification of the algorithm in CSP can be obtained from an existing specification for the dfa case
Effect of benzamide on the corrosion inhibition of mild steel in sulphuric acid
The effect of benzamide as a chemical inhibitor on mild steel corrosion in 0.5M H2SO4 was studied at ambient temperature. The experimental work was performed with gravimetric and potentiostatic polarization measurement methods. Potentiostatic polarization measurement was performed with a potentiostat (Autolab PGSTAT 30ECOCHIMIE) interfaced with a computer for data acquisition and analysis. The benzamide inhibitor achieved very effective corrosion inhibition of the steel specimens in the H2SO4 test medium. The inhibition performance increased with increasing concentration of the inhibitor. Benzamide’s best performance was achieved with the 4 g 200 mL–1 H2SO4 concentration and closely followed by the 3 g 200 mL–1 of the H2SO4. In 0.5 MH2SO4, the 4 g and 3 g 200 mL–1 H2SO4 gave the optimal performance with weight loss of 2.99 g at 480 h of the experiment, respectively. The corrosion rate for 4 g’s was 6.4mmyr–1. The experiment also achieved polarization resistance values of 3.98 and 2.37E+01Ω; corrosion rate,CR, of 7.48E+00 and 1.26E+01mmyr–1 and current density (Icorr) values of 6.45E–04 and 1.08E – 03A cm–2, respectively. The corrosion inhibition efficiency values are, respectively, 60 and 70 % for both 3 g and 4 g 200 mL–1 H2SO4 concentrations at 48 h.Results of ba and bc indicated a mixed type inhibitor. Benzamide adsorption on the steel’s surface obeys the Freundlich adsorption isotherm.Keywords: Electrochemical corrosion, benzamide, inhibitor, sulphuric acid, mild steel, polarizatio
Клінічні особливості генетично детермінованих гіпобета-ліпопротеїнемії та гіпохолестеролемії
Familial hypobetalipoproteinemia (FHBL) is an autosomal dominant disorder of lipid metabolism characterized by extremely low plasma levels of apolipoprotein B, total cholesterol and low-density lipoprotein cholesterol. Heterozygotes for FHBL are often asymptomatic. Clinical features of homozygous FHBL can include acanthocytosis, deficiencies in fat-soluble vitamins secondary to malabsorption, atypical retinitis pigmentosa and neuromuscular abnormalities
Towards Statistical Comparison and Analysis of Models
Model comparison is an important challenge in model-driven engineering, with many application areas such as model versioning and domain model recovery. There are numerous techniques that address this challenge in the literature, ranging from graph-based to linguistic ones. Most of these involve pairwise comparison, which might work, e.g. for model versioning with a small number of models to consider. However, they mostly ignore the case where there is a large number of models to compare, such as in common domain model/metamodel recovery from multiple models. In this paper we present a generic approach for model comparison and analysis as an exploratory first step for model recovery. We propose representing models in vector space model, and applying clustering techniques to compare and analyse a large set of models. We demonstrate our approach on a synthetic dataset of models generated via genetic algorithms
Nonlinear and conventional biosignal analyses applied to tilt table test for evaluating autonomic nervous system and autoregulation
Copyright © Tseng et al.; Licensee Bentham Open.
This is an open access article licensed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/
by-nc/3.0/) which permits unrestricted, non-commercial use, distribution and reproduction in any medium, provided the work is properly cited.Tilt table test (TTT) is a standard examination for patients with suspected autonomic nervous system (ANS) dysfunction or uncertain causes of syncope. Currently, the analytical method based on blood pressure (BP) or heart rate (HR) changes during the TTT is linear but normal physiological modulations of BP and HR are thought to be predominately nonlinear. Therefore, this study consists of two parts: the first part is analyzing the HR during TTT which is compared to three methods to distinguish normal controls and subjects with ANS dysfunction. The first method is power spectrum density (PSD), while the second method is detrended fluctuation analysis (DFA), and the third method is multiscale entropy (MSE) to calculate the complexity of system. The second part of the study is to analyze BP and cerebral blood flow velocity (CBFV) changes during TTT. Two measures were used to compare the results, namely correlation coefficient analysis (nMxa) and MSE. The first part of this study has concluded that the ratio of the low frequency power to total power of PSD, and MSE methods are better than DFA to distinguish the difference between normal controls and patients groups. While in the second part, the nMxa of the three stages moving average window is better than the nMxa with all three stages together. Furthermore the analysis of BP data using MSE is better than CBFV data.The Stroke Center and Department of Neurology, National Taiwan University, National Science Council in Taiwan, and the Center for Dynamical Biomarkers
and Translational Medicine, National Central University, which is sponsored by National Science Council and Min-Sheng General Hospital Taoyuan
Inclusion, universal design and universal design for learning in higher education : South Africa and the United States
CITATION: Dalton, E. M., et al. 2019. Inclusion, universal design and universal design for learning in higher education : South Africa and the United States. African Journal of Disability, 8:a519, doi:10.4102/ajod.v8i0.519.The original publication is available at https://ajod.orgAround the world, institutions of higher education are recognising their responsibilities to achieve the full inclusion of individuals with differing needs and/or disabilities. The frameworks of universal design (UD) and universal design for learning (UDL) offer unique ways to build inclusiveness in our systems. The role of UD and UDL to strengthen successful inclusion of persons with differing needs in higher education programmes is presented from literature, inclusive of national and international policies and resources. Examples from South African and US institutions of higher learning are shared. Discussions of online accessibility, environmental issues, professional development, barriers to inclusion and recommendations for future development in an international context provide a vision for developing inclusive learning environments in higher education.https://ajod.org/index.php/ajod/article/view/519Publisher's versio
High unreported mortality in children and youth (<25 years) living with HIV who were lost to care from antiretroviral therapy programs in Southern Africa: results from a multi-country tracing study.
BACKGROUND
Antiretroviral therapy (ART) program mortality maybe underestimated if deceased patients are misclassified as lost.
METHODS
We used two-stage inverse probability weighting to account for probability of being: sampled for tracing and found by the tracer.
RESULTS
Among 680 children and youth aged <25 years on ART who were lost and traced in Southern Africa between October 2017-November 2019, estimated mortality was high at 9.1% (62/680). After adjusting for measured covariates and within-site clustering, mortality remained lower for young adults aged 20-24 years compared to infants aged <2years (adjusted Hazard ratio (aHR): 0.40 (95% confidence interval (CI): 0.31, 0.51)).
CONCLUSIONS
Our study confirms high unreported mortality in children and youth who are lost and the need for tracing to assess vital status among those who are lost to accurately report on program mortality
Differences in stream responsiveness between a tropical montane cloud forest and a tropical lowland rainforest
Tropical Montane Cloud Forests (TMCF) have unique hydrology considering their high moisture, steep headwater terrain, shallow soils, frequent precipitation, and the presence of horizontal precipitation. While the hydrology of Tropical Lowland Rainforests (TLRF) has been given due attention, TMCF in Malaysia have been less explored. This study compares stream responsiveness and peak flow dynamics between TLRF (substation Inobong, 5.33 ha) and TMCF (substation Alab, 8.53 ha) in Crocker Range, Sabah, Malaysia. Streams in both study site were instrumented with water level sensors and dataloggers, and meteorological stations that records data at 10-minute intervals. Two hydrograph metrices namely Tres (time taken from start of precipitation to hydrograph initiation) and Tpeak (time taken from start of hydrograph response to peak discharge) were assessed via a combination of the Mann-Whitney test and ANCOVA. TMCF took a longer time to achieve peak water level (mean Tpeak=143 mins) compared to TLRF (mean Tpeak=118 mins). Average rainfall intensity (Pi) was negatively correlated with Tpeak. Tres was higher in TMCF (mean=141 mins) than in TLRF (mean=51 mins) and was not affected by P or Pi. Understanding such hydrological dynamics in TMCF is important for better headwater resource management and for flood prevention
Moderate beer consumption does not change early or mature atherosclerosis in mice
BACKGROUND: Although the consumption of wine in particular has been associated with a lower risk of atherothrombotic cardiovascular disease, systematic reviews differ as to the relative protective effect of beer, wine and spirits. Two previous studies showed that red wine reduces fatty streak formation (early atherosclerosis) but not mature atherosclerosis in apolipoprotein (apo) E-deficient (apoE-/-) mice. AIM OF THE STUDY: To determine whether a moderate beer intake would affect early and mature atherosclerotic lesion formation using control C57BL/6 and apoE-/- mice, respectively, as models. METHODS: Control C57BL/6 and apoE-/- mice were randomized to receive either water, ethanol, mild beer, dark beer or ethanol-free beer. The level of beer was designed to approximate the alcohol intake currently believed to be beneficial in reducing human vascular risk. Control C57BL/6 mice were fed a Western diet for 24 weeks, and apoE-/- mice a chow diet for 12 weeks. At the end of the trial period, mice were euthanized and atherosclerotic lesions quantified. Plasma lipid concentrations were also measured. RESULTS: The amount of atherosclerosis and average number of lesions in the proximal aortic region did not differ among groups in control C57BL/6 mice (p = 0.32 and p = 0.29, respectively) and apoE-/- mice (p = 0.19 and p = 0.59, respectively). No consistent differences were observed in plasma lipid and lipoprotein concentrations among water, ethanol and beer groups. CONCLUSIONS: Moderate beer consumption does not change the development of early or mature atherosclerosis in mice. Our findings do not support the hypothesis of an anti-atherogenic effect of beer. Other potential protective actions of moderate beer consumption such as plaque stabilization, a reduction in plaque intrinsic thrombogenicity, or a reduction in the systemic propensity to thrombosis, remain to be studied
- …