Representing topoi by topological groupoids

It is shown that every topos with enough points is equivalent to the classifying topos of a topological groupoid

Új módszertani lehetőségek és ezek alkalmazása a hormonális rendszer daganatainak genetikai kivizsgálásában

The technical developments leading to revolution in clinical genetic testing offer new approaches for patients with cancer. From one mutation or one gene approach the scale of genetic testing moved to whole exome or whole genome scale. It is well known that many tumours are genetically determined ans they are part of familial tumour syndromes. In addition, some mutations indicate specific molecular targeted therapies. Although sampling and sample preparation are different for testing germline and somatic mutations, the technical background of the analysis is the same. The aim of clinical genetic testing is to identify patients who are carriers of disease-causing mutations or to test tumour tissue for the presence of genetic alterations which may be targets for therapeutic approaches. In this review the authors summarize novel possibilities offered by next-generation sequencing in clinical genetic testing of patients with endocrine tumours. In addition, the authors review recent guidelines on technical and ethical issues related to these novel methods. Orv. Hetil., 2015, 156(51), 2063-2069

Non-equilibrium surface diffusion in the O/W(110) system

In this Letter, we present results of an extensive Monte Carlo study of the O/W(110) system under non-equilibrium conditions. We study the mean square displacements and long wavelength density fluctuations of adatoms. From these quantities, we define effective and time-dependent values for the collective and tracer diffusion mobilities. These mobilities reduce to the usual diffusion constants when equilibrium is reached. We discuss our results in view of existing experimental measurements of effective diffusion barriers, and the difficulties associated with interpreting non-equilibrium data.Comment: 14 pages LaTeX and five PostScript figures; tarred, gzip'ed, and uuencoded. Uses elsart.sty and elsart12.sty which are included in the package. To appear in Surface Science Letter

Pressure broadening in the 2v_3 band of methane and its implication on atmospheric retrievals

N_2-broadened half widths and pressure shifts were obtained for transitions in the 2ν_3 methane band. Laboratory measurements recorded at 0.011 cm^(−1) resolution with a Bruker 120 HR Fouriertransform spectrometer were analysed from 5860 to 6185 cm^(−1). A 140 cm gas cell was filled with methane at room temperature and N_2 as foreign gas at pressures ranging from 125 to 900 hPa. A multispectrum nonlinear constrained least squares approach based on Optimal Estimation was applied to derive the spectroscopic parameters by simultaneously fitting laboratory spectra at different ambient pressures assuming a Voigt line-shape. At room temperature, the half widths ranged between 0.030 and 0.071 cm^(−1) atm^(−1), and the pressure shifts varied from –0.002 to –0.025 cm^(−1) atm^(−1) for transitions up to J"=10. Especially for higher rotational levels, we find systematically narrower lines than HITRAN predicts. The Q and R branch of the new set of spectroscopic parameters is further tested with ground based direct sun Fourier transform infrared (FTIR) measurements where systematic fit residuals reduce by about a factor of 3–4. We report the implication of those differences on atmospheric methane measurements using high-resolution ground based FTIR measurements as well as low-resolution spectra from the SCanning Imaging Absorption SpectroMeter for Atmospheric ChartographY (SCIAMACHY) instrument onboard ENVISAT. We find that for SCIAMACHY, a latitudinal and seasonally varying bias of about 1% can be introduced by erroneous broadening parameters

Methane spectroscopy in the near infrared and its implication on atmospheric retrievals

International audienceN2-broadened half widths and pressure shifts were obtained for transitions in the Q and R branches of the 2?3 methane band. Laboratory measurements were done from 5985 to 6185 cm?1 using spectra recorded at 0.011 cm?1 resolution with a Bruker 120 HR Fourier transform spectrometer. A 140 cm gas cell was filled with methane at room temperature and N2 as foreign gas at pressures ranging from 125 to 900 hPa. A multispectrum nonlinear constrained least squares approach based on Optimal Estimation was applied to derive the spectroscopic parameters by simultaneously fitting laboratory spectra at different ambient pressures assuming a Voigt line-shape. At room temperature, the half widths ranged between 0.030 and 0.071 cm?1 atm?1, and the pressure shifts varied from ?0.002 to ?0.025 cm?1 atm?1 for transitions up to J"=10. Especially for higher rotational levels, we find systematically narrower lines than HITRAN predicts. The new set of spectroscopic parameters is further tested with ground based direct sun FTIR measurements where fit residuals reduce by about a factor of 3?4. We report the implication of those differences on atmospheric methane measurements using high-resolution ground based FTIR measurements as well as low-resolution spectra from the SCIAMACHY instrument onboard ENVISAT. We find that for SCIAMACHY, a latitudinal and seasonally varying bias of about 1% can be introduced by erroneous broadening parameters

