ppxscal/embedding_network huggingface dataset:
Entanglement-breaking channels in infinite dimensions
Authors: A. S. Holevo
Venue: Problems of Information Transmission (2008)

In the first part of the paper we give a representation for entanglement-breaking channels in separable Hilbert space that generalizes the "Kraus decomposition with rank-one operators" and use it to describe complementary channels. We also note that coherent information for antidegradable channel is always nonpositive. In the second part, we give necessary and sufficient condition for entanglement breaking for the general quantum Gaussian channel. Application of this condition to one-mode channels provides several new cases where the additivity conjecture holds in the strongest form.
Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation
Authors: Matthias Krause, Dominik Englert, Oliver Bringmann, Wolfgang Rosenstiel
Venue: Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis (2008)

Instruction set simulation and real time operating system modeling have become important issues for the design of distributed embedded systems. This paper presents a holistic approach to simulate a distributed, embedded system that includes target software, processing units, and abstract RTOS within a virtual prototype environment. The processing unit is modeled by an ISS, which is embedded in a SystemC environment to allow the integration into a platform model. In comparison to existing approaches, the RTOS is not directly running on the ISS but outsourced and replaced by an RTOS model. This step strongly reduces simulation time since the execution on the ISS is much more time consuming in contrast to the execution on the host processor. The results show the theoretical and measured performance gain depending on the RTOS scheduler and task switching.
Modeling Support for Simulating Traffic Intensive Web Applications
Authors: Ka-I Pun, Kin-Chan Pau, Yain-Whar Si
Venue: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03 (2008)

Business Process Simulation (BPS) has been widely accepted as a modus operandi for evaluating business applications and for understanding the strength and weakness of the implemented system. However, less attention has been devoted to applying BPS for simulating traffic intensive applications hosted on the Internet. These systems are inherently different from typical enterprise-wide business applications since the number of hits received at the application’s Web site can fluctuate to a large degree depending on the external factors (e.g. political unrest causing overbooking in airlines). In addition, every hit does not necessarily lead to a successful completion of a transaction since users can navigate away to other Web sites during the browsing. This paper describes our ongoing research on developing a modeling support environment for simulating traffic intensive Web applications. The proposed system utilizes transaction logs and Web server logs which contain vital information about the interaction between clients and the Web application. As the project is still in its early phases, the paper mainly studies the modeling requirements, discusses the difficulties have to overcome, and concludes with our future work.
dbNEI2.0
Authors: Jing Zhang, Tao Ma, Yanda Li, Shao Li
Venue: Bioinformatics (2008)

Summary: The neuro-endocrine-immune (NEI) system plays a critical regulatory role in modulating host homeostasis and optimizing health. We created the dbNEI 2 years ago to collect NEI molecules and interactions. For transferring the conceptual NEI to the systematic NEI network and uncovering the NEI's medical function, we updated the dbNEI 2.0 in three ways: (i) extended NEI molecules to 2242 genes and 7657 chemical compounds by using gene ontology-based (GO-based) data mining strategy, (ii) added multilayer interactions of NEI molecules including KEGG signal transduction and metabolic pathways, HPRD protein–protein interactions (PPI), transcription factor and microRNA regulations and (iii) connected 611 drugs and 823 diseases through multilayer NEI interactions. The reconstructed drug–NEI–disease network will facilitate the systematic study of NEI system. Availability: http://bioinfo.au.tsinghua.edu.cn/dbNEIweb/ Contact: shaoli@mail.tsinghua.edu.cn
Computer Jobs with the Growing Information Technology Professional Services Sector [2007] Companies-Contacts-Links - IT Services Firms - Mid-Atlantic States
Authors: Info Tech Employment
Venue:  (2007)

The solid and growing information technology professional services sector continues to increase headcount. Discover computer jobs in this robust sector of the industry with Computer Jobs with the Growing Information Technology Professional Services Sector [2007]: Career Guide - Companies-Contacts-Links -8 Regional Editions. So that jobseekers can find employers close to home, there are eight editions available , which cover eight US regions: New England States, Mid-Atlantic States, Potomac Region, Southern States, Midwest States, Western States, West Coast States, and Northwestern States. In the "Companies-Contacts-Links" section, technology jobseekers gain access to current URLs and recruiter/personnel e-mail addresses of IT service providers in their region. These providers have active government and corporate contracts to supply information technology services and staff. In the "Articles" section, 21 Advisory and Analytical articles discuss leading IT jobs, skill sets, positioning tools, job classifications and pay scales. Analytical Articles: C++ Computer . Java and JavaScript . Visual Basic . Sun Solaris, Unix, Linux, Network Tech Jobs . Oracle, SQL, FoxPro, Sybase, Database Management . Software Programmer; Software Engineer . Network Programmer, Network Systems . Telecommunications . Web Developer . IT Procurement, IT Training, Project Management . IT Security . Computer Graphics, Computer Animation. Advisory Articles: Careers in IT . Hiring Options: IT Outsourcers, IT Service Providers, In-House IT Staff. Telecommuting IT Careers, Entry-Level Tech Jobs . Resumes . Skills Employers Require of IT Professionals; Training Opportunities, Building a Successful Computer Career. These editions give sure-fire direction to good employment in all 50 U.S. States.
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
Authors: Ekaterina Komendantskaya, Anthony Karel Seda
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

