Miracle-dz/UniFAR-FTUs huggingface dataset:
Probabilistic optimal power flow

This paper presents a new formulation and solution approach to a probabilistic optimal power flow (POPF) problem. In this formulation, system demand is taken as a random vector of correlated variables, which allows us to consider the dependence between load types and locations. The POPF is clearly formulated and the optimality conditions are considered as a general nonlinear probabilistic transformation. A first-order second-moment method (FOSMM) is used to find their statistical characteristics. Computer results, and their comparisons to Monte Carlo simulation (MCS) approach, demonstrate the accuracy of our proposed methodology.
Key Issues of Hospital Information Systems Management

Objective: This study was conducted to identify 3 to 5 years of future management issues in hospital information systems (HIS). Methods: Two rounds of interview surveys were conducted based on the sample survey of 50 managers from 28 hospital information centers utilizing the Delphi method. Results: From the survey, management issues in HIS were identified in the following order: ‘top management support’, ‘close relationship with users’, ‘PACS’, ‘disaster recovery’, improving IS strategic planning’. Compared with the 1999 survey, the issues that rank within the top 10 management issues were as follows: ‘top management support’, ‘security and control’, ‘close relationship with users’. Recently surfaced issues are ‘disaster recovery’ and ‘standardization’. The issues that dropped out of the top 10 ranks were ‘network management’, ‘recruiting and developing IS human resource’which were very fundamental issues in the initial state of the introduction of the hospital information system. Conclusion: The two main significance of this study involves predicting future management issues based on the comparison of the current issues with the 1999 issues and recommendingmanagement strategies based on the classification of issues by importance and persistence. (Journal of Korean Society of Medical Informatics 13-1,9-17, 2007)
A comparison of Bayesian hierarchical space-time models for earthquake data

Stochastic earthquake models are often based on a marked point process approach as for instance presented in Vere-Jones ( ). This gives a fine resolution both in space and time making it possible to represent each earthquake with corresponding foreshocks and aftershocks separately. However, it is not obvious that this microscopic approach is advantageous when aiming at earthquake predictions. In the present paper we take a macroscopic point of view considering grid cells of , or about km km, and time periods of months, which seems suitable for predictions. Hereby, also the effects of foreshocks and aftershocks are circumvented. More specifically, we will discuss different alternative Bayesian hierarchical space-time models in the spirit of Wikle et al. ( ). For each time period the observations are the magnitudes of the largest observed earthquake within each grid cell. In our models these largest observed earthquakes are represented by hidden system state variables called potentials. The potentials at each time period and grid point are decomposed into a time independent term and various alternative time dependent terms with spatial description. As data we apply parts of an earthquake catalog provided by The Northern California Earthquake Data Center where we limit ourselves to the area , for the years through containing the Landers and Hector Mine earthquakes of magnitudes respectively and on the Richter scale. Based on the various space-time models earthquake predictions for the next two time periods for all grid cells are arrived at. The models are implemented within an MCMC framework in Matlab. The model that gives the overall best predictions is claimed to give valuable and new knowledge on the spatial and time related dependencies between earthquakes.
Disseny d'una activitat pedagògica musical amb visió per computador

