ppxscal/embedding_network huggingface dataset:
Architecture and signaling protocol for migration to cognitive reconfigurable post-3G mobile systems
Authors: Zachos Boufidis, Nancy Alonistioti, Lazaros Merakos
Venue: ACM SIGMOBILE Mobile Computing and Communications Review (2009)

The advent of software-defined radio products and recent advances in cognitive radio research will facilitate the preservation or even improvement of user perception in volatile radio conditions while optimizing the use of network resources. Based on cognition techniques, the autonomic communication paradigm attempts to pave the way towards self-governed systems that will alleviate the shortcomings of present remotely managed user devices. This article identifies the challenges for such cognitive reconfigurable systems and introduces CORPS, a new end-to-end architecture that unifies software and cognitive radio themes enriched by self-ware capabilities. The manuscript discusses the adopted network-agnostic protocol-independent modeling approach, which is in line with best common practices in the industry, and presents the system architecture in terms of functional specification and UML modeling. Next, the CORPS functional architecture is mapped to the evolved-UMTS system under development in 3GPP. Finally, the paper proposes and evaluates CREST, a novel signaling protocol for improving the quality of service of existing bearers in a post-3G network through radio-access-technology switching and coordinated dynamic spectrum access.
Trustworthy clients: Extending TNC to web-based environments
Authors: Sascha Rehbock, Ray Hunt
Venue: Computer Communications (2009)

In Trusted Network Connect (TNC), a network access decision is based on the security state of an access requesting party. This mechanism is limited to closed environments such as LANs and VPNs. In this paper, we propose solutions based on authentication standards for enabling TNC in open, web-based scenarios. In particular, an architectural model for TNC is proposed that takes additional security and privacy requirements into account. Furthermore, a communication scheme is proposed that is based on standardised protocols and message formats. This approach provides assurance as to the security state of clients accessing security sensitive web-based services.
Verifying an arbiter circuit
Authors: Chao Yan, Mark R. Greenstreet
Venue: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design (2008)

This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annulus to represent the allowed families of continuous waveforms for input and output signals and show that the metastability filter of the arbiter can be understood as a "Brockett annulus transformer." Improvements to the Coho verification tool are described that reduce the over approximation errors when working with non-convex reachable regions. The verification shows that the arbiter observes a four-phase handshake protocol with its clients and maintains mutual exclusion. We also show several liveness properties including bounded time response to uncontested requests and that grants are issued fairly.
VLPM: A Tool to Support BPR in Public Administration
Authors: Aaron Ciaghi, Adolfo Villafiorita, Andrea Mattioli
Venue: Proceedings of the 2009 Third International Conference on Digital Society (2009)

