ppxscal/embedding_network huggingface dataset:
Implementation and evaluation of palm leaf manuscript metadata schema (PLMM)
Authors: Nisachol Chamnongsri, Lampang Manmart, Vilas Wuwongse
Venue: Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries (2009)

The evaluation of Palm Leaf Manuscripts Metadata Schema (PLMM) aims to examine whether the PLMM satisfactorily meets the user requirements in searching for the PLMs and managing the PLMs collection. (1) An examination of the PLMM's capability in describing the particular characteristics of Northeastern Thai Palm Leaf Manuscripts, and its usefulness in the palm leave manuscripts preservation and rights control management (2) an investigation of users' satisfaction when using PLMM to search for the PLMs and managing the PLMs collection. The evaluation process began with the development of the prototype of PLMs management system to implement the PLMM. Then, more than 200 metadata records describing all types of sample PLMs (with variations in sizes, scripts, languages, titles, and number of content subjects contained in a fascicle) were provided in Extensible Markup Language (XML) format, while system interfaces and queries were developed with Hypertext Preprocessor (PHP). This was followed by the trials with end users and staff in their workplace in order to evaluate the usefulness of PLMM in user tasks according to the FRBR tasks: find, identify, select, and obtain; and collection development tasks. The research found that 'somewhat high' efficiency of the PLMM was perceived among the participants in the two tasks. The finding also suggests that perceived efficiency of the PLMM was significantly higher with more years of users' experience with the PLMs. The status of users is another factor which positively affected the perceived efficiency of the PLMM.
An Ontology-Based Decision Support System for Judges
Authors: Pompeu Casanovas, Núria Casellas, Joan-Josep Vallbé
Venue: Proceeding of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood (2009)

This article briefly outlines how the Iuriservice application was envisioned, the modeling process of the Ontology of Professional Judicial Knowledge, and the contribution of the users to the global development of this system. Iuriservice offers a semantically enabled FAQ search system for the Spanish judges in their first appointment. The system is now at the first stage of implementation in the Spanish Judicial School. Users may input questions to the system in natural language to obtain access to a database of experience-based answers to practical day-to-day questions. In order to offer the question-answer pair from the application database that best matches the input question, the search system is enhanced using ontologies. Some lessons learned are also outlined.
Toward Solving Equations in Kleene Algebras
Authors: F. Lajeunesse-Robert, B. Ktari
Venue: Proceeding of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07 (2007)

This work aims to investigate conditions under which program analysis can be viewed as algebraically solving equations involving terms of subclasses of Kleene algebras and variables. In this paper, we show how to solve a kind of linear equations in which the variables appear only on one side of the equality sign, over an idempotent semiring with identity and zero. Furthermore, we give some ideas showing how to extend the resolution method to other classes of equations and algebraic structures.
A computational approach to Yor&ugrave;b&aacute; morphology
Authors: Raphael Finkel, Odetunji Ajadi Odejobi
Venue: Proceedings of the First Workshop on Language Technologies for African Languages (2009)

We demonstrate the use of default default inheritance hierarchies to represent the morphology of Yor&ugrave;b&aacute; verbs in the KATR formalism, treating inflectional exponences as markings associated with the application of rules by which complex word forms are deduced from simpler roots or stems. In particular, we suggest a scheme of slots that together make up a verb and show how each slot represents a subset of the morphosyntactic properties associated with the verb. We also show how we can account for the tonal aspects of Yor&ugrave;b&aacute;, in particular, the tone associated with the emphatic ending. Our approach allows linguists to gain an appreciation for the structure of verbs, gives teachers a foundation for organizing lessons in morphology, and provides students a technique for generating forms of any verb.
A Spoken Translation Game for Second Language Learning
Authors: Chao Wang, Stephanie Seneff
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

In this paper, we describe a Web-based spoken translation game aimed at providing language learners with an easily accessible and fun environment to practice speaking the foreign language. Our prototype centers on the task of translating flight domain sentences from English to Chinese. The system presents English sentences as stimuli to elicit Chinese utterances from a user. It tracks a user's performance and rewards them with advancements in difficulty level. A user study was conducted involving 12 learners of Mandarin Chinese. Each participant played the game and answered survey questions. The system achieved 9.7% word error rate on 2834 non-native utterances collected in the user study. All subjects thought the system was helpful at improving their Chinese, and most of them would play it again and recommend it to their Chinese-learning friends.
Designing incentives for online question and answer forums
Authors: Shaili Jain, Yiling Chen, David C. Parkes
Venue: Proceedings of the tenth ACM conference on Electronic commerce (2009)

