ppxscal/embedding_network huggingface dataset:
MatSeek: An Ontology-Based Federated Search Interface for Materials Scientists
Authors: Kwok Cheung, Jane Hunter, John Drennan
Venue: IEEE Intelligent Systems (2009)

The MatSeek system is an ontology-based federated search interface to key materials science databases and analytical tools. By combining Semantic Web and Web 2.0 technologies, MatSeek provides materials scientists with a single Web interface that enables them to search across disparate databases containing crystal-structure data, ionic-conductivity data, and phase stability data; render 3D crystal-structure images; calculate bond lengths and angles; retrieve relevant scholarly references; and identify potential new materials with the structure and properties required to satisfy specific applications. The MatOnto ontology underlying MatSeek enables integration of data across disparate databases, and Web 2.0 technologies enable iterative searching across the databases. The results retrieved from searching the previous database are used as input to the query on the next database. By providing materials scientists with a single, integrated Web interface to the critical materials science databases and analytical tools, MatSeek represents a significant advance toward a full-fledged materials-informatics workbench.
Photonastic surface: pin matrix type display controlled with light
Authors: Ryo Oguchi, Yasuaki Kakehi, Keita Takahashi, Takeshi Naemura
Venue: Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology (2008)

We present Photonastic Surface, a novel pin matrix type 3D form display. In Photonastic Surface, a photosensor is attached to each pin of the matrix, and the height of pins are independently controlled with light luminance or fast light flicker. It can express volume information effectively by overlapping projected images on the pin matrix and provide a new type of interaction between the pin matrix and human through light.
Document based rational software development
Authors: David Lorge Parnas
Venue: Knowledge-Based Systems (2009)

A software development process can be considered rational if each design decision can be justified based on given facts and design decisions that were made, reviewed, and accepted earlier. This paper describes a set of documents that can serve as a ''knowledge base'' for more rational software development. Each of these documents can be viewed as a place where the decisions made in one phase of a software development can be recorded for those who work in the next phase. These documents make it possible to develop software in a rational and reviewable way. We describe why each document is needed, how it should be organized, and how the information in the whole set of documents can be represented in a precise, checkable, and accessible way. We illustrate the approach with a detailed discussion of one of these documents, module interface documentation.
Expressiveness of Multiple Heads in CHR
Authors: Cinzia Giusto, Maurizio Gabbrielli, Maria Chiara Meo
Venue: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science (2009)

Constraint Handling Rules (CHR) is a general purpose, committed-choice declarative language which, differently from other similar languages, uses multi-headed (guarded) rules.In this paper we prove that multiple heads augment the expressive power of the language. In fact, we first show that restricting to single head rules affects the Turing completeness of CHR, provided that the underlying signature (for the constraint theory) does not contain function symbols. Next we show that, also when considering generic constraint theories, under some rather reasonable assumptions it is not possible to encode CHR (with multi-headed rules) into a single-headed CHR language while preserving the semantics of programs. As a corollary we obtain that, under these assumptions, CHR can be encoded neither in (constraint) logic programming nor in pure Prolog.
Developing components for distributed search engine ObjectSpot
Authors: Zdenek Drbálek, Tomáš Dulík, Robert Koblischke
Venue: Proceedings of the 8th WSEAS international conference on Distance learning and web engineering (2008)

The development of components for Search Engine ObjectSpot realized within the frame of iCamp.eu. This paper deals with development and implementation of following components: Spell-Checker, PDF/DOC full-text search and content analysis, results grouping / clustering using Search Result Clustering (SRC)
Novel Register Sharing in Datapath for Structural Robustness against Delay Variation
Authors: Keisuke Inoue, Mineo Kaneko, Tsuyoshi Iwagaki
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

As the feature size of VLSI becomes smaller, delay variations become a serious problem in VLSI. In this paper, we propose a novel class of robustness for a datapath against delay variations, which is named structural robustness against delay variation (SRV), and propose sufficient conditions for a datapath to have SRV. A resultant circuit designed under these conditions has a larger timing margin to delay variations than previous designs without sacrificing effective computation time. In addition, under any degree of delay variations, we can always find an available clock frequency for a datapath having SRV property to operate correctly, which could be a preferable characteristic in IP-based design.
Mutual Development: A Case Study in Customer-Initiated Software Product Development
Authors: Renate Andersen, Anders I. Mørch
Venue: Proceedings of the 2nd International Symposium on End-User Development (2009)

