ppxscal/embedding_network huggingface dataset:
Mobile TFRC: a congestion control for WLANs
Authors: Lei Zhang, Patrick Senac, Emmanuel Lochin, Michel Diaz
Venue: Proceedings of the 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (2008)

Based on an identification and evaluation of the subtle counterproductive interactions between the WLANs MAC layer and the transport layer, this paper shows a new approach towards congestion control for WLANs. We introduce a specialization of TFRC (MTFRC: Mobile TFRC), which is adapted to wireless access networks. This TFRC specialization requires only slight changes to the standard TFRC protocol. Simulation results show substantial improvements for applications over TFRC in scenarios where the bottleneck situates on the MAC layer of the mobile nodes.
A Second Order Adjoint Method to Targeted Observations
Authors: Humberto C. Godinez, Dacian N. Daescu
Venue: Proceedings of the 9th International Conference on Computational Science (2009)

The role of the second order adjoint in targeting strategies is studied and analyzed. Most targeting strategies use the first order adjoint to identify regions where additional information is of potential benefit to a data assimilation system. The first order adjoint posses a restriction on the targeting time for which the linear approximation accurately tracks the evolution of perturbation. Using second order adjoint information it is possible to maintain some accuracy for longer time intervals, which can lead to an increase on the target time. We propose the use of the dominant eigenvectors of the Hessian matrix as an indicator of the directions of maximal error growth for a given targeting functional. These vectors are a natural choice to be included in the targeting strategies given their mathematical properties.
Equitable service by a facility: Minimizing the Gini coefficient
Authors: Tammy Drezner, Zvi Drezner, Jeffery Guyse
Venue: Computers and Operations Research (2009)

In this paper, we investigate the location of facilities with equity considerations, namely, minimizing the Gini coefficient of the Lorenz curve based on service distances. Properties of the Gini coefficient in the context of location analysis are investigated both for demand originating at points and demand generated in an area. An algorithm that finds the optimal location of one facility in a bounded area in the plane when demand is generated at a set of demand points, is constructed. Randomly generated problems with up to 10,000 demand points are successfully solved in a reasonable computer time.
A Generic Group Communication Approach for Hybrid Distributed Systems
Authors: Raimundo José Araújo Macêdo, Allan Edgard Freitas
Venue: Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (2009)

Group Communication is a powerful abstraction that is being widely used to manage consistency problems in a variety of distributed system models, ranging from synchronous, to time-free asynchronous model. Though similar in principles, distinct implementation mechanisms have been employed in the design of group communication for distinct system models. However, the hybrid nature of many modern distributed systems, with dynamic and varied QoS guarantees, has put forward the need for integrated models. Furthermore, adaptation with degraded service is a common requirement in such scenarios. This paper tackles this new challenge by introducing a generic group communication mechanism. Because of its integrated feature, our approach is capable of handling group communication for both synchronous and asynchronous distributed systems, dynamically adapting to the available QoS. For example, it can dynamically switch to the asynchronous version when the run-time system can no longer guarantee a timely operation. The properties and algorithms of the integrated approach are presented in this paper, as well as a performance evaluation through simulation, comparing this mechanism with some classical approaches.
Milnor algebras could be isomorphic to modular algebras
Authors: Bernd Martin, Hendrik Süβ
Venue: Journal of Symbolic Computation (2009)

We find and describe unexpected isomorphisms between two very different objects associated to hypersurface singularities. One object is the Milnor algebra of a function, while the other object is the local ring of the flatness stratum of the singular locus in a miniversal deformation, an invariant of the contact class of a defining function. Such isomorphisms exist for unimodal hypersurface singularities. However, for the moment it is not well understood, which principle causes these isomorphisms and how far this observation generalises. Here, we also provide an algorithmic approach for checking algebra isomorphy.
Analysis and comparative study on two-microphone noise cancellation and speech enhancement methods for real-time hearing aids application
Authors: J. Jeong
Venue: Proceedings of the 8th WSEAS international conference on Signal processing, robotics and automation (2009)

This paper provides analysis and real-time performance comparisons on modified application from two-microphone classic adaptive noise cancelling and beamforming methods. Experiments are processed by software implementation using LabVIEW in a real environment, which is typical indoor office with moderate reverberation condition. The speech performances are analyzed in time and frequency domains using both stationary and nonstationary noises. The analysis on the three type of microphones configuration and computational complexity on NLMS algorithm and TDOA function have also been investigated, which could give rise to insight and interests for hardware prototype implementation of digital adaptive hearing aids.
Wireless honeypots: survey and assessment
Authors: Noor Al-Gharabally, Nosayba El-Sayed, Sara Al-Mulla, Imtiaz Ahmad
Venue: Proceedings of the 2009 conference on Information Science, Technology and Applications (2009)

