ppxscal/embedding_network huggingface dataset:
Signature based Boolean matching in the presence of don't cares
Authors: Afshin Abdollahi
Venue: Proceedings of the 45th annual Design Automation Conference (2008)

Boolean matching is to determine whether two functions are equivalent under input permutation and input/output phase assignment. This paper will address the Boolean Matching problem for incompletely specified functions. Signatures have previously been used for Boolean matching of completely specified functions. In this paper for the first time we use signatures to determine the equivalency of incompletely specified functions.
HiNFRA: Hierarchical Neuro-Fuzzy Learning for Online Risk Assessment
Authors: Kjetil Haslum, Ajith Abraham, Svein Knapskog
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

Our previous research illustrated the design of fuzzy logic based online risk assessment for Distributed Intrusion Prediction and Prevention Systems (DIPPS) [3]. Based on the DIPPS sensors, instead of merely preventing the attackers or blocking traffic, we propose a fuzzy logic based online risk assessment scheme. This paper propose a Hierarchical Neuro-Fuzzy online Risk Assessment (HiNFRA)model to aid the decision making process of a DIPPS. The fine tuning of fuzzy logic based risk assessment model is achieved using a neural network learning technique. Preliminary results indicate that the neural learning technique could improve the fuzzy controller performance and make the risk assessment model more robust.
Integrating product family modeling with development management in agile methods
Authors: Mikko Raatikainen, Kristian Rautiainen, Varvana Myllärniemi, Tomi Männistö
Venue: Proceedings of the 1st international workshop on Software development governance (2008)

Software product families and agile development have emerged as a popular means in software engineering. In this position paper, we discuss how development management in agile methods can be integrated with software product family structure modeling. The integration aims towards improving software product family development governance by providing technology in terms of concepts and even automated tool support for planning, monitoring and controlling the development work for different stakeholders. For example, integration provides support for prioritization of development tasks and enables monitoring the development status of products in a software product family, for example. The feasibility of integration is shown by combining Kumbang and Agilefant conceptualizations and respective prototype tools.
Intelligent agents and contracts: is a conceptual rethink imperative?
Authors: Emad Abdel Rahim Dahiyat
Venue: Artificial Intelligence and Law (2007)

The emergence of intelligent software agents that operate autonomously with little or no human intervention has generated many doctrinal questions at a conceptual level and has challenged the traditional rules of contract especially those relating to the intention as an essential requirement of any contract conclusion. In this paper, we will try to explore some of these challenges, and shed light on the conflict between the traditional contract theory and the transactional practice in the case of using intelligent software agents. We will try further to examine how intelligent software agents differ from other software applications, and consider then how such differences are legally relevant. This paper, however, is not intended to provide the final answer to all questions and challenges in this regard, but to identify the main components, and provide perspectives on how to deal with such issue.
On routing in VLSI design and communication networks
Authors: Tamás Terlaky, Anthony Vannelli, Hu Zhang
Venue: Discrete Applied Mathematics (2008)

In this paper, we study the global routing problem in VLSI design and the multicast routing problem in communication networks. First we propose new and realistic models for both problems. In the global routing problem in VLSI design, we are given a lattice graph and subsets of the vertex set. The goal is to generate trees spanning these vertices in the subsets to minimize a linear combination of overall wirelength (edge length) and the number of bends of trees with respect to edge capacity constraints. In the multicast routing problem in communication networks, a graph is given to represent the network, together with subsets of the vertex set. We are required to find trees to span the given subsets and the overall edge length is minimized with respect to capacity constraints. Both problems are APX-hard. We present the integer linear programming (LP) formulation of both problems and solve the LP relaxations by the fast approximation algorithms for min-max resource-sharing problems in [K. Jansen, H. Zhang, Approximation algorithms for general packing problems and their application to the multicast congestion problem, Math. Programming, to appear, doi:10.1007/s10107-007-0106-8] (which is a generalization of the approximation algorithm proposed by Grigoriadis and Khachiyan [Coordination complexity of parallel price-directive decomposition, Math. Oper. Res. 2 (1996) 321-340]). For the global routing problem, we investigate the particular property of lattice graphs and propose a combinatorial technique to overcome the hardness due to the bend-dependent vertex cost. Finally, we develop asymptotic approximation algorithms for both problems with ratios depending on the best known approximation ratio for the minimum Steiner tree problem. They are the first known theoretical approximation bound results for the problems of minimizing the total costs (including both the edge and the bend costs) while spanning all given subsets of vertices.
Model of behavior of rodent hippocampus
Authors: Michal Bureš, Marcel Jiřina
Venue: Proceedings of the 9th WSEAS International Conference on Systems (2005)

