Miracle-dz/UniFAR-FTUs huggingface dataset:
Evaluating first passage times in markov chains form the perspective of asymptotic and empirical information

First passage times underlie many stochastic processes in which the event, such as a chemical reaction,the firing of a neuron, or the triggering of a stock option, relies on a variable reaching a specified valuefor the first time. In this study, a transition matrix was estimated by taking into account the closingvalues of Istanbul Stock Exchange (ISE -100) index from 20.01. 2009 to 18.01. 2013 for discreteMarkov model. Empirical information regarding the first passage time was obtained by writing acomputer program. Later, the first passage time which calculated by using WinQSB software was
Relevance filters for event-B

Unnecessary hypotheses, that are not required to find a proof of the goal, often prevent an automated theorem prover (ATP) from finding a proof within reasonable time. In this thesis we examine and compare a number of syntactic relevance filtering techniques from the literature as well as our own relevance filtering idea based on structural similarities between formulas. The evaluation of the filtering techniques in the context of Event-B shows that relevance filtering provides a significant advantage in both proving times and success rate over not using filtering. Additionally we show that using several different relevance filtering techniques with short prover timeouts improves the success rate significantly more than increasing the prover timeout for a single filtering strategy. We present a filtering strategy for the Rodin platform that reduces the number of proofs that need help by the user by about 40% compared to pre-existing strategies. Finally we will show that our filtering strategy achieves a success rate that lies within one percentage point of what is possible using a perfect relevance filter that selects exactly the required hypotheses.
Identification, adaptation, learning : the science of learning models from data

Geometric Methods for State Space Identification. - Parameter Estimation of Multivariable Systems Using Balanced Realizations. - Balanced Canonical Forms. - From Data to State Model. - Identification of Linear Systems from Noisy Data. - Identification in H? : Theory and Applications. - System Identification with Information Theoretic Criteria. - Least Squares Based Self-Tuning Control Systems. - On Neural Network Model Structures in System Identification. - An Overview of Computational Learning Theory and Its Applications to Neural Network Training. - Just-in-Time Learning and Estimation. - Wavelets in Identification. - Fuzzy Logic Modelling and Control. - Searching for the Best: Stochastic Approximation, Simulated Annealing and Related Procedures. - List of Contributors.
Use of Dense Stereo Matching for Existing Building Documentation: Comparative Analysis of Tools

This paper presents a comparative study of Dense Stereo Matching (DSM) tools to generate point cloud from digital photogrammetric restitution. The capability of four different state-of-the-art software systems as Photoscan (Agisoft), 3DF Zephyr Free (3Dflow), Remake (Autodesk) and Recap 360 (Autodesk) is examined to document a historical object. The main aspects compared are: processing time, export file formats, file size, quality and density of point clouds obtained from tools standard parameters. From the literature review, the analysis and the experiments, it is possible to evaluate the potential of DSM technique for the existing building documentation.
Bringing the outside in: women and the transformation of the middle-class Maritime Canadian interior, 1830-1860

Maritime Canadian interior decoration was transformed between 1830 and 1860 from the austere to the spirited by middle-class women who embraced nature and brought it indoors. Women enlivened the interior with specimens of nature, handmade fancywork and living organisms. By imbuing nature with religious significance and cultural meaning, women were able to rationalize their interest in the outdoors and give purpose to their endeavours. They found inspiration in scientific writings and religious works, including imported journals and ladies' magazines. As women embraced responsibility for interior decoration within their "separate sphere" of the home, they cultivated a comfortable retreat from the vicissitudes of a competitive masculine business world. The enigmatic multidimensional linkages between religion and science, business and home, personal Christianity and domestic aesthetics, as well as faith and feeling are touched upon in this article by using material artifacts as cultural evidence. Resume Entre 1830 et 1860, la decoration interieure dans les provinces de l'Atlantique a subi un changement radical, passant de l'austerite a la gaiete, grâce aux femmes de la classe moyenne qui ont tire parti de la nature et l'ont amenee a l'interieur. Ces femmes ont egaye leurs demeures en y faisant entrer des specimens naturels, des decorations artisanales et des or-ganismes vivants. En impregnant la nature de significations religieuses et de references cul-turelles, elles sont parvenues a rationaliser leur attrait pour l'exterieur et ont donne un but a leurs efforts. Elles ont puise l'inspiration dans des ecrits scientifiques et religieux, notamment dans des revues importees et des magazines feminins. A mesure qu'elles assumaient la responsabilite de la decoration interieure dans leur« chasse gardee » domestique, les femmes ont construit un refuge confortable contre les vicissitudes du monde du travail concurrentiel des hommes. Les enigmatiques liens multi-dimensionnels etablis entre la religion et la science, le travail et la maison, la christianite personnelle et l'esthetique interieure, de meme que la foi et les sentiments sont evoques dans cet article utilisant les objets faconnes comme temoignages culturels.
Bilateral anterior lenticonus in a patient with Alport syndrome – a case report

