Automated Mechanism Design for Classification with Partial Verification

We study the problem of automated mechanism design with partial verification, where each type can (mis)report only a restricted set of types (rather than any other type), induced by the principal's limited verification power. We prove hardness results when the revelation principle does not necessarily hold, as well as when types have even minimally different preferences. In light of these hardness results, we focus on truthful mechanisms in the setting where all types share the same preference over outcomes, which is motivated by applications in, e.g., strategic classification. We present a number of algorithmic and structural results, including an efficient algorithm for finding optimal deterministic truthful mechanisms, which also implies a faster algorithm for finding optimal randomized truthful mechanisms via a characterization based on convexity. We then consider a more general setting, where the principal's cost is a function of the combination of outcomes assigned to each type. In particular, we focus on the case where the cost function is submodular, and give generalizations of essentially all our results in the classical setting where the cost function is additive. Our results provide a relatively complete picture for automated mechanism design with partial verification.Comment: AAAI'2

Congenital insensitivity to pain associated with PRDM12 mutation: Two case reports and a literature review

Background:PRDM12 is a newly discovered gene responsible for congenital insensitivity to pain (CIP). Its clinical manifestations are various and not widely known.Methods: The clinical data of two infants diagnosed with CIP associated with PRDM12 mutation were collected. A literature review was performed, and the clinical characteristics of 20 cases diagnosed with a mutation of PRDM12 were summarized and analyzed.Results: Two patients had pain insensitivity, tongue and lip defects, and corneal ulcers. The genomic analysis results showed that variants of PRDM12 were detected in the two families. The case 1 patient carried heterozygous variations of c.682+1G > A and c.502C > T (p.R168C), which were inherited from her father and mother, respectively. We enrolled 22 patients diagnosed with CIP through a literature review together with our cases. There were 16 male (72.7%) and 6 female (27.3%) patients. The age of onset ranged from 6 months to 57 years. The prevalence of clinic manifestation was 14 cases with insensitivity to pain (63.6%), 19 cases with self-mutilation behaviors (86.4%), 11 cases with tongue and lip defects (50%), 5 cases with mid-facial lesions (22.7%), 6 cases with distal phalanx injury (27.3%), 11 cases of recurrent infection (50%), 3 cases (13.6%) with anhidrosis, and 5 cases (22.7%) with global developmental delay. The prevalence of ocular symptoms was 11 cases (50%) with reduced tear secretion, 6 cases (27.3%) with decreased corneal sensitivity, 7 cases (31.8%) with disappeared corneal reflexes, 5.5 cases (25%, 0.5 indicated a single eye) with corneal opacity, 5 cases (22.7%) with corneal ulceration, and 1 case (4.5%) with a corneal scar.Conclusion: The syndrome caused by PRDM12 mutation is a clinically distinct and diagnosable disease that requires joint multidisciplinary management to control the development of the disease and minimize the occurrence of complications

Study on Stability and Control of Pre-excavated Withdrawal Channel under Mining Influence

AbstractPre-excavated withdrawal channel (PWC) is an effective means to shorten the withdrawal time of fully mechanized working face and improve the efficiency, safety, and reliability during the withdrawal. However, the key to the success of the withdrawal method is the influence of mining on the stability of PWC, taking the III32upper1 working face of Zhuzhuang Coal Mine as the engineering background. By theoretical analysis and numerical simulation, the deformation of the PWC is analyzed and the mechanical model of the influence of the instability of the main roof fracture on the PWC is established. And the effect of the fracture and rotation of the main roof on the PWC is analyzed. The result shows that the instability of the coal pillar leads to the fracture and rotary deformation of the main roof as the width of the coal pillar gradually decreases, which further aggravates the deformation of the PWC and the degree of ground pressure behavior. Based on the influence of mining on the PWC, a control method is proposed. This method uses hydraulic fracturing technology to weaken the mining stress and prevent the fracture of the main roof above the PWC. The control effect of hydraulic fracturing on PWC is analyzed through the establishment of numerical calculation model. The result of engineering practice demonstrates that the mining stress is significantly reduced, and the deformation of surrounding rock in the PWC is effectively controlled after hydraulic fracturing

