ppxscal/embedding_network huggingface dataset:
Exact 3-D solution for system with rectangular fin, part 1
Authors: Margarita Buike, Andris Buikis
Venue: Proceedings of the 12th WSEAS International Conference on Applied Mathematics (2007)

In this paper we construct several exact analytical three-dimensional solutions for the distribution of the temperature field in the wall with rectangular fin. We assume that the heat transfer process in the wall and the fin is stationary. These exact solutions are obtained by the Green function method in the form of the 2nd kind Fredholm integral equation. They generalize traditional statements in several senses, e.g., we consider 3-D statement by different boundary conditions and the heat exchange take place at nonhomogeneous environmental temperature.
Pre-Emptive Channel Assignment Scheme with Fair Queue Scheduling in Evolving Mobile Networks
Authors: Atta-Ul Qudoos, Asfand-E-Yar, Irfan Ullah Awan
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

Due to rapid evolution in Mobile Cellular Industry (MCI) there is an increase in complexity when using mobility management techniques during the design, commissioning and operations of mobile networks. 1 G methodology can no longer be adopted or applied for 2G and/or 3G mobile networks. Therefore, existing mobility management techniques need to evolve with the technological evolution in mobile networks which is offering different multimedia based services using internet and various other class based traffic as opposed to only conventional voice telephony with guaranteed Quality of Service (QoS) to the end user. Channel assignment schemes are key to the mobility management. In the literature, different channel assignment schemes have been devised for handovers occurring during multimedia based calls. We propose pre-emptive channel assignment scheme with fair queue scheduling based on buffer occupancy under certain QoS constraints in this paper. The proposed scheme is evaluated in a simulation environment and three different complex models/scenarios are used to validate the results. The multimedia traffic has been modelled by using MMPP (Markov Modulated Poisson Process) whereas we use conventional Poisson Process to model the voice calls. The performance study shows that the proposed pre-emptive channel assignment scheme results in reduced dropping probability at higher handoff rates as compared to other channel reservation schemes and demonstrates how the performance trade off is obtained in terms of call dropping, call blocking and mean queue lenghts.
The Otho Toolkit - Synthesizing tailor-made scientific grid application wrapper services
Authors: Jürgen Hofer, Thomas Fahringer
Venue: Multiagent and Grid Systems (2007)

The long lifecycles of many scientific applications tend to surpass multiple generations of Grid technologies opening an increasing gap developers need to bridge. Therefore automatic adaptation and migration of existing software to newer environments remains a vital research field. Most existing state-of-the-art solutions are middleware services that execute programs based on user-provided program descriptions. They force clients to use a generic interface and often lack capabilities to adapt to specific program requirements. This article presents a technique and tool support, the Otho Toolkit, for semi-automatic transformation of existing scientific applications deployed on Grid resources into Grid application services. The generated output are service source codes that are either automatically built and packaged into ready-to-deploy services or taken by developers for manual refinement. The generated services are customised and tailor-made for a specific application, a certain service hosting environment and a given Grid resource. To increase their benefit they can be extended with optional supplements, e.g. automatic retrieval of security credentials. The 'Invisible Grid' shields users from any Grid specific technical details. This article presents our first achievements on getting one step closer to this vision.
A sliding mode observer-based strategy for fault detection, solation, and estimation in a class of Lipschitz nonlinear systems
Authors: Weitian Chen, Mehrdad Saif
Venue: International Journal of Systems Science (2007)

This article investigates the design and application of a sliding mode observer (SMO) strategy for actuator as well as sensor fault detection, isolation, and estimation (FDIE) problem for a class of uncertain Lipschitz nonlinear systems. Actuator FDIE is addressed by regrouping the system's inputs into a structure suitable for SMO design. Similarly, by filtering the regrouped outputs, a similar system structure can be developed for sensor FDIE problem. Once in the suitable form and under certain assumptions, nonlinear SMOs are proposed for actuator and sensor FDIE. A systematic LMI-based design approach for the proposed SMO is presented. Additionally, the article addresses four problems, namely: (P1) What are the conditions for isolating single and/or multiple faults? (P2) What is the maximum number of faults that can be isolated simultaneously? (P3) How should one design SMO-based FDI approach in order to achieve multiple fault isolation using as few observers as possible? (P4) How can one estimate the shape of the faults? To solve the above problems, a new concept called fault isolation index (FIX) is proposed for actuator and sensor FDIE. It is proved that fault isolation can only be achieved if FIX ≠ 0, and also that the maximum number of faults that can be isolated is equal to FIX. Using the proposed fault isolation strategy and by treating some healthy inputs or outputs as unknown inputs, a systematic FDIE design scheme using a bank of nonlinear SMOs, which provides a solution for the four problems is provided. An example is used to illustrate the proposed ideas. The simulation results show that the proposed FDIE scheme can successfully detect and isolate both slowly and fast-changing actuator faults. It is also shown that accurate estimation of actuator faults can be achieved.
Yield analysis for self-repairable MEMS devices
Authors: Xingguo Xiong, Yu-Liang Wu, Wen-Ben Jone
Venue: Analog Integrated Circuits and Signal Processing (2008)