Klinika Oczna 2018, 120 (1) ISSN 0023-2157 Index 362646 Wstęp Zespół Alporta (ang. Alport syndrome – AS) jest uwarunkowaną genetycznie chorobą. Po raz pierwszy w 1927 roku opisał ją Cecil na podstawie obserwacji trzech pokoleń rodziny, w której występowały przypadki postępującej niewydolności nerek, głuchoty i nieprawidłowości ocznych. Zespół Alporta występuje z częstością 1/ 5000 osób. Jest dziedziczony dominująco w sprzężeniu z chromosomem X, rzadziej autosomalnie recesywnie (AR) (1). Dyskusyjne jest, czy możliwe jest dziedziczenie tej choroby w sposób autosomalny dominujący. Przyczyną AS jest mutacja genów COL4A3–5 kodujących łańcuchy alfa kolagenu typu IV, który występuje w błonie podstawnej kłębuszków nerkowych, uchu wewnętrznym (ślimak – prążek naczyniowy), rogówce (warstwa Bowmana i błona Descemeta), torebce soczewki i siatkówce (błona graniczna wewnętrzna i błona Brucha) (2, 3). Charakterystyczna dla AS triada objawów to postępujące uszkodzenie nerek, neurogenny ubytek słuchu oraz zmiany oczne, z których patognomoniczny jest przedni stożek soczewki (4, 5). Inne często występujące nieprawidłowości oczne to retinopatia typu „dot and fleck” (punkcikowate kropki i plamki) oraz tylna polimorficzna dystrofia rogówki. Rzadziej stwierdza się nawracające erozje rogówki, tylny stożek soczewki, ścieńczenie siatkówki w części skroniowej, otwór warstwowy lub otwór olbrzymi w plamce oraz odwarstwienie siatkówki (6–12). Obustronny stożek przedni soczewki u pacjeta chorującego na zespół Alporta – opis przypadku
Harmonia vocàlica: paràmetres i variació

L'harmonia vocalica es un fenomen assimilatori que comporta, en general, beneficis articulatoris per a l'emissor i beneficis perceptius per al receptor, tot i que aquests guanys venen acompanyats per l'afebliment o fins i tot per l'eliminacio de propietats subjacents de les vocals harmonitzades. Per aquest motiu, els parametres que regulen l'extensio dels trets propagats han de determinar, en cada cas, quines son les causes que afavoreixen la igualacio malgrat la perdua d'informacio concomitant. L'objectiu d'aquest treball es revisar, amb exemples extrets de les llengues romaniques de la peninsula Iberica, algunes de les caracteristiques compartides pels diferents fenomens d'harmonia vocalica documentats, amb la finalitat d'establir una tipologia de patrons harmonics.
Typering landschapseenheden in Nederland naar groen-blauwe dooradering

Deze studie sluit aan op de taakstelling van het natuurbeleid om tot 2020 40 000 ha aan kenmerkende landschapselementen (groen-blauwe dooradering = GBDA) te realiseren. Dit dient de identiteit van landschappen in Nederland te versterken. Het begrip identiteit is uitgewerkt door het bepalen van de dichtheid van acht groene en blauwe landschapselementen in gebieden en door het berekenen van de kenmerkenheid van gebieden. Dit is gedaan voor de fysisch-geografische regio's in Nederland en voor de GBDA-proeftuinen. De resultaten kunnen worden benut bij het operationaliseren van beleidsdoelen en het uitwerken van de beleidstaakstelling op gebiedsniveau.
Epidemiology and Risk Factors for Injury and Illness in Male Professional Rugby Union