Hippocampus is a relatively independent part of brain of living organisms responsible for spatial orientation and navigation. Principle of work of the hippocampus gives inspiration for algorithms that can be used in nonbiological applications. This paper discusses precisely function of individual parts of the hippocampus of rodents, suggests mathematical models of the individual parts and combines them into one single sophisticated model. The aim is to provide a model that utilizes features of the hippocampus and models its overall behavior but does not model exactly the real hippocampus. The actual model incorporates methods of adaptive learning as artificial neural networks and reinforcement learning. To validate the function of the model a modified well-known Morris water maze task [7] is used for comparison of the model with behavior of real rodents.
A comparative study of probabilistic and language models for information retrieval
Authors: Graham Bennett, Falk Scholer, Alexandra Uitdenbogerd
Venue: Proceedings of the nineteenth conference on Australasian database - Volume 75 (2008)

Language models for information retrieval have received much attention in recent years, with many claims being made about their performance. However, previous studies evaluating the language modelling approach for information retrieval used different query sets and heterogeneous collections, which make reported results difficult to compare. This research is a broad-based study that evaluates language models against a variety of search tasks --- topic finding, named-page finding and topic distillation. The standard Text REtrieval Conference (TREC) methodology is used to compare language models to the probabilistic Okapi BM25 system. Using consistent parameter choices, we compare results of different language models on three different search tasks, multiple query sets and three different text collections. For ad hoc retrieval, the Dirichlet smoothing method was found to be significantly better than Okapi BM25, but for named-page finding Okapi BM25 was more effective than the language modelling methods. Optimal smoothing parameters for each method were found to be dependent on the collection and the query set. For longer queries, the language modelling approaches required more aggressive smoothing but they were found to be more effective than with shorter queries. The choice of smoothing method was also found to have a significant effect on the performance of language models for information retrieval.
Microsoft Excel's 'Not The Wichmann-Hill' random number generators
Authors: B. D. McCullough
Venue: Computational Statistics Data Analysis (2008)

Microsoft attempted to implement the Wichmann-Hill RNG in Excel 2003 and failed; it did not just produce numbers between zero and unity, it would also produce negative numbers. Microsoft issued a patch that allegedly fixed the problem so that the patched Excel 2003 and Excel 2007 now implement the Wichmann-Hill RNG, as least according to Microsoft. We show that whatever RNG it is that Microsoft has implemented in these versions of Excel, it is not the Wichmann-Hill RNG. Microsoft has now failed twice to implement the dozen lines of code that define the Wichmann-Hill RNG.
A Security Engineering Environment Based on ISO/IEC Standards: Providing Standard, Formal, and Consistent Supports for Design, Development, Operation, and Maintenance of Secure Information Systems
Authors: Jingde Cheng, Yuichi Goto, Shoichi Morimoto, Daisuke Horie
Venue: Proceedings of the 2008 International Conference on Information Security and Assurance (isa 2008) (2008)

An intrinsic difficulty in ensuring security of information systems is that assailants (crackers) are active persons who can get knowledge and skills day after day and then continuously attack target information systems always with new techniques. Therefore, designers, developers, users, and maintainers of information systems with high security requirements need continuous supports for their tasks to protect the systems from assailants. However, until now, there is no systematic methodology proposed for this purpose. Based on our consideration that the continuous supports for system designers, developers, users, and maintainers only can be provided by a standard, formal, and consistent methodology, this paper proposes the new concept of security engineering environment and presents a real security engineering environment we are developing based on ISO/IEC information security standards in order to provide designers, developers, users, and maintainers with standard, formal, and consistent supports for design, development, operation, and maintenance of information systems with high security requirements.
Next-Generation Collaboration Environments for Interactive Tele-medical Consultation
Authors: Kyungtae Kong, Namgon Kim, Sangwoo Han, JongWon Kim
Venue: Proceedings of the 2008 International Conference on Biocomputation, Bioinformatics, and Biomedical Technologies (2008)

In this paper, to provide interactive tele-medical consultation, a next-generation collaboration environment is designed by bridging on-line and off-line medical services together in a place called as CMC (cyber medical center). CMC plays the base infrastructure by providing on/off-line solutions for medical information sharing. Based on the CMC model, we introduce example service scenarios that improve the effectiveness of interactive tele-medicine consultations. Then, we switch to the discussion on how to realize CMC service scenarios by employing SMeet (smart meeting space) collaboration environment. Especially, proof-of-concept verifications are successfully made to justify the potential of SMeet prototype in realizing the vision for CMC.
SOC designs in the energy conscious era
Authors: Srikanth Jadcherla
Venue: Proceeding of the 13th international symposium on Low power electronics and design (2008)

