Incremental analysis of logic programs

Global analyzers traditionally read and analyze the entire program at once, in a non-incremental way. However, there are many situations which are not well suited to this simple model and which instead require reanalysis of certain parts of a program which has already been analyzed. In these cases, it appears inefficient to perform the analysis of the program again from scratch, as needs to be done with current systems. We describe how the fixpoint algorithms in current generic analysis engines can be extended to support incremental analysis. The possible changes to a program are classified into three types: addition, deletion, and arbitrary change. For each one of these, we provide one or more algorithms for identifying the parts of the analysis that must be recomputed and for performing the actual recomputation. The potential benefits and drawbacks of these algorithms are discussed. Finally, we present some experimental results obtained with an implementation of the algorithms in the PLAI generic abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.

Hybrid incremental modeling based on least squares and fuzzy K-NN for monitoring tool wear in turning processes

There is now an emerging need for an efficient modeling strategy to develop a new generation of monitoring systems. One method of approaching the modeling of complex processes is to obtain a global model. It should be able to capture the basic or general behavior of the system, by means of a linear or quadratic regression, and then superimpose a local model on it that can capture the localized nonlinearities of the system. In this paper, a novel method based on a hybrid incremental modeling approach is designed and applied for tool wear detection in turning processes. It involves a two-step iterative process that combines a global model with a local model to take advantage of their underlying, complementary capacities. Thus, the first step constructs a global model using a least squares regression. A local model using the fuzzy k-nearest-neighbors smoothing algorithm is obtained in the second step. A comparative study then demonstrates that the hybrid incremental model provides better error-based performance indices for detecting tool wear than a transductive neurofuzzy model and an inductive neurofuzzy model.

Learning Bayesian networks from data by the incremental compilation of new network polynomials

Probabilistic graphical models are a huge research field in artificial intelligence nowadays. The scope of this work is the study of directed graphical models for the representation of discrete distributions. Two of the main research topics related to this area focus on performing inference over graphical models and on learning graphical models from data. Traditionally, the inference process and the learning process have been treated separately, but given that the learned models structure marks the inference complexity, this kind of strategies will sometimes produce very inefficient models. With the purpose of learning thinner models, in this master thesis we propose a new model for the representation of network polynomials, which we call polynomial trees. Polynomial trees are a complementary representation for Bayesian networks that allows an efficient evaluation of the inference complexity and provides a framework for exact inference. We also propose a set of methods for the incremental compilation of polynomial trees and an algorithm for learning polynomial trees from data using a greedy score+search method that includes the inference complexity as a penalization in the scoring function.

Rapid generation of incremental truncation libraries for protein engineering using α-phosphothioate nucleotides

Incremental truncation for the creation of hybrid enzymes (ITCHY) is a novel tool for the generation of combinatorial libraries of hybrid proteins independent of DNA sequence homology. We herein report a fundamentally different methodology for creating incremental truncation libraries using nucleotide triphosphate analogs. Central to the method is the polymerase catalyzed, low frequency, random incorporation of α-phosphothioate dNTPs into the region of DNA targeted for truncation. The resulting phosphothioate internucleotide linkages are resistant to 3′→5′ exonuclease hydrolysis, rendering the target DNA resistant to degradation in a subsequent exonuclease III treatment. From an experimental perspective the protocol reported here to create incremental truncation libraries is simpler and less time consuming than previous approaches by combining the two gene fragments in a single vector and eliminating additional purification steps. As proof of principle, an incremental truncation library of fusions between the N-terminal fragment of Escherichia coli glycinamide ribonucleotide formyltransferase (PurN) and the C-terminal fragment of human glycinamide ribonucleotide formyltransferase (hGART) was prepared and successfully tested for functional hybrids in an auxotrophic E.coli host strain. Multiple active hybrid enzymes were identified, including ones fused in regions of low sequence homology.

Perceived emotional intelligence, general intelligence and early professional success: predictive and incremental validity

Although the study of factors affecting career success has shown connections between biographical and other aspects related to ability, knowledge and personality, few studies have examined the relationship be-tween emotional intelligence and professional success at the initial career stage. When these studies were carried out, the results showed significant relationships between the dimensions of emotional intelligence (emotional self-awareness, self-regulation, social awareness or social skills) and the level of professional competence. In this paper, we analyze the relationship between perceived emotional intelligence, measured by the Trait Meta-Mood Scale (TMMS-24) questionnaire, general intelligence assessed by the Cattell factor "g" test, scale 3, and extrinsic indicators of career success, in a sample of 130 graduates at the beginning of their careers. Results from hierarchical regression analysis indicate that emotional intelligence makes a specific contribution to the prediction of salary, after controlling the general intelligence effect. The perceived emotional intelligence dimensions of TMMS repair, TMMS attention and sex show a higher correlation and make a greater contribution to professional success than general intelligence. The implications of these results for the development of socio-emotional skills among University graduates are discussed.

Incremental cost, weight and leadtime impacts of adding improved padding to motor vehicle interiors. Final report.

Mode of access: Internet.

Incremental cost, weight and leadtime impacts of requiring heavy truck tractor/trailer ABS. Final report.

Mode of access: Internet.

Safety cost-effectiveness of incremental changes in cross-section design - information guide.

Turner-Fairbank Highway Research Center, McLean, Va.

Incremental costs and performance benefits of various features of concrete pavements / [T.E. Hoerner, K.D. Smith, and J.E. Bruinsma]

"HRDI-11/04-04(1M500)E"--P. [4] of cover.

An incremental charge method for the analysis of nonlinear circuits.

Includes bibliographical references.

Selection of most representative training examples and incremental generation of VL₁ hypotheses : the underlying methodology and the description of programs, ESEL and AQ11 /

"UILU-ENG 78-1720"

Evaluation of incremental allocation alternatives for the prevention of significant deterioration in Illinois /

Project no. 10.096.

Incremental benefit of myocardial contrast to combined dipyridamole-exercise stress echocardiography for the assessment of coronary artery disease

Background-Although assessment of myocardial perfusion by myocardial contrast echocardiography (MCE) is feasible, its incremental benefit to stress echocardiography is not well defined. We examined whether the addition of MCE to combined dipyridamole-exercise echocardiography (DExE) provides incremental benefit for evaluation of coronary artery disease (CAD). Methods and Results-MCE was combined with DExE in 85 patients, 70 of whom were undergoing quantitative coronary angiography and 15 patients with a low probability of CAD. MCE was acquired by low-mechanical-index imaging in 3 apical views after acquisition of standard resting and poststress images. Wall motion, left ventricular opacification, and MCE components of the study were interpreted sequentially, blinded to other data. Significant (>50%) stenoses were present in 43 patients and involved 69 coronary territories. The addition of qualitative MCE improved sensitivity for the detection of CAD (91% versus 74%, P=0.02) and accurate recognition of disease extent (87% versus 65% of territories, P=0.003), with a nonsignificant reduction in specificity. Conclusions-The addition of low-mechanical-index MCE to standard imaging during DExE improves detection of CAD and enables a more accurate determination of disease extent.