This thesis investigates the epidemiology and risk factors for injury in professional Rugby Union with a view to informing injury reduction strategies. Over the last decade, concussion has rapidly become the principal player welfare issue faced by collision sports. Chapter 3 highlights the high and rising incidence of concussion in the professional game and suggests some possible reasons for the changing landscape regarding the reporting of concussion in professional Rugby Union. Given this high incidence, the findings from this study reinforce the importance of further understanding concerning the safe return to play following concussion. Therefore, chapter 4 explores the short and medium term clinical outcomes and return to play of players following a concussion. Players who reported a concussion had a 60% increase in injury risk following return to play when compared with players who did not sustain a concussion. Additionally, 38% of players reported a recurrence of symptoms or failed to match their baseline neurocognitive test score during the return to play protocol. Together, these findings highlight the need to explore an alternative (either a more conservative or different rehabilitation model) return to play pathway. Another prominent player welfare issue in elite Rugby Union is the management of match and training load. Chapter 5 of this thesis was the first study to investigate the training load-injury relationship in professional Rugby Union. Players had an increased risk of injury if they had high one-week cumulative or large week-to-week changes in load. Furthermore, a ‘U-shaped’ relationship was observed for four-week cumulative loads, with an apparent increase in risk associated with lower/higher loads and intermediate loads appeared beneficial in reducing injury risk in this setting. Finally, it has been suggested that the impact of illness on an athlete’s ability to participate can be as significant as that of injury. Chapter 6 provides the first study to investigate the epidemiology of time-loss illness in English professional Rugby Union. Although the burden of illness is significantly less than injury, the high severity and seasonal clustering of illness in this cohort clearly highlights the need for the continued surveillance of illness in this setting. Despite rugby being a collision sport with a primary focus on conditioning and performance, this research programme clearly highlights the potential for modifying existing practice in order to reduce injury risk. Conversely, injuries such as concussion are difficult to prevent without substantial law change, making the practical recommendations put forward in this thesis with reference to possible improvements in the management of players following concussion vital to consider.
PİSA 2006 VERİLERİNE GÖRE TÜRKİYE’DE EĞİTİMİN KALİTESİNİ BELİRLEYEN TEMEL FAKTÖRLER

Arastirmanin amaci, Turkiye’de egitim kalitesini belirleyen temel faktorleri ve faktorlerin egitimsel sonuclari tahmin etme gucunu ortaya koymaktir. Arastirmanin evreni, Turkiye’de orgun egitim kapsaminda on bes yas grubundaki ogrencilerdir. Orneklem ise; rastgele ve tabakali orneklem yontemiyle 51 ilden belirlenen 160 okul yoneticisi ve 4.942 ogrenci ile anne-babalarindan olusmaktadir. Tarama modelinde betimsel bir calisma olan arastirmada Uluslararasi Ogrenci Degerlendirme Programi (PISA) 2006 verileri kullanilmistir. Faktor ve regresyon analizinin kullanildigi arastirmanin sonuclarina gore Turkiye’de on bes yas grubu ogrencilerinin almis oldugu egitimin kalitesini dort temel faktor belirlemektedir. Bu faktorler ve faktorlerin onem duzeyleri: Ev, anne-baba ozellikleri faktoru (% 52), ogrenci ozellikleri faktoru (%14),ogretim surecleri faktoru (% 6) ve kurumsal-cevre faktoru (%1,4)’dur.
Psychiatric Services Hospital-Physician Relations in a Regional Clinical Department of Psychiatry

Results: A recent and growing evidence-supported literature from the United States describes numerous strategies for enhancing hospital–physician relations. Several of these strategies have been used to successfully recruit and retain psychiatrists in a regional clinical department of psychiatry. In four years, 42 psychiatrists were recruited to a region that had lost 30 psychiatrists over the previous three years of regionalization. The net gain was three. The strategies can be summarized under physician leadership, department–system relations, care-management practices, strategic planning, primary care or specialist relationships, management and governance and physician recruitment.
Extracción de cristalino transparente en pacientes hipermétropes