The great recent advancements in wireless networking have drawn attention to the privacy and security problems that accompanied them. Wireless Honeypots have been introduced as tools whose value lies in the unauthorized attempts to use them. They have been successfully deployed in areas where they were able to trap hackers into virtual networks, and collect useful information about their attempted attacks. In this paper, we discuss attacks against wireless networks and classify the different existing Wireless Honeypots methods that have been proposed for defense against these attacks. We assess each wireless honeypots method by comparing their strengths and weaknesses in terms of the methods of deception used with them, authentication protocols implemented, logging facilities, and several other attributes.
Hardware design and gait generation of humanoid soccer robot Stepper-3D
Authors: H. Dong, M. G. Zhao, J. Zhang, N. Y. Zhang
Venue: Robotics and Autonomous Systems (2009)

This paper presents the hardware design and gait generation of humanoid soccer robot Stepper-3D. Virtual Slope Walking, inspired by Passive Dynamic Walking, is introduced for gait generation. In Virtual Slope Walking, by actively extending the stance leg and shortening the swing leg, the robot walks on level ground as it walks down a virtual slope. In practical, Virtual Slope Walking is generated by connecting three key frames in the sagittal plane with sinusoids. Aiming for improving the walking stability, the parallel double crank mechanism are adopted in the leg structure. Experimental results show that Stepper-3D achieves a fast forward walking speed of 0.5 m/s and accomplishes omnidirectional walking. Stepper-3D performed fast and stable walking in the RoboCup 2008 Humanoid competitions.
Incremental Component-Based Construction and Verification of a Robotic System
Authors: Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and must meet safety properties including in particular temporal and real-time constraints. We present a methodology for modeling and analyzing a robotic system using the BIP component framework integrated with an existing framework and architecture, the LAAS Architecture for Autonomous System, based on GenoM. The BIP componentization approach has been successfully used in other domains. In this study, we show how it can be seamlessly integrated in the preexisting methodology. We present the componentization of the functional level of a robot, the synthesis of an execution controller as well as validation techniques for checking essential “safety” properties.
An extended fuzzy parametric programming-based approach for designing cellular manufacturing systems under uncertainty and dynamic conditions
Authors: N. Safaei, R. Tavakkoli-Moghaddam
Venue: International Journal of Computer Integrated Manufacturing (2008)

This paper proposes an extended fuzzy parametric programming (FPP) approach to solve a dynamic cell formation problem considering the uncertain part demand and machine capacity. The classical FPP approach gives the decision maker a number of alternative decisions for different grades of precision. Linear membership functions such as trapezoid, triangular and other piecewise forms have widely been used to express the uncertain parameters in the different engineering fields. Especially, to our best of knowledge, all researches related to the use of the fuzzy programming-based approaches for cellular manufacturing systems (CMSs) have been applied to the piecewise membership functions. In the case of lack of sufficient knowledge, there is a section in the piecewise forms called 'core', consisting of the fully included members (i.e. members with membership degree equal to one). This section, which represents the expert's ignorance, is not considered in the fuzzy programming-based approaches presented in the literature. In a highly cost-intensive production system, such as cellular manufacturing systems, the decision maker wants to know how big the changes of the cell configuration from one period to another are. These changes are caused by the fluctuations in some parameters of the system, such as part demand and machine capacity. However, when these parameters are uncertain as well as dynamic, the risk of decision making will increase significantly. On the other hand, in practice, a domain of uncertainty of data corresponds to a unique decision and hence the whole uncertainty in the system can be covered by only a few numbers of the alternative decisions, called 'applicable decisions'. This reduction in the decision space gives a better idea to the decision maker to make the final decision. The extended FPP proposed in this paper uses a simple strategy to extract all possible applicable solutions resulting from the core of the membership functions of the uncertain parameters. To verify the performance and applicability of the proposed approach, a comprehensive numerical example is solved and experimental results are presented.
Credit card fraud detection: A fusion approach using Dempster-Shafer theory and Bayesian learning
Authors: Suvasini Panigrahi, Amlan Kundu, Shamik Sural, A. K. Majumdar
Venue: Information Fusion (2009)

