ppxscal/embedding_network huggingface dataset:
Free-vibration analysis of arches based on the hybrid-mixed formulation with consistent quadratic stress functions
Authors: J. G. Kim, J. K. Lee
Venue: Computers and Structures (2008)

The well-known two-node hybrid-mixed element with linear displacement interpolation functions and constant stress resultant functions proposed by Saleeb yields locking-free results in static analysis but shows unsatisfactory results in vibration analysis of arches. In this study, we investigate the role of higher-order interpolation functions and consistent stress resultant functions in developing an effective two-node hybrid-mixed finite element for free-vibration analysis of arches with a rectangular cross-section. The present thick element considering shear deformation is based on the Hellinger-Reissner variational principle and introduces additional nodeless degrees of freedom for displacement field interpolation in order to enhance substantially the numerical accuracy especially in predicting high vibration modes. In the performance evaluation of the present hybrid-mixed element, we examine the effect of the nodeless internal displacement functions, the field-consistent stress resultant parameters, the approximation of compliance matrix, and the shear correction factor in curved beam vibrations. Several numerical examples confirm the validity of the present element and also illustrate the dynamic characteristics of arches depending on the curvature, aspect ratio and boundary conditions, etc.
What kind of science is simulation?
Authors: Robb Eason, Robert Rosenberger, Trina Kokalis, Evan Selinger, Patrick Grim
Venue: Journal of Experimental Theoretical Artificial Intelligence (2007)

Is simulation some new kind of science? We argue that instead simulation fits smoothly into existing scientific practice, but does so in several importantly different ways. Simulations in general, and computer simulations in particular, ought to be understood as techniques which, like many scientific techniques, can be employed in the service of various and diverse epistemic goals. We focus our attentions on the way in which simulations can function as (i) explanatory and (ii) predictive tools. We argue that a wide variety of simulations, both computational and physical, are best conceived in terms of a set of common features: initial or input conditions, a mechanism or set of rules, and a set of results or output conditions. Studying simulations in these terms yields a new understanding of their character as well as a body of normative recommendations for the care and feeding of scientific simulations.
Speed sensorless rotor field oriented control of induction motor drive
Authors: J. S. Thongam, M. Ouhrouche
Venue: Proceedings of the 9th WSEAS International Conference on Systems (2005)

A new speed estimation algorithm for speed sensorless rotor field oriented control of induction motor drive is presented. The proposed method is based on observing a newly defined quantity from which the rotor speed is computed. The method is simple to implement and does not require taking derivative of the measured signals. A fully digital real-time simulation, a new powerful tool for rapid prototyping of complex control systems is used to validate the estimation algorithm.
MOIR: A Prototype for Managing Moving Objects in Road Networks
Authors: Zhiming Ding, Limin Guo, Kuien Liu, Hu Wu, Xiaofang Zhou
Venue: Proceedings of the The Ninth International Conference on Mobile Data Management (2008)

MOIR is a Web-based prototype to support a number of novel applications with network-constrained moving object management. Technical aspects of MOIR range from data acquisition and trajectory smoothing, trajectory data management and query processing, movement predications, and location based Web page recommendation. The demo is inthe context of detailed digital road maps with 38,0000 road segments and 55,000 road intersection points, and real spatiotemporal data of over ten thousand taxis in Beijing.
Searching for Cryptology's Great Wreck
Authors: Jukka Rislakki
Venue: Cryptologia (2007)

How historian David Kahn spent a day at the site of the most fateful accident in the history of cryptology, the Baltic island of Osmussaar, where the Magdeburg ran aground in August 1914.
Visualization and detection of small defects on painted or varnished surfaces
Authors: A. Gil, N. Montés, M. Mora, J. Tornero
Venue: Proceedings of the 4th WSEAS International Conference on Signal Processing, Computational Geometry & Artificial Vision (2004)

Surface defect inspection is a very common task that is performed in the industry as a final quality step of manufacturing processes. Despite that a lot of care is taken in order to avoid that these small defects appear, they often are visible just after the painting or varnishing is applied. A new technique shown on this paper allows us a successful inspection on these type of surfaces. A fast computer vision algorithm is also presented. This algorithm is specially useful for small defects or low resolution defects detection providing a high robustness and performance when critical processing time is required.
Overview of the IBM Blue Gene/P project
Venue: IBM Journal of Research and Development (2008)

