ppxscal/embedding_network huggingface dataset:
Resource virtualization with programmable radio processing platform
Authors: Zoran Miljanić, Predrag Spasojević
Venue: Proceedings of the 4th Annual International Conference on Wireless Internet (2008)

As wireless communication moves to all IP and packet based processing, the virtualization techniques will need to be introduced to provide common interface to higher layers which will hide the necessary details for resource reservations and sharing. In the circuit switched world the communication resources are guarantied with the allocation of channels that satisfy certain bandwidth requirements, where the allocated bandwidth is taken regardless of the actual utilization. In the IP packet based world the reservations have a soft form with statistical guaranties allowing dynamic sharing of bandwidth, while the bandwidth is requested by setting the Service Level Agreement (SLA) parameters. Setting up SLA parameters and monitoring their compliance can take complex forms, so it is advantageous to abstract the SLA related communication from the higher networking layers and shield them from the changes in the environment and system load. The virtualization is even more important for the reconfigurable and programmable devices suitable for cognitive radio applications. The changes in frequency band, modulation scheme, or other baseband and MAC protocols characteristics need to be monitored by the virtualization layer which is responsible for mapping original SLA of each flow to the new settings. We present the novel programmable radio processing platform architecture framework, Virtual Flow Pipelining -- FVP, which has underlying mechanisms for per flow performance guaranties. The SLA guaranties are enforced per flow using the scheduling mechanisms that will allocate proportional share of each hardware resource to the flow. The allocations of the resource share to the flow create the Virtual Flow consisting of the sequence of processing steps on the required processing modules. The wireless protocol processing often imposes end to end latency requirements for the whole processing flow, so the resource scheduler need to take the full flow latency into account as well.
General ray method for solution of boundary value problems for Laplace type equations: theoretical foundation and applications
Authors: Alexandre Grebennikov
Venue: Proceedings of the 15th american conference on Applied mathematics (2009)

General Ray (GR) method for solution of the Dirichlet boundary value problems for the Laplace type equation with variable coefficient is proposed. The method is based on reduction of Partial Differential Equation (PDE) to assemblage of Ordinary Differential Equations (ODE) using local traces for considered functions and operators. GR-method presents the solution of the Dirichlet boundary value problem for this type of equations by explicit analytical formulas that use the direct and inverse Radon transform. Proposed version of GR-method is justified theoretically, realized as rapid algorithms and program package in MATLAB system. The quality of constructed software is demonstrated by numerical experiments. Possible applications to the stationary problems of electrodynamics and thermo conductivity in nanotechnologies are discussed.
Passivation by feedback on control backstepping
Authors: Donatien Nganga-Kouya
Venue: Proceedings of the 2nd conference on European computing conference (2008)

This paper aims at summing up some concepts related to the design of a certain type of control laws. These concepts concern exclusively the backstepping, strict-feedback and passivity. Firstly, the concepts of passivity, dissipativity and optimality have been put forward. Secondly, the main issues on the backstepping theory on general plan have been detailed. The backstepping theory has been set out specifically in accordance with the concepts of passivity. Notion of passivity is linked to other notions mentioned above and are necessary for the synthesis of control laws. All these concepts approached previously are necessary for the synthesis of the control laws. It's the reason why apart from the analysis on part of the backstepping technique, as mentioned above, the technique of passivation by feedback effect has briefly been analyzed (i.e. how to make the system passive by feedback). The characteristics of a passive system and the limitations of the technique of passivation by feedback effect has been examined. One of these limitations has got its solution by recursive the control called "backstepping".
Business development process assisted by QFD
Authors: Marcelo Farhat de Araujo, Luís Gonzaga Trabasso
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

Start-up companies during their business development process could face a decision dilemma that makes them wonder if their resources should be applied to support the present operation or to promote the required business improvements. An approach using the theory of inventive problem solving (TRIZ) is presented to overcome this impasse and one of the possible identified solutions is described, where the requirements of a national quality award e.g. the Baldrige National Quality Program (BNQP) are used to reduce the effects of the identified dilemma. Finally, a case study is exposed where the quality function deployment (QFD) is proposed to assist the early planning phases of a business development process.
Major Currents in Information Systems 2
Authors: Leslie Willcocks, Allen S. Lee
Venue: Sage Library In Business And Management (2007)