We propose a novel approach for credit card fraud detection, which combines evidences from current as well as past behavior. The fraud detection system (FDS) consists of four components, namely, rule-based filter, Dempster-Shafer adder, transaction history database and Bayesian learner. In the rule-based component, we determine the suspicion level of each incoming transaction based on the extent of its deviation from good pattern. Dempster-Shafer's theory is used to combine multiple such evidences and an initial belief is computed. The transaction is classified as normal, abnormal or suspicious depending on this initial belief. Once a transaction is found to be suspicious, belief is further strengthened or weakened according to its similarity with fraudulent or genuine transaction history using Bayesian learning. Extensive simulation with stochastic models shows that fusion of different evidences has a very high positive impact on the performance of a credit card fraud detection system as compared to other methods.
Using artificial neural networks for pattern recognition of downhole dynamometer card in oil rod pump system
Authors: A. M. Felippe de Souza, Marco A. D. Bezerra, M. de A. Barreto Filho, Leizer Schnitman
Venue: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases (2009)

The present paper shows that by using Artificial Neural Network system one can establishes pattern classes and sets standards for training and validation in Dynamometer Card in oil well rod pump systems. Also, the design and the implementation of a features extractor are then possible by the study of descriptors.
Minimizing internal speedup for performance guaranteed switches with optical fabrics
Authors: Bin Wu, Kwan L. Yeung, Mounir Hamdi, Xin Li
Venue: IEEE/ACM Transactions on Networking (TON) (2009)

We consider traffic scheduling in an N × N packet switch with an optical switch fabric, where the fabric requires a reconfiguration overhead to change its switch configurations. To provide 100% throughput with bounded packet delay, a speedup in the switch fabric is necessary to compensate for both the reconfiguration overhead and the inefficiency of the scheduling algorithm. In order to reduce the implementation cost of the switch, we aim at minimizing the required speedup for a given packet delay bound. Conventional Birkhoff-von Neumann traffic matrix decomposition requires N2 - 2N + 2 configurations in the schedule, which lead to a very large packet delay bound. The existing DOUBLE algorithm requires a fixed number of only 2N configurations, but it cannot adjust its schedule according to different switch parameters. In this paper, we first design a generic approach to decompose a traffic matrix into an arbitrary number of Ns (N2 - 2N + 2 > Ns > N configurations. Then, by taking the reconfiguration overhead into account, we formulate a speedup function. Minimizing the speedup function results in an efficient scheduling algorithm ADAPT. We further observe that the algorithmic efficiency of ADAPT can be improved by better utilizing the switch bandwidth. This leads to a more efficient algorithm SRF (Scheduling Residue First). ADAPT and SRF can automatically adjust the number of configurations in a schedule according to different switch parameters. We show that both algorithms outperform the existing DOUBLE algorithm.
Mixed reliability video streaming in wireless networks
Authors: Justice Daka, Dwight Makaroff
Venue: Proceedings of the 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (2008)

Video has become an important application for wireless networks as they have become popular for many users and uses. There are challenges delivering video content over a wireless link, both due to the volume of traffic and the high data loss rates experienced. Data loss in compressed media results in errors in the decoded video, and noticeable visual artifacts. These losses can have long-term effects in video display. This paper presents the concept of mixed reliability video streaming (Mixed Streaming), which reduces the impact of video propagation errors in error prone wireless networks. Mixed Streaming delivers a video file using both reliable and best-effort connections. Simulation results show that Mixed Streaming reduces the impact of errors by making sure that errors on reference frames are corrected. Also, the delay cost associated with Mixed Sreaming is reasonable even for fairly high packet loss rates.
Windows Vista Business/Enterprise Quick Refernce Guide
Authors: Drew Sellers, Gordon Swift
Venue:  (2007)

This 4 page laminated guides includes Step-by-Step Instructions on: Customizing Desktop Properties Searching for Files Start Menu Recycle Bin Customizing the Taskbar Control Panel Windows Explorer Computer Scheduled Tasks Disk Defragmenter Disk Cleanup Ctrl +Alt + Del Printers Folder File Management File Backup and Removable Storage Devices Sharing a Printer Gadgets Speech Recognition 3-D Desktop film strip Connecting to a Printer Cleaning Up your Desktop and Advanced Timesavers.
Algorithm to compute the maximal abelian dimension of Lie algebras
Authors: M. Ceballos, J. N&#x00fa;&#x00f1;ez, A. F. Tenorio
Venue: Computing (2009)

In this paper, the maximal abelian dimension is computationally obtained for an arbitrary finite-dimensional Lie algebra, defined by its nonzero brackets. More concretely, we describe and implement an algorithm which computes such a dimension by running it in the symbolic computation package MAPLE. Finally, we also show a computational study related to this implementation, regarding both the computing time and the memory used.
Advances and Innovations in Systems, Computing Sciences and Software Engineering, 1st edition
Authors: Khaled Elleithy
Venue:  (2007)

Advances and Innovations in Systems, Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems. Advances and Innovations in Systems, Computing Sciences and Software Engineering includes selected papers form the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2006) which was part of the International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 2006). All aspects of the conference were managed on-line; not only the reviewing, submissions and registration processes; but also the actual conference. Conference participants - authors, presenters and attendees - only needed an internet connection and sound available on their computers in order to be able to contribute and participate in this international ground-breaking conference. The on-line structure of this high-quality event allowed academic professionals and industry participants to contribute work and attend world-class technical presentations based on rigorously refereed submissions, live, without the need for investing significant travel funds or time out of the office. Suffice to say that CISSE received submissions from more than 70 countries, for whose researchers, this opportunity presented a much more affordable, dynamic and well-planned event to attend and submit their work to, versus a classic, on-the-ground conference. The CISSE conference audio room provided superb audio even over low speed internet connections, the ability to display PowerPoint presentations, and cross-platform compatibility (the conferencing software runs on Windows, Mac, and any other operating system that supports Java). In addition, the conferencing system allowed for an unlimited number of participants, which in turn granted CISSE the opportunity to allow all participants to attend all presentations, as opposed to limiting the number of available seats for each session.
Fast and Fully Automatic Ear Detection Using Cascaded AdaBoost
Authors: S. M. S. Islam, M. Bennamoun, R. Davies
Venue: Proceedings of the 2008 IEEE Workshop on Applications of Computer Vision (2008)