Kripke Semantics for Martin-L\"of's Extensional Type Theory

It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Similarly, dependent type theory is complete for locally cartesian closed categories. However, it is usually difficult to establish the coherence of interpretations of dependent type theory, i.e., to show that the interpretations of equal expressions are indeed equal. Several classes of models have been used to remedy this problem. We contribute to this investigation by giving a semantics that is standard, coherent, and sufficiently general for completeness while remaining relatively easy to compute with. Our models interpret types of Martin-L\"of's extensional dependent type theory as sets indexed over posets or, equivalently, as fibrations over posets. This semantics can be seen as a generalization to dependent type theory of the interpretation of intuitionistic first-order logic in Kripke models. This yields a simple coherent model theory, with respect to which simple and dependent type theory are sound and complete

Mechanism and treatment for learning and memory deficits in mouse models of Noonan syndrome.

In Noonan syndrome (NS) 30-50% of subjects show cognitive deficits of unknown etiology and with no known treatment. Here, we report that knock-in mice expressing either of two NS-associated mutations in Ptpn11, which encodes the nonreceptor protein tyrosine phosphatase Shp2, show hippocampal-dependent impairments in spatial learning and deficits in hippocampal long-term potentiation (LTP). In addition, viral overexpression of an NS-associated allele PTPN11(D61G) in adult mouse hippocampus results in increased baseline excitatory synaptic function and deficits in LTP and spatial learning, which can be reversed by a mitogen-activated protein kinase kinase (MEK) inhibitor. Furthermore, brief treatment with lovastatin reduces activation of the GTPase Ras-extracellular signal-related kinase (Erk) pathway in the brain and normalizes deficits in LTP and learning in adult Ptpn11(D61G/+) mice. Our results demonstrate that increased basal Erk activity and corresponding baseline increases in excitatory synaptic function are responsible for the LTP impairments and, consequently, the learning deficits in mouse models of NS. These data also suggest that lovastatin or MEK inhibitors may be useful for treating the cognitive deficits in NS

Methane retrievals from Greenhouse Gases Observing Satellite (GOSAT) shortwave infrared measurements: Performance comparison of proxy and physics retrieval algorithms

We compare two conceptually different methods for determining methane column-averaged mixing ratios image from Greenhouse Gases Observing Satellite (GOSAT) shortwave infrared (SWIR) measurements. These methods account differently for light scattering by aerosol and cirrus. The proxy method retrieves a CO_2 column which, in conjunction with prior knowledge on CO_2 acts as a proxy for scattering effects. The physics-based method accounts for scattering by retrieving three effective parameters of a scattering layer. Both retrievals are validated on a 19-month data set using ground-based X_CH_4 at 12 stations of the Total Carbon Column Observing Network (TCCON), showing comparable performance: for the proxy retrieval we find station-dependent retrieval biases from −0.312% to 0.421% of X_CH_4 a standard deviation of 0.22% and a typical precision of 17 ppb. The physics method shows biases between −0.836% and −0.081% with a standard deviation of 0.24% and a precision similar to the proxy method. Complementing this validation we compared both retrievals with simulated methane fields from a global chemistry-transport model. This identified shortcomings of both retrievals causing biases of up to 1ings and provide a satisfying validation of any methane retrieval from space-borne SWIR measurements, in our opinion it is essential to further expand the network of TCCON stations

Toward accurate CO_2 and CH_4 observations from GOSAT

The column-average dry air mole fractions of atmospheric carbon dioxide and methane (X_(CO_2) and X_(CH_4)) are inferred from observations of backscattered sunlight conducted by the Greenhouse gases Observing SATellite (GOSAT). Comparing the first year of GOSAT retrievals over land with colocated ground-based observations of the Total Carbon Column Observing Network (TCCON), we find an average difference (bias) of −0.05% and −0.30% for X_(CO_2) and X_(CH_4) with a station-to-station variability (standard deviation of the bias) of 0.37% and 0.26% among the 6 considered TCCON sites. The root-mean square deviation of the bias-corrected satellite retrievals from colocated TCCON observations amounts to 2.8 ppm for X_(CO_2) and 0.015 ppm for X_(CH_4). Without any data averaging, the GOSAT records reproduce general source/sink patterns such as the seasonal cycle of X_(CO_2) suggesting the use of the satellite retrievals for constraining surface fluxes