Non-malleable encryption: simpler, shorter, stronger

In a seminal paper, Dolev et al. [15] introduced the notion of non-malleable encryption (NM-CPA). This notion is very intriguing since it suffices for many applications of chosen-ciphertext secure encryption (IND-CCA), and, yet, can be generically built from semantically secure (IND-CPA) encryption, as was shown in the seminal works by Pass et al. [29] and by Choi et al. [9], the latter of which provided a black-box construction. In this paper we investigate three questions related to NM-CPA security: 1. Can the rate of the construction by Choi et al. of NM-CPA from IND-CPA be improved? 2. Is it possible to achieve multi-bit NM-CPA security more efficiently from a single-bit NM-CPA scheme than from IND-CPA? 3. Is there a notion stronger than NM-CPA that has natural applications and can be achieved from IND-CPA security? We answer all three questions in the positive. First, we improve the rate in the scheme of Choi et al. by a factor O(λ), where λ is the security parameter. Still, encrypting a message of size O(λ) would require ciphertext and keys of size O(λ2) times that of the IND-CPA scheme, even in our improved scheme. Therefore, we show a more efficient domain extension technique for building a λ-bit NM-CPA scheme from a single-bit NM-CPA scheme with keys and ciphertext of size O(λ) times that of the NM-CPA one-bit scheme. To achieve our goal, we define and construct a novel type of continuous non-malleable code (NMC), called secret-state NMC, as we show that standard continuous NMCs are not enough for the natural “encode-then-encrypt-bit-by-bit” approach to work. Finally, we introduce a new security notion for public-key encryption that we dub non-malleability under (chosen-ciphertext) self-destruct attacks (NM-SDA). After showing that NM-SDA is a strict strengthening of NM-CPA and allows for more applications, we nevertheless show that both of our results—(faster) construction from IND-CPA and domain extension from one-bit scheme—also hold for our stronger NM-SDA security. In particular, the notions of IND-CPA, NM-CPA, and NM-SDA security are all equivalent, lying (plausibly, strictly?) below IND-CCA securit

The 3-5 semiconductor solid solution single crystal growth

Techniques used for liquid and vapor phase epitaxy of gallium indium arsenide are described and the difficulties encountered are examined. Results show that the growth of bulk III-V solid solution single crystals in a low gravity environment will not have a major technological impact. The float zone technique in a low gravity environment is demonstrated using cadmium telluride. It is shown that this approach can result in the synthesis of a class of semiconductors that can not be grown in normal gravity because of growth problems rooted in the nature of their phase diagrams

Towards the Prediction of User Actions on Exercises with Hints Based on Survey Results

Proceedings of: 6th European Conference of Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011.The actions a user performs on exercises depending on the different hinting techniques applied, can be used to adapt future exercises. In this paper, we propose a survey for users in order to know their different actions depending on different conditions. The analysis of preliminary results for some questions of the model shows that there is a correlation between some survey questions and the real student actions, but there is a case in which there is not such correlation. For the cases where that correlation exists, this correlation leads to think that some prediction of users actions based on survey results is possible.Work partially funded by the Learn3 project TIN2008-05163/TSI within the Spanish “Plan Nacional de I+D+I”, and the Madrid regional community project eMadrid S2009/TIC-1650

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

Geological structure and prospects of noble metal ore mineralization of the Khayrkhan gabbroid massif (Western Mongolia)

An analysis of the distribution of noble metals in zones of sulfide mineralization makes it possible to justify the isolation of four ore-bearing horizons with a specific geochemical zonation. A rise in the gold content relative to palladium and platinum is observed from the bottom upwards along the section of the stratified series of gabbroids. The study of the mineral phases of sulphides and the noble minerals itself indicates the evolution of hydrothermal solutions, which determines the different activity and mobility of the fluid (mercury, tellurium, sulfur) and ore (copper, nickel, iron, platinum, gold and silver) components

Inside Organizations: Pricing, Politics, and Path Dependence

When economists have considered organizations, much attention has focused on the boundary of the firm, rather than its internal structures and processes. In contrast, this review sketches three approaches to the economic theory of internal organization—one substantially developed, another rapidly emerging, and a third on the horizon. The first approach (pricing) applies Pigou's prescription: If markets get prices wrong, then the economist's job is to fix the prices. The second approach (politics) considers environments where important actions inside organizations simply cannot be priced, so power and control become central. Finally, the third approach (path dependence) complements the first two by shifting attention from the between variance to the within. That is, rather than asking how organizations confronting different circumstances should choose different structures and processes, the focus here is on how path dependence can cause persistent performance differences among seemingly similar enterprises

Acquiring variation in an artificial language: children and adults are sensitive to socially conditioned linguistic variation

