Miracle-dz/UniFAR-FTUs huggingface dataset:
Translation-based approaches to Conformant Planning

La planificacion conformante es el problema de encontrar una secuencia de acciones para lograr un objetivo en presencia de informacion incompleta sobre el estado inicial y en las transiciones entre estados, Aunque pocos problemas son de caracter puramente conformante, la posibilidad de encontrar planes conformantes es necesaria en planificacion con observaciones, donde las situaciones conformantes son un caso particular, y donde las relajaciones a planificacion conformante dan heuristicas utiles. En esta tesis atacamos el problema de la planificacion conformante con acciones deterministicas mediante dos formulaciones basadas en traducciones. Por un lado, proponemos una traduccion a logica proposicional y dos esquemas para obtener planes conformantes a partir de esta, uno basado en operaciones booleanas de projeccion y conteo de modelos, y otro basado en projeccion y satisfaccion proposicional. Por otro lado, introducimos traducciones que permiten transformar un problema de planificacion conformante en un problema de planificacion clasica que es luego resuelto usando planificadores clasicos. Tambien analizamos las propiedades formales de las traducciones y evaluamos el rendimiento de los planificadores obtenidos.
The Art of Mesoamerica: From Olmec to Aztec

An evocative survey of the art and architecture of ancient Mesoamerica, this book investigates the artistic achievements of the high Precolumbian civilizations--Olmec, Maya, Teotihuacan, Toltec, Aztec--as well as their less known contemporaries. Professor Miller takes us from the brightly colored paintings that dazzled Cortez and his men in 1519, to the mercurial rites of kingship that included warfare and blood sacrifice. A comprehensive guide to the history of the region, drawn on the research of explorers and archaeologists alike, the book is a perfect introduction for the student or traveler. 190 illus. , 20 in color.
Teaching Research: A Survey of Art Therapy Educators

Based on the American Art Therapy Association Research Committee's interest and support for learning how research is taught, a quantitative and qualitative survey of master's-level programs was conducted. Twenty-four of the 44 surveyed programs responded. Twenty-three (95.8%) of the respondents required a course of at least three credits, usually taught by doctoral-level faculty. Most programs indicated they taught several research methods, covered numerous course goals, and introduced multiple topics. Over half the programs indicated their goals were reviewing published research and formulating research questions; the integration of research and practice was selected the least. Qualitative research approaches (87.5%) were the primary orientation of most programs with quantitative approaches a close second (75%). Survey results revealed most educators perceived that students feared learning about research. Respondents commented that research training enhanced development of students as reflective practitioners, increased their marketable professional skills, and contributed to the development of new knowledge.
Functional status and CD4 count of patients living with HIV AIDS attending ART centre at tertiary care hospital of central India

Background: The present study was retrospective record based, conducted with the aim of assessing the functional status and CD4 count of patients living with HIV/AIDS attending the ART Centre in special reference to gender difference at tertiary care hospital of central India. Methods: Study subjects were people living with HIV/AIDS registered at ART centre at tertiary care hospital of central India in the past three years (1 Jan. 2011 to 31 Dec. 2013). The study duration was from September 2013 to January 2015. This study was conducted on 2042 PLHIV subjects whose records were available for study. Results: In our study there were 58.37% males, 42.4% female and 0.15% transgender. Majority of male 42.45% were between 35-44 years of age group whereas 36.95% females were between 25-34years of age group. Majority of males 22.16% were non agricultural labourer whereas females 78.32% were homemaker. Majority of males 37.41% were in the WHO clinical stage 3 whereas majority of females 36.70% were in stage 1 at the start of ART treatment. About 84.30% females and 76.9% male were working at the start of ART. Majority of males 31.12% and 38.79% had CD4 count between 51-150 at the time of ART registration and at the time of ART treatment respectively. Majority of males 42.62% and 29.34% had CD4 count >350 and between151-250 respectively. About 16.53 % males and 8.97% female were died at the time of data collection. Conclusions: In the study there were male preponderance with 75.26% males and 57.39% females were having CD4 count less than350/cumm at the time of registration respectively. Majority of our study subjects were working at the time of start of ART. The deaths among males were significantly more as compared to females.
Synthèse radiochronométrique concernant la séquence néolithique au Maroc.

