ppxscal/embedding_network huggingface dataset:
PACC starter kit: developing software with predictable behavior
Authors: James Ivers, Gabriel A. Moreno
Venue: Companion of the 30th international conference on Software engineering (2008)

The PACC Starter Kit is an Eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predict runtime behavior based on specifications of component behavior and are accompanied by some measure of confidence.
A common coordinates/heading direction generation method for wirelessly networked robots with only ranging capability
Authors: Shinsuke Hara, Tatsuya Ishimoto
Venue: Proceedings of the 1st international conference on Robot communication and coordination (2007)

Wirelessly networked robots having unknown locations and different individual heading directions cannot accomplish a unified task as a group. Therefore, it is necessary to generate a set of common coordinates among them and to notify each robot of its heading direction in the generated common coordinates. However, when the robots are not equipped with sensors to identify their locations or bearings, we can use only a function in wireless communication protocol to network them as a tool to generate a set of common coordinates among them. The present paper proposes a set of common coordinates and a heading direction generation method for wirelessly networked robots with only ranging capability, which is supported in wireless communication protocol. We explain the principle of the proposed method and show some computer simulation results on the location and direction estimation errors. Finally, we outline our prototype wirelessly networked robots system to experimentally evaluate the proposed method.
Implicit interaction for pro-active assistance in a context-adaptive warehouse application
Authors: Oliver Kaufmann, Andreas Lorenz, Reinhard Oppermann, Alex Schneider, Markus Eisenhauer, Andreas Zimmermann
Venue: Proceedings of the 4th international conference on mobile technology, applications, and systems and the 1st international symposium on Computer human interaction in mobile technology (2007)

This paper reports on the implicit interaction evaluation for proactive assistance support of warehousemen developed in the MICA (Multimodal Interaction in Context-Adaptive systems) project. The goal is to evaluate natural human interaction in multimodal systems and the provision of pro-active assistance: we aim to do this by combining explicit and implicit interaction on different modalities reflected in a new layer based architecture for multimodal interaction.
Comparative Analysis of Tools for Automated Software Re-engineering Purposes
Authors: Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm
Venue: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (2006)

Model driven design and analysis is recognized as a powerful method for software development. In combination with formal methods which offer advantages, such as fast and automatic verification, partial evaluation, and logic's used for specification, they form a powerful software development environment. Both methods are based on a model or a graph. In order to use these methods for re-designing existing software one needs additional special tools to create these models. This paper examines a large number of existing tools for their usefulness in the model driven development process of such re-design projects. The goal is, to select tools which are suitable to convert C or C++ code into a model. Preferably, we want to use existing compilers, adequate system tools or various other programs to automate the process of re-modeling large software applications.
A Characterization Of Probabilistic Inference
Authors: L. Pitt
Venue: Proceedings of the 25th Annual Symposium onFoundations of Computer Science, 1984 (1984)

Inductive Inference Machines (IlMs) attempt to identify functions given only input-output pairs of the functions. Probabilistic IlMs are defined, as is the probability that a probabilistic IlM identifies a function with respect to two common identification criteria: EX and BC. Let ID denote either of these criteria. Then ID/sub prob/(p) is the family of sets of functions U for which there is a probabilistic IlM identifying every f /spl epsi/ U with probability /spl ges/ p. It is shown that for all positive integers n, ID/sub prob/(1/n) is properly contained in ID/sub prob/(1/(n+1)), and that this discrete hierarchy is the "finest" possible. This hierarchy is related to others in the literature. 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
Numerical solution methods for singular control with multiple state dependent forms
Authors: Georg Vossen, Volker Rehbock, Argenes Siburian
Venue: Optimization Methods Software (2007)

We use several recently developed techniques along with two established optimal control softwares to solve a variation of a widely studied singular optimal control problem. The problem displays some interesting features from both the analytical and numerical point of view. In particular, we show that, during singular arcs, the optimal control takes on one of two distinct state dependent forms. We also demonstrate how the numerical solution methods can easily get trapped in what may appear to be local optima when applied to this problem.
The design of temperature-compensated surface acoustic wave oscillator
Authors: Mei-Hui Chung, Shuming C. Wang, Ji-Wei Lin
Venue: Proceedings of the 9th International Conference on Circuits (2005)

The design technique of a temperature-compensated SAW oscillator (TCSO) was thoroughly studied. The circuit of the TCSO contains two main parts, one is oscillation circuit and the other is temperature compensation circuit. In this work, the oscillator circuit adopted a commercial one-port SAW resonator at 433.92MHz in its resonant circuit. The reflection circuit model for oscillator design was applied. The performances of the designed TCSO are output power 10.6dBm, phase noise -138dBc/Hz at 10 KHz offset from carrier frequency, and maximum frequency deviation -40ppm from -10°C to 85°C.
An extremal bandwidth problem for bipartite graphs
Authors: Robert C. Brigham, Julie R. Carrington, Ronald D. Dutton, Joseph Fiedler, Richard P. Vitray
Venue: Journal of Graph Theory (2000)