We introduce the class of normal bilattice-based annotated first-order logic programs (BAPs) and develop declarative and operational semantics for them. In particular, SLD-resolution for these programs is defined and its soundness and completeness established.
Design, Debug, Deploy: The Creation of Configurable Computing Applications
Authors: Brent E. Nelson, Brad L. Hutchings, Michael J. Wirthlin
Venue: Journal of Signal Processing Systems (2008)

Configurable Computing Machines (CCMs) are computing machines based on reconfigurable circuit technology such as field programmable gate-arrays. Early researchers recognized CCMs as a new, flexible, and powerful class of computer. The earliest CCMs featured rudimentary but significant integrated design, debug, and deployment (runtime) environments. This paper reviews those environments and the contributions they made and considers the progress made over the past 20 years in providing support for the "3 D's" of configurable computing application development: design, debug, and deployment. It then introduces an integrated CAD framework for the creation of CCM CAD tools and describes a series of experiments in creating such a CAD tool suite -- the JHDL system. The paper reviews lessons learned from that work and concludes by discussing the role integrated design, debug, and runtime environments will play in future CCM-based systems.
An analytical study of a structured overlay in the presence of dynamic membership
Authors: Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi
Venue: IEEE/ACM Transactions on Networking (TON) (2008)

In this paper, we present an analytical study of dynamic membership (aka churn) in structured peer-to-peer networks. We use a fluid model approach to describe steady-state or transient phenomena and apply it to the Chord system. For any rate of churn and stabilization rates and any system size, we accurately account for the functional form of the probability of network disconnection as well as the fraction of failed or incorrect successor and finger pointers. We show how we can use these quantities to predict both the performance and consistency of lookups under churn. All theoretical predictions match simulation results. The analysis includes both features that are generic to structured overlays deploying a ring as well as Chord-specific details and opens the door to a systematic comparative analysis of, at least, ring-based structured overlay systems under churn.
Stability of surface reflectance scaling properties explored by using SPOT-VGT data
Authors: L. Telesca, A. Lanorte, R. Lasaponara
Venue: International Journal of Remote Sensing (2007)

VGT reflectance data acquired in four spectral bands (B0, B2, B3 and MIR) from 1998 to 2005 by SPOT-VGT were investigated. VGT data are characterized by global coverage and consistent image quality and are particularly suitable for time series investigations. The analysis was carried out for a test area located in the island of Sardinia. The study area is covered by shrubs, mainly Mediterranean maquis, which is the typical vegetation cover of the Mediterranean basin. Deviations from uniform power-law scaling were quantified by using detrended fluctuation analysis (DFA). The results indicate a larger non-uniform scaling behaviour in the B0 channel. This can be applied to understanding radiation interactions at the surface as required for advancing weather forecasting, climate studies and environmental monitoring.
Classification with reject option in gene expression data
Authors: Blaise Hanczar, Edward R. Dougherty
Venue: Bioinformatics (2008)

Motivation: The classification methods typically used in bioinformatics classify all examples, even if the classification is ambiguous, for instance, when the example is close to the separating hyperplane in linear classification. For medical applications, it may be better to classify an example only when there is a sufficiently high degree of accuracy, rather than classify all examples with decent accuracy. Moreover, when all examples are classified, the classification rule has no control over the accuracy of the classifier; the algorithm just aims to produce a classifier with the smallest error rate possible. In our approach, we fix the accuracy of the classifier and thereby choose a desired risk of error. Results: Our method consists of defining a rejection region in the feature space. This region contains the examples for which classification is ambiguous. These are rejected by the classifier. The accuracy of the classifier becomes a user-defined parameter of the classification rule. The task of the classification rule is to minimize the rejection region with the constraint that the error rate of the classifier be bounded by the chosen target error. This approach is also used in the feature-selection step. The results computed on both synthetic and real data show that classifier accuracy is significantly improved. Availability: Companion Website. http://gsp.tamu.edu/Publications/rejectoption/ Contact:edward@ece.tamu.edu, hanczar_blaise@yahoo.fr Supplementary information:Supplementary data are available at Bioinformatics online.
Improving accessibility in an automated question-answering system
Authors: Silvia Quarteroni
Venue: Issue 92 (September 2008) (2008)

