ppxscal/embedding_network huggingface dataset:
Combining User Authentication with Role-Based Authorazition Based on Identity-Based Signature
Authors: Jin Wang, Jia Yu, Daxing Li, Xi Bai, Zhongtian Jia
Venue: Computational Intelligence and Security: International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers (2007)

Authentication and authorization are crucial for ensuring the security of information systems. Role-based access control (RBAC) can act as an efficient method of managing authorization of system resources. In this paper, we apply identity-based signature (IBS) technique to cryptographically provide user authentication and role-based authorization. To achieve this, we first extend the RBAC model to incorporate identity-based cryptography. Our access control architecture is derived from an identity-based signature scheme on bilinear pairings and eliminates the use of digital certificates. In our suggestion, the manager checks the validity of a user's identity and user's activated roles simultaneously by verifying a corresponding signature, thus the user authentication and role-based authorization procedures can be combined into one operation. We also prove the security of the proposed scheme in the random oracle model.
A study of raising self-learning ability by network in science and technology curriculum
Authors: Rong-Jyue Fang, Wen-Jiuh Chiung, Hung-Jen Yang, Chi-Jen Lee, Hua-Lin Tsai, Jia-Rong Wen
Venue: Proceedings of the 8th WSEAS International Conference on Multimedia systems and signal processing (2008)

"Taking the initiative in Exploration and research" is one of the core competence of the grade 1-9 curriculum. The web-based learning is provided with convenient conditions of self-learning that draw on information technology, web site, and multimedia. There is much superiority on copious resources of internet if we grasp the initiative. Otherwise, if the students learned passive, the resources of internet burdened they with learning. Therefore, grasping the initiative which is more important factor for web-based learning. The purposes of the research is establishing the web-based instructional model for self-learning abilities of science and technology of grade 1-9 curriculum by the methods of exploration and generalize via probing into developing the self-learning abilities and creating the healthy personality. It will provide teacher to refer.
Description Logic Representation for Requirement Specification
Authors: Yingzhou Zhang, Weifeng Zhang
Venue: Proceedings of the 7th international conference on Computational Science, Part II (2007)

With the size and complexity of many software systems increasing, they need to give a greater emphasis to capture and maintain requirement knowledge within the software development process. This knowledge can be captured by the requirement ontology. But the requirement analysis systems must balance expressivity and inferential power with the real demands of requirement ontologies construction, maintenance, performance, and comprehensibility. Description logics (DLs) possess several features--a terminological orientation, a formal semantics, and efficient reasoning procedures-- which offer an effective tradeoff of these factors. In this paper, we use description logics SHIQ to define the objects and their relations, and identify the subsumptions capturing the constraints and relationships among the objects. We show how the subsumptions can be used to answer some questions.
Wireless Sensor Network Assisted Dynamic Path Planning for Transportation Systems
Authors: Yue-Shan Chang, Tong-Ying Juang, Chen-Yi Su
Venue: Proceedings of the 5th international conference on Autonomic and Trusted Computing (2008)

The static path planning of transportation network is only considering the shortest-path from source to destination. The approach cannot adjust the path dynamically when the predetermined path is obstructed. It could increase the traveling time to destination and could not effectively plan the path with shortest time. In this paper we propose a Wireless Sensor Network (WSN) assisted framework for dynamic path planning for transportation systems, which collects the traffic information dynamically using sensor nodes and plan the path of transportation network with shortest time using Satellite Navigation System. The WSN can be used for calculating the estimated traveling time and looking for a shortest-time path by way of fusing the traffic information, such as average speed and number of vehicles in a timeframe, collected from the candidate path. Users can thus use handheld device, such as PDA, with GPS (Global Position System) and GIS (Geographic Information System) to dynamically plan the path via requesting the WSN to collect traffic information. It can perform better than the static path planning approach.
A few aspects concerning the modeling of thermal stability control for a low voltage ZnO varistor
Authors: Flaviu M. Frigura-Iliasa, Mihaela Frigura-Iliasa, Liliana Matiu-Iovan, Doru Vatau
Venue: Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation (2008)