Case Report: Clinical benefit from multi-target tyrosine kinase inhibitor and PARP inhibitor in a patient with cancer of unknown primary with BRCA1 large genomic rearrangement

Background: Cancer of unknown primary (CUP), which accounts for 3%–5% of new cancer cases every year, involves the presence of a type of histologically confirmed metastatic tumors whose primary site cannot be confirmed by conventional diagnostic methods. This difficulty in identifying the primary site means that CUP patients fail to receive precisely targeted therapy. Most patients are treated with empiric chemotherapy, with a median survival of 6 months and even poorer prognosis within an unfavorable subset of CUP.Case report: An 80-year-old woman presented with masses in the abdomen. Following comprehensive imagological and immunohistochemical examinations, she was diagnosed with CUP. She emphatically declined chemotherapy; thus, anlotinib has been administered with patient consent since 02/07/2019, and stable disease (SD) was observed for 2 years. During subsequent treatment, a large genomic rearrangement in BRCA1 was identified in the patient via NGS, and SD was observed for a further 6 months following olaparib treatment. The type of LGR identified in this patient was discovered to be BRCA1 exon 17-18 inversion (inv), which has never been previously reported.Conclusion: For CUP patients, a chemo-free regimen seems to be acceptable as a first-line treatment, and NGS-guided targeted treatment could improve patient outcomes

Investigating Shared Genetic Basis Across Tourette Syndrome and Comorbid Neurodevelopmental Disorders Along the Impulsivity-Compulsivity Spectrum

Background Tourette syndrome (TS) is often found comorbid with other neurodevelopmental disorders across the impulsivity-compulsivity spectrum, with attention-deficit/hyperactivity disorder (ADHD), autism spectrum disorder (ASD), and obsessive-compulsive disorder (OCD) as most prevalent. This points to the possibility of a common etiological thread along an impulsivity-compulsivity continuum. Methods Investigating the shared genetic basis across TS, ADHD, ASD, and OCD, we undertook an evaluation of cross-disorder genetic architecture and systematic meta-analysis, integrating summary statistics from the latest genome-wide association studies (93,294 individuals, 6,788,510 markers). Results As previously identified, a common unifying factor connects TS, ADHD, and ASD, while TS and OCD show the highest genetic correlation in pairwise testing among these disorders. Thanks to a more homogeneous set of disorders and a targeted approach that is guided by genetic correlations, we were able to identify multiple novel hits and regions that seem to play a pleiotropic role for the specific disorders analyzed here and could not be identified through previous studies. In the TS-ADHD-ASD genome-wide association study single nucleotide polymorphism–based and gene-based meta-analysis, we uncovered 13 genome-wide significant regions that host single nucleotide polymorphisms with a high posterior probability for association with all three studied disorders (m-value > 0.9), 11 of which were not identified in previous cross-disorder analysis. In contrast, we also identified two additional pleiotropic regions in the TS-OCD meta-analysis. Through conditional analysis, we highlighted genes and genetic regions that play a specific role in a TS-ADHD-ASD genetic factor versus TS-OCD. Cross-disorder tissue specificity analysis implicated the hypothalamus-pituitary-adrenal gland axis in TS-ADHD-ASD. Conclusions Our work underlines the value of redefining the framework for research across traditional diagnostic categories.publishedVersio

Classification with Few Tests through Self-Selection