This paper discusses the problem of finding the maximum number of edges E(m,&thinsp;n,&thinsp;B) in a bipartite graph having partite set sizes m and n and bandwidth B. Exact values for E(m,&thinsp;n,&thinsp;B) are found for many cases. &copy; 2000 John Wiley & Sons, Inc. J Graph Theory 35: 278&ndash;289, 2000
Determinism and evolution
Authors: Israel Herraiz, Jesus M. Gonzalez-Barahona, Gregorio Robles
Venue: Proceedings of the 2008 international working conference on Mining software repositories (2008)

It has been proposed that software evolution follows a Self-Organized Criticality (SOC) dynamics. This fact is supported by the presence of long range correlations in the time series of the number of changes made to the source code over time. Those long range correlations imply that the current state of the project was determined time ago. In other words, the evolution of the software project is governed by a sort of determinism. But this idea seems to contradict intuition. To explore this apparent contradiction, we have performed an empirical study on a sample of 3, 821 libre (free, open source) software projects, finding that their evolution projects is short range correlated. This suggests that the dynamics of software evolution may not be SOC, and therefore that the past of a project does not determine its future except for relatively short periods of time, at least for libre software.
Power allocation associated with optimal cooperation level determination for half-duplex coded cooperative systems
Authors: Shen Zhenhui, Wang xiaoxiang
Venue: Proceeding of the 1st ACM international workshop on Heterogeneous sensor and actor networks (2008)

In this paper, we have developed two power allocation strategies in a half-duplex coded cooperative scheme under the transmit rate and the total power constraints, respectively. We further analyzed the effect of cooperation level and determined the optimal cooperation level based on these power allocation strategies.
A Modified Version of IKEv2 for Using in Client-Server Environments
Authors: Mohammad Mahdi Karbasioun, Mehdi Berenjkub, Bahareh Taji
Venue: Proceedings of the Communication Networks and Services Research Conference (2008)

New version of Internet Key Exchange protocol(IKEv2) is introduced in this article. Despite of its several advantages, it suffers from some deficiencies when applying in client-server environments. The main problem is regarded to its inefficient method for resisting against DoS attacks. A new protocol is proposed in this article, in which besides keeping maximum fidelity to IKEv2 framework, new necessary features are added. More resistance against DoS attacks without forcing extra delays, and identity protection of initiators (clients) against active attackers are the advantage of using this protocol. Also asymmetric distribution of calculations scheme,introduced in this protocol, makes it unique, while comparing with other protocols.
A Multi-protocol Bioinformatics Web Service: Use SOAP, Take a REST or Go with HTML
Authors: Marco Pagni, Jörg Hau, Heinz Stockinger
Venue: Proceedings of the 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (2008)

Web services are fundamental building blocks for Service Oriented Architectures and Grid computing that are applied in many scientific domains such as bioinformatics. We have designed and implemented a multi-protocol and multifunctional Web service that supports today’s most important industry standards. We show an actual implementation of a bioinformatics database application: HitKeeper, that is now enhanced by programmable Web services interfaces as well as HTML-form based Web access. In this way, a wide range of biologists and bioinformaticians are addressed. We also satisfy an important recent requirement in the e-science community.
On the Use of DesertFD to Generate Custom Architectures for H.264 Motion Estimation
Authors: Rohit Saraswat, Brandon Eames
Venue: Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (2008)

Deriving a custom architecture for H.264 video compression based motion estimation is a complex hardware design problem. The problem is complicated by the plethora of design options in the H.264 standard. To derive an efficient architecture, the designer must select between suitable algorithms, allocate computational resources to a custom datapath architecture, and schedule operations onto that architecture, while subject to constraints on both area and execution time. Design space exploration (DSE) addresses the design optimization problem by automating or semi-automating trade-off analysis. We use a DSE tool, DesertFD, to derive architectures for the motion estimation modules of a H.264 encoder. DesertFD is a domain-independent DSE tool which facilitates the representation and pruning of a design space using constraint satisfaction. Using post synthesis data for resource components, we use DesertFD to explore possible architectural solutions for H.264 motion estimation, subject to various area and latency constraints. Our results indicate that UMHEX algorithm is selected for tight area constraints while a five-step-search 5SS algorithm is selected otherwise.
Integrated airline scheduling
Authors: Nikolaos Papadakos
Venue: Computers and Operations Research (2009)