The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (company) over a period of two years. The company produces project-planning tools for the oil and gas industry, and relies on interaction with customers for further development of its products. Our main research question is how customers and professional developers engage in mutual development mediated by shared software tools (products and support systems). We have used interviews with developers and customers as our main source of data, and identified the activities (from use to development) where customers have contributed to development. We analyze our findings in terms of co-configuration, meta-design and modding in order to name and compare the various stages of development (adaptation, generalization, improvement request, specialization, and tailoring).
Automated discovery and optimization of large irregular tensegrity structures
Authors: John Rieffel, Francisco Valero-Cuevas, Hod Lipson
Venue: Computers and Structures (2009)

Tensegrities consist of disjoint struts connected by tensile strings which maintain shape due to pre-stress stability. Because of their rigidity, foldability and deployability, tensegrities are becoming increasingly popular in engineering. Unfortunately few effective analytical methods for discovering tensegrity geometries exist. We introduce an evolutionary algorithm which produces large tensegrity structures, and demonstrate its efficacy and scalability relative to previous methods. A generative representation allows the discovery of underlying structural patterns. These techniques have produced the largest and most complex irregular tensegrities known in the field, paving the way toward novel solutions ranging from space antennas to soft robotics.
On-line service scheduling
Authors: Zhenbo Wang, Wenxun Xing, Bo Chen
Venue: Journal of Scheduling (2009)

This paper is concerned with a scheduling problem that occurs in service systems where customers are classified as `ordinary' and `special'. Ordinary customers can be served on any service facility, while special customers can be served only on the flexible service facilities. Customers arrive dynamically over time and their needs become known upon arrival. We assume any service, once started, will be carried out to its completion. In this paper, we study the worst-case performance of service policies used in practice. In particular, we evaluate three classes of service policies: policies with priority, policies without priority, and their combinations. We obtain tight worst-case performance bounds for all service policies considered.
Unraveling decentralized authorization for multi-domain collaborations
Authors: Hannah K. Lee
Venue: Proceedings of the 2007 International Conference on Collaborative Computing: Networking, Applications and Worksharing (2007)

Current authorization solutions take highly case-by-case approaches. First of all, the solutions address particular types of multi-domain collaborations such as Virtual Organization or resource-sharing collaborations. Secondly, they tend to be based on specific technology their subject interactions adopt. We consider this phenomena of having a number of different authorization solutions as a result of taking a mainly bottom-up approach to cater the authorization need of diverse types of mult-domain collaborations currently existing. In this paper, we present an extended analysis of different types of multi-domain collaborations based on various e-Government case studies as well as that of existing authorization solutions. With the converged requirements resulting from those analyses, we take a top-down approach of explicitly highlighting generic and interoperable components for a decentralized authorization scheme. This approach appears to be more suitable to produce a more efficient and elegant authorization solution for the majority of multi-domain collaborations.
Research and Development of the Remote I/O Data Acquisition System Based on Embedded ARM Platform
Authors: Daogang Peng, Hao Zhang, Kai Zhang, Hui Li, Fei Xia
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

With the rapid development of the field of industrial process control and the fast popularization of embedded ARM processor, it has been a trend that ARM processor can substitute the single-chip to realize data acquisition and control. A new kind of remote I/O data acquisition system based on embedded ARM platform has been researched and developed in this paper, whose hardware platform use 32-bit embedded ARM microprocessor, and software platform use the uC/OS-II core of real-time multitask operating system which is open-source and can be grafted, cut out and solidified. This system can measure all kinds of electrical and thermal parameters such as voltage, current, thermocouple, RTD, and so on. The measured data can be displayed on LCD of the system, and at the same time can be transmitted through RS485 or Ethernet network to remote DAS or DCS monitoring system by using Modbus/RTU or Modbus/TCP protocol. The system has the dual redundant network and long-distance communication function, which can ensure the disturb rejection capability and reliability of the communication network.
Design of Range Correction Fuze Trajectory Calculation and Control Device
Authors: Qiang Shen, Dongguang Li
Venue: Proceedings of the 2009 International Conference on Advanced Computer Control (2009)

For a range correction fuze of a rocket range-extended projectile, a DSP-based trajectory calculation and correction controller that is cooperated with MCU is designed to examine the axial acceleration during the flying of a projectile, and to perform the trajectory calculation and the start-up time calculation of a correction mechanism, and to control the action of a resistance-correction mechanism. When designing the hardware and the software, the tasks for DSP and MCU are reasonably assigned. The DSP mainly completes the collection of the acceleration data, the trajectory calculation and the start-up time calculation of the resistance-correction mechanism, while MCU mainly completes the time counting and controls the startup of the resistance-correction mechanism according to the time calculated by DSP. This device also can store the flying acceleration measurement data of the projectile, the trajectory calculation results, etc., which can be adopted as the basic data for analyzing the working correctness of the range correction fuse at the research stage. It is proved in the range test that this device can resist the high-impact overloading during the emission, and can normally complete the tasks such as the trajectory calculation and the resistance-correction mechanism startup control during the flying of the projectile.
Injecting rapid feedback and collaborative reasoning in teaching specifications
Authors: Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman
Venue: ACM SIGCSE Bulletin (2009)