ZnO based varistors are today the most common technical solution for making state of the art surge arresters for all voltage levels, due to some advantages like a high non-linearity coefficient and a high energy absorption capacity. Due to their thermal activated conduction, the control of heat dissipation inside that semiconductor device is crucial for its service. Heat dissipation control could be done only by modeling the thermal and electrical status of the varistor in case of some special and original configurations. The new configuration proposed in this paper consists in a disc varistor with an additional brass mass used for heat extraction and dissipation. This paper presents the finite-element model used for the direct control of heat dissipation, as well as some experimental results.
Towards a compact high-order method for non-linear hyperbolic systems, II. The Hermite-HLLC scheme
Authors: G. Capdeville
Venue: Journal of Computational Physics (2008)

In a finite-volume framework, we develop an approximate HLL Riemann solver specific to weakly hyperbolic systems. Those systems are obtained by considering not only the variable but also its first spatial derivative, as unknowns. To this aim, we rely upon the theory of ''@d-shock waves'', newly developed in the scalar case. First, we demonstrate that the extended version of the HLLE scheme to weakly hyperbolic systems is compatible with the existence of Dirac measures in the solution. Then, we develop a specific Hermite Least-Square (HLSM) interpolation that enables to generate a high-order and compact scheme, without creating spurious oscillations in the reconstruction of the variable or its first derivative. Extensive numerical experiments make it possible to validate the method and to check convergence to entropy solutions. Relying upon those results, we construct a new HLL Riemann solver, suited for the extended one-dimensional Euler equations. For this purpose, we introduce the contribution of a contact discontinuity inside the definition of the solver. By using a formal analogy with the scalar study, we demonstrate that this solver tolerates the existence of ''@d-shock waves'' in the solution. Numerical experiments that follow help to validate some of the assumptions made to generate this scheme.
Proper nouns in English&ndash;Arabic cross language information retrieval
Authors: Abdelghani Bellaachia, Ghita Amor-Tijani
Venue: Journal of the American Society for Information Science and Technology (2008)

Out of vocabulary words, mostly proper nouns and technical terms, are one main source of performance degradation in Cross Language Information Retrieval (CLIR) systems. Those are words not found in the dictionary. Bilingual dictionaries in general do not cover most proper nouns, which are usually primary keys in the query. As they are spelling variants of each other in most languages, using an approximate string matching technique against the target database index is the common approach taken to find the target language correspondents of the original query key. N-gram technique proved to be the most effective among other string matching techniques. The issue arises when the languages dealt with have different alphabets. Transliteration is then applied based on phonetic similarities between the languages involved. In this study, both transliteration and the n-gram technique are combined to generate possible transliterations in an English&ndash;Arabic CLIR system. We refer to this technique as Transliteration N-Gram (TNG). We further enhance TNG by applying Part Of Speech disambiguation on the set of transliterations so that words with a similar spelling, but a different meaning, are excluded. Experimental results show that TNG gives promising results, and enhanced TNG further improves performance. &copy; 2008 Wiley Periodicals, Inc.
Building an Assessment Learning System on the Web
Authors: Reggie Kwan, Kenneth Wong, Chi-Wing Yu, Philip Tsang, Kat Leung
Venue: Proceedings of the 1st international conference on Hybrid Learning and Education (2008)

