ppxscal/embedding_network huggingface dataset:
Performance Analysis of Packet Aggregation in WLANs with Simultaneous Multi-user Access
Authors: Andreas Könsgen, Md. Shahidul Islam, Andreas Timm-Giel, Carmelita Görg
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

A cross-layer wireless LAN system is considered which transmits packets for a number of users simultaneously using OFDMA or SDMA transmission. Due to varying packet lengths and physical bitrates for each user, this results in different transmission times so that users with faster transmissions have to wait until the transmission of the slower users is complete. Packet aggregation can reduce the loss of airtime and enhance the throughput without affecting the delay by filling in the gaps with additional packets which are ready for transmission. In this paper, the throughput is determined analytically and by simulation with and without packet aggregation for some given distribution functions of the packet size and the transmission time. For a more realistic channel model, the throughput enhancement due to packet aggregation is determined by simulations. It is shown that dependent on the distribution of the different flows, a significant throughput enhancement can be achieved.
OSCAR: An Architecture for Generally Intelligent Agents
Authors: John L. Pollock
Venue: Proceeding of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference (2008)

OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal idea is that a generally intelligent agent must be able to function in an environment in which it is ignorant of most matters of fact. The architecture incorporates a general-purpose defeasible reasoner, built on top of an efficient natural deduction reasoner for first-order logic. It is based upon a detailed theory about how the various aspects of epistemic and practical cognition should interact, and many of the details are driven by theoretical results concerning defeasible reasoning. The architecture is easily extensible by changing the set of inference schemes supplied to the reasoner. Existing inference schemes handle many kinds of epistemic cognition, including reasoning from perceptual input, causal reasoning and the frame problem, and reasoning defeasibly about probabilities. Work is underway to implement a system of defeasible decision-theoretic planning.
Towards automatic software model checking of thousands of Linux modules&mdash;a case study with Avinux
Authors: Hendrik Post, Carsten Sinz, Wolfgang Küchlin
Venue: Software Testing, Verification Reliability (2009)

Modular software model checking of large real-world systems is known to require extensive manual effort in environment modelling and preparing source code for model checking. Avinux is a tool chain that facilitates the automatic analysis of Linux and especially of Linux device drivers. The tool chain is implemented as a plugin for the Eclipse IDE, using the source code bounded model checker CBMC as its backend. Avinux supports a verification process for Linux that is built upon specification annotations with SLICx (an extension of the SLIC language), automatic data environment creation, source code transformation and simplification, and the invocation of the verification backend. In this paper technical details of the verification process are presented: Using Avinux on thousands of drivers from various Linux versions led to the discovery of six new errors. In these experiments, Avinux also reduced the immense overhead of manual code preprocessing that other projects incurred. Copyright &copy; 2008 John Wiley & Sons, Ltd.
Designing and testing mobile interfaces for children
Authors: Glenda Revelle, Emily Reardon
Venue: Proceedings of the 8th International Conference on Interaction Design and Children (2009)

There is a growing body of research on usability and interaction design with and for children using computers [1, 2, 3]. Less is known about interaction design and usability as applied to children's use of mobile devices. Sesame Workshop has redesigned a web-based literacy intervention for young readers to run on the Apple iPod Touch. We report on design challenges in moving from large screens and mouse-based interactions to small screens and touch-based interactions, and make interface and interaction design recommendations based on the results of our prototyping and research with children.
Learning from cooperation using justifications
Authors: Eloi Puertas, Eva Armengol
Venue: Proceeding of the 2006 conference on Artificial Intelligence Research and Development (2006)

In multi-agent systems, individual problem solving capabilities can be improved thanks to the interaction with other agents. In the classification problem solving task each agent is able to solve the problems alone, but in a collaborative scenario, an agent can take advantage of the knowledge of others. In our approach, when an agent decides to collaborate with other agents, in addition to the solution for the current problem, it acquires new domain knowledge. This domain knowledge consists on explanations (or justifications) that other agents done for the solution they proposed. In that way, the first agent can store these justifications and use them like some kind of domain rules for solving new problems. As a consequence, the agent acquires experience and it is capable to solve on its own problems that initially were outside of his experience.
Perceptual evaluation of speech quality for iLBC vocoder with uneven level protection over narrow band MSK radio
Authors: Shih-Kai Lee, Lu-Ping Keng
Venue: WSEAS TRANSACTIONS on COMMUNICATIONS (2009)