In this paper, we provide a simple game-theoretic model of an online question and answer forum. We focus on factual questions in which user responses aggregate while a question remains open. Each user has a unique piece of information and can decide when to report this information. The asker prefers to receive information sooner rather than later, and will stop the process when satisfied with the cumulative value of the posted information. We consider two distinct cases: a complements case, in which each successive piece of information is worth more to the asker than the previous one; and a substitutes case, in which each successive piece of information is worth less than the previous one. A best-answer scoring rule is adopted to model Yahoo! Answers, and is effective for substitutes information, where it isolates an equilibrium in which all users respond in the first round. But we find that this rule is ineffective for complements information, isolating instead an equilibrium in which all users respond in the final round. In addressing this, we demonstrate that an approval-voting scoring rule and a proportional-share scoring rule can enable the most efficient equilibrium with complements information, under certain conditions, by providing incentives for early responders as well as the user who submits the final answer.
Automated Legal Assessment in OWL 2
Authors: Saskia van de Ven, Joost Breuker, Rinke Hoekstra, Lars Wortel
Venue: Proceeding of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference (2008)

In this paper we describe HARNESS, a legal knowledge-based system that is developed in the context of ESTRELLA. This system is primarily aimed at the task of legal assessment, i.e. determining whether some case violates and/or complies with legal norms. We explain how the sound and complete reasoning provided by OWL-DL reasoners is exploited by a careful representation of norms, using examples from law on taxation of gifts. We describe a plugin for Protégé 4 that enables easy experimentation for this system, powered by Pellet.
Attribute-value specification in customs fraud detection: a human-aided approach
Authors: Norton T. Roman, Cristiano D. Ferreira, Luis A. A. Meira, Rodrigo Rezende, Luciano A. Digiampietri, Jorge Jambeiro Filho
Venue: Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government (2009)

With the growing importance of foreign commerce comes also greater opportunities for fraudulent behaviour. As such, governments must try to detect frauds as soon as they take place, if they are to avoid the profound damage to the society frauds may cause. Although current fraud detection systems can be used on this endeavour with reasonable accuracy, they still suffer with the inconsistencies and ambiguities of unstructured databases, especially in customs. To deal with this kind of problem, we propose a twofold approach: building a brand new structured database, keeping it as clean as possible; and mining the current database for the desired information. Then, as a first contribution, we present a methodology for mining product attribute-value pairs in unstructured text datasets, bringing more structure to the current customs database. Next, as our second contribution, we introduce a system for building a structured database for the Brazilian customs and keeping it with as few redundancies as possible. Both systems aim at building datasets capable of improving the accuracy of fraud detection systems.
An Uplink Bandwidth Management Framework for IEEE 802.16 with QoS Guarantees
Authors: Mohamad Masri, Slim Abdellatif, Guy Juanole
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

This paper presents a novel uplink bandwidth management framework for IEEE 802.16 WiMAX. This framework is destined to be used in a scenario where a large number of connections are simultaneously active, as may be the case when WiMAX is used as a backhaul for WiFi hotspots. In such a scenario we propose a simple and efficient scheduling discipline for the WiMAX uplink traffic. We also propose an admission control algorithm and a modification of the complex bandwidth request mechanisms. The framework we propose in this paper was analyzed: simulation results show a significant performance improvement in terms of overall throughput and delay when compared to recently published work.
Bonding of Cu-based high aspect ratio microscale structures with Sn intermediate layers
Authors: Fanghua Mei, Ke Chen, B. Lu, Wen Jin Meng
Venue: Microsystem Technologies (2009)

Simple and effective protocols for bonding Cu-based high-aspect-ratio microscale structures (HARMSs) are essential for assembly of Cu-based microdevices. In this paper, Cu-to-Cu bonding with thin intermediate layers of elemental Sn is explored. Bonding quality is assessed through quantitative evaluation of tensile bond strength as a function of bonding parameters such as temperature and applied pressure. Structural examination of the Cu/Sn/Cu interface region is accomplished by combining focused ion beam sectioning and imaging with ion-induced secondary electrons. Successful bonding of Cu-based HARMSs to flat Cu plates with Sn intermediate layers is demonstrated, as well as assembly of all-Cu microfluidic prototypes.
Close Color Pair Signature ensemble Adaptive Threshold based Steganalsis for LSB Embedding in Digital Images
Authors: S. Geetha, Siva S. Sivatha Sindhu, N. Kamaraj
Venue: Transactions on Data Privacy (2008)

