snu-aidas/HVMap-dataset huggingface dataset:
SALMA: Standard Arabic Language Morphological Analysis

Morphological analyzers are preprocessors for text analysis. Many Text Analytics applications need them to perform their tasks. This paper reviews the SALMA-Tools (Standard Arabic Language Morphological Analysis) [1]. The SALMA-Tools is a collection of open-source standards, tools and resources that widen the scope of Arabic word structure analysis - particularly morphological analysis, to process Arabic text corpora of different domains, formats and genres, of both vowelized and non-vowelized text. Tag-assignment is significantly more complex for Arabic than for many languages. The morphological analyzer should add the appropriate linguistic information to each part or morpheme of the word (proclitic, prefix, stem, suffix and enclitic); in effect, instead of a tag for a word, we need a subtag for each part. Very fine-grained distinctions may cause problems for automatic morphosyntactic analysis - particularly probabilistic taggers which require training data, if some words can change grammatical tag depending on function and context; on the other hand, fine-grained distinctions may actually help to disambiguate other words in the local context. The SALMA - Tagger is a fine grained morphological analyzer which is mainly depends on linguistic information extracted from traditional Arabic grammar books and prior-knowledge broad-coverage lexical resources; the SALMA - ABCLexicon. More fine-grained tag sets may be more appropriate for some tasks. The SALMA - Tag Set is a standard tag set for encoding, which captures long-established traditional fine-grained morphological features of Arabic, in a notation format intended to be compact yet transparent.
Can Structural Models Price Default Risk ? Evidence from Bond and Credit Derivative Markets ∗

Using a set of structural models, we evaluate the price of default protection for a sample of US corporations. In contrast to previous evidence from corporate bond data, CDS premia are not systematically underestimated. In fact, one of our studied models has little difficulty on average in predicting their level. For robustness, we perform the same exercise for bond spreads by the same issuers on the same trading date. As expected, bond spreads relative to the Treasury curve are systematically underestimated. This is not the case when the swap curve is used as a benchmark, suggesting that previously documented underestimation results may be sensitive to the choice of risk free rate. ∗We are indebted to seminar participants at Wilfrid Laurier University, Carnegie Mellon University, the Bank of Canada, McGill University and Queen’s University for helpful discussions. In addition, we are grateful to participants of the 2005 EFA in Moscow, the 2005 NFA in Vancouver, the 2006 CFP Vallendar conference and the 2006 Moody’s NYU Credit Risk Conference. We are particularly grateful to Stephen Schaefer for comments. †Faculty of Management, McGill University, 1001 Sherbrooke Street West, Montreal QC, H3A 1G5 Canada. Tel +1 514 398-3186, Fax +1 514 398-3876, Email jan.ericsson@mcgill.ca. ‡Stockholm School of Economics, Department of Finance, Box 6501, S-113 83 Stockholm, Sweden. Tel: +46 8 736 9143, fax +46 8 312327. 1
To ban or not to ban: Differences in mobile phone policies at elementary, middle, and high schools

The present study was to examine differences in mobile phone policies at elementary, middle and high schools. We surveyed 245 elementary, middle and high schools teachers in Shenzhen of China, using a specially designed 18-item questionnaire. Teachers’ responses indicate that, across elementary, middle and high schools, significant differences exist in (1) students’ percentages of using mobile phones among students, (2) students’ dependence of mobile phones, (3) the number of schools banning students’ mobile phone use, (4) oral and written forms used by schools to ban students’ mobile phone use, and (5) policy reinforcement strategies used by schools. However, no school-level differences was found in (1) students’ fondness of using mobile phones, (2) teachers’ assessment of low-level effectiveness of mobile phone policies, and (3) teachers’ policy improvement recommendations. Significance and implications of the findings are discussed. 2014 Elsevier Ltd. All rights reserved.
The effect of different types of corrective feedback on ESL student writing