This paper presents the design and a preliminary assessment of an online assessment system for learning purposes. The prototype aims to enhance learning by helping teachers teach Key Stage 3 (KS3) Mathematics in Hong Kong The system was built on the concept domain model and the Rasch model to provide an adapting feature to students, such as, navigation support, optimal study path and direct guidance. This is based on the Response Theory (IRT) model to determine students' estimated ability level.. When an individual student enters the system, different problems depending on student's estimated ability level will be assigned to students. Once the system senses an individual student's responses are converging to a particular competence level, the system immediately calculates the student's estimated ability level, identifies his strengths and weaknesses, etc. An immediate score, solution of items, feedback recommended study path and direct guidance can be give instantaneously.
Obtaining an Optimum PID Controller Via Adaptive Tabu Search
Authors: Deacha Puangdownreong, Sarawut Sujitjorn
Venue: Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part II (2007)

An application of the Adaptive Tabu Search (ATS), an intelligent search method in industrial control domain, is presented. The ATS is used to search for the optimum controller's parameters denoted as proportional, integral, and derivative gains. The obtained controllers are tested against some hard-to-be-controlled plants. The results obtained are very satisfactory.
The supercover of an m-flat is a discrete analytical object
Authors: Eric Andres
Venue: Theoretical Computer Science (2008)

The aim of this paper is to show that the supercover of an m-flat (i.e. a Euclidean affine subspace of dimension m) in Euclidean n-space is a discrete analytical object. The supercover of a Euclidean object F is a discrete object consisting of all the voxels that intersect F. A discrete analytical object is a set of discrete points that is defined by a finite set of inequalities. A method to determine the inequalities defining the supercover of an m-flat is provided.
AEON - An approach to the automatic evaluation of ontologies
Authors: Johanna Völker, Denny Vrandečić, York Sure, Andreas Hotho
Venue: Applied Ontology (2008)

OntoClean is an approach towards the formal evaluation of taxonomic relations in ontologies. The application of OntoClean consists of two main steps. First, concepts are tagged according to meta-properties known as rigidity, unity, dependency and identity. Second, the tagged concepts are checked according to predefined constraints to discover taxonomic errors. Although OntoClean is well documented in numerous publications, it is still used rather infrequently due to the high costs of application. Especially, the manual tagging of concepts with the correct meta-properties requires substantial efforts of highly experienced ontology engineers. In order to facilitate the use of OntoClean and to enable the evaluation of real-world ontologies, we provide AEON, a tool which automatically tags concepts with appropriate OntoClean meta-properties and performs the constraint checking. We use the Web as an embodiment of world knowledge, where we search for patterns that indicate how to properly tag concepts. We thoroughly evaluated our approach against a manually created gold standard. The evaluation shows the competitiveness of our approach while at the same time significantly lowering the costs. All of our results, i.e. the tool AEON as well as the experiment data, are publicly available.
Conceptualizing Student Models for ICALL
Authors: Luiz Amaral, Detmar Meurers
Venue: Proceedings of the 11th international conference on User Modeling (2007)

Student models for Intelligent Computer Assisted Language Learning (ICALL) have largely focused on the acquisition of grammatical structures. In this paper, we motivate a broader perspective of student models for ICALL that incorporates insights from current research on second language acquisition and language testing. We argue for a student model that includes a representation of the learner's ability to use language to perform tasks as well as an explicit activity model that provides information on the language tasks and the inferences for the student model they support.
Existence and uniqueness results for a third-order implicit differential equation
Authors: Yuqiang Feng
Venue: Computers Mathematics with Applications (2008)

