The semigroups of linearly realizable finite automata. I

Summary First the problem is solved how one can decide whether an arbitrary finite semigroup H is linearly A-realizable, i.e., whether there exists a linearly realizable finite automaton having a semigroup isomorphic to H. This leads to a question about the existence of certain generating subsets of H. The determination of these subsets is rather complicated in case H-HH=Ø and very simple in case H-HH#Ø. But in the first case we are able to clear up completely the structure of the semigroups which are linearly A-realizable: These are exactly the finite right groups which have maximal subgroups of the type described by Ecker in [4]. In the second case we get only necessary structure conditions. Among other things we shall see: If a semigroup H is linearly A-realizable one can define a congruence relation on it having the property, that H is isomorphic to a semigroup of a strongly connected and linearly realizable automaton iff the so-called index of H equals the index of H/. Developing these results about semigroups we obtain at the same time many structure theorems about linearly realizable automata.     

Selecting scientific excellence through committee peer review - A citation analysis of publications previously published to approval or rejection of post-doctoral research fellowship applicants

Summary We investigated committee peer review for awarding long-term fellowships to post-doctoral researchers as practiced by the Boehringer Ingelheim Fonds (B.I.F.) - a foundation for the promotion of basic research in biomedicine. Assessing the validity of selection decisions requires a generally accepted criterion for research impact. A widely used approach is to use citation counts as a proxy for the impact of scientific research. Therefore, a citation analysis for articles published previous to the applicants' approval or rejection for a B.I.F. fellowship was conducted. Based on our model estimation (negative binomial regression model), journal articles that had been published by applicants approved for a fellowship award (n = 64) prior to applying for the B.I.F. fellowship award can be expected to have 37% (straight counts of citations) and 49% (complete counts of citations) more citations than articles that had been published by rejected applicants (n = 333). Furthermore, comparison with international scientific reference values revealed (a) that articles published by successful and non-successful applicants are cited considerably more often than the “average” publication and (b) that excellent research performance can be expected more of successful than non-successful applicants. The findings confirm that the foundation is not only achieving its goal of selecting the best junior scientists for fellowship awards, but also successfully attracting highly talented young scientists to apply for B.I.F. fellowships.     

Predicting change for individual psychotherapy clients on the basis of their nearest neighbors.

This study extended client-focused research by using the nearest neighbor (NN) approach, a client-specific sampling and prediction strategy derived from research on alpine avalanches. Psychotherapy clients (N = 203) seen in routine practice settings in the United Kingdom completed a battery of intake measures and then completed symptom intensity ratings before each session. Forecasts of each client's rate of change and session-by-session variability were computed on the basis of that client's NNs (n = 10-50 in different comparisons). Alternative forecasts used linear or log-linear slopes and were compared with an alternative prediction strategy. Results showed that the NN approach was superior to the alternative model in predicting rate of change, though the advantage was less clear for predicting variability. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Experiences using lightweight formal methods for requirementsmodeling

The paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process to validate the evolving requirements. The results were fed back into the projects to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, formal methods enhanced the existing verification and validation processes by testing key properties of the evolving requirements and helping to identify weaknesses. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations     

Comparative analysis of 8-oxo-2' -deoxyguanosine in DNA by 32P- and 33P-postlabeling and electrochemical detection

