ppxscal/embedding_network huggingface dataset:
Error Detection and Fault Tolerance in ECSM Using Input Randomization
Authors: Agustin Dominguez-Oviedo, M. Anwar Hasan
Venue: IEEE Transactions on Dependable and Secure Computing (2009)

For some applications, elliptic curve cryptography (ECC) is an attractive choice because it achieves the same level of security with a much smaller key size in comparison with other schemes such as those that are based on integer factorization or discrete logarithm. For security reasons, especially to provide resistance against fault-based attacks, it is very important to verify the correctness of computations in ECC applications. In this paper, error-detecting and fault-tolerant elliptic curve cryptosystems are considered. Error detection may be a sufficient countermeasure for many security applications; however, fault-tolerant characteristic enables a system to perform its normal operation in spite of faults. For the purpose of detecting errors due to faults, a number of schemes and hardware structures are presented based on recomputation or parallel computation. It is shown that these structures can be used for detecting errors with a very high probability during the computation of the elliptic curve scalar multiplication (ECSM). Additionally, we show that using parallel computation along with either PV or recomputation, it is possible to have fault-tolerant structures for the ECSM. If certain conditions are met, these schemes are more efficient than others such as the well-known triple modular redundancy. Prototypes of the proposed structures for error detection and fault tolerance have been implemented, and experimental results have been presented.
Providing culturally contextualized metadata to promote sharing and reuse of learning objects
Authors: David Buzatto, Junia Coutinho Anacleto, Ana Luiza Dias
Venue: Proceedings of the 27th ACM international conference on Design of communication (2009)

This paper presents some proposals to formalize the creation of Learning Objects (LO) that define rules concerned to the content organization and/or the set of metadata used to describe and to document the LOs. This paper presents Cognitor (COGNItive strategies-based EdiTOR), a common-sense aided framework for a certain Pattern Language that aims to help educators create and contextualize e-Learning content as hyper documents, considering cognitive, pedagogical and cultural issues, packaging the LOs according to SCORM (Sharable Content Object Reference Model) standard, the most known and probably most used standard for LO creation. The LOs created by Cognitor are intended to be easy to share and reuse, mainly because Cognitor helps editors fill out the LO metadata using concepts that are culturally contextualized on the main target learner's culture through suggestions coming from a common sense knowledge base that are used to support filling in specific metadata fields.
The Study of Campus Information Platform Based on SOA Framework
Authors: Tao Tan, Yan-ge Duan, Zai-xing Han
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

SOA (Service-Oriented Architecture) is a framework model, this paper analyzes the deficiency of current campus information system and the necessity for integration, introduces SOA and integration thought, puts forward the reconstructive solution of Service-Oriented Architecture for campus information platform based on Web Services, which can resolve effectively the problem about campus Information Island and utilize these resources effectively.
Mathematical study of trade-off relations in logistics systems
Authors: Youhei Nanazawa, Hiroshi Suito, Hideo Kawarada
Venue: Journal of Computational and Applied Mathematics (2009)

This paper presents a mathematical model of trade-off relations arising in third party logistics using Pareto optimal solutions for multi-objective optimization problems. The model defines an optimal set of distribution costs and service levels constituting a trade-off relation. An analogy to the concept of the indifference curve in the field of economics is discussed. Numerical experiments for a simplified problem are performed, demonstrating an increasing process of the utility of logistics.
Human judgements in parallel treebank alignment
Authors: Martin Volk, Torsten Marek, Yvonne Samuelsson
Venue: Proceedings of the Workshop on Human Judgements in Computational Linguistics (2008)

We have built a parallel treebank that includes word and phrase alignment. The alignment information was manually checked using a graphical tool that allows the annotator to view a pair of trees from parallel sentences. We found the compilation of clear alignment guidelines to be a difficult task. However, experiments with a group of students have shown that we are on the right track with up to 89% overlap between the student annotation and our own. At the same time these experiments have helped us to pin-point the weaknesses in the guidelines, many of which concerned unclear rules related to differences in grammatical forms between the languages.
The Integrated Environment For Supporting Collaborative Analysis
Authors: Ryo Kawabata, Yuki Ishikawa, Kenji Masuda, Kiyoshi Itoh
Venue: Journal of Integrated Design Process Science (2008)

