ppxscal/embedding_network huggingface dataset:
The farther relay and oracle for VANET. preliminary results
Authors: Alessandro Amoroso, Marco Ciaschini, Marco Roccetti
Venue: Proceedings of the 4th Annual International Conference on Wireless Internet (2008)

We present a novel protocol for fast multi-hop message propagation in the scenario of ad hoc vehicular networks (VANET). Our approach has been designed to gain optimal performance in scenarios that are very likely, but not common in literature. FROV faces asymmetric communications and varying transmission ranges. In this scenario it is able to broadcast any message with the minimal number of hops. Moreover, our proposal is scalable with respect to the number of participating vehicles, and tolerates vehicles that leave or join the platoon. At the current state of development, our protocol is optimal in the case of unidimensional roads and we are studying its extension to a web of urban roads. This paper presents the preliminary results of simulations carried out to verify the feasibility of our proposal.
MCITP: Windows Server 2008 Enterprise Administrator Certification Kit
Authors: Michael Aldridge, Josh Evitt, James Chellis, Lisa Donald, William Panek, Tylor Wentworth, Joel Stidley, Steven Johnson
Venue:  (2009)

Candidates for Windows Server 2008 certification take a foundation-level Microsoft Certified Technology Specialist (MCTS) certification and a job-role specific certification: Microsoft Certified Information Technology Professional (MCITP). You need to pass five exams. The MCITP: Windows Server 2008 Enterprise Administrator Certification Kit contains all the tools you need to pass these exams: MCTS: Windows Server 2008 Active Directory Configuration Study Guide, MCTS: Windows Server 2008 Network Infrastructure Configuration Study Guide, MCTS: Windows Server 2008 Application Platform Configuration Study Guide, MCTS: Microsoft Windows Vista Client Configuration Study Guide, and MCITP: Windows Server 2008 Enterprise Administrator Study Guide.
Spectral representations of alpha satellite DNA
Authors: Petre G. Pop
Venue: WSEAS Transactions on Information Science and Applications (2009)

Detection of tandem repeats can be used for phylogenic studies and disease diagnosis. The numerical representation of genomic signals is very important, as many of the methods for detecting repeated sequences are part of the DSP field. These methods involve the application of a kind of transformation. Applying a transform technique requires mapping the symbolic domain into the numeric domain in such a way that no additional structure is placed on the symbolic sequence beyond that inherent to it. Here we investigate the application of spectral analysis and spectrograms using a novel numerical representation to identify and study alpha satellite higher order repeats in human chromosomes 7 and 17.
WiMAX Handbook - 3 Volume Set, 1st edition
Authors: Syed A. Ahson, Mohammad Ilyas
Venue:  (2007)

While everyone engaged in wireless communications, whether academic or professional, has accumulated a variety of information on WiMAX over time, a comprehensive, single-source would be invaluable to have. The WiMAX Handbook is that resource, presenting what you need to know about this innovative technology. VOLUME I: Applications This first volume describes the logical architecture of IEEE 802.16, introduces critical IEEE 802.16 family standards, compares WiMAX to Wi-Fi, and studies the feasibility of supporting VoIP over WiMAX. It also looks at the residential use of WiMAX as well as strategies for using WiMAX in remote and rural locales. In addition, the volume examines the backhaul requirements of a large fixed wireless network and the problem of centralized routing and scheduling for IEEE 802.16 mesh networks. VOLUME II: Standards and Security The second volume examines standardized vs. proprietary solutions for wireless broadband access, reviews the core medium access control protocol of WiMAX systems, and presents carrier perspectives on wireless services. It also discusses the main mobility functions of IEEE 802.16e, describes how to speed up WiMAX handover procedures, presents the 802.16 mesh protocol, and surveys testing and certification processes used for WiMAX products. In addition, the book reviews security features of both IEEE 802.16 and WiMAX. VOLUME III: Technologies, Performance Analysis, and QoS Focusingon technologies behind WiMAX, this final volume examines performance capabilities and control mechanisms. It describes an innovative methodology for designing multi-band WiMAX antennas and addresses space-time block codes. The book also proposes a combined call admission control and scheduling scheme and focuseexamines performance analysis of the IEEE 802.16 mesh mode.
Bounded practical social reasoning in the ESB framework
Authors: Iain Wallace, Michael Rovatsos
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 (2009)

Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system properties such as other agents' mental states. In this paper we introduce the Expectation-Strategy-Behaviour (ESB) framework which provides a generic machinery for such practical social reasoning and can be easily coupled with deliberative, knowledge-based architectures such as BDI. We present a conceptual model of ESB, its formal semantics, and simple initial reasoning algorithms that illustrate how the principles of ESB can be used to implement bounded "social" rationality in multiagent designs. A case study is used to show how ESB substantially simplifies the design of agents that include social reasoning functionality.
A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Programming
Authors: Teresa Alsinet, Carlos Chesòevar, Lluís Godo
Venue: Proceeding of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008 (2008)

