ppxscal/embedding_network huggingface dataset:
PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials
Authors: Michael Brickenstein, Alexander Dreyer
Venue: Journal of Symbolic Computation (2009)

This work presents a new framework for Grobner-basis computations with Boolean polynomials. Boolean polynomials can be modelled in a rather simple way, with both coefficients and degree per variable lying in {0,1}. The ring of Boolean polynomials is, however, not a polynomial ring, but rather the quotient ring of the polynomial ring over the field with two elements modulo the field equations x^2=x for each variable x. Therefore, the usual polynomial data structures seem not to be appropriate for fast Grobner-basis computations. We introduce a specialised data structure for Boolean polynomials based on zero-suppressed binary decision diagrams (ZDDs), which are capable of handling these polynomials more efficiently with respect to memory consumption and also computational speed. Furthermore, we concentrate on high-level algorithmic aspects, taking into account the new data structures as well as structural properties of Boolean polynomials. For example, a new useless-pair criterion for Grobner-basis computations in Boolean rings is introduced. One of the motivations for our work is the growing importance of formal hardware and software verification based on Boolean expressions, which suffer-besides from the complexity of the problems -from the lack of an adequate treatment of arithmetic components. We are convinced that algebraic methods are more suited and we believe that our preliminary implementation shows that Grobner-bases on specific data structures can be capable of handling problems of industrial size.
Godson-3: A Scalable Multicore RISC Processor with x86 Emulation
Authors: Weiwu Hu, Jian Wang, Xiang Gao, Yunji Chen, Qi Liu, Guojie Li
Venue: IEEE Micro (2009)

The Godson-3 microprocessor aims at high-throughput server applications, high-performance scientific computing, and high-end embedded applications. It offers a scalable network on chip, hardware support for x86 emulation, and a reconfigurable architecture. The four-core Godson-3 chip is fabricated with 65-nm CMOS technology. Eight- and 16-core Godson-3 chips are in development.
The Windows Server 2003 Security Log Revealed
Authors: Randy Franklin Smith
Venue:  (2008)

The Windows Server 2003 Security Log Revealed was writin by Randy Franklin Smith the recognized expert on the Windows Security Log. Randy began the Windows security log project in 1998 as part of a Monterey Technology Group client's assignment. Since then, he has provided design consultation to developers of event log monitoring products and created the Security Log Secrets course as an in-person venue for sharing the results of years of research and helping attendees implement effective monitoring and intrusion detection. 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
Redundancy in CSPs
Authors: Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

In this paper, we propose a new technique to compute irredundant sub-sets of constraint networks. Since, checking redundancy is Co-NP Complete problem, we use different polynomial local consistency entailments for reducing the computational complexity. The obtained constraint network is irredundant modulo a given local consistency. Redundant constraints are eliminated from the original instance producing an equivalent one with respect to satisfiability. Eliminating redundancy might help the CSP solver to direct the search to the most constrained (irredundant) part of the network.
Patterns of Transition: The Shift from Traditional to Object-Oriented Development
Authors: H. Nelson, Deborah Armstrong, Kay Nelson
Venue: Journal of Management Information Systems (2009)

While many of the changes that information systems professionals encounter are incremental requiring only modifications to an existing mind-set, others represent radical changes that require a fundamental shift in mind-set in order to fully benefit from the change. The goal of this study was to examine how software development concept thinking changes as individuals shift their mind-set to the object-oriented software development approach. The results indicate that the transition may not be as simple as a single "aha!" moment, but rather a series of cognitive shifts as constructs from the old mind-set are replaced by constructs in the new mind-set. In addition, this study identifies problems that may be encountered during the transition due to a lack of cognitive fit, confusion, and reverting to an inappropriate mind-set. The findings from this study may be used to decrease the learning curve and minimize the number of cognitive shifts experienced during the transition.
Depth Ordering and Figure-Ground Segregation in Monocular Images derived from Illusory Contour Perception
Authors: Marcus Hund, Bärbel Mertsching
Venue: Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy (2006)

