ppxscal/embedding_network huggingface dataset:
Artificial Intelligence techniques: An introduction to their use for modelling environmental systems
Authors: Serena H. Chen, Anthony J. Jakeman, John P. Norton
Venue: Mathematics and Computers in Simulation (2008)

Knowledge-based or Artificial Intelligence techniques are used increasingly as alternatives to more classical techniques to model environmental systems. We review some of them and their environmental applicability, with examples and a reference list. The techniques covered are case-based reasoning, rule-based systems, artificial neural networks, fuzzy models, genetic algorithms, cellular automata, multi-agent systems, swarm intelligence, reinforcement learning and hybrid systems.
Detecting Primary Signals for Efficient Utilization of Spectrum Using Q-Learning
Authors: Y. B. Reddy
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

The efficient utilization of underutilized spectrum is the main theme of current research. The cognitive radio with the help of Q-learning algorithm is used to detect the presence of primary signals and utilize the spectrum in the absence of primary signals. The proposed Q-learning algorithm model identifies previously known signals and learns to detect the signals which otherwise could not be detected, and helps for efficient utilization of spectrum. The simulations are further confirmed with results obtained through MATLAB gatool
News
Authors: Randall Frost, Mark Ingebretsen
Venue: IEEE Intelligent Systems (2008)

The first story, "Picture This: Smart Cell Phone Camera Networks," looks at how networks of camera-equipped cell phones could aid object recognition, surveillance, and other tasks. The second story, "AI Helps Researchers Get a Grip on Robotic Hands," describes several attempts to provide manual dexterity for robots.
Morphisms from IEEE 802.11 DCF specifications to its EDCA QoS practice with cross-layer interface
Authors: Chao-Lieh Chen
Venue: Proceedings of the 13th International Conference on Parallel and Distributed Systems - Volume 02 (2007)

The IEEE 802.11e EDCA function differentiates traffics via parameterized backoff mechanism. However, many studies shown that QoS cannot be assured by only using the EDCA MAC layer function. Cross-layer controls are proven to be generally essential in QoS management. Moreover, unlike legacy DCF functional having specification and description language (SDL) descriptions in the standard, EDCA does not have standard SDL specifications. Therefore, we propose the SDL behavior model of the EDCA with cross-layer interface (EDCA-XLI) so that students and researchers are able to practice their cross-layer design of real-time applications in wireless networks. We demonstrate the deduction processes to show how the legacy DCF specifications are extended into EDCA-XLI. We call the deductions the morphisms from the DCF to the EDCA-XLI. The message sequence chart (MSC) simulations and a fuzzy QoS control implementation example show that the EDCAXLI SDL not only realize the behavior defined in the IEEE 802.11e standard but also support generic cross-layer signaling design including receiving and feedback signals to protocols at different layers.
Geometrical product specifications - model for product life cycle
Authors: Jean-Yves Dantan, Alex Ballu, Luc Mathieu
Venue: Computer-Aided Design (2008)

As technology increases and performance requirements continually tighten, the cost and required precision of assemblies increase as well. There exists a strong need for increased attention to tolerance design to enable high-precision assemblies to be manufactured at lower cost. For automotive and aircraft industries, the tolerancing process has become an important issue in product and process design. There is an important question that would need to be looked into: ''How to define a coherent expression of Geometrical Product Specification during the tolerancing process along life cycle?''. There is a necessity for developing a complete answer representing standard tolerance practices. This paper proposes a model to allow a complete and coherent tolerancing process. The description of GeoSpelling, the model proposed to ISO for rebuilding standards in the fields of tolerancing and metrology, allows a unified description of geometrical specification. This model takes into account, not only the specification on isolated parts, but also on assemblies with the integration of the quantifier concept.
A Context Aware Service-Oriented Maintenance System for the B2B Sector
Authors: Elmar Zeeb, Steffen Prüter, Frank Golatowski, Frank Berger
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications - Workshops (2008)

Lifecycle management of high-complexity processes like maintenance and repair processes in the automotive, aircraft, or robot industries are interesting scenarios for the usage of Web services. A major issue is the time consuming and expensive manual execution of maintenance procedures. The guidance of these procedures with computer systems can reduce time and expenses. Since maintenance procedures often involve several parties a communication technology with well-defined interfaces is required. Web service based systems meet this demand. But maintenance companies are often over-challenged with the creation of Web services based maintenance systems. This paper presents an ongoing research work about integration of hard- & software components for maintenance scenarios with the platform of the ITEA LOMS project to later use the easy service creation for maintenance scenarios. The integration is demonstrated on the basis of a maintenance system for autonomous robots and future research topics are are shown.
Teaching complexity via spreadsheets
Authors: Jeff Parker
Venue: Journal of Computing Sciences in Colleges (2008)