Airline scheduling is composed of fleet assignment, aircraft maintenance routing, and crew scheduling optimization subproblems. It is believed that the full optimization problem is computationally intractable, and hence the constituent subproblems are optimized sequentially so that the output of one is the input of the next. The sequential approach, however, provides an overall suboptimal solution and can also fail to satisfy the maintenance constraints of an otherwise feasible full problem. In this paper several integrated models for the optimization of airline scheduling are presented for the first time, and solved by applying an enhanced Benders decomposition method combined with accelerated column generation. Solutions of several realistic data sets are computed using the integrated models, which are compared with solutions of the best known approaches from the literature. As a result, the integrated approach significantly reduces airline costs. Finally, a comparison of alternative formulations has shown that keeping the crew scheduling problem alone in the Benders subproblem is much more efficient than keeping the aircraft routing problem.
Ordinary and penalized minimum power-divergence estimators in two-way contingency tables
Authors: Aylin Alin, Serdar Kurt
Venue: Computational Statistics (2008)

Basu and Basu (Statistica Sinica 8:841---860, 1998) have proposed an empty cell penalty for the minimum power-divergence estimators which can lead to improvements in the small sample properties of these estimators. In this paper, we study the small and moderate sample performances of the ordinary and penalized minimum power-divergence estimators in terms of efficiency and robustness for the log-linear models in two-way contingency tables under the assumptions of multinomial sampling. Calculations made by enumerating all possible sample combinations show that the penalized estimators are competitive with the ordinary estimators for the moderate samples and definitely better for the smallest sample considered for both efficiency and robustness under the considered models. The results also reveal that the bigger the main effects the more need for penalization.
Diameter variability of cycles and tori
Authors: Jeng-Jung Wang, Tung-Yang Ho, Daniela Ferrero, Ting-Yi Sung
Venue: Information Sciences: an International Journal (2008)

The diameter of a graph is an important factor for communication as it determines the maximum communication delay between any pair of processors in a network. Graham and Harary [N. Graham, F. Harary, Changing and unchanging the diameter of a hypercube, Discrete Applied Mathematics 37/38 (1992) 265-274] studied how the diameter of hypercubes can be affected by increasing and decreasing edges. They concerned whether the diameter is changed or remains unchanged when the edges are increased or decreased. In this paper, we modify three measures proposed in Graham and Harary (1992) to include the extent of the change of the diameter. Let D^-^k(G) is the least number of edges whose addition to G decreases the diameter by (at least) k, D^+^0(G) is the maximum number of edges whose deletion from G does not change the diameter, and D^+^k(G) is the least number of edges whose deletion from G increases the diameter by (at least) k. In this paper, we find the values of D^-^k(C"m), D^-^1(T"m","n), D^-^2(T"m","n), D^+^1(T"m","n), and a lower bound for D^+^0(T"m","n) where C"m be a cycle with m vertices, T"m","n be a torus of size m by n.
Application Of The Independence Axiom On The Design Of Object-Oriented Software Using The Axiomatic Design Theory
Authors: Andrey Ricardo Pimentel, Paulo Cézar Stadzisz
Venue: Journal of Integrated Design Process Science (2006)

Current software design methodologies and techniques enhance software quality features. However, it is difficult to evaluate if a software design solution is good enough without a theoretical foundation. The use of Axiomatic Design, together with a traditional software development methodology, can improve decision-making during the design process. This work presents an approach for object-oriented software design that intends to maintain the quality of the design solution along the development process. The goal of this approach is to facilitate the use of the Axiomatic Design together with Unified Modelling Language and object-oriented software development methodologies such as Unified Process. This design approach relates object-oriented software design concepts such as use cases, collaborations, classes, operations, and objects with functional requirements, design parameters, and the zigzagging process. This work presents a functional decomposition hierarchy, based on software design concepts, which can be applied together with software design methodologies. This work also presents a case study to illustrate the application of a design approach, based on Axiomatic Design, on an object-oriented design of a real-time embedded software system. The case study evaluates alternative design solutions to illustrate the application of the Independence Axiom in order to maintain the quality of the design.
Hotspot Based Yield Prediction with Consideration of Correlations
Authors: Qing Su, Charles Chiang, Jamil Kawa
Venue: Proceedings of the 9th international symposium on Quality Electronic Design (2008)

Design for manufacturability and yield has becomes a major issue for advanced VLSI technology nodes. The demand for a yield prediction capability has been growing significantly. Unfortunately,systematic yield prediction and analysis is still behind in both research and availability of commercial tools. A major reason for that is the high dependency of such research on hard to come by data from fabs. Thus a new approach that limits this dependency is needed. In this paper, we propose a novel and practical approach that enables systematic yield prediction with limited fab information and data. This approach is based on the information of hotspot definitions and their yield scores. The required inputs are more practical and realistic and less confidential. The dependency on the fab data is minimal. In this approach, we propose an algorithm that properly incorporates spatial correlations between yield variables when computing full chip total yield. The predicted total yield score is accurate and robust. We further demonstrate the high level of accuracy by both theory and simulation.
A study of air-sea interaction following the tsunami of 26 December 2004 in the eastern Indian Ocean
Authors: V. K. Agarwal, A. Mathur, R. Sharma, N. Agarwal, A. Parekh
Venue: International Journal of Remote Sensing (2007)

A time series analysis of various atmospheric as well as oceanic parameters derived from different satellites covering eastern Indian Ocean and Bay of Bengal has been carried out for the period December 2004 to February 2005. The purpose is to assess the likely perturbations in the air-sea exchanges associated with the tsunami event of 26 December 2004. Satellite derived sea level anomaly in the northern Bay of Bengal show a rise in the sea level of roughly about 5-6 cm after 26 December 2004. A significant cooling of the order of 0.5°C in a span of 5 days (21-27 December 2004) in the sea surface temperature (SST) is observed near Andaman and Nicobar Island. The formation of such anomalies is certainly associated with the rising of the sub-surface water towards surface due to the enhanced turbulent exchange. An enhanced turbidity near Sumatra seen in the MODIS colour data in the week following 26 December 2004 is also suggestive of turbulent mixing. After an initial dip in the integrated water vapour (IWV) on 27 December 2004, an apparent growth in the water vapour loading is observed in the Tropical Rainfall Measuring Mission/Microwave Imager (TMI) data from 31 December 2004 to 11 January 2005 near Andaman and Nicobar Island. An analysis of the boundary layer parameters suggests that the increased water vapour loading in the atmosphere following the tsunami is not due to the winds and neither due to the increase in SST. One of the possible reasons could be direct injection of water into the atmosphere. The study could be used as an indicative to understand changes in a global context under sea level rise scenario.
An Enhanced Trust Model Based on Reputation for P2P Networks
Authors: Xu Wu, Jingsha He, Fei Xu
Venue: Proceedings of the 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008) (2008)