One of the elaborated tasks for the low level image processing stage of a vision system is the completion of cluttered or occluded object boundaries and the depth assignment of overlapped boundaries. We describe a novel method for depth ordering and figure-ground segregation from monocular depth cues, namely the arrangement of so-called illusory contours at junctions in the edge map of an image. Therefore, a computational approach to the perception of illusory contours, based on the tensor voting technique, is introduced. Furthermore, two simple rules for figure-ground segregation are presented that are capable of explaining a wide range of perceptual phenomena like the Kanizsa illusion. Finally, we present a diffusion approach to derive the depth ordering for the whole contour from the figure-ground segregation at key points.
An optimal controller for measuring power spectrum
Authors: Ming Li
Venue: Proceedings of the 9th WSEAS international conference on Robotics, control and manufacturing technology (2009)

This paper presents a novel control scheme for improving the measurement performance of a measurement system for measuring the power spectrum density (PSD) function of a random signal. The present controller can be used to minimize the measurement error of the PSD of the measurand.
Affinity: Managing Java Application Servers
Authors: John M. Hawkins
Venue:  (2007)

Companies lose millions of dollars each year on their business applications running on Java application servers due to issues that could have easily been avoided. Implementing a winning strategy to reduce costs can be extremely challenging, but can pay off with more stable systems, increased morale and better customer experience. Putting the right technical approach in place combined with a process that integrates your lessons learned back into the system can eliminate lost revenue. The measure of success in Java application server management is generating a repeatable process that delivers consistent results. Ensuring success in designing, developing, deploying and managing the systems is built on technologists working to architect your new systems. John Hawkins, an experienced technical consultant, shares his insight in a practical guidebook that outlines the critical steps to design, support and build complex n-tier systems. You will learn how to overcome the organizational and technical challenges, understand the fundamentals, and then design an application that will save your company money and, in turn, make you a more valuable employee. Affinity is a vital component to future success for application and systems administrators and IT managers who want to increase the reliability of Java application servers. 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
Spatio-Temporal Tracking of Faces by Stereo Vision
Authors: Markus Steffens, Werner Krybus, Christine Kohring, Danny Morton
Venue: Proceedings of the 4th International Conference on Computer Vision/Computer Graphics CollaborationTechniques (2009)

This report contributes a new approach for the robust tracking of humans' heads and faces based on a spatio-temporal scene analysis. The framework comprises aspects of structure and motion problems, as there are feature extraction, spatial and temporal matching, re-calibration, tracking, and reconstruction. The scene is acquired through a calibrated stereo sensor. A cue processor extracts invariant features in both views, which are spatially matched by geometric relations. The temporal matching takes place via prediction from the tracking module and a sixmilarity transformation of the features' 2D locations between both views. The head is reconstructed and tracked in 3D. The re-projection of the predicted structure limits the search space of both the cue processor as well as the re-construction procedure. Due to the focused application, the instability of calibration of the stereo sensor is limited to the relative extrinsic parameters that are re-calibrated during the re-construction process. The framework is practically applied and proven. First experimental results will be discussed and further steps of development within the project are presented.
A computational theory of awareness and decision making
Authors: Nikhil R. Devanur, Lance Fortnow
Venue: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (2009)

We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a certain environment. We give several examples to show this notion matches our intuition in scenarios where one organizes, accesses and transfers information. We also give a formal process-independent definition of awareness based on Levin's universal enumeration. We show the usefulness of computational awareness by showing how it relates to decision making, and how others can manipulate our decision making with appropriate advertising, in particular, we show connections to sponsored search and brand awareness. Understanding awareness can also help rate the effectiveness of various user interfaces designed to access information.
Finite volume TVD formulation of lattice Boltzmann simulation on unstructured mesh
Authors: Dhiraj V. Patil, K. N. Lakshmisha
Venue: Journal of Computational Physics (2009)

A numerical scheme is presented for accurate simulation of fluid flow using the lattice Boltzmann equation (LBE) on unstructured mesh. A finite volume approach is adopted to discretize the LBE on a cell-centered, arbitrary shaped, triangular tessellation. The formulation includes a formal, second order discretization using a Total Variation Diminishing (TVD) scheme for the terms representing advection of the distribution function in physical space, due to microscopic particle motion. The advantage of the LBE approach is exploited by implementing the scheme in a new computer code to run on a parallel computing system. Performance of the new formulation is systematically investigated by simulating four benchmark flows of increasing complexity, namely (1) flow in a plane channel, (2) unsteady Couette flow, (3) flow caused by a moving lid over a 2D square cavity and (4) flow over a circular cylinder. For each of these flows, the present scheme is validated with the results from Navier-Stokes computations as well as lattice Boltzmann simulations on regular mesh. It is shown that the scheme is robust and accurate for the different test problems studied.
Comparison of nonlinear methods for hematocrit estimation from the transduced anodic current curve
Authors: Hieu Trung Huynh, Jung-Ja Kim, Yonggwan Won
Venue: Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems (2008)

