ppxscal/embedding_network huggingface dataset:
Generating complete set of implications for formal contexts
Authors: Kai-She Qu, Yan-Hui Zhai
Venue: Knowledge-Based Systems (2008)

In this paper, a necessary and sufficient condition on which a set of implications is complete is proposed with the help of the notion of model from logic. Besides, using the closure of an attribute subset to a set of implications, we present a formal method to remove the redundant implications from a complete set. Subsequently, we provide an algorithm to generate a complete set of implications and an illustrative example guarantees the availability of the algorithm.
Adventures with chumby
Authors: Daniel Bartholomew
Venue: Linux Journal (2008)

In the kitchen with the Chumby device.
Scheduling multiple divisible loads on a linear processor network
Authors: Matthieu Gallet, Yves Robert, Frederic Vivien
Venue: Proceedings of the 13th International Conference on Parallel and Distributed Systems - Volume 01 (2007)

Min, Veeravalli, and Barlas have recently proposed strategies to minimize the overall execution time of one or several divisible loads on a heterogeneous linear network, using one or more installments [18, 19]. We show on a very simple example that their approach does not always produce a solution and that, when it does, the solution is often suboptimal. We also show how to find an optimal scheduling for any instance, once the number of installments per load is given. Then, we formally prove that any optimal schedule has an infinite number of installments under a linear cost model as the one assumed in [18, 19]. Such a cost model cannot be used to design practical multi-installment strategies. Finally, through extensive simulations we confirmed that the best solution is always produced by the linear programming approach.
The role of intelligent network technology in future telephone network evolution
Authors: Pilar García-Díaz, Rocío Sánchez-Montero, Sergio Lafuente-arroyo, Silvia Jiménez-fernández
Venue: Proceedings of the 4th WSEAS International Conference on Telecommunications and Informatics (2005)

The aim of this papers is to analyze the influence of new network architectures, like UMTS or NGN, over intelligent Network evolution. First, it identifies the main drivers that can modify service platform paradigm, both from technical and market perspective. Moreover, those drivers cause the existence of alternative ways of designing and deploying value added services, like deployig value added services, like Open Service Architecture (OSA) or SIP Application Servers, and therfore it signifies a challenge for a mature technology like IN. Finally, it concludes with the expected role of IN according to previous analysis: staying as reference solution for voice cotrol, but weakening position for multimedia session control.
Batchless layout optimization used in the glass tempering process
Authors: Yuanli Wang
Venue: Proceedings of the 1st WSEAS International Conference on Computational Chemistry (2007)

This paper introduces a batchless optimization algorithm used for glass tempering process. The input of the application is a set of arbitrary geometric configurations in two-dimension. The shape of the geometries may consist of lines or curves. There are two types of optimization in this application: Sequencer Optimization, which grantees that the input geometries (or glasses in this application) are selected in an efficient manner and Bed Optimization, which lays the items in the bed of furnace with using the space as more as possible. The main features of this application include: 1) it optimizes the furnace layout in a batchless pattern. In another word, the input set of data could include an unlimited set of geometries. 2) the type of input data is not restricted to rectangle shapes, it can be extended for any arbitrary 2D shape optimization. 3) this application nests certain types of shape together to save space. Some sample outputs are presented at the end of the paper.
Which factors obstruct or stimulate teacher educators to use ICT innovatively?
Authors: Marjolein Drent, Martina Meelissen
Venue: Computers Education (2008)

This article discusses the factors which stimulate or limit the innovative use of ICT by teacher educators in the Netherlands. Innovative use of ICT is defined as the use of ICT applications that support the educational objectives based on the needs of the current knowledge society. Explorative path analysis and case studies were used to study the potential influencing factors. Results show that several factors on teacher level influence the implementation of innovative ICT-use in education. Especially, teachers who are so-called 'personal entrepreneurs' are important for the integration of ICT in teacher education. School level factors turn out to be of limited importance for innovative use of ICT. This indicates a limited involvement of the management of teacher training institutes towards the use of ICT within the curriculum.
Pópulo: a tool for debugging UML models
Authors: Lidia Fuentes, Jorge Manrique, Pablo Sánchez
Venue: Companion of the 30th international conference on Software engineering (2008)

Model-Driven Development (MDD) has made models first-class citizens of the software development process. Thus, a key factor for the successful adoption of MDD techniques is the ability to verify models, which can be achieved by model simulation and testing. This is already a reality for UML models, due mainly to the UML action language. However, at the current time, there are currently no tools available which are fully compliant with the UML action language. This leads to tool-interoperability and extensibility problems. In order to overcome this limitation, this paper presents Pópulo, a UML model debugger that interprets the UML action language. It is fully compliant with the UML 2.0 standard, and can be customised for executing models that need to extend (i.e. profile) the UML action language.
RMC: An Energy-Aware Cross-Layer Data-Gathering Protocol for Wireless Sensor Networks
Authors: Khaled Almi'ani, S. Selvakennedy, Anastasios Viglas
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (2008)

