ppxscal/embedding_network huggingface dataset:
A survey of insulin-dependent diabetes-part II: control methods
Authors: Daisuke Takahashi, Yang Xiao, Fei Hu
Venue: International Journal of Telemedicine and Applications (2008)

We survey blood glucose control schemes for insulin-dependent diabetes therapies and systems. These schemes largely rely on mathematical models of the insulin-glucose relations, and these models are typically derived in an empirical or fundamental way. In an empirical way, the experimental insulin inputs and resulting blood-glucose outputs are used to generate a mathematical model, which includes a couple of equations approximating a very complex system. On the other hand, the insulin-glucose relation is also explained from the well-known facts of other biological mechanisms. Since these mechanisms are more or less related with each other, a mathematical model of the insulin-glucose system can be derived from these surrounding relations. This kind of method of the mathematical model derivation is called a fundamental method. Along with several mathematical models, researchers develop autonomous systems whether they involve medical devices or not to compensate metabolic disorders and these autonomous systems employ their own control methods. Basically, in insulin-dependent diabetes therapies, control methods are classified into three categories: open-loop, closed-loop, and partially closed-loop controls. The main difference among these methods is how much the systems are open to the outside people.
Performance evaluation of Turkish cement firms with fuzzy analytic hierarchy process and TOPSIS methods
Authors: İrfan Ertuğrul, Nilsen Karakaşoğlu
Venue: Expert Systems with Applications: An International Journal (2009)

In today's competitive environment evaluating firms' performance properly, is an important issue not only for investors and creditors but also for the firms that are in the same sector. Determining the competitiveness of the firms and evaluating the financial performance of them is also crucial for the sector's development. The aim of this study is developing a fuzzy model to evaluate the performance of the firms by using financial ratios and at the same time, taking subjective judgments of decision makers into consideration. Proposed approach is based on Fuzzy Analytic Hierarchy Process (FAHP) and TOPSIS (Technique for Order Preference by Similarity to Ideal Solution) methods. FAHP method is used in determining the weights of the criteria by decision makers and then rankings of the firms are determined by TOPSIS method. The proposed method is used for evaluating the performance of the fifteen Turkish cement firms in the Istanbul Stock Exchange by using their financial tables. Then the rankings of the firms are determined according to their results.
SC1 optimization reformulations of the generalized Nash equilibrium problem
Authors: Anna von Heusinger, Christian Kanzow
Venue: Optimization Methods Software (2008)

The generalized Nash equilibrium problem is a Nash game which, in contrast to the standard Nash equilibrium problem, allows the strategy sets of each player to depend on the decision variables of all other players. It was recently shown by the authors that this generalized Nash equilibrium problem can be reformulated as both an unconstrained and a constrained optimization problem with continuously differentiable objective functions. This paper further investigates these approaches and shows, in particular, that the objective functions are SC1-functions. Moreover, conditions for the local superlinear convergence of a Newton-type method being applied to the unconstrained optimization reformulation are also given. Some numerical results indicate that this method works quite well on a number of problems coming from different application areas.
Semantic Browsing of a Domain Specific Resources: The Corese-NeLI Framework
Authors: Gayo Diallo, Khaled Khelif, Olivier Corby, Patty Kostkova, Gemma Madle
Venue: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03 (2008)

In this paper we present the Corese-NeLI semantic web browser dedicated to navigating resources in the infectious disease domain. We describe an overview of the semantic web browser and outline its functionality and the knowledge organization system used as a background knowledge for both the annotation and search processes. The evaluation of the vocabulary-based annotation, essential for the semantic browser, uses the National Electronic Library of Infection as a test bed and demonstrates over 96% correct annotations.
Observations and model calculations of direct solar UV irradiances in the Schirmacher region of east Antarctica
Authors: Sachin D. Ghude, Sachchidanand Singh, P. S. Kulkarni, A. Kumar, S. L. Jain, R. Singh, B. C. Arya
Venue: International Journal of Remote Sensing (2008)