Information Systems is, in terms of a reference discipline, over thirty years old and is represented by an immense volume of refereed journals and other publications that have developed to chart the rapid development of Information and Communications Technologies. The purpose of this major reference collection is to represent sufficiently the Information Systems field in terms of its range, the quality of the evidence that has been produced, the methods adopted for research, and the practices it has pointed to. Each volume has been compiled by leading international academics with advice from an exceptional editorial board. An introduction to the set was written by the series editors, acclaimed subject specialists Leslie Willcocks and Allen S. Lee. Volume I - Information Systems Infrastructure Volume II - Information Systems Development Volume III - Design Science Theories and Research Practices Volume IV - Management of Information Systems Volume V - Social and Organizational Information Systems Research Volume VI - Information Systems, Globalization and Developing Countries
Internet-Scale Code Search
Authors: Rosalva E. Gallardo-Valencia, Susan Elliott Sim
Venue: Proceedings of the 2009 ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation (2009)

Internet-Scale Code Search is the problem of finding source on the Internet. Developers are typically searching for code to reuse as-is on a project or as a reference example. This phenomenon has emerged due to the increasing availability and quality of open source and resources on the web. Solutions to this problem will involve more than the simple application of information retrieval techniques or a scaling-up of tools for code search. Instead, new, purpose-built solutions are needed that draw on results from these areas, as well as program comprehension and software reuse.
Exploiting Synergies between Coexisting Overlays
Authors: Shen Lin, François Taïani, Gordon Blair
Venue: Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (2009)

Overlay networks have emerged as a powerful paradigm to realise a large range of distributed services. However, as the number of overlays grows and the systems that use them become more interconnected, overlays must increasingly co-exist within the same infrastructure. When this happens, overlays have to compete for limited resources, which causes negative interferences. This paper takes an opposite view, and argues that coexisting overlays may also introduce positive synergies that can be exploited to benefit a distributed system. Unfortunately, and in spite of some pioneering work, this phenomenon is still poorly understood and has yet to be investigated systematically. To address this problem, this paper proposes a principled classification of synergies, and illustrates how it can be used to exploit synergies in a typical overlay platform targeting gossip protocols (GossipKit). We review in detail the risks and benefits of each identified synergy; we present experimental data that validate their added value, and finally discuss the lessons we have learnt from our implementation.
Illustrator CS4 Digital Classroom
Authors: Aquent Creative Team
Venue:  (2009)

Illustrator CS4 Digital Classroom is like having a personal instructor guiding readers through each lesson, while they work at their own pace. This book includes 11 self-paced lessons that let readers discover essential skills and explore new features and capabilities of Adobe Illustrator CS4. Every lesson is presented in full color with step-by-step instructions. Learning is reinforced with video tutorials and lesson files on a companion DVD that were developed by the same team of Adobe Certified Instructors and Flash experts who have created many of the official training titles for Adobe Systems. Each video tutorial is approximately five minutes long and demonstrates and explains the concepts and features covered in the lesson. This training package shows how to create and produce vibrant graphics using this robust vector drawing application. Jam-packed with information, this book and DVD takes users from the basics through intermediate level topics and helps readers find the information they need in a clear, approachable manner.
Fusion of multi-spectral SPOT-5 images and very high resolution texture information extracted from digital orthophotos for automatic classification of complex Alpine areas
Authors: Claudio Mariz, Damiano Gianelle, Lorenzo Bruzzone, Loris Vescovo
Venue: International Journal of Remote Sensing (2009)

In areas with complex three-dimensional features, slope and aspect interact with light conditions and significantly affect the spatial structure of images acquired by remote sensing instruments (for example, by changing the distribution of shadows and affecting the texture of high resolution imagery). In this scenario, this paper analyses the potential and the effectiveness of an automatic classification system to identify three fundamental vegetation classes (forest, grassland and crops) in the complex topography of the Italian Alps (Autonomous Province of Trento, Italy). This classification system is based on the fusion of spectral information provided by the SPOT-5 multi-spectral channels (Ground Instantaneous Field of View, GIFOV, equal to 10 m) and textural information extracted from airborne digital orthophotos (GIFOV equal to 1 m) and is designed to be user-friendly. The texture of the digital orthophotos was modelled using defined bidirectional variograms, thereby extracting additional information unavailable in first-order texture analyses. Using SPOT-5 multi-spectral information alone, the classification accuracy in the investigated alpine area was equal to 87.5%, but increased to 92.1% when texture information was included. In particular, the texture information significantly increased the classification accuracy for crops (from 68.9% to 87.9%), especially orchards that tend to be classified as lowland deciduous forests, and herbaceous crops (such as maize) that are often misclassified as grasslands. A further simple majority analysis increased the ability of detecting grassland, crops and urban zones. The combination of the majority analysis and the proposed automatic classification system seems an effective approach to classifying vegetation types in highly fragmented and complex Alpine landscapes on a regional scale.
Combining sceptical epistemic reasoning with credulous practical reasoning
Authors: Henry Prakken
Venue: Proceeding of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006 (2006)