Wireless sensor networks (WSNs) consist of miniature devices with sensing, computation and wireless communication capabilities. They are typically designed for hostile environments, where recharging a node is impractical. Thus, energy efficiency is vital. For substantial energy savings, cross-layer information sharing and in-network processing among sensors have emerged as promising solutions. In this paper, we propose an energy-aware cross-layer data-gathering protocol for WSNs, termed RMC. By integrating the routing, MAC and clustering protocols, RMC is a scalable collision-free protocol. RMC is designed to address the overhead caused by managing the transmissions schedule. To this end, RMC works by defining a dependence relation between a node’s transmission schedule and its location. Therefore, each node can determine its schedule and forwarding path entirely locally. Its performance is extensively evaluated through simulations and is shown to have significant improvement over well-known comparable crosslayer scheme.
Developing a unifying framework of credibility assessment: Construct, heuristics, and interaction in context
Authors: Brian Hilligoss, Soo Young Rieh
Venue: Information Processing and Management: an International Journal (2008)

This article presents a unifying framework of credibility assessment in which credibility is characterized across a variety of media and resources with respect to diverse information seeking goals and tasks. The initial data were collected through information-activity diaries over a 10-day period from 24 undergraduate students at three different colleges. Based on 245 information seeking activities from the diaries, the authors conducted individual interviews with participants and analyzed the transcripts using a grounded theory analysis. Three distinct levels of credibility judgments emerged: construct, heuristics, and interaction. The construct level pertains to how a person constructs, conceptualizes, or defines credibility. The heuristics level involves general rules of thumb used to make judgments of credibility applicable to a variety of situations. Finally, the interaction level refers to credibility judgments based on content, peripheral source cues, and peripheral information object cues. In addition, context emerged as the social, relational and dynamic frames surrounding the information seeker and providing boundaries of credibility judgments. The implications of the framework in terms of its theoretical contribution to credibility research and practices are discussed.
Verifiable secret sharing schemes based on non-homogeneous linear recursions and elliptic curves
Authors: Massoud Hadian Dehkordi, Samaneh Mashhadi
Venue: Computer Communications (2008)

In this paper, we propose two secure verifiable multi-secret sharing schemes that are based on non-homogeneous linear recursions and elliptic curves over Z"N. Such schemes have simple construction and verification phases. Moreover these have various techniques for the reconstruction phase. The security of the proposed schemes is based on the security of the ECRSA cryptosystem and the intractability of the ECDLP.
Finding optimal refueling policies: a dynamic programming approach
Authors: Shieu-Hong Lin
Venue: Journal of Computing Sciences in Colleges (2008)

Given the initial fuel level and the required final fuel level, a valid vehicle refueling policy specifies a path in a transportation network and the refueling decisions for passing through the vertices on the path to reach a destination vertex from a starting vertex in the network while maintaining the fuel level between the upper and lower limits of fuel level allowed in the entire process. A valid refueling policy is optimal if it minimizes the total fuel cost to reach the destination vertex from the starting vertex. We devise a dynamicprogramming algorithm for finding optimal refueling policies.
Study of social, ethical and human-computer interaction aspects of the MEDARIST II system
Authors: Christina Ilioudi, Athina Lazakidou, Andreas Andreou
Venue: Proceedings of the 4th WSEAS International Conference on Applied Informatics and Communications (2004)

Electronic Patient Record Systems (EPRS) hold an exceptional position in the field of Medical Informatics. The aim of such systems is to replace the traditional paper-based patient recording, offering at the same time a set of advanced data exchange functionalities modern computers and networks can offer. MEDARIST II is a flexible and efficient EPRS, designed to serve surgery wards. This paper focuses on the analysis of certain social and ethical factors that must be taken into account when designing EPRS from an end-user's point of view. Furthermore the paper aims at demonstrating the methods used by the MEDARIST II system to cover usability and human-computer interaction aspects.
Checklist Based Reading's Influence on a Developer's Understanding
Authors: David A. McMeekin, Brian R. von Konsky, Elizabeth Chang, David J. A. Cooper
Venue: Proceedings of the 19th Australian Conference on Software Engineering (2008)