We describe an approach to teaching formal interface specifications using aspects of the Collaborative Reasoning Paradigm. The module requires students to construct test cases independently and cooperatively based on their understanding of a given set of method specifications. Students are supported by software-based reasoning assistants that guide them through their exercises and provide realtime feedback as they work --- both for the students and the instructor. We describe the design of the course module, the supporting reasoning assistant, and representative reasoning exercises. We conclude with a discussion of evaluation results from a recent pilot study conducted at Clemson University.
Perceptually Motivated Adaptive Quantization Algorithm for Region-of-Interest Coding in H.264
Authors: Qiong Liu, Rui-Min Hu
Venue: Proceedings of the 9th Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing (2008)

Encoding a video sequence at very low bit-rate with good quality remains a major challenge in video coding research. Improvements on Region of Interest (ROI) can provide better perceptual quality. This paper proposes an adaptive perceptual quantization algorithm for ROI video coding. Our goal is to find a solution to achieve significant ROI quality improvement and a perceptually pleasing background. Based on the masking effects of Human Visual System (HVS), the area inside ROI is divided into partitions by a grid model. And Macroblocks (MBs) are classified as non-ROI, grids inside ROI, and gradient region. The quantization parameters for different regions are modulated by an adaptive perceptual priority map. Extensive experiment results show that the proposed algorithm could improve the ROI objective quality by up to 4.14db compared by uniform quantization while with little loss of background. Subjective results show that the perceptual video quality is improved obviously.
Provincial nature of chlorophyll and sea surface temperature observed by satellite
Authors: Beena Kumari, K. N. Babu
Venue: International Journal of Remote Sensing (2009)

Monthly composite SeaWiFS derived chlorophyll, National Oceanic and Atmospheric Administration (NOAA) Advanced Very High Resolution Radiometer (AVHRR) derived sea surface temperature (SST) and QuikScat derived wind data of 2003-2005 (January-December) were analysed to study the provincial nature of chlorophyll-a (chl-a), SST and wind speed in the Arabian sea and Bay of Bengal. The study was confined to five provinces, three in the Arabian Sea and two in the Bay of Bengal. Results indicate provincial variability in the SST-chl-a relation. It suggests that the correlation between chlorophyll and SST is not always negative. A negative correlation was observed in provinces 1, 2 and 3 for all the seasons, whereas, except for the month of January-February, it was positively correlated for province 4. Analysis shows the provincial specific nature of chlorophyll variability to physical forcing and suggests that treatment of such a problem should not be undertaken on the basin scale.
Evaluating the correlation between the correctness level increasing and reliability
Authors: Dan Mancas, Nicolae-Iulian Enescu, Ecaterina - Irina Manole
Venue: Proceedings of the 8th conference on Applied informatics and communications (2008)

The scope of our research is finding a correlation between the correctness indicator and the reliability indicator for software programs. For this, the correctness and reliability indicators will be calculated for a simple program, written in C programming language. The computations will be made for each program version obtained by correcting different error type found in the testing process. Will be observed there is a closed correlation between correctness and reliability in the way that for an increasing of the correctness level there will also be a significant increase of the reliability level.
The application of fuzzy analytic hierarchy process (FAHP) approach to selection of optimum underground mining method for Jajarm Bauxite Mine, Iran
Authors: Masoud Zare Naghadehi, Reza Mikaeil, Mohammad Ataei
Venue: Expert Systems with Applications: An International Journal (2009)

Underground mining method selection is one of the most crucial decisions that should be made by mining engineers. Choosing a suitable underground mining method to carry out extraction from a mineral deposit is very important in terms of the economics, safety and the productivity of mining operations. The aim of this study is developing a fuzzy model to selection the optimum mining method by using effective and major criteria and at the same time, taking subjective judgments of decision makers into consideration. Proposed approach is based on the combination of fuzzy analytic hierarchy process (FAHP) method with an advanced type of conventional AHP. FAHP is used in determining of the weights of the criteria by decision makers and then rankings of the methods are determined by AHP. The proposed method is applied for Jajarm Bauxite Mine in Iran and finally the most appropriate mining methods for this mine are ranked.
An Incentive-Based Secure Charging Scheme for Integrating Networks
Authors: Kun Wang, Meng Wu, Pengrui Xia, Subin Shen
Venue: Computer Supported Cooperative Work in Design IV: 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers (2008)

