bluuebunny/crossref_metadata_2025_split huggingface dataset:
Re-evaluation of Laboratory Cone Penetration Method for High Liquid Limit Based on Free Swell Property of Soil
Authors: Deka Shailen , Sreedeep S. , Dash Sujit Kumar 
Published: September 2009

Abstract
Percussion and laboratory cone penetration are two different methods employed for the determination of liquid limit of the soil. The empirical nature, advantages and limitations of these methods in determining liquid limit of the soil has been discussed in detail in the literature. One of the most important observations is that the soils with high liquid limit exhibits higher discrepancy between the two methods. There is a need to understand the reason for this discrepancy and to obtain identical values for all ranges of liquid limit. As an initial attempt, the present study reviews the possible reasons for the discrepancy in liquid limit values obtained by the two methods. Furthermore, a re-evaluation of the cone penetration method has been done and a modified penetration limit is proposed based on the free swell index of the soil. The cone penetration liquid limit was re-calculated by employing the modified penetration limit, and compared with the percussion liquid limit. It is noted that the modified penetration limit based on free swell property of the soil minimizes the difference in liquid limit values obtained by using both methods. It is further emphasized that the observations obtained from the present study cannot be compared with the field cone penetration results. The details of the experimental scheme adopted are described in detail in this technical paper.
Comparison of Structure and Quenching Performance of Vegetable Oils
Authors: de Souza Ester Carvalho , Fernandes Mauro R. , Augustinho Sylvana C.M. , de Campos Franceschini Canale Lauralice , Totten George E. 
Published: September 2009

AbstractThis work describes the physical property analysis and molecular structural characterization by gas chromatography and nuclear magnetic resonance spectroscopy of cottonseed, sunflower, corn, canola, and soybean oils. To assess the relative quenching performance of these different vegetable oils, cooling curve analyses was conducted according to ASTM D6200 at series of quenchant bath temperatures: 40, 60, 80, 100, and 120°C. For comparison, cooling curve analysis under the same testing conditions for a commercially available conventional and an accelerated petroleum oil-based quenchant was also performed. This work showed that although the different vegetable oils exhibited significantly different molecular structures, their viscosity and viscosity-temperature behavior was comparable. Also, the quenching performance of the different vegetable oils, while not identical, was not significantly different from each other. However, it is noteworthy that the vegetable oils did not exhibit classical film boiling or nucleate boiling behavior during quenching. For this reason, the quenching performance was different from either the conventional or the accelerated quench oils, which exhibited the expected film boiling, nucleate boiling, and convective cooling behavior. The relative difference in quenching performance between petroleum oil derived quenchants and vegetable oils is discussed in detail.
Effects of Strength, Permeability, and Air Void Parameters on Freezing-Thawing Resistance of Concrete with and Without Air Entrainment
Authors: Lomboy Gilson , Wang Kejin 
Published: September 2009

Abstract
The present research is aimed at investigating effects of concrete properties, particularly concrete rapid chloride permeability, strength, and air void parameters, on freezing-thawing (FT) resistance. In this study, concrete mixtures are made with different types of cement (Types I with 15 % class C fly ash and Type IP cements), different water-to-binder ratios (w/b=0.25, 0.35, 0.45, and 0.55), and with or without air entraining agent. The 28-day compressive strength, rapid chloride permeability, and FT durability of the concrete are determined according to ASTM C873, C1202, and C666A, respectively. The air void parameters of the concrete are measured with air void analyzer, Rapid Air, and porosity (ASTM C642) tests. The results indicate that although concrete made with a low w/b (≤0.35) has low rapid chloride permeability (≤1320 C), it generally still requires proper air entrainment for a desirable FT resistance (with a durability factor of ≥85 %), except for the concrete having very low rapid chloride permeability (520 C) and very high 28-day compressive strength (88 MPa or 12 760 psi). For the non-air-entrained concrete studied, there are clear relationships between FT durability and porosity, w/b, and permeability. However, such relationships do not exist for air-entrained concrete. The FT resistance of air-entrained concrete is largely dependent on the concrete air void characteristics.
Breaking Form through Sound: Instrumental Aesthetics, Tempête, and Temporality in the French Baroque Cantata
Authors: Cabrini Michele 
Published: September 2009