On June 26, 2007, IBM announced the Blue Gene/P™ system as the leading offering in its massively parallel Blue Gene® supercomputer line, succeeding the Blue Gene/L™ system. The Blue Gene/P system is designed to scale to at least 262, 144 quad-processor nodes, with a peak performance of 3.56 petaflops. More significantly, the Blue Gene/P system enables this unprecedented scaling via architectural and design choices that maximize performance per watt, performance per square foot, and mean time between failures. This paper describes our vision of this petascale system, that is, a system capable of delivering more than a quadrillion (1015) floating-point operations per second. We also provide an overview of the system architecture, packaging, system software, and initial benchmark results.
Performance of sub-carrier modulated Free-Space Optical communication link in negative exponential atmospheric turbulence environment
Authors: W. O. Popoola, Z. Ghassemlooy, V. Ahmadi
Venue: International Journal of Autonomous and Adaptive Communications Systems (2008)

Free-Space Optical (FSO) communication is reputed for its ability to proffer solution to the access network bottle-neck but when used over long range communication links, it suffers from scintillation caused by the atmospheric turbulence. The scintillation is modelled using the negative exponential distribution. Hereby, we present the outage probability and the bit error probability equations of digital sub-carrier intensity modulated FSO system in atmospheric turbulence.
IBM z10: The Next-Generation Mainframe Microprocessor
Authors: Charles F. Webb
Venue: IEEE Micro (2008)

The IBM System z10 includes four microprocessor cores—each with a private 3-Mbyte cache—and integrated accelerators for decimal floating-point computation, cryptography, and data compression. A separate SMP hub chip provides a shared third-level cache and interconnect fabric for multiprocessor scaling. This article focuses on the high-frequency design techniques used to achieve a 4.4-GHz system, and on the pipeline design that optimizes z10's CPU performance.
A Rate-Adaptive MAC for IEEE 802.11 Networks
Authors: S. Khan, S. A. Mahmud, H. S. Al-Raweshidy
Venue: Proceedings of the Communication Networks and Services Research Conference (2008)

Rate adaptation in multi-rate capable IEEE 802.11x stations is extremely challenging. Previous approaches for rate adaptation mainly focused on the factors related to the wireless medium. However, applications’ demands and timing constraints of the underlying protocols were not considered. The solution proposed in this paper tackles these shortcomings with a novel approach by performing rate adaptation according to the changing channel conditions, application preferences and timing constraints of the underlying protocols. The proposed rate adaptation is based on a loss differentiation mechanism which identifies the real cause of channel variations and takes an appropriate action thereafter. The design provides flexibility of tuning various parameters according to application type and offers minimal complexity. The simulation results assert considerable improvements over previous solutions in terms of the algorithm response to application requirements and dynamic adjustment with variation in underlying protocol performance.
XPath, transitive closure logic, and nested tree walking automata
Authors: Balder ten Cate, Luc Segoufin
Venue: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2008)

We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operator, allowing one to restrict attention to a specific subtree while evaluating a subexpression. We show that the expressive power of this XPath dialect equals that of FO(MTC), first order logic extended with monadic transitive closure. We also give a characterization in terms of nested tree-walking automata. Using the latter we then proceed to show that the language is strictly less expressive than MSO. This solves an open question about the relative expressive power of FO(MTC) and MSO on trees. We also investigate the complexity for our XPath dialect. We show that query evaluation be done in polynomial time (combined complexity), but that satisfiability and query containment (as well as emptiness for our automaton model) are 2ExpTime-complete (it is ExpTime-complete for Core XPath).
Automatically finding and recommending resources to support knowledge workers' activities
Authors: Jianqiang Shen, Werner Geyer, Michael Muller, Casey Dugan, Beth Brownholtz, David R Millen
Venue: Proceedings of the 13th international conference on Intelligent user interfaces (2008)

Knowledge workers perform many different activities daily. Each activity defines a distinct work context with different information needs. In this paper we leverage users' activity representations, stored in an activity management system, to automatically recommend resources to support knowledge workers in their current activity. We developed a collaborative activity predictor to both predict the current work activity and measure a resource's relevance to a specific activity. Relevant resources are then displayed in a contextual side bar on the desktop. We describe the system, our new activity-centric search algorithm, and experimental results based on the data from 50 real users.
Parallel learning using decision trees: a novel approach
Authors: Sattar Hashemi, Mohammad R. Kangavari
Venue: Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science (2005)

Decision trees are one of the most effective and widely used induction methods that have received a great deal of attention over the past twenty years. When decision tree induction algorithms used with uncertain rather than deterministic data, the result is complete tree, which can classify most of the unseen samples correctly. This tree would be pruned in order to reduce its classification error and over-fitting. Recently, parallel decision tree researches concentrated on dealing with large databases in reasonable amount of time. In this paper we present new parallel learning methods that are able to induce a decision tree from some overlapping partitioned training set. Our methods are based on combination of multiple induction methods; each one is running on different processor. These methods have been developed based on Kramer and fuzzy mode to control and combine the result of learning methods in order to generate the final tree. Experimental results show that if the attributes and classes in training set have uniform distribution and the size of training set are not too small, these methods result statistically lower error rate in comparison to existing methods.
System power management support in the IBM POWER6 microprocessor
Authors: M. S. Floyd, S. Ghiasi, T. W. Keller, K. Rajamani, F. L. Rawson, J. C. Rubio, M. S. Ware
Venue: IBM Journal of Research and Development (2007)