Les sites neolithiques du Maroc ont fait l'objet de fouilles anciennes souvent imparfaitement publiees et, sauf exception, sans que des datations absolues aient ete realisees : Les Idoles, Mugharet el Alya, Oued Tahadart, Gar Kahal, Kaf taht el Ghar, Sar Soltane, Temara Les Contrebandiers, El Kiffen, Toulkine. En 1982, la Mission Prehistorique Francaise et l'Institut des Sciences de l'Archeologie et du Patrimoine du Maroc sont convenus de developper un programme de datations absolues. Tous les sites ont ete revises et echantillonnes tandis que certaines fouilles etaient reprises (Gar Kahal, Kaf taht el Ghar) et d'autres ouvertes (Temara El M'nasra). Afin de palier au manque de materiaux charbonneux et osseux fiables, on a recouru a la datation directe des ceramiques (thermoluminescence, Laboratoire de Physique Corpusculaire de l'Universite de Clermont-Ferrand II) et des sediments encaissants (T.L/O.S.L., Universite de Londres). A plusieurs reprises il a ete possible d'operer des croisements methodologiques a meme de renforcer la fiabilite des resultats obtenus : 14C/T.L. sur ceramique/O.S. L. a Skhirat-Rouazi ; 14C/T.L. /O.S. L. a l'Oued Tahadart ; 14C/T.L a Kaf taht el Ghar. En outre, dans deux cas ( Skhirat-Rouazi et Kaf taht el Ghar) il a ete procede a la mesure du taux de racemisation des acides amines de coquilles marine (Patella, Mytilus) et de gasteropodes continentaux (Helix) issus de niveaux archeologiques et faisant, concurremment, l'objet d'une datation par le radiocarbone. Les resultats sont coherents et en bon accord avec la position stratigraphique des echantillons, ouvrant ainsi de nouvelles perspectives de datation.
YOUNG SURVIVORS OF DISASTER: A META-ANALYTIC REVIEW OF MENTAL HEALTH INTERVENTIONS FOR CHILDREN AND THEIR FAMILIES

x INTRODUCTION. 1 Vulnerable Populations. 2 The Mental Health Impact of Disaster. 5 Factors that Influence Post-Disaster Functioning. Aspects of the Disaster. Aspects of the Child. Aspects Post-Disaster. Overview of Post-Disaster Interventions. Moderators of Intervention Effectiveness. A Conceptual Model. 8 9 10 13
INCIDENCE OF NONHEMOLYTIC TRANSFUSION REACTION DUE TO IMMUNOLOGICAL REACTIONS

蕁麻疹や発熱などの輸血副作用は日常の輸血においてしばしば経験される副作用である. しかしながら, 軽症のことが多いため病院輸血部門や血液センターへ報告されることは少ない. そのためこれらの輸血副作用の正確な頻度は分かっていない. 2005年の厚生労働省の“免疫学的輸血副作用の実態把握とその対応に関する研究”班では, 正確な免疫学的副作用頻度を把握するため実態調査を実施した. 2004年度の同班での輸血副作用報告体制の全国調査で, 輸血副作用をほぼ100%把握していると回答された216病院に, 免疫学的副作用の発症数の報告を依頼した. 調査期間は, 2004年1～6月と2005年1～6月の各半年間とした. 160病院 (回答率74%) より回答を得た. 調査期間中の血液製剤輸血バッグ数は, 赤血球製剤が365,513バッグ, 血小板製剤が129,741バッグ, 新鮮凍結血漿が182,460バッグであった. 副作用頻度は, 血小板製剤による蕁麻疹が最も頻度高く2. 76%, 2.79% (2004年, 2005年) であった. 次いで血小板製剤によるかゆみが0. 62%, 0.54%, 赤血球製剤による発熱が0. 41%, 0.40%, 血小板製剤による発熱が0. 35%, 0.34%などであった. 血小板製剤における白血球除去製剤導入前後で蕁麻疹や発熱などの副作用頻度に変化はなかった.
The practice politics of computerised information systems: a focus group study

Health care is changing with a speed and magnitude that few could have predicted. Health care itself and clinicians cannot be divorced from the technological changes that are integral to many people’s lives. Today, the average school child is computer literate, and many patients attend clinics and consultations armed with information about their condition and treatment downloaded from the internet. Information is prized currency and when the complexity of health care information is fully appreciated, the rationale behind moves towards increasing use of Computerised Patient Information Systems (CPIS) (Asbury 1995) becomes clearer. What is less clear, however, is how nurses understand and experience the use of such computerisation in their everyday practice.
Exploring Function and Aesthetics in Sonifications for Elite sports