Representing a law defining some procedures by means of workflow diagrams has various advantages: it facilitates the understanding of the actual meaning of its text, it helps to build a shared vision between law-makers and officers of the Public Administration, and it provides an easier way to analyze and make Public Administration procedures more efficient.To keep the model understandable and maintainable, however, the need soon arises to keep traceability between the workflow diagrams and the laws from which the workflows are derived. Moreover - since the public administration processes are defined and regulated by laws - when the workflows are the target of a re-engineering activity, such traceability information becomes essential to identify what laws need to be changed to implement the new procedures.This paper presents VLPM (Visual Law Process Modeler). It is a tool that addresses some of the issues mentioned above and that we have used to model the laws regulating the introduction of an electronic election in Friuli Venezia Giulia, one of the Autonomous Regions of Italy.VLPM is built on top of the UML Visual Paradigm tool and it is freely available (http://ed.fbk.eu/vlpm).
Image processing
Authors: Andrew Tescher
Venue: Proceedings of the May 19-22, 1980, national computer conference (1980)

NCC '80 has addressed three important areas of image processing through individually organized sessions. These topics are medical imaging, facsimile transmission, and image understanding. In addition, the panel discussion organized by T. Wiener addresses various current topics.
Analysis of cognitive learning strategies and computer attitudes, according to college students' gender and locus of control
Authors: Sahin Kesici, Ismail Sahin, Ahmet Oguz Akturk
Venue: Computers in Human Behavior (2009)

This study explored variations in cognitive learning strategies and computer attitudes among college students, based on gender and locus of control. The study groups were comprised of 263 preservice teachers. The results demonstrated that the level of adherence to cognitive learning strategies on the part of female college students was significantly higher than those of male college students, especially in terms of memorization, analytical, and explanation. This study found that college students' gender has an effect on cognitive learning strategies and computer attitudes. In terms of locus of control, college students' cognitive learning strategies and computer attitudes were found statistically significant in the following levels: small in application, small in memorization, weaker in analytical, small in summarization, small in rehearsal, weaker in explanation, and small in computer attitude. Observance of cognitive learning strategies was found to be significantly higher for college students with internal locus of control than for those with external locus of control in terms of summarization and rehearsal.
Parallel discrete-event simulation of population dynamics
Authors: Bhakti Satyabudhi Stephan Onggo
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Research in parallel simulation has been around for more than two decades. However, the number of papers reporting on its application to real world problems is limited. At the 2002 PADS conference, researchers discussed the need to go beyond synchronization and performance issues, and, in particular, to demonstrate that parallel simulation could be used in real world applications outside military and network simulations. Since then, we have seen an increase in the number of papers on the parallel simulation applications in areas such as operations management and the physical sciences. This paper advocates the application of parallel simulation in population dynamics which is often used as the basis for policy planning and analysis. In this paper, we show how the simulation model is implemented using the &mu;sik parallel simulation library. We conduct some experiments to measure the simulation performance. The result shows that good event parallelism can be achieved.
Study on ARM Processor based Embedded Intelligent Yield System Controller
Authors: Yuan Yanwei, Zhang Xiaochao, Zhao Huaping
Venue: Proceedings of the 2009 International Conference on Advanced Computer Control (2009)

In order to generalize yield detection system, an ARM processor s3c 2440 was used to develop an embedded intelligent yield controller. In this thesis, we extended the ports of s3c 2440 circuit board, and compiled the development of corresponding drivers. Developed the internet applications of the yield distribution detection system, which can run in the embedded controller, and accomplish the receiving and processing of GPS data, the calculating and analyzing of yield sensors and CAN bus node sensors. Yield map was protracted according to the disposed data, which supplied the decision making system of digital agriculture.
An ActOn-based semantic information service for EGEE
Authors: Wei Xing, Oscar Corcho, Carole Goble, Marios D. Dikaiakos
Venue: Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (2007)

We describe an information service that aggregates metadata available in hundreds of information sources of the EGEE Grid infrastructure. It uses an ontology-based information integration architecture (ActOn), which is suitable the highly dynamic distributed information sources available in Grid systems, where information changes frequently and where the information of distributed sources has to be aggregated in order to solve complex queries. These two challenges are addressed by a metadata cache that works with an update-on-demand policy and by an information source selection module that selects the most suitable source at a given point in time, respectively. We have evaluated the quality of this information service, and compared it with other similar services from the EGEE production testbed, with promising results.
Improved Microstrip Fractal Patch Antenna Using Uni-planar Compact Photonic Bandgap Structure (UC-PBG)
Authors: Gao Wei, Deng Hui
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 01 (2009)

In this paper, a novel compact microstrip fractal patch antenna with uni-planar compact photonic bandgap (UC-PBG) structure is designed. The proposed antenna is suited for multi-band application in wireless network. A new cell of UC-PBG structures for microstrip antennas is adopted to suppress the surface waves and improve the radiation patterns. With a fractal structure, the antenna represents frequency-independent attributes and based on geometrically self-similarity, it can be widely used in the other multi-band application.
Vertical slit transistor based integrated circuits (VeSTICs) paradigm
Authors: Wojciech Maly
Venue: Proceedings of the 2009 international symposium on Physical design (2009)

In this presentation new, unorthodox (i.e. ITRS incompatible), IC design/manufacturing paradigm is proposed. This paradigm has been conceived as a response to the rapidly growing complexity and increasing number of stumbling blocks posed by the nano-scale IC era. It has been constructed using notion of a strict layout regularity imposed on IC layout. Such restriction is seen as a remedy for dramatic increase of litho cost and complexity expected to be major issues for the "below-32-nm" products. Such regularity has been discussed in the past for IC interconnects. Focus of this talk is on active devices. The central element of the proposed vision is Vertical Slit Field Effect Transistor (VeSFET). It is shown that Vertical Slit Transistor based integrated circuits (VeSTICs) may enable much denser, much easier to design, test and manufacure, as well as, easily 3D-extendable and OPC-free ICs. The proposed paradigm has been developed assuming that it must reuse CMOS-based desig/manufdacturing infrasrtuctur and expertise that does exist today.
Obtaining linguistic fuzzy rule-based regression models from imprecise data with multiobjective genetic algorithms
Authors: Luciano S&#x00e1;nchez, Jos&#x00e9; Otero, In&#x00e9;s Couso
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2008)

