Vector Space Semantics: A Model-Theoretic Analysis of Locative Prepositions

This paper introduces a compositional semantics of locativeprepositional phrases which is based on a vector space ontology.Model-theoretic properties of prepositions like monotonicity andconservativity are defined in this system in a straightforward way.These notions are shown to describe central inferences with spatialexpressions and to account for the grammaticality of prepositionmodification. Model-theoretic constraints on the set of possibleprepositions in natural language are specified, similar to the semanticuniversals of Generalized Quantifier Theory.     

Standardized code quality benchmarking for improving software maintainability

We provide an overview of the approach developed by the Software Improvement Group for code analysis and quality consulting focused on software maintainability. The approach uses a standardized measurement model based on the ISO/IEC 9126 definition of maintainability and source code metrics. Procedural standardization in evaluation projects further enhances the comparability of results. Individual assessments are stored in a repository that allows any system at hand to be compared to the industry-wide state of the art in code quality and maintainability. When a minimum level of software maintainability is reached, the certification body of TüV Informationstechnik GmbH issues a Trusted Product Maintainability certificate for the software product.     

Physical Metallurgy of Multi‐Phase Steel for Improved Passenger Car Crash‐Worthiness

The dynamic testing of high strength automotive steel grades is of great practical importance if their crash‐worthiness is to be evaluated. During forming operations, steels are processed in a controlled dynamic manner. In collisions, the deformation is different in the sense that the deformation is not controlled, i.e. both strain and strain rate are not pre‐determined. No clear standard testing procedures are currently available to test high strength steels dynamically, in order to evaluate their performance during car crashes. High tensile strength TRIP‐aided steels have been developed by the steel industry because of their promising high strain rate performance. The present contribution focuses on the effect of the strain rate and temperature on the mechanical behaviour of the low alloy high strength TRIP steel. The tests were carried out on the separated phases in order to determine their specific high strain rate deformation response. The temperature‐dependence of the transformation rate of the retained austenite is presented. It is argued that the adiabatic conditions present during high strain rate deformations have a beneficial effect on the behaviour of TRIP steel.     

Robust flexible LCDs with paintable technology

Abstract— In this article, second‐generation liquid‐crystal displays (LCDs) made by Paintable LCD technology is presented. With this technology, LCDs are manufactured by a sequence of simple coating and UV curing processes. Since the process can be carried out on plastic substrates and the stack of optical layers is only tens of micrometers thick, the resulting LCDs are ultra‐thin and flexible.     

Psychological constructs in driving automation: a consensus model and critical comment on construct proliferation

As automation in vehicles becomes more prevalent, the call for understanding the behaviour of the driver while driving an automated vehicle becomes more salient. Although a variety of driver behaviour models exist, and various psychological constructs have been said to be influenced by automation, an empirically testable psychological model of automated driving has yet to be developed. Building upon Stanton and Young's model of driving automation, this article presents an updated model of interrelated psychological constructs. The proposed model was created based upon a systematic literature search of driving automation papers and a subsequent quantification of the number of reported links between a selected set of psychological constructs. A secondary aim of this article is to reach consensus in the use of psychological constructs regarding driving automation. Henceforth special attention is paid to resolving the issue of construct proliferation.     

Quantification and source characterization of volatile organic compounds from exercising and application of chlorine-based cleaning products in a university athletic center

Humans spend approximately 90% of their time indoors, impacting their own air quality through occupancy and activities. Human VOC emissions indoors from exercise are still relatively uncertain, and questions remain about emissions from chlorine-based cleaners. To investigate these and other issues, the ATHLETic center study of Indoor Chemistry (ATHLETIC) campaign was conducted in the weight room of the Dal Ward Athletic Center at the University of Colorado Boulder. Using a Vocus Proton-Transfer-Reaction Time-of-Flight Mass Spectrometer (Vocus PTR-TOF), an Aerodyne Gas Chromatograph (GC), an Iodide-Chemical Ionization Time-of-Flight Mass Spectrometer (I-CIMS), and Picarro cavity ringdown spectrometers, we alternated measurements between the weight room and supply air, allowing for determination of VOC, NH₃, H₂O, and CO₂ emission rates per person (emission factors). Human-derived emission factors were higher than previous studies of measuring indoor air quality in rooms with individuals at rest and correlated with increased CO₂ emission factors. Emission factors from personal care products (PCPs) were consistent with previous studies and typically decreased throughout the day. In addition, N-chloraldimines were observed in the gas phase after the exercise equipment was cleaned with a dichlor solution. The chloraldimines likely originated from reactions of free amino acids with HOCl on gym surfaces.     