The potential for real-time sonifications to enhance attention for specific movement sections in athletics has led to a growing interest from the elite sports community. Early examples of sonifications for swimming and (ergometer) rowing have demonstrated the functionality of this idea. These pioneering sport sonifications use simple sine-tones to achieve real-time responsiveness. However further improvements in technology will enable more complex sounds to be synthesised, opening up the design possibilities. During the COST-SID workshop on sonification, different design possibilities were explored using the rowing movement and data as a case study. The results identify the potential to include the motivational and physiological aspects of music and the richness of natural sounds. In further related work the initial sine-wave sonification was trialed in action with rowers on the water with improvements in speed demonstrating the effectiveness. Responses to a questionnaire about the sound indicate that functionality is a primary dimension in the aesthetics of a sonification in elite sports. The results from the workshop combined with the questionnaire identify many issues and raise many questions about function and aesthetics in sonifications designed specifically for elite sports applications.
Efficient and low-cost software defined radio on commodity hardware

As general purpose processors become faster, many signal processing functions that used to require special purpose hardware, are now feasible to perform in software. In wireless communications, this means we move towards the “ideal” software-defined radio (SDR), where we have an antenna and analog/digital converters, after which the signal is processed in software. Defining most of the functionality in software makes software defined radios very flexible, in that they can be reconfigured quickly to perform any task for which they have sufficient computational capacity. This thesis is composed of a number of studies into high-performance SDR, and very low-cost SDR. The first series of studies explore how well modern programmable general purpose processors are able to run typical signal processing tasks in the physical layer of a modern communications standard: DVB-T2. In the second series of studies, a radio spectrum monitoring system is built using very low-cost components, and some software. The first series of studies was initiated by an analysis of the DVB-T2 standard for digital television broadcasting. The most computationally complex signal processing functions of a DVB-T2 receiver were implemented on a graphics processing unit (GPU), and various central processing units (CPUs). The objective of these studies was to show that a real-time capable receiver for a modern standard such as DVB-T2 is feasible to implement completely in software on modern off-the-shelf computers. The second series of studies focuses on distributed radio frequency spectrum monitoring using very low-cost sensors. The sensors are based on cheap off-the-shelf hardware, which was never intended for spectrum monitoring. The nodes were instead adapted to the tasks of spectrum sensing and geolocation of transmitters by running specialized software.
Existe-t-il vraiment une atteinte de la cognition sociale dans la sclérose en plaques ?

Contexte : Certaines etudes ont retrouve une atteinte de la cognition sociale (CS) dans la sclerose en plaques (SEP), pathologie inflammatoire du systeme nerveux central. La CS est l'ensemble des processus cognitifs qui permettent les relations interpersonnelles. Une equipe francaise a developpe le "Protocole d’Evaluation de la Cognition Sociale de Bordeaux" (PECS-B) regroupant plusieurs dimensions de CS. Objectifs : Evaluer le PECS-B chez un groupe de patients SEP. Resultats : Soixante patients SEP ont ete inclus dont 30 de forme recurrente-remittente (RR), 15 de forme secondairement-progressive et 15 de forme primaire-progressive. Des difficultes au test d'interpretation du regard ont ete constatees chez les patients SEP RR, en conscience emotionnelle et alexithymie chez les patients SEP PP. L'atteinte a 3 tests de CS concerne des patients SEP tres cognitivement atteints. Conclusion : Le PECS-B applique aux patients SEP retrouve un trouble du traitement emotionnel. Une atteinte de la CS etait retrouvee chez les patients tres cognitivement atteints.
Efficient mechanisms to provide fault tolerance in interconnection networks for pc clusters