In this paper, yield analysis for a self-repairable MEMS (SRMEMS) accelerometer design is proposed. The accelerometer consists of (n + m) identical modules: n of them serve as the main device, while the remaining m modules act as the redundancy. The yield model for MEMS redundancy repair is developed by statistical analysis. Based upon the yield model, the yield increase after redundancy repair for different m and n numbers is analyzed. ANSYS Monte Carlo simulation is used to estimate the yield of BISR/non-BISR MEMS devices with random point-stiction defects. The simulation results are in good agreement with the theoretical prediction based on our yield model. The simulation results also show that the SRMEMS leads to effective yield increase compared to non-BISRS design, especially for a moderate initial yield.
An Efficient Window-Based Countermeasure to Power Analysis of ECC Algorithms
Authors: Fan Zhang, Zhijie Jerry Shi
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

Elliptic curve cryptography (ECC) has been adopted in many systems because it requires shorter keys than traditional public-key algorithms in primary fields. However, power analysis attacks can exploit the power consumption of ECC devices to retrieve secret keys. In this paper, we propose an efficient window-based countermeasure that is secure against existing power analysis attacks. Compared to previous countermeasures, our method has low memory overhead, requiring only a table of w+1 entries when the window size is w bits. It also has better performance than many algorithms that perform one point addition or subtraction for every bit in the scalar.
Routing and wavelength assignment for a class of regular optical WDM networks under wide-sense nonblocking multicast
Authors: N. Nagarajan, D. Savithri, K. Kalamani, S. K. Srivatsa
Venue: Proceedings of the 4th WSEAS International Conference on Telecommunications and Informatics (2005)

Multicast connections need to be established in an all-optical network when the information from a single source is to be distributed to a number of destinations. A set of multicast connections that do not involve the same source wavelength at the input side and the same destination wavelength at the output side is referred to as multicast assignment. This becomes an important requirement in high- performance networks. In this paper, we study multicast communication in a class of optical WDM networks with regular topologies such as cube-connected cycles, butterfly, pyramid, shuffle-exchange and de Bruijn. For each type of network, we have derived the necessary and sufficient conditions on the minimum number of wavelengths required for a WDM network to be wide-sense nonblocking either under some commonly used routing algorithms or under our proposed heuristic algorithms incorporating certain commonly used routing algorithms depending on the type of network.
High quality queueing information from accelerated active network tomography
Authors: Tommaso Rizzo, József Stéger, Péter Pollner, István Csabai, Gábor Vattay
Venue: Proceedings of the 4th International Conference on Testbeds and research infrastructures for the development of networks & communities (2008)

Monitoring network state can be crucial in Future Internet infrastructures. Passive monitoring of all the routers is expensive and prohibitive. Storing, accessing and sharing the data is a technological challenge among networks with conflicting economic interests. Active monitoring methods can be attractive alternatives as they are free from most of these issues. Here we demonstrate that it is possible to improve the active network tomography methodology to such extent that the quality of the extracted link or router level delay is comparable to the passively measurable information. We show that the temporal precision of the measurements and the performance of the data analysis should be simultaneously improved to achieve this goal. In this paper we not only introduce a new efficient message-passing based algorithm but we also show that it is applicable for data collected by the ETOMIC high precision active measurement infrastructure. The measurements are conducted in the GEANT2 high speed academic network connecting the sites, which is an ideal test ground for such Future Internet applications.
Rake performance for DS and TH based UWB system in a multipath channel
Authors: Annalisa Durantini, Romeo Giuliano, Franco Mazzenga
Venue: Proceedings of the 2nd international conference on Mobile multimedia communications (2006)

In this paper, we evaluate the performances of direct-sequence pulse amplitude modulated and time-hopped pulse position modulated UWB systems based on Rake receiving. We provide an analytical expression for the average signal to interference plus noise ratio at the receiver output, which accounts of the processing gains introduced by the Rake with respect to interference and noise, as well as of propagation phenomena occurring in an UWB indoor propagation channel. Assuming that the UWB devices are organized in piconets, we investigate the impact on the link outage probability and average aggregate network throughput of some critical implementation choices, such as the UWB signal model, the mono-pulse characteristics of the transmitted UWB signal, the traffic conditions and the Rake receiver scheme.
Personalized Information Retrieval Using the User History
Authors: Taehwan Kim, Hochul Jeon, Joongmin Choi
Venue: Proceedings of the 2008 International Conference on Multimedia and Ubiquitous Engineering (2008)

