Relating goal scheduling, precedence, and memory management in and-parallel execution of logic programs

The interactions among three important issues involved in the implementation of logic programs in parallel (goal scheduling, precedence, and memory management) are discussed. A simplified, parallel memory management model and an efficient, load-balancing goal scheduling strategy are presented. It is shown how, for systems which support "don't know" non-determinism, special care has to be taken during goal scheduling if the space recovery characteristics of sequential systems are to be preserved. A solution based on selecting only "newer" goals for execution is described, and an algorithm is proposed for efficiently maintaining and determining precedence relationships and variable ages across parallel goals. It is argued that the proposed schemes and algorithms make it possible to extend the storage performance of sequential systems to parallel execution without the considerable overhead previously associated with it. The results are applicable to a wide class of parallel and coroutining systems, and they represent an efficient alternative to "all heap" or "spaghetti stack" allocation models.

An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

The term "Logic Programming" refers to a variety of computer languages and execution models which are based on the traditional concept of Symbolic Logic. The expressive power of these languages offers promise to be of great assistance in facing the programming challenges of present and future symbolic processing applications in Artificial Intelligence, Knowledge-based systems, and many other areas of computing. The sequential execution speed of logic programs has been greatly improved since the advent of the first interpreters. However, higher inference speeds are still required in order to meet the demands of applications such as those contemplated for next generation computer systems. The execution of logic programs in parallel is currently considered a promising strategy for attaining such inference speeds. Logic Programming in turn appears as a suitable programming paradigm for parallel architectures because of the many opportunities for parallel execution present in the implementation of logic programs. This dissertation presents an efficient parallel execution model for logic programs. The model is described from the source language level down to an "Abstract Machine" level suitable for direct implementation on existing parallel systems or for the design of special purpose parallel architectures. Few assumptions are made at the source language level and therefore the techniques developed and the general Abstract Machine design are applicable to a variety of logic (and also functional) languages. These techniques offer efficient solutions to several areas of parallel Logic Programming implementation previously considered problematic or a source of considerable overhead, such as the detection and handling of variable binding conflicts in AND-Parallelism, the specification of control and management of the execution tree, the treatment of distributed backtracking, and goal scheduling and memory management issues, etc. A parallel Abstract Machine design is offered, specifying data areas, operation, and a suitable instruction set. This design is based on extending to a parallel environment the techniques introduced by the Warren Abstract Machine, which have already made very fast and space efficient sequential systems a reality. Therefore, the model herein presented is capable of retaining sequential execution speed similar to that of high performance sequential systems, while extracting additional gains in speed by efficiently implementing parallel execution. These claims are supported by simulations of the Abstract Machine on sample programs.

Membrane Systems Working with the PFactor: Best Strategy to Solve Complex Problems.

A membrane system is a massive parallel system, which is inspired by the living cells when processing information. As a part of unconventional computing, membrane systems are proven to be effective in solving complex problems. A new factor is introduced. This factor can decide whether a technique is worthwhile being used or not. The use of this factor provides the best chances for selecting the strategy for the rules application phase. Referring to the “best” is in reference to the one that reduces execution time within the membrane system. A pre-analysis of the membrane system determines the P-factor, which in return advises the optimal strategy to use. In particular, this paper compares the use of two strategies based on the P-factor and provides results upon the application of them. The paper concludes that the P-factor is an effective indicator for choosing the right strategy to implement the rules application phase in membrane systems.

Interrogating single-sex classes as a strategy for addressing boys' educational and social needs

This paper explores the policy of single-sex classes that is currently being adopted in some schools as a strategy for addressing boys' educational and social needs. It draws on research in one Australian government, coeducational primary school to examine teachers' and students' experiences of this strategy. Interviews with the principal, male and female teachers responsible for teaching the single-sex classes and the students involved in these classes are used to illustrate the impact and effect of the strategy on pedagogical practices in this particular school. The data are used to raise critical questions about the impact and effects of teachers' pedagogical practices in light of the current literature and research about single-sex classes. In this case study, it was found that teachers had a tendency to modify their pedagogical practices and the curriculum to suit stereotypical constructions about boys' and girls' supposed oppositional orientations to learning. It is concluded that teacher knowledges and assumptions about gender play an important role in the execution of their pedagogies in the single-sex classroom.

On the execution of collaborative business processes

Management of collaborative business processes that span multiple business entities has emerged as a key requirement for business success. These processes are embedded in sets of rules describing complex message-based interactions between parties such that if a logical expression defined on the set of received messages is satisfied, one or more outgoing messages are dispatched. The execution of these processes presents significant challenges since each contentrich message may contribute towards the evaluation of multiple expressions in different ways and the sequence of message arrival cannot be predicted. These challenges must be overcome in order to develop an efficient execution strategy for collaborative processes in an intensive operating environment with a large number of rules and very high throughput of messages. In this paper, we present a discussion on issues relevant to the evaluation of such expressions and describe a basic query-based method for this purpose, including suggested indexes for improved performance. We conclude by identifying several potential future research directions in this area. © 2010 IEEE. All rights reserved