Narrow band MSK(Minimum Shift Keying) radio is applied for high receiving sensitive wireless communications like "walky-talky". iLBC (internet Low Bit-rate Codec) is widely used in VoIP (Voice over IP) applications like "Skype". This paper is concerned with the speech quality by using iLBC in narrow band MSK wireless communication. Several ULP (Uneven Level Protection) strategies to protect different part of iLBC coded payloads are evaluated under AWGN (Additive White Gaussian Noise). We utilize PESQ (Perceptual Evaluation of Speech Quality) to evaluate the perceptual speech quality. Simulation results show that significant improvement of PESQ scores are obtained by using appropriate ULP strategies so that our proposed MSK radio system can also achieve high receiving sensitivity.
Analytical properties and numerical calculations of high transcendental functions involved in the relativistic amplitudes of two photon atomic processes
Authors: Adrian Costescu, Sever Spanulescu, Cristian Stoica
Venue: WSEAS Transactions on Mathematics (2009)

The high transcendental functions that occur in the relativistic expressions of the amplitudes of the two photon atomic processes are analytically treated taking advantage of their specific parameters values. We present some identities and recurrence relationships that allow reducing the number of needed Appell functions and transform their imaginary part in terms of Gauss hypergeometric functions. If the physical model takes into account only the terms up till the fourth power in αZ in the real part and the seventh power in the imaginary part, some transcendental functions may be reduced to elementary functions. The numerical results obtained using the presented methods were compared with other's authors results, displaying a very good agreement.
Enabling Technologies for Mobile Services: The MobiLife Book
Authors: Mika Klemettinen
Venue:  (2007)

The expected future evolution of mobile and wireless communication technologies will enable a whole new generation of mass-market-scale ubiquitous services and applications. The challenge now is to research and develop applications and services addressing the true needs of the end-users, and to provide engaging and sustaining added value to them. Enabling Technologies for Mobile Servicestakes a comprehensive approach on these challenges and provides practical guidelines on building new, innovative applications and services. It shares knowledge gained from a collaborative research project where the methods and technologies were applied and utilised. This book is ideal for professionals working with enabling technologies and service architecture in companies. It will also be of interest to academics and students studying applications/services, enabling technologies and service architectures at the universities and to anyone interested in the general issues surrounding mobile technology. Key features: Covers key topics in the B3G area including applications and services from the users, key enabling technologies, regulatory and business models, end-user evaluations and applications/services creation points of view Explains the results of major collaborative (industry-academia-SMEs) MobiLife research project Builds on previous and parallel interaction with the Wireless World Research Forum Explores pioneering legal/regulatory analysis of the challenges related to new, advanced application/service solutions including personalisation and DRM Presents qualitative evaluations and field studies of more than 250 end-users in Italy and Finland Additional material available on companion website 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
Comparative analysis using bankruptcy prediction models: an online computer-based system
Authors: Ana Grama, Daniel Pavaloaia
Venue: Proceedings of the 2nd conference on European computing conference (2008)

Bankruptcy in general, and especially bankruptcy prediction models, have always been of great interest for both specialists and theoreticians. Though several computerized systems that allow automated bankruptcy prediction models exist, very few of them are available online. Therefore, in the current paper we propose an online computer-based system that allows a comparative analysis using Romanian and international bankruptcy prediction models which analyze and give further direction to a small or medium-sized enterprise that is interested in being studied. In the authors' opinion, the innovative feature of this system is developed by combining three technologies: web, spreadsheet and expert systems. Thus, the computer based model is accessed throughout a webpage (hosted on an Apache virtual server), is developed using Exsys Corvid and reads variables from two spreadsheet files. The website can be accessed at the following address: http://feaa-c-24.feaa.uaic.ro/bankruptcy/index.html.
Characteristic points on the intersection curves of pairs of conical, secant surfaces with distinct axes and common direction of their circular sections
Authors: Sorin Aldea
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

Certain graphical procedures are described that complete the usual methods at hand in the descriptive geometry for the determination of the intersection between conical surfaces. Utilisation of the recommanded procedures ofers the posibility of a fast recognition of the existence of the curve of intersection and of its feature, of a rigorously exact positioning of the auxiliary surafaces, and additionally the geometrical localisation of certain points with specific properties, belonging to the intersection line. The presented constructions increase the accuracy in obtaining the intersection curves and reduce the execution time, whatever the method of graphical construction is involved, manual or automated. The presented methods may also be applied to surfaces with other types of director curves and become specifically useful in the case of intersecting conical surfaces with graphically defined directors, without an analitical expression.
Hybrid Filter Based Simultaneous Localization and Mapping for a Mobile Robot
Authors: Kyung-Sik Choi, Bong-Keun Song, Suk-Gyu Lee
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