Many search algorithms have been implemented by many researchers on the world wide web. One of the best algorithms is Google using PageRank technology. PageRank approach computes the number of inlink of each documents then ranks documents in the order of inlink members. But it is difficult to find the results that user needs, because this method finds documents not valueable for a person but valueable for the public. This paper proposes a personalized search engine that emphasizes both the public worth such as page rank using the inlink of each documents and the personal worth.
Exception Handling and Recovery of Semantic Web Services
Authors: Roman Vaculín, Kevin Wiesner, Katia Sycara
Venue: Proceedings of the Fourth International Conference on Networking and Services (2008)

Abstract In this paper we present an approach for specification of exception handling and recovery of semantic web services based on OWL-S. We use standard fault handlers and compensation known for example from WS-BPEL to provide support for long running transactions. In addition to that, we introduce constraint violation handlers (CV-handlers) which allow a designer to define what situations are supposed to trigger an erroneous state and what are the appropriate recovery actions. Further, we introduce explicit recovery actions such as retry and replaceBy to recover from the failure and to restore a normal execution flow. By combining fault handlers, CV-handlers and standard event handlers it is possible to define ways of recovery for standard errors and for violations of constraints resulting for example from Service Level Agreements (SLAs).
A Latent Semantic Indexing-based approach to multilingual document clustering
Authors: Chih-Ping Wei, Christopher C. Yang, Chia-Min Lin
Venue: Decision Support Systems (2008)

The creation and deployment of knowledge repositories for managing, sharing, and reusing tacit knowledge within an organization has emerged as a prevalent approach in current knowledge management practices. A knowledge repository typically contains vast amounts of formal knowledge elements, which generally are available as documents. To facilitate users' navigation of documents within a knowledge repository, knowledge maps, often created by document clustering techniques, represent an appealing and promising approach. Various document clustering techniques have been proposed in the literature, but most deal with monolingual documents (i.e., written in the same language). However, as a result of increased globalization and advances in Internet technology, an organization often maintains documents in different languages in its knowledge repositories, which necessitates multilingual document clustering (MLDC) to create organizational knowledge maps. Motivated by the significance of this demand, this study designs a Latent Semantic Indexing (LSI)-based MLDC technique capable of generating knowledge maps (i.e., document clusters) from multilingual documents. The empirical evaluation results show that the proposed LSI-based MLDC technique achieves satisfactory clustering effectiveness, measured by both cluster recall and cluster precision, and is capable of maintaining a good balance between monolingual and cross-lingual clustering effectiveness when clustering a multilingual document corpus.
Wrapper-based personalised mobile meta portal
Authors: Yue Shan Chang
Venue: International Journal of Autonomous and Adaptive Communications Systems (2008)

In this article, we present Amor, a novel platform providing reconfigurable and personalised mobile meta portal based on Adaptive Wrappers that can loosely tie many portals or web pages simultaneously and access desired information. Amor not only provides mobile users with a platform for precisely retrieving personally desired information from multiple portals or websites using a handheld device, but also a mechanism for dynamically reconfiguring user preferences anytime and anywhere.
A New Combining Approach to Localizing the EEG Activity in the Brain: WMN and LORETA Solution
Authors: Rafik Khemakkhem, Wassim Zouch, Abdelmailk Taleb-Ahmed, Ahmed Ben Hamida
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 01 (2008)

Estimation of cerebral electric activity from the scalp electroencephalogram EEG requires a solution to the EEG inverse problem. We propose a new approach which consists in combining two methods in order to locate the brain electric activity: ‘Weighted Minimum Norm’ ‘WMN’ and ‘LOw Resolution brain Electromagnetic TomogrAphy’ ‘LORETA’. The idea that we propose is to used the current density distribution estimated by the WMN method in order to initialize the LORETA method. A comparative study of three different inverse methods, WMN, LORETA and WMN-LORETA is presented. We compare the results found with existing methods LORETA and WMN. The results reveal that WMN-LORETA is able to reconstruct a three-dimensional source distribution with a degree of localization compared to the other methods.
BASE: An Acid Alternative
Authors: Dan Pritchett
Venue: Queue (2008)

Web applications have grown in popularity over the past decade. Whether you are building an application for end users or application developers (i.e., services), your hope is most likely that your application will find broad adoption¿and with broad adoption will come transactional growth. If your application relies upon persistence, then data storage will probably become your bottleneck.
Computer literacy for everyone
Authors: Luby Liao, Jack W. Pope
Venue: Journal of Computing Sciences in Colleges (2008)