Abstract
Between Lully's death (1687) and Rameau's operatic debut (1733), composers of the tragédie en musique experimented with instrumental effects, greatly expanding the dramatic role of the orchestra. The profusion of these effects coincides with a new aesthetic reappraisal of instrumental music in France, as can be observed in the writings of Du Bos. The tempête constitutes one of the most remarkable examples. Its sonic violence was too strong to end with the instrumental movement that depicted it; indeed, composers often prolonged the storm scene into a series of movements all connected by thematic material and key to produce a verisimilar effect of the storm's momentum, thereby creating what I term “the domino effect.” By the early eighteenth century, the tempête had become such a well established and popular topos that it began migrating to non-staged genres like the cantata.
The transference of the tempest topos from the tragédie lyrique to the French baroque cantata entailed the breaking of formal frames. Unlike the supple dramatic structure of French opera, the cantata adopted the more rigid mold of the Italian opera seria—the recitative-aria unit—which separated the flow of time into active and static moments. Three case studies—Bernier's Hipolite et Aricie (1703), Jacquet de la Guerre's Jonas (1708), and Morin's Le naufrage d'Ulisse (1712)—demonstrate how composers manipulated this mold to satisfy a French aesthetic that valued temporal continuity for the sake of verisimilitude. All three composers employ key and instrumental music to portray the storm's forward momentum across recitatives and arias, relying primarily on rhythmic energy and melodic activity to create continuity. Although each composer's musical response varies according to personal style, what emerges is a shared aesthetic and compositional strategy employed to portray an event whose relentless power transcends the temporal boundaries between recitative and aria. This aesthetic of continuity and linearity shown by French baroque composers influenced the treatment of the tempest topos in the later eighteenth-century repertory, vocal and instrumental alike, including opera, the concerto, the overture-suite, and the characteristic symphony.
Thelonious Monk's Pianism
Authors: Givan Benjamin 
Published: September 2009

Abstract
The jazz pianist Thelonious Monk's highly idiosyncratic instrumental technique has long been a topic of controversy. Examination of competing views sheds light on the circumstances under which Monk's detractors have accused him of incompetence, whereas his devotees have generally argued either that he was proficient in a conventional sense or that his pianistic imperfections were irrelevant to his music's intellectual content.
New perspectives on Monk's pianism may be sought through the analysis of concert films that document his playing in close detail. The films indicate that sometimes Monk intentionally created technical hurdles for himself in order to imbue his playing with a degree of expressive tension.
Identification of the Major Sex-Determining Region of Turbot (Scophthalmus maximus)
Authors: Martínez Paulino , Bouza Carmen , Hermida Miguel , Fernández Jesús , Toro Miguel Angel , Vera Manuel , Pardo Belén , Millán Adrián , Fernández Carlos , Vilas Román , Viñas Ana , Sánchez Laura , Felip Alicia , Piferrer Francesc , Ferreiro Isabel , Cabaleiro Santiago 
Published: September 2009

