ppxscal/embedding_network huggingface dataset:
Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems
Venue: International Conference On Bio-Inspired Models Of Network, Information And Computing Systems (2008)

Technology is taking us to a world where myriads of heavily networked devices interact with the physical world in multiple ways, and at multiple scales, from the global Internet scale down to micro- and nano-devices. Many of these devices are highly mobile and autonomous, and must adapt to the surrounding environment in a totally unsupervised way. A fundamental research challenge is the design of robust decentralized computing systems capable of operating under changing environments and noisy input, and yet exhibit the desired behaviour and response time, under constraints such as energy consumption, size, and processing power. These systems should be able to adapt and learn how to react to unforeseen scenarios as well as to display properties comparable to social entities. Biological systems are able to handle many of these challenges with an elegance and efficiency still far beyond current human artifacts. Based on this observation, bio-inspired approaches have been proposed in the past years as a strategy to handle the complexity of such systems. The goal is to obtain methods on how to engineer technical solutions which have similar high stability and efficiency as biological entities often have. The BIONETICS conference aims at bringing together researchers and scientists from several disciplines in computer science and engineering where bio-inspired methods are investigated.
Signs Workshop: The Importance of Natural Gestures in the Promotion of Early Communication Skills of Children with Developmental Disabilities
Authors: Ana Margarida Almeida, Teresa Condeço, Fernando Ramos, Álvaro Sousa, Luísa Cotrim, Sofia Macedo, Miguel Palha
Venue: Gesture-Based Human-Computer Interaction and Simulation: 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers (2009)

This article emphasises the importance of natural gestures and describes the framework and the development process of the "Signs Workshop" CD-ROM, which is a multimedia application for the promotion of early communication skills of children with developmental disabilities. Signs Workshop CD-ROM was created in the scope of Down's Comm Project, which was financed by the Calouste Gulbenkian Foundation, and is the result of a partnership between UNICA (Communication and Arts Research Unit of the University of Aveiro) and the Portuguese Down Syndrome Association (APPT21/Differences).
Light orthogonal networks with constant geometric dilation
Authors: Adrian Dumitrescu, Csaba D. Tóth
Venue: Journal of Discrete Algorithms (2009)

An orthogonal spanner network for a given set of n points in the plane is a plane straight line graph with axis-aligned edges that connects all input points. We show that for any set of n points in the plane, there is an orthogonal spanner network that (i) is short having a total edge length at most a constant times the length of a Euclidean minimum spanning tree for the point set; (ii) is small having O(n) vertices and edges; and (iii) has constant geometric dilation, which means that for any two points u and v in the network, the shortest path in the network between u and v is at most a constant times longer than the Euclidean distance between u and v. Such a network can be constructed in O(nlogn) time.
Proceedings of the 13th workshop on Aspect-oriented modeling
Venue: Aspect-oriented software development (2009)

New and powerful aspect-oriented programming techniques are presented at many international venues every year. However, it is not clear what features of such techniques are common aspect-oriented concepts and what features are rather language-specific specialties. Research in aspect-oriented modeling has the potential to help find such common characteristics from a perspective that is at a more abstract level (i.e., programming language-independent). The Aspect-Oriented Modeling (AOM) Workshops, now in its 13th edition, bring together researchers and practitioners from two communities: aspect-oriented software development (AOSD) and software model engineering. The workshops provide a forum for presenting new ideas and discussing the state of research and practice in modeling various kinds of crosscutting concerns at different levels of abstraction. The goals of the workshops are to identify and discuss the impacts of aspect-oriented technologies on model engineering. Specifically, the workshop seeks to provide aspect-oriented software developers with general modeling means to express aspects and their crosscutting relationships onto other software artifacts. The aspect-oriented modeling workshops occur twice a year as satellite events of the AOSD and MoDELS conferences. These workshops receive a strong following among researchers in both communities with activie participation that has helped to unite these two areas over the past seven years. More details are available at: http://www.aspect-modeling.org.
RESTful PHP Web Services
Authors: Samisa Abeysinghe
Venue:  (2008)

Learn the basic architectural concepts and step through examples of consuming and creating RESTful web services in PHP. This book targets PHP developers who want to build or make use of RESTful web services, or explore the options available to them in PHP. You will need to know the basics of PHP development, but no knowledge of REST is assumed, nor any knowledge of creating web services generally.
Accuracy and linear stability of RKN methods for solving second-order stiff problems
Authors: J. M. Franco, I. Gómez
Venue: Applied Numerical Mathematics (2009)