We propose a hybrid filter based SLAM (Simultaneous Localization and Mapping) for a mobile robot to compensate for the EKF (Extended Kalman Filter) based SLAM error inherently caused by the linearization process. A mobile robot autonomously explores the environment by interpreting the scene, building an appropriate map, and localizing itself relative to this map. A probabilistic approach has dominated the solution to the SLAM problem. This solution is a fundamental requirement for robot navigation. The EKF algorithm with a RBF (Radial Basis Function) has some advantages in handling a robotic system having nonlinear dynamics because of the learning property of neural networks. We modified an already developed Matlab simulation source for the hybrid filter-SLAM for simulation and comparison. The simulation results showed the effectiveness of the proposed algorithms as compared with an EKF-based SLAM.
A per-application mobility management platform for application-specific handover decision in overlay networks
Authors: Moonjeong Chang, Hyunjeong Lee, Meejeong Lee
Venue: Computer Networks: The International Journal of Computer and Telecommunications Networking (2009)

With the advance of various wireless access technologies, the demand for a mobile user equipped with multiple air interfaces simultaneously executing diverse applications emerged. In such network environments, per-application mobility management is a key to allow each application of an end user device to dynamically and fully take advantage of the most suitable access technology. In this paper, we devised a comprehensive architectural platform with cross-layer techniques to realize this disruptive technology, i.e., per-application mobility management. The proposed platform enables the triggering of vertical handover decisions based on the dynamic measurements from the entire protocol stack. For per-application, the handover decision as well as the mobility management and the transport/application protocol control adaptation for handover performance optimization are made with cross-layer techniques. Through the simulation results, it is shown that multi-layer handover triggering of the proposed platform enhances the QoS of the application services by making handover decisions when the QoS requirements of an application is not satisfied as well as when a mobile user moves out of the current access network in overlay network environments. It is also presented that per-application handover based on the proposed platform enhances the QoS of the application services compared to the handover approaches which make every on-going service flows handover together to the same access network.
Effects of interaction cues and instructional setting in collaborative computer-based instruction
Authors: Christy Mostajo Alarcon
Venue:  (2008)

The purpose of this study was to investigate the effects of interaction cues and instructional setting during collaborative computer-based instruction (CBI). The participants were 86 undergraduate preservice teachers enrolled in a required computer literacy course. They were blocked by prior knowledge of computer basics and assigned to mixed ability dyads. Each of the four intact sections of computer literacy course was assigned to either a face-to-face or an online collaborative treatment condition. Dyads were then randomly assigned to receive either scripted or non-scripted cues. The study examined the effects of interaction cues and instructional setting on individual posttest performance, group project performance, attitudes, collaborative interaction behaviors and time on task. Results for posttest performance and group project performance indicated nonsignificant mean differences between students in the face-to-face and online collaborative conditions, as well as nonsignificant mean differences between students who received non-scripted cues and those who received scripted cues. Findings for attitude indicated that students in the face-to-face instructional setting responded more positively toward the computer program and collaboration method than those in the online instructional setting. The results for interaction behavior revealed that face-to-face dyads exhibited significantly more on-task behavior, while online dyads exhibited significantly more off-task behavior. Furthermore, students who received non-scripted cues exhibited significantly more off-task behavior than those who received scripted cues. Time data revealed that dyads in the online collaborative condition spent significantly more time on orientation screens than dyads in the face-to-face condition. The results of this study have implications for the design and development of computer-based learning environments that involve collaborative strategies during instruction. Findings suggest that instructional setting can be important in influencing student attitudes toward learning. Future research should investigate the effects of using online chat that incorporates more capabilities simulating a face-to-face environment. However, consideration should be given to appropriate instructional strategies to effectively support collaboration and interaction in specific instructional settings. 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
How Psychology and Cognition Can Inform the Creation of Ontologies in Semantic Technologies
Authors: Paula C. Engelbrecht, Itiel E. Dror
Venue: Proceeding of the 2009 conference on Information Modelling and Knowledge Bases XX (2009)