Debate about the value of providing corrective feedback on L2 writing has been prominent in recent years as a result of Truscott’s [Truscott, J. (1996). The case against grammar correction in L2 writing classes. Language Learning, 46, 327–369] claim that it is both ineffective and harmful and should therefore be abandoned. A growing body of empirical research is now investigating the agenda proposed by Ferris [Ferris, D.R. (1999). The case for grammar correction in L2 writing classes. A response to Truscott (1996). Journal of Second Language Writing, 8, 1–10, Ferris, D.R. (2004). The ‘‘Grammar Correction’’ debate in L2 writing: Where are we, and where do we go from here? (and what do we do in the meantime. . .?). Journal of Second Language Writing, 13, 49–62.]. Contributing to this research base, the study reported in this article investigated whether the type of feedback (direct, explicit written feedback and student–researcher 5 minute individual conferences; direct, explicit written feedback only; no corrective feedback) given to 53 adult migrant students on three types of error (prepositions, the past simple tense, and the definite article) resulted in improved accuracy in new pieces of writing over a 12 week period. The study found a significant effect for the combination of written and conference feedback on accuracy levels in the use of the past simple tense and the definite article in new pieces of writing but no overall effect on accuracy improvement for feedback types when the three error categories were considered as a single group. Significant variations in accuracy across the four pieces of writing support earlier SLA discoveries that L2 learners, in the process of acquiring new linguistic forms, may perform them with accuracy on one occasion but fail to do so on other similar occasions. # 2005 Elsevier Inc. All rights reserved.
A round- and computation-efficient three-party authenticated key exchange protocol

In three-party authenticated key exchange protocols, each client shares a secret only with a trusted server with assists in generating a session key used for securely sending messages between two communication clients. Compared with two-party authenticated key exchange protocols where each pair of parties must share a secret with each other, a three-party protocol does not cause any key management problem for the parties. In the literature, mainly there exist three issues in three-party authenticated key exchange protocols are discussed that need to be further improved: (1) to reduce latency, communication steps in the protocol should be as parallel as possible; (2) as the existence of a security-sensitive table on the server side may cause the server to become compromised, the table should be removed; (3) resources required for computation should be as few as possible to avoid the protocol to become an efficiency bottleneck. In various applications over networks, a quick response is required especially by light-weight clients in the mobile e-commerce. In this paper, a roundand computation-efficient three-party authenticated key exchange protocol is proposed which fulfils all of the above mentioned requirements. 2007 Elsevier Inc. All rights reserved.
Gradient Flow in Recurrent Nets: the Difficulty of Learning Long-Term Dependencies