A general analysis of accuracy and linear stability of Runge-Kutta-Nystrom (RKN) methods for solving second-order stiff problems is carried out. This analysis reveals that when components with large frequencies (stiff frequencies) and small amplitudes appear in the solution of the problem, the accuracy of an unconditionally stable RKN method can be seriously affected unless certain algebraic conditions are satisfied. Based on these algebraic conditions we derive new fourth-order A-stable diagonally implicit RKN (DIRKN) methods with different dispersion order and stage order. The numerical experiments carried out show the efficiency of the new methods when they are compared with other DIRKN codes proposed in the scientific literature for solving second-order stiff problems.
Simulation of an aggregate dryer using coupled CFD and DEM methods
Authors: Andrew Hobbs
Venue: International Journal of Computational Fluid Dynamics (2009)

This article investigates the use of coupled computational fluid dynamics (CFD) and discrete element methods (DEMs) to simulate heat transfer in an aggregate drum dryer used in the production of hot mix asphalt. To be properly coated by the asphalt binder, the aggregate must be completely dried, a process accomplished in a counter flow drum heated by a direct fire burner. Attached flighting is positioned inside the drum to facilitate heat transfer. Because direct observation is impossible, commercial codes from FLUENT and DEM solutions were used to simulate heat transfer from the burner flame to the aggregate. A fully reacting CFD simulation of a natural gas flame was coupled to a DEM simulation using an Eulerian model with heat transfer and momentum exchanged between the phases. Results indicate that the coupled model correctly captures the dominant mode of heat transfer (convection) as the particles are showered through the hot gases. The methodology established in the study provides a base for further investigation into optimising dryer performance.
Usability and performance of secure mobile messaging: M-PKI
Authors: Nor Badrul Anuar, Lai Ngan Kuen, Omar Zakaria, Abdullah Gani, Ainuddin Wahid Abdul Wahab
Venue: WSEAS Transactions on Information Science and Applications (2009)

Human life style change substantially when the cellular technology goes commercial. Short Messaging Service (SMS) and Multimedia Message Service (MMS) play important roles in our daily life. The recent report carried out by Mobile Data Association (MDA) [1] shows that the yearly growth of SMS and MMS achieves 30 percent from year 2007 to 2008. Conventional SMS/MMS does not provide any protection on the text message sent. It causes the security threats such as privacy and message integrity. Mobile users seek for the solution to allow them to exchange confidential information in a safe environment. This leads to the implementation of M-PKI, which is an application that secures the mobile messaging service by using public key infrastructure (PKI). This new approach allows the end-user to send private and classified message via SMS. Besides, M-PKI offers message classification. This feature is specially designed to meet various user requirements on the level of security and performance. The usage and performance of M-PKI messaging in performing encryption and decryption process are tested on selected java-enabled phone.
2009 Special Issue: Cross-modal and scale-free action representations through enaction
Authors: Alex Pitti, Hassan Alirezaei, Yasuo Kuniyoshi
Venue: Neural Networks (2009)

Embodied action representation and action understanding are the first steps to understand what it means to communicate. We present a biologically plausible mechanism to the representation and the recognition of actions in a neural network with spiking neurons based on the learning mechanism of spike-timing-dependent plasticity (STDP). We show how grasping is represented through the multi-modal integration between the vision and tactile maps across multiple temporal scales. The network evolves into a small-world organization with scale-free dynamics promoting efficient inter-modal binding of the neural assemblies with accurate timing. Finally, it acquires the qualitative properties of the mirror neuron system to trigger an observed action performed by someone else.
SIP based service QoS parameters impact analysis according to DoS based attack rate
Authors: Hongbin Yim, Jinwoo Hyun, Hwankuk Kim, Jaeil Jung
Venue: Proceedings of the 8th conference on Applied computer scince (2008)

Telephone centric communication world was changed into Internet centric world and telephone network has been developing into IP based Internet telephony. Additionally, there are various applications according to Internet development and many Internet users want to be guaranteed a quality of service. However, DoS (Denial of Service) based attack was appeared a few years ago and attacks an enterprise server, a domain name server and a commercial network using the Internet vulnerability. The damage caused by DoS attack is increasing dramatically. DoS based attack attacks the network and system resource to consume the whole capacity of network or system in a short period and the network or system cannot provide a VoIP (Voice over IP) or multimedia service to legitimate users. Finally, the service provider cannot provide an IP based real time multimedia service and cannot satisfy the requirement of multimedia users. In this paper, we analyze the QoS (Quality of Service) parameters impact of SIP based application such as VoIP service according to DoS based attack rate using a simulation tool.
A First Course in the Numerical Analysis of Differential Equations, 2nd edition
Authors: Arieh Iserles
Venue: Cambridge Texts In Applied Mathematics (2008)

