Miracle-dz/UniFAR-FTUs huggingface dataset:
A Novel Site Assessment Model based on Fuzzy Analytic Hierarchy Process for Water Recreation Activities

With an increasing number of people participating in various water recreation activities, the popularity of leisure and recreational activities in Taiwan has grown. However, an urgent problem which requires an immediate solution is lack of quality activity sites. Through literature review, interviews with experts, and fuzzy analytic hierarchy process, this research clarifies the assessment criteria for water recreation activity sites and explored the importance of these criteria. The results show that the most crucial criteria for the assessment of water recreation activity sites are "Special Site Conditions", followed by "District Operating Conditions", and then by "Natural Landscape Conditions". The results of this study can be used as references for future planning or selection of water recreation activity sites.
Determining Best Practices for Management of Bacteriuria in Spinal Cord Injury: Protocol for a Mixed-Methods Study

Background Bacteriuria, either asymptomatic (ASB) or symptomatic, urinary tract infection (UTI), is common in persons with spinal cord injury (SCI). Current Veterans Health Administration (VHA) guidelines recommend a screening urinalysis and urine culture for every veteran with SCI during annual evaluation, even when asymptomatic, which is contrary to other national guidelines. Our preliminary data suggest that a positive urine culture (even without signs or symptoms of infection) drives antibiotic use. Objective Through a series of innovative studies utilizing mixed methods, administrative databases, and focus groups, we will gain further knowledge about the attitudes driving current urine testing practices during the annual exam, as well as quantitative data on the clinical outcomes of these practices. Methods Aim 1 will identify patient, provider, and facility factors driving bacteriuria testing and subsequent antibiotic use after the SCI annual evaluation through qualitative interviews and quantitative surveys. Aim 2 will use national VHA databases to identify the predictors of urine testing and subsequent antibiotic use during the annual examination and compare the clinical outcomes of those who received antibiotics with those who did not. Aim 3 will use the information gathered from the previous 2 aims to develop the Test Smart, Treat Smart intervention, a combination of patient and provider education and resources that will help stakeholders have informed conversations about urine testing and antibiotic use; feasibility will be tested at a single site. Results This protocol received institutional review board and VHA Research and Development approval in July 2017, and Veterans Affairs Health Services Research and Development funding started on November 2017. As of submission of this manuscript, 10/15 (67%) of the target goal of provider interviews were complete, and 77/100 (77%) of the goal of surveys. With regard to patients, 5/15 (33%) of the target goal of interviews were complete, and 20/100 (20%) of the target goal of surveys had been completed. Preliminary analyses are ongoing; the study team plans to present these results in April 2019. Database analyses for aim 2 will begin in January 2019. Conclusions The negative consequences of antibiotic overuse and antibiotic resistance are well-documented and have national and even global implications. This study will develop an intervention aimed to educate stakeholders on evidence-based management of ASB and UTI and guide antibiotic stewardship in this high-risk population. The next step will be to refine the intervention and test its feasibility and effectiveness at multiple sites as well as reform policy for management of this common but burdensome condition. International Registered Report Identifier (IRRID) DERR1-10.2196/12272
Incorporating Optional Labeling And Dynamic Tagging With Combining Tag And Value Similarity

Query result pages are generated from the web databases based on the query given by the user. From these query result pages data are extracted automatically. The data extraction is based on the combined tag and value similarity technique. The Query Result Record (QRRs) in the query result pages are identified and segmented. The segmented QRRs are then aligned in to a table. The non contiguous QRRs are also considered which is induced by the auxiliary information. We propose new techniques called Optional Labeling and Dynamic Tag structuring which improves the efficiency in data extraction. Initially all the tags are stored temporarily in a database, from where relevant tags are extracted. The tag structuring is handled dynamically so that more accurate extraction is made possible.
A Secure and Effective Anonymous Integrity Checking Protocol for Data Storage in Multicloud

How to verify the integrity of outsourced data is an important problem in cloud storage. Most of previous work focuses on three aspects, which are providing data dynamics, public verifiability, and privacy against verifiers with the help of a third party auditor. In this paper, we propose an identity-based data storage and integrity verification protocol on untrusted cloud. And the proposed protocol can guarantee fair results without any third verifying auditor. The theoretical analysis and simulation results show that our protocols are secure and efficient.
Positive or negative history of childhood sexual abuse among problem drinkers: relationship to substance use disorders and psychiatric co-morbidity