Gondolatok az innováció és a stratégia összefüggéseiről (Remarks for correlations between innovation and strategy)

Mára az innováció a versenyelőny megszerzésének és megőrzésének legfőbb forrása, ezért az innovációs tevékenységet övező menedzselési feladatok egyre komplexebbek és sokrétűbbek lettek. Az innováció nem csupán a véletlen eredménye, ezért ha a vállalat érdemi erőfeszítéseket tesz az innovációvezérelt szervezet kialakítása érdekében, akkor vélhetőleg sikeresebben veszi a versenypiaci akadályokat, ami hosszú távon eredményesebb vállalkozást eredményezhet. A cikk elsődleges célja, hogy rávilágítson az innováció és a stratégia kapcsolatára. A tanulmány rendszerező jelleggel tekinti át a nemzetközi és hazai szakirodalmat, annak érdekében, hogy bemutassa az innováció stratégiai jelentőségét. A cikk eredményeként innovációs alapstratégiákat fogalmaz meg, amelyek segítenek megérteni az innováció vállalati értékteremtésben betöltött szerepét. A tanulmány továbbá rámutat azokra a fókuszterületekre, amelyek kiemelt relevanciával rendelkeznek az innováció menedzselése szempontjából. _____ Nowadays innovation is one of the most important sources of competitiveness, thus more and more attention turns on its execution. Innovation is not only the result of random development, it can be managed in order to make the entire innovation process more predictable and profitable. The aim of this article is to highlight the interconnections between innovation and strategy. The study systematizes the international and the domestic literature to get an overall picture about the current issues of innovation management. As a conclusion, the author tries to reveal the role of innovation in corporate value creation. Besides, he proposes further innovation strategies that can support a higher execution level in strategic innovation management.

Coaching or gaming? Implications of strategy choice for home based stroke rehabilitation

Background: The enduring aging of the world population and prospective increase of age-related chronic diseases urge the implementation of new models for healthcare delivery. One strategy relies on ICT (Information and Communications Technology) home-based solutions allowing clients to pursue their treatments without institutionalization. Stroke survivors are a particular population that could strongly benefit from such solutions, but is not yet clear what the best approach is for bringing forth an adequate and sustainable usage of home-based rehabilitation systems. Here we explore two possible approaches: coaching and gaming. Methods: We performed trials with 20 healthy participants and 5 chronic stroke survivors to study and compare execution of an elbow flexion and extension task when performed within a coaching mode that provides encouragement or within a gaming mode. For each mode we analyzed compliance, arm movement kinematics and task scores. In addition, we assessed the usability and acceptance of the proposed modes through a customized self-report questionnaire. Results: In the healthy participants sample, 13/20 preferred the gaming mode and rated it as being significantly more fun (p < .05), but the feedback delivered by the coaching mode was subjectively perceived as being more useful (p < .01). In addition, the activity level (number of repetitions and total movement of the end effector) was significantly higher (p <.001) during coaching. However, the quality of movements was superior in gaming with a trend towards shorter movement duration (p=.074), significantly shorter travel distance (p <.001), higher movement efficiency (p <.001) and higher performance scores (p <.001). Stroke survivors also showed a trend towards higher activity levels in coaching, but with more movement quality during gaming. Finally, both training modes showed overall high acceptance. Conclusions: Gaming led to higher enjoyment and increased quality in movement execution in healthy participants. However, we observed that game mechanics strongly determined user behavior and limited activity levels. In contrast, coaching generated higher activity levels. Hence, the purpose of treatment and profile of end-users has to be considered when deciding on the most adequate approach for home based stroke rehabilitation.

Coaching or gaming? Implications of strategy choice for home based stroke rehabilitation

