Explicit mathematics and operational set theory: some ontological comparisons

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

Unique and shared techniques in cognitive-behavioural and short-term psychodynamic psychotherapy: a content analysis of randomised trials on depression

Randomised controlled trials (RCTs) of psychotherapeutic interventions assume that specific techniques are used in treatments, which are responsible for changes in the client's symptoms. This assumption also holds true for meta-analyses, where evidence for specific interventions and techniques is compiled. However, it has also been argued that different treatments share important techniques and that an upcoming consensus about useful treatment strategies is leading to a greater integration of treatments. This makes assumptions about the effectiveness of specific interventions ingredients questionable if the shared (common) techniques are more often used in interventions than are the unique techniques. This study investigated the unique or shared techniques in RCTs of cognitive-behavioural therapy (CBT) and short-term psychodynamic psychotherapy (STPP). Psychotherapeutic techniques were coded from 42 masked treatment descriptions of RCTs in the field of depression (1979-2010). CBT techniques were often used in studies identified as either CBT or STPP. However, STPP techniques were only used in STPP-identified studies. Empirical clustering of treatment descriptions did not confirm the original distinction of CBT versus STPP, but instead showed substantial heterogeneity within both approaches. Extraction of psychotherapeutic techniques from the treatment descriptions is feasible and could be used as a content-based approach to classify treatments in systematic reviews and meta-analyses.

Gas-phase Lifetimes of Nucleobase Analogues by Picosecond Pumpionization and Streak Techniques

The picosecond (ps) timescale is relevant for the investigation of many molecular dynamical processes such as fluorescence, nonradiative relaxation, intramolecular vibrational relaxation, molecular rotation and intermolecular energy transfer, to name a few. While investigations of ultrafast (femtosecond) processes of biological molecules, e.g. nucleobases and their analogues in the gas phase are available, there are few investigations on the ps time scale. We have constructed a ps pump-ionization setup and a ps streak camera fluorescence apparatus for the determination of lifetimes of supersonic jet-cooled and isolated molecules and clusters. The ps pump-ionization setup was used to determine the lifetimes of the nucleobase analogue 2-aminopurine (2AP) and of two 2AP˙(H2O)n water cluster isomers with n=1 and 2. Their lifetimes lie between 150 ps and 3 ns and are strongly cluster-size dependent. The ps streak camera setup was used to determine accurate fluorescence lifetimes of the uracil analogue 2-pyridone (2PY), its self-dimer (2PY)2, two isomers of its trimer (2PY)3 and its tetramer (2PY)4, which lie in the 7–12 ns range.

Sensitivity of the WRF model to PBL parametrisations and nesting techniques: evaluation of wind storms over complex terrain

Simulating surface wind over complex terrain is a challenge in regional climate modelling. Therefore, this study aims at identifying a set-up of the Weather Research and Forecasting Model (WRF) model that minimises system- atic errors of surface winds in hindcast simulations. Major factors of the model configuration are tested to find a suitable set-up: the horizontal resolution, the planetary boundary layer (PBL) parameterisation scheme and the way the WRF is nested to the driving data set. Hence, a number of sensitivity simulations at a spatial resolution of 2 km are carried out and compared to observations. Given the importance of wind storms, the analysis is based on case studies of 24 historical wind storms that caused great economic damage in Switzerland. Each of these events is downscaled using eight different model set-ups, but sharing the same driving data set. The results show that the lack of representation of the unresolved topography leads to a general overestimation of wind speed in WRF. However, this bias can be substantially reduced by using a PBL scheme that explicitly considers the effects of non-resolved topography, which also improves the spatial structure of wind speed over Switzerland. The wind direction, although generally well reproduced, is not very sensitive to the PBL scheme. Further sensitivity tests include four types of nesting methods: nesting only at the boundaries of the outermost domain, analysis nudging, spectral nudging, and the so-called re-forecast method, where the simulation is frequently restarted. These simulations show that restricting the freedom of the model to develop large-scale disturbances slightly increases the temporal agreement with the observations, at the same time that it further reduces the overestimation of wind speed, especially for maximum wind peaks. The model performance is also evaluated in the outermost domains, where the resolution is coarser. The results demonstrate the important role of horizontal resolution, where the step from 6 to 2 km significantly improves model performance. In summary, the combination of a grid size of 2 km, the non-local PBL scheme modified to explicitly account for non-resolved orography, as well as analysis or spectral nudging, is a superior combination when dynamical downscaling is aimed at reproducing real wind fields.