Background Victims of childhood sexual abuse (CSA) show higher rates of several psychiatric and substance abuse disorders in adulthood. High rates of CSA have been reported in alcohol- or drug-dependent patients presenting to treatment. However, there is a paucity of European research with regard to in-patient alcohol-dependent populations. Aims The aim was to describe the prevalence of CSA in a UK sample of alcohol-dependent in-patients admitted over a 3-year period to a specialist alcohol unit; also to identify sociodemographic, alcohol and other substance use-related variables, and co-morbid psychiatric disorders associated with CSA. Method Clinical and socio-demographic data and information on childhood sexual abuse (CSA) were collected from 414 admissions, between September 1995 and September 1998, to the Specialist Alcohol Inpatient Unit. Results In the total sample of 414 subjects, 52 had experienced CSA. Of the 311 male subjects included in the study, 20 (6.4%) had experienced CSA. Of the 103 female subjects in the study sample, 32 (31.1%) disclosed having a history of CSA (CSA-females). Women victims of CSA were more likely to be non-white, to have a positive family history of alcoholism and to have fewer years of excessive drinking prior to admission. They were also significantly more likely to a have a lifetime diagnosis of depressive, anxiety and eating disorders, as well as being more likely to have a co-morbid post-traumatic stress disorder and a borderline personality disorder. Male victims had significantly higher Alcohol Problems Questionnaire (APQ) scores, were more likely to live alone, to be single, separate, divorced or widowed and to have a post-traumatic stress disorder and a borderline personality disorder. Conclusions Very few alcohol and drug abuse treatment units have developed programmes specifically designed to meet the needs of patients, and particularly women, who have experienced sexual abuse during childhood. However, as reflected by the relationship between CSA and dual diagnosis shown in this study, victims of CSA may represent an important subgroup of alcohol-dependent patients with specific needs. They may require the combination of various forms of pharmacological and psychological treatments to match their clinical characteristics. Declaration of interest None.
Community Focusing: Yet Another Query-Dependent Community Detection

As a major kind of query-dependent community detection, community search finds a densely connected subgraph containing a set of query nodes. As density is the major consideration of community search, most methods of community search often find a dense subgraph with many vertices far from the query nodes, which are not very related to the query nodes. Motivated by this, a new problem called community focusing (CF) is studied. It finds a community where the members are close and densely connected to the query nodes. A distance-sensitive dense subgraph structure called β-attention-core is proposed to remove the vertices loosely connected to or far from the query nodes, and a combinational density is designed to guarantee the density of a subgraph. Then CF is formalized as finding a subgraph with the largest combinational density among the β-attention-core subgraphs containing the query nodes with the largest β. Thereafter, effective methods are devised for CF. Furthermore, a speed-up strategy is developed to make the methods scalable to large networks. Extensive experimental results on real and synthetic networks demonstrate the performance of our methods.
İlk Evlilik Süresini Etkileyen Faktörlerin Yaşam Analizi: Türkiye Örneği

Kuresellesme ve teknolojik gelismeler toplumsal yapinin degismesine ve donusmesine neden olmaktadir. Bu degisim ve donusum, toplumsal yapinin en kucuk birimi olan aile yapisini da etkilemektedir. Buna bagli olarak en belirgin etki, bosanma sayilarindaki artislarda gozlemlenmektedir. Bu durum ailenin, nufusun yenilenmesi, kulturun gelecek nesillere aktarimi vb. gorevlerini yerine getirmesini olumsuz etkilemektedir. Bu baglamda aile yapisinin devamliligina engel olan faktorlerin belirlenmesi onemli hale gelmistir. Bu nedenle bu calismada Turkiye Istatistik Kurumu (TUIK) Aile Yapisi Arastirmasi 2016 verileri kullanilarak; Turkiye’de bosanmayi etkileyen faktorler yasam analizi ile arastirilmistir. Gelir, egitim, yasanilan yer ve cocuk sahibi olma gibi faktorlerin bosanma uzerindeki etkileri incelenmis, ayni zamanda internetin ve internet kullanimi ile yayginlasan kumar ve bahis oyunlari oynanmasinin evlilik yasami uzerindeki olumsuz etkisine deginilmistir.
Contract Checking For Lazy Functional Languages

Program errors are sometimes hard to find and program debugging is now a significant part of the program development cycle, leading to an increase of time and cost of program development. Several verification techniques were defined in the past, mostly for imperative and objectoriented programming languages. For pure functional programming languages, verification is apparently not so crucial, because programs tend to be more correct by design and by using the highly expressive type systems of these languages. However, exactly these declarative features of pure functional programming open the way to the verification of more sophisticated properties. In this thesis, we first give a short overview of two main verification frameworks for the Haskell programming language: Liquid Types and Contract Checking. We then describe one implementation of a static property checker based on program transformation. Thus, we have implemented in Haskell: • A program transformation algorithm which enables to check if a program respects a given specification • A parser for a contract language, using monadic parsing • An inlining and simplification algorithm, which is based on beta-reduction • A module which enables our system to interface with external theorem provers In this framework, to tackle higher-order program verification, we use program inlining until properties are easily checked by several automatic theorem provers.
SYNTHESIS OF CURRENT WAVEFORMS BY TYPE C NETWORKS