Actualmente, los clusters de PC son un alternativa rentable a los computadores paralelos. En estos sistemas, miles de componentes (procesadores y/o discos duros) se conectan a traves de redes de interconexion de altas prestaciones. Entre las tecnologias de red actualmente disponibles para construir clusters, InfiniBand (IBA) ha emergido como un nuevo estandar de interconexion para clusters. De hecho, ha sido adoptado por muchos de los sistemas mas potentes construidos actualmente (lista top500). A medida que el numero de nodos aumenta en estos sistemas, la red de interconexion tambien crece. Junto con el aumento del numero de componentes la probabilidad de averias aumenta dramaticamente, y asi, la tolerancia a fallos en el sistema en general, y de la red de interconexion en particular, se convierte en una necesidad. Desafortunadamente, la mayor parte de las estrategias de encaminamiento tolerantes a fallos propuestas para los computadores masivamente paralelos no pueden ser aplicadas porque el encaminamiento y las transiciones de canal virtual son deterministas en IBA, lo que impide que los paquetes eviten los fallos. Por lo tanto, son necesarias nuevas estrategias para tolerar fallos. Por ello, esta tesis se centra en proporcionar los niveles adecuados de tolerancia a fallos a los clusters de PC, y en particular a las redes IBA. En esta tesis proponemos y evaluamos varios mecanismos adecuados para las redes de interconexion para clusters. El primer mecanismo para proporcionar tolerancia a fallos en IBA (al que nos referimos como encaminamiento tolerante a fallos basado en transiciones; TFTR) consiste en usar varias rutas disjuntas entre cada par de nodos origen-destino y seleccionar la ruta apropiada en el nodo fuente usando el mecanismo APM proporcionado por IBA. Consiste en migrar las rutas afectadas por el fallo a las rutas alternativas sin fallos. Sin embargo, con este fin, es necesario un algoritmo eficiente de encaminamiento capaz de proporcionar suficientes
The action dynamics of native and non-native speakers of English in processing active and passive sentences

Abstract This study investigates processing of passive and active constructions between native speakers (NS) and non-native speakers (NNS) of English using traditional on-line mechanisms such as response time in conjunction with techniques that capitalize on the parallel activation of distributed mental representations during online syntactic processing. In the current study, hand motions captured by a mouse-tracking system were used to index listeners’ cognitive processes while making commitments to different choice alternatives during the processing of English passive and active structures. During data collection, 57 NNS and 43 NS carried out an aural forced-choice picture identification task. Data analysis indicated differences and similarities between NS and NNS participants such that NS participants are faster at responding to passive and active stimuli, travel less distance, and make fewer directional changes when compared to NNS participants. However, all participants showed similar trends for passive processing, suggesting comparable difficulties in processing passive constructions.
Investigating the role of task-technology fit along with attractiveness of alternative technology to utilize RFID system in the organization

In spite of exponential growth projections of RFID (Radio Frequency Identification) market value, many companies are reluctant to adopt RFID and RFID vendors are complaining that the business is not growing as fast as expected. The existing challenges and deep skepticism that RFID is facing remains around the return on investment, the incompleteness of RFID technology, and the lack of trust in the result of performance improvement. To fill these voids identified in previous research, from the perspective of business productivity and efficiency, this paper investigates what factors affect RFID-driven task performance, based on the extended Task-Technology Fit (TTF) model. To empirically evaluate the proposed model, a total of 63 usable responses were collected from companies in Korea, and the data is analyzed by Partial Least Squares (PLS). The results obtained pointed out the importance of the fit between the technology and users’ tasks in achieving individual performance impact. Moreover, negative perceptions toward RFID have no direct effect on continuing RFID utilization. Knowing these factors, potential technology users are able to evaluate if it is reasonable to adopt RFID under certain conditions and at a certain point in time. Furthermore, they can attempt to actively influence these variables in order to reduce the failure probability of RFID deployments.
Cognitive models of decision making: why precision matters

