A Mini-Neptune from TESS and CHEOPS Around the 120 Myr Old AB Dor Member HIP 94235

The Transiting Exoplanet Survey Satellite (TESS) mission has enabled discoveries of the brightest transiting planet systems around young stars. These systems are the benchmarks for testing theories of planetary evolution. We report the discovery of a mini-Neptune transiting a bright star in the AB Doradus moving group. HIP 94235 (TOI-4399, TIC 464646604) is a V mag = 8.31 G-dwarf hosting a 3.00-0.28+0.32R⊠mini-Neptune in a 7.7 day period orbit. HIP 94235 is part of the AB Doradus moving group, one of the youngest and closest associations. Due to its youth, the host star exhibits significant photometric spot modulation, lithium absorption, and X-ray emission. Three 0.06% transits were observed during Sector 27 of the TESS Extended Mission, though these transit signals are dwarfed by the 2% peak-To-peak photometric variability exhibited by the host star. Follow-up observations with the Characterising Exoplanet Satellite confirmed the transit signal and prevented the erosion of the transit ephemeris. HIP 94235 is part of a 50 au G-M binary system. We make use of diffraction limited observations spanning 11 yr, and astrometric accelerations from Hipparcos and Gaia, to constrain the orbit of HIP 94235 B. HIP 94235 is one of the tightest stellar binaries to host an inner planet. As part of a growing sample of bright, young planet systems, HIP 94235 b is ideal for follow-up transit observations, such as those that investigate the evaporative processes driven by high-energy radiation that may sculpt the valleys and deserts in the Neptune population

Using aromatic polyamines with high proton affinity as "proton sponge'' dopants for electrospray ionisation mass spectrometry.

Proton sponges are polyamines with high proton affinity that enable gentle deprotonation of even mildly acidic compounds. In this study, the concept of proton sponges as signal enhancing dopants for electrospray ionisation is presented for the first time. 1,8-Bis(dimethylamino) naphthalene (DMAN) and 1,8-bis(tetramethylguanidino) naphthalene (TMGN) were chosen as dopants, using methanol and acetonitrile/methanol as solvents. Individual standard compounds, compound mixtures and a diesel fuel as a complex sample matrix were investigated. Both proton sponges enhanced signal intensities in electrospray ionisation negative mode, but TMGN decomposed rapidly in methanolic solution. Significantly higher signals were only achieved using the acetonitrile/methanol mixture. On average a more than 10-fold higher signal intensity was measured with 10(-3) mol l(-1) DMAN concentration. A stronger signal increase of alcohol functionalities was observed compared to acid functionalities. All compound classes which were detected in the diesel fuel (CH-and CHOx-class) received roughly 100-fold higher signal intensities when using DMAN as a dopant. Furthermore, the number of detected compounds as well as the double bond equivalent of the detected compounds increased. The compound class distribution shifted when adding DMAN and the formerly dominant CHO2-, CHO3-, and CHO4-classes received similar relative intensities as formerly less accessible classes. The findings depict DMAN as a promising additive for electrospray ionisation negative analysis of at least mildly acidic compounds, even within complex sample material

ASF"+ - eine ASF-aehnliche Spezifikationssprache

Maintaining the main aspects of the algebraic specification language ASF as presented in [Bergstra and al.89] we have extend ASF with the following concepts: while once exported names in ASF must stay visible up to the top the module hierarchy, ASF"+ permits a more sophisticated hiding of signature names. The erroneous merging of distinct structures that occurs when importing different actualizations of the same parameterized module in ASF is avoided in ASF"+ by a more adequate form of parameter binding. The new 'Namensraum'-concept of ASF"+ permits the specifier on the one hand directly to identify the origin of hidden names and on the other to decide whether an imported module is only to be accessed or whether an important property of it is to be modified. In the first case he can access one single globally provided version; in the second he has to import a copy of the module. Finally ASF"+ permits semantic conditions on parameters and the specification of tasks for a theorem prover. (orig.)SIGLEAvailable from TIB Hannover: RO 7718(94-05) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDeutsche Forschungsgemeinschaft (DFG), Bonn (Germany)DEGerman

A generic cyclic theorem prover

We describe the design and implementation of an automated theorem prover realising a fully general notion of cyclic proof. Our tool, called CYCLIST, is able to construct proofs obeying a very general cycle scheme in which leaves may be linked to any other matching node in the proof, and to verify the general, global infinitary condition on such proof objects ensuring their soundness. CYCLIST is based on a new, generic theory of cyclic proofs that can be instantiated to a wide variety of logics. We have developed three such concrete instantiations, based on: (a) first-order logic with inductive definitions; (b) entailments of pure separation logic; and (c) Hoare-style termination proofs for pointer programs. Experiments run on these instantiations indicate that CYCLIST offers significant potential as a future platform for inductive theorem proving. © Springer-Verlag Berlin Heidelberg 2012

Silica and other materials as supports in liquid chromatography. Chromatographic tests and their importance for evaluating these supports. Part I

Reversed-phase liquid chromatography (RP-HPLC) has become a powerful and widely employed technique in the separation and analysis of a great variety of compounds with different functionalities. The most common type of stationary phase for RP-HPLC consists of nonpolar, hydrophobic organic species (e.g., octyl, octadecyl) attached by siloxane bonds to the surface of a silica support. In the first part of this article, a description of the many beneficial properties that make porous silica the most employed support in RP-HPLC will be presented, starting from the synthesis of silica. It is noteworthy that the chromatographic properties of the final column are strictly correlated to the preparation type. A silica surface possesses a number of attractive properties, but also some drawbacks. Unreacted or residual silanols interact with basic compounds and can induced peak tailing, which means a loss in chromatographic performance. This problem has lead many manufactures to produce stationary phases with reduced silanol activity which improve dramatically the peak shape of basic compounds. In the second part of this review, different approaches are proposed to obtain less reactive stationary phases