ppxscal/embedding_network huggingface dataset:
Plenary lecture II: fatigue data analysis and life assessment using signal processing approaches
Authors: Shahrum Abdullah
Venue: Proceedings of the 7th WSEAS international conference on System science and simulation in engineering (2008)

This work discusses the fatigue life assessment using signal processing approaches which study on the characteristics of the fatigue signal in frequency and time-frequency domain. The signals used in this research were variable amplitude fatigue signal which consisted of a synthetic data and experimentally measured data. As frequency domain method is one of the techniques to analyse random signal, it can be applied to observe strain characteristic of the signal in frequency domain. Thus, Power Spectral Density (PSD) algorithm was used to gain the power distribution of the input signals. The short-time Fourier transform (STFT), wavelet transform and S-transform methods were also used to transform the input signal into the time-frequency domain. The transformation of time domain signal into time-frequency domain provides the power distribution display with respect to the particular time and frequency information. From the power distribution gained, the fatigue damage features can be identified. Finally, the life estimation of the components can be calculated from all the extracted fatigue features in order to study the durability of an automotive component.
Optimizing web traffic via the media scheduling problem
Authors: Lars Backstrom, Jon Kleinberg, Ravi Kumar
Venue: Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (2009)

Website traffic varies through time in consistent and predictable ways, with highest traffic in the middle of the day. When providing media content to visitors, it is important to present repeat visitors with new content so that they keep coming back. In this paper we present an algorithm to balance the need to keep a website fresh with new content with the desire to present the best content to the most visitors at times of peak traffic. We formulate this as the media scheduling problem, where we attempt to maximize total clicks, given the overall traffic pattern and the time varying clickthrough rates of available media content. We present an efficient algorithm to perform this scheduling under certain conditions and apply this algorithm to real data obtained from server logs, showing evidence of significant improvements in traffic from our algorithmic schedules. Finally, we analyze the click data, presenting models for why and how the clickthrough rate for new content declines as it ages.
Online scheduling of pick-up and delivery tasks in hospitals
Authors: Christian Fiegl, Carsten Pontow
Venue: Journal of Biomedical Informatics (2009)

Objective: The aim of this study was to develop an algorithm for scheduling pick-up and delivery tasks in hospitals. The number of jobs and the dynamic nature of the problem, in having jobs arriving over time, makes the use of information technology indispensable. An optimized scheduling for all types of transportation tasks occurring in a hospital accelerates medical procedures, and reduces the patient's waiting time and costs. Methods: In the design of the algorithm we use techniques from classical scheduling theory. In addition, due to some special properties and constraints, we model the problem using methods from graph theory. The resulting algorithm combines both approaches in a transparent manner. Conclusions: To optimize the schedules, we define the average weighted flow time as an objective function that corresponds to a measure for the task throughput. An evaluation of the algorithm at the Natters State Hospital in Austria shows that it has a superior performance than the current scheduling mechanism.
Development of mathematical models predicting the density of vectors: case of sandflies vectors of leishmaniasis
Authors: Habiba Mejhed, Samia Boussa, Nour El Houda Mejhed
Venue: Proceedings of the 10th WSEAS international conference on Mathematics and computers in biology and chemistry (2009)

In order to reduce the transmission of leishmaniasis in Morocco and to control the vectors, we developed a simple mathematical model that can predict the vector density according to weather conditions and taking into account the global climate change.
Engineering an interoperable multimedia assessment authoring and run-time environment conforming to IMS QTI
Authors: Fotis Lazarinis, Steve Green, Elaine Pearson
Venue: International Journal of Advanced Media and Communication (2009)

In this paper we present the development of a multimedia assessment tool conforming to the latest version of IMS QTI learning standard. Initially, a presentation of the development of IMS QTI is given and relevant research papers are analysed. Then, the requirements analysis and the development decisions for the assessment tool are discussed. At the end of the paper the assessment tool is evaluated and the method of validating its output is presented.
On the Multimodal Logic of Elementary Normative Systems
Authors: Pilar Dellunde
Venue: Proceeding of the 2007 conference on Artificial Intelligence Research and Development (2007)

We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-Agent Systems. Given a multimodal logic L, with standard Kripke semantics, for every modality □i and normative system η, we expand the language adding a new modality □iη with the intended meaning of □iηφ, being “φ is obligatory in the context of the normative system η over the logic L”. In this expanded language we define the Multimodal Logic of Normative Systems over L, for any given set of normative systems N, and give a sound and complete axiomatisation for this logic, proving transfer results in the case that L and N are axiomatised by sets of Sahlqvist or shallow modal formulas.
ModLink+
Authors: Oriol Fornes, Ramon Aragues, Jordi Espadaler, Marc A. Marti-Renom, Andrej Sali, Baldo Oliva
Venue: Bioinformatics (2009)