Stel je voor dat een vriend na een zonnige dag op het strand klaagt over hoofdpijn, een pijnlijke rode huid en jeuk. Hoe kun je uitvinden wat er met hem aan de hand is? Ga je een medisch naslagwerk raadplegen om een mogelijke diagnose voor zijn symptomen te vinden? Ga je over de fysieke processen in zijn lichaam nadenken die de oorzaak van de symptomen zouden kunnen zijn? Of ga je eerst de verschillende mogelijke oorzaken bedenken en deze tegen elkaar afwegen? Waarschijnlijk doe je niets van dit alles, maar verschijnt de diagnose ‘verbrand’ automatisch in je hoofd. Hoe is dit mogelijk? Terwijl in het verleden veel onderzoek is gedaan naar bewuste denkprocessen en strategieen die mensen gebruiken om complexe problemen op te lossen, is er tegenwoordig veel interesse in onderzoek naar automatische denkprocessen. Zo publiceerden Dijksterhuis en collega’s (2006) een artikel in het bekende tijdschrift Science, waarin ze lieten zien dat onbewust denken tot betere beslissingen kan leiden dan bewust nadenken. Maar, hoe werkt ‘onbewust denken’? Welk mechanisme in ons brein maakt het mogelijk dat we aan ‘verbrand’ denken zodra we de bijbehorende symptomen zien? En hoe werkt de interactie tussen zulke automatische processen en bewuste denkprocessen? Een mogelijk antwoord op deze vragen vinden we in het functioneren van het menselijke geheugen: “the memory system […] makes most available those memories most likely to be needed” (Anderson, 2007, p. 109). Het beginpunt van mijn promotieonderzoek was het idee dat automatische geheugenprocessen een belangrijk aspect van complexe cognitie vormen. Om precies te zijn was ik geinteresseerd in de rol van automatische geheugenprocessen tijdens het stellen van diagnoses. Bij het stellen van een diagnose wordt er vanuit observaties geredeneerd naar mogelijk oorzaken. Een onderdeel hiervan is het genereren van hypotheses over wat deze mogelijke oorzaken zouden kunnen zijn. Het stellen van diagnoses is een belangrijk onderdeel van veel taken, zoals medische diagnoses, software debugging, wetenschappelijk onderzoek en sociale interacties. Toen ik aan dit proefschrift begon was mijn hypothese dat automatische geheugenprocessen diagnoses beschikbaar stellen die geassocieerd zijn met de huidige context. Deze informatie kan dan vervolgens gebruikt worden in bewuste redeneerprocessen. Hoewel dit idee op zich niet nieuw is, bestonden er nauwelijks precieze theorieen en experimenteel bewijs voor. Thomas en collega’s stelden het zo in Psychological Review: “despite hypothesis generation’s importance in understanding judgment, little empirical and even less theoretical work has been devoted to understanding the processes underlying hypothesis generation. ” (Thomas, et al., 2008, p. 174).
Renal Biopsy for Research: An Overview of Russian Experience

Renal biopsy is a relatively safe procedure with a well-defined risk profile. A biopsy for research is one that is carried out without clinical indications purely for research purposes. Research biopsies often have a parallel clinical purpose, therefore requiring more tissue to be sampled. Research as a purpose of a renal biopsy presupposes informed consent. This review is discussing several publications from the past, but the problem is still with us: invasive procedures performed primarily for research sometimes of questionable reliability. In the author’s opinion, renal biopsy should always be performed according to clinical indications. If the patient gives consent to research on the renal tissue obtained for the diagnostic purposes, it can be done, provided that enough tissue remains for the diagnostics, and that Institutional Review Committee approves of the research project.
Towards Statistical Analysis of the Impact of Playout Buffer on Quality of Experience in VoIP Applications

The speech quality of Voice over IP (VoIP) applications can be assessed subjectively as Quality of Experience (QoE) and objectively as Quality of Service (QoS). QoE is multifaceted, which ties together user perception and expectations to application, network performance, and various voice data processing (e.g., codec) and streaming (playout buffering) methods. Most of prior work focuses on understanding the impact of network performance on QoE, but not explicitly describing how playout buffer affects user satisfaction or QoE assessment. Towards this goal, this paper presents a statistical analysis of the correlation among QoE assessment, QoS measurement, and the impact of playout buffer on QoE assessment. In this paper, we first identify QoE as a function along two dimensions of network loss and delay to understand how different network factors as well as playout buffer affect QoE assessment. Then, we propose a new performance metric called playout buffer QoE impact factor (IF) to explicitly evaluate the effectiveness of playout buffer in terms of its contribution to QoE improvement. Finally, we validate IF to statistically show its accuracy in terms of its strong correlation with the results of QoE assessment. All our study is based on extensive simulations using various emulated or real network scenarios. Our simulation results show that IF can accurately evaluate the impact of playout buffer on QoE assessment using directly measurable network performance metrics. KeywordsQuality of Service, Quality of Experience, Playout Buffer, Impact Factor, Statistical Analysis, VoIP.