Hematocrit (HCT) is expressed as the percentage of red blood cells in the whole blood. It is an important factor for clinical decision marking and known as the most highly influencing factor for glucose measurements by handheld devices. Thus, estimating this factor plays an important role in improving accuracy of glucose measurements. In this paper, we present a comparison of nonlinear methods for hematocrit estimation from the transduced current curve which is produced by glucose-oxidase reaction in strip-type electrochemical biosensors.
Prediction of sub-cavity binding preferences using an adaptive physicochemical structure representation
Authors: Izhar Wallach, Ryan H. Lilien
Venue: Bioinformatics (2009)

Motivation: The ability to predict binding profiles for an arbitrary protein can significantly improve the areas of drug discovery, lead optimization and protein function prediction. At present, there are no successful algorithms capable of predicting binding profiles for novel proteins. Existing methods typically rely on manually curated templates or entire active site comparison. Consequently, they perform best when analyzing proteins sharing significant structural similarity with known proteins (i.e. proteins resulting from divergent evolution). These methods fall short when used to characterize the binding profile of a novel active site or one for which a template is not available. In contrast to previous approaches, our method characterizes the binding preferences of sub-cavities within the active site by exploiting a large set of known protein–ligand complexes. The uniqueness of our approach lies not only in the consideration of sub-cavities, but also in the more complete structural representation of these sub-cavities, their parametrization and the method by which they are compared. By only requiring local structural similarity, we are able to leverage previously unused structural information and perform binding inference for proteins that do not share significant structural similarity with known systems. Results: Our algorithm demonstrates the ability to accurately cluster similar sub-cavities and to predict binding patterns across a diverse set of protein–ligand complexes. When applied to two high-profile drug targets, our algorithm successfully generates a binding profile that is consistent with known inhibitors. The results suggest that our algorithm should be useful in structure-based drug discovery and lead optimization. Contact:izharw@cs.toronto.edu; lilien@cs.toronto.edu
Multiresolution Spatial and Temporal Coding in a Wireless Sensor Network for Long-Term Monitoring Applications
Authors: You-Chiun Wang, Yao-Yu Hsieh, Yu-Chee Tseng
Venue: IEEE Transactions on Computers (2009)

In many WSN (wireless sensor network) applications, such as [1], [2], [3], the targets are to provide long-term monitoring of environments. In such applications, energy is a primary concern because sensor nodes have to regularly report data to the sink and need to continuously work for a very long time so that users may periodically request a rough overview of the monitored environment. On the other hand, users may occasionally query more in-depth data of certain areas to analyze abnormal events. These requirements motivate us to propose a multiresolution compression and query (MRCQ) framework to support in-network data compression and data storage in WSNs from both space and time domains. Our MRCQ framework can organize sensor nodes hierarchically and establish multiresolution summaries of sensing data inside the network, through spatial and temporal compressions. In the space domain, only lower resolution summaries are sent to the sink; the other higher resolution summaries are stored in the network and can be obtained via queries. In the time domain, historical data stored in sensor nodes exhibit a finer resolution for more recent data, and a coarser resolution for older data. Our methods consider the hardware limitations of sensor nodes. So, the result is expected to save sensors' energy significantly, and thus, can support long-term monitoring WSN applications. A prototyping system is developed to verify its feasibility. Simulation results also show the efficiency of MRCQ compared to existing work.
Information Retrieval in Biomedicine: Natural Language Processing for Knowledge Integration, 1st edition
Authors: Violaine Prince, Mathieu Roche, Violaine Prince, Mathieu Roche
Venue:  (2009)

