ppxscal/embedding_network huggingface dataset:
Accelerated SQL Server 2008 (Accelerated)
Authors: Rob Walters, Michael Coles, Robin Dewson, Donald Farmer, Fabio Claudio Ferracchiati, Robert Rae
Venue:  (2008)

The expert tuition and approach to rapid learning in Accelerated SQL Server 2008, one of the first SQL Server 2008 books available, will enable SQL Server and other database professionals to make the leap to the latest release of Microsofts flagship database management system quickly. Take full advantage of the new features of SQL Server 2008, know what tools are available, and quickly realize the power and ease of use that SQL Server 2008 has to offer. Lightningquick introduction to SQL Server 2008 Written by top experts in the field Provides a solid grounding in key features and technologies What youll learn Manage SQL Server installations through the brandnew Declarative Management Framework. Protect yourself from downtime with highavailability features such as failover clustering. Speed your applications by taking advantage of new performanceenhancement features in SQL Server 2008. Find what you need using fulltext search. Store, retrieve, and manage XML in the database. Derive competitive advantage from business intelligence tools such as Analysis Services and Reporting Services. Who is this book for? Database professionals who need to make the leap to SQL Server 2008, and who need to make that leap quickly. This audience primarily includes users of previous releases of SQL Server such as SQL Server 2000 and SQL Server 2005. The audience also includes database professionals with experience on competing platforms who are moving laterally to SQL Server.
The design of effective low cost embedded processor development kits for supporting take-home self-practice pedagogies
Authors: Nicholas Vun, Wooi-Boon Goh
Venue: Proceedings of the 13th International Conference on Parallel and Distributed Systems - Volume 02 (2007)

This paper describes the considerations taken in designing cost effective embedded processor development kits to support the take-home self-practice pedagogical strategy. Since each student is issued with such a take-home development kit, special design considerations were given to the choice of processor, the on-board peripheral support, the mode of software development and the development tool support. Two embedded processor development platforms of different complexity are described. One is an 8051 based kit and the other is based on the ARM RISC processor.
MODELING AND CONTROL OF INTERNAL COMBUSTION ENGINES USING INTELLIGENT TECHNIQUES
Authors: S. H. Lee, R. J. Howlett, S. D. Walters, C. Crua
Venue: Cybernetics and Systems (2007)

This article will compare two different fuzzy-derived techniques for controlling small internal combustion engine and modeling fuel spray penetration in the cylinder of a diesel internal combustion engine. The first case study is implemented using conventional fuzzy-based paradigm, where human expertise and operator knowledge were used to select the parameters for the system. The second case study used an adaptive neuro-fuzzy inference system (ANFIS), where automatic adjustment of the system parameters is affected by a neural networks based on prior knowledge. The ANFIS model was shown to achieve an improved accuracy compared to a pure fuzzy model, based on conveniently selected parameters. Future work is concentrating on the establishment of an improved neuro-fuzzy paradigm for adaptive, fast and accurate control of small internal combustion engines.
Driver waveform computation for timing analysis with multiple voltage threshold driver models
Authors: Peter Feldmann, Soroush Abbaspour, Debjit Sinha, Gregory Schaeffer, Revanta Banerji, Hemlata Gupta
Venue: Proceedings of the 45th annual Design Automation Conference (2008)

This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs formalize a class of gate models which include the existing industry standards, such as CCS and ECSM driver models as special cases. The analysis technique relies on primary MVTM characterization data and does not require explicit instantiation of controlled current source models. Therefore, the method is more accurate, efficient, and general than traditional transient analysis. The theoretical results are validated by detailed simulations and use within full chip timing analysis.
Providing Fault Tolerance in Wireless Backhaul Network Design with Path Restoration
Authors: Naruemon Wattanapongsakorn, Chalermpol Charnsripinyo, Pakorn Leesutthipornchai
Venue: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security (2008)

This paper presents a survivable network design using network path restoration approach to provide fault tolerance in cellular backhaul network design, so that any breakdown of links within a network path can no longer interrupt the network services. As a consequence, the network design can greatly enhance the network reliability and quality of services. We adopt a two-phase network design approach to reduce the complexity of network design and to provide a design mechanism for enhancing reliability in existing networks. The first phase provides a minimum-cost initial network design. The problem is to find a minimum-cost network topology which includes selecting the location and type of base station controllers and mobile switching controllers as well as their link types. The second phase provides backup paths and spare capacity to the network topology from phase one to improve network reliability. Due to the complexity of network design problem, a genetic algorithm is applied as a meta-heuristic technique for obtaining good solutions. Various problem sizes of example networks are considered and discussed.
Providing secondary access to licensed spectrum through coordination
Authors: Sooksan Panichpapiboon, Jon M. Peha
Venue: Wireless Networks (2008)