This paper addresses the influence the Checklist Based Reading inspection technique has on a developer's ability to modify inspected code. Traditionally, inspections have been used to detect defects within the development life cycle. This research identified a correlation between the number of defects detected and the successful code extensions for new functionality unrelated to the defects. Participants reported that having completed a checklist inspection, modifying the code was easier because the inspection had given them an understanding of the code that would not have existed otherwise. The results also showed a significant difference in how developers systematically modified code after completing a checklist inspection when compared to those who had not performed a checklist inspection. This study has shown that applying software inspections for purposes other than defect detection include software understanding and comprehension.
SeeNSearch: A Context Directed Search Facilitator for Home Entertainment Devices
Authors: Alan Messer, Anugeetha Kunjithapatham, Phuong Nguyen, Priyang Rathod, Mithun Sheshagiri, Doreen Cheng, Simon Gibbs
Venue: Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (2008)

The Internet has become an extremely popular source of entertainment and information. But, despite the growing amount of media content, most Web sites today are designed for access via web browsers on the PC, making it difficult for home consumers to access Internet content on their TVs or other devices that lack keyboards. As a result, the Internet is generally restricted to access on the PC or via cumbersome interfaces on non-PC devices. In this paper, we present unobtrusive and assistive technologies enabling home users to easily find and access Internet content related to the TV program they are watching. Using these technologies, the user is now able to access relevant information and video content on the Internet while watching TV.
Improving the Sustainability of Autonomous Systems
Authors: Masafumi Watari, Yuichiro Hei, Shigehiro Ano, Katsuyuki Yamazaki
Venue: Proceedings of the Seventh International Conference on Networking (2008)

The Border Gateway Protocol (BGP) routing system is one of the key components of today's Internet infrastructure. However, the fundamentals of the BGP routing system have remained unchanged since its standardization. The only fault tolerant mechanism currently available is multihoming, which is about increasing the number of peering Autonomous Systems (ASes). The reliability of the BGP infrastructure is highly dependent on the statically configured links provided by multihoming, and recovery from larger failures requires cooperation among operators in both parties. Such manual process is problematic, especially during disasters, as it severely delays recovery. As a solution to the problem, this paper proposes a novel on-demand BGP peering method to offer ASes the ability to autonomously and dynamically recover from failures. We introduce a new peering model where peering is established only upon failures. These peers are discovered dynamically and peering is established without any prior configuration. Through evaluation using a prototype implementation, the proposed on-demand BGP peering method provided recovery within 3 seconds of the time of the BGP holdtimer expiration. The method is designed to ensure applicability to current ASes with flexibility and adaptability to various failures, contributing toward improving the sustainability of ASes.
Potential field based camera collisions detection in a static 3D environment
Authors: Adam wojciechowski
Venue: Machine Graphics Vision International Journal (2006)

Collision detection methods usually need a long pre-calculation stage or require difficult and time-consuming real-time computation. Moreover, their effectiveness decreases as the complexity of the scene increases. The seemingly promising solutions presented in literature which are based on potential fields do not offer a satisfactory functionality. This paper introduces a method which provides a new potential field construction affecting camera movement, which lets the viewer reach objects without constraints and protects the user from getting into their structure. Additionally, the proposed method comprises an easily executable pre-calculation stage, and represents a solution independent of the scene-complexity.
Toward An Integrated Framework of Software Project Threats
Authors: Paul L. Bannerman
Venue: Proceedings of the 19th Australian Conference on Software Engineering (2008)

This paper proposes an integrated threat management framework to improve outcomes of software projects. Current best practice prescribes risk management and issue management to control threats. However, these processes cover only part of the spectrum of uncertainty. A broader framework of threat management is proposed that integrates issue management, risk management and crisis management. Case examples and steps to transition beyond risk management are also provided. Implications for research and practice are discussed. The framework provides a basis to extend efforts in research and practice to improve the capability of organizations to manage uncertainty and improve project results.
Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method
Authors: András Horváth, Daniele Manini
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 01 (2008)

Gillespie's algorithm serves to simulate a network of stochastic reactions with given initial quantities and kinetic rate constants. In this paper we consider the estimation of the kinetic rate constants of the reactions based on a set of discrete observations generated by Gillespie's algorithm. In particular, we present an Expectation Maximisation (EM) method to perform maximum likelihood estimation of the rate constants. Applicability of the method is tested on a simple reaction network.
Exploiting referential context in spoken language interfaces for data-poor domains
Authors: Stephen Wu, Lane Schwartz, William Schuler
Venue: Proceedings of the 13th international conference on Intelligent user interfaces (2008)

