An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Veränderungen der Farbe und thermischen Stabilität der Muskelproteine von Räucherforellen während der Kühllagerung

The aim of the investigation was to prove if different farming conditions like conventional and organical farming of rainbow trout may cause differences in quality which are detectable by physical methods such as colour measurement and differential scanning calorimetry. Colour measurement revealed remarkable differences in lightness. Smoked trouts originating from conventionally farmed fish were much lighter than those of organically farmed trouts. This difference in L* could already be found when colour measurements were taken on the raw material. However, during chilled storage differences were equalized. Redness and yellowness were not significantly influenced by farming and did not change remarkably during chill storage. Based on earlier investigations on changes in thermal stability caused by heating, DSC curves of smoked trout could be used to verify that the core temperature of smoked fish had reached at least 60 °C during hot smoking process. This temperature is demanded by the guidelines of the German Food Code. In the DSC curves only the actin peak was still visible. All other proteins were obviously denatured during the hot smoking. When DSC curves were taken from smoked trout after different durations of chilled storage it could be seen that the denaturation temperature of actin decreased almost linearly with progression of storage time.

Design, Construction and Testing of a Hydraulic Power Take-Off for Wave Energy Converters

This paper presents the construction, mathematical modeling and testing of a scaled universal hydraulic Power Take-Off (PTO) device for Wave Energy Converters (WECs). A specific prototype and test bench were designed and built to carry out the tests. The results obtained from these tests were used to adjust an in-house mathematical model. The PTO was initially designed to be coupled to a scaled wave energy capture device with a low speed and high torque oscillating motion and high power fluctuations. Any Energy Capture Device (ECD) that fulfils these requirements can be coupled to this PTO, provided that its scale is adequately defined depending on the rated power of the full scale prototype. The initial calibration included estimation of the pressure drops in the different components, the pressurization time of the oil inside the hydraulic cylinders and the volumetric efficiency of the complete circuit. Since the overall efficiency measured during the tests ranged from 0.69 to 0.8 and the dynamic performance of the PTO was satisfactory, the results are really promising and it is believed that this solution might prove effective in real devices.

Structural study of CUG-repeating small RNAs complexed with silencing suppressor P19

The study is focused on structural aspects of interaction between silencing suppressor p19 and CUG-repeating small RNAs. The work involves crystal structure determination of a protein-unbound RNA form and RNA fragments of various lengths (19, 20, 21 nucleotides) complexed with p19-suppressor. Results prove the ability of silencing suppressor p19 to bind CUG-repeating small RNAs, as well as reveal features of U•U mismatches flanked by Watson-Crick C•G base pairs in p19-bound and p19-unbound states. In addition, structural data reveal a p19 specific site for anchoring extra nucleotides in small RNAs. In general, the study extends our knowledge about the mechanism of small RNA recognition by silencing suppressor p19.

Survey of El Nino 1957-58 in its relation to tropical pacific meteorology

ENGLISH: The survey aims at demonstrating the close relationship between anomalies of sea temperature observed along the tropical Pacific coast of the Americas and those observed in the oceanwide tropical belt. The survey also covers the variations, from 1952 to the present, of the trade-wind circulations which prove to be responsible for the major part of the anomalies in sea surface temperature. Finally, the thermal feedback effects of the oceanic anomalies upon the large-scale circulation of the atmosphere are treated in a preliminary fashion. SPANISH: El estudio trata de demostrar la estrecha relación que existe entre las anomalías observadas de la temperatura del mar a lo largo de la costa tropical de las Américas y las observadas en la faja tropical de todo el océano. El estudio incluye también las variaciones, desde 1952 hasta el presente, de la circulación de los vientos alisios que demuestra ser responsable por la mayor parte de las anomalías de temperatura de la superficie del mar. Finalmente los efectos termales de las anomalías oceánicas sobre la circulación en gran escala de la atmósfera son tratados en forma preliminar. (PDF contains 62 pages.)

Netzmaterial und Selektivität in der Ostseedorschfischerei

Since some time fishing gear scientists express their concern over an observed tendency of the commercial fishery to proceed from codend netting yarns of 3 to 4 mm to higher values or to switch to the use of double instead of single yarn. A recent large EU-financed project collected statistical evidence on the detrimental effect of such behaviour on the selectivity of the codends. In this context data on cod are very scarce. German-Polish experiments in the Baltic from 1999 to 2001 aimed at filling this gap. The investigations prove a clear evidence of a negativ ecorrelation between netting yarn diameter and selectivity factor and/or L50. In addition they demonstrate a clear negative effect on selectivity when switching from single to double yarn The effects are of an order of magnitude that counteracting effects as catch size are masked and support the decision of the IBSFC to define maximum yarn diameters both for single and double yarn netting. A measuring instrument for the enforcement of these new regulations was introduced right in time.