Trust plays an important role in peer-to-peer (P2P) networks for enabling peers to share resources and services. It is necessary to build an effective security trust model to solve the trust problem during interactions between peers. In this paper, we propose an enhanced trust model based on reputation. We apply SupP2Prep [1] in our trust model, which is a protocol for reputation management via polling in P2P networks, but with three adjustments. Most of the existing trust models only consider the poll problem from the perspective of trust. Here, we consider voting for peers from the perspectives of both trust and distrust. Our work appears to be the first attempt to incorporate distrust in the polling algorithm. The proposed model is shown to be robust in the presence of attackers through simulation.
Supporting student-written tests of gui programs
Authors: Matthew Thornton, Stephen H. Edwards, Roy P. Tan, Manuel A. Pérez-Quiñones
Venue: ACM SIGCSE Bulletin (2008)

Tools like JUnit and its relatives are making software testing reachable even for introductory students. At the same time, however, many introductory computer sciences courses use graphical interfaces as an "attention grabber" for students and as a metaphor for teaching object-oriented programming. Unfortunately, developing software tests for programs that have significant graphical user interfaces is beyond the abilities of typical students (and, for that matter, many educators). This paper describes a framework for combining readily available tools to create an infrastructure for writing tests for Java programs that have graphical user interfaces. These tests are level-appropriate for introductory students and fit in with current approaches in computer science education that incorporate testing in programming assignments. An analysis of data collected during actual student use of the framework in a CS1 course is presented.
Innovation in the cluster validating techniques
Authors: Ravi Jain, Andy Koronios
Venue: Fuzzy Optimization and Decision Making (2008)

To detect database records containing approximate and exact duplicates because of data entry error or differences in the detailed schemas of records from multiple databases or for some other reasons is an important line of research. Yet no comprehensive comparative study has been performed to evaluate the effectiveness of Silhouette width, Calinski Harbasz index (pseudo F-statistics) and Baker Hubert index (¿ index) algorithms for exact and approximate duplicates. In this paper, a comparative study and effectiveness of these three cluster validation techniques which involve measuring the stability of a partition in a data set in the presence of noise, in particular, approximate and exact duplicates are presented. Silhouette width, Calinski Harbasz index and Baker Hubert index are calculated before and after inserting the exact and approximate duplicates (deliberately) in the data set. Comprehensive experiments on glass, wine, iris and ruspini database confirms that the Baker Hubert index is not stable in the presence of approximate duplicates. Moreover, Silhouette width, Calinski and Harbasz index and Baker Hubert indice do not exceed the original data indice in the presence of approximate duplicates.