ppxscal/embedding_network huggingface dataset:
MontiCore: a framework for the development of textual domain specific languages
Authors: Hans Grönniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel
Venue: Companion of the 30th international conference on Software engineering (2008)

In this paper we demonstrate a framework for the efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of a readable concrete syntax and a comprehensible abstract syntax as both representations significantly overlap in their structure. To further improve the usability of the abstract syntax, this definition format integrates additional concepts like associations and inheritance into the well-understood grammar-based approach. Modularity concepts like language inheritance and embedding are used to simplify the development of languages based on already existing ones. In addition, the generation of editors and a template approach for code generation is explained.
Evolutionary approaches for curriculum sequencing
Authors: Luis de Marcos, Roberto Barchino, José-Javier Martinez
Venue: Proceedings of the 13th annual conference on Innovation and technology in computer science education (2008)

The process of creating e-learning courseware using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Sequencing is usually performed by instructors, who create courses targeting generic profiles rather than personalized materials. This paper proposes an evolutionary approach to automate this latter problem while, simultaneously, encourages reusability and interoperability by promoting standards employment.
Particle image velocimetry with auto calibration
Authors: Kikuhito Kawasue, Satoshi Aramaki, Yuichiro Ohya
Venue: Proceedings of the 6th WSEAS International Conference on Signal, Speech and Image Processing (2006)

PIV (Particle Image Velocimetry) for a flow measurement have been exploited since the system can detect the instantaneous velocity distribution without any contacts to flow. On the operation of PIV, laser-slit is projected against the flow and the movements of tracer particles on the laser-slit are recorded by CCD, and the computer calculates the velocity vector by analyzing the movements of tracer particles. In order to realize the quantitative measurement, the calibration is required between camera coordinates and world coordinates. The calibration is generally cumbersome and it should be executed on every change of the re-arrangement between CCD and laser projector. In order to reduce the cumbersome work, we developed the PIV system with automatic and real-time calibration using 3D magnetic sensor. The system enables a separated free arrangement of a CCD camera and a laser-slit without calibration. The velocity distribution of different views is reconstructed graphically on a computer display. Experimental results show the feasibility of our system.
White-box testing of behavioral web service contracts with Pex
Authors: Nikolai Tillmann, Jonathan de Halleux
Venue: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications (2008)

A web service exposes a public API that can be accessed by potentially hostile clients over the internet. Pex, a white-box test generation tool for .NET, can automatically create test inputs that cover comer cases of a web service implemented in .NET, simulating a malicous attacker.
Hybrid Stealthy Communication Protocol
Authors: Arjan Durresi, Vamsi Paruchuri, Leonard Barolli
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (2008)

This paper presents a new architecture for flexible and secure networking in battlefields. Our architecture is based on the combination of optical (fiber) and wireless links. Our objective is to be able to carry on undeterred communication without the attack/eavesdropping nodes being able to detect the presence of any communications.We combine the advantages of optical links, such as high bandwidth, low delays, low error rates, good security, with the advantages of wireless links such as mobility and flexibility. From security point of view, we also assume presence of red zones, which are the ones controlled by the adversary or where the adversary can trace wireless activities.The advantage of fiber optical links was demonstrated in various military conflicts. On the other hand, in a dynamic environment, such as those of battlefields, it is expected that fiber cabling will be limited or difficult to be extended. Based on these assumptions we develop our hybrid wireless-optical protocol. The wireless communications are also optimized by searching the besttradeoff among coverage, energy use and security, which means that the wireless propagation should avoid overlapping with red areas, controlled by the adversary. In order to achieve the required optimization among the above mentioned factors, in our wireless protocols we change the transmission power (range) and the selectionof retransmitting nodes.
Algorithm 882: Near-Best Fixed Pole Rational Interpolation with Applications in Spectral Methods
Authors: Joris van Deun, Karl Deckers, Adhemar Bultheel, J. A. C. Weideman
Venue: ACM Transactions on Mathematical Software (TOMS) (2008)

We present a numerical procedure to compute the nodes and weights in rational Gauss-Chebyshev quadrature formulas. Under certain conditions on the poles, these nodes are near best for rational interpolation with prescribed poles (in the same sense that Chebyshev points are near best for polynomial interpolation). As an illustration, we use these interpolation points to solve a differential equation with an interior boundary layer using a rational spectral method. The algorithm to compute the interpolation points (and, if required, the quadrature weights) is implemented as a Matlab program.
A simulated annealing based location area optimization in next generation mobile networks
Authors: Vilmos Simon, Sándor Imre
Venue: Mobile Information Systems (2007)