En un nou intent d'apropar la tecnologia a la societat i, mes especificament, a les aules, en aquest projecte s'ha dissenyat i creat, amb la col·laboracio de l'Escola de Musica de Sant Cugat, un prototipus d'activitat didactica enfocada a l'aprenentatge musical. En aquesta primera iteracio de l'activitat, tres usuaris interactuen amb el seu cos i els seus gestos per fer sonar una peca musical. Un d'ells interactuara amb un pentagrama gegant per fer sonar les notes d'un piano, trepitjant la nota que vulgui fer sonar. Els altres dos usuaris interaccionaran amb un ritme preenregistrat, podent alterar el seu tempo i volum mitjancant moviments. Aquest projecte combina diverses tecnologies per dur a terme el seu proposit i crear una experiencia didactica que serveixi com a primer cop d'ull a les possibilitats que ens ofereix barrejar el mon tecnologic amb el mon de l'ensenyament.
An automatic test case generator for evaluating implementation of access control policies

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more reliable. Although several researches are conducted for automated testing of the specification of access control policies at the design phase, there is not enough research on testing their implementation. In addition, since access control is amongst non-functional requirements of the system, it is not easy to test them along with other requirements of the system by usual methods. To address this challenge, in this paper, we propose an automated method for testing the implementation of access control in a system. This method, as a model based technique, is able to extract test cases for evaluating the access control policies of the system under test. To generate test cases automatically, a combination of behavior model of the system and the specification of access control policies are used. The experimental results show that the proposed approach is able to find the failures and cover most of the code that is related to access control policies.
Suivi automatique de nageurs à partir des séquences vidéo : application à l'analyse des performances

Dans le but d’ameliorer les performances des nageurs professionnels, nous avons developpe, en collaboration avec la Federation Francaise de Natation, un systeme automatique de suivi a base des sequences video. Pour ce faire, nous proposons un nouveau systeme de prise de vue 8K adapte au milieu aquatique et permettant un calibrage du bassin. Celui-ci etablit le lien entre les coordonnees pixels et metriques permettant, entre autres, d’extraire le couloir concerne pour effectuer les differents traitements. Afin d’initialiser le suivi, il est necessaire de localiser le nageur. Pour cela, nous proposons d’utiliser une approche a contrario pour detecter le mouvement, puis l’approche Scaled Composite JTC pour localiser precisement la tete du nageur. Ensuite, nous implementons et adaptons les techniques de suivi de la litterature, notamment celles basees sur la correlation NL-JTC, les histogrammes de couleur, les motifs binaires locaux (LBP) et les histogrammes de gradient oriente (HOG). Suite aux differentes limitations de ces techniques, nous proposons de nouvelles approches optimisees basees principalement sur la fusion de donnees. Tout d’abord, nous developpons l’approche multipiste constituee de plusieurs pistes de suivi, ou chacune represente l’une des techniques de suivi citees precedemment. Ensuite, un choix base sur l’histogramme de couleur est effectue afin de choisir la meilleure decision parmi celles offertes par chaque piste. Cette approche a significativement ameliore les resultats mais ceux-ci restent insuffisants pour l’etude des performances. Dans ce sens, nous proposons une nouvelle approche par fusion dynamique qui consiste a fusionner le plan de correlation NL-JTC et le plan de scores couleurs dans le but d’extraire une description plus riche de la cible (forme + couleur). Cette approche a montre de tres bons resultats dans le cas ou la cible a suivre est visible mais reste tres sensible aux occultations de celle-ci. Afin de resoudre cette difficulte, nous ameliorons l’approche proposee en suivant simultanement la tete et le maillot de bain du nageur. Cette approche multizone permet, grâce a un critere de decision complexe, de retrouver la zone occultee a l’aide de la zone visible. Enfin, une etude de performances a ete menee et les resultats obtenus ont permis de valider ce systeme. En particulier, nous nous sommes interesses aux mesures de vitesse cyclique, intra-cyclique et instantanee, afin d’etudier et ameliorer les performances des nageurs.
SATO-CALIBRAGE : présentation d’un outil d’assistance au choix et à la rédaction de textes pour l’enseignement

Depuis quelques annees, un projet conjoint mene par l’Universite du Quebec a Montreal et le ministere de l’Education porte sur le developpement d’un indice de lisibilite des textes, appele SATO-CALIBRAGE. Des preoccupations de choix et de redaction de textes en contexte scolaire ont ete a l’origine du projet. Dans cet article, de nature descriptive, on presente l’application SATO-CALIBRAGE et on explique la methodologie qui a ete adoptee en exposant les dispositifs linguistique et mathematique qui ont ete mis en place. L’indice lui-meme et la facon de le calculer sont aussi presentes. En outre, quelques exemples d’utilisations en didactique, en evaluation et en redaction sont fournis afin d’aider a comprendre les contextes d’utilisation eventuels.
AN ANALYSIS OF THE TIME‐RELATIONS OF ELECTROCARDIOGRAMS.