The IBM POWER6™ microprocessor chip supports advanced, dynamic power management solutions for managing not, just the chip but the entire server. The design facilitates a programmable power management solution for greater flexibility and integration into system- and data-center-wide management solutions. The design of the POWER6 microprocessor provides real-time access to detailed and accurate information on power, temperature, and performance. Together, the sensing, actuation, and management support available in the POWER6 processor, known as the EnergyScale™ architecture, enables higher performance, greater energy efficiency, and new power management capabilities such as power and thermal capping and power savings with explicit performance control. This paper provides an overview of the innovative design of the POWER6 processor that enables these advanced, dynamic system power management solutions.
A top: a software tool for topic map technology
Authors: Athanasios Hatzigaidas, Georgios Tryfon, Anastasia Papastergiou
Venue: Proceedings of the 4th WSEAS International Conference on Telecommunications and Informatics (2005)

Topic Map (TM) technology is a new semantic approach for information representation, management and navigation gaining increasing popularity. In order to realise and exploit the potentials of this new technology, the need for software development to manage TM is indispensable. In the context of this paper, we have attempted to outline some key factors, regarding the level of functionality that an integrated TM software application tool should provide. Consequently, keeping in touch with the main design principles, a software application tool (ATop) for efficient TM editing, browsing, navigation, management and querying has been designed, implemented and tested with encouraging results.
A State-of-the-Practice Survey of Risk Management in Development with Off-the-Shelf Software Components
Authors: Jingyue Li, Reidar Conradi, Odd Petter Slyngstad, Marco Torchiano, Maurizio Morisio, Christian Bunse
Venue: IEEE Transactions on Software Engineering (2008)

An international survey on risk management in software development with OTS (Off-The-Shelf) components is reported upon and discussed. The survey investigated actual risk-management activities and their correlations with the occurrences of typical risks in OTS component-based development. Data from 133 software projects in Norway, Italy, and Germany were collected using a stratified random sample of IT companies. The results show that OTS components normally do not contribute negatively to the quality of the software system as a whole, as what is commonly expected. However, issues such as the underestimation of integration effort and inefficient debugging remain problematic and require further investigation. The results also illustrate several promising effective risk-reduction activities, e.g. putting more effort into learning relevant OTS components, integrating unfamiliar components first, evaluating the quality of candidate OTS components thoroughly, and regularly monitoring the support capability of OTS providers. Five hypotheses are proposed regarding these risk reduction activities. The results also indicate that several other factors, such as project, cultural, and human-social factors, have to be investigated to deal with the possible risks of OTS-based projects thoroughly.
Human activity recognition in pervasive health-care: Supporting efficient remote collaboration
Authors: Venet Osmani, Sasitharan Balasubramaniam, Dmitri Botvich
Venue: Journal of Network and Computer Applications (2008)