Many of us are aware of the impact of mobile and consumer era SOCs on Low Power Design. What is less known is the impact of proliferation in volumes unimaginable ever before and how that impacts already scarce energy resources in various parts of the world. Today, the energy consumption of installed semiconductors is responsible for more CO2 emissions than the entire airlines industry. Ironically, this problematic trend is being noticed not by the semiconductor industry itself, but by governments worldwide. Further, technology migration does not help combat this problem, it only makes it worse - leading to unprecedented regulatory pressures on the semiconductor industry. In parallel to this trend, lies the fact that semiconductor proliferation in developing economies comes with challenges in power generation and distribution - a fact that is fundamentally being altered by the advent of solar power and Direct DC power supply. This trend is amply supplemented by Power over Ethernet and Media convergence over Ethernet. All in all, the SOC/system of the future will look dramatically different in its architecture. How will all if these market forces impact the SOC designs of the next generation? How hard will it be to design and verify these SOCs? We try to identify these trends and their impact in this talk.
Visibility-based spatial reasoning for object manipulation in cluttered environments
Authors: Han-Young Jang, Hadi Moradi, Phuoc Le Minh, Sukhan Lee, JungHyun Han
Venue: Computer-Aided Design (2008)

In this paper, we present visibility-based spatial reasoning techniques for real-time object manipulation in cluttered environments. When a robot is requested to manipulate an object, a collision-free path should be determined to access, grasp, and move the target object. This often requires processing of time-consuming motion planning routines, making real-time object manipulation difficult or infeasible, especially in a robot with a high DOF and/or in a highly cluttered environment. This paper places special emphasis on developing real-time motion planning, in particular, for accessing and removing an object in a cluttered workspace, as a local planner that can be integrated with a general motion planner for improved overall efficiency. In the proposed approach, the access direction of the object to grasp is determined through visibility query, and the removal direction to retrieve the object grasped by the gripper is computed using an environment map. The experimental results demonstrate that the proposed approach, when implemented by graphics hardware, is fast and robust enough to manipulate 3D objects in real-time applications.
Analysis of Human-Inspired Biped Walk Characteristics in a Prototype Humanoid Robot for Improvement of Walking Speed
Authors: Hanafiah Yussof, Masahiro Ohka, Mitsuhiro Yamano, Yasuo Nasu
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

This paper presents analysis of biped locomotion based on human’s walking characteristics to improve walking speed in humanoid robotics. The analysis is focus on improvement of walking speed without changing reduction-ratio at the robot’s joint-motor system. Three parameters are considered: step length, hip-joint height and duty-ratio. We use humanoid robot Bonten-Maru II as an analysis platform. Analysis based on simulations and experiments are conducted. In addition, formulations to define efficient gait pattern are also presented. The simulation analysis and experimental results with Bonten-Maru II reveals good performance in biped locomotion to improve walking speed and travel distance of the humanoid robot without changing reduction-ratio at joint-motor system.
Object detection and mapping for service robot tasks
Authors: Staffan Ekvall, Danica Kragic, Patric Jensfelt
Venue: Robotica (2007)

The problem studied in this paper is a mobile robot that autonomously navigates in a domestic environment, builds a map as it moves along and localizes its position in it. In addition, the robot detects predefined objects, estimates their position in the environment and integrates this with the localization module to automatically put the objects in the generated map. Thus, we demonstrate one of the possible strategies for the integration of spatial and semantic knowledge in a service robot scenario where a simultaneous localization and mapping (SLAM) and object detection recognition system work in synergy to provide a richer representation of the environment than it would be possible with either of the methods alone. Most SLAM systems build maps that are only used for localizing the robot. Such maps are typically based on grids or different types of features such as point and lines. The novelty is the augmentation of this process with an object-recognition system that detects objects in the environment and puts them in the map generated by the SLAM system. The metric map is also split into topological entities corresponding to rooms. In this way, the user can command the robot to retrieve a certain object from a certain room. We present the results of map building and an extensive evaluation of the object detection algorithm performed in an indoor setting.
Stable SOI micromachined electrostatic AC voltage reference
Authors: Anu K&#x00e4;rkk&#x00e4;inen, Panu Pekko, James Dekker, Nadine Pesonen, Mika Suhonen, Aarne Oja, Jukka Kyyn&#x00e4;r&#x00e4;inen, Heikki Sepp&#x00e4;
Venue: Microsystem Technologies (2005)