Some important ideas in Computer Science are difficult to teach to those who have not learned to program. We describe how we introduce complexity theory using spreadsheets. Our measure of the complexity of an algorithm is the number of cells holding elementary functions required to express it.
A comparison of hooking with snatch method for an error detection on multimedia collaboration environment
Authors: Eung-Nam Ko
Venue: Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science (2005)

This paper proposes a merit of hooking through comparison of hooking with snatch method for an error detection on multimedia collaboration environment. A snatch is a method which intercepts all GDI(Graphic Device Interface) event. GDI snatching method is an event communication of hardware oriented between application program and graphic device driver. A hooking is a method which intercepts a communication message between window processes. This paper explains a performance analysis of an error detection system running on multimedia collaboration environment using the rule-based DEVS(Discrete Event System Specification) modeling and simulation technique. DEVS formalism introduced by Zeigler(1976). In DEVS, a system has a time base, inputs, states, outputs, and functions. A merit of hooking method is described for error detection in an interval time.
Applying UML and software simulation for process definition, verification, and validation
Authors: Nien-Lin Hsueh, Wen-Hsiang Shen, Zhi-Wei Yang, Don-Lin Yang
Venue: Information and Software Technology (2008)

Process definition, verification, and validation are recognized as critical elements in software process improvement, whereas CMMI is a process improvement approach that provides organizations with the essential elements of effective processes. Organizations must define their own processes to meet the requirements of CMMI. A friendly, unambiguous process modeling language and tool are thus very important for organizations to define, verify, and validate the processes. Nevertheless, hardly has any research yet been done on how to embed CMMI process area goals into process definition stage to satisfy organization process improvement. In this research, we propose a UML-based approach to define, verify, and validate an organization's process. Our approach can also be applied to a process learning environment for students and project members.
A voltage control synchronized chaotic oscillator system
Authors: O. Tsakiridis, E. Zervas, M. Koutsioumpos, J. Stonham
Venue: Proceedings of the 9th WSEAS International Conference on Systems (2005)

In this paper, a method to modulate and synchronize the chaos carrier in chaotic Colpitts oscillators is presented. An integrated Voltage control Synchronized Chaos Colpitts Oscillators (VSCCO) modulation system can produce infinite chaotic patterns in a wide operational condition, is showing end to end. This is very useful in real implementation of chaotic communications schemes and especially for coherent Chaos Shift Key (CSK) modulations. The main reason for that is twofold, first the simplicity of the proposed circuit, and second the electronic control of the emitter capacitance affecting the dynamic behavior of VSCCO. Finally, experiments performed up to 1 MHz, demonstrate the effectiveness of chaotic synchronization of VSCCO scheme.
Software Assurance Research Infusion: The NASA Experience
Authors: Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick
Venue: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (2006)

We present the ongoing NASA Research Infusion Initiative, a sub-group of the NASA Software Working Group which encourages the use of advanced technologies and the products of software engineering research in NASA projects and missions. An emphasis is placed on technologies and products that address software assurance. Technology infusion is generally a difficult process, but the effort described here seems to have found a modest approach that is successful for some types of technologies. We outline the process and report on the outcomes of some infusions run over the last three years. We also present some lessons learned from our experiences.
Application controlled caching for web servers
Authors: W. Li, W. B. Zheng, X. H. Guan
Venue: Enterprise Information Systems (2007)

Today's web servers must have the ability to deal with large data sets, and their performance mainly depends on the control mechanism of the disc cache. Though the cache replacement algorithms in operating systems generally perform well, application-specific policies can often perform much better. In this paper, we present the application-controlled caching in user space (ACCUS) mechanism for web server disc caching. With this mechanism, an application can schedule the service requests based on the cache status of the requested files to improve its performance so that the system can gain a high parallelism of CPU processing, networking I/O and disc I/O. An application can service the cached files with a higher priority to the ones not cached, which helps reduce the latency caused by disc I/O blocking. Meanwhile, the application can enforce a policy for domain-specific cache management to obtain a higher cache hit ratio. ACCUS is implemented in two web servers of different models, Flash and userver. Despite the great differences in architectures, the empirical results show that both servers can achieve high throughput under heavy workloads with ACCUS enabled. Performance analysis for two other typical web servers, Apache™ and Zeus Web Server are also conducted and the results indicate that ACCUS can achieve significant improvement in performance.
A general optimization framework for smoothing language models on graph structures
Authors: Qiaozhu Mei, Duo Zhang, ChengXiang Zhai
Venue: Proceedings of the 31st annual international ACM SIGIR conference on Research and development in information retrieval (2008)