Abstract
Sex determination in fish is a labile character in evolutionary terms. The sex-determining (SD) master gene can differ even between closely related fish species. This group is an interesting model for studying the evolution of the SD region and the gonadal differentiation pathway. The turbot (Scophthalmus maximus) is a flatfish of great commercial value, where a strong sexual dimorphism exists for growth rate. Following a QTL and marker association approach in five families and a natural population, we identified the main SD region of turbot at the proximal end of linkage group (LG) 5, close to the SmaUSC-E30 marker. The refined map of this region suggested that this marker would be 2.6 cM and 1.4 Mb from the putative SD gene. This region appeared mostly undifferentiated between males and females, and no relevant recombination frequency differences were detected between sexes. Comparative genomics of LG5 marker sequences against five model species showed no similarity of this chromosome to the sex chromosomes of medaka, stickleback, and fugu, but suggested a similarity to a sex-associated QTL from Oreochromis spp. The segregation analysis of the closest markers to the SD region demonstrated a ZW/ZZ model of sex determination in turbot. A small proportion of families did not fit perfectly with this model, which suggests that other minor genetic and/or environmental factors are involved in sex determination in this species.
Mapping Loci Associated With Tail Color and Sex Determination in the Short-Lived Fish Nothobranchius furzeri
Authors: Valenzano Dario Riccardo , Kirschner Jeanette , Kamber Roarke A , Zhang Elisa , Weber David , Cellerino Alessandro , Englert Christoph , Platzer Matthias , Reichwald Kathrin , Brunet Anne 
Published: September 2009

Abstract
The African fish Nothobranchius furzeri is the shortest-lived vertebrate species that can reproduce in captivity, with a median life span of 9–11 weeks for the shortest-lived strain. Natural populations of N. furzeri display differences in life span, aging biomarkers, behavior, and color, which make N. furzeri a unique vertebrate system for studying the genetic basis of these traits. We mapped regions of the genome involved in sex determination and tail color by genotyping microsatellite markers in the F2 progeny of a cross between a short-lived, yellow-tailed strain and a long-lived, red-tailed strain of N. furzeri. We identified one region linked with the yellow/red tail color that maps close to melanocortin 1 receptor (mc1r), a gene involved in pigmentation in several vertebrate species. Analysis of the segregation of sex-linked markers revealed that N. furzeri has a genetic sex determination system with males as the heterogametic sex and markedly reduced recombination in the male sex-determining region. Our results demonstrate that both naturally-evolved pigmentation differences and sex determination in N. furzeri are controlled by simple genetic mechanisms and set the stage for the molecular genetic dissection of factors underlying such traits. The microsatellite-based linkage map we developed for N. furzeri will also facilitate analysis of the genetic architecture of traits that characterize this group of vertebrates, including short life span and adaptation to extreme environmental conditions.
Bayesian Computation and Model Selection Without Likelihoods
Authors: Leuenberger Christoph , Wegmann Daniel 
Published: September 2009

AbstractUntil recently, the use of Bayesian inference was limited to a few cases because for many realistic probability models the likelihood function cannot be calculated analytically. The situation changed with the advent of likelihood-free inference algorithms, often subsumed under the term approximate Bayesian computation (ABC). A key innovation was the use of a postsampling regression adjustment, allowing larger tolerance values and as such shifting computation time to realistic orders of magnitude. Here we propose a reformulation of the regression adjustment in terms of a general linear model (GLM). This allows the integration into the sound theoretical framework of Bayesian statistics and the use of its methods, including model selection via Bayes factors. We then apply the proposed methodology to the question of population subdivision among western chimpanzees, Pan troglodytes verus.
Implicit Approximation of Neural Network and Applications
Authors: Li Dao-lun , Lu De-tang , Zha Wen-shu 
Published: September 2009

SummaryIt is common practice that one of the reservoir properties is recognized as a complex function of several interrelated factors in neural-network applications used in oil-reservoir studies. Few methods are based on one reservoir property being recognized as a function of time and the spatial locations, which means that the reservoir-property data can be described as a time vector series. It is a great challenge for the artificial neural network to describe a time vector series because the neural network is unable to approximate a multivariate vector function effectively. By combining the principle of implicit curves and surfaces with the neural network, we present a novel way to process the time vector series. The method includes the following steps: mapping data, constructing an explicit function, training the neural network, extracting the isoline, and inverse mapping.This paper presents an application to predict the isotope-logging data in 2002 with the known data from 2001 and 2003.
A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
Authors: Rauh Andreas , Brill Michael , Günther Clemens 
Published: September 2009