Objetivos: Describir los resultados obtenidos en la extraccion de cristalino transparente de pacientes hipermetropes. Metodos: Estudio descriptivo, prospectivo y longitudinal, en el periodo septiembre 2009-febrero 2010. Se estudiaron 60 ojos de 30 pacientes con hipermetropia, que acudieron al Instituto Cubano de Oftalmologia Ramon Pando Ferrer y no cumplieron los criterios establecidos para cirugia refractiva corneal. Se aplico la formula Hoffer Q por IOL master para el calculo del lente intraocular. Tecnica quirurgica estandar, facoemulsificacion (facoaspiracion), poder ultrasonico: 10 % (pulsado), vacio: 350 mmHg, flujo: 25 cc/min; tunel corneal, capsulorrexis amplia, implante LIO monofocal en saco capsular. Se realizo el analisis estadistico por promedio asociado a prueba T para datos pareados. Resultados: La edad promedio fue de 39 ± 2.6 anos. La longitud axil promedio fue de 21 ± 2 mm. La mejor agudeza visual sin correccion ascendio de 0.08 en el preoperatorio a 0.72 en el postoperatorio. La mejor agudeza visual con correccion vario de 0.92 a 0.98. El valor de la esfera se redujo de 5.25 a - 0.50 D y el cilindro de -0.75 a - 0.25 D; en consecuencia, el equivalente esferico disminuyo de 4.75 D en el preoperatorio a -1.00 D en el periodo postoperatorio, especificamente en el ojo dominante a - 0.46 y en el no dominante a -0. 97 D. Conclusiones: La monovision resulto efectiva en los pacientes tratados. La extraccion de cristalino transparente en pacientes hipermetropes resulto ser una opcion util en pacientes no candidatos a cirugia refractiva corneal.
The Research of RITS Time Synchronization Algorithms in WSN

Time synchronization is a new hotspot in the research of wireless sensor network technology (WSN). Even though many applications of WSN require the clock of sensor nodes to keep synchronization, the traditional time synchronization algorithms are not suitable for WSN because of the characteristics of WSNit has special requirements in synchronous scope, energy consumption and synchronization precision. For this paper the Routing Integrated Time Synchronization (RITS) algorithm was analyzed. Furthermore, by averaging the multiple sets of data received by the target node and constructing a best fit straight line with the multiple received pairs, the RITS algorithm is being improved. Analysis showed that: improved algorithm inherited the advantages of the original RITS algorithm and improved the time synchronization precision to a certain extent.
Antibiotic resistance pattern of bacterial isolates from cases of urinary tract infections among hospitalized and out-patients at a tertiary health facility in South Western Nigeria

Aim: Urinary tract infections (UTIs) are among the most common human infections with distribution of causative agents and their susceptibility pattern to antibiotics varying from region to region. This study aimed at determining the bacterial uropathogens and their antibiotic resistance profile among patients in a Nigerian tertiary health care facility. Materials and Methods: Appropriate urine specimens (midstream/catheter specimen urine) of all suspected cases of UTI by clinicians were processed in the medical microbiology laboratory for detection of significant bacteriuria. Bacteria uropathogens isolated were identified by standard biochemical tests and antibiotic susceptibility test to eight antibiotics was carried out on them using Kirby-Bauer disc diffusion technique. Methicillin-resistant Staphylococcus aureus (MRSA) was identified by cefoxitin disc diffusion technique and extended-spectrum beta-lactamase (ESBL) producing enterobacteria were detected using double-disc synergy test. Results: Of the total 157 males and 189 females investigated, 35.7% and 66.1% respectively had significant bacteriuria. Escherichia coli was the most commonly isolated bacterial pathogen both among in- and out-patients (52.6% vs. 65.5%). Other isolated organisms were S. aureus (13.4% vs. 19.0%), Pseudomonas aeruginosa (10.3% vs. 2.4%), Klebsiella pneumoniae (7.2% vs. 7.1%) and K. aerogenes (7.2% vs. 1.2%). Resistance rate of uropathogens to antibiotics was higher among in-patients. Resistance rate to ofloxacin, ceftazidime and ceftriaxone was generally very low compared to other tested antibiotics. Multiple resistant bacteria: MRSA and ESBL-producing enterobacteria were detected among both in-and out-patient with no significant difference in isolation rate. Conclusion: There is a need for continuous monitoring of uropathogens and their antibiotic sensitivity profile for evidence-based empirical treatment of UTI. There is an urgent need for the establishment of antibiotic stewardship programs in healthcare facilities in Nigeria.
Revitalization Plan and Value of Social Network Service in the Business Organization