A theoretical analysis was performed which permitted synthesis of any required current waveform when the current was to be discharged through a load inductance, L/sub o/. The synthesis was accomplished by forcing the characteristic modes of an LC network into correspondence with the harmonic components of the required waveform. Equations were derived which permitted solution for the required network parameters, and approximate solutions are given. An IBM 7090 program is available for use when more accurate solutions are required. The experimental synthesis of a current waveform is described. (auth)
Paraphrasing Training Data for Statistical Machine Translation

Large amounts of data are essential for training statistical machine translation systems. In this paper we show how training data can be expanded by paraphrasing one side of a parallel corpus. The new data is made by parsing then generating using an open-source, precise HPSG-based grammar. This gives sentences with the same meaning, but with minor variations in lexical choice and word order. In experiments paraphrasing the English in the Tanaka Corpus, a freely-available Japanese-English parallel corpus, we show consistent, statistically-significant gains on training data sets ranging from 10,000 to 147,000 sentence pairs in size as evaluated by the BLEU and METEOR automatic evaluation metrics.
An Approximate Multiplier Based Hardware Implementation of the Izhikevich Model

This paper proposes the use of approximate multipliers in the hardware implementation of Izhikevich spiking neuron model. The accuracy of the model is investigated by calculating various types of errors on a single neuron and this analysis shows that the proposed model follows the original model. It shows that the proposed model reproduces the same firing patterns as the original one. The network behavior is also studied and proved that the model has the same activity patterns of the original one. Moreover, the proposed neuron exhibits better accuracy than the piecewise linear approximation of the Izhikevich model.
Produção de memórias falsas: Aplicação do paradigma DRM

O paradigma DRM, designacao proposta a partir dos estudos de Deese (1959) e Roediger e McDermott(1995), e caraterizado pela apresentacao de listas de palavras relacionadas com uma outra nao apresentada (item critico), apresentacao que conduz o participante a producao de memorias falsas. Esta distorcao da memoria ocorre tanto em tarefas de recordacao livre como em tarefas de reconhecimento. Neste artigo e apresentada uma sintese da investigacao sobre memorias falsas realizada atraves do paradigma DRM. Neste sentido sao abordados os seguintes temas: apresentacao dos estudos originais que deram origem ao paradigma; metodologia habitualmente utilizada pelos investigadores; variacoes do paradigma; fatores que afetam as memorias falsas; e teorias explicativas do fenomeno DRM.
MANAGEMENT TO PREVENT BLEEDING DURING ENDOSCOPIC SUBMUCOSAL DISSECTION USING THE FLUSH KNIFE FOR GASTRIC TUMORS

The gastric vasculature responsible for intraoperative bleeding in endosocpic submucosal dissection (ESD) is the ramified vascular network occupying the middle of the submucosal layer and large vessels penetrating the muscle layer. Appropriate management for these vessels must be addressed. The trimming of the ramified vascular network can be safely performed with coagulation mode following shallow mucosal cutting. A large penetrating vessel usually requires precoagulation prior to dissection. These procedures are effectively performed with the water jet short needle knife (Flush knife).
Multiple GPS Fault Detection and Isolation Using a Graph-SLAM Framework

Autonomous vehicles operating in GNSS challenged urban environments are prone to uncorrelated multipath effects in multiple satellite channels. In addition, the increasing number of GNSS satellites due to the addition of new constellations increases the probability of multiple satellite faults caused by broadcast anomalies. We propose a graph-based Simultaneous Localization and Mapping (Graph-SLAM) framework to perform multiple GPS Fault Detection and Isolation (FDI), in particular, satellite faults due to broadcast anomalies and received signal faults due to multipath. SLAM is a well-known technnique in robotics. It utilizes sensor measurements to estimate the landmark features in an unknown 3-Dimensional (3D) map while simultaneously localizing the robot within it. Analogous to this, we design a GraphSLAM framework, where the robot is the receiver, and the landmarks in the map are the GPS satellites. Utilizing the pseudoranges, receiver and satellite motion model, our SLAM-based FDI simultaneously estimates the position, velocity and time of both GPS receiver and satellites. Thereafter, we assess the probability of fault in each satellite by individually evaluating the corresponding test statistic against its empirical cumulative distribution calculated on-the-fly. We validate our algorithm via different experimental scenarios, namely, adding multiple simulated broadcast anomalies to the open-sky data collected using a ground vehicle; flying an aerial vehicle in an urban area prone to multipath. We demonstrate the capability of our algorithm in performing multiple FDI while accurately locating the receiver.
Distance Regularized Level Set Evolution for Medical Image Segmentation