We present a novel technique for effective steganalysis of high-color-depth digital images that have been subjected to embedding by LSB steganographic algorithms. The detection theory is based on the idea that under repeated embedding, the disruption of the signal characteristics is the highest for the first embedding and decreases subsequently. That is the marginal distortions due to repeated embeddings decrease monotonically. This decreasing distortion property exploited with Close Color Pair signature is used to construct the classifier that can distinguish between stego and cover images. For evaluation, a database composed of 1200 plain and stego images (at 10% and 20% payload and each one artificially adulterated with 20% additional data) was established. Based on this database, extensive experiments were conducted to prove the feasibility of our proposed system. Our main results are (i) a 90%+ positive-detection rate; (ii) Close Color Pair ratio is not modified significantly when additional bit streams are embedded into a test image that is already tampered with a message.; (iii) an image quality metric Czenakowski Measure, that is substantially sensitive to LSB embedding is utilized to derive the effective image adaptive threshold; (iv) capable of detecting stego images with an embedding of even 10% payload while the earlier methods can achieve the same detection rate only with 20% payload.
Formalising ordinary legal disputes: a case study
Authors: Henry Prakken
Venue: Artificial Intelligence and Law (2008)

This paper presents a formal reconstruction of a Dutch civil legal case in Prakken's formal model of adjudication dialogues. The object of formalisation is the argumentative speech acts exchanged during the dispute by the adversaries and the judge. The goal of this formalisation is twofold: to test whether AI & law models of legal dialogues in general, and Prakken's model in particular, are suitable for modelling particular legal procedures; and to learn about the process of formalising an actual legal dispute.
Stochastic resonance aided tactile sensing
Authors: Masahiro Ohka, Shingo Kondo
Venue: Robotica (2009)

Stochastic resonance (SR) is one of the basic principles intrinsically possessed by any living thing to highly adapt to complicated environments including various disturbances. Although a noise is inevitably mixed by contact with an object and a sensor's movement on it in tactile sensing, a human being can evaluate the several micrometers of unevenness on the object surface by means of SR. We intend to apply SR to tactile sensing and to develop a tactile sensing system capable of measuring an object surface with high precision in not only a controlled environment like a precision measurement room but also in a living environment. First, we investigate the SR characteristic possessed by a Hodgkin–Huxley model capable of emulating squid's neuron activities. According to the simulation results, we develop a new electronic circuit capable of generating the SR. We perform the object surface scan using a linear stage equipped with a tactile sensor and the circuit. A series of object surface scanning tests is repeated while changing the intensity of applied noise, and the signal to noise ratio (SNR, hereafter) is calculated from the obtained measurement data to check the effect of the SR. In the experiment, striped textures with a height of δ = 5 ~ 30 μm are used as specimens. The SNR changes depending on the noise intensity, and the local maximum appears under a proper noise. It is found that the sensing accuracy is improved according to the aforementioned SR theory. Therefore, SR, which is usually applied to noisy environments, is effective for a tactile sensing system.
Blockwise coordinate descent procedures for the multi-task lasso, with applications to neural semantic basis discovery
Authors: Han Liu, Mark Palatucci, Jian Zhang
Venue: Proceedings of the 26th Annual International Conference on Machine Learning (2009)

We develop a cyclical blockwise coordinate descent algorithm for the multi-task Lasso that efficiently solves problems with thousands of features and tasks. The main result shows that a closed-form Winsorization operator can be obtained for the sup-norm penalized least squares regression. This allows the algorithm to find solutions to very large-scale problems far more efficiently than existing methods. This result complements the pioneering work of Friedman, et al. (2007) for the single-task Lasso. As a case study, we use the multi-task Lasso as a variable selector to discover a semantic basis for predicting human neural activation. The learned solution outperforms the standard basis for this task on the majority of test participants, while requiring far fewer assumptions about cognitive neuroscience. We demonstrate how this learned basis can yield insights into how the brain represents the meanings of words.
Optimal Algorithms for k-Search with Application in&#x00a0;Option Pricing
Authors: Julian Lorenz, Konstantinos Panagiotou, Angelika Steger
Venue: Algorithmica (2009)

In the k-search problem, a player is searching for the k highest (respectively, lowest) prices in a sequence, which is revealed to her sequentially. At each quotation, the player has to decide immediately whether to accept the price or not. Using the competitive ratio as a performance measure, we give optimal deterministic and randomized algorithms for both the maximization and minimization problems, and discover that the problems behave substantially different in the worst-case. As an application of our results, we use these algorithms to price &#x201c;lookback options&#x201d;, a particular class of financial derivatives. We derive bounds for the price of these securities under a no-arbitrage assumption, and compare this to classical option pricing.
Robust tracking with H∞ performance for PWM systems
Authors: Hisaya Fujioka, Chung-Yao Kao, Stefan Almér, Ulf Jönsson
Venue: Automatica (Journal of IFAC) (2009)