In systems analysis, the target system is analyzed by collaboration between two or more analysts. Systems development is performed by analyzing the target system from various viewpoints. From each viewpoint, corresponding chart representation which is suitable for the viewpoint is described. The chart representation is not described from scratch, but it is described by using knowledge included in the other chart representations that are already described. There are two types of collaborations in describing chart representations. The one type is that plural analysts describe the one chart representation collaboratively. The other type is that each analyst describes different kinds of chart representations. In this paper, the authors propose the system called CiCCS (Collaborative inter-Chart Conversion System) for supporting to describe chart representations by collaboration between two or more analysts. CiCCS has analysis processes which include a set of chart representations, the usage of them and the order of them. The navigator guides system analysts with the analysis processes which include a set of chart representations and the usage of them according to the purpose of analysis. Analysts can describe chart representations in accordance with the analysis process or analyst's own order. CiCCS has a converter which extracts a skeleton of a chart representation from the other chart representations.
Analysis of a Security Incident of Open Source Middleware - Case Analysis of 2008 Debian Incident of OpenSSL
Authors: Takeshi Nishimura, Hiroyuki Sato
Venue: Proceedings of the 2009 Ninth Annual International Symposium on Applications and the Internet (2009)

Open source software is proved to be very useful in saving time and cost in building software of complex functions. Security is not an exception of this trend. A problem in securityware is the guarantee of its quality on security. In this paper, we analyze 2008 Debian incident on OpenSSL. The vulnerability on pseudo-random number generation is identified apart from the announcement of Debian. Furthermore, we have made an experiment on about 7,200,000,000 predictable key generations, and proved that the vulnerability brought in this incident is not a severe one.
Competence and performance grammar in incremental processing
Authors: Vincenzo Lombardo, Alessandro Mazzei, Patrick Sturt
Venue: Proceedings of the Workshop on Incremental Parsing: Bringing Engineering and Cognition Together (2004)

The goal of this paper is to explore some consequences of the dichotomy between competence and performance from the point of view of incrementality. We introduce a TAG-based formalism that encodes a strong notion of incrementality directly into the operations of the formal system. A left-associative operation is used to build a lexicon of extended elementary trees. Extended elementary trees allow derivations in which a single fully connected structure is mantained through the course of a left-to-right word-by-word derivation. In the paper, we describe the consequences of this view for semantic interpretation, and we also evaluate some of the computational consequences of enlarging the lexicon in this way.
A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability
Authors: J. B. Paris, A. Vencovská
Venue: Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice (2009)

In the context of polyadic inductive logic we give a general representation theorem applicable to all probability functions satisfying Spectrum Exchangeability as the weighted difference of two probability functions satisfying Spectrum Exchangeability and Language Invariance.
Designing Road Maintenance Data Model Using Dynamic Segmentation Technique
Authors: Mohammad Reza Jelokhani-Niaraki, Ali Asghar Alesheikh, Abbas Alimohammadi, Abolghasem Sadeghi-Niaraki
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part I (2009)

Road maintenance management covers a wide spectrum of activities including road construction, rehabilitation and maintenance programs, etc. Geospatial Information Systems (GIS) can immensely assist the decision makers in these applications. Arc-node data models represent roads as linear features with associated attributes. The attributes are linked to arcs with similar length and location without attention to the applications at hand. In addition, these models do not provide the efficient way to present more detailed information of roads. Because Arc-node structure defines the linear feature as an arc and it is not possible to present road data varying in different parts of arc. Therefore, road maintenance data models which are only on the basis of Arc-node structure result in inefficient analysis and even the results which are not consistent with reality. In order to improve the flexibility of such Arc-node presentation in GIS-T, this paper scientifically examines Dynamic Segmentation (DS), that it is an efficient means to manage the heterogeneous attributes along the arcs. Moreover, this research proposed the road maintenance data model using DS technique. The data model in this work was successfully implemented in the Iranian road network. The result on real data illustrated the merits of the present approach.
Hybrid Counterfactual Logics
Authors: Katsuhiko Sano
Venue: Journal of Logic, Language and Information (2009)

