Understanding Predication in Conceptual Spaces

We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics

The effect of load in a contact with boundary lubrication

The effect of the transition load on the wear in a contact with boundary lubrication was investigated. An experimental method was developed for this purpose, and parameters affecting the boundary lubrication under industrial operating conditions were identified. These parameters are the adsorbed boundary film, the contact microgeometry (surface roughness), macrogeometry, and hardness of materials used. It was found that the curve of the tops of the surface protrustion affect the transition load, and thus the boundary lubrication. The transition load also depends on the chemical nature of the contact and its geometrical and mechanical aspects

Univalent Foundations and the UniMath Library

We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). On the way our odyssey from the foundations to the "horizon" of mathematics will lead us to meet the mathematicians David Hilbert and Nicolas Bourbaki as well as the architect Christopher Alexander

Snapshot in a Squiggle: How Painting Terminology Illuminates Short Fiction

This paper will demonstrate that painting terms can offer a helpful avenue to understand short fiction, particularly abstract short fiction. After defining abstraction, realism, and the short story, it will trace relevant stages in the evolution of both painting and short fiction to show how and why the media share similar elements. In this examination, the paper will discuss which features of painting correspond with certain features of short fiction. Based on the essential elements of short fiction, as well as the features mentioned above, the paper will analyze examples of short stories that exemplify how painting parallels short fiction and how terminology drawn from that field can help illuminate abstract short stories

Granular computing, rough entropy and object extraction

The problem of image object extraction in the framework of rough sets and granular computing is addressed. A measure called "rough entropy of image" is defined based on the concept of image granules. Its maximization results in minimization of roughness in both object and background regions; thereby determining the threshold of partitioning. Methods of selecting the appropriate granule size and efficient computation of rough entropy are described

Application Potential of Fuzzy and Regression in Optimization of MRR and Surface Roughness during Machining of C45 Steel

In the machining industry, coolant has an important role due to their lubrication, cooling and chip removal functions. Using coolant can improve machining process efficiency, tool life, surface quality and it can reduce cutting forces and vibrations. However, health and environmental problems are encountered with the use of coolants. Hence, there has been a high demand for deep cryogenic treatment to reduce these harmful effects. For this purpose, −196 °C LN2 gas is used to improve machining performance. This study focuses on the prediction of surface roughness and material removal rate with cryogenically treated M2 HSS tool using fuzzy logic and regression model. The turning experiments are conducted according to Taguchi's L9 orthogonal array. Surface roughness and material removal rate during machining of C45 steel with HSS tool are measured. Cutting speed, feed rate, and depth of cut are considered as machining parameters. A model depended on a regression model is established and the results obtained from the regression model are compared with the results based on fuzzy logic and experiment. The effectiveness of regression models and fuzzy logic has been determined by analyzing the correlation coefficient and by comparing experimental results. Regression model gives closer values to experimentally measured values than fuzzy logic. It has been concluded that regression-based modeling can be used to predict the surface roughness successfully