Measurements of direct UV irradiances (using a MICROTOPS II Sunphotometer) carried out from a high-latitude site, Antarctica are presented. The instantaneous irradiances at 305±0.9, 312±0.9 and 320±1.0 nm during a no-ozone-hole (13 December 2004) and an ozone-hole (4 October 2004) period have been observed to be about 0.031, 0.150 and 0.299 W m-2 and 0.010, 0.049 and 0.102 W m-2, respectively at local noontime. The observations of the direct UV irradiances at 305±0.9, 312±0.9 and 320±1.0 nm are compared with tropospheric ultraviolet visible (TUV) radiation transfer model calculations. The model estimate shows that, during the ozone-hole period, a loss of ozone of the order of 44% leads to an increase in irradiance of the order of 410%, 90% and 25% at 305±0.9, 312±0.9 and 320±1.0 nm, respectively. The relationship between change in UV irradiance due to a change in column ozone is obtained using a TUV model and irradiances thus estimated from this relationship are found to compare well with the observed irradiances.
Visualizing potential parallelism in sequential programs
Authors: Graham D. Price, John Giacomoni, Manish Vachharajani
Venue: Proceedings of the 17th international conference on Parallel architectures and compilation techniques (2008)

This paper presents ParaMeter, an interactive program analysis and visualization system for large traces. Using ParaMeter, a software developer can locate and analyze regions of code that may yield to parallelization efforts and to possibly extract performance from multicore hardware. The key contributions in the paper are (1) a method to use interactive visualization of traces to find and exploit parallelism, (2) interactive-speed visualization of large-scale trace dependencies, (3) interactive-speed visualization of code interactions, and (4) a BDD variable ordering for DD-compressed traces that results in fast visualization, fast analysis, and good compression. ParaMeter's effectiveness is demonstrated by finding and exploiting parallelism in 175.vpr. Measurements of ParaMeter's visualization algorithms show that they are up to seventy-five thousand times faster than prior approaches.
Usability in multiple monitor displays
Authors: Jacob M. Truemper, Hong Sheng, Michael G. Hilgers, Richard H. Hall, Morris Kalliny, Basanta Tandon
Venue: ACM SIGMIS Database (2008)

An experimental study was conducted to examine the impact of multiple monitors on user performance and multitasking. Forty-three participants were assigned to two groups - a multi-monitor group and a singlemonitor group - to carry out a series of tasks. Both quantitative and qualitative data were collected and analyzed. Results indicated that those who used the multi-monitor display were more inclined to multitask and scored higher on performance measures than those using the single monitor. Interviews from the participants validated the quantitative results and provided additional insights on usability issues of multi-monitor displays.
Performance evaluation of source extraction in wireless sensor networks
Authors: Hong-Bin Chen, Chi Kong Tse, Jiu-Chao Feng
Venue: Computer Communications (2008)

In this paper, the performance of source extraction in bandwidth constrained wireless sensor networks are evaluated. The sensor observations are assumed to be linear instantaneous mixtures of the sources in a sensing field. Two sensor network models are adopted, namely, cluster-based and cluster-free. In cluster-based sensor networks, the cluster members quantize their observations and send the quantized data to the cluster head. Then, the cluster head performs local source extraction, quantizes the extracted signal, and sends the quantized data to the sink. Finally, the sink performs global source extraction. Both single-cluster and multi-cluster cases are considered. In cluster-free sensor networks, all sensors quantize their observations and send the quantized data to the sink. Then, the sink performs global source extraction. The results show that sources can be effectively extracted in both kinds of sensor networks. The performance of source extraction in sensor networks is comparable to that of the benchmarking case where the sensor observations are perfectly gathered at the sink. The impact of the mixing matrix and the amount of available observations on the performance are also discussed.
Boosting data throughput for sequence database similarity searches on FPGAs using an adaptive buffering scheme
Authors: X. Meng, V. Chaudhary
Venue: Parallel Computing (2009)