Numerical analysis presents different faces to the world. For mathematicians it is a bona fide mathematical theory with an applicable flavour. For scientists and engineers it is a practical, applied subject, part of the standard repertoire of modelling techniques. For computer scientists it is a theory on the interplay of computer architecture and algorithms for real-number calculations. The tension between these standpoints is the driving force of this book, which presents a rigorous account of the fundamentals of numerical analysis of both ordinary and partial differential equations. The exposition maintains a balance between theoretical, algorithmic and applied aspects. This new edition has been extensively updated, and includes new chapters on emerging subject areas: geometric numerical integration, spectral methods and conjugate gradients. Other topics covered include multistep and Runge-Kutta methods; finite difference and finite elements techniques for the Poisson equation; and a variety of algorithms to solve large, sparse algebraic systems.
Word-level sequential memory abstraction for model checking
Authors: Per Bjesse
Venue: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design (2008)

Many designs intermingle large memories with wide data paths and nontrivial control. Verifying such systems is challenging, and users often get little traction when applying model checking to decide full or partial end-to-end correctness of such designs. Interestingly, a subclass of these systems can be proven correct by reasoning only about a small number of the memory entries at a limited number of time points. In this paper, we leverage this fact to abstract certain memories in a sound way, and we demonstrate how our memory abstraction coupled with an abstraction refinement algorithm can be used to prove correctness properties for three challenging designs from industry and academia. Key features of our approach are that we operate on standard safety property verification problems, that we proceed completely automatically without any need for abstraction hints, that we can use any bit-level model checker as a back-end decision procedure, and that our algorithms fit seamlessly into a standard transformational verification paradigm.
3-Regular Non 3-Edge-Colorable Graphs with Polyhedral Embeddings in Orientable Surfaces
Authors: Martin Kochol
Venue: Graph Drawing: 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers (2009)

The Four Color Theorem is equivalent with its dual form stating that each 2-edge-connected 3-regular planar graph is 3-edge-colorable. In 1968, Grünbaum conjectured that similar property holds true for any orientable surface, namely that each 3-regular graph with a polyhedral embedding in an orientable surface has a 3-edge-coloring. Note that an embedding of a graph in a surface is called polyhedral if its geometric dual has no multiple edges and loops. We present a negative solution of this conjecture, showing that for each orientable surface of genus at least 5, there exists a 3-regular non 3-edge-colorable graph with a polyhedral embedding in the surface.
Combining Human Error Verification and Timing Analysis
Authors: Rimvydas Rukšėnas, Paul Curzon, Ann Blandford, Jonathan Back
Venue: Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (2008)

Designs can often be unacceptable on performance grounds. In this work, we integrate a GOMS-like ability to predict execution times into the generic cognitive architecture developed for the formal verification of human error related correctness properties. As a result, formal verification and GOMS-like timing analysis are combined within a unified framework. This allows one to judge whether a formally correct design is also acceptable on performance grounds, and vice versa. We illustrate our approach with an example based on a KLM style timing analysis.
On the Process of Software Design: Sources of Complexity and Reasons for Muddling through
Authors: Morten Hertzum
Venue: Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (2008)

Software design is a complex undertaking. This study delineates and analyses three major constituents of this complexity: the formative element entailed in articulating and reaching closure on a design, the progress imperative entailed in making estimates and tracking status, and the collaboration challenge entailed in learning within and across projects. Empirical data from two small to medium-size projects illustrate how practicing software designers struggle with the complexity induced by these constituents and suggest implications for user-centred design. These implications concern collaborative grounding, long-loop learning, and the need for a more managed design process while acknowledging that methods are not an alternative to the project knowledge created, negotiated, and refined by designers. Specifically, insufficient collaborative grounding will cause project knowledge to gradually disintegrate, but the activities required to avoid this may be costly in terms of scarce resources such as the time of key designers.
Accurate energy breakeven time estimation for run-time power gating
Authors: Hao Xu, Wen-Ben Jone, Ranga Vemuri
Venue: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design (2008)

Run-time Power Gating (RTPG) is a recent technique, which aims at aggressively reducing leakage power consumption. Energy breakeven time (EBT), or equivalent sleep time has been proposed as a critical figure of merit of RTPG. Our research introduces the definition of average EBT in a run-time environment. We develop a method to estimate the average EBT for any given circuit block, considering the impact of circuit states. HSPICE simulation results on ISCAS85 benchmark circuits show that the average EBT model has on the average 1.8% error. The CAD tool implemented based on the model can perform fast estimations with a speedup of 3000 x over HSPICE.
Intelligent agents in ontology-based applications
Authors: Florin Stoica, Iulian Pah
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