This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is sceptical while practical reasoning is credulous. The new semantics combines grounded and preferred semantics. A dialectical proof theory is defined which is sound and complete with respect to this semantics and which combines existing argument games for sceptical reasoning in grounded semantics and credulous reasoning with preferred semantics.
Visualization in Medicine and Life Sciences, 1st edition
Authors: Lars Linsen, Hans Hagen, Bernd Hamann
Venue: Mathematics And Visualization (2007)

Visualization technology is becoming increasingly important for medical and biomedical data processing and analysis. This technology complements traditional image processing methods as it allows scientists to visually interact with large, high- resolution three-dimensional image data, for example. Further, an ever increasing number of new data acquisition methods are being used in medicine and the life sciences, in particular in genomics and proteomics. This book discusses some of the latest visualization techniques and systems for effective analysis of such diverse, large, complex, and multi-source data. Experts from all over the world had been invited to participate in a workshop held in July 2006 on the island Rgen in Germany. About 40 participants presented state-of-the-art research on the topic. Research and survey papers have been solicited and carefully refereed, resulting in this collection. The topics covered include Segmentation and Feature Detection, Surface Extraction, Volume Visualization, Graph and Network Visualization, Visual Data Exploration, Multivariate and Multidimensional Data Visualization, Large Data Visualization. The book will be of great interest to researchers, graduate students, and professionals dealing with visualization and its application in medicine and life sciences.
Verification of transactional memories and recursive programs
Authors: Amir Pnueli, Lenore D. Zuck
Venue:  (2008)

Transactional memory is a programming abstraction intended to simplify the synchronization of conflicting concurrent memory accesses without the difficulties associated with locks. In the first part of this thesis we provide a framework and tools that allow to formally verify that a transactional memory implementation satisfies its specification. First we show how to specify transactional memory in terms of admissible interchanges of transaction operations, and give proof rules for showing that an implementation satisfies its specification. We illustrate how to verify correctness, first using a model checker for bounded instantiations, and subsequently by using a theorem prover, thus eliminating all bounds. We provide a mechanical proof of the soundness of the verification method, as well as mechanical proofs for several implementations from the literature, including one that supports non-transactional memory accesses.Procedural programs with unbounded recursion present a challenge to symbolic model-checkers since they ostensibly require the checker to model an unbounded call stack. In the second part of this thesis we present a method for model-checking safety and liveness properties over procedural programs. Our method performs by first augmenting a concrete procedural program with a well founded ranking function, and then abstracting the augmented program by a finitary state abstraction. Using procedure summarization the procedural abstract program is then reduced to a finite-state system, which is model checked for the property.
Performance and reliability of DSRC vehicular safety communication: a formal analysis
Authors: Xiaomin Ma, Xianbo Chen, Hazem H. Refai
Venue: EURASIP Journal on Wireless Communications and Networking (2009)

IEEE- and ASTM-adopted dedicated short range communications (DSRC) standard toward 802.11p is a key enabling technology for the next generation of vehicular safety communication. Broadcasting of safety messages is one of the fundamental services in DSRC. There have been numerous publications addressing design and analysis of such broadcast ad hoc system based on the simulations. For the first time, an analytical model is proposed in this paper to evaluate performance and reliability of IEEE 802.11a-based vehicle-to-vehicle (V2V) safety-related broadcast services in DSRC system on highway. The proposed model takes two safety services with different priorities, nonsaturated message arrival, hidden terminal problem, fading transmission channel, transmission range, IEEE 802.11 backoff counter process, and highly mobile vehicles on highway into account. Based on the solutions to the proposed analytic model, closed-form expressions of channel throughput, transmission delay, and packet reception rates are derived. From the obtained numerical results under various offered traffic and network parameters, new insights and enhancement suggestions are given.
Formation of Learning Groups by using Learner Profiles and Context Information
Authors: Martin Muehlenbrock
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

