ppxscal/embedding_network huggingface dataset:
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Authors: Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
Venue: Proceedings of the 14th international Symposium on Static Analysis (2007)

Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects harnessed by type constraints. As types are typically treated as compile time entities, it is highly desirable to be able to perform static weaving to determine at compile time the chaining of type-scoped advices to their associated join points. In this paper, we describe a compilation model, as well as its implementation, that supports static type inference and static weaving of programs in an aspect-oriented polymorphically typed lazy functional language, AspectFun. We present a type-directed weaving scheme that coherently weaves type-scoped advices into the base program at compile time. We state the correctness of the static weaving with respect to the operational semantics of AspectFun. We also demonstrate how control-flow based pointcuts (such as cflowbelow) are compiled away, and highlight several type-directed optimization strategies that can improve the efficiency of woven code.
Estimation of low order odd current harmonics in short chorded induction motors using artificial neural network
Authors: Yasar Birbir, H. Selcuk Nogay, Yelda Ozel
Venue: Proceedings of the 9th WSEAS International Conference on Neural Networks (2008)

In this paper, Artificial Neural Network (ANN) technique has been used for the estimation of low order odd current harmonics mainly from input and output measurements of five different chorded induction motors. A sinusoidal pulse-width modulation (SPWM) inverter feeding five different chorded three-phase induction motors were tested up to first thirty harmonic voltage component at different loads. The results show that the artificial neural network model produces reliable estimates of low order odd current harmonics.
POEMS: Peer-Based Overload Management
Authors: Wee Siong Ng, Panos Kalnis, Kian-Lee Tan, Markus Kirchberg
Venue: Proceedings of the 9th international conference on Web Information Systems Engineering (2008)

The Internet has become increasingly important to many emerging application such as Blog, Wikis, podcasts, and others Web-based communities and social-networking services, i.e. Web 2.0. Behind the scenes, added functionalities depend on the ability of users to work with the data stored on servers, i.e. DBMSs. However, the unpredictability and fluctuations of requests could result in overload, which can substantially degrade the quality of service. It is a challenging task to provide quality of service with inexpensive and scalable infrastructure. In this paper, we look at a new architectural design dimension, POEMS, that is online transformable between a single-node server and peer-based service network architectures. POEMS operates as a conventional DBMS under normal load conditions and transforms to peer-to-peer operation mode for processing under heavy load. In contrast to traditional distributed DBMSs, all nodes contribute their spare capacities for data manipulation. This is achieved without the need to install any DBMS at any of the contributing nodes. Data are partitioned online and operators are distributed to nodes similarly. The effectiveness of query processing is achieved by node cooperation. POEMS allows processes or operators to be dismissed online, so a user can fully utilise his/her resources.
Linking the Meaning of Programs to What the Compiler Can Verify
Authors: Egon Börger
Venue: Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (2005)

We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where the analysis comprises both experimental validation and mathematical verification. We also point to a practical framework to deal with theses challenges, namely the Abstract State Machines (ASM) method for high-level system design and analysis. We explain how it allows one to bridge the gap between informal requirements and detailed code by combining application-centric experimentally validatable system modeling with mathematically verifiable refinements of abstract models to compiler-verifiable code.
Neuron unit arrays and nature/nurture adaptation for photonic multichip modules
Authors: Armand R. Tanguay,  Jr.
Venue:  (2007)

To implement a previously proposed 3-D hybrid electronic/photonic multichip module (PMCM) (mimicking a primate retina structure) capable of low-latency, high-throughput, parallel-processing computations, several critical hardware components are designed, fabricated, and tested. All components are made of MOSIS 1.5 &mu;m n-well BiCMOS (bipolar complimentary metal oxide silicon) fabrication process.A 12-by-12 dual-input, dual-output silicon neuron unit array chip has been fabricated, and characterized. A desired sigmoid-shape optical output from a vertical surface emitting laser (VCSEL) driven by this chip (with a linear-optical-input) was obtained. A logarithmic amplifier circuitry has been fabricated, and characterized. The dynamic range of its sensed brightness is multiple decades wide. This bipolar-based circuit's high sensitivity at low input signal range can improve the overall optical responsivity of the PMCM if it is integrated. A floating gate design is verified to be a good candidate for the long-term analog weight storage. The floating gate controlled channel resistance can represent the lateral weighted interconnection in the PMCM. A preliminary active pixel sensor design is also characterized, and evaluated for weight storage. Physical constraints, trade-offs, and relationships among the components for optimizing the performance of the PMCM are discussed. Software-wise, an artificial neural learning algorithm (Nature/Nurture algorithm) is developed for modeling the PMCM. This algorithm describes the weight updating rules for both the vertical fixed (nature-like) and the lateral adaptive (nurture-like) weighted interconnections in the PMCM. The learning algorithm for the lateral weight adaptations is new, and derived based on the multi-layer error back-propagation (BP) supervised learning algorithm using gradient descent method. Results from a simple optical character recognition (OCR) simulation show: (1) A PMCM with only one hidden neuron layer is sufficient to perform the OCR. (2) The Nature/Nurture trained neural network can recognize well the new modified patterns (generated from the original patterns) after the lateral weight adaptations. (3) A neural network similar to the pathways of the PMCM with local connectivity (only 9 vertical and 8 lateral interconnections from each neuron) can also perform pattern recognition with acceptable recognition rate.
Savanta--search, analysis, visualisation and navigation of temporal annotations
Authors: Jon Olav Hauglid, Jon Heggland
Venue: Multimedia Tools and Applications (2008)

