ppxscal/embedding_network huggingface dataset:
Frequency planning for multi-core processors under thermal constraints
Authors: Michael Kadin, Sherief Reda
Venue: Proceeding of the 13th international symposium on Low power electronics and design (2008)

The objectives of this paper are (1) to develop a frequency planning methodology that maximizes the total performance of multi-core processors and that limits their maximum temperature as specified by the design constraints; and (2) to establish the implications of technology scaling on the performance limits of multi-core processors. Given the intricate designs and workloads of multi or many-core processors, it is computationally exhaustive to develop models that accurately calculate the temperature and performance of a given processor under various operating conditions. To abstract the underlying design complexity, we propose the use of supervised machine learning techniques to develop versatile models that capture the thermal characterization of multi-core processors under various input conditions and workloads. We then use the developed models to create a framework where various design constraints and objectives are expressed and solved using combinatorial optimization techniques. Using established power modeling and thermal simulation tools, we show that it is possible to boost the performance of multi-core processors by up to 11.4% at no impact to the maximum temperature.
Microsoft FrontPage Interview Questions, Answers, Explanations: Front Page Certification Review
Authors: Terry Sanchez-Clark
Venue:  (2007)

Book Description: The Ultimate Reference & Learning Guide for the Web Design Professional! In depth and current overview of common challenges with Microsoft FrontPage! Fluency with Microsoft FrontPage 2003 is essential for the web design professional; however, a user-friendly and thorough resource can be difficult to locate. From helping you to build and manage better websites to understanding HTML, XML, and video - this guide exposes the details that you really need to know. More than just a rehash of the user manuals, each item is based on project knowledge and experience gained on real websites. Key topics include: . Overcoming challenges with the nonstandard HTML code generated by FrontPage . Overcoming challenges in integration with other Office products . Configuring medium to large corporate websites with FrontPage . Challenges with implementation and configuration . Web Site Security
Finite subgraphs of uncountably chromatic graphs
Authors: Péter Komjáth, Saharon Shelah
Venue: Journal of Graph Theory (2005)

It is consistent that for every function f:&omega; &rarr; &omega; there is a graph with size and chromatic number &alefsym;1 in which every n-chromatic subgraph contains at least f(n) vertices (n &ge; 3). This solves a $ 250 problem of Erd&otilde;s. It is consistent that there is a graph X with Chr(X)=|X|=&alefsym;1 such that if Y is a graph all whose finite subgraphs occur in X then Chr(Y)&le;&alefsym;2 (so the Taylor conjecture may fail). It is also consistent that if X is a graph with chromatic number at least &alefsym;2 then for every cardinal &lambda; there exists a graph Y with Chr(Y)̥&lambda; all whose finite subgraphs are induced subgraphs of X. &copy; 2005 Wiley Periodicals, Inc. J Graph Theory 49: 2838, 2005
Anodic dissolution characteristics and electrochemical migration lifetimes of Sn solder in NaCl and Na2SO4 solutions
Authors: Ja-Young Jung, Shin-Bok Lee, Young-Chang Joo, Ho-Young Lee, Young-Bae Park
Venue: Microelectronic Engineering (2008)