Background: The enduring aging of the world population and prospective increase of age-related chronic diseases urge the implementation of new models for healthcare delivery. One strategy relies on ICT (Information and Communications Technology) home-based solutions allowing clients to pursue their treatments without institutionalization. Stroke survivors are a particular population that could strongly benefit from such solutions, but is not yet clear what the best approach is for bringing forth an adequate and sustainable usage of home-based rehabilitation systems. Here we explore two possible approaches: coaching and gaming. Methods: We performed trials with 20 healthy participants and 5 chronic stroke survivors to study and compare execution of an elbow flexion and extension task when performed within a coaching mode that provides encouragement or within a gaming mode. For each mode we analyzed compliance, arm movement kinematics and task scores. In addition, we assessed the usability and acceptance of the proposed modes through a customized self-report questionnaire. Results: In the healthy participants sample, 13/20 preferred the gaming mode and rated it as being significantly more fun (p < .05), but the feedback delivered by the coaching mode was subjectively perceived as being more useful (p < .01). In addition, the activity level (number of repetitions and total movement of the end effector) was significantly higher (p <.001) during coaching. However, the quality of movements was superior in gaming with a trend towards shorter movement duration (p=.074), significantly shorter travel distance (p <.001), higher movement efficiency (p <.001) and higher performance scores (p <.001). Stroke survivors also showed a trend towards higher activity levels in coaching, but with more movement quality during gaming. Finally, both training modes showed overall high acceptance. Conclusions: Gaming led to higher enjoyment and increased quality in movement execution in healthy participants. However, we observed that game mechanics strongly determined user behavior and limited activity levels. In contrast, coaching generated higher activity levels. Hence, the purpose of treatment and profile of end-users has to be considered when deciding on the most adequate approach for home based stroke rehabilitation.

Cluster Analysis To Identify Elderly People's Profiles: A Healthcare Strategy Based On Frailty Characteristics.

The new social panorama resulting from aging of the Brazilian population is leading to significant transformations within healthcare. Through the cluster analysis strategy, it was sought to describe the specific care demands of the elderly population, using frailty components. Cross-sectional study based on reviewing medical records, conducted in the geriatric outpatient clinic, Hospital de Clínicas, Universidade Estadual de Campinas (Unicamp). Ninety-eight elderly users of this clinic were evaluated using cluster analysis and instruments for assessing their overall geriatric status and frailty characteristics. The variables that most strongly influenced the formation of clusters were age, functional capacities, cognitive capacity, presence of comorbidities and number of medications used. Three main groups of elderly people could be identified: one with good cognitive and functional performance but with high prevalence of comorbidities (mean age 77.9 years, cognitive impairment in 28.6% and mean of 7.4 comorbidities); a second with more advanced age, greater cognitive impairment and greater dependence (mean age 88.5 years old, cognitive impairment in 84.6% and mean of 7.1 comorbidities); and a third younger group with poor cognitive performance and greater number of comorbidities but functionally independent (mean age 78.5 years old, cognitive impairment in 89.6% and mean of 7.4 comorbidities). These data characterize the profile of this population and can be used as the basis for developing efficient strategies aimed at diminishing functional dependence, poor self-rated health and impaired quality of life.

Convergence Of A Specialized Root Trait In Plants From Nutrient-impoverished Soils: Phosphorus-acquisition Strategy In A Nonmycorrhizal Cactus.

In old, phosphorus (P)-impoverished habitats, root specializations such as cluster roots efficiently mobilize and acquire P by releasing large amounts of carboxylates in the rhizosphere. These specialized roots are rarely mycorrhizal. We investigated whether Discocactus placentiformis (Cactaceae), a common species in nutrient-poor campos rupestres over white sands, operates in the same way as other root specializations. Discocactus placentiformis showed no mycorrhizal colonization, but exhibited a sand-binding root specialization with rhizosheath formation. We first provide circumstantial evidence for carboxylate exudation in field material, based on its very high shoot manganese (Mn) concentrations, and then firm evidence, based on exudate analysis. We identified predominantly oxalic acid, but also malic, citric, lactic, succinic, fumaric, and malonic acids. When grown in nutrient solution with P concentrations ranging from 0 to 100 μM, we observed an increase in total carboxylate exudation with decreasing P supply, showing that P deficiency stimulated carboxylate release. Additionally, we tested P solubilization by citric, malic and oxalic acids, and found that they solubilized P from the strongly P-sorbing soil in its native habitat, when the acids were added in combination and in relatively low concentrations. We conclude that the sand-binding root specialization in this nonmycorrhizal cactus functions similar to that of cluster roots, which efficiently enhance P acquisition in other habitats with very low P availability.

Triboelectric Effect As A New Strategy For Sealing And Controlling The Flow In Paper-based Devices.

We reported here for the first time that triboelectric charges on PET sheets can be used to seal and control the flow rate in paper-based devices. The proposed method exhibits simplicity and low cost, provides reversible sealing and minimizes the effect of sample evaporation.

Inequalities in access and utilization of dental services: a cross-sectional study in an area covered by the Family Health Strategy