In this article, we present Savanta, an information gathering interface for temporal, semantic video annotations. In Savanta, we integrate various methods and paradigms for information gathering, including visualisation, filtering, data mining, navigation and search, in order to explore the possible advantages of doing so. We posit that a seamless integration of multiple access methods, combined with an improved interval visualisation scheme and dynamically generated metadata, will result in greater user satisfaction compared to conventional approaches for searching and querying video databases--despite the increased complexity that may result. We perform a formal usability evaluation comparing Savanta to systems based on traditional search/query paradigms, and conclude that Savanta outperforms them with regard to both power and usability, especially for complex and open-ended tasks.
Competition and Coordination in Stochastic Games
Authors: Andriy Burkov, Abdeslam Boularias, Brahim Chaib-Draa
Venue: Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence (2007)

Agent competition and coordination are two classical and most important tasks in multiagent systems. In recent years, there was a number of learning algorithms proposed to resolve such type of problems. Among them, there is an important class of algorithms, called adaptive learning algorithms, that were shown to be able to converge in self-play to a solution in a wide variety of the repeated matrix games. Although certain algorithms of this class, such as Infinitesimal Gradient Ascent (IGA), Policy Hill-Climbing (PHC) and Adaptive Play Q-learning (APQ), have been catholically studied in the recent literature, a question of how these algorithms perform versus each other in general form stochastic games is remaining little-studied. In this work we are trying to answer this question. To do that, we analyse these algorithms in detail and give a comparative analysis of their behavior on a set of competition and coordination stochastic games. Also, we introduce a new multiagent learning algorithm, called ModIGA. This is an extension of the IGA algorithm, which is able to estimate the strategy of its opponents in the cases when they do not explicitly play mixed strategies (e.g., APQ) and which can be applied to the games with more than two actions.
RFID as a disruptive innovation
Authors: Vlad Krotov, Iris Junglas
Venue: Journal of Theoretical and Applied Electronic Commerce Research (2008)

The first part of the paper discusses Wal-Mart's adoption of RFID through the theoretical lens of the Resources, Processes, and Values (RPV) innovation theory. This part makes a theoretical argument that Wal-Mart adopted RFID as a sustaining innovation - an incremental improvement in supply chain identification technology. The second part reviews a representative sample of IS literature in order to investigate whether IS researchers have been influenced by Wal-Mart's perspective on RFID. The literature review suggests that many IS researchers have also adopted Wal-Mart's perspective on RFID. The third part argues that RFID technology has a potential to become a disruptive technology with a profound impact on business and society. Given this possibility, both researchers and practitioners are provided with two frameworks ("object oriented approach" and "visionary approach") which can help them to adopt a more forward-looking perspective in relation to RFID. The object oriented approach starts from the basic capabilities offered by RFID technology and attempts to determine how these capabilities can be used to create a new RFID application. The visionary approach starts by assuming that RFID technology has reached its peak in terms of breadth of adoption and then tries to determine opportunities offered in this situation.
The Design of Web-Based Intelligent Item Bank
Authors: Shaochun Zhong, Yongjiang Zhong, Jinan Li, Wei Wang, Chunhong Zhang
Venue: Proceedings of the 3rd international conference on Technologies for E-Learning and Digital Entertainment (2008)

Based on briefly analyzing the current situation and problems of internet item bank, the paper proposes a web-based intelligent item bank which is intelligent and can evaluate the tests effectively. Then it introduces the function design, architecture and implementation scheme of the system. It elaborates the evaluation strategies---S-P table in detail, which can not only evaluate the student individual and in whole but also evaluate the testing. Finally it discusses the future development of the system.
MPEG-21 Digital Item Adaptation: Enabling Universal Multimedia Access
Authors: Anthony Vetro
Venue: IEEE MultiMedia (2004)