Development of intelligent agents is not a trivial task. In this paper, a Web-interfaced JADE agent is linked to a knowledge-base system in order to get intelligent behaviour. The knowledge-base system was implemented using Protégé-2000 as tool for modeling ontologies and Algernon as inference engine. The example application was developed in Sun Java Studio Creator 2, an Integrated Development Environment (IDE) for developing state-of-the-art JavaServer Faces Web applications.
Improved taguchi method based contracted capacity optimization for power consumer with self-owned generating units
Authors: Hong-Tzer Yang, Pai-Chun Peng, Chung-His Huang
Venue: Proceedings of the 6th conference on Applications of electrical engineering (2007)

The paper proposes an improved Taguchi method to determine the best capacity contracts and dispatch the power output of the self-owned generating units from almost infinite combinations. To be achieved are savings of total power expenses of the consumers with self-owned generating units. Based on the different structures of power tariff in different periods and seasons, considered simultaneously are constraints on output ranges of the self-owned generating units, power factors, and fees of regulating capacity contracts, while searching the optimal capacity contracts. To verify the feasibility of the proposed method, the paper employs the practical data from an optoelectronics factory, which includes amounts of power consumption from the utilities, capacities of generating units, and load demand forecast in the months of planning period. Numerical results obtained are compared to the existing other algorithms. The simulation results reveal that about 12.95% in average of electrical power expenses per month can be saved through the proposed approach.
SignTutor: An Interactive System for Sign Language Tutoring
Authors: Oya Aran, Ismail Ari, Lale Akarun, Bülent Sankur, Alexandre Benoit, Alice Caplier, Pavel Campr, Ana Huerta Carrillo, François-Xavier Fanard
Venue: IEEE MultiMedia (2009)

Language learning can only advance with practice and corrective feedback. The interactive system, SignTutor, evaluates users' signing and gives multimodal feedback to help improve signing.
Parallelization Approaches for Hardware Accelerators --- Loop Unrolling Versus Loop Partitioning
Authors: Frank Hannig, Hritam Dutta, Jürgen Teich
Venue: Proceedings of the 22nd International Conference on Architecture of Computing Systems (2009)

State-of-the-art behavioral synthesis tools barely have high-level transformations in order to achieve highly parallelized implementations. If any, they apply loop unrolling to obtain a higher throughput. In this paper, we employ the PARO behavioral synthesis tool which has the unique ability to perform both loop unrolling or loop partitioning. Loop unrolling replicates the loop kernel and exposes the parallelism for hardware implementation, whereas partitioning tiles the loop program onto a regular array consisting of tightly coupled processing elements. The usage of the same design tool for both the variants enables for the first time, a quantitative evaluation of the two approaches for reconfigurable architectures with help of computationally intensive algorithms selected from different benchmarks. Superlinear speedups in terms of throughput are accomplished for the processor array approach. In addition, area and power cost are reduced.
A comment on parallel-machine scheduling under a grade of service provision to minimize makespan
Authors: Gerhard J. Woeginger
Venue: Information Processing Letters (2009)

We derive two fully polynomial time approximation schemes for parallel-machine scheduling on a fixed number of machines subject to a grade of service provision. Both results substantially simplify a recent construction by Ji and Cheng [IPL 108 (2008) 171-174].
The MC68000 family and distributed processing
Authors: John F. Stockton
Venue: Proceedings of the June 7-10, 1982, national computer conference (1982)

The key philosophy today is to build parts that will be upward compatible with multiple processor systems of the future so that there is a migration path from existing single-bus systems to the higher-performance, multiple-local-bus systems of the future. An important parameter of these systems will be system performance, and the need for this performance is increasing faster than vendors can increase single-processor performance. The need for multiple-processor systems is clear in the future. Knowing this, the designers of the MC68000 made sure to include all the necessary hooks into the processor design to support multiple processor architecture in the future. Some features of the existing processor that might not be used often today will become very important to future members of the MC68000 peripheral family. Some of these features and systems will be discussed here. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Discrete event simulation aids new lean production system at mimeo.com
Authors: Paul Babin, Gozde Agirbas
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Mimeo.com is employing several new Lean Production System concepts in its new expansion plant start-up. Building on several successful Discrete Event Simulations using ProModel, the company employed a new model to simulate the material flow in the new plant design. This case study illustrates how simulations can be used effectively to plan, analyze and communicate new concepts prior to deploying them in production.