A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVPThe theoretical background and the implementation of a new interval arithmetic approach for solving sets of differential-algebraic equations (DAEs) are presented. The proposed approach computes guaranteed enclosures of all reachable states of dynamical systems described by sets of DAEs with uncertainties in both initial conditions and system parameters. The algorithm is based on ValEncIA-IVP, which has been developed recently for the computation of verified enclosures of the solution sets of initial value problems for ordinary differential equations. For the application to DAEs, ValEncIA-IVP has been extended by an interval Newton technique to solve nonlinear algebraic equations in a guaranteed way. In addition to verified simulation of initial value problems for DAE systems, the developed approach is applicable to the verified solution of the so-called inverse control problems. In this case, guaranteed enclosures for valid input signals of dynamical systems are determined such that their corresponding outputs are consistent with prescribed time-dependent functions. Simulation results demonstrating the potential of ValEncIA-IVP for solving DAEs in technical applications conclude this paper. The selected application scenarios point out relations to other existing verified simulation techniques for dynamical systems as well as directions for future research.
Interval Analysis for Certified Numerical Solution of Problems in Robotics
Authors: Merlet Jean-Pierre 
Published: September 2009

Interval Analysis for Certified Numerical Solution of Problems in RoboticsInterval analysis is a relatively new mathematical tool that allows one to deal with problems that may have to be solved numerically with a computer. Examples of such problems are system solving and global optimization, but numerous other problems may be addressed as well. This approach has the following general advantages: (a) it allows to find solutions of a problem only within some finite domain which make sense as soon as the unknowns in the problem are physical parameters; (b) numerical computer round-off errors are taken into account so that the solutions are guaranteed; (c) it allows one to take into account the uncertainties that are inherent to a physical system. Properties (a) and (c) are of special interest in robotics problems, in which many of the variables are parameters that are measured (i.e., known only up to some bounded errors) while the modeling of the robot is based on parameters that are submitted to uncertainties (e.g., because of manufacturing tolerances). Taking into account these uncertainties is essential for many robotics applications such as medical or space robotics for which safety is a crucial issue. A further inherent property of interval analysis that is of interest for robotics problems is that this approach allows one to deal with theuncertaintiesthat are unavoidable in robotics. Although the basic principles of interval analysis are easy to understand and to implement, this approach will be efficient only if the right heuristics are used and if the problem at hand is formulated appropriately. In this paper we will emphasize various robotics problems that have been solved with interval analysis, many of which are currently beyond the reach of other mathematical approaches.
Reliable Robust Path Planning with Application to Mobile Robots
Authors: Pepy Romain , Kieffer Michel , Walter Eric 
Published: September 2009

Reliable Robust Path Planning with Application to Mobile RobotsThis paper is devoted to path planning when the safety of the system considered has to be guaranteed in the presence of bounded uncertainty affecting its model. A new path planner addresses this problem by combining Rapidly-exploring Random Trees (RRT) and a set representation of uncertain states. An idealized algorithm is presented first, before a description of one of its possible implementations, where compact sets are wrapped into boxes. The resulting path planner is then used for nonholonomic path planning in robotics.
Nonlinear Stabilizing Control of an Uncertain Bioprocess Model
Authors: Dimitrova Neli , Krastanov Mikhail 
Published: September 2009