We study test-based binary classification, where a principal either accepts or rejects agents based on the outcomes they get in a set of tests. The principal commits to a policy, which consists of all sets of outcomes that lead to acceptance. Each agent is modeled by a distribution over the space of possible outcomes. When an agent takes a test, he pays a cost and receives an independent sample from his distribution as the outcome. Agents can always choose between taking another test and stopping. They maximize their expected utility, which is the value of acceptance if the principal's policy accepts the set of outcomes they have and 0 otherwise, minus the total cost of tests taken. We focus on the case where agents can be either "good" or "bad" (corresponding to their distribution over test outcomes), and the principal's goal is to accept good agents and reject bad ones. We show, roughly speaking, that as long as the good and bad agents have different distributions (which can be arbitrarily close to each other), the principal can always achieve perfect accuracy, meaning good agents are accepted with probability 1, and bad ones are rejected with probability 1. Moreover, there is a policy achieving perfect accuracy under which the maximum number of tests any agent needs to take is constant — in sharp contrast to the case where the principal directly observes samples from agents' distributions. The key technique is to choose the policy so that agents self-select into taking tests

A Better Algorithm for Societal Tradeoffs

In the societal tradeoffs problem, each agent perceives certain quantitative tradeoffs between pairs of activities, and the goal is to aggregate these tradeoffs across agents. This is a problem in social choice; specifically, it is a type of quantitative judgment aggregation problem. A natural rule for this problem was axiomatized by Conitzer et al. [AAAI 2016]; they also provided several algorithms for computing the outcomes of this rule. In this paper, we present a significantly improved algorithm and evaluate it experimentally. Our algorithm is based on a tight connection to minimum-cost flow that we exhibit. We also show that our algorithm cannot be improved without breakthroughs on min-cost flow

A Method to Extract Causality for Safety Events in Chemical Accidents from Fault Trees and Accident Reports

Chemical event evolutionary graph (CEEG) is an effective tool to perform safety analysis, early warning, and emergency disposal for chemical accidents. However, it is a complicated work to find causality among events in a CEEG. This paper presents a method to accurately extract event causality by using a neural network and structural analysis. First, we identify the events and their component elements from fault trees by natural language processing technology. Then, causality in accident events is divided into explicit causality and implicit causality. Explicit causality is obtained by analyzing the hierarchical structure relations of event nodes and the semantics of component logic gates in fault trees. By integrating internal structural features of events and semantic features of event sentences, we extract implicit causality by utilizing a bidirectional gated recurrent unit (BiGRU) neural network. An algorithm, named CEFTAR, is presented to extract causality for safety events in chemical accidents from fault trees and accident reports. Compared with the existing methods, experimental results show that our method has a higher accuracy and recall rate in extracting causality

Three-Dimensional Modeling of Spun-Bonded Nonwoven Meso-Structures

As a type of fiber system, nonwoven fabric is ideal for solid–liquid separation and air filtration. With the wide application of nonwoven filter materials, it is crucial to explore the complex relationship between its meso structure and filtration performance. In this paper, we proposed a novel method for constructing the real meso-structure of spun-bonded nonwoven fabric using computer image processing technology based on the idea of a “point-line-body”. Furthermore, the finite element method was adopted to predict filtration efficiencies based on the built 3D model. To verify the effectiveness of the constructed meso-structure and simulation model, filtration experiments were carried out on the fabric samples under different pollution particle sizes and inlet velocities. The experimental results show that the trends observed in the simulation results are consistent with those of the experimental results, with a relative error smaller than 10% for any individual datum

Case-driven category analysis of 3D building property

Many immigrants from rural areas pour into urban areas, especially in China, and urban development faces the challenges to provide sufficient space for citizens’ acommodation, works and social contacts. So 3D development and use of land and city space become the reality with various complex buildings and constructions with modern architecture and construction techniques. Many underground constructions like mall and subway with stations are built without clear impression comparing to the above reality scenes. Also many buildings above the earth surface show their special characters with either air building / overpass / viadust or “strange” shapes getting our attentions; but actually they bring new challenges of spatial management to handle the 3D property unit, either in describing their relations with reference to earth surface or in performing administrative processes in transactions of planning, approval and management. From the real cases of buildings or 3D property, this paper first details the relations between 3D properties and earth surface, the relative location relations between 3D building properties and earth surface form, and the correspondence between 3D building properties and surface parcel, then classifies the category according to these three profiles, which would promote the understandings of complex buildings and 3D building properties and would enhance the descriptions and the segmentation of 3D building properties