How gender fair are German schoolbooks in the twenty-first century? An analysis of language and illustrations in schoolbooks for mathematics and German

Schoolbooks convey not only school-relevant knowledge; they also influence the development of stereotypes about different social groups. Particularly during the 1970s and 1980s, many studies analysed schoolbooks and criticised the overall predominance of male persons and of traditional role allocations. Since that time, women’s and men’s occupations and social functions have changed considerably. The present research investigated gender portrayals in schoolbooks for German and mathematics that were recently published in Germany. We examined the proportions of female and male persons in pictures and texts and categorized their activities, occupational and parental roles. Going beyond previous studies, we added two criteria: the use of gender-fair language and the spatial arrangements of persons in pictures. Our results show that schoolbooks for German contained almost balanced depictions of girls and boys, whereas women were less frequently shown than men. In mathematics books, males outnumbered females in general. Across both types of books, female and male persons were engaged in many different activities, not only gendertyped ones; however, male persons were more often described via their profession than females. Use of gender-fair language has found its way into schoolbooks but is not used consistently. Books for German were more gender fair in terms of linguistic forms than books for mathematics. For spatial arrangements, we found no indication for gender biases. The results are discussed with a focus on how schoolbooks can be optimized to contribute to gender equality.

The interweaving of popular generic modes and modernist techniques in Nostromo : A tale of the seaboard

Nostromo. A Tale of the Seaboard (1904), una de las novelas más experimentales del período modernista temprano, ha sido considerada la obra maestra de Joseph Conrad y su más grande lienzo. Un rasgo particular de la novela es que en ella coexisten la experimentación técnica del modernismo, la altamente difusa ficción del narrador y la situación de narración de historias y el paradigma narrativo de los subgéneros "degradados" de la novela de aventuras, el romance y el melodrama. Este estudio indaga las relaciones que se establecen entre dichos elementos, a todas luces anacrónicos o pertenecientes a espacios culturales diferentes, y se propone mostrar que estas discontinuidades no deben ser consideradas una falla sino índices de una tensión constitutiva de la novela.

The interweaving of popular generic modes and modernist techniques in Nostromo : A tale of the seaboard

Nostromo. A Tale of the Seaboard (1904), una de las novelas más experimentales del período modernista temprano, ha sido considerada la obra maestra de Joseph Conrad y su más grande lienzo. Un rasgo particular de la novela es que en ella coexisten la experimentación técnica del modernismo, la altamente difusa ficción del narrador y la situación de narración de historias y el paradigma narrativo de los subgéneros "degradados" de la novela de aventuras, el romance y el melodrama. Este estudio indaga las relaciones que se establecen entre dichos elementos, a todas luces anacrónicos o pertenecientes a espacios culturales diferentes, y se propone mostrar que estas discontinuidades no deben ser consideradas una falla sino índices de una tensión constitutiva de la novela.

The interweaving of popular generic modes and modernist techniques in Nostromo : A tale of the seaboard

Nostromo. A Tale of the Seaboard (1904), una de las novelas más experimentales del período modernista temprano, ha sido considerada la obra maestra de Joseph Conrad y su más grande lienzo. Un rasgo particular de la novela es que en ella coexisten la experimentación técnica del modernismo, la altamente difusa ficción del narrador y la situación de narración de historias y el paradigma narrativo de los subgéneros "degradados" de la novela de aventuras, el romance y el melodrama. Este estudio indaga las relaciones que se establecen entre dichos elementos, a todas luces anacrónicos o pertenecientes a espacios culturales diferentes, y se propone mostrar que estas discontinuidades no deben ser consideradas una falla sino índices de una tensión constitutiva de la novela.