Mobile networks have faced rapid increase in the number of mobile users and the solution for supporting the growing population is to reduce the cell sizes and to increase the bandwidth reuse. This will cause the number of location management operations and call deliveries to increase significantly, and result in high signaling overhead. We focus on minimizing this overhead, by efficient Location Area Planning (LAP). In this paper we seek to determine the location areas to achieve the minimization of the registration cost, constrained by the paging cost. For that we propose a simulated annealing algorithm, which is applied on a basic Location Area partition of cells formed by a greedy algorithm. We used our realistic mobile environment simulator to generate input (cell changing and incoming call statistics) for our algorithm, and by comparing the values of the registration cost function we recognized that significant reduction was achieved in the amount of the signaling traffic.
Sonic Grid: an auditory interface for the visually impaired to navigate GUI-based environments
Authors: Deepak Jagdish, Rahul Sawhney, Mohit Gupta, Shreyas Nangia
Venue: Proceedings of the 13th international conference on Intelligent user interfaces (2008)

This paper explores the prototype design of an auditory interface enhancement called the Sonic Grid that helps visually impaired users navigate GUI-based environments. The Sonic Grid provides an auditory representation of GUI elements embedded in a two-dimensional interface, giving a 'global' spatial context for use of auditory icons, ear-cons and speech feedback. This paper introduces the Sonic Grid, discusses insights gained through participatory design with members of the visually impaired community, and suggests various applications of the technique, including its use to ease the learning curve for using computers by the visually impaired.
Temporal coding with synchronization and acceleration as complementary mechanisms
Authors: Thomas Burwick
Venue: Neurocomputing (2008)

Temporal coding requires an appropriate combination of synchronizing and desynchronizing mechanisms. We study temporal coding with a desynchronizing mechanism, referred to as acceleration, that causes the units of the network to oscillate with higher phase velocity in case of stronger and/or more coherent input. Recently, it was demonstrated that combining synchronization with acceleration implies a competition for coherence that has a profound and favorable effect on the segmentation of overlapping patterns. Here, we demonstrate, first, an effect of coupling non-identical oscillators. Second, we discuss how including inhibitory couplings enforces the segmenting effect of acceleration. Third, we show how stronger couplings between the units of a pattern may support it in winning this competition for coherence.
Semantic representation of multimedia content: Knowledge representation and semantic indexing
Authors: Phivos Mylonas, Thanos Athanasiadis, Manolis Wallace, Yannis Avrithis, Stefanos Kollias
Venue: Multimedia Tools and Applications (2008)

In this paper we present a framework for unified, personalized access to heterogeneous multimedia content in distributed repositories. Focusing on semantic analysis of multimedia documents, metadata, user queries and user profiles, it contributes to the bridging of the gap between the semantic nature of user queries and raw multimedia documents. The proposed approach utilizes as input visual content analysis results, as well as analyzes and exploits associated textual annotation, in order to extract the underlying semantics, construct a semantic index and classify documents to topics, based on a unified knowledge and semantics representation model. It may then accept user queries, and, carrying out semantic interpretation and expansion, retrieve documents from the index and rank them according to user preferences, similarly to text retrieval. All processes are based on a novel semantic processing methodology, employing fuzzy algebra and principles of taxonomic knowledge representation. The first part of this work presented in this paper deals with data and knowledge models, manipulation of multimedia content annotations and semantic indexing, while the second part will continue on the use of the extracted semantic information for personalized retrieval.
Optimal speedup on a low-degree multi-core parallel architecture (LoPRAM)
Authors: Reza Dorrigiv, Alejandro López-Ortiz, Alejandro Salinger
Venue: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures (2008)

Over the last five years, major microprocessor manufacturers have released plans for a rapidly increasing number of cores per microprossesor, with upwards of 64 cores by 2015. In this setting, a sequential RAM computer will no longer accurately reflect the architecture on which algorithms are being executed. In this paper we propose a model of low degree parallelism (LoPRAM) which builds upon the RAM and PRAM models yet better reflects recent advances in parallel (multi-core) architectures. This model supports a high level of abstraction that simplifies the design and analysis of parallel programs. More importantly we show that in many instances it naturally leads to work-optimal parallel algorithms via simple modifications to sequential algorithms.
Software project cost estimation using AI techniques
Authors: V. Rodríguez Montequín, J. Villanueva Balsera, C. Alba González, G. Martínez Huerta
Venue: Proceedings of the 5th WSEAS/IASME International Conference on Systems Theory and Scientific Computation (2005)

