1 |
Visualisation and animation of concurrent systems specified in CSPGreen, Mark January 2002 (has links)
No description available.
|
2 |
Probabilities and priorities in timed CSPLowe, Gavin January 1993 (has links)
No description available.
|
3 |
On Communicating Automata with Bounded ChannelsGenest, Blaise, Kuske, Dietrich, Muscholl, Anca 17 January 2019 (has links)
We review the characterization of communicating finite-state machines whose behaviors have universally or existentially bounded channels. These results rely on the theory of Mazurkiewicz traces. We investigate the question whether channel bound conditions are decidable for a given communicating finite-state machine.
|
4 |
The evolution of the PCSC methodology and its toolsetElamvazuthi, Chandran January 1995 (has links)
No description available.
|
5 |
Utenos kūno kultūros ir sporto centro (KKSC) organizacijos ugdymo problematika: darbuotojų vaidmenys ir jų elgsena bendraujant grupėje / The problem of developing organization of Utena physical culture and sport centre (PCSC): the roles of workers and their behavior communicating in groupTrinskienė, Lina 08 June 2006 (has links)
When people are communicating, working together it is necessary to coordinate constantly intercommunication and understanding. It is very important to know that every person is individuality besides the situation can provoke one or other way of behavior. Knowledge of roles in the group can help to reach the more effective communication also the cooperation in groups.
The purpose of work. To survey the roles of workers of Utena physical culture and sport center and their behavior in groups and in the different contact situations.
100 workers of Utena physical culture and sport centre were questioned.
Conclusions. 1. After setting the dominant roles of Utena PCSC workers in the season and in other time it can be seen that dominated the roles of Company worker (20,48 and 21,48 percent), of Team worker (20,82 and 19,11 percent). The distinct were the roles of Performer/Finishing person (18,77 and 17,75 percent), Resources investigator (11,43 and 12,63 percent). Not very distinct were the roles of Observer – assessor (10,24 and 9,9 percent), Former (8,53 and 7,68 percent), Inspirer (5,12 and 6,14 percent), President (4,61 and 4,95 percent).
During the season and not mostly dominated the roles of Company worker and Team worker. The people playing these roles working together encourage the harmony of group and were the team motivators (Everard and Morris, 1997).
2. We established that for Utena PCSC workers in season were mostly acceptable the Fifth and Fourth alternatives –... [to full text]
|
6 |
Evaluating information presentation strategies for spoken dialogue systemsWinterboer, Andi January 2009 (has links)
A common task for spoken dialogue systems (SDS) is to help users select a suitable option (e.g., flight, hotel, restaurant) from the set of options available. When the number of options is small, they can simply be presented sequentially. However, as the number of options increases, the system must have strategies for helping users browse the space of available options. In this thesis, I compare two approaches to information presentation in SDS: (1) the summarize and refine (SR) approach (Polifroni et al., 2003; Polifroni, 2008) in which the summaries are generated by clustering the options based on attributes that lead to the smallest number of clusters, and (2) the user-model based summarize and refine (UMSR) approach (Demberg, 2005; Demberg and Moore, 2006) which employs a user model to cluster options based on attributes that are relevant to the user and uses coherence markers (e.g., connectives, discourse cues, adverbials) to highlight the trade-offs among the presented items. Prior work has shown that users prefer approaches to information presentation that take the user’s preferences into account (e.g., Komatani et al., 2003;Walker et al., 2004; Demberg and Moore, 2006). However, due to the complexity of building a working end-to-end SDS, these studies employed an ”overhearer” evaluation methodology, in which participants read or listened to pre-prepared dialogues, thus limiting evaluation criteria to users’ perceptions (e.g., informativeness, overview of options, and so on). In order to examine whether users prefer presentations based on UMSR when they were actively interacting with a dialogue system, and to measure the effectiveness and efficiency of the two approaches, I compared them in a Wizard-of-Oz experiment. I found that in terms of both task success and dialogue efficiency the UMSR approach was superior to the SR approach. In addition, I found that users also preferred presentations based on UMSR in the interactive mode. SDS are typically developed for situations in which the user’s hands and eyes are busy. I hypothesized that the benefits of pointing out relationships among options (i.e., trade-offs) in information presentation messages outweighs the costs of processing more complex sentences. To test this hypothesis, I performed two dual task experiments comparing the two approaches to information presentation in terms of their effect on cognitive load. Again, participants performed better with presentations based on the UMSR algorithm in terms of both dialogue efficiency and task success, and I found no detrimental effect on performance of the primary task. Finally, I hypothesized that one of the main reasons why UMSR is more efficient is because it uses coherence markers to highlight relations (e.g., trade-offs) between options and attributes. To test this hypothesis, I performed an eye-tracking experiment in which participants read presentations with and without these linguistic devices, and answered evaluation and comparison questions to measure differences in item recall. In addition, I used reading times to examine comprehension differences between the two information presentation strategies. I found that the linguistic devices used in UMSR indeed facilitated item recall, with no penalty in terms of comprehension cost. Thus, in this thesis I showed that an approach to information presentation that employs a user model and uses linguistic devices such as coherence markers to highlight trade-offs among the presented items improves information browsing. User studies demonstrated that this finding also applies to situations where users are performing another demanding task simultaneously.
|
7 |
Communicating Double Uterus With Obstructed Hemivagina and Subsequent Abscess Formation: A Case ReportOlsen, M. E., Breuel, K. F., Thatcher, S. S. 01 January 1995 (has links)
Background: Communicating double uterine anomalies are defined as mullerian defects which involve two hemiuteri with communication between the uterine halves. Nine subcategories of communicating uterine anomalies have been described; only two of these subcategories are associated with hemivaginal obstruction. Case: An 11-year-old white female was brought to the Emergency Department with fever and acute pelvic pain. This condition was found to be caused by abscess formation behind an obstructed left hemivagina with involvement of a communicating double uterine anomaly. Conclusion: To our knowledge, this is the first case report involving a communicating double uterine anomaly in which fever was a presenting symptom.
|
8 |
Successful Pregnancy in an Adolescent Woman With a Communicating Double Uterine AnomalySavitski, J. L., Olsen, M. E. 27 December 2001 (has links)
Background: Women with communicating double uterine anomalies are at increased risk for obstetric complications, including early pregnancy loss, preterm delivery, and breech presentation. We present the pregnancy of a woman with a previously diagnosed communicating double uterine anomaly. Case: An 18-yr-old white female with a previous diagnosis at age 11 of a communicating double uterus, double cervix, and obstructed left hemivagina was followed during the course of her pregnancy. She experienced no complications until 36 6/7 weeks, when she was found to have signs and symptoms of mild preeclampsia. The fetus was in a breech presentation and a cesarean section was performed. Two hemiuteri were identified intraoperatively. The communication was not visualized. A viable male infant was delivered without complications. Conclusion: This patient represents only the sixth report of successful pregnancy in a woman with a Toaff type 5A communicating uterine anomaly.
|
9 |
The NHS Health Check programme: insights from a qualitative study of patientsIsmail, Hanif, Atkin, K. 03 March 2015 (has links)
No / To provide an insight into the process of patients receiving
Health Checks and to determine the extent to which patients
were supported to reduce the risks of developing cardiovascular
disease through behaviour change.
Semi-structured qualitative interviews were undertaken
with 45 patients about their initial experiences of undertaking a
Health Check. They were followed up 1 year later to assess
whether the behavioural changes reported after the Health Check
had been maintained.
Patients expressed a need for individualized support in
order to stay motivated and to adopt long-term diet and lifestyle
changes.
Those involved in the delivery of the programme need
to adopt a consistent approach in terms of explaining the purpose
of the Health Check, communicating risk and consider the challenges
and the barriers that influence behaviour change. / National Institute for Health Research' Research for Patient Benefit Programme. Grant Number: PB-PG-0609-19169. University of York
|
10 |
Modelling speech dynamics with trajectory-HMMsZhang, Le January 2009 (has links)
The conditional independence assumption imposed by the hidden Markov models (HMMs) makes it difficult to model temporal correlation patterns in human speech. Traditionally, this limitation is circumvented by appending the first and second-order regression coefficients to the observation feature vectors. Although this leads to improved performance in recognition tasks, we argue that a straightforward use of dynamic features in HMMs will result in an inferior model, due to the incorrect handling of dynamic constraints. In this thesis I will show that an HMM can be transformed into a Trajectory-HMM capable of generating smoothed output mean trajectories, by performing a per-utterance normalisation. The resulting model can be trained by either maximisingmodel log-likelihood or minimisingmean generation errors on the training data. To combat the exponential growth of paths in searching, the idea of delayed path merging is proposed and a new time-synchronous decoding algorithm built on the concept of token-passing is designed for use in the recognition task. The Trajectory-HMM brings a new way of sharing knowledge between speech recognition and synthesis components, by tackling both problems in a coherent statistical framework. I evaluated the Trajectory-HMM on two different speech tasks using the speaker-dependent MOCHA-TIMIT database. First as a generative model to recover articulatory features from speech signal, where the Trajectory-HMM was used in a complementary way to the conventional HMM modelling techniques, within a joint Acoustic-Articulatory framework. Experiments indicate that the jointly trained acoustic-articulatory models are more accurate (having a lower Root Mean Square error) than the separately trained ones, and that Trajectory-HMM training results in greater accuracy compared with conventional Baum-Welch parameter updating. In addition, the Root Mean Square (RMS) training objective proves to be consistently better than the Maximum Likelihood objective. However, experiment of the phone recognition task shows that the MLE trained Trajectory-HMM, while retaining attractive properties of being a proper generative model, tends to favour over-smoothed trajectories among competing hypothesises, and does not perform better than a conventional HMM. We use this to build an argument that models giving a better fit on training data may suffer a reduction of discrimination by being too faithful to the training data. Finally, experiments on using triphone models show that increasing modelling detail is an effective way to leverage modelling performance with little added complexity in training.
|
Page generated in 0.0886 seconds