Possibilistic Defeasible Logic Programming (P-DeLP) is an argumentation framework based on logic programming which incorporates a treatment of possibilistic uncertainty at object-language level. In P-DeLP, the closure of justified conclusions is not always consistent, which has been detected to be an anomaly in the context of so-called rationality postulates for rule-based argumentation systems. In this paper we present a novel level-based approach to computing warranted arguments in P-DeLP which ensures the above rationality postulate. We also show that our solution presents some advantages in comparison with the use of a transposition operator applied on strict rules.
The price of truthfulness for pay-per-click auctions
Authors: Nikhil R. Devanur, Sham M. Kakade
Venue: Proceedings of the tenth ACM conference on Electronic commerce (2009)

We analyze the problem of designing a truthful pay-per-click auction where the click-through-rates (CTR) of the bidders are unknown to the auction. Such an auction faces the classic explore/exploit dilemma: while gathering information about the click through rates of advertisers, the mechanism may loose revenue; however, this gleaned information may prove valuable in the future for a more profitable allocation. In this sense, such mechanisms are prime candidates to be designed using multi-armed bandit techniques. However, a naive application of multi-armed bandit algorithms would not take into account the strategic considerations of the players -- players might manipulate their bids (which determine the auction's revenue) in a way as to maximize their own utility. Hence, we consider the natural restriction that the auction be truthful. The revenue that we could hope to achieve is the expected revenue of a Vickrey auction that knows the true CTRs, and we define the truthful regret to be the difference between the expected revenue of the auction and this Vickrey revenue. This work sharply characterizes what regret is achievable, under a truthful restriction. We show that this truthful restriction imposes statistical limits on the achievable regret -- the achievable regret is Θ(T2/3), while for traditional bandit algorithms (without the truthful restriction) the achievable regret is Θ(T1/2) (where T is the number of rounds). We term the extra T1/6 factor, the `price of truthfulness'.
Hardware generation of arbitrary random number distributions from uniform distributions via the inversion method
Authors: Ray C. C. Cheung, Dong-U Lee, Wayne Luk, John D. Villasenor
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2007)

We present an automated methodology for producing hardware-based random number generator (RNG) designs for arbitrary distributions using the inverse cumulative distribution function (ICDF). The ICDF is evaluated via piecewise polynomial approximation with a hierarchical segmentation scheme that involves uniform segments and segments with size varying by powers of two which can adapt to local function nonlinearities. Analytical error analysis is used to guarantee accuracy to one unit in the last place (ulp). Compact and efficient RNGs that can reach arbitrary multiples of the standard deviation σ can be generated. For instance, a Gaussian RNG based on our approach for a Xilinx Virtex-4 XC4VLX100-12 field-programmable gate array produces 16-bit random samples up to 8.2σ. It occupies 487 slices, 2 block-RAMs, and 2 DSP-blocks. The design is capable of running at 371 MHz and generates one sample every clock cycle.
Mobile Shared Workspaces to Support Construction Inspection Activities
Authors: Sergio F. Ochoa, José A. Pino, Gabriel Bravo, Nicolás Dujovne, Andrés Neyem
Venue: Proceeding of the 2008 conference on Collaborative Decision Making: Perspectives and Challenges (2008)