Today, there is an intense interest for bio natural language processing (NLP) creating a need among researchers, academicians, and practitioners for a comprehensive publication of articles in this area. Information Retrieval in Biomedicine: Natural Language Processing for Knowledge Integration provides relevant theoretical frameworks and the latest empirical research findings in this area according to a linguistic granularity. As a critical mass of advanced knowledge, this book presents original applications, going beyond existing publications while opening up the road for a broader use of NLP in biomedicine.
Development and Applications of Wireless Group Support Systems in Mobile Business
Authors: Shin-Yuan Hung, Chia-An Tsai, Pei-Jeng Dai
Venue: Proceedings of the 2009 Eighth International Conference on Mobile Business (2009)

The new generation of wireless technologies has provided various wireless applications for business to conduct group decisions. Wireless devices provide several advantages to typical group decision support systems (GSS) by overcoming the existing limitations. At this moment, wireless group decision support systems (WGSS) have prompted multiple decision makers to consider these systems for a group meeting because of their flexibility and mobility. WGSS was further developed to overcome its limitations. The prototype consists of two components: the GSS server and WGSS devices (tablet PC, PDA, and cell phone). Quantitative data about user satisfaction for information, perceived enjoyment and perceived mobility with the system was collected from a questionnaire and t-tested. This study also highlighted WGSS applications to associated participants.
Ground Plane Estimation Based on Virtual Camera Rotation
Authors: Adria Perez-Rovira, Brais Martinez, Xavier Binefa
Venue: Proceeding of the 2007 conference on Artificial Intelligence Research and Development (2007)

In this paper we present a novel method to obtain the ground plane orientation. We assume that multiple objects are moving rigidly on a ground plane observed by a fixed camera. With an automatic tracking of some object features we do a classical “Structure from Motion” (SfM) method. This give us a static object viewed for a hypothetical camera called a “virtual camera”. This camera shares the same intrinsic parameters with the real camera but moves differently due to real object motion. Assuming that the object rotates around the plane normal (equivalent to say over the ground plane), and that the virtual camera will rotate around the same vector, we use the virtual camera positions along the sequence to estimate this rotation axis, the ground plane normal.
Empowering researchers to detect interaction patterns in e-collaboration
Authors: Andreas Harrer, Rakheli Hever, Sabrina Ziebarth
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

This paper describes an approach to support practitioners in the analysis of computer-supported learning processes by utilizing logfiles of learners' actions captured by the system. We enable researchers and teachers to identify and search for insightful patterns of the learning process in two ways: on the one hand patterns can be specified explicitly to be searched in logfiles; on the other hand automatic discovery of patterns that match configurable parameters is used to find most typical sequences in the logfiles. Both features have been realized in a stand-alone tool that accepts generic logfiles usable with a potentially wide variety of different learning systems. This is shown in an example of practical use of this tool in a project that supports researchers and moderators of graphical electronic discussions.
Reducing Bias Effects in DOP Parameter Estimation
Authors: Evita Linardaki
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

Data Oriented Parsing is a natural language processing model that analyses new input based on past experience. The underlying idea is to extract a set of fragment-probability pairs from a given treebank and use these concrete experiences to construct new utterance analyses. Initially, probabilities were based on the fragments' relative frequency of occurrence. This estimator, however, was soon shown to be biased towards large corpus trees [8] and inconsistent [10]. To alleviate the effects of bias on performance a set of heuristic constraints was put in force. Other estimators addressing these issues have since then been proposed. This paper seeks to show that the most commonly used DOP estimators are in fact susceptible to strong size-sensitive bias effects and to present a new estimation algorithm that greatly reduces these effects of bias on performance without complicating the estimation process.
Bayesian Networks to Combine Intensity and Color Information in Face Recognition
Authors: Guillaume Heusch, Sébastien Marcel
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

We present generative models dedicated to face recognition. Our models consider data extracted from color face images and use Bayesian Networks to model relationships between different observations derived from a single face. Specifically, the use of color as a complementary observation to local, grayscale-based features is investigated. This is done by means of new generative models, combining color and grayscale information in a principled way. Color is either incorporated at the global face level, at the local facial feature level, or at both levels. Experiments on the face authentication task are conducted on two benchmark databases, XM2VTS and BANCA. Obtained results show that integrating color in an intelligent manner improves the performance over a similar baseline system acting on grayscale only, but also over an Eigenfaces-based system were information from different color channels are treated independently.