8-Oxo-2'-deoxyguanosine (8-oxo-dG) is emerging as a useful marker for oxidative DNA damage. Reported basal levels determined by 32P-postlabeling (PPL) method were 10-fold or more higher than those obtained with HPLC/electrochemical detection (ECD). This discrepancy was investigated. In commercial calf thymus DNA, levels of 4 +/- 1 and 64 +/- 14 8-oxo-dG per 10(6) 2'-deoxynucleosides (dN) were measured by the standard HPLC/ECD and PPL methods, respectively. DNA digestion by micrococcal nuclease/spleen phosphodiesterase and nuclease P1 (as used in the standard PPL method), followed by ECD analysis resulted in a level of 8 +/- 3. In calf thymus DNA spiked with chemically synthesized 8-oxo-dGp to give an increment of 9 8-oxo-dG/10(6) dN, the added standard produced a significant increase with HPLC/ECD but not PPL. After spiking the DNA with 90 8-oxo-dG/10(6) dN, the added 8-oxo-dGp was detectable also with PPL, with a labeling efficiency of 65%. In order to investigate the role of ionizing radiation from 32P for the higher 8-oxo-dG levels in PPL, incubation times and amounts of radioactivity in the phosphorylation reaction with commercial dGp were increased, and external irradiation of commercial dG with 32P was investigated. All modifications resulted in higher values of 8-oxo-dG measured, but the effect was not large enough to fully explain the discrepancy between PPL and HPLC/ECD. Using [gamma-33P]ATP instead of [gamma-32P]ATP or adding [33P]phosphate to a 32P-PPL assay resulted in even higher levels of 8-oxo-dG measured. The increase in 8-oxo-dG levels during the PPL workup is attributed to the presence and oxidation of unmodified dGp in the reaction mixture. For a determination of true basal levels, the PPL method will have to be modified, including the removal of dGp prior to the phosphorylation reaction.     

Reference publication year spectroscopy (RPYS) of Eugene Garfield’s publications

Which studies, theories, and ideas have influenced Eugene Garfield’s scientific work? Recently, the method reference publication year spectroscopy (RPYS) has been introduced, which can be used to answer this and related questions. Since then, several studies have been published dealing with the historical roots of research fields and scientists. The program CRExplorer (http://www.crexplorer.net) was specifically developed for RPYS. In this study, we use this program to investigate the historical roots of Eugene Garfield’s oeuvre.     

A Material Model for TRIP‐Steels and its Application to a CrMnNi Cast Alloy

A material model is presented that accounts for strain rate dependent inelastic deformation and strain‐induced phase transformation in TRIP‐steels. Modifications for the kinetics equations of the strain‐induced phase transformation, introduced by Stringfellow, are proposed to overcome a drawback of Stringfellow's model. A parameter identification strategy that relies on Gauss‐Markov estimates is used to determine the model parameters from experimental data of a recently developed cast TRIP‐steel. Good agreement is observed between experimental results of the compression test and the corresponding finite element simulation employing the proposed model. This forms the basis for future applications of the material model in the design of composites and structures.     

Absorption of acrylates and polysilazanes in the far UVC and the VUV regions

A simple but reliable method was developed for the determination of wavelength-dependent absorption coefficients in the vacuum-UV (VUV) spectral range 160 nm < λ < 195 nm.     

The Deubiquitinase OTUB1 Is a Key Regulator of Energy Metabolism

Dysregulated energy metabolism is a major contributor to a multitude of pathologies, including obesity and diabetes. Understanding the regulation of metabolic homeostasis is of utmost importance for the identification of therapeutic targets for the treatment of metabolically driven diseases. We previously identified the deubiquitinase OTUB1 as substrate for the cellular oxygen sensor factor-inhibiting HIF (FIH) with regulatory effects on cellular energy metabolism, but the physiological relevance of OTUB1 is unclear. Here, we report that the induced global deletion of OTUB1 in adult mice (Otub1 iKO) elevated energy expenditure, reduced age-dependent body weight gain, facilitated blood glucose clearance and lowered basal plasma insulin levels. The respiratory exchange ratio was maintained, indicating an unaltered nutrient oxidation. In addition, Otub1 deletion in cells enhanced AKT activity, leading to a larger cell size, higher ATP levels and reduced AMPK phosphorylation. AKT is an integral part of insulin-mediated signaling and Otub1 iKO mice presented with increased AKT phosphorylation following acute insulin administration combined with insulin hypersensitivity. We conclude that OTUB1 is an important regulator of metabolic homeostasis.     

Field classification of publications in Dimensions: a first case study testing its reliability and validity

Dimensions is a research data infrastructure and tool, including grants, publications, citations, clinical trials, and patents in one place. An interesting feature of Dimensions is its field classification scheme, which is not based on journal classification systems, as in the Web of Science or Scopus, but on machine learning. Each publication is assigned to at least one field. Using the set of my own publications, I investigated whether they were reliably and validly assigned to fields. The results put in question the reliability and validity of the scheme. Large scale studies seem necessary to investigate the scheme in more detail.