Regular Languages of Thin Trees

An infinite tree is called thin if it contains only countably many infinite branches. Thin trees can be seen as intermediate structures between infinite words and infinite trees. In this work we investigate properties of regular languages of thin trees. Our main tool is an algebra suitable for thin trees. Using this framework we characterize various classes of regular languages: commutative, open in the standard topology, and definable in weak MSO logic among all trees. We also show that in various meanings thin trees are not as rich as all infinite trees. In particular we observe a collapse of the parity index to the level (1, 3) and a collapse of the topological complexity to co-analytic sets. Moreover, a gap property is shown: a regular language of thin trees is either weak MSO-definable among all trees or co-analytic-complete.     

Hydrophilic polycarbonate chips for generation of oil-in-water (O/W) and water-in-oil-in-water (W/O/W) emulsions

Modification of the surfaces of polycarbonate (PC) with the use of a solution of tin (II) chloride renders them hydrophilic. The surface draping is stable against exposure to water and to alcohols. Exposure to alkanes reduces but does not diminish the effect. The method is compatible—in using the same solvent and temperature—with the hydrophobic modification of PC (Jankowski et al. in Lab Chip 11:1151–1156, 2011). The combination of these methods makes it possible to generate single and multiple monodisperse emulsions with the use of flow-focusing junctions in systems made in PC—a material that is suitable for fabrication of multilayer, high-throughput microfluidic devices.     

Hydrophilic polycarbonate chips for generation of oil-in-water (O/W) and water-in-oil-in-water (W/O/W) emulsions

Modification of the surfaces of polycarbonate (PC) with the use of a solution of tin (II) chloride renders them hydrophilic. The surface draping is stable against exposure to water and to alcohols. Exposure to alkanes reduces but does not diminish the effect. The method is compatible—in using the same solvent and temperature—with the hydrophobic modification of PC Jankowski et al. ( Lab Chip 11:748–752, 2011). The combination of these methods makes it possible to generate single and multiple monodisperse emulsions with the use of flow-focusing junctions in systems made in PC—material that is suitable for fabrication of multilayer, high throughput microfluidic devices.     

Low-latency atomic broadcast in the presence of contention

The Atomic Broadcast algorithm described in this paper can deliver messages in two communication steps, even if multiple processes broadcast at the same time. It tags all broadcast messages with the local real time, and delivers all messages in the order of these timestamps. Both positive and negative statements are used: “m broadcast at time 51” vs. “no messages broadcast between times 31 and 51”. To prevent crashed processes from blocking the system, the -elected leader broadcasts negative statements on behalf of the processes it suspects () to have crashed. A new cheap Generic Broadcast algorithm is used to ensure consistency between conflicting statements. It requires only a majority of correct processes (n > 2f) and, in failure-free runs, delivers all non-conflicting messages in two steps. The main algorithm satisfies several new lower bounds, which are proved in this paper.     

Control of Robot Manipulators in Terms of Quasi-Velocities

In this paper we present new control algorithms for robots with dynamics described in terms of quasi-velocities (Kozłowski, Identification of articulated body inertias and decoupled control of robots in terms of quasi-coordinates. In: Proc. of the 1996 IEEE International Conference on Robotics and Automation, pp. 317–322. IEEE, Piscataway, 1996a; Zeitschrift für Angewandte Mathematik und Mechanik 76(S3):479–480, 1996c; Robot control algorithms in terms of quasi-coordinates. In: Proc. of the 34 Conference on Decision and Control, pp. 3020–3025, Kobe, 11–13 December 1996, 1996d). The equations of motion are written using spatial quantities such as spatial velocities, accelerations, forces, and articulated body inertia matrices (Kozłowski, Standard and diagonalized Lagrangian dynamics: a comparison. In: Proc. of the 1995 IEEE Int. Conf. on Robotics and Automation, pp. 2823–2828. IEEE, Piscataway, 1995b; Rodriguez and Kreutz, Recursive Mass Matrix Factorization and Inversion, An Operator Approach to Open- and Closed-Chain Multibody Dynamics, pp. 88–11. JPL, Dartmouth, 1998). The forward dynamics algorithms incorporate new control laws in terms of normalized quasi-velocities. Two cases are considered: end point trajectory tracking and trajectory tracking algorithm, in general. It is shown that by properly choosing the Lyapunov function candidate a dynamic system with appropriate feedback can be made asymptotically stable and follows the desired trajectory in the task space. All of the control laws have a new architecture in the sense that they are derived, in the so-called quasi-velocity and quasi-force space, and at any instant of time generalized positions and forces can be recovered from order recursions, where denotes the number of degrees of freedom of the manipulator. This paper also contains the proposition of a sliding mode control, originally introduced by Slotine and Li (Int J Rob Res 6(3):49–59, 1987), which has been extended to the sliding mode control in the quasi-velocity and quasi-force space. Experimental results illustrate behavior of the new control schemes and show the potential of the approach in the quasi-velocity and quasi-force space. Authors are with Chair of Control and Systems Engineering.     