Backfitting of fuzzy rules is an Iterative Rule Learning technique for obtaining the knowledge base of a fuzzy rule-based system in regression problems. It consists in fitting one fuzzy rule to the data, and replacing the whole training set by the residual of the approximation. The obtained rule is added to the knowledge base, and the process is repeated until the residual is zero, or near zero. Such a design has been extended to imprecise data for which the observation error is small. Nevertheless, when this error is moderate or high, the learning can stop early. In this kind of algorithms, the specificity of the residual might decrease when a new rule is added. There may happen that the residual grows so wide that it covers the value zero for all points (thus the algorithm stops), but we have not yet extracted all the information available in the dataset. Focusing on this problem, this paper is about datasets with medium to high discrepancies between the observed and the actual values of the variables, such as those containing missing values and coarsely discretized data. We will show that the quality of the iterative learning degrades in this kind of problems, because it does not make full use of all the available information. As an alternative to sequentially obtaining rules, we propose a new multiobjective Genetic Cooperative Competitive Learning (GCCL) algorithm. In our approach, each individual in the population codifies one rule, which competes in the population in terms of maximum coverage and fitting, while the individuals in the population cooperate to form the knowledge base.
PLCStudio: simulation based PLC code verification
Authors: Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jongeun Kwak, Sungjoo Yeo
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program with a corresponding plant model, so that users can intuitively verify the PLC program in a 3D graphic environment. The plant model includes all manufacturing devices of a production system as well as corresponding device programs to perform their tasks in the production system, and a PLC program contains the control logic for the plant model. For the implementation of the proposed PLC programming environment, it is essential to develop an efficient methodology to construct a virtual device model as well as a virtual plant model. The proposed PLC programming environment provides an efficient construction method for a plant model based on the DEVS (Discrete Event Systems Specifications) formalism, which supports the specification of discrete event models in a hierarchical, modular manner.
Processing time estimations by variable structure TSK rules learned through genetic programming
Authors: Manuel Mucientes, Juan C. Vidal, Alberto Bugar&#x00ed;n, Manuel Lama
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2008)