Technological advancements, including advancements in the medical field have drastically improved our quality of life, thus pushing life expectancy increasingly higher. This has also had the effect of increasing the number of elderly population. More than ever, health-care institutions must now care for a large number of elderly patients, which is one of the contributing factors in the rising health-care costs. Rising costs have prompted hospitals and other health-care institutions to seek various cost-cutting measures in order to remain competitive. One avenue being explored lies in the technological advancements that can make hospital working environments much more efficient. Various communication technologies, mobile computing devices, micro-embedded devices and sensors have the ability to support medical staff efficiency and improve health-care systems. In particular, one promising application of these technologies is towards deducing medical staff activities. Having this continuous knowledge about health-care staff activities can provide medical staff with crucial information of particular patients, interconnect with other supporting applications in a seamless manner (e.g. a doctor diagnosing a patient can automatically be sent the patient's lab report from the pathologist), a clear picture of the time utilisation of doctors and nurses and also enable remote virtual collaboration between activities, thus creating a strong base for establishment of an efficient collaborative environment. In this paper, we describe our activity recognition system that in conjunction with our efficiency mechanism has the potential to cut down health-care costs by making the working environments more efficient. Initially, we outline the activity recognition process that has the ability to infer user activities based on the self-organisation of surrounding objects that user may manipulate. We then use the activity recognition information to enhance virtual collaboration in order to improve overall efficiency of tasks within a hospital environment. We have analysed a number of medical staff activities to guide our simulation setup. Our results show an accurate activity recognition process for individual users with respect to their behaviour. At the same time we support remote virtual collaboration through tasks allocation process between doctors and nurses with results showing maximum efficiency within the resource constraints.
A Visualization Technique for Agent Based Goal Refinement to Elicit Soft Goals in Goal Oriented Requirements Engineering
Authors: A M. Sen, S K. Jain
Venue: Proceedings of the Second International Workshop on Requirements Engineering Visualization (2007)

Goal oriented requirements engineering methods have gained significance because these methods define the requirements in terms of goals, thus making it useful for all stakeholders to understand the requirements clearly. But extracting goals from the stakeholders is a challenging task in the goal oriented methods, especially the soft goals about which even the stakeholders have very little knowledge. To address this challenge we propose a methodology involving maximum participation of stakeholders where the soft goals are elicited in group sessions iteratively. The elicited goals are compiled through a software program called Activity Card Compiler. The methodology is used for Soft Goal Elicitation for the development of a Web Based Application. We present the results of our implementation and an analysis of the results.
Hyperbolic Location Fingerprinting: A Calibration-Free Solution for Handling Differences in Signal Strength (concise contribution)
Authors: Mikkel Baun Kjærgaard, Carsten Valdemar Munk
Venue: Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (2008)

Differences in signal strength among wireless network cards, phones and tags are a fundamental problem for location fingerprinting. Current solutions require manual and error-prone calibration for each new client to address this problem. This paper proposes hyperbolic location fingerprinting, which records fingerprints as signal-strength ratios between pairs of base stations instead of absolute signal-strength values. The proposed solution has been evaluated by extending two well-known location fingerprinting techniques to hyperbolic location fingerprinting. The extended techniques have been tested on ten-hour-long signal-strength traces collected with five different IEEE 802.11 network cards. The evaluation shows that the proposed solution solves the signal-strength difference problem without requiring extra manual calibration and provides a performance equal to that of existing manual solutions.
Evaluating the performance of control schemes for hybrid systems a practical approach
Authors: Jaroslav Hlava, Bohumil Šulc
Venue: Proceedings of the 6th WSEAS International Conference on Systems Theory & Scientific Computation (2006)

Hybrid systems are now one of the most important research topics in the field of system and control theory. They undoubtedly pose many interesting challenges from the purely theoretical point of view, however, the ultimate motivation for their study is practical. There many industrial plants whose mathematical models are hybrid, i.e. exhibit nontrivial interactions of continuous valued and discrete valued variables and elements. Despite this practical motivation, most papers on the control of hybrid systems are limited to theoretical aspects of control design and they are concluded with simulational experiments at best. This paper proposes a more practical alternative. It describes a laboratory scale plant that is designed in such a way that it exhibits most of the hybrid phenomena typical of process control applications. The paper includes a detailed description of the plant structure together with its mathematical model. Further, it focuses on hybrid control experiments that can be performed with this plant in order to test and evaluate various hybrid control schemes.
Image classification using biologically inspired systems
Authors: Tomas Piatrik, Krishna Chandramouli, Ebroul Izquierdo
Venue: Proceedings of the 2nd international conference on Mobile multimedia communications (2006)

In this paper the problem of the image classification based on biologically inspired optimization systems is addressed. Recent developments in applied and heuristic optimization have been strongly influenced and inspired by natural and biological system. The findings of recent studies are showing strong evidence to the fact that some aspects of the collaborative behavior of social animals such as ants and birds can be applied to solve specific problems in science and engineering. Two algorithms based on this paradigm Ant Colony Optimization and Particle Swarm Optimization are investigated in this paper. The comparative evaluation of the recently developed techniques by the authors for optimizing the COP-K-means and the Self Organizing Feature Maps for the application of Binary Image Classification is presented. The precision and retrieval results are used as the metrics of comparison for both classifiers.
BioCrawler: An intelligent crawler for the semantic web
Authors: Alexandros Batzios, Christos Dimou, Andreas L. Symeonidis, Pericles A. Mitkas
Venue: Expert Systems with Applications: An International Journal (2008)

Web crawling has become an important aspect of web search, as the WWW keeps getting bigger and search engines strive to index the most important and up to date content. Many experimental approaches exist, but few actually try to model the current behaviour of search engines, which is to crawl and refresh the sites they deem as important, much more frequently than others. BioCrawler mirrors this behaviour on the semantic web, by applying the learning strategies adopted in previous work on ecosystem simulation, called BioTope. BioCrawler employs the principles of BioTope's intelligent agents on the semantic web, learns which sites are rich in semantic content and which sites link to them and adjusts its crawling habits accordingly. In the end, it learns to behave much like the state of the art search engine crawlers do. However, BioCrawler reaches that behavior solely by exploiting on-page factors, rather than off-page factors, such as the currently used link popularity.