The purpose of this study is to find the beneficial plan for business success by the advantage of social media service in the business organization. There is few research for applying social media on a variety of fields in business organization although many companies are trying to find the way for its application. Hence, this study identifies the possibility for the utilization of social media services, and it also finds the plan for their effective application. The social relationship is created by increasing communications between users of social media service. The research model is established on the basis of the hypothesis that the social relationship affects knowledge share, pursuit of ego, social participation, amusement. To maximize the impact of results, the research was conducted on the basis of the target on two groups including the business men and non-business men who use social media services. As results of the research, the business men tend to appeal their impression based on sharing knowledge with anonymous people. Also, it is necessary to make a social participation to a management participation, and to utilize the social media in the organization by including amusement to its function. This research is expected to have significant implication to companies which wants to apply social media services in the future.
SupplyOn Netzwerk für den elektronischen Datenaustausch in der Zulieferindustrie

25 https://doi.org/10.30844/I40M18-5_25-28 Als EDI (Electronic Data Interchange) wird der Austausch strukturierter und geschäftsrelevanter Daten zwischen IT Systemen von Unternehmen angesehen [1]. Der Austausch findet dabei über standardisierte Dateiformate statt. Einer dieser Standards ist UN-EDIFACT, welcher sowohl weltweit als auch branchenübergreifend gültig ist. Die Hauptgründe und zugleich Vorteile der Einführung und Nutzung von EDI sind nicht nur für Großunternehmen attraktiv. Mittlerweile ist diese Technik auch im Mittelstand etabliert. Mit Kostenund Zeiteinsparungen gehen sowohl eine höhere Datenqualität als auch weniger Übertragungsfehler einher. Zudem reduziert sich das Belegvolumen, was zugleich den Verwaltungsaufwand minimiert. Im Gesamten betrachtet führen diese Faktoren für alle Beteiligten zu unternehmensübergreifenden Prozessoptimierungen. Die Kosten für die Einführung von EDIFACT sind jedoch weiterhin erheblich [2, 3].
Improvements in connected digit recognition using higher order spectral and energy features

It is shown how one can apply the improved acoustic modeling techniques (using a continuous density hidden Markov model framework) developed for large vocabulary speech recognition applications to the problem of connected digit recognition with no changes made to the basic modeling techniques and with no vocabulary specific information used. The improved modeling techniques adopted in this study include an improved feature analysis procedure, which incorporates higher order cepstral and log energy time derivatives, and an improved acoustic resolution procedure, which uses more Gaussian mixture components per state to characterize the acoustic variability in each state of the model. Using these techniques, string accuracies of 98.6% for unknown length strings and 99.2% for known length strings were achieved on the standard Texas Instruments connected digits database. <<ETX>>
Multi-factor challenge/response approach for remote biometric authentication

Although biometric authentication is perceived to be more reliable than traditional authentication schemes, it becomes vulnerable to many attacks when it comes to remote authentication over open networks and raises serious privacy concerns. This paper proposes a biometric-based challenge-response approach to be used for remote authentication between two parties A and B over open networks. In the proposed approach, a remote authenticator system B (e.g. a bank) challenges its client A who wants to authenticate his/her self to the system by sending a one-time public random challenge. The client A responds by employing the random challenge along with secret information obtained from a password and a token to produce a one-time cancellable representation of his freshly captured biometric sample. The one-time biometric representation, which is based on multi-factor, is then sent back to B for matching. Here, we argue that eavesdropping of the one-time random challenge and/or the resulting one-time biometric representation does not compromise the security of the system, and no information about the original biometric data is leaked. In addition to securing biometric templates, the proposed protocol offers a practical solution for the replay attack on biometric systems. Moreover, we propose a new scheme for generating a password-based pseudo random numbers/permutation to be used as a building block in the proposed approach. The proposed scheme is also designed to provide protection against repudiation. We illustrate the viability and effectiveness of the proposed approach by experimental results based on two biometric modalities: fingerprint and face biometrics.