The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis's counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference "The pig is Mary; Mary is pregnant; therefore the pig is pregnant" as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) it preserves the completeness and decidability of Lewis's logic; (ii) it allows us to characterize the Limit Assumption as a proof-rule with some side-conditions; and (iii) it enables us to establish a general Kripke completeness result by using the proof-rule corresponding to the Limit Assumption.
Measuring User Prestige and Interaction Preference on Social Network Site
Authors: Lailei Huang, Zhengyou Xia
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Measuring user's prestige and interaction preference is an important issue for social network site implementer. To address this problem, an empirical study based on xiaonei.com is conducted. In this work, we introduce the "interaction prestige" metrics based on the observation of user's interaction features. Users with distinct levels of "interaction prestige" are grouped into different categories by a clustering algorithm and named as "outgoing", "reciprocal" and "incoming" type respectively. We demonstrate that the "interaction prestige" of users is related with other prestige metrics including "virtual prestige", "social prestige" and "structural prestige". Further more, the chi-square test for independence shows that there exist significant communication patterns among the identified types of users. We observe that users tend to choose those with high interaction prestige and opposite gender as their communication partner.
An open-source natural language generator for OWL ontologies and its use in Prot&eacute;g&eacute; and Second Life
Authors: Dimitrios Galanis, George Karakatsiotis, Gerasimos Lampouras, Ion Androutsopoulos
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Demonstrations Session (2009)

We demonstrate an open-source natural language generation engine that produces descriptions of entities and classes in English and Greek from OWL ontologies that have been annotated with linguistic and user modeling information expressed in RDF. We also demonstrate an accompanying plug-in for the Prot&eacute;g&eacute; ontology editor, which can be used to create the ontology's annotations and generate previews of the resulting texts by invoking the generation engine. The engine has been embedded in robots acting as museum tour guides in the physical world and in Second Life; here we demonstrate the latter application.
Overlay Ring Based Secure Group Communication Scheme for Mobile Agents
Authors: Hyunsu Jang, Kwang Sun Ko, Young-Woo Jung, Young Ik Eom
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part II (2009)

Among the various inter-agent communication models proposed for multi-agent systems so far, several group communication schemes have been issued to guarantee the transparent communication among the agents. However, in mobile agent environments where each agent has mobility in the network, those schemes are not sufficient to fully handle the topological change caused by the migration of mobile agents. Also, these group communication schemes should be secure in order for them to be practical. In this paper, we propose a secure group communication scheme which applies the hierarchical overlay ring structure of mobile agents. The proposed scheme uses the ring channel in order to cope adaptively with the change of ring topology. The ring channel has the fundamental information to construct the ring and is managed by only the mobile agent platforms. Therefore, each mobile agent does not need to directly handle the ring channel and can perform group communication regardless of the changing ring topology.
Web-Based Training System for Improving Aviation Maintenance Performance
Authors: Guo-Feng Liang, Jhih-Tsong Lin, Sheue-Ling Hwang, Eric Min-Yang Wang, Patrick Patterson, Jiun-Fa Li
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

To increase aviation maintenance and inspection safety, we propose a web-based training system (WBTS) for technician training and performing maintenance tasks. Toward this goal, the risks of human errors were considered for each procedure from the perspectives of performance shaping factors (PSFs). WBTS functions include English and Chinese explanations, human error effects on human-machine system, human errors relative to serious rankings and frequency, and graphic information aid in each component removal and installation procedure. To verify the proposed platform, experiments were conducted on a JT8D engine during the inaugural flight of Boeing's 727 to compare traditional workcard and proposed WBTS in two complex teamwork tasks. The results revealed that teams' risk cognition, situation awareness, and performance have been increased by proposed WBTS comparing to that by the traditional work-card instructions.
Human Computer Interaction in Virtual Standardized Patient Systems
Authors: Patrick G. Kenny, Thomas D. Parsons, Albert A. Rizzo
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

Interactive computer generated characters can be applied to the medical field as virtual patients for clinical training. The user interface for the virtual characters takes on the same appearance and behavior as a human. To assess if these virtual patients can be used to train skills such as interviewing and diagnosis they need to respond as a patient would. The primary goal of this study was to investigate if clinicians could elicit proper responses from questions relevant for an interview from a virtual patient. A secondary goal was to evaluate psychological variables such as openness and immersion on the question/response composites and the believability of the character as a patient.
Introducing an Agile Method for Enterprise Mash-Up Component Development
Authors: Wolfgang Ketter, Marko Banjanin, Rob Guikers, Alfred Kayser
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

