On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection

Extended regular expressions (with complement and intersection) are used in many applications due to their succinctness. In particular, regular expressions extended with intersection only (also called semi-extended) can already be exponentially smaller than standard regular expressions or equivalent nondeterministic finite automata (NFA). For practical purposes it is important to study the average behaviour of conversions between these models. In this paper, we focus on the conversion of regular expressions with intersection to nondeterministic finite automata, using partial derivatives and the notion of support. First, we give a tight upper bound of 2O(n) for the worst-case number of states of the resulting partial derivative automaton, where n is the size of the expression. Using the framework of analytic combinatorics, we then establish an upper bound of (1.056 + o(1))n for its asymptotic average-state complexity, which is significantly smaller than the one for the worst case. (c) IFIP International Federation for Information Processing 2016

LNCS

We provide a procedure for detecting the sub-segments of an incrementally observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern specification language, we use timed regular expressions, a formalism well-suited for expressing properties of concurrent asynchronous behaviors embedded in metric time. We construct a timed automaton accepting the timed language denoted by ϕ and modify it slightly for the purpose of matching. We then apply zone-based reachability computation to this automaton while it reads ω, and retrieve all the matching segments from the results. Since the procedure is automaton based, it can be applied to patterns specified by other formalisms such as timed temporal logics reducible to timed automata or directly encoded as timed automata. The procedure has been implemented and its performance on synthetic examples is demonstrated

Influence of porosity on the electrical sensing zone and laser diffraction sizing of silicas - a collaborative study

The objective of a continuing study by the Belgian Particle Technology Group involves difficulties in practical size determinations. This part describes the behaviour of silicas with different porosities during sizing by electrical sensing zone and laser diffraction methods. Anisotropy and porosity were identified to be important particle characteristics in understanding the differences between the two methods. Especially large pore diameters and pore volumes were found to be responsible for shifts in size distribution of 50 to 100%. The use of optical values and optical models was shown to influence these shifts considerably. In the case of spherical silica particles with moderate porosity, no significant differences could be found between the two sizing methods.status: publishe

Particle Sizing By Photon-correlation Spectroscopy .4. Resolution of Bimodals and Comparison With Other Particle Sizing Methods

The practical performances of single and multi-angle photon correlation spectroscopy (PCS) for resolving bimodal distributions of industrial poly (methyl methacrylate) samples was investigated in a comparative study by several users affiliated to academic and industrial groups and by two suppliers of commercial equipment. The results for the harmonic intensity averaged diameters obtained by cumulants analysis reported by the different laboratories are in agreement, in addition to the results for the normalized second cumulants. The uncertainty on the latter quantities is large, however. For the bimodal samples with two populations with average diameters in a ratio of about 2.5: 1, not all users were able to resolve the distribution in its components by single-angle PCS. Some slight improvement was obtained by multi-angle PCS. Other indirect techniques (polarization intensity differential scattering, static light scattering data and disc photosedimentometer) appeared to be superior for resolving the bimodal distributions

The Effects of an Area of an Overlapping Region of Two Textures and Their Compound Outline on Texture Laciness

Three experiments were performed to examine how the spatial arrangement of two texture squares affected the occurrence of texture laciness, which is named by Watanabe and Cavanagh (1992). When two texture squares were presented with a part of them overlapping, one square is seen through the other in front of it for some arrangement. Varied were the area of the overlapping region of the squares and the compound outline produced by the squares. Ten undergraduates rated the stimuli generated on a color CRT display according to texture laciness. The experiments showed that the rating of laciness was higher where the compound outline of the squares was easily decomposed into two squares rather than where it was not. The area of the overlapping region did not produce any difference. The results indicate that texture laciness is affected by perceptual organization of the squares in the display

LIPASES : BIOTRANSFORMATIONS, ACTIVE SITE MODELS AND KINETICS

Lipases can be used to obtain various (chiral) intermediates. To select a suitable hydrolytic enzyme from the increasing number of commercially available lipases application of active-site models may be very useful. Since the hydrolysis takes place at the interface, the kinetics of lipase catalyzed reactions are strongly dependend upon the quantity and quality of the interface. A newly developed dynamic method, based on measuring the droplet-size distribution by light scattering (Fraunhofer diffraction), has proven to be very useful to measure the total interfacial area of a non-stabilized emulsion. In an alternative approach lipase kinetics could be determined by using a hollow fiber membrane reactor. Both approaches indicate that there is a linear relationship between the rate of lipolysis and the interfacial area. The effect of the quality of the interface on the enzymic hydrolysis reaction is currently being studied to optimize both the rate as well as the (stereo)selectivity of the hydrolysis

Dogmas and controversies in compression therapy: Report of an International Compression Club (ICC) meeting, Brussels, May 2011

The International Compression Club (ICC) is a partnership between academics, clinicians and industry focused upon understanding the role of compression in the management of different clinical conditions. The ICC meet regularly and from these meetings have produced a series of eight consensus publications upon topics ranging from evidence-based compression to compression trials for arm lymphoedema. All of the current consensus documents can be accessed on the ICC website (http://www.icc-compressionclub.com/index.php). In May 2011, the ICC met in Brussels during the European Wound Management Association (EWMA) annual conference. With almost 50 members in attendance, the day-long ICC meeting challenged a series of dogmas and myths that exist when considering compression therapies. In preparation for a discussion on beliefs surrounding compression, a forum was established on the ICC website where presenters were able to display a summary of their thoughts upon each dogma to be discussed during the meeting. Members of the ICC could then provide comments on each topic thereby widening the discussion to the entire membership of the ICC rather than simply those who were attending the EWMA conference. This article presents an extended report of the issues that were discussed, with each dogma covered in a separate section. The ICC discussed 12 'dogmas' with areas 1 through 7 dedicated to materials and application techniques used to apply compression with the remaining topics (8 through 12) related to the indications for using compression. © 2012 John Wiley & Sons Ltd and Medicalhelplines.com Inc