Typically, mobile shared workspaces are not used in the construction industry. However, they could play an important role to increase communication among workers, organize work more efficiently, reduce the coordination cost, and keep an updated overview of the project. This paper presents a MSW designed to support inspection processes in construction projects. This application allows mobile workers several functionalities, including doing annotations on digital maps, creating tasks linked to the annotations, synchronizing information of a project, collaborating on-demand and exchanging information among collaborators.
Knowledge Acquisition/Transformation to Meet the Quality Needs of the Metallic Constructions Market
Authors: Nicholas P. Blesseos, Athanassios F. Batzias
Venue: Proceeding of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering (2008)

Small/Medium Enterprizes (SMEs) of the industrial subsector of metallic constructions suffer of lack of means and knowledge to apply quality and process control. This paper deals with the design of a Technical Support Center (TSC), capable to provide the required knowledge to SMEs, by using as a knowledge vehicle the remedial advice offered by the TSC when defects are observed in the products without any evidence about the causing fault in the production line. For this purpose, a methodological framework has been developed under the form of an algorithmic procedure, including 26 activity stages and 8 decision nodes. Fault Tree Analysis (FTA) in its fuzzy version (to deal with uncertainty) was adopted as an inference engine for knowledge extraction and know-how transfer. An implementation referring to the anodization of aluminium is presented, with emphasis on cause-of-fault investigation/identification and communication protocols functioning. The relation of this procedure with (i) a complex/modified Nonaka model and (ii) 2nd order cybernetics is discussed while a university spin-off is suggested as mostly suitable to play the role of STC, inasmuch as this view is further supported through experience accumulated into the Laboratory of Simulation of Industrial processes at our Department.
Effect of circular arc feet on a control law for a biped
Authors: T. Kinugasa, C. Chevallereau, Y. Aoustin
Venue: Robotica (2009)

The purpose of our research is to study the effects of circular arc feet on the biped walk with a geometric tracking control. The biped studied is planar and is composed of five links and four actuators located at each hip and each knee thus the biped is underactuated in single support phase. A geometric evolution of the biped configuration is controlled, instead of a temporal evolution. The input-output linearization with a PD control law and a feed forward compensation is used for geometric tracking. The controller virtually constrains 4 degrees of freedom (DoF) of the biped, and 1 DoF (the absolute orientation of the biped) remained. The temporal evolution of the remained system with impact events is analyzed using Poincaré map. The map is given by an analytic expression based on the angular momentum about the contact point. The effect of the radii of the circular arc feet on the stability is studied. As a result, the speed of convergence decreases when the radii increases, if the radius is larger than the leg length the cyclic motion is not more stable. Among the stable cyclic motion, larger radius broadens the basin of attraction. Our results agree with those obtained for passive dynamic walking on stability, even if the biped is controlled through the geometric tracking.
SemDiff: Analysis and recommendation support for API evolution
Authors: Barthelemy Dagenais, Martin P. Robillard
Venue: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009)

As a framework evolves, changes in its Application Programming Interface (API) can break client programs that extend the framework. Repairing a client program can be a challenging task because developers need to understand the context surrounding the API change. This paper describes SemDiff, a tool that recommends replacements for framework methods that were accessed by a client program and deleted during the evolution of the framework. SemDiff recommends replacements for non-trivial changes undiscovered by other change-detection techniques and also enables developers to look at the context of the changes that led to the deletion of a framework method.
System-level quality planning and diagnosis for complex multistage manufacturing processes
Authors: Jianjun Shi, Shixin J. Hu, Jionghua Jin
Venue:  (2008)