The forward problem for the electromagnetic Helmholtz equation

157 p.

Functional analysis of cancer-associated EGFR mutants using a cellular assay with YFP-tagged EGFR intracellular domain

Background: The presence of EGFR kinase domain mutations in a subset of NSCLC patients correlates with the response to treatment with the EGFR tyrosine kinase inhibitors gefitinib and erlotinib. Although most EGFR mutations detected are short deletions in exon 19 or the L858R point mutation in exon 21, more than 75 different EGFR kinase domain residues have been reported to be altered in NSCLC patients. The phenotypical consequences of different EGFR mutations may vary dramatically, but the majority of uncommon EGFR mutations have never been functionally evaluated. Results: We demonstrate that the relative kinase activity and erlotinib sensitivity of different EGFR mutants can be readily evaluated using transfection of an YFP-tagged fragment of the EGFR intracellular domain (YFP-EGFR-ICD), followed by immunofluorescence microscopy analysis. Using this assay, we show that the exon 20 insertions Ins770SVD and Ins774HV confer increased kinase activity, but no erlotinib sensitivity. We also show that, in contrast to the common L858R mutation, the uncommon exon 21 point mutations P848L and A859T appear to behave like functionally silent polymorphisms. Conclusion: The ability to rapidly obtain functional information on EGFR variants of unknown relevance using the YFP-EGFR-ICD assay might prove important in the future for the management of NSCLC patients bearing uncommon EGFR mutations. In addition, our assay may be used to determine the response of resistant EGFR mutants to novel second-generation TKIs.

Procedimiento de refutación para un conjunto de restricciones sobre documentos XML

We present a prototype that implements a set of logical rules to prove the satis ability for a class of speci cations on XML documents. Speci cations are given by means of constraints built on Boolean XPath patterns. The main goal of this tool is to test if a given speci cation is satis able or not, showing the history of the execution. It can also be used to test if a given document is a model of a given speci cation and, as a subproduct, it allows to look for all the relations (monomorphisms) between two patterns or the result of doing some operations by combining patterns in di erent ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use.

Simple Coalitional Strategy Profiles in Repeated Games

This paper is a version of the discussion paper titled "Simple coalitional strategy profiles"

Asymptotic analysis of thin plates under normal load and horizontal edge thrust

We consider the radially symmetric nonlinear von Kármán plate equations for circular or annular plates in the limit of small thickness. The loads on the plate consist of a radially symmetric pressure load and a uniform edge load. The dependence of the steady states on the edge load and thickness is studied using asymptotics as well as numerical calculations. The von Kármán plate equations are a singular perturbation of the Fӧppl membrane equation in the asymptotic limit of small thickness. We study the role of compressive membrane solutions in the small thickness asymptotic behavior of the plate solutions.

We give evidence for the existence of a singular compressive solution for the circular membrane and show by a singular perturbation expansion that the nonsingular compressive solution approach this singular solution as the radial stress at the center of the plate vanishes. In this limit, an infinite number of folds occur with respect to the edge load. Similar behavior is observed for the annular membrane with zero edge load at the inner radius in the limit as the circumferential stress vanishes.

We develop multiscale expansions, which are asymptotic to members of this family for plates with edges that are elastically supported against rotation. At some thicknesses this approximation breaks down and a boundary layer appears at the center of the plate. In the limit of small normal load, the points of breakdown approach the bifurcation points corresponding to buckling of the nondeflected state. A uniform asymptotic expansion for small thickness combining the boundary layer with a multiscale approximation of the outer solution is developed for this case. These approximations complement the well known boundary layer expansions based on tensile membrane solutions in describing the bending and stretching of thin plates. The approximation becomes inconsistent as the clamped state is approached by increasing the resistance against rotation at the edge. We prove that such an expansion for the clamped circular plate cannot exist unless the pressure load is self-equilibrating.

Invariants, Lie-Bäcklund operators and Bäcklund transformations

This thesis is mainly concerned with the application of groups of transformations to differential equations and in particular with the connection between the group structure of a given equation and the existence of exact solutions and conservation laws. In this respect the Lie-Bäcklund groups of tangent transformations, particular cases of which are the Lie tangent and the Lie point groups, are extensively used.