IN a preliminary attempt (which requires considerable modification) to determine from blood-pressure records the relative influence of the heart action and of vaso-canstriction, I suggestedS that it might be necessary to estimate the duration of ventricular systole for different heart rates. In order to obtain this information a number of measurements have been made of electrocardiographic curves, including some obtained by myself and a selection of curves from Dr. T. Lewis’s collection, which he very kindly put at my disposal. Electrical records have been preferred to mechanical, because it is easier to secure accuracy, and it has been shown by many workers that as a rub the electrical and mechanical changes correspond fairly closely. Lewis ,*7 in a comparison of the heart sounds with the electrical changes, found the first sound to commence 0.011 of a second to 0.039 of a second after the commencement of Q, while the second sound started either before or after the end of T but usually within 0.01 of a second of it. WiggersYS1 working with dogs, found the mechanical systole to commence 0.03 to 0.045 after the rise of R, and to terminate 0.034 to 0.048 after the end of T, so that as a rule the two changes corresponded in duration, but he found that adrenalin shortens the duration of the mechanical change more than the electrical, and under these conditions the ventrical contrsction ended before the end of the T wave. In considering, therefore, the relative duration of systole and diastole, both electrical and mechanical records are useful, if these differences be allowed for. Walleflsgivee the following values for the durebtion of mechanical systole with different heart rates, and it will be seen that almost exactly similar figures are obtained by calculation from the formula systole = K Vcycle, where K hae 8 value of 0.343.
Action estimation using a theory of mind as applied on the humanoid robot SURALP

Explanations regarding human consciousness have existed for a very long time. Theory of Mind (ToM) is one of the contemporary explanations for counciousness. This theory states that humans have functionalized brain parts for understanding beliefs and intentions of others. Humans have an inherent ability for making inferences on visual data once an acition is observed. Understanding/anticipating human actions based on visual data can be explained in context of ToM. It is proposed that a functionalized brain part is used for estimating intentions of others from observed movements of an actor. This functionalized part posses a Forward Model (FM) which simulates consequences of intentions. Simulated intentions are compared with observed movements to estimate the action of the actor. This thesis is based on implementation of such an action estimation model on a humanoid robot platform. A computational model for the part of the human brain which estimates intentions is needed to implement the model on a robotic platform. There is a proposed computational model in the literature for the part of the brain which estimates intentions. Model explains how a FM can be used along with a loop for action estimation by providing an algorithm. Motivation for such an implementation has two main reasons: To program a humanoid robot platform in such a way that it anticipates movements of the human actor to assist him/her, and a platform which can test ToM related to action estimation. In thesis the implementation is made on SURALP (Sabanci University ReseArch Labaratory Platform). Kinect is used for visual data input device. Various tests, which observe capabilities and limitations of the computational model, are completed with success.
A Performance Tool for Earth System Models Development

We present a performance tool for Earth system models development to aid in analyzing the performance of the climate modeling applications. It is difficult for existing tools to handle with the complex, coupled structure and the long execution time of models. Our performance tool implements rapid analysis based on statistical sampling and grouping aggregation the calling relationship and the actual computing resource consumption excluding waiting losses. Using this tool, we study an ocean model POP in short-term sampling and analyze its scaling bottleneck and acceleration trend. The measuring results of its entire execution prove our predictions on the scaling efficiencies.
Abject Afrikaner, Iconoclast Trekker: Peter Van Heerden’s Performance Interventions within the Laagers of White Masculinity

