Minimizing regret when dissolving a partnership

We study the problem of dissolving an equal-entitlement partnership when the objective is to minimize maximum regret. We initially focus on the family of linear-pricing mechanisms and derive regret-optimizing strategies. We also demonstrate that there exist linear-pricing mechanisms satisfying ex-post efficiency. Next, we analyze a binary-search mechanism which is ex-post individually rational. We discuss connections with the standard Bayesian-Nash framework for both linear and binary-search mechanisms. On a more general level, we show that if entitlements are unequal, ex-post efficiency and ex-post individual rationality impose significant restrictions on permissible mechanisms. In particular, they rule out both linear and binary-search mechanisms.Partnership dissolution; minimax regret; fair division; allocative efficiency

Surface Structural Disordering in Graphite upon Lithium Intercalation/Deintercalation

We report on the origin of the surface structural disordering in graphite anodes induced by lithium intercalation and deintercalation processes. Average Raman spectra of graphitic anodes reveal that cycling at potentials that correspond to low lithium concentrations in LixC (0 \leq x < 0.16) is responsible for most of the structural damage observed at the graphite surface. The extent of surface structural disorder in graphite is significantly reduced for the anodes that were cycled at potentials where stage-1 and stage-2 compounds (x > 0.33) are present. Electrochemical impedance spectra show larger interfacial impedance for the electrodes that were fully delithiated during cycling as compared to electrodes that were cycled at lower potentials (U < 0.15 V vs. Li/Li+). Steep Li+ surface-bulk concentration gradients at the surface of graphite during early stages of intercalation processes, and the inherent increase of the LixC d-spacing tend to induce local stresses at the edges of graphene layers, and lead to the breakage of C-C bonds. The exposed graphite edge sites react with the electrolyte to (re)form the SEI layer, which leads to gradual degradation of the graphite anode, and causes reversible capacity loss in a lithium-ion battery.Comment: 12 pages, 5 figure

Formal Specification of a Dynamically Configurable Distributed System

The Programmers\u27 Playground is a programming environment that supports end-user construction of distributed multimedia applications. The system implements a new programming model that is based, in part, upon ideas from the formal I/O automaton model of Lynch and Tuttle. Important features of The Programmers\u27 Playground are a separation of communication and computation and graphical support for dynamic reconfiguration. This paper provides a formal specification of the Playground programming model and runtime system in terms of the I/O automaton model on which it is based. Exploiting the compositionality properties of the I/O automaton model, the formal specification is describd as a composition of several modules. A behavioral specification of each module is presented, followed by an I/O automaton that implements each specification. We present the specification in two stages, a centralized specification that captures the allowable behaviors, and then a detailed distributed implementation

Large Deviation Local Limit Theorems for Arbitrary Sequences of Random Varibles

The results of W. Richter (Theory Prob. Appl. (1957) 2 206-219) on sums of independent, identically distributed random variables are generalized to arbitrary sequences of random variables Tn. Under simple conditions on the cumulant generating function of Tn, which imply that Tn/n converges to zero, it is shown, for arbitrary sequences {mn}, that kn (mn), the probability density function of Tn/n at mn, is asymptotic to an expression involving the large deviation rate of Tn/n. Analogous results for lattice random variables are also given. Applications of these results to statistics appearing in nonparametric inference are presented. Other applications to asymptotic distributions in statistical mechanics are pursued in another paper

Minimizing Regret when Dissolving a Partnership

We study the problem of dissolving an equal-entitlement partnership when the objective is to minimize maximum regret. We initially focus on the family of linear-pricing mechanisms and derive regret-optimizing strategies. We also demonstrate that there exist linear-pricing mechanisms satisfying ex-post efficiency. Next, we analyze a binary-search mechanism which is ex-post individually rational. We discuss connections with the standard Bayesian-Nash framework for both linear and binary-search mechanisms. On a more general level, we show that if entitlements are unequal, ex-post efficiency and ex-post individual rationality impose significant restrictions on permissible mechanisms. In particular, they rule out both linear and binary-search mechanisms

Real-time Measurement of Stress and Damage Evolution During Initial Lithiation of Crystalline Silicon

Crystalline to amorphous phase transformation during initial lithiation in (100) silicon-wafers is studied in an electrochemical cell with lithium metal as the counter and reference electrode. It is demonstrated that severe stress jumps across the phase boundary lead to fracture and damage, which is an essential consideration in designing silicon based anodes for lithium ion batteries. During initial lithiation, a moving phase boundary advances into the wafer starting from the surface facing the lithium electrode, transforming crystalline silicon into amorphous LixSi. The resulting biaxial compressive stress in the amorphous layer is measured in situ and it was observed to be ca. 0.5 GPa. HRTEM images reveal that the crystalline-amorphous phase boundary is very sharp, with a thickness of ~ 1 nm. Upon delithiation, the stress rapidly reverses, becomes tensile and the amorphous layer begins to deform plastically at around 0.5 GPa. With continued delithiation, the yield stress increases in magnitude, culminating in sudden fracture of the amorphous layer into micro-fragments and the cracks extend into the underlying crystalline silicon.Comment: 12 pages, 5 figure

A NOVEL APPROACH FOR FINDING DIABETIC MELLITUS USING ENSEMBLE MODEL FOR AN OPTIMIZED CLASSIFICATION

  Diabetic mellitus is a chronic disease caused by hyperglycemia which should be treated with high care and medications. The objective of this work is to identify and classify the severity of the diabetic disease using the training data set. This is caused due to the defect in insulin secretion that may affect several organs in the body. Blood pressure and diabetic mellitus are the common twin diseases occurred in about 69.2 million people living in India around 8.7% of the population as per the data resealed in the year 2015. Correct diet, regular exercise will control disease to a great extent. In this research paper the applied methodology is a concurrent classifier for the diabetic mellitus and the results are analyzed with the supervised learning. From the University of California and Irvine repository related attributes for the diabetic mellitus are carefully measured through the ensemble classifier and the results are categorized in the dataset. This work results that boosting can be made to the dataset for obtaining accurate results and classifications. In the conclusion, ensemble methodology is the well proven methodology from the year 1993. For forecasting in N†number of domains, so for the ensemble classifier produces 93% of the accurate results are made. An audit can be made on the results and suggestions are given to the patients for taking medications with the help of medical practitioners

Bayesian Non-Exhaustive Classification A Case Study: Online Name Disambiguation using Temporal Record Streams

The name entity disambiguation task aims to partition the records of multiple real-life persons so that each partition contains records pertaining to a unique person. Most of the existing solutions for this task operate in a batch mode, where all records to be disambiguated are initially available to the algorithm. However, more realistic settings require that the name disambiguation task be performed in an online fashion, in addition to, being able to identify records of new ambiguous entities having no preexisting records. In this work, we propose a Bayesian non-exhaustive classification framework for solving online name disambiguation task. Our proposed method uses a Dirichlet process prior with a Normal * Normal * Inverse Wishart data model which enables identification of new ambiguous entities who have no records in the training data. For online classification, we use one sweep Gibbs sampler which is very efficient and effective. As a case study we consider bibliographic data in a temporal stream format and disambiguate authors by partitioning their papers into homogeneous groups. Our experimental results demonstrate that the proposed method is better than existing methods for performing online name disambiguation task.Comment: to appear in CIKM 201