The software cost estimation is an important task within projects. It determines the success or failure of a project. In order to improve the estimation, it is very important to identify and study the most relevant factors and variables. This paper describes a method to perform this estimation based on AI techniques and using Data Mining methodologies.
The Early Detection of DDoS Based on the Persistent Increment Feature of the Traffic Volume
Authors: Ying Huang, Xiangsheng Fu, Qiang Hou, Zifan Yu
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications - Workshops (2008)

One of the major threats to cyber security is Distributed Denial of Service (DDoS) attacks. In this paper, we propose a new algorithm based on the persistent increment tendency of DDoS traffic. Our scheme can detect a DDoS attack in its early stages when the attacking packet’s attribute value has no distinct features. It can differentiate DDoS from flash crowd traffic. This scheme detects DDoS attacks with on-line and distributed characteristics. Simulation shows the algorithm's validity and accuracy.
Analyzing the Secure and Energy Efficient Transmissions of Compressed Fingerprint Images using Encryption and Watermarking
Authors: Seungwoo Hong, Hakjae Kim, Sungju Lee, Yongwha Chung
Venue: Proceedings of the 2008 International Conference on Information Security and Assurance (isa 2008) (2008)

As the mobile handheld devices equipped with fingerprint sensors are produced, it becomes important to protect the private information of a user (i.e., fingerprint image) in the remote applications. In this paper, we consider the possible scenarios to transmit fingerprint images from the handheld device to a server securely using both encryption and watermarking. Moreover, to transmit the large-sized fingerprint images via a restricted bandwidth, the image compression should be considered. Based on the experimental results, we compare and analyze three factors (i.e., the energy consumption, the watermark detection rate, and the fingerprint recognition rate) of the possible compression standard techniques(i.e., the JPEG2000 and the WSQ).
On the building of affine retractions
Authors: Aleksy Schubert
Venue: Mathematical Structures in Computer Science (2008)

A simple type σ is retractable to a simple type τ if there are two terms Cσ→τ and Dτ→σ such that D ○ C<private-char><inline-graphic mime-subtype="gif" xlink="S096012950800683X_char1"/></private-char> λx.x. The retractability of types is affine if the terms C and D are affine, that is, when every bound variable occurs in them at most once in the scope of its declaration. This paper presents a system that derives affine retractability for simple types. It also studies the complexity of constructing these affine retractions. The problem of affine retractability is NP-complete even for the class of types over a single type atom and having limited functional order. In addition, a polynomial algorithm for types of orders less than three is presented.
Course management with TrucStudio
Authors: Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer
Venue: ACM SIGCSE Bulletin (2008)

Ever growing expectations from students, university management and other stakeholders make course preparation increasingly time-consuming. Setting up a course from scratch requires producing many supporting documents such as syllabi, schedules, and course web sites listing the concepts being taught. This can be a considerable effort, taking time away from tasks with a more immediate pedagogical value, such as answering student questions and refining the concepts themselves. The TrucStudio course development framework supports a systematic approach to these necessary but arduous tasks. TrucStudio is organized like a modern programming environment, but its elements of discourse, rather than software modules, are units of knowledge such as notions, Trucs and clusters. In addition to course development, applications of TrucStudio include checking sound coverage of topics and comparing courses on an objective basis. This presentation focuses on two novel features of TrucStudio: version management of knowledge units and course information; and generation of output documents in various formats from knowledge units and other material managed by TrucStudio.
Secure Communication in Next Generation Internet
Authors: Nauman Aslam, William Robertson
Venue: Proceedings of the Communication Networks and Services Research Conference (2008)

In recent years, Network Security has emerged as one of the most important challenge for many organizations. The enormous proliferation of the Internet and emergence of unified data, voice and multimedia services are responsible for emerging communication models that are essential for successful business activity of any organization. However, the increasing numbers of sophisticated security threats have the potential to significantly impede productivity, disrupt business operations and result in loss of information. Therefore maintaining a secure network remains the top priority for most organizations. The aim of this tutorial is to discuss the major security issues faced by network managers and the solutions currently employed.
An Energy Efficient Routing Based on OLSR in Wireless Ad Hoc and Sensor Networks
Authors: Saoucene Mahfoudh, Pascale Minet
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications - Workshops (2008)