Crucifying Privilege The words “Wit Kaffir” (“White Kaffir”) are scribbled in black ink across a middle-aged white man’s chest. He is blindfolded and strapped to a cruciform scaffold in the blazing African sun. It is Good Friday, 2008, the first day of South Africa’s annual Afrikaans-language2 Klein Karoo Nasionale Kunstefees (KKNK)3 in the dusty ostrich town of Oudtshoorn, in the Western Cape. The man is Cape Town-based performance artist Peter Van Heerden, and this crucifixion scene is part of his nine-day installation called Totanderkuntuit, which translates literally as “Through-the-other-cunt-out. ”4 Van Heerden claims that it is only through “the abjection of white masculinity, that a new practise can be celebrated. ” The process of holding up whiteness for exploration “is not in praise of its hegemony,” he says, “but rather as a condition for sacrifice. This ritual sacrifice of whiteness must become a feast and celebration, to enable the formulation of a new non-racialised practice. ”5 Literally and figuratively stringing up the Afrikaner male, Van Heerden is, I argue, engaged in acts of volksveraad, or “race betrayal,” that reveal the symbolic and material privilege through which white men have dominated Southern Africa since the seventeenth century. As a beeldestormer, or “iconoclast,” he not only reveals, but also explodes, familiar images of Afrikanerdom in order to reconfigure the ways in which white South Africans can participate as citizens in this young democracy. In the following pages, I will trace Van Heerden’s performance strategy of attracting audiences and then refracting what they encounter, as well as his use of iconoclasm, word play, strategic blasphemy, and physical abjection in his 2008
Muscle morphology, enzyme activity and muscle strength in elderly men and women

Summary. The quadriceps muscle were investigated with respect to isometric and isokinetic muscle strength, morphology and as regards some enzymes and metabolites of importance for the contractile processes. The material comprises 52 men (66–76 years) and 13 women (61–71 years) without clinical symptoms. Some participants used antihypertensive and/or heart-regulating medicine but were symptom-free. None of the subjects participated in any systematic training. All of them except for one physically inactive woman carried out moderate physical activities for at least 4 hweek. The body cell mass was higher in the men than in the women, and was highly correlated to muscle strength in both sexes. The fibre distribution was similar in both sexes with an average of 48 % Type I fibres in the men and 54 % Type I fibres in the women. The women had fewer Type II B fibres (4%) than the men (18 %). The average Type I fibre area did not differ between the sexes. The average Type II fibre area and the mean fibre area were smaller in women than in men, so that the ratio between the mean Type II and Type I fibre area was smaller in the women (0–76) than in the men (0–95). Signs of denervation/reinnervation, such as type grouping and an increase number of enclosed fibres, were observed very rarely and no great number of atrophic fibres indicating neuropathy was found. In both sexes, there was a reduction in the Type II fibre size, specially in relation to Type I fibre size, compared with young people. There was no difference between the enzymatic (Mg2+ATPase, MK and LDH) and the phosphagen (ATP and CP) content values between the sexes and no correlation between these variables and muscle strength. The capillarization was similar in the men and the women.
Induced Normothermia After Severe Traumatic Brain Injury: A Prospective Observational Pilot Safety and Feasibility Study

Background: Early hyperthermia following traumatic brain injury (TBI) is associated with worsened neurologic outcomes; however, eliminating fever has not been adequately studied. We sought to explore the safety and feasibility of induced normothermia using advanced fever control (AFC) in severe TBI patients. Methods: Eight patients underwent AFC with a surface cooling device for 96 hours, and four patients underwent conventional fever control (CFC). Average daily fever burden (FB) was calculated as the time and extent (°C × hours) above 37 °C. Shivering was evaluated hourly by the bedside shivering assessment scale (BSAS, 0 - 3) and BSAS > 0 was treated using a stepwise protocol. Results: FB was lower for the AFC vs. CFC group: 4.0 vs. 7.0 (P = 0.2) for day 1, 4.3 vs. 7.7 (P = 0.1) for day 2, 3.6 vs. 5.3 (P = 0.5) for day 3, 4.2 vs. 4.8 (P = 0.7) for day 4 respectively. BSAS > 0 developed more often in the AFC group (130 times) than the CFC group (two times). Conclusion: Induced normothermia was associated with less FB and more interventions to treat shivering compared to CFC in severe TBI patients. A large prospective randomized outcome trial of AFC vs. CFC is warranted. J Neurol Res. 2014;4(5-6):127-132 doi: http://dx.doi. org/10.14740/jnr283w
Co-Scheduling High-Performance Computing Applications

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Co-Scheduling High-Performance Computing Applications Guillaume Aupy, Anne Benoit, Loïc Pottier, Padma Raghavan, Yves Robert, Manu Shantharam
MOPSO: a proposal for multiple objective particle swarm optimization