Motivation:Several strategies have been developed to predict the fold of a target protein sequence, most of which are based on aligning the target sequence to other sequences of known structure. Previously, we demonstrated that the consideration of protein–protein interactions significantly increases the accuracy of fold assignment compared with PSI-BLAST sequence comparisons. A drawback of our method was the low number of proteins to which a fold could be assigned. Here, we present an improved version of the method that addresses this limitation. We also compare our method to other state-of-the-art fold assignment methodologies. Results: Our approach (ModLink+) has been tested on 3716 proteins with domain folds classified in the Structural Classification Of Proteins (SCOP) as well as known interacting partners in the Database of Interacting Proteins (DIP). For this test set, the ratio of success [positive predictive value (PPV)] on fold assignment increases from 75% for PSI-BLAST, 83% for HHSearch and 81% for PRC to >90% for ModLink+at the e-value cutoff of 10-3. Under this e-value, ModLink+can assign a fold to 30–45% of the proteins in the test set, while our previous method could cover <25%. When applied to 6384 proteins with unknown fold in the yeast proteome, ModLink+combined with PSI-BLAST assigns a fold for domains in 3738 proteins, while PSI-BLAST alone covers only 2122 proteins, HHSearch 2969 and PRC 2826 proteins, using a threshold e-value that would represent a PPV >82% for each method in the test set. Availability: The ModLink+server is freely accessible in the World Wide Web at http://sbi.imim.es/modlink/. Contact:boliva@imim.es. Supplementary information:Supplementary data are available at Bioinformatics online.
Positive solutions for second-order semipositone problems on time scales
Authors: Douglas R. Anderson, Patricia J. Y. Wong
Venue: Computers Mathematics with Applications (2009)

We are concerned with the existence of positive solutions for second-order superlinear semipositone Sturm-Liouville boundary value problems on general time scales. In particular, we unify and generalize semipositone results of this type in the continuous and discrete cases to quantum and arbitrary time scales, and then introduce a related second-order multi-point semipositone problem that is new on all time scales.
Optimize your Mobile Applications in Warehouse and Shipping with SAP WM
Authors: Dirk Eichholz, Jan-Martin Lichte, Hans-Georg Nuvemann
Venue:  (2007)

Consultants, implementation team members, and key users alike can utilize this technical guide as a valuable project guideline for using mobile applications on the basis of SAP WM. An extended example, used throughout the book, helps readers make the best possible decisions with regard to system configuration, technical implementation, and flow control. The following business processes are targeted in detail: goods receipt, picking, and physical inventory - with no questions left unanswered. It also touches on topics such as storage units and handling unit management. Additional concepts are provided to help you enhance the standard SAP system in areas where the RF transactions provided do not yet represent a satisfactory solution. The content is based on SAP R/3 Enterprise (4.7), but thanks to consistent delta descriptions throughout the book, it can also be used for mySAP ERP 2004/2005. Highlights: Project Inception: Laying the Foundation Goods Receipt of Raw Materials Production Supply Receipts from Production Picking Packing and Loading Physical Inventory Technical Implementation: Hardware Technical Implementation: Software
Relationship between Maximal Upstroke Velocity of Transmembrane Voltage and Minimum Time Derivative of Extracellular Potential
Authors: Kwanghyun Sohn, Bonnie B. Punske, Frank B. Sachse
Venue: Proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart (2009)

The purpose of this computational study was to test the pertinence of the magnitude of the minimum time derivative of the extracellular potential, |dVes/dtmin|, measured in a thin, conducting solution layer adjacent to the tissue, as an index of cardiac excitability. For this purpose, we performed computational studies characterizing the relationship between |dVes/dtmin| and the maximum upstroke velocity of transmembrane voltage, dVm/dtmax, which has been used in previous studies as an index of excitability. A three-dimensional bidomain model of electrical conduction in cardiac tissue was used based on the Noble-Varghese-Kohl-Noble model of ventricular myocytes. The spatial domain included a slab of cardiac tissue with intra- and extracellular anisotropic conductivities surrounded by a layer of solution. The simulations showed linear relationships between |dVes/dtmin| and dVm/dtmax for reduction of maximum sodium current conductance (G Na ) from 100% to 20%. The relationship was dependent on location and propagation direction. However, when both parameters were normalized, those dependencies disappeared. In summary, our study demonstrated that normalized |dVes/dtmin| is linearly related to normalized dVm/dtmax. The results support our hypothesis that normalized |dVes/dtmin| can be used as an index of cardiac excitability.
A method for service oriented design
Authors: Sedigheh Moosavi, Mir Ali Seyyedi, Nasrollah Moghadam
Venue: Proceedings of the 2nd conference on European computing conference (2008)