Searching on DNA and protein databases using sequence comparison algorithms has become one of the most powerful techniques to better understand the functionality of particular biological sequences. However, the requirements to process the biological data exceed the ability of general-purpose processors. FPGAs (Field Programmable Gate Arrays) connected to server processors have been used to accelerate similarity searches. However, reconfigurable computing platforms have utilized an external I/O bus as the communications channel, limiting the communication speed between the host processor and the FPGA. This communication bottleneck often offsets the application speedup enabled by FPGAs. In this paper we present an adaptive data prefetching scheme to avoid reconfigurable processing coprocessor stalls due to data unavailability through profiling methodologies and quantitative analysis. Experimental results on various query sequences show that the proposed scheme can effectively eliminate a major portion of the data access penalty, increase throughput of the FPGA implementation by up to 42%, and achieve a speedup of 110 for affine gap penalties over a standard PC implementation.
Better bounds for minimizing SONET ADMs
Authors: Leah Epstein, Asaf Levin
Venue: Journal of Computer and System Sciences (2009)

SONET add-drop multiplexers (ADMs) are the dominant cost factor in SONET/WDM rings. The number of SONET ADMs required by a set of traffic streams is determined by the routing and wavelength assignment of the traffic streams. Following previous work, we consider the problem where the route of each traffic stream is given as input, and we need to assign wavelengths so as to minimize the total number of used SONET ADMs. This problem is known to be NP-hard, and the best known approximation algorithm for this problem has a performance guarantee of 32. We improve this result, and present a 9869~1.42029-approximation algorithm. We also study some of the previously proposed algorithms for this problem, and give either tight or tighter analysis of their approximation ratio.
Inverse parameter identification technique using PSO algorithm applied to geotechnical modeling
Authors: Joerg Meier, Winfried Schaedler, Lisa Borgatti, Alessandro Corsini, Tom Schanz
Venue: Journal of Artificial Evolution and Applications (2008)

This paper presents a concept for the application of particle swarm optimization in geotechnical engineering. For the calculation of deformations in soil or rock, numerical simulations based on continuum methods are widely used. The material behavior is modeled using constitutive relations that require sets of material parameters to be specified. We present an inverse parameter identification technique, based on statistical analyses and a particle swarm optimization algorithm, to be used in the calibration process of geomechanical models. Its application is demonstrated with typical examples from the fields of soil mechanics and engineering geology. The results for two different laboratory tests and a natural slope clearly show that particle swarms are an efficient and fast tool for finding improved parameter sets to represent the measured reference data.
Analysis of electrical characteristics of Au/SiO2/n-Si (MOS) capacitors using the high-low frequency capacitance and conductance methods
Authors: A. Tataroğlu, Ş. Altındal
Venue: Microelectronic Engineering (2008)