This article describes work developed within the MPEG standardization committee to help alleviate some of the burdens confronting us in connecting a wide range of multimedia content with different terminals, networks, and users. Ultimately, this work will enable what we often refer to as Universal Multimedia Access (UMA).
Performance Analysis of Dynamic Priority Shifting
Authors: Philipp Reinecke, Katinka Wolter, Johannes Zapotoczky
Venue: Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering (2008)

We investigate the benefit of priority shifting for resource allocation in systems with a shared resource, where higher priority implies better service. Priority schemes where priority levels are assigned fixed shares of the resource experience underutilisation if there are only low-priority tasks present. In these situations, lower priority tasks can be `shifted up' to higher priority. This increases overall system utilisation and improves the service experienced by low-priority tasks. We present a shifting framework, study its properties and develop a Petri net model for a shifting algorithm. We analyse the model in order to identify situations where shifting of priorities is beneficial.
A Fractional Fourier Approach SAR Imaging Method
Authors: Hai-ning Li, Bian-zhang Yu, Wei Xi, Kai-bin Wang
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 5 - Volume 05 (2008)

In this paper, we bring forward a new approach for SAR imaging using fractional Fourier transform (FRFT). For synthetic aperture radar (SAR), the echo from the ground can be regarded approximately as a chirp signal, and the FRFT is a powerful way to concentrate the energy of a chirp signal. A two stepSAR imaging algorithms is suggested, and experimental results show that the efficiency and accuracy of the proposed method are much better than those of the Chirp Scaling algorithm (CSA). Also for the reason it take only two steps to form the image in the fractional Fourier domain, this method is much simple in implementation.
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking
Authors: Michael Katelman, José Meseguer, Jennifer Hou
Venue: Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems (2008)

The local minimum spanning tree (LMST) topology control protocol tries to maintain connectivity in an ad-hoc wireless sensor network while minimizing power consumption and maximizing data bandwidth. Our formal, statistical model checking analysis of LMST under realistic deployment conditions shows that the invariant of maintaining network connectivity is easily lost. We then propose a formally-based system redesign methodology in which quantitative temporal logic formulas and further statistical model checking can be used to identify the causes of bugs, and to reach a correct system redesign. We show this methodology effective in the redesign of a version of LMST that ensures network connectivity under realistic deployment conditions.
Wavelet Network for Nonlinearities Reduction in Multicarrier Systems
Authors: Nibaldo Rodriguez, Claudio Cubillos, Orlando Duran
Venue: Proceedings of the 2nd international work-conference on Nature Inspired Problem-Solving Methods in Knowledge Engineering: Interplay Between Natural and Artificial Computation, Part II (2007)

In this paper, we propose a wavelet neural network suitable for reducing nonlinear distortion introduced by a traveling wave tube amplifier (TWTA) over multicarrier systems. Parameters of the proposed network are identified using an hybrid training algorithm, which adapts the linear output parameters using the least square algorithm and the nonlinear parameters of the hidden nodes are trained using the gradient descent algorithm. Computer simulation results confirm that the proposed wavelet network achieves a bit error rate performance very close to the ideal case of linear amplification.
Google's Geospatial Organizing Principle
Authors: Michael T. Jones
Venue: IEEE Computer Graphics and Applications (2007)

This visualization viewpoints reviews the motivations, approaches, and accomplishments in applying genus loci—the sense of place—to advance Google's mission to organize the world's information and make it universally accessible and useful. Delivering the universe of information in a meaningful spatial context has proven an ambitious undertaking. Ideas from philosophy, psychology, and sociology shape the design, and technical and logistical challenges abound in the implementation. In this task, we wove long-standing wisdom, fresh technical thinking, and our vision of the future to create a global information landscape where people experience a uniquely real understanding of the answers to their questions. That the work is used many millions of times per day shows the result to be useful. We believe this usefulness, popularity, and power derive from a focus on the nature of human cognition.
Bill Organiser Portal: A Case Study on End-User Composition
Authors: Agnes Ro, Lily Shu-Yi Xia, Hye-Young Paik, Chea Hyon Chon
Venue: Proceedings of the 2008 international workshops on Web Information Systems Engineering (2008)

Whilst Web services can be composed by technical developers using a language such as BPEL, there is no easy way for non-technical end users to take advantage of these services. The advent of Web 2.0 and mashups has brought about the notion that content from different sources can be brought together by the user themselves to create a new service. Inspired by such ideas, we propose a lightweight end-user service composition paradigm, namely; Stones, Stories and StoryBoard. A Stone is a representation of a commonly performed task or operation that can be used to construct a Story. StoryBoard provides an intuitive drag-and-drop style user environment in which the Stories are created, validated and run. We demonstrate the concept through an implementation of a case study on bill management.
A modelling approach to study learning processes with a focus on knowledge creation
Authors: Ambjorn Naeve, Pertti Yli-Luoma, Milos Kravcik, Miltiadis D. Lytras
Venue: International Journal of Technology Enhanced Learning (2008)

In this paper, we present a modelling approach to study learning processes. We introduce the process/pedagogy/tools model and shown how its assembly-line style of process modelling can be used to describe which pedagogical aspects and which tools that support which parts of a specific learning process. We also review the SECI knowledge creation theory of Nonaka and combine it with process modelling to arrive at a SECI process framework for the study and analysis of knowledge-creating learning processes. Finally, we show that the different SECI modes of knowledge conversion are empirically supported by pedagogical research.
Perceptual Components of Computer Displays
Authors: R. N. Haber
Venue: IEEE Computer Graphics and Applications (1982)

An understanding of the psychological principles of visual perception can help computer scientists improve man-machine communication.
Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem
Authors: Iris Loeb
Venue: Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms (2008)

We prove the equivalence between some intuitionistic theorems and the conjunction of a continuity principle and a compactness principle over Bishop's Constructive Mathematics within the programme of Constructive Reverse Mathematics. To clarify our line of thought, we first point out the relation between quasi-equicontinuity, quasi-uniform convergence, and the continuity principle saying that the limit of a convergent sequence of continuous functions is again continuous. Finally, as a spin-off, we conclude that we have found a new, more economic proof of the statement that every convergent sequence of functions on a compact metric space converges uniformly.
On Counting Generalized Colorings
Authors: T. Kotek, J. A. Makowsky, B. Zilber
Venue: Proceedings of the 22nd international workshop on Computer Science Logic (2008)

It is well known that the number of proper k-colorings of a graph is a polynomial in k. We investigate in this talk under what conditions a numeric graph invariant which is parametrized with parameters k 1, ..., k m is a polynomial in these parameters. We give a sufficient conditions for this to happen which is general enough to encompass all the graph polynomials which are definable in Second Order Logic. This not only covers the various generalizations of the Tutte polynomials, Interlace polynomials, Matching polynomials, but allows us to identify new graph polynomials related to combinatorial problems discussed in the literature.
Requirements for Machine Lifelong Learning
Authors: Daniel L. Silver, Ryan Poirier
Venue: Proceedings of the 2nd international work-conference on The Interplay Between Natural and Artificial Computation, Part I: Bio-inspired Modeling of Cognitive Tasks (2007)

A system that is capable of retaining learned knowledge and selectively transferring portions of that knowledge as a source of inductive bias during new learning would be a significant advance in artificial intelligence and inductive modeling. We define such a system to be a machine lifelong learning, or ML3 system. This paper makes an initial effort at specifying the scope of ML3 systems and their functional requirements.
Pursuing the Goal of Language Understanding
Authors: Arun Majumdar, John Sowa, John Stewart
Venue: Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning (2008)

No human being can understand every text or dialog in his or her native language, and no one should expect a computer to do so. However, people have a remarkable ability to learn and to extend their understanding without explicit training. Fundamental to human understanding is the ability to learn and use language in social interactions that Wittgenstein called language games. Those language games use and extend prelinguistic knowledge learned through perception, action, and social interactions. This article surveys the technology that has been developed for natural language processing and the successes and failures of various attempts. Although many useful applications have been implemented, the original goal of language understanding seems as remote as ever. Fundamental to understanding is the ability to recognize an utterance as a move in a social game and to respond in terms of a mental model of the game, the players, and the environment. Those models use and extend the prelinguistic models learned through perception, action, and social interactions. Secondary uses of language, such as reading a book, are derivative processes that elaborate and extend the mental models originally acquired by interacting with people and the environment. A computer system that relates language to virtual models might mimic some aspects of understanding, but full understanding requires the ability to learn and use new knowledge in social and sensory-motor interactions. These issues are illustrated with an analysis of some NLP systems and a recommended strategy for the future. None of the systems available today can understand language at the level of a child, but with a shift in strategy there is hope of designing more robust and usable systems in the future.