Most wireless systems receive a license that gives them exclusive access to a block of spectrum. Exclusivity guarantees adequate quality of service, but it also leads to inefficient use of spectrum. Even when the license holder is idle, no other device can use the spectrum. This paper explores an alternative paradigm for secondary access to spectrum, where a secondary device can transmit when and only when the primary license holder grants permission. In this spectrum usage paradigm, each secondary device makes a request for temporary access to spectrum by providing a primary license holder with information such as its required bandwidth, its required signal to interference ratio, its transmit power, and its location, which is essential for a primary license holder in making an admission decision. This explicit coordination makes it possible to protect the quality of service of both primary and secondary, while gaining the efficiency of spectrum sharing. In this paper, we consider the case where the primary license holder is a GSM-based cellular carrier. We show that our proposed sharing scheme works well even with simple admission control and primitive frequency assignment algorithms. Moreover, imprecise location information does not significantly undermine the performance of our scheme. We also demonstrate that our scheme is attractive to a license holder by showing that a cellular carrier can profit from offering a secondary device access to spectrum at a price lower than it would normally charge a cellular call.
Computer Science Enrollments Drop
Authors: Bob Ward
Venue: Computer (2008)

Topics covered include a report on the 2007 CRA Taulbee Survey, the Society's new CSDA certification program, and a new series of webinars produced by the Society.
Cognitive Modeling in Medical Pattern Semantic Understanding
Authors: Lidia Ogiela, Ryszard Tadeusiewicz, Marek R. Ogiela
Venue: Proceedings of the 2008 International Conference on Multimedia and Ubiquitous Engineering (2008)

In the paper the new approach for cognitive modeling of some medical structures, using picture grammar have been presented. Especially was discussed the method of artificial intelligence dedicated to the syntactic-based semantic inference of selected RTG visualizations with particular attention to the leg bones. The presented methodology makes possible to describe for each biological structure, its semantic characteristics, and allow to formulate a semantic meaning of pathological deformation. Presented approach proofed that cognitive informatics based on semantic formalisms can be used to develop a new classes of intelligent Computer-Aided Diagnosis systems. Such systems authors called UBIAS- Understanding Based Image Analysis Systems.
Trigonometrically-fitted ARKN methods for perturbed oscillators
Authors: Hongli Yang, Xinyuan Wu
Venue: Applied Numerical Mathematics (2008)

In this paper, new and robust trigonometrically-fitted adapted Runge-Kutta-Nystrom methods for the numerical integration of perturbed oscillators are presented, which combine the features of trigonometrically-fitted methods with ARKN methods. Based on the linear-operator theory, the necessary and sufficient order conditions for these methods are derived. The numerical experiments are accompanied to show the efficiency and competence of our methods in comparison with some well-known methods.
Extraction of bridges over water from IKONOS panchromatic data
Authors: J. Luo, D. Ming, W. Liu, Z. Shen, M. Wang, H. Sheng
Venue: International Journal of Remote Sensing (2007)

Compared to remote sensing images of medium or low spatial resolution, high-resolution remote sensing images can provide observation data containing more detailed information for georesearch. Accordingly, an important issue for current computer and geoscience experts is to develop useful methods or technology to extract information from these high-resolution satellite images. As part of a series of research into object extraction, this paper focuses mainly on the extraction of bridges over water from high-resolution panchromatic satellite images. Since bridges over water are obviously adjacent to water in remote sensing images, this paper proposes a practical knowledge-based bridge extraction method for remote sensing images of high spatial resolution. The steps involved are: water extraction based on Gauss Markov Random Field (GMRF)-Support Vector Machine (SVM) classification methods which use a SVM to classify the image based on textural features expressed by a GMRF; image thinning and removal of fragmented lines; main trunk detection by width; vectorization; and feature expression. Finally, tests are described for two pieces of panchromatic IKONOS satellite images with a 1 m resolution. The experimental results show that the proposed method is suitable for images with a single-peak histogram (contrast between water and land is sharp) or a multi-peak histogram (greyscale value of water is close to that of land).
Patterns with Algebraic Properties in BPEL0
Authors: Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
Venue: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (2006)