Medical image is an important tool because it can be used for surgical planning and simulation, radiotherapy planning, and tracking the progress of disease. To analyze the medical image, it must partitioned into different segment using image segmentation methods. Many methods are introduced to perform that segmentation, one of them is DRLSE. DRLSE are the development of level set method and maintained by forward-and-backward (FAB) diffusion derived from distance regularization term. Because of that DRLSE eliminates the need for re-initialization and avoid the undesirable side effect. This research use DRLSE for medical image segmentation. DRLSE can be used in medical image segmentation.
Bilingual Speech Dialogue Corpus for Simultaneous Machine Interpretation Research

Speech-to-speech translation has been an important research topic with the advance of technologies for speech processing and language processing. This paper describes a bilingual speech dialogue corpus which has been constructed for research on simultaneous machine interpretation at the Center for Integrated Acoustic Information Research (CIAIR), Nagoya University. The corpus has been implemented by collecting simulated cross-lingual conversations between English speech and Japanese speech through simultaneous interpretation, and by transcribing them manually with bilingual sentence alignment. In the year 2002, 216 spoken dialogues have been collected under a real environment, and transcribed into text files consisting of about 300,000 morphemes. In order to utilize the bilingual corpus effectively, every source utterance speech has been segmented into interpreting units according to its word-for-word translation and the word alignment of them. The interpreting unit means a linguistic chunk that could be interpreted separately and simultaneously. This paper has investigated linguistic characters of such the unit, and examined the feasibility of simultaneous machine interpretation.
Population Ecology An Introduction To Computer Simulations

population ecology an introduction to computer simulations is available in our digital library an online access to it is set as public so you can download it instantly. Our book servers saves in multiple countries, allowing you to get the most less latency time to download any of our books like this one. Merely said, the population ecology an introduction to computer simulations is universally compatible with any devices to read.
Noise performance of frequency modulation Kelvin force microscopy

Noise performance of a phase-locked loop (PLL) based frequency modulation Kelvin force microscope (FM-KFM) is assessed. Noise propagation is modeled step by step throughout the setup using both exact closed loop noise gains and an approximation known as “noise gain” from operational amplifier (OpAmp) design that offers the advantage of decoupling the noise performance study from considerations of stability and ideal loop response. The bandwidth can be chosen depending on how much noise is acceptable and it is shown that stability is not an issue up to a limit that will be discussed. With thermal and detector noise as the only sources, both approaches yield PLL frequency noise expressions equal to the theoretical value for self-oscillating circuits and in agreement with measurement, demonstrating that the PLL components neither modify nor contribute noise. Kelvin output noise is then investigated by modeling the surrounding bias feedback loop. A design rule is proposed that allows choosing the AC modulation frequency for optimized sharing of the PLL bandwidth between Kelvin and topography loops. A crossover criterion determines as a function of bandwidth, temperature and probe parameters whether thermal or detector noise is the dominating noise source. Probe merit factors for both cases are then established, suggesting how to tackle noise performance by probe design. Typical merit factors of common probe types are compared. This comprehensive study is an encouraging step toward a more integral performance assessment and a remedy against focusing on single aspects and optimizing around randomly chosen key values.
Technical Report Number 2007-536 Penalty Minimization in Scheduling a Set of Soft Real-Time Tasks ∗

A soft real-time task is one whose completion time is recommended by a specific deadline. However, should the deadline be missed, such a task is not considered to have failed; only the later it finishes, the higher the penalty that is paid. For a set of soft real-time tasks that are to be scheduled on a single machine under overload conditions, our objective is to minimize the total penalty paid. This optimization problem is NP-hard. In this paper, we prove a number of properties of any optimal scheduling algorithm for the problem. Then, we provide a number of heuristic algorithms which satisfy the properties obtained herein. Numerical simulations are presented to compare the penalty to be paid by the algorithms. We also determine an upper bound for the optimal solution to the problem. Numerical results that compare the upper bound with the optimal solution and the heuristic algorithms are provided.
Motion estimation for sequential medical images using a deformable model

The gradient method, which is a conventional method of motion analysis, has the problem that artifacts appear near contours or edges with a large brightness gradient. Another method, which applies a deformable model to the deforming object, has the opposite problem, namely, that the accuracy of estimation is degraded in areas with small brightness gradients. In order to handle such problems, this paper proposes a new deformable model in which the motion of each part of a pliantly deforming object is estimated. In this method, a term based on local optimization is added to the interframe energy following the conventional definition, so that the shape and the motion minimizing the energy are simultaneously determined. More accurate estimation of the motion is realized owing to the multiplicative effect of the term based on the brightness gradient composing the interframe external energy, and the term based on local optimization. The proposed method is applied to time-series chest MR images and its effectiveness is verified. © 2005 Wiley Periodicals, Inc. Syst Comp Jpn, 36(4): 27–36, 2005; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ scj.20146