Nonlinear Stabilizing Control of an Uncertain Bioprocess ModelIn this paper we consider a nonlinear model of a biological wastewater treatment process, based on two microbial populations and two substrates. The model, described by a four-dimensional dynamic system, is known to be practically verified and reliable. First we study the equilibrium points of the open-loop system, their stability and local bifurcations with respect to the control variable. Further we propose a feedback control law for asymptotic stabilization of the closed-loop system towards a previously chosen operating point. A numerical extremum seeking algorithm is designed to stabilize the dynamics towards the maximum methane output flow rate in the presence of coefficient uncertainties. Computer simulations in Maple are reported to illustrate the theoretical results.
Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems
Authors: Freihold Mareile , Hofer Eberhard 
Published: September 2009

Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical SystemsInterval arithmetic techniques such as ValEncIA-IVP allow calculating guaranteed enclosures of all reachable states of continuous-time dynamical systems with bounded uncertainties of both initial conditions and system parameters. Considering the fact that, in naive implementations of interval algorithms, overestimation might lead to unnecessarily conservative results, suitable consistency tests are essential to obtain the tightest possible enclosures. In this contribution, a general framework for the use of constraints based on physically motivated conservation properties is presented. The use of these constraints in verified simulations of dynamical systems provides a computationally efficient procedure which restricts the state enclosures to regions that are physically meaningful. A branch and prune algorithm is modified to a consistency test, which is based on these constraints. Two application scenarios are studied in detail. First, the total energy is employed as a conservation property for the analysis of mechanical systems. It is shown that conservation properties, such as the energy, are applicable to any Hamiltonian system. The second scenario is based on constraints that are derived from decoupling properties, which are considered for a high-dimensional compartment model of granulopoiesis in human blood cell dynamics.
Verified Solution Method for Population Epidemiology Models with Uncertainty
Authors: Enszer Joshua , Stadtherr Mark 
Published: September 2009

Verified Solution Method for Population Epidemiology Models with UncertaintyEpidemiological models can be used to study the impact of an infection within a population. These models often involve parameters that are not known with certainty. Using a method for verified solution of nonlinear dynamic models, we can bound the disease trajectories that are possible for given bounds on the uncertain parameters. The method is based on the use of an interval Taylor series to represent dependence on time and the use of Taylor models to represent dependence on uncertain parameters and/or initial conditions. The use of this method in epidemiology is demonstrated using the SIRS model, and other variations of Kermack-McKendrick models, including the case of time-dependent transmission.
Introductory: Gombrich's Struggle Against Metaphysics
Authors: Bakoš Ján 
Published: September 2009

Introductory: Gombrich's Struggle Against Metaphysics
The paper deals with E. H. Gombrich's lifelong polemics against metaphysics in art history and the humanities. They began in 1937 and continued up until his final (posthumous) book The Preference for the Primitives. Analyzing the "fallacies" and "pitfalls" resulting from metaphysical collectivism, essentialism, expressionism, holism and relativism such as a "belief in hypostatized collective personalities" and "style as a super-artist" or "physiognomic fallacy", Gombrich also unmasked their ideological implications. He first targeted nationalism and racialism, then the perils of totalitarianism and finally all forms of relativism. Gombrich's plea for the universality of the "canon of excellence" can be regarded not only as a defence of humanism but also as a form of apology for the values of Western liberal democratic society.
Form of Thought and Presentational Gesture in Karl Popper and E. H. Gombrich
Authors: Schneider Norbert 
Published: September 2009

Form of Thought and Presentational Gesture in Karl Popper and E. H. GombrichThe paper deals with common elements and differences in Popper and Gombrich, especially concerning their forms of thought and presentational gesture. Among others it considers the model of common sense which was basal for both of them as well as the similarities of searchlight theory (Popper) and some postulates of Gestalt psychology (Gombrich). At the end it analyses their approaches to historiography with special focusing on Gombrich's comments on the concept of social history of art.
E. H. Gombrich's Adoption of the Formula form Follows Function: A Case of Mistaken Identity?
Authors: Michl Jan 
Published: September 2009

E. H. Gombrich's Adoption of the Formula form Follows Function: A Case of Mistaken Identity?
This article is a longer note on what is a minor problem in the oeuvre of a great art historian. Its theme is E. H. Gombrich's use of the formula form follows function as the summary of his commonsense approach to the problem of style change. Although I am not sure how interesting this inquiry is in an art historical context, from the perspective of my own field of design history and of modernist design theory, Gombrich's adoption of the formula constitutes an intriguing problem.