This paper describes an implementation of a shell-like programming interface that utilizes referential context (that is, information about the current state of an interfaced application) in order to achieve accurate recognition -- even in user-defined domains with no available domain-specific training corpora. The interface incorporates a knowledge of context into its model of syntax, yielding a referential semantic language model. Interestingly, the referential semantic language model exploits context dynamically, unlike other recent systems, by using incremental processing and the limited stack memory of an HMM-like time series model.
'Noobs' and 'chicks' on Animutation Portal: power and status in a community of practice
Authors: Lori Kendall
Venue: International Journal of Web Based Communities (2008)

Researchers interested in knowledge communication within communities of practice tend to focus on tasks, skills, or the shared interests of the group, while relegating other aspects of interaction and communication to the 'cultural context'. But from a participant perspective, knowledge communication includes knowledge about group culture and identity. Attention to participant perspectives and motivations provides a better understanding of what counts as knowledge and how knowledge communication is accomplished. This paper analyses communication within a voluntary community of practice oriented towards a hobby activity. Animutation is a subgenre of amateur animated online videos. Participants in the animutation subculture are primarily US-based young men who interact on a variety of websites that offer video hosting and bulletin board services. In this paper, I analyse discussion posts to the website animutationportal.com. In addition to the specific cultural context of the animutation subculture, participants' identities and understandings of other social contexts (such as the culture of online video production in general) influence their interaction and knowledge communication. While issues of belonging and culture are likely more explicit in voluntary, leisure-oriented communities of practice such as the animutation subculture, these aspects of community participation are important to consider in all communities of practice.
Performance analysis of scheduling and interference coordination policies for OFDMA networks
Authors: Gábor Fodor, Miklós Telek, Chrysostomos Koutsimanis
Venue: Computer Networks: The International Journal of Computer and Telecommunications Networking (2008)

In orthogonal frequency division multiple access systems there is an intimate relationship between the packet scheduler and the inter-cell interference coordination (ICIC) functionalities: they determine the set of frequency channels (sub-carriers) that are used to carry the packets of in-progress sessions. In this paper we build on previous work - in which we compared the so called random and coordinated ICIC policies - and analyze three packet scheduling methods. The performance measures of interest are the session blocking probabilities and the overall throughput. We find that the performance of the so-called Fifty-Fifty and What-It-Wants scheduling policies is somewhat improved by coordinated sub-carrier allocation, especially in poor signal-to-noise-and-interference situations and at medium traffic load values. The performance of the All-Or-Nothing scheduler is practically insensitive to the choice of the sub-carrier allocation policy.
Hamiltonicity of Simplicial-Connected Graphs: An Algorithm Based on Clique Decomposition
Authors: Thierry Vallée, Alain Bretto
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

An important property of graph which concerns their applications to networks is Hamiltonicity. Determining if a graph is hamiltonian is a NP-complete problem and no satisfactory characterization exists. Nevertheless, many sufficient conditions were found, usually expressed in terms of degree, connectivity, density, toughness, independent set, regularity and forbidden subgraphs. In 1973, Goodman and Hedetniemi gave two alternative sufficient conditions uniquely based on the possibility to decompose in some ways the graph into cliques. We first generalise one of these two conditions. We give a new clique decomposition condition which proves the hamiltonicity of a broader class of graphs. Then, we present a polynomial algorithm which decides the existence of such a decomposition for simplicial-connected graphs. A graph is simplicial-connected if every vertex is connected by a walk to a simplicial one. In particular, each connected graph containing a simplicial vertex is simplicial-connected, and so is every chordal graph
Anonysense: privacy-aware people-centric sensing
Authors: Cory Cornelius, Apu Kapadia, David Kotz, Dan Peebles, Minho Shin, Nikos Triandopoulos
Venue: Proceeding of the 6th international conference on Mobile systems, applications, and services (2008)

Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the, network world (with Wi-Fi and Bluetooth interfaces). Such devices offer many new opportunities for cooperative sensing applications. For example, users' mobile phones may contribute data to community-oriented information services, from city-wide pollution monitoring to enterprise-wide detection of unauthorized Wi-Fi access points. This people-centric mobile-sensing model introduces a new security challenge in the design of mobile systems: protecting the privacy of participants while allowing their devices to reliably contribute high-quality data to these large-scale applications. We describe AnonySense, a privacy-aware architecture for realizing pervasive applications based on collaborative, opportunistic sensing by personal mobile devices. AnonySense allows applications to submit sensing tasks that will be distributed across anonymous participating mobile devices, later receiving verified, yet anonymized, sensor data reports back from the field, thus providing the first secure implementation of this participatory sensing model. We describe our trust model, and the security properties that drove the design of the AnonySense system. We evaluate our prototype implementation through experiments that indicate the feasibility of this approach, and through two applications: a Wi-Fi rogue access point detector and a lost-object finder.