The purpose of this paper is to give sufficient conditions for the existence and uniqueness of solutions to the boundary value problem of a third-order implicit differential equation as follows: {f(t,u(t),u^'(t),u^@?(t))=0,0@?t@?1u(0)=u^'(0)=u^'(1)=0. The lower and upper solutions method, maximum principle together with an iterative technique are employed. An example illustrates the application of results obtained.
BlåtAnt: Bounding Networks' Diameter with a Collaborative Distributed Algorithm
Authors: Amos Brocco, Fulvio Frapolli, Béat Hirsbrunner
Venue: Proceedings of the 6th international conference on Ant Colony Optimization and Swarm Intelligence (2008)

In this paper we describe BlåtAnt, a new algorithm to create overlay networks with small diameters. BlåtAnt is a fully distributed and adaptive algorithm inspired by Ant Colony Optimization (ACO), which targets dynamic and evolving networks without requiring a global knowledge. Simulation results show that our approach results in networks with a bounded diameter. This algorithm, implemented and empirically tested, will be the foundation of a fully decentralized resource discovery mechanism optimized for networks with small diameters.
Artificial Intelligence and Grids: Workflow Planning and Beyond
Authors: Yolanda Gil, Ewa Deelman, Jim Blythe, Carl Kesselman, Hongsuda Tangmunarunkit
Venue: IEEE Intelligent Systems (2004)

Grid computing is emerging as a key enabling infrastructure for science. A key challenge for distributed computation over the Grid is the on-demand synthesis of large-scale, end-to-end scientific applications that draw from pools of specialized scientific components to derive elaborate new results. Many technical issues must be addressed to meet this challenge, including usability, robustness, and scale. The Pegasus system generates executable grid workflows given highly specified desired results. Pegasus uses AI planning techniques to compose valid end-to-end workflows and has been used in several scientific applications.
Bayes-Optimal Estimation of GMM Parameters for Speaker Recognition
Authors: Guillermo Garcia, Sung-Kyo Jung, Thomas Eriksson
Venue: Speaker Classification II: Selected Projects (2007)

In text-independent speaker recognition, Gaussian Mixture Models (GMMs) are widely employed as statistical models of the speakers. It is assumed that the Expectation Maximization (EM) algorithm can estimate the optimal model parameters such as weight, mean and variance of each Gaussian model for each speaker. However, this is not entirely true since there are practical limitations, such as limited size of the training database and uncertainties in the model parameters. As is well known in the literature, limited-size databases is one of the largest challenges in speaker recognition research. In this paper, we investigate methods to overcome the database and parameter uncertainty problem. By reformulating the GMM estimation problem in a Bayesian-optimal way (as opposed to ML-optimal, as with the EM algorithm), we are able to change the GMM parameters to better cope with limited database size and other parameter uncertainties. Experimental results show the effectiveness of the proposed approach.
Optical, electrical and structural properties of spin-on MSQ low-k dielectrics over a wide temperature range
Authors: N. Ahner, S. E. Schulz, F. Blaschta, M. Rennau
Venue: Microelectronic Engineering (2008)

Looking onto application of low-k and ultra low-k materials within FEOL, high temperature load is one of the major challenges. But also temperature ranges below standard curing conditions are of special interest, e.g. for integration of transparent low-k materials into optical devices due to their small refractive index. In this work the development of the optical, electrical and structural properties of two spin-on MSQ low-k dielectrics over a low-temperature range has been investigated. Incorporation of porosity due to porogen removal for LK2000 causes a different behaviour of the electrical and optical parameters compared to ACCUGLASS(TM) within the low-temperature range. Both materials show unstable properties which normalize by getting closer to the standard curing conditions. Hydrophobizity of the surfaces is developing at curing temperatures of 400^oC and higher, what agrees to the lowering of the leakage current density. Optical, electrical and structural parameters fluctuate very sensitive on changing the curing temperature, so usage of those materials within a low-temperature range requires a very stable curing process to achieve reproducible material properties.
Two machine flow shop scheduling problem with weighted WIP costs
Authors: Jaehwan Yang
Venue: Computers and Operations Research (2009)

This paper considers two new machine flow shop scheduling problems where the objective is to minimize the total WIP (work-in-process) cost. In this type of problems, the unit time WIP cost increases or decreases as a job passes through a series of stages in the production process. We first introduce this relatively new class of flow shop scheduling problems. Then, we establish the complexity of several problems with different types of job restrictions and weighted cost characteristics. For some tractable cases, we propose optimal solution procedures. Finally, a heuristic is introduced for a class of problem instances, and we find upper bounds on the relative errors.
Decomposition Theorems for Bounded Persistent Petri Nets
Authors: Eike Best, Philippe Darondeau
Venue: Proceedings of the 29th international conference on Applications and Theory of Petri Nets (2008)

We show that the cycles of a finite, bounded, reversible, and persistent Petri net can be decomposed in the following sense. There exists in the reachability graph a finite set of transition-disjoint cycles such that any other cycle through a given marking is permutation equivalent to a sequential composition of cycles from this set.We show that Parikh images of cycles of a finite, bounded, and persistent Petri net form an additive monoid with a finite set of transition-disjoint generators (for any two distinct generators ¿(¿) and ¿(¿¿), ¿(¿)(t) = 0 or ¿(¿¿)(t) = 0 for every transition t).Persistent nets are a very general class of conflict-free nets. Boundedness means, as usual, that the reachability graph is finite. Reversibility means that the reachability graph is strongly connected.
Multimodal vision glove for touchscreens
Authors: Muhanad S. Manshad, Ahmad S. Manshad
Venue: Proceedings of the 10th international ACM SIGACCESS conference on Computers and accessibility (2008)

This paper presents the development of an inexpensive haptic glove enabling people with visual impairments to picture and interact with basic algebra graphs through multiple points of interaction on touchscreens. The glove sends vibrations to each finger representing a direction which the user must follow to reach a graph on a grid. Through repeated movement, a person will reach, trace, and visualize the graph. Evaluations by thirteen students with visual impairments indicated that visualizing a graph, using multiple points of interaction with haptic feedback, is much faster than single-point-interaction with audio feedback.
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
Authors: Rohit Chadha, Carl A. Gunter, Jose Meseguer, Ravinder Shankesi, Mahesh Viswanathan
Venue: Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems (2008)

Current research on verifying security properties of communication protocols has focused on proving integrity and confidentiality using models that include a strong Man-in-the-Middle (MitM) threat. By contrast, protection measures against Denial-of-Service (DoS) must assume a weaker model in which an adversary has only limited ability to interfere with network communications. In this paper we demonstrate a modular reasoning framework in which a protocol $\mathcal{P}$ that satisfies certain security properties can be assured to retain these properties after it is "wrapped" in a protocol $\mathcal{W}[\mathcal{P}]$ that adds DoS protection. This modular wrapping is based on the "onion skin" model of actor reflection. In particular, we show how a common DoS protection mechanism based on cookies can be applied to a protocol while provably preserving safety properties (including confidentiality and integrity) that it was shown to have in a MitM threat model.
Inclusion of Accessibility Requirements in the Design of Electronic Guides for Museums
Authors: Lourdes Moreno, Ma Carmen Gálvez, Belén Ruiz, Paloma Martínez
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

Technology can be an integrative tool with which to facilitate universal access to museums and their works via virtual guides that accompany the user making the visit more inclusive and accessible. With this aim it is necessary to keep in mind accessibility requirements which guide the design and development process. Since there are no clear procedures for defining and including these requirements, this paper presents a proposal for requirements capture and definitions of accessibility mechanisms which assure their integration, following studies and standards in the area of accessibility.
A New Implementation for High Speed Normalized Neural Networks in Frequency Space
Authors: Hazem M. El-Bakry, Mohamed Hamada
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part I (2008)

Neural networks have shown good results for detection of a certain pattern in a given image. In our previous work, a fast algorithm for object/face detection was presented. Such algorithm was designed based on cross correlation in the frequency domain between the input image and the weights of neural networks. In this paper, a simple design for solving the problem of local subimage normalization in the frequency domain is presented. This is done by normalizing the weights in the spatial domain off line. Furthermore, it is proved that local subimage normalization by normalizing the weights is faster than subimage normalization in the spatial domain. Moreover, the overall speed up ratio of the detection process is increased as the normalization of weights is done off line.