The issue of secure charging must be solved before integrating networks are employed in commercial applications. In order to solve this problem, a secure incentive-based charging scheme for integrating networks is proposed. The scheme adopts charging receipt to thwart non-reputation attacks. Meanwhile, Message Authentication Code (MAC) and stream cipher mechanism are introduced to offer security guarantee. Security analysis shows that the proposed scheme not only grants the existence of selfish nodes to meet their rational demand, but also prevent various active attacks (e.g., denial of services (DoS), replay attacks, tampering attacks and impersonation attacks). Finally, simulation analysis indicates the influence of proposed scheme on routing stability and node incentive in low overhead.
ABACUS: a distributed middleware for privacy preserving data sharing across private data warehouses
Authors: Fatih Emekci, Divyakant Agrawal, Amr El Abbadi
Venue: Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware (2005)

Recent trends in the global economy force competitive enterprises to collaborate with each other to analyze markets in a better way and make decisions based on that. Therefore, they might want to share their data with each other to run data mining algorithms over the union of their data to get more accurate and representative results. During this process they do not want to reveal their data to each other due to the legal issues and competition. However, current systems do not consider privacy preservation in data sharing across private data sources. To satisfy this requirement, we propose a distributed middleware, ABACUS, to perform intersection, join, and aggregation queries over multiple private data warehouses in a privacy preserving manner. Our analytical evaluations show that ABACUS is efficient and scalable.
MEMS Vibratory Gyroscopes: Structural Approaches to Improve Robustness (MEMS Reference Shelf), 2nd edition
Authors: Cenk Acar, Andrei Shkel
Venue:  (2008)

MEMS Vibratory Gyroscopes provides a solid foundation in the theory and fundamental operational principles of micromachined vibratory rate gyroscopes, and introduces structural designs that provide inherent robustness against structural and environmental variations. In the first part, the dynamics of the vibratory gyroscope sensing element is developed, common micro-fabrication processes and methods commonly used in inertial sensor production are summarized, design of mechanical structures for both linear and torsional gyroscopes are presented, and electrical actuation and detection methods are discussed along with details on experimental characterization of MEMS gyroscopes. In the second part, design concepts that improve robustness of the micromachined sensing element are introduced, supported by constructive computational examples and experimental results illustrating the material.
Characterization of Tail Dependence for In-Degree and PageRank
Authors: Nelly Litvak, Werner Scheinhardt, Yana Volkovich, Bert Zwart
Venue: Proceedings of the 6th International Workshop on Algorithms and Models for the Web-Graph (2009)

The dependencies between power law parameters such as in-degree and PageRank, can be characterized by the so-called angular measure, a notion used in extreme value theory to describe the dependency between very large values of coordinates of a random vector. Basing on an analytical stochastic model, we argue that the angular measure for in-degree and personalized PageRank is concentrated in two points. This corresponds to the two main factors for high ranking: large in-degree and a high rank of one of the ancestors. Furthermore, we can formally establish the relative importance of these two factors.
Cross layer multicarrier MIMO cognitive cooperation scheme for wireless hybrid ad hoc networks
Authors: Yingji Zhong, Kyung Sup Kwak, Dongfeng Yuan
Venue: Computer Communications (2009)

The special multi-scenario of the topology in the wireless hybrid ad hoc networks is studied in this paper. A new performance evaluation link cognitive cooperation air time metric (LCCATM) and a novel cross layer multicarrier MIMO cognitive cooperation scheme are proposed. The proposed scheme integrated the attributes both of the new performance evaluation of the cooperative diversity and the attributes of the topology space. With the help of the proposed scheme, the cooperative ability of the networks is not only cognitive, but also topology aware. The average achievable sum rates and the outage probability of the networks are all examined with the cross layer constraints. The simulation results show that the proposed scheme can enhance the average rate performance and make the outage probability stable.
A survey of source code management tools for programming courses
Authors: Delbert Hart
Venue: Journal of Computing Sciences in Colleges (2009)

Instructors of courses in which students submit programming assignments, especially those courses with frequent and / or significant amounts of programming. Attendees will gain a greater awareness of the features and limitations of source code management tools. The tutorial will help them identify which tools would be most appropriate for their pedagogical goals. Examples of how the tools can be applied to introductory programming courses as well as software engineering and capstone courses will be discussed. Information presented in the tutorial will be made available for download to conference participants.