1,857,883 research outputs found
Degree of Sequentiality of Weighted Automata
Weighted automata (WA) are an important formalism to describe quantitative properties. Obtaining equivalent deterministic machines is a longstanding research problem. In this paper we consider WA with a set semantics, meaning that the semantics is given by the set of weights of accepting runs. We focus on multi-sequential WA that are defined as finite unions of sequential WA. The problem we address is to minimize the size of this union. We call this minimum the degree of sequentiality of (the relation realized by) the WA.
For a given positive integer k, we provide multiple characterizations of relations realized by a union of k sequential WA over an infinitary finitely generated group: a Lipschitz-like machine independent property, a pattern on the automaton (a new twinning property) and a subclass of cost register automata. When possible, we effectively translate a WA into an equivalent union of k sequential WA. We also provide a decision procedure for our twinning property for commutative computable groups thus allowing to compute the degree of sequentiality. Last, we show that these results also hold for word transducers and that the associated decision problem is PSPACE
-complete
The marine protected area planning process in Washington state: Recommendations for increased effectiveness
In Washington State, the Department of Natural Resources (WA DNR) is responsible for managing state-owned aquatic lands. Aquatic reserves are one of many Marine Protected Area (MPA) designations in WA State that aim to protect sensitive aquatic and ecological habitat. We analyzed the designation and early planning processes of WA State aquatic reserves, identified gaps in the processes, and recommend action to improve the WA State aquatic reserve early planning approach. (PDF contains 4 pages
The Defense Of Oral Interaction In The Midst Of Whatsapp Use In The Learning Environment
This research aimed to explain the defense of oral interactions in the presence of information and communication technologies such as WhatsApp (WA) as well as to explore some of the positive contributions of WA used in building the Real Life Communication, especially in the learning environment. By applying the Exploratory design, this research involved 4 participants from various educational backgrounds as a purposively selected data source indicated as WA users at once. Data were collected through Focus Group Discussion, Interview, and Observation and analyzed by several stages i.e. data reduction, displaying data, categorizing, and verifying and concluding. The results showed that oral interactions can decrease both in the language community and learning environment as the dominant use of WA that is not wise. Nevertheless, the use of WA applications also had some positive contributions in building a real relationship. Finally, the assumption that the negative impact of using the WA application should be able to change the mindset and positive attitude of the scholars in initiating and defending an oral interaction in the learning environment
Pharmacological levels of withaferin A (Withania somnifera) trigger clinically relevant anticancer effects specific to triple negative breast cancer cells
Withaferin A (WA) isolated from Withania somnifera (Ashwagandha) has recently become an attractive phytochemical under investigation in various preclinical studies for treatment of different cancer types. In the present study, a comparative pathway-based transcriptome analysis was applied in epithelial-like MCF-7 and triple negative mesenchymal MDA-MB-231 breast cancer cells exposed to different concentrations of WA which can be detected systemically in in vivo experiments. Whereas WA treatment demonstrated attenuation of multiple cancer hallmarks, the withanolide analogue Withanone (WN) did not exert any of the described effects at comparable concentrations. Pathway enrichment analysis revealed that WA targets specific cancer processes related to cell death, cell cycle and proliferation, which could be functionally validated by flow cytometry and real-time cell proliferation assays. WA also strongly decreased MDA-MB-231 invasion as determined by single-cell collagen invasion assay. This was further supported by decreased gene expression of extracellular matrix-degrading proteases (uPA, PLAT, ADAM8), cell adhesion molecules (integrins, laminins), pro-inflammatory mediators of the metastasis-promoting tumor microenvironment (TNFSF12, IL6, ANGPTL2, CSF1R) and concomitant increased expression of the validated breast cancer metastasis suppressor gene (BRMS1). In line with the transcriptional changes, nanomolar concentrations of WA significantly decreased protein levels and corresponding activity of uPA in MDA-MB-231 cell supernatant, further supporting its anti-metastatic properties. Finally, hierarchical clustering analysis of 84 chromatin writer-reader-eraser enzymes revealed that WA treatment of invasive mesenchymal MDA-MB-231 cells reprogrammed their transcription levels more similarly towards the pattern observed in non-invasive MCF-7 cells. In conclusion, taking into account that sub-cytotoxic concentrations of WA target multiple metastatic effectors in therapy-resistant triple negative breast cancer, WA-based therapeutic strategies targeting the uPA pathway hold promise for further (pre)clinical development to defeat aggressive metastatic breast cancer
Experimental Limits on Weak Annihilation Contributions to b → ulv Decays
We present the first experimental limits on high-q^2 contributions to charmless semileptonic B decays of the form expected from the weak annihilation (WA) decay mechanism. Such contributions could bias determinations of |V_(ub)| from inclusive measurements of B→X_ulν. Using a wide range of models based on available theoretical input we set a limit of Γ_(WA)/Γ_(b→u) <7.4% (90% confidence level) on the WA fraction, and assess the impact on previous inclusive determinations of |V_(ub)|
Three notes on Laufer's law
Facets of both Old Tibetan and Old Burmese phonology pose problems for the generalisation, known as Laufer‘s law, that -wa- in in Written Burmese corresponds to -o- in Written Tibetan. Some Tibetan words retain the sequence -wa, appearing to contradict Laufer‘s law. Some Written Burmese words with -wa- originate from Old Burmese words written with -o-. To account for these anomalies and the Chinese cognates of the lexemes involved, Laufer‘s law must be understood as the product of four separate sound changes
Error Analysis and Correction for Weighted A*'s Suboptimality (Extended Version)
Weighted A* (wA*) is a widely used algorithm for rapidly, but suboptimally,
solving planning and search problems. The cost of the solution it produces is
guaranteed to be at most W times the optimal solution cost, where W is the
weight wA* uses in prioritizing open nodes. W is therefore a suboptimality
bound for the solution produced by wA*. There is broad consensus that this
bound is not very accurate, that the actual suboptimality of wA*'s solution is
often much less than W times optimal. However, there is very little published
evidence supporting that view, and no existing explanation of why W is a poor
bound. This paper fills in these gaps in the literature. We begin with a
large-scale experiment demonstrating that, across a wide variety of domains and
heuristics for those domains, W is indeed very often far from the true
suboptimality of wA*'s solution. We then analytically identify the potential
sources of error. Finally, we present a practical method for correcting for two
of these sources of error and experimentally show that the correction
frequently eliminates much of the error.Comment: Published as a short paper in the 12th Annual Symposium on
Combinatorial Search, SoCS 201
Improving fertiliser management: redefining the relationship between soil tests and crop responses for wheat in WA
Most soils in Western Australia (WA) are highly weathered with very low levels of phosphorus. WA soils initially contained adequate indigenous soil potassium for cropping but removal of potassium over time in harvested grain has gradually resulted in the some soils becoming potassium-deficient for grain production.
Fertiliser costs represent a significant part of the variable costs of growing crops in WA. Chen et al. (2009) identified the need for updated soil test interpretations due to substantial changes in farming systems, fertiliser practices and crop yield potential. The aims of this study were (1) to compile experimental data containing the standard soil test measurements and observed wheat crop yield responses for both nil and fertilised treatments across different soil types and seasons from published or unpublished sources, and (2) to critically analyse soil test-crop response relationships to derive better critical soil test values in soils and environments suitable for wheat grain production in WA
- …