Languages exhibit sociolinguistic variation, such that adult native speakers condition the usage of linguistic variants on social context, gender, and ethnicity, among other cues. While the existence of this kind of socially conditioned variation is well-established, less is known about how it is acquired. Studies of naturalistic language use by children provide various examples where children's production of sociolinguistic variants appears to be conditioned on similar factors to adults’ production, but it is difficult to determine whether this reflects knowledge of sociolinguistic conditioning or systematic differences in the input to children from different social groups. Furthermore, artificial language learning experiments have shown that children have a tendency to eliminate variation, a process which could potentially work against their acquisition of sociolinguistic variation. The current study used a semi-artificial language learning paradigm to investigate learning of the sociolinguistic cue of speaker identity in 6-year-olds and adults. Participants were trained and tested on an artificial language where nouns were obligatorily followed by one of two meaningless particles and were produced by one of two speakers (one male, one female). Particle usage was conditioned deterministically on speaker identity (Experiment 1), probabilistically (Experiment 2), or not at all (Experiment 3). Participants were given tests of production and comprehension. In Experiments 1 and 2, both children and adults successfully acquired the speaker identity cue, although the effect was stronger for adults and in Experiment 1. In addition, in all three experiments, there was evidence of regularization in participants' productions, although the type of regularization differed with age: children showed regularization by boosting the frequency of one particle at the expense of the other, while adults regularized by conditioning particle usage on lexical items. Overall, results demonstrate that children and adults are sensitive to speaker identity cues, an ability which is fundamental to tracking sociolinguistic variation, and that children's well-established tendency to regularize does not prevent them from learning sociolinguistically conditioned variation

AI and Human Values in Homelessness Services: How Values Can Inform the Design of AI for Social Services

The goal of this paper is to understand how social service providers’ work values shape their views on how artificial intelligence (AI) can be used to improve social service provision for people experiencing homelessness. The paper builds on work in value-sensitive design and the use of AI for social service provision. This paper reports findings from surveys collected from 207 representatives of relevant programs funded by the U.S. Department of Housing and Urban Development. Participants were asked to complete two value instruments – one covering their own values in relation to homeless service provision work (work values) and one covering values in relation to AI (AI values). The survey responses yielded four clusters of work values (community, security, effectiveness, and inclusivity) and three clusters of AI values (properties of AI, human-AI interaction, and broader impacts of AI). The results identified relationships between the work clusters and the AI clusters; for example, community was positively correlated with human interaction with AI (p<0.01) and broader impacts of AI (p<0.001); effectiveness was positively correlated with properties of AI (p<0.01); and inclusivity was positively correlated with broader impacts of AI (p<0.001). These results demonstrate that knowledge of stakeholders’ values toward homeless service provision can be used to inform the design of AI-based systems for social service provision

Treatment setting and buprenorphine discontinuation: an analysis of multi-state insurance claims

Background Potential differences in buprenorphine treatment outcomes across various treatment settings are poorly characterized in multi-state administrative data. We thus evaluated the association of opioid use disorder (OUD) treatment setting and insurance type with risk of buprenorphine discontinuation among commercial insurance and Medicaid enrollees initiated on buprenorphine. Methods In this observational, retrospective cohort study using the Merative MarketScan databases (2006–2016), we analyzed buprenorphine retention in 58,200 US adults with OUD. Predictor variables included insurance status (Medicaid vs commercial) and treatment setting, operationalized as substance use disorder (SUD) specialty treatment facility versus outpatient primary care physicians (PCPs) versus outpatient psychiatry, ascertained by linking physician visit codes to buprenorphine prescriptions. Treatment setting was inferred based on timing of prescriber visit claims preceding prescription fills. We estimated time to buprenorphine discontinuation using multivariable cox regression. Results Among enrollees with OUD receiving buprenorphine, 26,168 (45.0%) had prescriptions from SUD facilities without outpatient buprenorphine treatment, with the remaining treated by outpatient PCPs (n = 23,899, 41.1%) and psychiatrists (n = 8133, 13.9%). Overall, 50.6% and 73.3% discontinued treatment at 180 and 365 days respectively. Buprenorphine discontinuation was higher among enrollees receiving prescriptions from SUD facilities (aHR = 1.03[1.01–1.06]) and PCPs (aHR = 1.07[1.05–1.10]). Medicaid enrollees had lower buprenorphine retention than those with commercial insurance, particularly those receiving buprenorphine from SUD facilities and PCPs (aHR = 1.24[1.20–1.29] and aHR = 1.39[1.34–1.45] respectively, relative to comparator group of commercial insurance enrollees receiving buprenorphine from outpatient psychiatry). Conclusion Buprenorphine discontinuation is high across outpatient PCP, psychiatry, and SUD treatment facility settings, with potentially lower treatment retention among Medicaid enrollees receiving care from SUD facilities and PCPs

How does Brazil measure up? Comparing rankings through the lenses of nation brand indexes

A considerable amount of literature has been published on nation brand and yet not much regarding measurement. The purpose of this paper is to examine nation brand indexes and explore the unbalanced outcomes of a country’s position in these recognized instruments. Although research has been carried out on nation brand, no single study exists comparing a country in four diverse nation brand indexes, which are the reputable ones by Anholt (2007), Fetscherin (2010), Fombrun (2014) and Anholt and Govers (2014). This paper also reflects on the critical studies perspective of the place branding research domain, discussed by Lucarelli and Berg (2011). After a qualitative approach applied to Brazil, it is believed that these indexes mutually support and complement each other - even though they use different approaches, methodologies, samples, and data. Moreover, each of them has their own strengths and weaknesses in terms of accuracy and rationality. Findings from this paper’s evaluation may guide nation brand managers, governments, and researchers to recognize that indexes should be taken into account when analysing a nation brand and its complex image. Therefore, this paper contributes to existing knowledge on the critical studies perspective of the contemporary theoretical structure of the place branding research domain by providing a comparative study based on real data-based rankings of nation brand indexes