This paper introduces a proposal to extend the heuristic called "particle swarm optimization" (PSO) to deal with multiobjective optimization problems. Our approach uses the concept of Pareto dominance to determine the flight direction of a particle and it maintains previously found nondominated vectors in a global repository that is later used by other particles to guide their own flight. The approach is validated using several standard test functions from the specialized literature. Our results indicate that our approach is highly competitive with current evolutionary multiobjective optimization techniques.
Detection of environmental contaminants by time resolved laser induced breakdown spectroscopy technique

Laser induced breakdown spectroscopy (LIBS) has become a reliable tool for very fast multi-elemental pollutants' analysis. Its principle of operation lies in the avalanche ionization effect produced by an intense laser beam focused on the sample to be investigated. Under the effect of the intense EM field of the laser, the material is separated into its atomic constituents, with a very high degree of ionization and electron temperatures reaching several tens of eV. With the recombination of atoms and electrons, an extremely intense emission of right (laser spark) takes place. The latter is collected and analysed for discerning the characteristic emission lines of the different elements in the sample. It may be appropriate to quote the possibility of getting quantitative information on the whole sample composition in a single run, through the simultaneous detection of the emission line patterns of different elements present in the material under analysis. This peculiar feature of the LIBS system allows for very fast sample analysis and thus, when necessary, for continuous monitoring of its composition. The applications of the LIES technique to industrial exhaust monitoring take great advantage of these characteristics, along with the possibility of LIBS operation in hostile environments. It is possible to arrange a setup in which the most delicate parts of the apparatus are kept protected in a safe environment far apart from the dangerous and/or potentially damaging site to be monitored. Remote operation is also useful in polluted soil and water analysis.
Illness Perceptions in Chronic Lymphocytic Leukemia: Testing Leventhal's Self-regulatory Model.

Background Leventhal's Self-regulatory Model proposes that somatic characteristics of a health threat (e.g., symptom severity), and prior experience with the threat (e.g., unsuccessful treatment), are determinants of illness perceptions. Chronic lymphocytic leukemia (CLL) is appropriate for test of these postulates, having three phases differing in symptom severity and prior treatment experiences: indolent disease requiring no treatment (active surveillance; AS), symptomatic disease requiring a first treatment (FT), and highly symptomatic disease in those who have relapsed and/or failed to respond to prior treatments (relapsed/refractory; RR). Purpose To test symptom severity and prior treatment experiences as determinants of illness perceptions, illness perceptions were characterized and contrasted between CLL groups. Methods Three hundred and thirty CLL patients (AS, n = 100; FT, n = 78; RR, n = 152) provided illness perception data on one occasion during a surveillance visit (AS) or prior to beginning treatment (FT, RR). Results Analysis of variance with planned comparisons revealed that consequences, identity, and concern were least favorable among RR patients, followed by FT, then AS (ps < .01). AS patients endorsed the lowest levels of coherence (ps < .01), and the most chronic illness timeline (ps < .01). FT patients endorsed the highest levels of personal and treatment control (ps < .01). Conclusions Data provide preliminary empirical support for Self-regulatory Model postulates that symptom severity and prior disease experiences influence illness perceptions. Unique knowledge needs for AS patients and elevated psychological/physical symptoms for later-stage CLL patients may warrant clinical attention.