In situ water drop tests and anodic polarization tests of pure Sn solder were carried out in deaerated 0.001% NaCl and Na"2SO"4 solutions to determine the correlation between anodic dissolution characteristics and the electrochemical migration lifetime. The electrochemical migration lifetime of pure Sn solder in NaCl solution (67.6s) was longer than that in Na"2SO"4 solution (40.0s). The pitting potential of Sn solder in NaCl solution (175mV) was higher than that in Na"2SO"4 solution (-53mV). The passive film (SnO"2) formed on pure Sn during water drop tests in NaCl solution was more stable than that formed in Na"2SO"4 solution (SnO). Therefore, the longer electrochemical migration lifetime of pure Sn in NaCl than in Na"2SO"4 solution can be attributed to the higher pitting potential in NaCl than in Na"2SO"4 solution, which is ascribed to the formation of a more stable passive film in the former.
Invariance for impulsive control systems
Authors: F. Lobo Pereira, G. Nunes Silva, V. Oliveira
Venue: Automation and Remote Control (2008)

The conventional concepts of invariance are extended in this article to include impulsive control systems represented by measure driven differential inclusions. Invariance conditions and some of their main features are derived. The solution concept plays a critical role in the extension of the conditions for conventional problems to the impulsive control context.
Electrical and photovoltaic properties of a n-Si/chitosan/Ag photodiode
Authors: Kemal Akkılıç, Fahrettin Yakuphanoglu
Venue: Microelectronic Engineering (2008)

The electrical and photovoltaic properties of AuSb/n-Si/chitosan/Ag diode have been investigated. The ideality factor, barrier height and Richardson constant values of the diode at room temperature were found to be 1.91, 0.88eV and 121.4A/cm^2K^2, respectively. The ideality factor of the diode is higher than unity, suggesting that the diode shows a non-ideal behaviour due to series resistance and barrier height inhomogeneities. The barrier height and ideality factor values of Ag/CHT/n-Si diode at room temperature are significantly larger than that of the conventional Ag/n-Si Schottky diode. The @f"B value obtained from C-V measurement is higher than that of @f"B value obtained from I-V measurement. The discrepancy between @f"B(C-V) and @f"B(I-V) barrier height values can be explained by Schottky barrier height inhomogeneities. AuSb/n-Si/chitosan/Ag diode indicates a photovoltaic behaviour with open circuit voltage (V"o"c=0.23V) and short-circuit current density (J"s"c=0.10@mA/cm^-^2) values.
Asynchronous control of modules activity in integrated systems for reducing peak temperatures
Authors: Slawomir Mikula, Gilbert De Mey, Andrzej Kos
Venue: Integration, the VLSI Journal (2008)

The paper describes a new control method of integrated circuit (IC) modules activity in a modern processor design. The control method leads to improved frequency ability of integrated systems. The proposed solution, based only on computing flow modification, could be easily integrated into all future designs, ranging from a portable computing to a multi-core computing. A new approach to the thermal control method is described along with simulation results. An example of incorporation in current and future integrated circuits into mainstream designs is presented with exemplary algorithms and final simulation results.
A fully decentralized approach for incremental perception
Authors: I. Mir, B. P. Amavasai
Venue: Proceedings of the 1st international conference on Robot communication and coordination (2007)

The area of Swarm Robotics is still in its infancy. Key concepts at the basic level have to be invented and developed in order to achieve the future goal of building large scale physical and controllable autonomous robotic swarms. In this paper we extend the concept of Incremental Perception in swarm robotics into the domain of complete decentralization. Our work is aimed at micro-robotic swarms where the hardware resources available for the robots will be limited. Hence a decentralized system becomes inevitable because it does not require intra-dependence of robot agents, their monitoring system or a communication mechanism for the agents; absence of all these factors results in reduced hardware requirements for the agents. We focus on the co-operative behavior of robots rather than relying on their individual capabilities. We also propose the parameters and functions that are required for a completely decentralized system and show that such a system can be successfully modeled and analyzed.
Performance evaluation of a power management scheme for disruption tolerant network
Authors: Yong Xi, M. Chuah, K. Chang
Venue: Mobile Networks and Applications (2007)

Disruption tolerant network (DTN) is characterized by frequent partitions and intermittent connectivity. Power management issue in such networks is challenging. Existing power management schemes for wireless networks cannot be directly applied to DTNs because they assume the networks are well-connected. Since the network connectivity opportunities are rare, any power management scheme deployed in DTNs should not worsen the existing network connectivity. In this paper, we design a power management scheme called context-aware power management scheme (CAPM) for DTNs. Our CAPM scheme has an adaptive on period feature that allows it to achieve high delivery ratio and low delivery latency when used with Prophet, a recently proposed DTN routing scheme. Via simulations, we evaluate the performance of the CAPM scheme when used with the Prophet routing scheme in different scenarios e.g. different traffic load, node speeds and sleep patterns. Our evaluation results indicate that the CAPM scheme is very promising in providing energy saving (as high as 80%) without degrading much the data delivery performance.
Designing and Simulating Chopping Process Using Workspace5
Authors: Zuraini Sukimin, Habibollah Haron
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

Simulation and visualization have been developed for the ease of the chopping process. This project is chosen based on the analysis that had been done at the organization where the work of chopped product is done manually using human workforce. The problem that happened here is human workforce will easily get tired and bored with the repeating work. Measurement of the product is also conducted manually. Therefore, the productivity is affected due the manual measurement. The project objective is to overcome the problems by designing and simulating a Cartesian robot to perform the chopping task. The result from the simulation shows that the chopping process can be perform effectively and give accurate measurement of the product. In simulating the proposed Cartesian robot, it is suitable with the chopping process. The software used in this project is Workspace5
Privacy Preserving Mobility Control Protocols in Wireless Sensor Networks
Authors: Qijun Gu, Xiao Chen
Venue: Proceedings of the The International Symposium on Parallel Architectures, Algorithms, and Networks (2008)

With the development of technology, wireless sensor networks (WSNs) performing sensing and communication tasks will be widely deployed in the near future because they greatly extend our ability to monitor and control the physical environment and improve the accuracy of information gathering. Since the sensors are usually deployed in hostile environments and cannot get recharged frequently, the power in sensors is the scarcest resource. Recently many mobility control protocols have been put forward as an effective mechanism to minimize energy consumption. However, security issues in all these protocols have not been discussed so far. In this paper, we will address these issues and point out a new privacy issue (the sink location privacy). A privacy preserving scheme is proposed to protect the sink. Analysis of the scheme shows its effectiveness in sink protection. This scheme can be well integrated into most mobility control protocols to enhance their security.
Conductivity Analysis for High-Resolution EEG
Authors: Sergei I. Turovets, Pieter Poolman, Adnan Salman, Allen D. Malony, Don M. Tucker
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02 (2008)

We describe a technique for noninvasive conductivity estimation of the human head tissues in vivo. It is based on the bounded electrical impedance tomography (bEIT) measurements procedure and realistically shaped high-resolution finite difference model (FDM) of the human head geometry composed from the subject specific co-registered CT and MRI. The first experimental results with two subjects demonstrate feasibility of such technology.
Supporting community-based learning: case study of a geographical community organization designing its website
Authors: Umer Farooq, Craig H. Ganoe, Lu Xiao, Cecelia B. Merkel, Mary Beth Rosson, John M. Carroll
Venue: Behaviour & Information Technology (2007)

Community computing supports human - computer interaction among neighbours in geographical or place-based community organizations. Using a case study of such an organization, we investigate the process of designing their website. Our long-term participatory design approach, integrating developmental informal learning, allowed us to understand how this community organization adopts, evaluates, and sustains website technology. Based on our case study analysis, we present three design heuristics for developing community-based technology: align and afford new possibilities for participation, dynamically manage organizational knowledge and learning, and enhance social capital within community organizations and with the broader community.
A Proposed Decision-Support System for (Renal) Cancer Imaging
Authors: Stuart Golodetz, Irina Voiculescu, Stephen Cameron
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

Medical practitioners who treat cancer patients have crucial decisions to make about the best course of action for individual patients, but limited time in which to make those decisions, and limited information to help them do so. Our aim is to explore the requirements of a decision-support system which will aid them in this task. This system will be initially targeted at renal (kidney) cancer, but is intended to be extensible to other cancers in the future.
Reconstruction of Gene Regulatory Networks by Neuro-fuzzy Inference Systems
Authors: Sung Hoon Jung, Kwang-Hyun Cho
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

In this paper, we propose a new reconstruction method of gene regulatory networks (GRNs) from gene expression profiles obtained by DNA microarray experiments through a neuro-fuzzy inference system (NFIS). One of the major difficulties in reconstructing GRNs is caused by the noisy and uncertain information of gene expression profiles introduced during DNA microarray experiments or preprocessing of the raw data. In the proposed method, a gene expression profile is first transformed into a mapping form and then the transformed data are mapped into the NFIS. Finally, the resulting fuzzy rules are used to infer the relations. Since the relations are represented by fuzzy rules, the proposed method is robust to noisy and uncertain information. We illustrate the proposed method through a GRN represented by a linear model. It turns out that the NFIS is a useful framework for reconstruction of GRNs.
Technical communique: Stability analysis of neutral systems with distributed delays
Authors: Xu-Guang Li, Xin-Jian Zhu
Venue: Automatica (Journal of IFAC) (2008)

The stability of neutral systems with distributed delays is investigated in this paper. A modified Lyapunov-Krasovskii functional is constructed to study this class of systems. The proposed stability criterion is discrete-, distributed- and neutral-delay-dependent. In addition, by this method one can study the case when the coefficient matrix of the neutral delay term is time-varying uncertain. The reduced conservatism is illustrated in a numerical example.
A representation of t-norms in interval-valued L-fuzzy set theory
Authors: Glad Deschrijver
Venue: Fuzzy Sets and Systems (2008)

In this paper we consider the lattice L^I which has the closed subintervals of a complete lattice as elements. We give a representation theorem of t-norms on this lattice for which the partial mappings are join-morphisms in terms of t-norms on the underlying lattice. In fuzzy logic, t-norms which satisfy the residuation principle play an important role. Using our representation theorem, we represent t-norms on L^I which satisfy the residuation principle and two border conditions in terms of t-norms on the underlying lattice. In the case that the underlying lattice of L^I is the unit interval, we obtain characterizations of continuous t-norms which are natural extensions of t-norms on the unit interval and which have join-morphisms as partial mappings or alternatively satisfy the residuation principle.
Recursion versus iteration with the list as a data structure
Authors: Izabella Foltynowicz
Venue: Informatics in education (2007)

A reversible sequence of steps from the specification of the algorithm and the mathematical definition of the recurrent solution through the recursive procedure, the tail recursive procedure and finally to the iteration procedure, is shown. The notation for analysing recursive function execution as well as modified flow charts of an algorithm to identify the differences between the iteration and the tail recursion are proposed. All the procedures are written in Logo, so the lists are used as the data structure. Transformation from the recursive procedure to the iterative procedure and vice versa can be shown in such a way in every language in which the recursion is allowed. All examples are one-recursion-call examples and all except one are the functions of discrete mathematics.
Fast and Accurate Estimate SET Voltage Pulses from Transient Currents Induced by Heavy Ion
Authors: Liu Biwei, Chen Shuming
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

Soft error induced by SET (Single Event Transient) has been more and more substantial. Previously SET transient current has been careful measure and modeled. However the voltage pulse is more concerned in SET analyze and it is difficult to be measured directly. In this paper, we deduce the relationship between current pulse and voltage pulse and present a numerical technique to accurately estimate transient voltage pulses from measured transient current. The method is validated through device simulation. Experiment results show our method agrees with device simulation, while speed is much faster.
Error estimates for the numerical approximation of Neumann control problems
Authors: Eduardo Casas, Mariano Mateos
Venue: Computational Optimization and Applications (2008)

We continue the discussion of error estimates for the numerical analysis of Neumann boundary control problems we started in Casas et al. (Comput. Optim. Appl. 31:193-219, 2005). In that paper piecewise constant functions were used to approximate the control and a convergence of order O(h) was obtained. Here, we use continuous piecewise linear functions to discretize the control and obtain the rates of convergence in L2(Γ). Error estimates in the uniform norm are also obtained. We also discuss the approach suggested by Hinze (Comput. Optim. Appl. 30:45-61, 2005) as well as the improvement of the error estimates by making an extra assumption over the set of points corresponding to the active control constraints. Finally, numerical evidence of our estimates is provided.
Brief paper: Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
Authors: Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E. Slotine
Venue: Automatica (Journal of IFAC) (2008)

A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs). These techniques have been recently extended to nonlinear systems with polynomial or rational dynamics through the use of sum of squares (SOS) programming. In this paper we further extend the class of systems that can be analyzed with convexity-based methods. We show how to analyze the robust stability properties of uncertain nonlinear systems with polynomial or rational dynamics, via contraction analysis and SOS programming. Since the existence of a global contraction metric is a sufficient condition for global stability of an autonomous system, we develop an algorithm for finding such contraction metrics using SOS programming. The search process is made computationally tractable by relaxing matrix definiteness constraints, the feasibility of which indicates the existence of a contraction metric, to SOS constraints on polynomial matrices. We illustrate our results through examples from the literature and show how our contraction-based approach offers advantages when compared with traditional Lyapunov analysis.
Delay Restraining of Combined Multiple Input Cross Core Router
Authors: Osama Al-Jaber, L. Guan, X. G. Wang, Irfan Awan, A. Grigg, X. Chi
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (2008)