This cross-sectional study aimed to investigate the presence of inequalities in the access and use of dental services for people living in the coverage area of the Family Health Strategy (FHS) in Ponta Grossa, Paraná State, Brazil, and to assess individual determinants related to them. The sample consisted of 747 individuals who answered a pre-tested questionnaire. Data analysis was performed by chi-square test and Poisson regression analysis, obtaining explanatory models for recent use and, by limiting the analysis to those who sought dental care, for effective access. Results showed that 41% of the sample had recent dental visits. The lowest visit rates were observed among preschoolers and elderly people. The subjects who most identified the FHS as a regular source of dental care were children. Besides age, better socioeconomic conditions and the presence of a regular source of dental care were positively associated to recent dental visits. We identified inequalities in use and access to dental care, reinforcing the need to promote incentives to improve access for underserved populations.

Nutritive value and physical characteristics of Xaraes palisadegrass as affected by grazing strategy

The aim of this study was to ascertain whether the defoliation frequency based on a fixed rest period would generate variable sward structural and physiological conditions at each subsequent grazing event. The relative importance of the physiological age was established in comparison with the chronological age in the determination of the forage nutritive value of Xaraes palisadegrass [Brachiaria brizantha (Hochst ex A. RICH.) STAPF. cv. Xaraes]. Two grazing frequencies were defined by light interception (LI) at initiation of grazing (95% LI - ""target grazing"" [TG] or 100% LI - ""delayed grazing"" [DG]) and one based on chronological time, grazing every 28 days (28-d). Forage produced under the TG schedule was mostly leaves (93%) with a higher concentration of crude protein (CP; 138 g/kg in the whole forage), a lower concentrations of neutral detergent fibre (NDF) in the stems (740 g/kg), and higher in vitro dry matter digestibility (IVDMD) of the leaves (690 g/kg), compared to the other treatments. Lower grazing frequency strategies (DG and 28-d) resulted in forage with higher proportions of stems (10 and 9%, respectively). Strategies based on light interception did not produce pre-graze forage with a uniform nutritive value, as the indicators varied across grazing cycles. The treatment based on fixed days of rest did not result in uniformity.

Leukotriene B(4)-loaded microspheres: a new therapeutic strategy to modulate cell activation

Background: Leukotriene B(4) (LTB(4)) is a potent inflammatory mediator that also stimulates the immune response. In addition, it promotes polymorphonuclear leukocyte phagocytosis, chemotaxis, chemokinesis and modulates cytokines release. Regarding chemical instability of the leukotriene molecule, in the present study we assessed the immunomodulatory activities conferred by LTB(4) released from microspheres (MS). A previous oil-in-water emulsion solvent extraction-evaporation method was chosen to prepare LTB(4)-loaded MS. Results: In the mice cremasteric microcirculation, intraescrotal injection of 0.1 ml of LTB(4)-loaded MS provoked significant increases in leukocyte rolling flux, adhesion and emigration besides significant decreases in the leukocyte rolling velocity. LTB(4)-loaded MS also increase peroxisome proliferator-activated receptor-alpha (PPAR alpha) expression by murine peritoneal macrophages and stimulate them to generate nitrite levels. Monocyte chemoattractant protein-I (MCP-I) and nitric oxide (NO) productions were also increased when human umbilical vein and artery endothelial cells (HUVECs and HUAECs, respectively) were stimulated with LTB(4)-loaded MS. Conclusion: LTB(4)-loaded MS preserve the biological activity of the encapsulated mediator indicating their use as a new strategy to modulate cell activation, especially in the innate immune response.

Effect of performance level on pacing strategy during a 10-km running race

The aim of this study was to examine the influence of the performance level of athletes on pacing strategy during a simulated 10-km running race, and the relationship between physiological variables and pacing strategy. Twenty-four male runners performed an incremental exercise test on a treadmill, three 6-min bouts of running at 9, 12 and 15 km h(-1), and a self-paced, 10-km running performance trial; at least 48 h separated each test. Based on 10-km running performance, subjects were divided into terziles, with the lower terzile designated the low-performing (LP) and the upper terzile designated the high-performing (HP) group. For the HP group, the velocity peaked at 18.8 +/- A 1.4 km h(-1) in the first 400 m and was higher than the average race velocity (P < 0.05). The velocity then decreased gradually until 2,000 m (P < 0.05), remaining constant until 9,600 m, when it increased again (P < 0.05). The LP group ran the first 400 m at a significantly lower velocity than the HP group (15.6 +/- A 1.6 km h(-1); P > 0.05) and this initial velocity was not different from LP average racing velocity (14.5 +/- A 0.7 km h(-1)). The velocity then decreased non-significantly until 9,600 m (P > 0.05), followed by an increase at the end (P < 0.05). The peak treadmill running velocity (PV), running economy (RE), lactate threshold (LT) and net blood lactate accumulation at 15 km h(-1) were significantly correlated with the start, middle, last and average velocities during the 10-km race. These results demonstrate that high and low performance runners adopt different pacing strategies during a 10-km race. Furthermore, it appears that important determinants of the chosen pacing strategy include PV, LT and RE.