The purpose of this paper is to analyze electrical characteristics in Au/SiO"2/n-Si (MOS) capacitors by using the high-low frequency (C"H"F-C"L"F) capacitance and conductance methods. The capacitance-voltage (C-V) and conductance-voltage (G/@w-V) measurements have been carried out in the frequency range of 1kHz-10MHz and bias voltage range of (-12V) to (12V) at room temperature. It was found that both C and G/@w of the MOS capacitor were quite sensitive to frequency at relatively low frequencies, and decrease with increasing frequency. The increase in capacitance especially at low frequencies is resulting from the presence of interface states at Si/SiO"2 interface. Therefore, the interfacial states can more easily follow an ac signal at low frequencies, consequently, which contributes to the improvement of electrical properties of MOS capacitor. The interface states density (N"s"s) have been determined by taking into account the surface potential as a function of applied bias. The energy density distribution profile of N"s"s was obtained from C"H"F-C"L"F capacitance method and gives a peak at about the mid-gap of Si. In addition, the high frequency (1MHz) capacitance and conductance values measured under both reverse and forward bias have been corrected for the effect of series resistance (R"s) to obtain the real capacitance of MOS capacitors. The frequency dependent C-V and G/@w-V characteristics confirm that the N"s"s and R"s of the MOS capacitors are important parameters that strongly influence the electrical properties of MOS capacitors.
Towards a tuplespace-based middleware for the Semantic Web
Authors: Robert Tolksdorf, Lyndon Nixon, Elena Simperl
Venue: Web Intelligence and Agent Systems (2008)

The Semantic Web is about a Web which contains data which is machine-processable rather than human-interpretable. This makes new demands upon the Web architecture such as a standardized interface for access to this knowledge (how to interact), model and vocabulary-based mediation (how to understand) and semantic-based distribution (how to find). We present a middleware based on the concepts of co-ordination and space-based computing as a proposed part of the necessary Semantic Web architecture and outline its usage in the Web-based utilization of distributed knowledge.
General writing guidelines for technology and people with disabilities
Authors: Anna Cavender, Shari Trewin, Vicki Hanson
Venue: Issue 92 (September 2008) (2008)

The recommendations in this article reflect current thinking on language for writing in the academic accessibility community. Certain words or phrases can (intentionally or unintentionally) reflect bias or negative, disparaging, or patronizing attitudes toward people with disabilities and in fact any identifiable group of people. Because language can convey these things, it can influence our impressions, attitudes, and even actions. Choosing language that is neutral, accurate, and represents the preference of the groups to which it refers can convey respect and integrity.
Expected link life time analysis in MANET under Manhattan grid mobility model
Authors: Jian-Kai Chen, Chien Chen, Rong-Hong Jan, Hsia-Hsin Li
Venue: Proceedings of the 11th international symposium on Modeling, analysis and simulation of wireless and mobile systems (2008)

Since multi-hop mobile ad hoc network (MANET) contains a set of wireless mobile nodes forming a temporary network, the topology is strongly influenced by the node mobility models. Numerous mobility models have been presented, including the Random Waypoint Mobility Model (RWMM), Manhattan Grid Mobility Model (MGMM), Freeway Mobility Model (FMM), and so on. In MGMM, the trajectories of mobile nodes are confined to a grid topology. MGMM is an important mobility model, and numerous objects following MGMM can be enumerated, such as the movement of cars in the city, the movement of people though department stores etc. The expected link life time (ELLT) is an important performance parameter in MANET. When a node wishes to transmit information to the other node directly, these two nodes must be within each other's transmission range for a period of time. This period is called the link life time (LLT). The ELLT is the expected value of LLT. The goal of this work largely focuses on identifying the ELLT of the MANET under MGMM by using mathematical analysis. Based on our observation, two nodes involved in constructing a connection under MGMM can be classified into three independent cases: namely parallel with opposite directions, parallel with same directions, and vertical cases. These three cases can be formulated independently. To verify these formulations numerous simulations are done by ns2, and the theoretical and simulation results are well matched.
BlueCRM: A New Trend of Customer Relationship Management Systems
Authors: Mohammed Alawairdhi, Hongji Yang, Mousa AL-Akhras
Venue: Proceedings of the 2008 12th IEEE International Workshop on Future Trends of Distributed Computing Systems (2008)

In this paper a new proactive Customer Relationship Management system (CRM), BlueCRM, is proposed. The proposed system employs Bluetooth as an automatic identification token in addition to its common use as a communication channel. The system offers a low-cost proactive CRM system which is the future trend of such systems. The implementation of the prototype system comprises two sides: a database management program and an intuitive user interface in the software side. In the hardware side there are a Bluetooth-enabled device and a Bluetooth dongle. The architecture encloses an important advantage over the previous solutions due to its feasibility and ease of deployment. Furthermore, the architecture can be flexibly implemented either as a stand-alone or as integrated part of an existing information system.
Innovative interfaces in MonAMI: the reminder
Authors: Jonas Beskow, Jens Edlund, Teodore Gjermani, Björn Granström, Joakim Gustafson, Oskar Jonsson, Gabriel Skanze, Helena Tobiasson
Venue: Proceedings of the 10th international conference on Multimodal interfaces (2008)

This demo paper presents an early version of the Reminder, a prototype ECA developed in the European project MonAMI, which aims at "mainstreaming accessibility in consumer goods and services, using advanced technologies to ensure equal access, independent living and participation for all". The Reminder helps users to plan activities and to remember what to do. The prototype merges mobile ECA technology with other, existing technologies: Google Calendar and a digital pen and paper. The solution allows users to continue using a paper calendar in the manner they are used to, whilst the ECA provides notifications on what has been written in the calendar. Users may ask questions such as "When was I supposed to meet Sara?" or "What's my schedule today?"
Visualizing Proof Search for Theorem Prover Development
Authors: John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

We describe an interactive visualization tool for large natural deduction proof searches. The tool permits the display of a search as it progresses, as well as the proof tree itself. We discuss the feature set and architecture of the tool, including aspects of extensibility and the interface for interaction with other user-provided analysis and visualization code.
SENTINEL: a semantic business process monitoring tool
Authors: Carlos Pedrinaci, Dave Lambert, Branimir Wetzstein, Tammo van Lessen, Luchesar Cekov, Marin Dimitrov
Venue: Proceedings of the first international workshop on Ontology-supported business intelligence (2008)

Business Activity Monitoring (BAM) aims to support the real-time analysis of business processes in order to improve the speed and effectiveness of business operations. Providing a timely, integrated high-level view on the evolution and well-being of business activities within enterprises constitutes a highly valuable analytical tool for monitoring, managing and hopefully enhancing businesses. However, the degree of automation currently achieved cannot support the level of reactivity and adaptation demanded by businesses. We argue that the fundamental problem is that moving between the business level and the IT level is insufficiently automated and suggest an extensive use of semantic technologies as a solution. In particular, we present SENTINEL a Semantic Business Process Monitoring tool that advances the state of the art in BAM by making extensive use of semantic technologies in order to support the integration and derivation of business level knowledge out of low-level audit trails generated by IT systems.
Effectiveness and usability of an online help agent embodied as a talking head
Authors: Jérôme Simonin, Noëlle Carbonell, Danielle Pelé
Venue: Proceedings of the 10th international conference on Multimodal interfaces (2008)

An empirical study is presented which aims at assessing the possible effects of embodiment on online help effectiveness and attraction. 22 undergraduate students who were unfamiliar with animation creation software created two simple animations with Flash, using two multimodal online help agents, EH and UH, one per animation. Both help agents used the same database of speech and graphics messages; EH was personified using a talking head while UH was not embodied. EH and UH presentation order was counterbalanced between participants. Subjective judgments elicited through verbal and nonverbal questionnaires indicate that the presence of the ECA was well accepted by participants and its influence on help effectiveness perceived as positive. Analysis of eye tracking data indicates that the ECA actually attracted their visual attention and interest, since they glanced at it from the beginning to the end of the animation creation (75 fixations during 40 min.). Contrastingly, post-tests marks and interaction traces suggest that the ECA's presence had no perceivable effect on concept or skill learning and task execution. It only encouraged help consultation.
Busy period analysis of finite QBD processes
Authors: Chaitanya Garikiparthi, Appie van de Liefvoort, Ken Mitchell
Venue: ACM SIGMETRICS Performance Evaluation Review (2008)

We present the number of customers served and the length of a busy period for finite quasi birth and death (QBD) processes where either one or both of the arrival or service processes can be serially correlated or interdependent. Special cases include the G/G/1/K, M/G/1/K, and G/M/1/K queues. The resulting algorithms are linear algebraic in nature and are easily implemented. The solutions allow studies on how the moments and correlations in the arrival and service processes affect the busy period. This includes the probability of serving exactly n customers during a busy period and the moments of the length of the busy period for different system (queue) sizes. We present an example of a QBD process where arrival and service processes are strongly dependent.