An important but often neglected aspect in Computer Supported Collaborative Learning is the intelligent formation of learning groups. Until recently, support for group formation was mostly based on learner profile information. However, the perspective of ubiquitous computing and ambient intelligence allows for taking a broader view on group formation, extending the range of features to include learner context information such as sensor-derived activity and availability. A probabilistic approach has been developed that automatically learns individual characteristics and indicates relevant situations, and which has been tested in a set of experiments.
Knowledge Sharing Practice in a Play-Like Learning Environment
Authors: Nana Benjaminsen
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

The topic of this paper is play-like learning as it occurs when technology based learning environments is invited into the classroom. Observations of 5th grade classes playing with Lego Robolab, is used to illustrate that different ways of learning becomes visible when digital technology is employed. It is implied that one of the reasons for this is that pupils heavily draw upon their of-school digital experiences, and is here by inviting other desirable practices for exploring and sharing knowledge into the classroom. However the presence of ICT challenges the ordinary school practice and more research needs to be done before the cocktail; digital technology, play and schooling, can be shaken more widely.
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques: Third International Conference, 1st edition
Authors: De-Shuang Huang, Laurent Heutte, Marco Loog
Venue:  (2007)

This book - in conjunction with the two volumes LNCS 4681 and LNAI 4682 - constitutes the refereed proceedings of the Third International Conference on Intelligent Computing, ICIC 2007, held in Qingdao, China in August 2007. The intelligent computing technology includes a range of techniques such as artificial intelligence, perceptual and pattern recognition, evolutionary and adaptive computing, informatics theories and applications, computational neuroscience and bioscience, soft computing, case based and constrained reasoning, agents, networking and computer supported co-operative working, human computer interface issues. ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications.
Optimization of HPF Programs with Dynamic Recompilation Technique
Authors: Takuya Araki, Hitoshi Murai, Tsunehiko Kamachi, Yoshiki Seo
Venue: Proceedings of the 4th International Symposium on High Performance Computing (2009)

Optimizing compilers perform various optimizations in order to exploit the best performance from computer systems. However, some kinds of optimizations cannot be applied if values of variables or system parameters are not known at compilation time. To solve this problem, we designed and implemented a system which collects such information at run time, and dynamically recompiles part of the program based on it. In our system, recompilation and management of runtime information are carried out on processors other than those which execute user programs. Therefore, recompilation cost does not affect the program execution time, unlike other similar systems. The evaluation result shows that quite high speedup can be attained with this method.
Least Squares SVM for Least Squares TD Learning
Authors: Tobias Jung, Daniel Polani
Venue: Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy (2006)

We formulate the problem of least squares temporal difference learning (LSTD) in the framework of least squares SVM (LS-SVM). To cope with the large amount (and possible sequential nature) of training data arising in reinforcement learning we employ a subspace based variant of LS-SVM that sequentially processes the data and is hence especially suited for online learning. This approach is adapted from the context of Gaussian process regression and turns the unwieldy original optimization problem (with computational complexity being cubic in the number of processed data) into a reduced problem (with computional complexity being linear in the number of processed data). We introduce a QR decomposition based approach to solve the resulting generalized normal equations incrementally that is numerically more stable than existing recursive least squares based update algorithms. We also allow a forgetting factor in the updates to track non-stationary target functions (i.e. for the use with optimistic policy iteration). Experimental comparison with standard CMAC function approximation indicate that LS-SVMs are well-suited for online RL.
Specification and Runtime Verification of Java Card Programs
Authors: Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. They are required to be portable and safe. Often, the requirements of the application impose the use of dynamic, on-card verifications, but most of the research developed to improve safety of Java Card applets concentrates on static verification methods. This work presents a runtime verification approach based on Design by Contract to improve the safety of Java Card applications. To this end, we propose JCML (Java Card Modeling Language) a specification language derived from JML (Java Modeling Language) and its implementation: a compiler that generates runtime verification code. We also present some experiments and quality indicators.