The axisymmetric crack problem in a non-homogeneous interfacial region between homogeneous half-spaces

In this paper, the axisymmetric crack problem in a non-homogeneous interfacial region between two homogeneous half-spaces is considered. It is assumed that the shear modulus varies continuously between that of the two half-spaces; and the shear modulus for the interface region is approximated by = ₀ e^mz. By using Hankel transform technique the problem is reduced to a pair of singular integral equations. The solutions of the problem are obtained for different material combinations and loading conditions; and modes I and II stress intensity factors, and the direction of a probable crack growth are calculated.     

Improvements in data reduction in direct pulse heating calorimetry

This paper describes improvements introduced in data reduction in direct heating pulse specific heat experiments. In calculations of specific heat, it is necessary to calculate the first derivative of the recorded temperature data as a function of time. The error induced by different numerical differentiation techniques can represent a significant part of the overall measurement error. Thus, different digital filtering techniques, differentiation, and smoothing algorithms were applied and tested to examine their influence on the minimization of errors induced by noise, which is unavoidable in measured signals. A minimum square error criterion was applied in designing digital filters, with arbitrary prescribed magnitude characteristics. Attention was paid to applications when one or more structural phase transitions in the specimen material occur within the temperature range covered by the experiment. The cases where the frequency spectrum of induced noise overlaps with the spectrum of temperature transient signals originating from phase transitions were analyzed in detail. The effectiveness of the methods of extracting the final specific heat data from a noisy signal using different digital filtering techniques is demonstrated.Paper presented at the Fourth International Workshop on Subsecond Thermophysics, June 27–29, 1995, Köln, Germany.     

Analysis of multi-agent activity using petri nets

This paper presents the use of place/transition petri nets (PNs) for the recognition and evaluation of complex multi-agent activities. The PNs were built automatically from the activity templates that are routinely used by experts to encode domain-specific knowledge. The PNs were built in such a way that they encoded the complex temporal relations between the individual activity actions. We extended the original PN formalism to handle the propagation of evidence using net tokens. The evaluation of the spatial and temporal properties of the actions was carried out using trajectory-based action detectors and probabilistic models of the action durations. The presented approach was evaluated using several examples of real basketball activities. The obtained experimental results suggest that this approach can be used to determine the type of activity that a team has performed as well as the stage at which the activity ended.     

Disjoint essential sets of implicates of a CQ Horn function

In this paper we study a class of CQ Horn functions introduced in Boros et al. (Ann Math Artif Intell 57(3–4):249–291, 2010). We prove that given a CQ Horn function f, the maximal number of pairwise disjoint essential sets of implicates of f equals the minimum number of clauses in a CNF representing f. In other words, we prove that the maximum number of pairwise disjoint essential sets of implicates of f constitutes a tight lower bound on the size (the number of clauses) of any CNF representation of f.     

Extending applications using an advanced approach to DLL injection and API hooking

When programmers need to modify third‐party applications, they frequently do not have access to their source code. In such cases, DLL injection and API hooking are techniques that can be used to modify applications without intervening into their source code. The commonly used varieties of injection and hooking approaches have many practical limitations: they are inconvenient for a programmer to implement, do not work reliably in conjunction with all applications and with certain low‐level machine instructions. In this paper we present two novel approaches to DLL injection and API hooking, which we call Debugger‐aided DLL injection and Single Instruction Hooking. Our approaches overcome the limitations of the state‐of‐the art approaches. Despite incurring greater execution times, our approach allows extending of the applications in situations where the comparable approaches fail. As such, it has a notable practical value for beneficial practical applications of injection and hooking approaches, which are present in malware detection programs and computer security tools. Copyright © 2010 John Wiley & Sons, Ltd.     

Explanation and reliability of prediction models: the case of breast cancer recurrence

In this paper, we describe the first practical application of two methods, which bridge the gap between the non-expert user and machine learning models. The first is a method for explaining classifiers’ predictions, which provides the user with additional information about the decision-making process of a classifier. The second is a reliability estimation methodology for regression predictions, which helps the users to decide to what extent to trust a particular prediction. Both methods are successfully applied to a novel breast cancer recurrence prediction data set and the results are evaluated by expert oncologists.     

Numerical solutions of unsteady flows with low inlet Mach numbers

This study deals with a numerical solution of a 2D unsteady flow of a compressible viscous fluid in a channel for low inlet airflow velocity. The unsteadiness of the flow is caused by a prescribed periodic motion of a part of the channel wall with large amplitudes, nearly closing the channel during oscillations. The channel is a simplified model of the glottal space in the human vocal tract and the flow can represent a model of airflow coming from the trachea, through the glottal region with periodically vibrating vocal folds, and to the human vocal tract.