Cosmopolitanism as cultural capital: Exploring the intersection of globalization, education, and stratification

In recent years, sociological research on cosmopolitanism has begun to draw on Pierre Bourdieu to critically examine how cosmopolitanism is implicated in stratification on an increasingly global scale. In this paper, we examine the analytical potential of the Bourdieusian approach by exploring how education systems help to institutionalize cosmopolitanism as cultural capital whose access is rendered structurally unequal. To this end, we first probe how education systems legitimate cosmopolitanism as a desirable disposition at the global level, while simultaneously distributing it unequally among different groups of actors according to their geographical locations and volumes of economic, cultural, and social capital their families possess. We then explore how education systems undergird profitability of cosmopolitanism as cultural capital by linking academic qualifications that signal cosmopolitan dispositions with the growing number of positions that require extensive interactions with people of multiple nationalities.</jats:p

Reaction Heat Effects on Initial Linear Shrinkage and Deformation in Stereolithography

In the industrial use of stereolithography, precision is always a problem. The basic phenomenon of solidification shrinkage has not been sufficiently investigated. This study aims at clarifying the initial linear shrinkage of cured resin in a minute volume. Experimental equipment has been developed which measures the time history of the single strand in situ in a stereolithography machine. An analysis model of the time history of a minute volume linear shrinkage was shown using the measured shrinkage of a cured line segment. The relation between the time history of the linear shrinkage and temperature was measured and the shrinkage in the minute volume after irradiation was found to result due to temperature variation. Deformation and linear shrinkage were measured with two scanning orders to control the thermal distribution in layer forming. The effects of thermal distribution were also observed in one layer forming

Reaction Heat Effect On Initial Linear Shrinkage of Sterelothigraphy Resins

In the industrial use ofthe Stereolithography, the precision is always a problem. Basic phenomenon of the solidification shrink has not suffiCiently investigated This study aims at clarifying the initial linear shrinkage ofcured resin in a minute volume. Experimental equipment has been developed which measures the time history of the single strand in situ in a stereolithography machine. Analysis model about the time history of a minute volume linear shrinkage has been shown using with the measured shrinkage of a cured line segment. The relation between the time history ofthe linear shrinkage and the temperature was measured and the shrinkage in the minute volume after irradiation has been caused by the temperature variationMechanical Engineerin

Neural Structure Fields with Application to Crystal Structure Autoencoders

Representing crystal structures of materials to facilitate determining them via neural networks is crucial for enabling machine-learning applications involving crystal structure estimation. Among these applications, the inverse design of materials can contribute to next-generation methods that explore materials with desired properties without relying on luck or serendipity. We propose neural structure fields (NeSF) as an accurate and practical approach for representing crystal structures using neural networks. Inspired by the concepts of vector fields in physics and implicit neural representations in computer vision, the proposed NeSF considers a crystal structure as a continuous field rather than as a discrete set of atoms. Unlike existing grid-based discretized spatial representations, the NeSF overcomes the tradeoff between spatial resolution and computational complexity and can represent any crystal structure. To evaluate the NeSF, we propose an autoencoder of crystal structures that can recover various crystal structures, such as those of perovskite structure materials and cuprate superconductors. Extensive quantitative results demonstrate the superior performance of the NeSF compared with the existing grid-based approach.Comment: 16 pages , 6 figures. 13 pages Supplementary Informatio

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021Part of the Lecture Notes in Computer Science book series (LNTCS, volume 12652)A smart contract is a program executed on a blockchain, based on which many cryptocurrencies are implemented, and is being used for automating transactions. Due to the large amount of money that smart contracts deal with, there is a surging demand for a method that can statically and formally verify them. This tool paper describes our type-based static verification tool HELMHOLTZ for Michelson, which is a statically typed stack-based language for writing smart contracts that are executed on the blockchain platform Tezos. HELMHOLTZ is designed on top of our extension of Michelson’s type system with refinement types. HELMHOLTZ takes a Michelson program annotated with a user-defined specification written in the form of a refinement type as input; it then typechecks the program against the specification based on the refinement type system, discharging the generated verification conditions with the SMT solver Z3. We briefly introduce our refinement type system for the core calculus Mini-Michelson of Michelson, which incorporates the characteristic features such as compound datatypes (e.g., lists and pairs), higher-order functions, and invocation of another contract. HELMHOLTZ successfully verifies several practical Michelson programs, including one that transfers money to an account and that checks a digital signature

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

A smart contract is a program executed on a blockchain, based on which many cryptocurrencies are implemented, and is being used for automating transactions. Due to the large amount of money that smart contracts deal with, there is a surging demand for a method that can statically and formally verify them. This article describes our type-based static verification tool HELMHOLTZ for Michelson, which is a statically typed stack-based language for writing smart contracts that are executed on the blockchain platform Tezos. HELMHOLTZ is designed on top of our extension of Michelson’s type system with refinement types. HELMHOLTZ takes a Michelson program annotated with a user-defined specification written in the form of a refinement type as input; it then typechecks the program against the specification based on the refinement type system, discharging the generated verification conditions with the SMT solver Z3. We briefly introduce our refinement type system for the core calculus Mini-Michelson of Michelson, which incorporates the characteristic features such as compound datatypes (e.g., lists and pairs), higher-order functions, and invocation of another contract. HELMHOLTZ successfully verifies several practical Michelson programs, including one that transfers money to an account and that checks a digital signature

Comparison of Value Set Based on DCE and/or TTO Data: Scoring for EQ-5D-5L Health States in Japan

AbstractBackgroundThe valuation study of the five-level version of the EuroQol five-dimensional questionnaire (EQ-5D-5L) involved composite time trade-off (cTTO) and a discrete choice experiment (DCE). The DCE scores must be anchored to the quality-of-life scale from 0 (death) to 1 (full health). Nevertheless, the characteristics of the statistical methods used for converting the EQ-5D-5L DCE results by using TTO information are not yet clearly known.ObjectivesTo present the Japanese DCE value set of the EQ-5D-5L and compare three methods for converting latent DCE values.MethodsThe survey sampled the general population at five locations in Japan. 1098 respondents were stratified by age and sex. To obtain and compare the value sets of the EQ-5D-5L, the cTTO and DCE data were analyzed by a linear mixed model and conditional logit, respectively. The DCE scores were converted to the quality-of-life scale by anchoring to the worst state using cTTO, mapping DCE onto cTTO, and a hybrid model.ResultsThe data from 1026 respondents were analyzed. All the coefficients in the cTTO and DCE value sets were consistent throughout all the analyses. Compared with the cTTO algorithm, the mapping and hybrid methods yielded very similar scoring coefficients. The hybrid model results, however, produced a lower root mean square error and fewer health states with errors exceeding 0.05 than did the other models. The DCE anchored to the worst state overestimated the cTTO scores of almost all the health states.ConclusionsJapanese value sets based on DCE were demonstrated. On comparing the observed cTTO scores, we found that the hybrid model was slightly superior to the simpler methods, including the TTO model

A case of tetanus treated with Kampo medicines such as Kakkonto and Shakuyakukanzoto

CaseA 74-year-old man developed tetanus 3 days after working with cow and poultry manure. Kakkonto and shakuyakukanzoto, traditional Japanese herbal medicines that are effective for the relief of pain primarily related to muscle contraction, were given to control the trismus and painful contracture of the neck. Generalized convulsions were controlled without the use of muscle relaxants.OutcomeAfter 30 days, the patient was discharged from the hospital without any sequelae.ConclusionKakkonto and shakuyakukanzoto may be useful for the control of muscle spasms resulting from generalized tetanus