The introduction of an enterprise mash-up (EMU) development in an organization requires special consideration to balance the agile aspects with the control of a defined approach. In this article a new agile method for EMU component development is presented and defined, as a result of the cooperation between Erasmus University and Jibes B.V. This article describes the approach taken, the held survey and case study, and the resulting method Mash|Match. The Mash|Match method is a combination of aspects of four different agile methods: XP, DSDM, PP, and FDD. Mash|Match can be seen as new rising agile guideline upon which enterprises can effectively manage their business processes. Based on this result, Erasmus University and Jibes will further develop this method, by applying the results in practice and by further academic research.
Making VCG more robust in combinatorial auctions via sub modular approximation
Authors: Makoto Yokoo, Atsushi Iwasaki
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

The Vickrey-Clarke-Groves (VCG) protocol is a theoretically well-founded protocol that can be used for combinatorial auctions. However, the VCG has several limitations such as (a) vulnerability to false-name bids, (b) vulnerability to loser collusion, and (c) the outcome is not in the core. Yokoo, Matsutani, & Iwasaki (2006) presented a new combinatorial auction protocol called the Groves Mechanism with SubModular Approximation (GM-SMA). This protocol satisfies the following characteristics: (1) it is false-name-proof, (2) each winner is included in a Pareto efficient allocation, and (3) as long as a Pareto efficient allocation is achieved, the protocol is robust against the collusion of losers and the outcome is in the core. The GM-SMA is the first protocol that satisfies all three of these characteristics. The basic ideas of the GM-SMA are as follows: (i) it is based on the VCG protocol, i.e., the payment of a winner in this protocol is identical to the payment in one instance of the Groves mechanism, which is a class of protocols that includes the VCG, (ii) when calculating the payment of a bidder, we approximate the valuations of other bidders by using a submodular valuation function (submodular approximation). This paper shows a high-level presentation of the GM-SMA protocol. and discusses open problems and the relationship to other works in AI.
An Approach to the Engineering of Cellular Models Based on P Systems
Authors: Francisco J. Romero-Campero, Natalio Krasnogor
Venue: Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice (2009)

Living cells assembled into colonies or tissues communicate using complex systems. These systems consist in the interaction between many molecular species distributed over many compartments. Among the different cellular processes used by cells to monitor their environment and respond accordingly, gene regulatory networks, rather than individual genes, are responsible for the information processing and orchestration of the appropriate response [16].In this respect, synthetic biology has emerged recently as a novel discipline aiming at unravelling the design principles in gene regulatory systems by synthetically engineering transcriptional networks which perform a specific and prefixed task [2]. Formal modelling and analysis are key methodologies used in the field to engineer, assess and compare different genetic designs or devices.
Effective Project Leadership in Computer Science and Engineering
Authors: Ferid Cafer, Sanjay Misra
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part II (2009)

Project leaders are the most important individuals in projects. A project leader should follow some thinking styles and values which can lead his or her team to success. There is a common notion among software specialists that the more complex a project manager thinks, the better his leadership is. In this paper, we discuss the significance of simple thinking in project leadership. If the leader thinks in a simple way, then the risk of being suffocated in details is less. Complex thinking brings out greater risks of losing the general control of the system because of spending too much time and effort on details and, as a result, more confusion. Not only simplicity, but also psychological factors are important in guiding teams and developing projects in the most effective way. Here, we present a set of qualities for a good project leader in software engineering. In addition to that, we also demonstrate how cognitive and ethical issues affect leadership qualities.
Critical Decisions in Software Development: Updating the State of the Practice
Authors: Michael A. Cusumano, Alan MacCormack, Chris F. Kemerer, William (Bill) Crandall
Venue: IEEE Software (2009)

This article focuses on how to choose the "right" software development process, how to structure global software design chains, how to manage the interaction of project structure and software design, and how to balance innovation and efficiency in a software business.
Approximate conditional inference in mixed-effects models with binary data
Authors: Woojoo Lee, Jian Qing Shi, Youngjo Lee
Venue: Computational Statistics Data Analysis (2010)

The conditional likelihood approach is a sensible choice for a hierarchical logistic regression model or other generalized regression models with binary data. However, its heavy computational burden limits its use, especially for the related mixed-effects model. A modified profile likelihood is used as an accurate approximation to conditional likelihood, and then the use of two methods for inferences for the hierarchical generalized regression models with mixed effects is proposed. One is based on a hierarchical likelihood and Laplace approximation method, and the other is based on a Markov chain Monte Carlo EM algorithm. The methods are applied to a meta-analysis model for trend estimation and the model for multi-arm trials. A simulation study is conducted to illustrate the performance of the proposed methods.