Ear detection from a profile face image is an important step in many applications including biometric recognition. But accurate and rapid detection of the ear for real-time applications is a challenging task, particularly in the presence of occlusions. In this work, a cascaded AdaBoost based ear detection approach is proposed. In an experiment with a test set of 203 profile face images, all the ears were accurately detected by the proposed detector with a very low (5 x 10-6) false positive rate. It is also very fast and relatively robust to the presence of occlusions and degradation of the ear images (e.g. motion blur). The detection process is fully automatic and does not require any manual intervention.
Interaction, meaning-making, and accuracy in synchronous cmc discussion: the experiences of a university-level intermediate french class
Authors: Mary E. Wildner-Bassett
Venue:  (2008)

A primary goal of foreign language instruction today is to increase opportunities for authentic communication among students. One way to accomplish this is through synchronous computer-mediated classroom discussion (CMCD). While this electronic medium is highly interactive and beneficial for second language acquisition (SLA) on many levels, studies have noted that learner output in CMCD is often inaccurate. In order to heighten students&rsquo; attention to features of the target language (TL), SLA research suggests integrating a focus on form (FonF) within meaning-based activities. In the CMCD literature, however, FonF has not been widely treated. The current study addresses this gap by documenting the linguistic and interactional features present in intermediate, university-level French students&rsquo; synchronous discussions. Furthermore, students&rsquo; perceptions of their general experience with CMCD are qualitatively examined. In this study, students participated in CMCD once a week, for 16 weeks. Discussion prompts encouraged them to use their French meaningfully to communicate with each other while paying attention to accuracy. To make form salient, students set pre-chat language goals; their transcripts were graded on both content and accuracy; they received whole-class and personalized feedback on their transcripts; and they corrected a percentage of their errors. Results show that balancing the concurrent pressures of form and content was challenging for the students. Likely determined by their proficiency level as well as the medium of CMCD itself, students produced mainly short and simple messages in the present tense; used an average range of vocabulary; and wrote with variable grammatical accuracy. As for being accountable for their language usage, 9 students responded very well. Most importantly, focusing on form was not found to be incompatible with students&rsquo; ability to engage in rich, meaningful, and enjoyable communication. While focusing on accuracy, students shared their opinions and aspects of their personal lives while remaining in the TL. Moreover, they used French for a range of social, strategic and interactional functions. Students also reported the overall experience as highly motivating and rewarding. These findings point to CMCD as a valuable means of increasing authentic classroom communication and indicate that attention to form need not be sacrificed in the process.
CoSMoS: Facilitating Learning Designers to Author Units of Learning Using IMS LD
Authors: Yongwu Miao
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

IMS LD is a meta-language that can be used to specify a pedagogical method as a learning design. A learning design is a formal process model, encoded in XML, which can be played by any IMS LD-aware-player to learners online. In order to make it easy to edit learning designs, LD authoring tools are absolutely needed. Through a review of currently available LD authoring tools, we see that the development of LD authoring tools is still at an immature stage. This paper describes a LD authoring tool named CoSMoS, which can support editing learning designs at Levels A, B, and C. In this paper the main design ideas are presented and three design issues are discussed.