Control synthesis for robust tracking is considered for a class of pulse-width modulated systems that appear, for example, in power electronics applications. The control objective is to regulate a high frequency ripple signal to robustly track a constant reference signal in an average sense. To achieve this goal, a new H"~ control problem with integral action and average sampling is proposed. The solution of this problem involves a hybrid lifting framework which requires a careful elaboration in order to develop an algorithm that allows one to solve the design problem by the standard state space formulas for H"~ control. The design procedure is verified on a synchronous buck converter.
Study of electrical / dielectric and thermomechanical properties of polymer: carbon nanotubes nanocomposites
Authors: A. Kanapitsas, C. Tsonos, D. Triantis, E. Logakis, C. Pandis, P. Pissis
Venue: Proceedings of the 1st WSEAS international conference on Nanotechnology (2009)

The influence of multi-walled carbon nabotubes(MWCNT) on electric/dielectric, thermal and mechanical properties of CNT - reinforced polymer nanocomposites is studied. The nanocomposites under study was polyamide-6 polymer matrix filled with MWCNTs (PA-6/MWCNT), and polypropylene polymer matrix filled with MWCNTs (PP/MWCNT). The investigation is focused on electrical and dielectric properties in relation to percolation : ac and dc conductivity above the percolation threshold pc and dielectric permittivity, ε′ below pc. To that aim, broadband dielectric relaxation spectroscopy (DRS) was used. In addition, the effect of MWCNT on the thermal transitions and thermomechanical properties (storage modulus, loss tangent) of the nanocomposites was examined by dynamic mechanical analysis (DMTA) measurements.
Application of Clustering Techniques in a Network Security Testing System
Authors: Guiomar Corral, Elisabet Golobardes, Oriol Andreu, Isard Serra, Elisabet Maluquer, Àngel Martínez
Venue: Proceeding of the 2005 conference on Artificial Intelligence Research and Development (2005)

Security has become a main concern in corporate networks. In order to keep a network protected it is necessary to periodically perform security tests to control devices and services, and also identify possible vulnerabilities. Never two networks behave the same way; thus, results obtained from security tests may substantially differ from one to another. In this case, trying to manually find a behavior pattern for all networks becomes a difficult task. Unsupervised techniques can help security analysts finding certain devices patterns, and also help revealing hidden problems in network security. This paper proposes a solution based on unsupervised techniques to help security analysts handling all the information obtained from security tests in order to detect abnormal groups of devices or atypical system behaviors.
The optimization of hybrid scaffold fabrication process in precision deposition system using design of experiments
Authors: Jong Young Kim, Dong-Woo Cho
Venue: Microsystem Technologies (2009)

In recent tissue engineering field, it is being reported that the fabrication of three-dimensional (3D) scaffolds having high porous and controlled internal/external architectures can give potential contributions in cell adhesion, proliferation and differentiation. To fabricate these scaffolds, various rapid prototyping technologies are being applied to. The rapid prototyping technology has made it possible to fabricate solid free-form 3D microstructures in layer-by-layer process. In this research, we introduce the development of precision deposition system, which is one of rapid prototyping technologies, and the fabrication result of scaffold using design of experiments (DOE) to optimize the deposition process. The precision deposition system required the combination of several technologies, including motion control, thermal control, pneumatic control, and CAD/CAM software. Through the organization of experimental approach using DOE, the fabrication process of hybrid scaffold, which is composed of blended poly-caprolactone, poly-lactic-co-glycolic acid and tricalcium phosphate, is established to get a uniform line width, line height and porosity efficiently.
Automated Design Improvement by Example
Authors: Mark O'Keeffe, Mel Ó Cinnéide
Venue: Proceeding of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07 (2007)

The high cost of software maintenance could potentially be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have constructed a software tool capable of refactoring object-oriented programs to conform more closely to design quality models based on a set of metrics, by formulating the task as a search problem in the space of alternative designs. However, no consensus exists on a single quality model for object-oriented design, since the definition of 'quality' can depend on the purpose, pedigree and perception of the maintenance programmer. We therefore demonstrate here the flexibility of our approach by automatically refactoring several Java programs to conform with quality models based on the metric values of example programs. Results show that an object-oriented program can be automatically refactored to reduce its dissimilarity in terms of a set of design metrics to another program having some desirable trait, such as ease of maintenance.