Locative and Directional Prepositions in Conceptual Spaces: The Role of Polar Convexity

We approach the semantics of prepositions from the perspective of conceptual spaces. Focusing on purely spatial locative and directional prepositions, we analyze both types of prepositions in terms of polar coordinates instead of Cartesian coordinates. This makes it possible to demonstrate that the property of convexity holds quite generally in the domain of prepositions of location and direction, supporting the important role that this property plays in conceptual spaces.     

The expansion of Google Scholar versus Web of Science: a longitudinal study

Web of Science (WoS) and Google Scholar (GS) are prominent citation services with distinct indexing mechanisms. Comprehensive knowledge about the growth patterns of these two citation services is lacking. We analyzed the development of citation counts in WoS and GS for two classic articles and 56 articles from diverse research fields, making a distinction between retroactive growth (i.e., the relative difference between citation counts up to mid-2005 measured in mid-2005 and citation counts up to mid-2005 measured in April 2013) and actual growth (i.e., the relative difference between citation counts up to mid-2005 measured in April 2013 and citation counts up to April 2013 measured in April 2013). One of the classic articles was used for a citation-by-citation analysis. Results showed that GS has substantially grown in a retroactive manner (median of 170 % across articles), especially for articles that initially had low citations counts in GS as compared to WoS. Retroactive growth of WoS was small, with a median of 2 % across articles. Actual growth percentages were moderately higher for GS than for WoS (medians of 54 vs. 41 %). The citation-by-citation analysis showed that the percentage of citations being unique in WoS was lower for more recent citations (6.8 % for citations from 1995 and later vs. 41 % for citations from before 1995), whereas the opposite was noted for GS (57 vs. 33 %). It is concluded that, since its inception, GS has shown substantial expansion, and that the majority of recent works indexed in WoS are now also retrievable via GS. A discussion is provided on quantity versus quality of citations, threats for WoS, weaknesses of GS, and implications for literature research and research evaluation.     

A multi-criteria decision analysis framework for evaluating point-of-use water treatment alternatives

Despite significant progress on meeting global water targets, the lack of access to safe drinking water remains a significant problem in today’s world. Statistics from health agencies indicate that waterborne diseases are among the leading causes of health-related mortalities, particularly in developing nations. This paper examines the performance and applicability of various point-of-use (POU) water treatment alternatives, namely (i) solar disinfection; (ii) boiling of water; (iii) chlorination; (iv) disinfection–flocculation with a natural coagulant (powdered Moringa seeds); (v) filtration with ceramic pots; and (vi) biosand filtration. We evaluated the efficacy of each alternative using a set of criteria based on environmental sustainability, technological performance, financial viability, and social acceptability. We also integrated several multi-criteria decision analysis (MCDA) approaches to determine the most suitable water treatment method for a given community. The analytic hierarchy process (AHP) was implemented to elicit various preference structures and to generate the weights for the criteria. Subsequent ranking of the POU alternatives was then performed using the technique for order preference by similarity to ideal solutions (TOPSIS) method. Sensitivity analysis and visualization charts were developed to evaluate the impact of changes in preference ratings of each alternative with respect to the criteria. A case study was implemented in a rural area in the Philippines to determine the optimal POU alternatives given variations in AHP and TOPSIS input data. The resulting MCDA framework is flexible and can accommodate the inclusion of other alternatives and criteria, and it can also be generalized for other regions and applications.     

Facilitating insight into a simulation model using visualization and dynamic model previews

This paper shows how model simplification, by replacing iterative steps with unitary predictive equations, can enable dynamic interaction with a complex simulation process. Model previews extend the techniques of dynamic querying and query previews into the context of ad hoc simulation model exploration. A case study is presented within the domain of counter-current chromatography. The relatively novel method of insight evaluation was applied, given the exploratory nature of the task. The evaluation data show that the trade-off in accuracy is far outweighed by benefits of dynamic interaction. The number of insights gained using the enhanced interactive version of the computer model was more than six times higher than the number of insights gained using the basic version of the model. There was also a trend for dynamic interaction to facilitate insights of greater domain importance.