Recent work on language models for information retrieval has shown that smoothing language models is crucial for achieving good retrieval performance. Many different effective smoothing methods have been proposed, which mostly implement various heuristics to exploit corpus structures. In this paper, we propose a general and unified optimization framework for smoothing language models on graph structures. This framework not only provides a unified formulation of the existing smoothing heuristics, but also serves as a road map for systematically exploring smoothing methods for language models. We follow this road map and derive several different instantiations of the framework. Some of the instantiations lead to novel smoothing methods. Empirical results show that all such instantiations are effective with some outperforming the state of the art smoothing methods.
A networked virtual manufacturing system for SMEs
Authors: Q. Peng, C. Chung, C. Yu, T. Luan
Venue: International Journal of Computer Integrated Manufacturing (2007)

Virtual manufacturing is an integrated system of CAD/CAM, virtual prototyping, virtual reality, production planning and control. It enables rapid and efficient product development by composing an accurate and integrated computer model in manufacturing systems. The virtual manufacturing technology can be shared using a networked system. This approach can be called networked virtual manufacturing (net-VM). The distributed, collaborated, and interactive operations are its major features of the net-VM. This paper proposes a net-VM to share usage of the latest integrated design and manufacturing facilities for SMEs. The paper discusses the key technology of the system development. Some sub-systems developed are used to demonstrate the proposed system and methods.
Algorithmization and mechanization of the Cauchy problem associated with the plate equation
Authors: D. Lesnic, C. Zhao
Venue: International Journal of Computer Mathematics (2007)

This paper develops the algorithm and mechanization of the Cauchy problem associated with the plate equation. The solution is obtained in terms of the initial data on the deflection of the plate and the load term. Thereafter, the algorithmization formulae are used in MAPLE to solve the Cauchy problem automatically.
Computational atmospheric trajectory simulation analysis of spin-stabilised projectiles and small bullets
Authors: D. N. Gkritzapis, E. E. Panagiotopoulos, D. P. Margaris, D. G. Papanikas
Venue: International Journal of Computing Science and Mathematics (2008)

A mathematical model is based on the full equations of motion set up in the no-roll body reference frame and is integrated numerically from given initial conditions at the firing site. The computational flight analysis takes into consideration the Mach number and total angle of attack effects by means of the variable aerodynamic coefficients. For the purposes of the present work, linear interpolation has been applied for aerodynamic coefficients from the official tabulated database. Static stability is examined. The aerodynamic jump has the most important effect and is examined more closely for projectile and bullet flight trajectories.
OPTIMAL FEEDER RECONFIGURATION FOR LOSS REDUCTION BY ROBUST SEARCHING HYBRID DIFFERENTIAL EVOLUTION
Authors: Chung-Fu Chang, Ji-Pyng Chiou
Venue: Cybernetics and Systems (2007)

This paper introduces a robust searching hybrid differential evolution (RSHDE) method to solve the optimal feeder reconfiguration for power loss reduction. The feeder reconfiguration of distribution systems is to recognize beneficially load transfers so that the objective function composed of power losses is minimized and the prescribed voltage limits are satisfied. Mathematically, the problem of this research is a nonlinear programming problem with integer variables. This paper presents a new approach, which uses the RSHDE algorithm with integer variables to solve the problem. Owing to handle the integer variables, the HDE may fail to find the initial search direction for large-scale integer system. This is because the HDE applies a random search at its initial stages. Therefore, two new schemes, the multidirection search scheme and the search space reduction scheme, are embeded into the HDE. These two schemes are used to enhance the search ability before performing the initialization step of the solution process. One three-feeder distribution system from the literature and one practical distribution network of Taiwan Power Company (TPC) are used to exemplify the performance of the proposed method. Moreover, the previous HDE, simulated annealing (SA) and genetic algorithms (GA) methods are also applied to the same example systems for the purpose of comparison. Numerical results show that the proposed method is better than the other methods.
Prototyping and Analysis of an Ontology-Based Personalized Web Service Architecture
Authors: Chatree Sangpachatanaruk, Taieb F. Znati
Venue: Proceedings of the 41st Annual Simulation Symposium (anss-41 2008) (2008)

Current web service technologies provide a set of well defined syntaxs of service discovery, composition, and invocation. However, they lack the support for semantic interoperability and personalization. This paper briefly an agent driven, P2P-based, distributed service registry architecture referred to as the Personalized Web Service Architecture (PWSA) that supports personal-based service discovery, composition, and invocation. A prototype implementation and a performance analsysis study of PWSA demonstrate the self-organization property of the architecture and its scalability in terms of the number of services and the number of search queries executed by user agents.
Anisotropic virtual electric field for active contours
Authors: Guopu Zhu, Shuqun Zhang, Qingshuang Zeng, Changhong Wang
Venue: Pattern Recognition Letters (2008)