The interweaving of popular generic modes and modernist techniques in Nostromo : A tale of the seaboard

Nostromo. A Tale of the Seaboard (1904), una de las novelas más experimentales del período modernista temprano, ha sido considerada la obra maestra de Joseph Conrad y su más grande lienzo. Un rasgo particular de la novela es que en ella coexisten la experimentación técnica del modernismo, la altamente difusa ficción del narrador y la situación de narración de historias y el paradigma narrativo de los subgéneros "degradados" de la novela de aventuras, el romance y el melodrama. Este estudio indaga las relaciones que se establecen entre dichos elementos, a todas luces anacrónicos o pertenecientes a espacios culturales diferentes, y se propone mostrar que estas discontinuidades no deben ser consideradas una falla sino índices de una tensión constitutiva de la novela.

Application of photoluminescence and electroluminescence techniques to the characterization of intermediate band solar cells

The intermediatebandsolarcell (IBSC) is a photovoltaic device with a theoretical conversion efficiency limit of 63.2%. In recent years many attempts have been made to fabricate an intermediateband material which behaves as the theory states. One characteristic feature of an IBSC is its luminescence spectrum. In this work the temperature dependence of the photoluminescence (PL) and electroluminescence (EL) spectra of InAs/GaAs QD-IBSCs together with their reference cell have been studied. It is shown that EL measurements provide more reliable information about the behaviour of the IB material inside the IBSC structure than PL measurements. At low temperatures, the EL spectra are consistent with the quasi-Fermi level splits described by the IBSC model, whereas at room temperature they are not. This result is in agreement with previously reported analysis of the quantum efficiency of the solarcells

Interactive Graphic Simulation: An Advanced Methodology to Improve the Teaching-Learning Process in Nuclear Engineering Education and Training

Nowadays, computer simulators are becoming basic tools for education and training in many engineering fields. In the nuclear industry, the role of simulation for training of operators of nuclear power plants is also recognized of the utmost relevance. As an example, the International Atomic Energy Agency sponsors the development of nuclear reactor simulators for education, and arranges the supply of such simulation programs. Aware of this, in 2008 Gas Natural Fenosa, a Spanish gas and electric utility that owns and operate nuclear power plants and promotes university education in the nuclear technology field, provided the Department of Nuclear Engineering of Universidad Politécnica de Madrid with the Interactive Graphic Simulator (IGS) of “José Cabrera” (Zorita) nuclear power plant, an industrial facility whose commercial operation ceased definitively in April 2006. It is a state-of-the-art full-scope real-time simulator that was used for training and qualification of the operators of the plant control room, as well as to understand and analyses the plant dynamics, and to develop, qualify and validate its emergency operating procedures.

Physical and mathematical modeling of wave propagation in the Ariane 5 VEB structure

The separation of the lower stage of the ARIANE 5 Vehicle Equipment Bay (VEB) Structure is to be done using a pyrotechnic device. The wave propagation effects produced by the explosion can affect the electronic equipment, so it was decided to analyze, using both physical and numerical modeling, a small piece of the structure to determine the distribution of the accelerations and the relative importance of damping, stiffness, connections, etc. on the response of the equipment.

Balancing software engineering education and industrial needs

In the world of information and communications technologies the demand for professionals with software engineering skills grows at an exponential rate. On this ground, we have conducted a study to help both academia and the software industry form a picture of the relationship between the competences of recent graduates of undergraduate and graduate software engineering programmes and the tasks that these professionals are to perform as part of their jobs in industry. Thanks to this study, academia will be able to observe which skills demanded by industry the software engineering curricula do or do not cater for, and industry will be able to ascertain which tasks a recent software engineering programme graduate is well qualified to perform. The study focuses on the software engineering knowledge guidelines provided in SE2004 and GSwE2009, and the job profiles identified by Career Space.