3,098 research outputs found
Permutation Games for the Weakly Aconjunctive -Calculus
We introduce a natural notion of limit-deterministic parity automata and
present a method that uses such automata to construct satisfiability games for
the weakly aconjunctive fragment of the -calculus. To this end we devise a
method that determinizes limit-deterministic parity automata of size with
priorities through limit-deterministic B\"uchi automata to deterministic
parity automata of size and with
priorities. The construction relies on limit-determinism to avoid the full
complexity of the Safra/Piterman-construction by using partial permutations of
states in place of Safra-Trees. By showing that limit-deterministic parity
automata can be used to recognize unsuccessful branches in pre-tableaux for the
weakly aconjunctive -calculus, we obtain satisfiability games of size
with priorities for weakly aconjunctive
input formulas of size and alternation-depth . A prototypical
implementation that employs a tableau-based global caching algorithm to solve
these games on-the-fly shows promising initial results
Consumersâ Trade-Off Between Relationship, Service Package, And Price: An Empirical Study In The Car Industry
The prime objective of our study is to assess whether consumer segments based on relational aspects, service aspects, or price aspects have different preferences concerning these three key decision making variables when buying a car. In addition, we assessed consumer segments resulting from simultaneously incorporating relationships, service package, and price. We investigated a large sample of Mitsubishi drivers in the Netherlands emphasizing consumersâ trade-off between dealer relationship, service package and price. Conjoint analysis showed that dealer relationships (as opposed to price) represent a very important decision making variable when buying a car and consumer preferences concerning relationships provide a useful instrument for segmenting markets. Cluster analyses on the basis of three aspects simultaneously revealed that some consumers do value relationships, while others emphasize the service package in their purchase, both opposed to the third segment that is most probably not inclined to be loyal to a car dealer at all.Our study clearly indicates that different consumer segments can be distinguished on the basis of preferences for relationships and service packages rather than on the basis of price. This knowledge enables car dealers to use their resources more effectively.marketing ;
Chemotherapy-induced peripheral neuropathy in cancer patients : a four-arm randomized trial on the effectiveness of electroacupuncture
Purpose. Chemotherapy-induced peripheral neuropathy (CIPN) is a common and dose-limiting side effect of cytostatic drugs. Since there are no proven therapeutic procedures against CIPN, we were interested to define the role of electroacupuncture (EA) from which preliminary data showed promising results. Methods. In a randomized trial with a group sequential adaptive design in patients with CIPN, we compared EA (LV3, SP9, GB41, GB34, LI4, LI11, SI3, and HT3; n=14) with hydroelectric baths (HB, n=14), vitamin B1/B6 capsules (300/300âmg daily; VitB, n=15), and placebo capsules (n=17). The statistical power in this trial was primarily calculated for proving EA only, so results of HB and VitB are pilot data. Results. CIPN complaints improved by 0.8 +- 1.2 (EA), 1.7 +- 1.7 (HB), 1.6 +- 2.0 (VitB), and 1.3 +- 1.3 points (placebo) on a 10-point numeric rating scale without significant difference between treatment groups or placebo. In addition no significant differences in sensory nerve conduction studies or quality of life (EORTC QLQ-C30) were found. Conclusions. The used EA concept, HB, and VitB were not superior to placebo. Since, contrary to our results, studies with different acupuncture concepts showed a positive effect on CIPN, the effect of acupuncture on CIPN remains unclear. Further randomized, placebo controlled studies seem necessary. This trial is registered with DRKS00004448
GTP-dependent Ca2+ release from rat liver microsomes Vesicle fusion is not required
AbstractThe GTP-dependent calcium release from rat liver microsomes is known to be promoted in the presence of colloids like polyethyleneglycol (PEG), polyvinylpyrrolidine, or albumin. Dawson et al. [(1987) Biochem. J. 244, 87â92] using the âfusogenâ PEG have concluded that both GTP-induced calcium efflux and the enhancement of InsP3-promoted calcium release in the presence of GTP could be attributed to a GTP-dependent vesicle fusion. Here, using the more physiological colloid albumin we report that GTP-induced calcium release from rat liver microsomes may not be linked to vesicle fusion
- âŠ