We have designed and manufactured a micromachined moving plate capacitor to be used as an AC voltage reference in electrical metrology. The reference is based on the characteristic AC current&#x2013;voltage curve of the component having a maximum, the value of which ideally depends only on the geometry of the component and material properties of single crystalline silicon. The electrode surface stability is essential in this application and hence a new fabrication process has been developed to metallize both surfaces of an electrostatically actuated micromachined structure. The stability of the AC reference voltage at a frequency of 100&#x00a0;kHz and an RMS voltage value 6.4&#x00a0;V was measured to be &#x00b1;60&#x00a0;ppm over 14&#x00a0;h.
An approach for aspect-oriented use case modeling
Authors: Stéphane S. Somé, Pauline Anthonysamy
Venue: Proceedings of the 13th international workshop on Early Aspects (2008)

A use case model is a specification of a system's requirements consisting in use cases, actors and relationships. A use case captures stakeholders concerns as required interactions between a system and its actors. Use case models may however include concerns that crosscut across several use cases. We propose an
A Model of Trusted Data Collection for Knowledge Discovery in B2B Networks
Authors: Jun Hu, Liam Peyton, Cameron Turner, Hany Bishay
Venue: Proceedings of the 2008 International MCETECH Conference on e-Technologies (2008)

With widespread use of the Internet, data is often shared between organizations in B2B networks. Knowledge discovery that integrates data across all sources in a B2B network would be useful to provide a complete view of how the overall network is performing in meeting the needs of consumers. To enable this, business agreements must be in place as well as consumer consent and access controls to ensure compliance with privacy laws. This paper presents a Trusted Data Collection architecture as alegal and technical tool to allow knowledge discovery to take place while ensuring that personal information is safeguarded. A key component in this architecture is a Dataset Registry that defines and registers the datasets that can be shared, accessed, and collected across a B2B network. We propose a data and access control model for the Dataset Registry and illustrate it using an e-health scenario.
Fast exponentiation based on common-multiplicand-multiplication and minimal-signed-digit techniques
Authors: Chia-Long Wu
Venue: International Journal of Computer Mathematics (2007)

In this paper, an improved common-multiplicand-multiplication algorithm is proposed, utilizing the binary exponentiation method and minimal-signed-digit recoding technique for fast exponentiation. By adopting the recoding technique on the common signed-digit representations in the grouped exponent substrings, the proposed algorithm provides an efficient exponentiation method. The proposed algorithm achieves better performance in modern exponentiation methods by decreasing the overall computational complexity. In particular, the proposed method is very suitable for parallel processing systems to improve the efficiency of exponentiation operation.
Architecting secure mobile P2P systems
Authors: James Walkerdine, Peter Phillips, Simon Lock
Venue: Proceedings of the 1st international workshop on Software architectures and mobility (2008)

The growth of mobile devices with near PC equivalent capabilities has brought with it the possibility of mobile P2P systems. However, the nature of mobile devices brings additional issues that need to be considered during the development process, and in particular when the system architectures are being proposed. This paper presents our work on a tool-supported methodology that aims to assist designers in developing secure mobile P2P systems, specifically encouraging them to consider architectural issues from an early stage.
Performance and progression of first year ICT students
Authors: Judy Sheard, Angela Carbone, Selby Markham, A J Hurst, Des Casey, Chris Avram
Venue: Proceedings of the tenth conference on Australasian computing education - Volume 78 (2008)

In 2006 the Computing Education Research Group from Monash University conducted a study that explored the perceptions students bring into ICT degrees and the perceptions that staff have of student expectations. Students and staff from first year undergraduate ICT degrees on the five Victorian campuses of Monash University participated in a series of data collections. The research was conducted using a mixed quantitative and qualitative research design. This paper reports on that aspect of the study that investigated influences on students' progression and performance in the first year of their undergraduate ICT degrees. This study reports the following three findings: it is difficult to predict whether students will complete a unit from their interests and expectations of the degree; students with prior knowledge of programming or who had English as a first language or who had entered the degree from high school received higher results in programming; females are more likely to drop out of technical units than are males.
Yet Another Performance Testing Framework
Authors: Shiping Chen, David Moreland, Surya Nepal, John Zic
Venue: Proceedings of the 19th Australian Conference on Software Engineering (2008)

Performance testing is one of the vital activities spanning the whole life cycle of software engineering. While there are a considerable number of performance testing products and open source tools available, they are either too expensive and complicated for small projects, or too specific and simple for diverse performance tests. This paper presents a general-purpose testing framework for both simple and small, and complicated and large-scale performance testing. Our framework proposes an abstraction to facilitate performance testing by separating the application logic from the common performance testing functionalities. This leads to a set of general-purpose data models and components, which form the core of the framework. The framework has been prototyped on both .NET and Java platforms and was used for a number of performance-related projects.