In the paper[22], we proposed a language called BPEL0 with its formal semantics as the foundations of WSBPEL[26], In this paper, we follow the way Van der Aalst proposed on pattern analysis in workflow languages[2], and present the patterns for BPEL0. Moreover, the expressiveness of BPEL0 is also embodied by means of putting these patterns in the program environment composed of other programming operators. Those properties about the patterns with its environment are captured by the algebraic laws, which can be proven in the framework of BPEL0 semantic domain.
Design and simulation of a tunable photonic band gap filter
Authors: B. Thubthimthong, F. Chollet
Venue: Microelectronic Engineering (2008)

A tunable photonic band gap (PBG) filter is designed. A one-dimensional photonic crystal (1-D PC) is comprised of alternate dielectric layers of polydimethylsiloxane (PDMS) and Si. A comb-drive microactuator is designed to compress the 1-D PC along the axis of dielectric stack and tune the PBG. Due to large stiffness difference between Si and PDMS, only the PDMS layers are subjected to dimensional change during compression. We plot the 3-D PBG map that shows wide tuning range of central pass-band wavelength of around 100nm in visible region. Dependency of the PBG on the angle of incidence is investigated by a propagation matrix method, and the method shows gradual variation of the PBG for both s-wave and p-wave. The angle of incidence of 10^o is chosen for the design so that the PBGs for both s-wave and p-wave are about the same. Therefore, the PC can still reflect all incident lights within the PBG.
Towards an Implementation of Smart Hospital: A Localization System for Mobile Users and Devices
Authors: Antonio Coronato, Massimo Esposito
Venue: Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (2008)

The advancements of wireless and mobile computing technologies and the diffusion of Pervasive Healthcare technologies are changing our perception of healthcare. In this paper, we describe how the Pervasive Computing technologies can be used to build a Smart Hospital. In particular, we propose a concrete implementation of a Smart Hospital and discuss how e-Health services and applications can be enhanced by location information. As a solution, we present semantic models, mechanisms and a system to locate diverse kinds of mobile entities in Smart Hospitals. The key feature of the system is the semantic integration of different positioning systems that not only enables the hospital to transparently handle such physical positioning systems, but also to reason on location information coming from different systems and to combine them in order to get higher context information or to resolve inconsistencies or conflicts due to sensing errors or limitations of the positioning systems.
Cognitive Systems Engineering: The Hype and the Hope
Authors: Gary Klein, Steven Deal, Sterling Wiggins
Venue: Computer (2008)

Cognitive systems engineering is a value-added technology offering many benefits that outweigh its costs.
Reduction Semantics and Formal Analysis of Orc Programs
Authors: Musab AlTurki, José Meseguer
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2008)

Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration applications. The formal semantics of Orc poses interesting challenges, because of its real-time nature and the different priorities of external and internal actions. In this paper, building upon our previous SOS semantics of Orc in rewriting logic, we present a much more efficient reduction semantics of Orc, which is provably equivalent to the SOS semantics thanks to a strong bisimulation. We view this reduction semantics as a key intermediate stage towards a future, provably correct distributed implementation of Orc, and show how it can naturally be extended to a distributed actor-like semantics. We show experiments demonstrating the much better performance of the reduction semantics when compared to the SOS semantics. Using the Maude rewriting logic language, we also illustrate how the reduction semantics can be used to endow Orc with useful formal analysis capabilities, including an LTL model checker. We illustrate these formal analysis features by means of an online auction system, which is modeled as a distributed system of actors that perform Orc computations.
A Strategic Test Process Improvement Approach Using an Ontological Description for MND-TMM
Authors: Hoyeon Ryu, Dong-Kuk Ryu, Jongmoon Baik
Venue: Proceedings of the Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) (2008)

It is well known that most of mission critical systems like defense systems demand higher quality than general software systems. In order to assure the high quality of the systems, those software systems must be thoroughly tested with well defined testing processes. As software systems evolve, software testing should also be improved with continual-base. Even if there are some previous researches on test process model, those models have some limitations and problems to be applied for software testing process improvement in a specific domain like military weapon systems. In this paper, we propose a new testing maturity model, called MND-TMM(Ministry of National Defense-Testing Maturity Model), which can be adopted effectively for the weapon software system development. We also present OWL ontology for the MND-TMM, called MTO(MND-TMM Ontology) to help software organizations set up their effective testing strategies and improve their testing processes, which can lead to high quality product developments.
A QoS-based service acquisition model for IS services
Authors: Xian Chen, Paul G. Sorenson
Venue: Proceedings of the 6th international workshop on Software quality (2008)