This paper demonstrates how cognitive psychology can contribute to the development of ontologies for semantic technologies and the semantic web. Specifically, the way in which the human cognitive system structures and processes conceptual information can act as a model for structuring formal ontologies, and can guide knowledge elicitation and the use of controlled natural languages. One conclusion is that during knowledge elicitation the dynamic nature of human information retrieval needs to be taken into account to obtain an ontology that is appropriate for its context of use. A further practical implication is that ontology developers need to be more specific and explicit about what they mean by the term ontology (e.g. does an ontology describe typical concept attributes or attributes that are true of most instances?) when explaining the use of concepts in ontologies to domain experts. Crown Copyright 2008
Using Powerpoint in the Classroom, 2nd edition
Authors: Dusti Howell, Deanne Howell, Marcus Childress
Venue:  (2007)

Microsoft PowerPoint is an advanced and easy-to-use presentation tool for teachers . . . and this book can tell you exactly how to use it best, includingDeveloping a custom school templateCreating a looping slideshowAdding student narration to showcase student workApplication ideas for the classroom teacherApplication ideas for students. . . and more, from creating graphs and charts to adding animation. Tech experts and experienced teachers worked together to create these teacher-centered solutions for every grade level. Whether youre an absolute beginner or an advanced authority, this is the PowerPoint book for you!
Demand-Supply Mismatches and Stock Market Reaction: Evidence from Excess Inventory Announcements
Authors: Kevin B. Hendricks, Vinod R. Singhal
Venue: Manufacturing Service Operations Management (2009)

This paper documents that excess inventory announcements, an indication of demand-supply mismatch, are associated with an economically and statistically significant negative stock market reaction. The results are based on a sample of 276 excess inventory announcements made during 1990--2002. Over a two-day period (the day of the announcement and the day before the announcement) the mean (median) stock market reaction ranges from -6.79% to -6.93% (-4.51% to -4.79%), depending on the benchmark used to estimate the market reaction. The percent of sample firms that experience negative market reaction ranges from 73% to 74%. When excess inventory is at the announcing firm's customers, the market reaction is more negative than when the excess inventory is at the announcing firm. The stock market reaction is less negative for excess inventory announcements made by larger firms but is more negative for firms with higher growth prospects and with higher debt-equity ratios.
Ontological design
Authors: Arkalgud Ramaprasad, Sridhar S. Papagari
Venue: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology (2009)

In this paper, we describe the concept of ontological design. We show how ontologies can be used as cognitive maps of complex, ill-structured, plastic problems. They can be used to concisely encapsulate the core logic of a problem. From it one can also derive a closed set of a very large number of natural language descriptions of a problem. The ontologies can be plastic but at the same time systematic, repeatable, and extensible. They can be used to map the gaps between the states-of-the-art, -practice, and - need. Knowing the gaps strategies can be designed to bridge them. Thus, ontological design is a method of logical analysis, synthesis of research and practical knowledge, its interpretation, and application to the design of solutions to complex, ill-structured, and plastic problems. We illustrate ontological design in the context of eHealth.
A polyhedral approach to solving multicriterion combinatorial optimization problems over sets of polyarrangements
Authors: N. V. Semenova, L. N. Kolechkina
Venue: Cybernetics and Systems Analysis (2009)

Multicriterion discrete optimization problems over feasible combinatorial sets of polyarrangements are considered. Structural properties of feasible domains and different types of efficient solutions are investigated. Based on the ideas of Euclidean combinatorial optimization and the major criterion method, a polyhedral approach to the solution of the problems is developed and substantiated.
Staring at Clouds
Authors: Fred Douglis
Venue: IEEE Internet Computing (2009)

Cloud computing's premise is to lower computing costs by providing computational resources in a shared infrastructure. This could be a godsend to smaller organizations, but interoperability and security challenges still exist for this emerging technology.
Optimizing Gabor Filter Design for Texture Edge Detection and Classification
Authors: Roman Sandler, Michael Lindenbaum
Venue: International Journal of Computer Vision (2009)

An effective and efficient texture analysis method, based on a new criterion for designing Gabor filter sets, is proposed. The commonly used filter sets are usually designed for optimal signal representation. We propose here an alternative criterion for designing the filter set. We consider a set of filters and its response to pairs of harmonic signals. Two signals are considered separable if the corresponding two sets of vector responses are disjoint in at least one of the components. We propose an algorithm for deriving the set of Gabor filters that maximizes the fraction of separable harmonic signal pairs in a given frequency range. The resulting filters differ significantly from the traditional ones. We test these maximal harmonic discrimination (MHD) filters in several texture analysis tasks: clustering, recognition, and edge detection. It turns out that the proposed filters perform much better than the traditional ones in these tasks. They can achieve performance similar to that of state-of-the-art, distribution based (texton) methods, while being simpler and more computationally efficient.