Delay is arguably one of the most vital Quality of Service (QoS) metrics in computer networks since it has many implications for real time multimedia applications. The congestion and queuing delay of Internet core routers is one of the most important fundamental research topics which plays a vital role in determination of the overall end-to-end delay. In previous works, the control algorithm proposed and modelled in the discrete-time domain, by controlling the value of the threshold within the queue buffer to achieve the required delay, is based on a single arrival in one time slot. In this paper, a new traffic model with the ability to capture the multiple arrivals in a single time slot is described and its application for restraining the delay to a pre-defined value within the network core router is developed. The feasibility of the system is examined using both theoretical analysis and simulation. A statistical evaluation is performed to show both efficiency and accuracy of the results acquired throughout the simulation.
Variations of the two-spiral task
Authors: Stephan K. Chalup, Lukasz Wiklendt
Venue: Connection Science (2007)

The two-spiral task is a well-known benchmark for binary classification. The data consist of points on two intertwined spirals which cannot be linearly separated. This article reviews how this task and some of its variations have significantly inspired the development of several important methods in the history of artificial neural networks. The two-spiral task became popular for several different reasons: (1) it was regarded as extremely challenging; (2) it belonged to a suite of standard benchmark tasks; and (3) it had visual appeal and was convenient to use in pilot studies. The article also presents an example which demonstrates how small variations of the two-spiral task such as relative rotations of the two spirals can lead to qualitatively different generalisation results.
Extending Lustre with Timeout Automata
Authors: Jimin Gao, Mike Whalen, Eric Van Wyk
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2008)

This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for directly specifying the timeout automata used to describe asynchronous communication between processes represented by Lustre nodes. It is implemented using an extensible language framework based on attribute grammars that allows such extensions to be modularly defined so that they may be more easily composed with other language extensions.