The emergence of new information system (IS) service technologies yields opportunities and challenges in identifying and monitoring quality of services that providers are delivering. Unfortunately, very few approaches have applied accurate and unbiased views on service quality that takes into account the true value of the service provided. This paper poses the definition of quality of service for IS services (QoSIS) and examines how to discover and select high-quality IS services from the viewpoint of the service customers. This will be accomplished through the development of a QoSIS-based service acquisition model by introducing a quality assurance party (QAP) and two quality notions that are respectively referred for traditional customer/provider service and SaaS (software as a service).
The design and implementation of SPIRIT: a spatially aware search engine for information retrieval on the Internet
Authors: Ross S. Purves, Paul Clough, Christopher B. Jones, Avi Arampatzis, Benedicte Bucher, David Finch, Gaihua Fu, Hideo Joho, Awase Khirni Syed, Subodh Vaid, Bisheng Yang
Venue: International Journal of Geographical Information Science (2007)

Much of the information stored on the web contains geographical context, but current search engines treat such context in the same way as all other content. In this paper we describe the design, implementation and evaluation of a spatially aware search engine which is capable of handling queries in the form of the triplet of 〈theme〉〈spatial relationship〉〈location〉. The process of identifying geographic references in documents and assigning appropriate footprints to documents, to be stored together with document terms in an appropriate indexing structure allowing real-time search, is described. Methods allowing users to query and explore results which have been relevance-ranked in terms of both thematic and spatial relevance have been implanted and a usability study indicates that users are happy with the range of spatial relationships available and intuitively understand how to use such a search engine. Normalised precision for 38 queries, containing four types of spatial relationships, is significantly higher (p
A Predator-Prey Cellular Automaton with Parasitic Interactions and Environmental Effects
Authors: Fabio Farina, Alberto Dennunzio
Venue: Fundamenta Informaticae (2008)

We propose a lattice model to describe a predator-prey system where two species with significantly different size are considered. The biological analogy we refer to is the predatory interaction between bacteria and viruses. We assume simple environmental effects altering the dynamics. Preys (bacteria) procreate by mitosis and they do not move. They may die because of natural causes or under the predation. The predation is the consequence of a diffusive phenomenon by the predators (viruses). Predators grow in number by infection and by prey self-immunity diseases, and they die by starvation.
On Dynamic Replication Strategies in Data Service Grids
Authors: Xiaohua Dong, Ji Li, Zhongfu Wu, Dacheng Zhang, Jie Xu
Venue: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (2008)

Service Oriented Architecture (SOA) allows multiple and heterogeneous data resources to be integrated within a single service while hiding the implementation details and formats of data resources from users of the service. However, data sources for a service are often distributed geographically and connected with long-latency networks; time and bandwidth consumption of data transportation may have an impact on the system performance. Dynamic data replication is a practical solution to this problem. By replicating data copies to appropriate sites, this approach aims to reduce time and bandwidth consumptions over networks. Existing strategies for dynamic replication are typically based on so-called single-location algorithms for identifying a single site for data replication. In this paper we discuss the issues with single-location strategies in large-scale data integration applications, and examine potential multiple-location schemes. Dynamic multiple-location replication is NP-complete in nature. We therefore transform the multiple-location problem into several classical mathematical problems with different parameter settings, for which efficient approximation algorithms exist. Experimental results indicate that unlike single-location strategies our multiple-location schemes are efficient with respect to access latency and bandwidth consumption, especially when the requesters of a data set are distributed over a large scale of locations.
The capacity and energy efficiency of wireless ad hoc networks with multi-packet reception
Authors: Zheng Wang, Hamid Sadjadpour, Jose Joaquin Garcia-Luna-Aceves
Venue: Proceedings of the 9th ACM international symposium on Mobile ad hoc networking and computing (2008)

We address the cost incurred in increasing the transport capacity of wireless ad hoc networks over what can be attained when sources and destinations communicate over multi-hop paths and nodes can transmit or receive at most one packet at a time. We define the energy efficiency ·(n) as the bit-meters of information transferred in the network for each unit energy. We compute the energy efficiency of many different techniques aimed at increasing the capacity of wireless networks and show that, in order to achieve higher transport capacity, a lower energy efficiency must be attained. Using the physical model, we compute the throughput capacity of random wireless ad hoc networks in which nodes are endowed with multi-packet reception (MPR) capabilities. We show that λ(n)= Θ (R(n))(1-2/α) / n1/α) bits per second constitutes a tight upper and lower bound for the throughput of random wireless ad hoc networks, where α>2 is the path loss parameter in the physical model, n is the total number of nodes in the network, and R(n) is the MPR receiver range. In doing so, we close the gap between the lower and upper bounds for the throughput capacity of wireless networks in the physical model. Compared to the original result derived for plain routing by Gupta and Kumar, MPR achieves a capacity gain of at least Θ((log n)α-2/2α) when RR(n)= Θ(√log n/n).