The authors have been teaching a very successful university computer literacy course since 1984. A computer literacy course should teach students to be passionate about and efficient with computers, and it should engender students with an appreciation of the power computing and networking tools provide today. In the authors' courses, students learn useful skills, but that is a secondary goal. The authors use the World Wide Web as a vehicle for proactive learning and publishing; and they encourage collaboration using web and programming applications tools to enable true literacy. This paper will review those aspects of the instructors' methodology that contribute to the success of the course.
Necessary conditions to obtain Voronovskaja type asymptotic formulae via statistical limit
Authors: Ogün Dogru
Venue: Proceedings of the 12th WSEAS International Conference on Applied Mathematics (2007)

It is well-known that, obtaining the necessary and sufficient conditions is not an easy task in the approximation theory. In a recent paper, necessary and sufficient conditions to obtain direct and inverse results for a sequence of general positive linear operators are given by us. Our results are valid for not only uniform approximation but also statistical approximation. On the other hand, Voronovskaja obtained an asymptotic formulae to determine the order of uniform approximation of Bernstein polynomials to the function f. The main purpose of this paper is to give necessary conditions to obtain a Voronovskaja type asymptotic formulae for a sequence of general positive linear operators via statistical limit.
Collaborative learning: towards a solution for novice programmers
Authors: Donna Teague, Paul Roe
Venue: Proceedings of the tenth conference on Australasian computing education - Volume 78 (2008)

Students continue to struggle with learning to program, for reasons that we hypothesise are not solely cognitive. This paper reports on the results of a survey indicating that as students progress through a first programming unit, they enjoy it less, find it more difficult than they expected, and have less confidence in being able to successfully complete it. The students also believed that collaborative learning would have a beneficial impact on their learning outcomes and make studying programming more engaging, interactive, and fun. As a precursor to trialling collaborative problem solving and programming in introductory programming units at QUT, collaborative learning and its potential positive effect on the learning outcomes of programming students is investigated.
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
Authors: Shenghui Wang, David Rydeheard, Jeff Z. Pan
Venue: Journal of Logic and Computation (2008)

We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture and spatial and temporal arrangements. Natural languages are not adept at describing these quantities, nor are they easily incorporated into ontologies in the form of discrete terms. In this article, we analyse the way that natural languages handle continuous quantities, propose a general semantics based on metric spaces, and describe how to treat semantic values computationally, so that we may automate the processing of texts which describe continuous quantities allowing, for example, query evaluation and the integration of multiple texts. This provides a basis for incorporating these quantities into ontologies and combining their semantics with automated reasoning tools. We run a series of experiments to evaluate the semantics, the general framework, and the computational system we have developed.
Workshop on comparison and versioning ofsoftware models (CVSM08)
Authors: Jürgen Ebert, Udo Kelter, Tarja Systä
Venue: Companion of the 30th international conference on Software engineering (2008)

Comparison and versioning of software models is an urgent theoretical and practical problem area in the context of model-driven software development. A range of detailed issues are addressed by the contributions to CVSM08. This workshop summary introduces important research areas and categorizes the contributions of the workshop.
Proceedings of the 7th workshop on Foundations of aspect-oriented languages
Venue: Aspect-oriented software development (2008)

Aspect-oriented programming is a paradigm in software engineering and programming languages that promises better support for separation of concerns. The seventh Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the Seventh International Conference on Aspect-Oriented Software Development in Brussels Beligum, on April 1, 2008. This workshop was designed to be a forum for research in formal foundations of aspect-oriented programming languages. The call for papers announced the areas of interest for FOAL as including: semantics of aspect-oriented languages, specification and verification for such languages, type systems, static analysis, theory of testing, theory of aspect composition, and theory of aspect translation (compilation) and rewriting. The call for papers welcomed all theoretical and foundational studies of foundations of aspect-oriented languages. The goals of this FOAL workshop were to: &bull; Make progress on the foundations of aspect-oriented programming languages. &bull; Exchange ideas about semantics and formal methods for aspect-oriented programming languages. &bull; Foster interest within the programming language theory and types communities in aspect-oriented programming languages. &bull; Foster interest within the formal methods community in aspect-oriented programming and the problems of reasoning about aspect-oriented programs. The workshop was organized by Curtis Clifton (Rose-Hulman Institute of Technology, USA), Shmuel Katz (Technion---Israel Institute of Technology, Israel), Gary T. Leavens (University of Central Florida, USA), and Mira Mezini (Darmstadt University of Technology, Germany). The program committee was chaired by Curtis Clifton.