We address the problem of accessibility in information retrieval by introducing a Question Answering system able to filter answers based on their reading difficulty. The reading level estimation technique is applicable to any domain and is potentially adjustable to any user category.
The Ada paradox(es)
Authors: Jean-Paul Rosen
Venue: Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference (2008)

Ada was designed as a tool tailored for industrial software engineering. When we compare the initial requirements with the current language, the match is excellent. However, Ada did not gain the popularity that was expected by its designers - without any technical reason for this. This talk explores this paradox, and many others related to the gap between the goals of the language and its actual use.
Linear mixing in thermal infrared temperature retrieval
Authors: M. F. McCabe, L. K. Balick, J. Theiler, A. R. Gillespie, A. Mushkin
Venue: International Journal of Remote Sensing (2008)

Virtually all remotely sensed thermal infrared (IR) pixels are, to some degree, mixtures of different materials or temperatures: real pixels are rarely thermally homogeneous. As sensors improve and spectral thermal IR remote sensing becomes more quantitative, the concept of homogeneous pixels becomes inadequate. Quantitative thermal IR remote sensors measure radiance. Planck's Law defines a relationship between temperature and radiance that is more complex than linear proportionality and is strongly wavelength-dependent. As a result, the area-averaged temperature of a pixel is not the same as the temperature derived from the radiance averaged over the pixel footprint, even for blackbodies. This paper uses simple linear mixing of pixel elements (subpixels) to examine the impacts of pixel mixtures on temperature retrieval and ground leaving radiance. The results show that for a single material with one temperature distribution and with a subpixel temperature standard deviation of 6 K (daytime images), the effects of subpixel temperature variability are small but can exceed 0.5 K in the 3-5 µm band and about a third of that in the 8-12 µm band. For pixels with a 50 : 50 mixture of materials (two temperature distributions with different means) the impact of subpixel radiance variability on temperature retrieval can exceed 6 K in the 3-5 µm band and 2 K in the 8-12 µm band. Sub-pixel temperatures determined from Gaussian distributions and also from high-resolution thermal images are used as inputs to our linear mixing model. Model results are compared directly to these broadband thermal images of plowed soil and senesced barley. Finally, a theoretical framework for quantifying the effect of non-homogeneous temperature distributions for the case of a binary combination of mixed pixels is derived, with results shown to be valid for the range of standard deviations and temperature differences examined herein.
Seeder
Authors: François Fauteux, Mathieu Blanchette, Martina V. Strömvik
Venue: Bioinformatics (2008)

Motivation: The computational identification of transcription factor binding sites is a major challenge in bioinformatics and an important complement to experimental approaches. Results: We describe a novel, exact discriminative seeding DNA motif discovery algorithm designed for fast and reliable prediction of cis-regulatory elements in eukaryotic promoters. The algorithm is tested on biological benchmark data and shown to perform equally or better than other motif discovery tools. The algorithm is applied to the analysis of plant tissue-specific promoter sequences and successfully identifies key regulatory elements. Availability: The Seeder Perl distribution includes four modules. It is available for download on the Comprehensive Perl Archive Network (CPAN) at http://www.cpan.org. Contact: martina.stromvik@mcgill.ca Supplementary information:Supplementary data are available at Bioinformatics online.
Automated Semantic Analysis of Schematic Data
Authors: Saikat Mukherjee, I. V. Ramakrishnan
Venue: World Wide Web (2008)

Content in numerous Web data sources, designed primarily for human consumption, are not directly amenable to machine processing. Automated semantic analysis of such content facilitates their transformation into machine-processable and richly structured semantically annotated data. This paper describes a learning-based technique for semantic analysis of schematic data which are characterized by being template-generated from backend databases. Starting with a seed set of hand-labeled instances of semantic concepts in a set of Web pages, the technique learns statistical models of these concepts using light-weight content features. These models direct the annotation of diverse Web pages possessing similar content semantics. The principles behind the technique find application in information retrieval and extraction problems. Focused Web browsing activities require only selective fragments of particular Web pages but are often performed using bookmarks which fetch the contents of the entire page. This results in information overload for users of constrained interaction modality devices such as small-screen handheld devices. Fine-grained information extraction from Web pages, which are typically performed using page specific and syntactic expressions known as wrappers, suffer from lack of scalability and robustness. We report on the application of our technique in developing semantic bookmarks for retrieving targeted browsing content and semantic wrappers for robust and scalable information extraction from Web pages sharing a semantic domain.
Personalization and choice behavior: the role of personality traits
Authors: Shuk Ying Ho, Michael J. Davern, Kar Yan Tam
Venue: ACM SIGMIS Database (2008)