On the robust control of nonlinear systems

In this paper we consider robust stabilization of the class of nonlinear plants of the form $$\dot x = f(x) + \sum\limits_{i = 1}^m {g_i } (x)u_i (t),$$ which are equivalent, under smooth state space coordinate transformations and nonlinear state feedback, to controllable systems. This approach is very sensitive for unknown parameters' values. Parameter adaptation may be used as a technique to robustify minimum-phase systems [3]. We give an example of a locally stable adaptive tracking system in which the last assumption is weakened. The minimum-phase plant considered in the paper is a current-controlled squirrel cage induction motor.     

Comparison of virtual path bandwidth assignment and routing methods

The virtual path (VP) can simplifyAtm network management by minimizing connection routing and admission costs, and by facilitating the layered control of resources. However, fully exploiting these advantages may lead to a large number of relatively low capacity virtual paths travelling on each physical link. If each VP is treated as a separate unit, as is commonly assumed, low path capacities will lead to low network utilisation. This paper carefully examines the trade-off between simplification through traffic separation and improved efficiency due to traffic consolidation. We review existing vp bandwidth assignment and control techniques, and propose a new vp tagging control method. A comparison shows that by permitting resource sharing between paths it is possible to influence significantly the trade-off between simplified network management and multiplexing gain from traffic consolidation.     

Casein kinase 2 down-regulation and activation by polybasic peptides are mediated by acidic residues in the 55-64 region of the beta-subunit. A study with calmodulin as phosphorylatable substrate

The noncatalytic beta-subunit is responsible for the latency of casein kinase 2 (CK2) activity toward calmodulin. Twenty-one mutants of the beta-subunit bearing either deletions or Ala substitutions for charged residues in the 5-6, 55-70, and 171-178 sequences have been assayed for their ability to substitute for wild-type beta-subunit as a suppressor of activity toward calmodulin. The only mutations that reduced the ability of the beta-subunit to suppress calmodulin phosphorylation activity, though being compatible with normal reconstitution of CK2 holoenzyme, were those affecting Asp55, Glu57 and the whole triplet Glu59-Asp-Glu61. The activity of CK2 holoenzyme, either native or reconstituted, toward calmodulin can be elicited by a variety of polybasic effectors, including polylysine, polyarginine, salmine, and histones H4, H3, and, to a lesser extent, H2a and H2b. Histone H1 and polyamines are conversely ineffective. The latent "calmodulin kinase" activity of CK2 can also be specifically unmasked by a peptide (alpha[66-86]) reproducing a basic insert of the catalytic subunit. This effect is reversed by equimolar addition of a peptide (beta[55-71]) including the 55-64 acidic stretch of the beta-subunit. Comparable polylysine stimulation was observed with the holoenzymes reconstituted with either beta wt or the beta mutants capable of assembling with the alpha-subunit, with the notable exception of those bearing Ala substitutions for acidic residues at positions 55, 57, and 59-61. These were nearly insensitive to 42 nM polylysine, which conversely promotes a more than 10-fold increase of calmodulin phosphorylation with wild-type beta.(ABSTRACT TRUNCATED AT 250 WORDS)     

Optimization of output power in hollow-waveguide lasers

We present an approximate analysis of the nonlinear operation of the hollow-waveguide laser, including gain saturation and longitudinal- as well as transverse-field distribution of the laser mode. The model presented is general and can be applied to the study of an arbitrary configuration of the waveguide laser. The laser characteristics obtained reveal that the optimal position of the output mirror (which provides maximal power efficiency of the laser system with the other parameters constant) depends on the output-power level and the mirror-reflectivity coefficient. Moreover, it has been shown that when an addition device is introduced into the cavity, the power efficiency also depends on which end of the laser the light power is extracted from.