In Chapter I we first review the classical results of Lie, Bäcklund and Bianchi as well as the more recent ones due mainly to Ovsjannikov. We then concentrate on the Lie-Bäcklund groups (or more precisely on the corresponding Lie-Bäcklund operators), as introduced by Ibragimov and Anderson, and prove some lemmas about them which are useful for the following chapters. Finally we introduce the concept of a conditionally admissible operator (as opposed to an admissible one) and show how this can be used to generate exact solutions.

In Chapter II we establish the group nature of all separable solutions and conserved quantities in classical mechanics by analyzing the group structure of the Hamilton-Jacobi equation. It is shown that consideration of only Lie point groups is insufficient. For this purpose a special type of Lie-Bäcklund groups, those equivalent to Lie tangent groups, is used. It is also shown how these generalized groups induce Lie point groups on Hamilton's equations. The generalization of the above results to any first order equation, where the dependent variable does not appear explicitly, is obvious. In the second part of this chapter we investigate admissible operators (or equivalently constants of motion) of the Hamilton-Jacobi equation with polynornial dependence on the momenta. The form of the most general constant of motion linear, quadratic and cubic in the momenta is explicitly found. Emphasis is given to the quadratic case, where the particular case of a fixed (say zero) energy state is also considered; it is shown that in the latter case additional symmetries may appear. Finally, some potentials of physical interest admitting higher symmetries are considered. These include potentials due to two centers and limiting cases thereof. The most general two-center potential admitting a quadratic constant of motion is obtained, as well as the corresponding invariant. Also some new cubic invariants are found.

In Chapter III we first establish the group nature of all separable solutions of any linear, homogeneous equation. We then concentrate on the Schrodinger equation and look for an algorithm which generates a quantum invariant from a classical one. The problem of an isomorphism between functions in classical observables and quantum observables is studied concretely and constructively. For functions at most quadratic in the momenta an isomorphism is possible which agrees with Weyl' s transform and which takes invariants into invariants. It is not possible to extend the isomorphism indefinitely. The requirement that an invariant goes into an invariant may necessitate variants of Weyl' s transform. This is illustrated for the case of cubic invariants. Finally, the case of a specific value of energy is considered; in this case Weyl's transform does not yield an isomorphism even for the quadratic case. However, for this case a correspondence mapping a classical invariant to a quantum orie is explicitly found.

Chapters IV and V are concerned with the general group structure of evolution equations. In Chapter IV we establish a one to one correspondence between admissible Lie-Bäcklund operators of evolution equations (derivable from a variational principle) and conservation laws of these equations. This correspondence takes the form of a simple algorithm.

In Chapter V we first establish the group nature of all Bäcklund transformations (BT) by proving that any solution generated by a BT is invariant under the action of some conditionally admissible operator. We then use an algorithm based on invariance criteria to rederive many known BT and to derive some new ones. Finally, we propose a generalization of BT which, among other advantages, clarifies the connection between the wave-train solution and a BT in the sense that, a BT may be thought of as a variation of parameters of some. special case of the wave-train solution (usually the solitary wave one). Some open problems are indicated.

Most of the material of Chapters II and III is contained in [I], [II], [III] and [IV] and the first part of Chapter V in [V].

Effect of an annular pupil filter on differential confocal microscopy

Combining differential confocal microscopy and an annular pupil filter, we obtained the normalized axial intensity distribution curve of an optical system. We used the sharp slopes of the axial response curve of the optical system to measure the surface profile of a reflection grating. Experimental results prove that this method can extend the axial dynamic range and improve the transverse resolution of three-dimensional profilometry by sacrificing axial resolution. (C) 2000 Optical Society of America.

Synthesis of (±)-7,8-epoxy-4-basmen-6-one by a transannular cyclization strategy

The first synthesis of the cembranoid natural product (±)-7,8-epoxy-4-basmen-6- one (1) is described. Key steps of the synthetic route include the cationic cyclization of the acid chloride from 15 to provide the macrocycle 16, and the photochemical transannular radical cyclization of the ester 41 to form the tricyclic product 50. Product 50 was transformed into 1 in ten steps. Transition-state molecular modeling studies were found to provide accurate predictions of the structural and stereochemical outcomes of cyclization reactions explored experimentally in the development of the synthetic route to 1. These investigations should prove valuable in the development of transannular cyclization as a strategy for synthetic simplification.

Determinantal hypersurface from a geometric perspective

In this paper, we give a geometric interpretation of determinantal forms, both in the case of general matrices and symmetric matrices. We will prove irreducibility of the determinantal singular loci and state its dimension. We also provide detailed description of the singular locus for small dimensions.