Development methodology based on service has critical role in description, establishment, refining and adaptation (verification) of highly volatile business processes. However, there has not been a suitable and consolidated method for the development of high quality service oriented business applications. This article tries to present a method for service-oriented design. We use techniques and current issues in SOA in consolidated form and propose a method for service oriented design. The focus of this paper is on design process.
Clustering for processing rate optimization
Authors: Chuan Lin, Jia Wang, Hai Zhou
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2006)

Clustering (or partitioning) is a crucial step between logic synthesis and physical design in the layout of a large scale design. A design verified at the logic synthesis level may have timing closure problems at post-layout stages due to the emergence of multiple-clock-period interconnects. Consequently, a tradeoff between clock frequency and throughput may be needed to meet the design requirements. In this paper, we find that the processing rate, defined as the product of frequency and throughput, of a sequential system is upper bounded by the reciprocal of its maximum cycle ratio, which is only dependent on the clustering. We formulate the problem of processing rate optimization as seeking an optimal clustering with the minimal maximum-cycle-ratio in a general graph, and present an iterative algorithm to solve it. Experimental results validate the efficiency of our algorithm.
Formal Modeling and Verification of Safety-Critical Software
Authors: Junbeom Yoo, Eunkyoung Jee, Sungdeok (Steve) Cha
Venue: IEEE Software (2009)

Rigorous quality demonstration is important when developing safety-critical software such as a reactor protection system (RPS) for a nuclear power plant. Although using formal methods such as formal modeling and verification is strongly recommended, domain experts often reject formal methods for four reasons: there are too many candidate techniques, the notations appear complex, the tools often work only in isolation, and output is often too difficult for domain experts to understand. A formal-methods-based process that supports development, verification and validation, and safety analysis can help domain experts overcome these obstacles. Nuclear engineers can also use CASE tools to apply formal methods without having to know details of the underlying formalism. The authors spent more than seven years working with nuclear engineers in developing RPS software and applying formal methods. The engineers and regulatory personnel found the process effective and easy to apply with the integrated tool support.
Conflicts between Relevance-Sensitive and Iterated Belief Revision
Authors: Pavlos Peppas, Anastasios Michael Fotinopoulos, Stella Seremetaki
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

The original AGM paradigm focuses only on one-step belief revision and leaves open the problem of revising a belief state with whole sequences of evidence. Darwiche and Pearl later addressed this problem by introducing extra (intuitive) postulates as a supplement to the AGM ones. A second shortcoming of the AGM paradigm, seemingly unrelated to iterated revision, is that it is too liberal in its treatment of the notion of relevance. Once again this problem was addressed with the introduction of an extra (also very intuitive) postulate by Parikh. The main result of this paper is that Parikh postulate for relevance-sensitive belief revision is inconsistent with each of the Darwiche and Pearl postulates for iterated belief revision.
Validation of optical remote sensing measurement strategies applied to industrial gas emissions
Authors: C. Rivera, J. A. Garcia, B. Galle, L. Alonso, Yan Zhang, M. Johansson, M. Matabuena, G. Gangoiti
Venue: International Journal of Remote Sensing (2009)

In May 2004 a field campaign was conducted at a power plant in Spain, aiming to validate the use of a miniaturized, fibre-optic, ultraviolet, differential optical absorption spectrometer (mini-DOAS) for sulfur dioxide (SO2) flux quantification. Emissions were determined by integrating the total number of molecules in a vertical cross-section of the gas plume, and multiplying them by the wind component at plume height. Calculated wind data were compared with balloon soundings. Plume height, computed from a tomographic reconstruction of the plume, was compared with stereo-photogrammetric methods and a plume rise model. Finally, SO2 fluxes were compared to emissions reported by the power station. Although the meteorological conditions during the field campaign were adverse, with large fluctuations in wind speed and wind direction, the optical measurements performed proved to be practically feasible and compared well with the techniques used for validation. SO2 fluxes derived by the mini-DOAS were within 7% of those reported by the power station.
How To Become An MCSE In 3 Weeks
Authors: C. V. Conner
Venue:  (2007)

Learn to build a computer from scratch in just 7 days! Get A+ or Microsoft certified in only 3 days! And become a Microsoft Certified Systems Engineer in only 21 days! The Bestselling Second Edition by computer professional, C.V.Conner, Ph.D. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
International e-Conference of Computer Science 2006
Authors: Simos, E., Psihoyios, G., Theodore Simos, Georgios Psihoyios
Venue: Lecture Series On Computer And Computational Sciences (2007)