A novel external force called anisotropic virtual electric field (AVEF) is proposed for active contours by incorporating the geometric information of the image edge map into a virtual electric field (VEF) model. The proposed AVEF model has the advantage of preventing active contours from moving across object boundary's weak edges with strong neighbors while keeping the desirable properties of the VEF model, such as large capture range and fast computation time. The experiments conducted on synthetic and real images show the high performance of the AVEF model on image segmentation.
A New Adaptive Transmission Scheduling in Packet Radio Networks
Authors: S. Madhavi
Venue: Proceedings of the Fourth International Conference on Networking and Services (2008)

The topology of the Packet Radio network changes dynamically. The initial slot assignments may cause interferences among the nodes while transmitting. In this paper, I propose a new adaptive transmission scheduling to packet Radio networks that computes the transmission assignments according to the changes in the topology. The node gathers information from its local neighborhood. In addition, this information is useful to reconstruct the slot assignments. The NATS consists of two stages. During the first stage, it obtained a Minimal TDMA frame length and the corresponding transmission assignments. In the second stage, the NATS finds the maximum node transmissions. Results show that this method improves the guaranteed throughput and outperforms a 10% improvement over [9]. It is also shown that NATS outperforms TTR [19].
On Code Generation for Derived Associations
Authors: Jens Dietrich, Bastian Schenke, Gerd Wagner
Venue: Proceedings of the 19th Australian Conference on Software Engineering (2008)

While the generation of executable code for explicit associations in UML models is well understood, it is less clear how executable code can be generated if the associations are derived. We discuss how this can be achieved for an important class of derived associations that are defined by means of derivation rules. The result is optimized and executable (as opposed to template) code. The generated code supports semantic reflection, that is, runtime access to the rules used to define the association. We relate these features to use cases from the area of business rules. We also present the Take rule compiler, a Java implementation of the principles discussed.
Nanopatterning materials using area selective atomic layer deposition in conjunction with thermochemical surface modification via heated AFM cantilever probe lithography
Authors: Yueming Hua, William P. King, Clifford L. Henderson
Venue: Microelectronic Engineering (2008)

Thermal probe based lithography methods are a new family of maskless nanopatterning techniques that utilize heated cantilever probes to perform local thermochemical modification of surfaces and films to achieve pattern definition. Previously, the authors demonstrated that a heated cantilever probe can be used to quickly pattern polycarbonate polymer thin films by locally decomposing the polymer film into volatile by-products. The authors also recently reported the use of PMMA polymer thin films as lithographically definable masking layers to enable area selective atomic layer deposition techniques (ASALDT). In this paper, the use of a heated cantilever probe to pattern a PMMA thin film for use as a masking layer in an ASALDT process has been investigated in detail. It is shown that PMMA films can be patterned using a heated cantilever probe tip at high tip scanning speeds, but that a small amount of organic residue is left in the patterned features at reasonable writing speeds that must be removed before ALD is performed. It is shown that a brief O"2 plasma is capable of removing this organic residue without significant degradation of the patterned PMMA features, thus enabling the deposition of titania features through the PMMA mask using an ALD process based on titanium-isopropoxide and water precursors at an ALD process temperature of 140^oC.
Model-order reduction of large-scale second-order MIMO dynamical systems via a block second-order Arnoldi method
Authors: Yiqin Lin, Liang Bao, Yimin Wei
Venue: International Journal of Computer Mathematics (2007)

In this paper, we present a structure-preserving model-order reduction method for solving large-scale second-order MIMO dynamical systems. It is a projection method based on a block second-order Krylov subspace. We use the block second-order Arnoldi (BSOAR) method to generate an orthonormal basis of the projection subspace. The reduced system preserves the second-order structure of the original system. Some theoretical results are given. Numerical experiments report the effectiveness of this method.
Evaluation and modeling of power consumption of a heterogeneous dual-core processor
Authors: Chun-Hao Hsu, Jian Jhen Chen, Shiao-Li Tsao
Venue: Proceedings of the 13th International Conference on Parallel and Distributed Systems - Volume 01 (2007)

Embedded systems such as mobile phones widely adopt heterogeneous dual-core processors to improve the performance and reduce the cost and power consumption. Considering mobile devices that are usually battery-operated, one of the critical issues for such an embedded system is software design which must fully utilize the computation power and minimizes the power consumption. A number of power consumption models were proposed to facilitate designers to evaluate and diagnose the power consumption of the software. Unfortunately, previous studies only investigated single-core processors, but have not yet developed power consumption models for heterogeneous dual-core processors. In this paper, a power consumption model for the dual-core processor based on TI OMAP5912 is proposed for evaluating the power consumption of embedded software. This tool not only estimates the energy consumed by embedded software but also analyzes the energy distributions of the software on each processor core. With the aid of this tool, designers could diagnose the power consumption of dual-core embedded software efficiently and easily.