Accuracy in processing time estimation of different manufacturing operations is fundamental to get more competitive prices and higher profits in an industry. The manufacturing times of a machine depend on several input variables and, for each class or type of product, a regression function for that machine can be defined. Time estimations are used for implementing production plans. These plans are usually supervised and modified by an expert, so information about the dependencies of processing time with the input variables is also very important. Taking into account both premises (accuracy and simplicity in information extraction), a model based on TSK (Takagi&#x2013;Sugeno&#x2013;Kang) fuzzy rules has been used. TSK rules fulfill both requisites: the system has a high accuracy, and the knowledge structure makes explicit the dependencies between time estimations and the input variables. We propose a TSK fuzzy rule model in which the rules have a variable structure in the consequent, as the regression functions can be completely distinct for different machines or, even, for different classes of inputs to the same machine. The methodology to learn the TSK knowledge base is based on genetic programming together with a context-free grammar to restrict the valid structures of the regression functions. The system has been tested with real data coming from five different machines of a wood furniture industry.
Edge landmarks in monocular SLAM
Authors: Ethan Eade, Tom Drummond
Venue: Image and Vision Computing (2009)

While many visual simultaneous localization and mapping (SLAM) systems use point features as landmarks, few take advantage of the edge information in images. Those SLAM systems that do observe edge features do not consider edges with all degrees of freedom. Edges are difficult to use in vision SLAM because of selection, observation, initialization and data association challenges. A map that includes edge features, however, contains higher-order geometric information useful both during and after SLAM. We define a well-localized edge landmark and present an efficient algorithm for selecting such landmarks. Further, we describe how to initialize new landmarks, observe mapped landmarks in subsequent images, and address the data association challenges of edges. Our methods, implemented in a particle-filter SLAM system, operate at frame rate on live video sequences.
Verification of information in a file
Authors: Jainendra K. Navlakha
Venue: Proceedings of the May 19-22, 1980, national computer conference (1980)

Computer centers and particularly data processing centers deal with a stack load of information files as a daily routine. The information in many of these files is organized according to a particular format. For example, in an "employee file," the information about an employee might consist of the name of that employee, his or her age, sex, social security number, salary, etc., in some order.
A queue based mutual exclusion algorithm
Authors: Alex A. Aravind, Wim H. Hesselink
Venue: Acta Informatica (2009)

A new elegant and simple algorithm for mutual exclusion of N processes is proposed. It only requires shared variables in a memory model where shared variables need not be accessed atomically. We prove mutual exclusion by reformulating the algorithm as a transition system (automaton), and applying simulation of automata. The proof has been verified with the higher-order interactive theorem prover PVS. Under an additional atomicity assumption, the algorithm is starvation free, and we conjecture that no competing process is passed by any other process more than once. This conjecture was verified by model checking for systems with at most five processes.
A method to fuse two kinds of digital road maps
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

Abstract: The acquisition of digital road maps is essential for automobile navigation. Digital road maps are used in Japan by the Digital Road Map Association (DRMA) based on 1/25,000 map. The digital map, however, is unsuitable for town driving. In this situation a more detailed digital road map is requested by the users. To get a detailed digital road map from a paper map is a very expensive operation. We proposed a new method to obtain a more precise digital road map using a more detailed general purpose digital map which has already been published. However, using this digital map directly for auto-navigation is impossible. The method we propose in this paper obtains more detailed road network data from the 1/10,000 map and from the DRMA data.
Automated Visual Attention Manipulation
Authors: Tibor Bosse, Rianne Lambalgen, Peter-Paul Maanen, Jan Treur
Venue: Attention in Cognitive Systems: 5th International Workshop on Attention in Cognitive Systems, WAPCV 2008 Fira, Santorini, Greece, May 12, 2008 Revised Selected Papers (2009)

In this paper a system for visual attention manipulation is introduced and formally described. This system is part of the design of a software agent that supports naval crew in her task to compile a tactical picture of the situation in the field. A case study is described in which the system is used to manipulate a human subject's attention. To this end the system includes a Theory of Mind about human attention and uses this to estimate the subject's current attention, and to determine how features of displayed objects have to be adjusted to make the attention shift in a desired direction. Manipulation of attention is done by adjusting illumination according to the calculated difference between a model describing the subject's attention and a model prescribing it.
Query assurance verification for outsourced multi-dimensional databases
Authors: Weiwei Cheng Kian-Lee Tan
Venue: Journal of Computer Security (2009)

In data outsourcing model, data owners engage third-party data servers (called publishers) to manage their data and process queries on their behalf. As these publishers may be untrusted or susceptible to attacks, it could produce incorrect query results to users. In this paper, we introduce an authentication scheme for outsourced multi-dimensional databases. With the proposed scheme, users can verify that their query answers from a publisher are complete (i.e., no qualifying tuples are omitted) and authentic (i.e., all the result values are legitimate). In addition, our scheme guarantees minimality (i.e., no non-answer points are returned in the plain). Our scheme supports window, range, kNN and RNN queries on multi-dimensional databases. We have implemented the proposed scheme, and our experimental results on kNN queries show that our approach is a practical scheme with low overhead.
Using an Error Detection Strategy for Improving Web Accessibility for Older Adults
Authors: Alfred Taylor Sr., Les Miller, Sree Nilakanta, Jeffry Sander, Saayan Mitra, Anurag Sharda, Bachar Chama
Venue: Proceedings of the 2009 Second International Conferences on Advances in Computer-Human Interactions (2009)

The ability to use the Internet can provide an important contribution to an older adult's quality of life. Communication via email with family, friends and service providers has become a critical factor for improving ones ability to cope with modern society as individual's age. The problem is that as users age, natural physical and cognitive impairments make it more difficult for them to use the required technology. The present study investigates the use of error detection as a means of improving web access amongst older adults. Specifically, error detection strategies are compared to observation as a means of identifying the impairments of Internet users.
The consumer loss of the minimum duration for mobile telephone calls
Authors: Lukasz Grzybowski, Pedro Pereira
Venue: Telecommunications Policy (2009)

This article estimates price elasticities of demand for the duration of mobile telephone calls for Portugal, as well as the monetary loss per consumer of the existence of a minimum duration of calls. The demand for the duration of calls is estimated using a Tobit model for panel data with individual random effects. The elasticity of demand is found to be small and to vary across firms. At current prices, the average duration of calls ranges between 101 and 109s, while the estimated average length of calls without minimum duration ranges between 63 and 66s. Hence, the existence of a minimum duration for calls results in a monetary loss of 35-40% of the average invoice.