The aim of IeCCS 2006, which was held in from 28 June to 8 July 2006, was to bring together leading scientists of the international Computer Science community and to attract original research papers. This volume in the Lecture Series on Computer and Computational Sciences contains the extended abstracts of the presentations. The topics covered included (but were not limited to): Numerical Analysis, Scientific Computation, Computational Mathematics, Mathematical Software, Programming Techniques and Languages, Parallel Algorithms and its Applications, Symbolic and Algebraic Manipulation, Analysis of Algorithms, Problem Complexity, Mathematical Logic, Formal Languages, Data Structures, Data Bases, Information Systems, Artificial Intelligence, Expert Systems, Simulation and Modeling, Computer Graphics, Software Engineering, Image Processing, Computer Applications, Hardware, Computer Systems Organization, Software, Data, Theory of Computation, Mathematics of Computing, Information Systems, Computing Methodologies, Computer Applications, and Computing Milieu.
User search characteristics on a specialized digital collection fordomain- and task-specific information
Authors: Xiaoya Tang
Venue: Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries (2009)

Domain-specialized digital collections have been growing rapidly in recent years. A good understanding of how users interact with such collections to accomplish domain-specific information tasks would help inform the design of effective systems. This study investigates users' interaction with a Web-based botanical collection by examining search logs recorded during an experiment. The findings indicate that while users' interactions with such collections demonstrate similar characteristics to those with general purpose search systems, they also demonstrate a domain- and task-specific nature.
Context-based heterogeneous middleware integration
Authors: Frederico Lopes, Flávia C. Delicato, Thais Batista, Paulo F. Pires
Venue: Proceedings of the 2009 Workshop on Middleware for Ubiquitous and Pervasive Systems (2009)

The use of context provision middleware is a promising approach to deal with the low-level functions involved in handling contextual events when building ubiquitous applications. Several middleware are currently available that provide support for context handling, each one adopting different models both to interact with applications and to represent contextual data. We present OpenCOPI (Open COntext Platform Integration), a platform that integrates several context provision middleware systems, providing a unified ontology-based context service for ubiquitous applications. OpenCOPI encapsulates the underlying middleware platforms and represents them as services to be provided to client applications thus facilitating the development of ubiquitous applications. This paper presents the OpenCOPI architecture, main implementation issues, and a case study that discusses the use of OpenCOPI in a ubiquitous scenario.
Distributed Relay Selection and Power Control for Multiuser Cooperative Communication Networks Using Stackelberg Game
Authors: Beibei Wang, Zhu Han, K. J. Ray Liu
Venue: IEEE Transactions on Mobile Computing (2009)

The performance in cooperative communication depends on careful resource allocation such as relay selection and power control, but the traditional centralized resource allocation requires precise measurements of channel state information (CSI). In this paper, we propose a distributed game-theoretical framework over multiuser cooperative communication networks to achieve optimal relay selection and power allocation without knowledge of CSI. A two-level Stackelberg game is employed to jointly consider the benefits of the source node and the relay nodes in which the source node is modeled as a buyer and the relay nodes are modeled as sellers, respectively. The proposed approach not only helps the source find the relays at relatively better locations and "buy” an optimal amount of power from the relays, but also helps the competing relays maximize their own utilities by asking the optimal prices. The game is proved to converge to a unique optimal equilibrium. Moreover, the proposed resource allocation scheme with the distributed game can achieve comparable performance to that employing centralized schemes.
Robust Biometric System Using Palmprint for Personal Verification
Authors: G. S. Badrinath, Phalguni Gupta
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

This paper describes a prototype of robust biometric system for verification. The system uses features extracted using Speeded Up Robust Features (SURF) operator of human hand. The hand image for features is acquired using a low cost scanner. The extracted palmprint region is robust to hand translation and rotation on the scanner. The system is tested on IITK database and PolyU database. It has FAR 0.02%, FRR 0.01% and an accuracy of 99.98% at original size. The system addresses the robustness in the context of scale, rotation and occlusion of palmprint. The system performs at accuracy more than 99% for scale, more than 98% for rotation, and more than 99% for occlusion. The robustness and accuracy suggest that it can be a suitable system for civilian and high-security environments.
Dimensional standard alignment in K-12 digital libraries: assessment of self-found vs. recommended curriculum
Authors: Byron Marshall, René Reitsma, Malinda Zarske
Venue: Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries (2009)

Enhancing the experience of digital library users depends, in part, on recognizing and understanding user tasks. In the context of K-12 educational libraries this means that we must understand how K-12 teachers interact with such libraries and how they assess the relevance of documents found or encountered. This paper presents the results of an experiment in which K-12 teachers scored the relevance of curriculum they found themselves and the relevance of documents their colleagues found and recommended. We found that teachers apply a significantly more detailed notion of relevance, both qualitatively and quantitatively, when searching for as compared to evaluating recommended curricula. Differences were observed in both relevance judgments and system interaction logs. These variations may be useful in identifying user intent and in dynamically adapting the behavior of digital libraries of educational material.