The performance of a multistage manufacturing process (MMP) can be measured by quality, productivity and cost. All these measures are influenced by the variation of the key product characteristics (KPC's). To remain competitiveness, variation of KPC's should be reduced to ensure efficient delivery of quality products. However, the unprecedentedly high requirements on quality make variation reduction a very challenging problem. To reduce KPC variation, massive data are generated and collected from different phases of product realization, including quantitative data and qualitative data. The heterogeneous data poses great challenges to traditional quality assurance methodologies, which emphasize monitoring of manufacturing processes but provide limited diagnostic information. Taking advantage of readily available data, this research focuses on system-level methodology for effective quality assurance of MMP's in the following aspects: (i) A mathematical variation propagation model is developed to describe the process induced variation and its propagation along multiple manufacturing stages. The generic formulation makes it capable to model a wide variety of processes where 3-D dimensional variation is of interest. The modeling concept and techniques can be extended and applied in early phases of product realization to effectively evaluate product and process design alternatives. (ii) A quality assured setup planning methodology is developed to address the quality assurance in the process design phase of product realization. Setup planning is formalized as an optimal sequential decision making problem and is solved based on analytical evaluation. This research creates the potential for future works on concurrent development of system-level setup and fixture planning. The setup planning results can be further utilized for process diagnosis in the manufacturing phase of product realization. (iii) An engineering-driven factor analysis methodology is developed to diagnose an MMP based on qualitative rather than quantitative representation of product/process interactions. By using the qualitative indicator vectors to direct the estimation of true spatial patterns from multivariate measurement data, the variation sources are identified. The diagnostic results are robust to unknown process changes. The proposed methodologies represent the initial research efforts in a general framework of unified methodology for quality assurance of MMP's. Based on them, future research directions are identified and discussed.
Proper stabilisation of multidimensional input/output behaviours
Authors: Martin Scheicher, Ulrich Oberst
Venue: Multidimensional Systems and Signal Processing (2009)

Most papers in multidimensional stabilisation theory use discrete signals and a suitable integral domain $${\fancyscript{S}}$$ of "SISO stable plants" which consists of multivariate rational functions over a field. In this theory a system is described by its transfer matrix H of rational functions and is called stable if the entries of H belong to $${\fancyscript{S}}$$ . In most cases the transfer matrix is assumed proper. The significance of properness in the one-dimensional theory was already recognized by Kalman and is well-known to engineers. In the multidimensional theory properness and stability of the transfer matrix often enable its interpretation as input/output (IO) map or (convolution) operator and the proof of BIBO stability. Important contributions to this multidimensional stabilisation theory, in particular for our own work, are due to Bose, Guiver, Lin, Quadrat, Shankar, Sule, Xu, Ying, Zerz et al., some of whom were, in turn, essentially influenced by the seminal papers of Desoer, Francis, Ku¿era, Vidyasagar, Youla, Zames and their co-authors in the one-dimensional case and on the fractional representation approach. In a recent paper we developed a stabilisation theory for multidimensional IO behaviours both in the continuous and the discrete cases, but did neither require nor prove the properness of the given or derived transfer matrices. The transfer matrix describes only the controllable part of a system whereas its behavioural description also enables the finer discussion of the internal stability of its autonomous part which is not determined by its transfer matrix. The latter fact was one of Kalman's reasons for the development of the one-dimensional state space theory. In the present paper we treat proper stabilisation of multidimensional IO behaviors, i.e., we characterise those proper or non-proper plants which admit a proper or non-proper stabilising compensator such that the resulting closed loop system is not only stable, but also has a proper transfer matrix. Under a weak pole condition on the plant which implies its properness we also construct strictly proper stabilising compensators for a stabilisable plant. For discrete systems described by transfer matrices such a result had been proven by Lin. For the construction of stabilising compensators we describe various algorithms and demonstrate these by examples. The parametrisation of all stabilising compensators was given in our previous paper. Our results seem interesting for one-dimensional IO behaviours too.
Delay extraction-based passive macromodeling techniques for transmission line type interconnects characterized by tabulated multiport data
Authors: Andrew Charest, Ram Achar, Michel Nakhla, Ihsan Erdin
Venue: Analog Integrated Circuits and Signal Processing (2009)

This paper introduces a novel algorithm for delay extraction-based passive macromodeling of multiconductor transmission line type interconnects characterized by multiport (Y, Z, S, or H) tabulated parameters. The algorithm determines a unique logarithm of the H parameters, which is then approximated using a low-order rational function. Subsequently, the DEPACT (delay extraction-based passive compact transmission line macromodel) algorithm is applied to obtain a passive and causal macromodel for SPICE simulation. The new method leads to compact, low-order macromodels resulting in faster transient simulations.
Distributed Contracting and Monitoring in the Internet of Services
Authors: Josef Spillner, Matthias Winkler, Sandro Reichert, Jorge Cardoso, Alexander Schill
Venue: Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (2009)

The recent approval of the EU Services Directive is fostering the Internet of Services (IoS) and will promote the emergence of marketplaces for business and real-world services. From a research perspective, the IoS will require a new bread of technological infrastructures to support the concepts of business service description, contract management from various perspectives, end-to-end marketplaces, and business monitoring.The IoS is a vision referring to web service-based digital societies. When service hosting moves from best-effort provisioning to guaranteed service delivery, monitoring becomes a crucial point of proof for providers and consumers of such services. We present the uplifting of technical contract monitoring results to business effects based on the distributed service infrastructure developed in project THESEUS, use case TEXO.
Limited and online supply and the bayesian foundations of prior-free mechanism design
Authors: Nikhil R. Devanur, Jason D. Hartline
Venue: Proceedings of the tenth ACM conference on Electronic commerce (2009)

We study auctions for selling a limited supply of a single commodity in the case where the supply is known in advance and the case it is unknown and must be instead allocated in an online fashion. The latter variant was proposed by Mahdian and Saberi [12] as a model of an important phenomena in auctions for selling Internet advertising: advertising impressions must be allocated as they arrive and the total quantity available is unknown in advance. We describe the Bayesian optimal mechanism for these variants and extend the random sampling auction of Goldberg et al. [8] to address the prior-free case.
Improving InfiniBand Routing through Multiple Virtual Networks
Authors: J. Flich, P. López, J. C. Sancho, A. Robles, J. Duato
Venue: Proceedings of the 4th International Symposium on High Performance Computing (2009)

InfiniBand is very likely to become the de facto standard for communication between nodes and I/O devices (SANs) as well as for interprocessor communication (NOWs). The InfiniBand Architecture (IBA) defines a switch-based network with point-to-point links whose topology is arbitrarily established by the customer. Often, the interconnection pattern is irregular. Up*/down* is the most popular routing scheme currently used in NOWs with irregular topologies. However, the main drawbacks of up*/down* routing are the unbalanced channel utilization and the difficulties to route most packets through minimal paths, which negatively affects network performance. Using additional virtual lanes can improve up*/down* routing performance by reducing the head-of-line blocking effect, but its use is not aimed to remove its main drawbacks. In this paper, we propose a new methodology that uses a reduced number of virtual lanes in an efficient way to achieve a better traffic balance and a higher number of minimal paths. This methodology is based on routing packets simultaneously through several properly selected up*/down* trees. To guarantee deadlock freedom, each up*/down* tree is built over a different virtual network. Simulation results, show that the proposed methodology increases throughput up to an average factor ranging from 1.18 to 2.18 for 8, 16, and 32-switch networks by using only two virtual lanes. For larger networks with an additional virtual lane, network throughput is tripled, on average.