D3EGF(FIH)J KMLONPEGQSRPETN UCV.WYX(Z R.[ V R6\M[ X N@]_^O\`JaNcb V RcQ W d EGKeL(^(QgfhKeLOE?i)^(QSj ETNPfPQkRl[ V R)m"[ X ^(KeLOEG^ npo qarpo m"[ X ^(KeLOEG^tsAu EGNPb V ^ v wyx zlwO{(|(}<~OC}((xp{ay.~A}_~ Cl3#|<Azw#|l6 (|  JpfhL XV EG^O QgJ  ETFOR] ^O\JNPb V RcQ X E)ETR 6EGKeLOETNcKMLOE F ETN V RcQgJp^(^OE ZgZ E i ^(Qkj EGNPfhQSRO E OE2m1Jp^ RcNY E VZ sO! ¡ q.n sCD X KGKa8¢EG^ RPNhE¤£ ¥¦Q ZgZ Es m§J^ RPNO E VZ s( ̈ X  EG©#EKas# V ^ V  V s(H a «a¬3­ ®#|.Y ̄y} xa°OC}l{x  yxlY~3{|  ±2Pz   V J Z J U N V fhKTJp^(Q  ETFOR J\ D vYf3RPEGb ́f V ^(§JpbF X RPETN@D KTQEG^(KTE i ^(QSjpEGNPfhQSR4vμJ\ U¶Z JaNPEG^(K·E jYQ V (Q ̧D V ^ R V m V N3R V aOs#1 o ¡Ga r U QNhE^OoTE1⁄4»,] R VZ vC1⁄2 3⁄4  x ± x  #¿ }À 3t}lC}2P}<~ ¬t[ X NPE^§D KeL(b ́Qg(L X ©yETN ]  DY]_Á JNPfhJÃÂ Z j EToQ V a rpopo2Ä X  V ^(J(sCD Å)QSRPoTEGN ZgV ^( Æ #|{3 ̄|.(C}.C¿Y}p Pzw
RISK FACTORS FOR INJURY TO WOMEN FROM DOMESTIC VIOLENCE

A BSTRACT Background Domestic violence is the most common cause of nonfatal injury to women in the United States. To identify risk factors for such injuries, we examined the socioeconomic and behavioral characteristics of women who were victims of domestic violence and the men who injured them. Methods We conducted a case–control study at eight large, university-affiliated emergency departments. The 256 intentionally injured women had acute injuries resulting from a physical assault by a male partner. The 659 controls were women treated for other conditions in the emergency department. Information was collected with a standardized questionnaire; no information was obtained directly from the male partners. Results The 256 intentionally injured women had a total of 434 contusions and abrasions, 89 lacerations, and 41 fractures and dislocations. In a multivariate analysis, the characteristics of the partners that were most closely associated with an increased risk of inflicting injury as a result of domestic violence were alcohol abuse (adjusted relative risk, 3.6; 95 percent confidence interval, 2.2 to 5.9); drug use (adjusted relative risk, 3.5; 95 percent confidence interval, 2.0 to 6.4); intermittent employment (adjusted relative risk, 3.1; 95 percent confidence interval, 1.1 to 8.8); recent unemployment (adjusted relative risk, 2.7; 95 percent confidence interval, 1.2 to 6.5); having less than a high-school education (adjusted relative risk, 2.5; 95 percent confidence interval, 1.4 to 4.4); and being a former husband, estranged husband, or former boyfriend (adjusted relative risk, 3.5; 95 percent confidence interval, 1.5 to 8.3). Conclusions Women at greatest risk for injury from domestic violence include those with male partners who abuse alcohol or use drugs, are unemployed or intermittently employed, have less than a high-school education, and are former husbands, estranged husbands, or former boyfriends of the women. (N Engl J Med 1999;341:1892-8.)
Predicting student academic performance in an engineering dynamics course: A comparison of four types of predictive mathematical models

Predicting student academic performance has long been an important research topic in many academic disciplines. The present study is the first study that develops and compares four types of mathematical models to predict student academic performance in engineering dynamics – a high-enrollment, highimpact, and core course that many engineering undergraduates are required to take. The four types of mathematical models include the multiple linear regression model, the multilayer perception network model, the radial basis function network model, and the support vector machine model. The inputs (i.e., predictor variables) of the models include student’s cumulative GPA, grades earned in four pre-requisite courses (statics, calculus I, calculus II, and physics), and scores on three dynamics mid-term exams (i.e., the exams given to students during the semester and before the final exam). The output of the models is students’ scores on the dynamics final comprehensive exam. A total of 2907 data points were collected from 323 undergraduates in four semesters. Based on the four types of mathematical models and six different combinations of predictor variables, a total of 24 predictive mathematical models were developed from the present study. The analysis reveals that the type of mathematical model has only a slight effect on the average prediction accuracy (APA, which indicates on average how well a model predicts the final exam scores of all students in the dynamics course) and on the percentage of accurate predictions (PAP, which is calculated as the number of accurate predictions divided by the total number of predictions). The combination of predictor variables has only a slight effect on the APA, but a profound effect on the PAP. In general, the support vector machine models have the highest PAP as compared to the other three types of mathematical models. The research findings from the present study imply that if the goal of the instructor is to predict the average academic performance of his/her dynamics class as a whole, the instructor should choose the simplest mathematical model, which is the multiple linear regression model, with student’s cumulative GPA as the only predictor variable. Adding more predictor variables does not help improve the average prediction accuracy of any mathematical model. However, if the goal of the instructor is to predict the academic performance of individual students, the instructor should use the support vector machine model with the first six predictor variables as the inputs of the model, because this particular predictor combination increases the percentage of accurate predictions, and most importantly, allows sufficient time for the instructor to implement subsequent educational interventions to improve student learning. 2012 Elsevier Ltd. All rights reserved.
AUTOMATIC BLOOD VESSEL SEGMENTATION IN COLOR IMAGES OF RETINA

Automated image processing techniques have the ability to assist in the early detection of diabetic retinopathy disease which can be regarded as a manifestation of diabetes on the retina. Blood vessel segmentation is the basic foundation while developing retinal screening systems, since vessels serve as one of the main retinal landmark features. This paper proposes an automated method for identification of blood vessels in color images of the retina. For every image pixel, a feature vector is computed that utilizes properties of scale and orientation selective Gabor filters. The extracted features are then classified using generative Gaussian mixture model and discriminative support vector machines classifiers. Experimental results demonstrate that the area under the receiver operating characteristic (ROC) curve reached a value 0.974, which is highly comparable and, to some extent, higher than the previously reported ROCs that range from 0.787 to 0.961. Moreover, this method gives a sensitivity of 96.50% with a specificity of 97.10% for identification of blood vessels. Keywords– Retinal blood vessels, Gabor filters, support vector machines, vessel segmentation
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom

This paper presents a type theory in which it is possible to directly manipulate n-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways to reason about identity types, for instance, function extensionality is directly provable in the system. Further, Voevodsky’s univalence axiom is provable in this system. We also explain an extension with some higher inductive types like the circle and propositional truncation. Finally we provide semantics for this cubical type theory in a constructive meta-theory. 1998 ACM Subject Classification F.3.2 Logics and Meanings of Programs: Semantics of Programming Languages, F.4.1 Mathematical Logic and Formal Languages: Mathematical Logic
Computational higher-dimensional type theory

Formal constructive type theory has proved to be an effective language for mechanized proof. By avoiding non-constructive principles, such as the law of the excluded middle, type theory admits sharper proofs and broader interpretations of results. From a computer science perspective, interest in type theory arises from its applications to programming languages. Standard constructive type theories used in mechanization admit computational interpretations based on meta-mathematical normalization theorems. These proofs are notoriously brittle; any change to the theory potentially invalidates its computational meaning. As a case in point, Voevodsky's univalence axiom raises questions about the computational meaning of proofs.  We consider the question: Can higher-dimensional type theory be construed as a programming language? We answer this question affirmatively by providing a direct, deterministic operational interpretation for a representative higher-dimensional dependent type theory with higher inductive types and an instance of univalence. Rather than being a formal type theory defined by rules, it is instead a computational type theory in the sense of Martin-Löf's meaning explanations and of the NuPRL semantics. The definition of the type theory starts with programs; types are specifications of program behavior. The main result is a canonicity theorem stating that closed programs of boolean type evaluate to true or false.
Hull-form optimization in calm and rough water

The paper presents a formal methodology for the hull form optimization in calm and rough water using wash waves and selected dynamic responses, respectively. Parametric hull form modeling is used to generate the variant hull forms with some of the form parameters modified, which are evaluated in the optimization scheme based on evolutionary strategies. Rankine-source panel method and strip theories are used for the hydrodynamic evaluation. The methodology is implemented in the optimization of a double-chine, planing hull form. Furthermore, a dual-stage optimization strategy is applied on a modern fast displacement ferry. The effect of the selected optimization parameters is presented and discussed. Crown Copyright© 2009 Published by Elsevier Ltd. All rights reserved.
Supply chain risk management in French companies

Available online 22 November 2011
SOFIA: An automated security oracle for black-box testing of SQL-injection vulnerabilities

Security testing is a pivotal activity in engineering secure software. It consists of two phases: generating attack inputs to test the system, and assessing whether test executions expose any vulnerabilities. The latter phase is known as the security oracle problem.  In this work, we present SOFIA, a Security Oracle for SQL-Injection Vulnerabilities. SOFIA is programming-language and source-code independent, and can be used with various attack generation tools. Moreover, because it does not rely on known attacks for learning, SOFIA is meant to also detect types of SQLi attacks that might be unknown at learning time. The oracle challenge is recast as a one-class classification problem where we learn to characterise legitimate SQL statements to accurately distinguish them from SQLi attack statements.  We have carried out an experimental validation on six applications, among which two are large and widely-used. SOFIA was used to detect real SQLi vulnerabilities with inputs generated by three attack generation tools. The obtained results show that SOFIA is computationally fast and achieves a recall rate of 100% (i.e., missing no attacks) with a low false positive rate (0.6%).
Computational analysis of the safe zone for the antegrade lag screw in posterior column fixation with the anterior approach in acetabular fracture: A cadaveric study.

OBJECTIVE
The fluoroscopically-guided procedure of antegrade posterior lag screw in posterior column fixation through anterior approach is technique-dependent and requires an experienced surgeon. The purpose of this study was to establish the safe zone for the antegrade posterior lag screw by using computational analysis.


METHOD
The virtual three-dimensional model of 178 hemi-pelvises was created from the CT data (DICOM format) by using Mimics® program, and were used to measure the safe zone of antegrade lag screw fixation on the inner table of the iliac wing, and the largest diameter of cylindrical implant inside safe zone. The central point (point A) of the cylinder was assessed and was compared with the intersection point (point B) between the linea terminalis and the anterior border of the sacroiliac articulation.


RESULTS
The safe zone was triangular with an average area of 670.4mm2 (range, 374.8-1084.5mm2). The largest diameter of the cylinder was a mean 7.4mm (range, 5.0-10.0mm). When height was under 156.3cm, the diameter of the cylindrical implant was smaller than 7.0mm (p<0.001, regression coefficient=0.09). The linear distance between points A and B was 32.5mm (range, 19.2-49.3mm). Point A was far enough away from the well-positioned anterior column plate to prevent collision between the two.


CONCLUSION
The safe zone was shaped like a triangle, and was large enough for multiple screws. Considering the straight-line distance between points A and B, the central screw can be fixed without overlapping with the well-positioned anterior column plate at the point between holes 2 and 3.
On optimal fuzzy c-means clustering for energy efficient cooperative spectrum sensing in cognitive radio networks

This work explores the scope of Fuzzy C-Means (FCM) clustering on energy detection based cooperative spectrum sensing (CSS) in single primary user (PU) cognitive radio network (CRN). PU signal energy sensed at secondary users (SUs) are forwarded to the fusion center (FC). Two different combining schemes, namely selection combining (SC) and optimal gain combining are performed at FC to address the sensing reliability problem on two different optimization frameworks. In the first work, optimal cluster center points are searched for using differential evolution (DE) algorithm to maximize the probability of detection under the constraint of meeting the probability of false alarm below a predefined threshold. Simulation results highlight the improved sensing reliability compared to the existing works. In the second one, the problem is extended to the energy efficient design of CRN. The SUs act here as amplifyand-forward (AF) relays and PU energy content is measured at the FC over the combined signal from all the SUs. The objective is to minimize the average energy consumption of all SUs while maintaining the predefined sensing ∗. Santi P. Maity . Email addresses: santipmaity@it.iiests.ac.in (Santi P. Maity ), subhankar.ece@gmail.com (Subhankar Chatterjee), t_acharya@telecom.iiests.ac.in (Tamaghna Acharya) Preprint submitted to Elsevier October 28, 2015 constraints. Optimal FCM clustering using DE determines the optimal SU amplifying gain and the optimal number of PU samples. Simulation results shed a light on the performance gain of the proposed approach compared to the existing energy efficient CSS schemes.