Energy efficiency is a key issue in wireless ad hoc and sensor networks. Several directions have been explored to maximize network lifetime, among them energy efficient routing. In this paper, we show how to extend the standardized OLSR routing protocol, in order to make it energy efficient. To take into account residual node energy, three new selection algorithms of multipoint relays, based on the minimum residual energy are evaluated, the best one is chosen. This OLSR extension selects the path minimizing the energy consumed in the end-to-end transmission of a flow packet and avoids nodes with low residual energy. We compare this extension with a two-path source routing strategy (with different links or different nodes). An extensive performance evaluation shows that this energy efficient extension maximizes both network lifetime and user data delivered.
WebTOP: an X3D-based, web-delivered, interactive system for optics instruction
Authors: Brian J. Thomas, Jeremy E. Davis, Grant D. Patten, Paul A. Cleveland, Peter J. Gilbert, Matt T. Hogan, Shane P. Fry, John T. Foley, Taha Mzoughi, David C. Banks
Venue: Proceedings of the 13th international symposium on 3D web technology (2008)

The Optics Project on the Web (WebTOP) is a 3D, interactive computer graphics system that visualizes optical phenomena. Its purpose is to help instructors teach and students learn about waves and optics. Originally, WebTOP was implemented using VRML, Java, and the External Authoring Interface, and required the use of the Microsoft Virtual Machine. This paper provides an introduction to a new version of WebTOP that uses X3D, Java, the Scene Access Interface, and the Sun Virtual Machine. The interface, modules, and implementation of this version are discussed.
Improving web information indexing and retrieval based on center block duplication detection
Authors: Tyrone Cadenhead, Jinlin Chen, Terry Cook
Venue: International Journal of Innovative Computing and Applications (2008)

Duplicated information in today's Web has serious negative impact to Web search engines in that it increases the size of the index and results in low efficiency for Web information retrieval. One important fact is that a large amount of Web content duplication happens at block level in addition to site and page level due to various reasons. Besides, when searching through the Web, in most cases the desired information is located at the center block of a relevant page. Based on these two observations, we propose an efficient block level duplication detection algorithm based on resemblance transitivity, and index center blocks instead of entire Web pages for Web information retrieval. Experiments show that these strategies can effectively reduce index size and index construction time without sacrificing the effectiveness of Web information retrieval.
Predictive Delay Evaluation on Emerging CMOS Technologies: A Simulation Framework
Authors: Manuel Sellier, Jean-Michel Portal, Bertrand Borot, Steve Colquhoun, Richard Ferrant, Frédéric Boeuf, Alexis Farcy
Venue: Proceedings of the 9th international symposium on Quality Electronic Design (2008)

The main goal of this paper is to study the delay evolution for future technology nodes (32nm and beyond) using electrical circuit predictive simulations. With this aim, two SPICE predictive models, directly based on ITRS data, are developed for devices and for interconnect respectively. The predictive spice models generation is presented and validated versus 45nm silicon data. The predictive delay evaluation is performed with buffered interconnect lines simulations. The simulation results show that the critical interconnect length should be in the order of 10μm for the 2020 generation. Moreover, in forthcoming technologies, driver resizing and systematic buffer insertion will no longer be sufficient to systematically limit wire delay increase.
External memory planar point location with logarithmic updates
Authors: Lars Arge, Gerth Stølting Brodal, S. Srinivasa Rao
Venue: Proceedings of the twenty-fourth annual symposium on Computational geometry (2008)

Point location is an extremely well-studied problem both in internal memory models and recently also in the external memory model. In this paper, we present an I/O-efficient dynamic data structure for point location in general planar subdivisions. Our structure uses linear space to store a subdivision with N segments. Insertions and deletions of segments can be performed in amortized O(logB N) I/Os and queries can be answered in O(logB2 N) I/Os in the worst-case. The previous best known linear space dynamic structure also answers queries in O(logB2 N) I/Os, but only supports insertions in amortized O(logB2 N) I/Os. Our structure is also considerably simpler than previous structures.
Carbon Nanostructures in MEMS Applications
Authors: Richard Ficek, Radimir Vrba, Ondrej Jasek, Marek Elias, Lenka Zajickova, Hana Hornochova
Venue: Proceedings of the Third International Conference on Systems (2008)

A new field emission pressure sensor based on carbon nanotubes (CNTs) emitting array is described in this paper. The pressure sensor is based on the principle that the field emission current is correlated with the electrical field intensity, i.e. the variable anode-emitter distance caused by pressure changes when the applied voltage is fixed. The sensor consists of two main parts, silicon etched membrane anode and CNTs emitting array cathode. The silicon single crystal (Si) wafer with orientation is doped by phosphorus to obtain low resistant value. The CNTs were grown by plasma enhanced chemical vapour deposition by using iron as a catalyst in atmospheric pressure microwave torch. The field emission device has high emission current density, low threshold voltage, resistance to radiation, and quick response.