Online merchants use personalization technologies to gain knowledge of an individual customer and then generate preference-matched web content for the customer. Among the various types of personalization technologies, this research focuses on personalization engines that generate preference-matched content based on a customer's prior transactions. Extant research in this area has focused on how to maximize knowledge mined from transaction logs to generate content that is highly similar to the customer's past revealed preferences. However, it remains an empirical question as to whether the content closely matched with previous transactions is most likely to influence choice behavior. In this study, we postulate that the content closely matched with previous transactions may not be the most influential in biasing a customer. In the consideration and choice process, an individual's personality traits play a pivotal role in moderating the effect of personalized content. Drawing on research in marketing, we examine three key personality traits: need for cognition; variety seeking, and need for uniqueness; and explore their effects on choice behavior in the context of transaction-driven personalization. Research hypotheses are tested with over 2,000 pre-selected subjects in an online experiment based on a ringtone download website. We find that individual personality traits moderate content consideration and choice. Theoretical and practical implications of the findings are discussed.
Algorithms for improving the quality of service in wireless sensor networks with multiple mobile sinks
Authors: Cristiano Arbex Valle, Alexandre Salles da Cunha, Wagner Moro Aioffi, Geraldo Robson Mateus
Venue: Proceedings of the 11th international symposium on Modeling, analysis and simulation of wireless and mobile systems (2008)

In this paper, we propose optimization algorithms for the problem of multiple mobile sinks route planning in Wireless Sensor Networks (WSN). Our aim is to reduce the length of the sink routes, in order to reduce the message delivery delay. Our approach differs from others in the literature since clustering and route planning are dealt simultaneously. We compare the proposed algorithms and the best of them are used to perform WSNs simulations. By comparing our approaches to others in the literature, significant gains in terms of message delivery delay rates are attained.
Finite element formulation for geometric and material nonlinear analysis of beams prestressed with external slipping tendons
Authors: Alessandro Zona, Laura Ragni, Andrea Dall'Asta
Venue: Finite Elements in Analysis and Design (2008)

In this paper a finite element formulation of a geometric and material nonlinear analytical model for externally prestressed beams is illustrated. Differently from existing methods starting from the linear theory and then including the tendon eccentricity variation, the analytical model adopted is based on a nonlinear kinematical theory. Thus a complete description of the nonlinear interactions between tendon and beam is given. The interactions between axial and flexural fields of the beam are also included. The numerically simulated response is verified by comparison with experimental tests available for concrete beams and steel-concrete composite beams prestressed with external tendons.
Introduction to Automata Theory, Languages, and Computation, 3rd edition
Authors: John E. Hopcroft
Venue:  (2007)

This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity. The authors present the theory in a concise and straightforward manner, with an eye out for the practical applications. Exercises at the end of each chapter, including some that have been solved, help readers confirm and enhance their understanding of the material. This book is appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.
Deducing the visual focus of attention from head pose estimation in dynamic multi-view meeting scenarios
Authors: Michael Voit, Rainer Stiefelhagen
Venue: Proceedings of the 10th international conference on Multimodal interfaces (2008)

This paper presents our work on recognizing the visual focus of attention during dynamic meeting scenarios. We collected a new dataset of meetings, in which acting participants were to follow a predefined script of events, to enforce focus shifts of the remaining, unaware meeting members. Including the whole room, all in all, a total of 35 potential focus targets were annotated, of which some were moved or introduced spontaneously during the meeting. On this dynamic dataset, we present a new approach to deduce the visual focus by means of head orientation as a first clue and show, that our system recognizes the correct visual target in over 57% of all frames, compared to 47% when mapping head pose to the first-best intersecting focus target directly.
Protein function prediction and annotation in an integrated environment powered by web services (AFAWE)
Authors: Anika Jöcker, Fabian Hoffmann, Andreas Groscurth, Heiko Schoof
Venue: Bioinformatics (2008)

Summary: Many sequenced genes are mainly annotated through automatic transfer of annotation from similar sequences. Manual comparison of results or intermediate results from different tools can help avoid wrong annotations and give hints to the function of a gene even if none of the automated tools could return any result. AFAWE simplifies the task of manual functional annotation by running different tools and workflows for automatic function prediction and displaying the results in a way that facilitates comparison. Because all programs are executed as web services, AFAWE is easily extensible and can directly query primary databases, thereby always using the most up-to-date data sources. Visual filters help to distinguish trustworthy results from non-significant results. Furthermore, an interface to add detailed manual annotation to each gene is provided, which can be displayed to other users. Availability: AFAWE is available at http://bioinfo.mpiz-koeln.mpg.de/afawe/ Contact: afawe-admin@mpiz-koeln.mpg.de Supplementary information: SIFTER pipeline (S1), AFAWE tutorial (S2).