IA Scholar Query: Proof Theory and Post-turing Analysis.
https://scholar.archive.org/
Internet Archive Scholar query results feedeninfo@archive.orgSat, 31 Dec 2022 00:00:00 GMTfatcat-scholarhttps://scholar.archive.org/help1440Have We Left the Paperverse Yet?
https://scholar.archive.org/work/7qrptcs3sffynaqss6il3diri4
What you saw was not always what you got in the days of early gaming. Disappointment was a common experience for gamers whenever the flashy depictions of game contents as presented in adverts and the limitations of early computer graphics clashed on screen. One of the most striking examples for this was the infamous debacle of E.T. THE EXTRA-TERRESTRIAL (1982). Frequently deemed the worst game ever made and responsible for Atari's decline and the subsequent video game crisis of 1983, this questionable status has been somewhat vindicated in recent years. 1 The realities of non-intuitive gameplay, glitches, awkward controls, and other badly executed aspects aside, one reason for the game's disputed reputation certainly was the large divide between players' expectations, who had seen Steven Spielberg's blockbuster, and the technological limitations of game consoles that did not allow for a similarly captivating and immersive experience. However, such shortcomings alone do not suffice to explain the commercial failure since all early games were restricted by the same technological limitations, 1 Harris, John: "Review Roundup: Was E.T. Really the 'Worst Game Ever'?" in: Game History Foundation, https://gamehistory.org/et-atari-reviews-worst-game-ever/, collects several reviews from magazines of the time, concluding that E.T. was not considered the worst game of the era, not even of the month of its release, "but with its high licensing cost and failure to perform at the market, it was an easy scapegoat for a console game industry in decline." (Ibid.Michael A. Conradwork_7qrptcs3sffynaqss6il3diri4Sat, 31 Dec 2022 00:00:00 GMTPreface
https://scholar.archive.org/work/hjm75n4egjcnvpknp7ioecpb6e
work_hjm75n4egjcnvpknp7ioecpb6eSat, 31 Dec 2022 00:00:00 GMTApproximating Full Conformal Prediction at Scale via Influence Functions
https://scholar.archive.org/work/t4fp2vkrsjhu3ffymexu3btque
Conformal prediction (CP) is a wrapper around traditional machine learning models, giving coverage guarantees under the sole assumption of exchangeability; in classification problems, for a chosen significance level ε, CP guarantees that the error rate is at most ε, irrespective of whether the underlying model is misspecified. However, the prohibitive computational costs of "full" CP led researchers to design scalable alternatives, which alas do not attain the same guarantees or statistical power of full CP. In this paper, we use influence functions to efficiently approximate full CP. We prove that our method is a consistent approximation of full CP, and empirically show that the approximation error becomes smaller as the training set increases; e.g., for 10^3 training points the two methods output p-values that are <10^-3 apart: a negligible error for any practical application. Our methods enable scaling full CP to large real-world datasets. We compare our full CP approximation (ACP) to mainstream CP alternatives, and observe that our method is computationally competitive whilst enjoying the statistical predictive power of full CP.Javier Abad, Umang Bhatt, Adrian Weller, Giovanni Cherubinwork_t4fp2vkrsjhu3ffymexu3btqueMon, 05 Dec 2022 00:00:00 GMTConcept Embedding Models: Beyond the Accuracy-Explainability Trade-Off
https://scholar.archive.org/work/bm27ic2p4fedfm3v74m2dujq3u
Deploying AI-powered systems requires trustworthy models supporting effective human interactions, going beyond raw prediction accuracy. Concept bottleneck models promote trustworthiness by conditioning classification tasks on an intermediate level of human-like concepts. This enables human interventions which can correct mispredicted concepts to improve the model's performance. However, existing concept bottleneck models are unable to find optimal compromises between high task accuracy, robust concept-based explanations, and effective interventions on concepts -- particularly in real-world conditions where complete and accurate concept supervisions are scarce. To address this, we propose Concept Embedding Models, a novel family of concept bottleneck models which goes beyond the current accuracy-vs-interpretability trade-off by learning interpretable high-dimensional concept representations. Our experiments demonstrate that Concept Embedding Models (1) attain better or competitive task accuracy w.r.t. standard neural models without concepts, (2) provide concept representations capturing meaningful semantics including and beyond their ground truth labels, (3) support test-time concept interventions whose effect in test accuracy surpasses that in standard concept bottleneck models, and (4) scale to real-world conditions where complete concept supervisions are scarce.Mateo Espinosa Zarlenga, Pietro Barbiero, Gabriele Ciravegna, Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Zohreh Shams, Frederic Precioso, Stefano Melacci, Adrian Weller, Pietro Lio, Mateja Jamnikwork_bm27ic2p4fedfm3v74m2dujq3uMon, 05 Dec 2022 00:00:00 GMTDecentral and Incentivized Federated Learning Frameworks: A Systematic Literature Review
https://scholar.archive.org/work/hfhqayyvcbf23fzg33it2fl7py
The advent of Federated Learning (FL) has ignited a new paradigm for parallel and confidential decentralized Machine Learning (ML) with the potential of utilizing the computational power of a vast number of IoT, mobile and edge devices without data leaving the respective device, ensuring privacy by design. Yet, in order to scale this new paradigm beyond small groups of already entrusted entities towards mass adoption, the Federated Learning Framework (FLF) has to become (i) truly decentralized and (ii) participants have to be incentivized. This is the first systematic literature review analyzing holistic FLFs in the domain of both, decentralized and incentivized federated learning. 422 publications were retrieved, by querying 12 major scientific databases. Finally, 40 articles remained after a systematic review and filtering process for in-depth examination. Although having massive potential to direct the future of a more distributed and secure AI, none of the analyzed FLF is production-ready. The approaches vary heavily in terms of use-cases, system design, solved issues and thoroughness. We are the first to provide a systematic approach to classify and quantify differences between FLF, exposing limitations of current works and derive future directions for research in this novel domain.Leon Witt, Mathis Heyer, Kentaroh Toyoda, Wojciech Samek, Dan Liwork_hfhqayyvcbf23fzg33it2fl7pyMon, 05 Dec 2022 00:00:00 GMTProtecting a Corporate Network from Insider, Outsider and Collaborative Attacks
https://scholar.archive.org/work/gqpfpbwj2vapxlkw3uhgy7ko3y
A thesis submitted in total fulfilment for the degree of Doctor of Philosophy to the School of Computing, Engineering and Mathematical Sciences, La Trobe University, Victoria, Australia.Dalal Hannawork_gqpfpbwj2vapxlkw3uhgy7ko3yMon, 05 Dec 2022 00:00:00 GMTDesigning Ecosystems of Intelligence from First Principles
https://scholar.archive.org/work/sbkrl243ljewhhgnsrycvgwylm
This white paper lays out a vision of research and development in the field of artificial intelligence for the next decade (and beyond). Its denouement is a cyber-physical ecosystem of natural and synthetic sense-making, in which humans are integral participantsx2014what we call "shared intelligence". This vision is premised on active inference, a formulation of adaptive behavior that can be read as a physics of intelligence, and which inherits from the physics of self-organization. In this context, we understand intelligence as the capacity to accumulate evidence for a generative model of one's sensed worldx2014also known as self-evidencing. Formally, this corresponds to maximizing (Bayesian) model evidence, via belief updating over several scales: i.e., inference, learning, and model selection. Operationally, this self-evidencing can be realized via (variational) message passing or belief propagation on a factor graph. Crucially, active inference foregrounds an existential imperative of intelligent systems; namely, curiosity or the resolution of uncertainty. This same imperative underwrites belief sharing in ensembles of agents, in which certain aspects (i.e., factors) of each agent's generative world model provide a common ground or frame of reference. Active inference plays a foundational role in this ecology of belief sharingx2014leading to a formal account of collective intelligence that rests on shared narratives and goals. We also consider the kinds of communication protocols that must be developed to enable such an ecosystem of intelligences and motivate the development of a shared hyper-spatial modeling language and transaction protocol, as a firstx2014and keyx2014step towards such an ecology.Karl J Friston, Maxwell J D Ramstead, Alex B Kiefer, Alexander Tschantz, Christopher L Buckley, Mahault Albarracin, Riddhi J Pitliya, Conor Heins, Brennan Klein, Beren Millidge, Dalton A R Sakthivadivel, Toby St Clere Smithe, Magnus Koudahl, Safae Essafi Tremblay, Capm Petersen, Kaiser Fung, Jason G Fox, Steven Swanson, Dan Mapes, Gabriel Renéwork_sbkrl243ljewhhgnsrycvgwylmFri, 02 Dec 2022 00:00:00 GMTU–Z
https://scholar.archive.org/work/4mcrvpko3refnnlkv4az3idn3m
Uccello (= bird), Paolo (né Paolo di Dono) (c.1397-1475). Italian painter, born in Pratovecchio, Florentine Republic. He worked as a boy in *Ghiberti's studio, and was later in Venice and Padua as well as Florence. In most of his paintings he is preoccupied with problems of perspective which he worked out by mathematical means. This is evident in the wellknown fresco The Deluge done for S. Maria Novella in Florence. He won contemporary fame for three panels of the Battle of San Romano, painted for the Medici palace in Florence, but now dispersed. He was one of the first to draw plants and birds from nature, a sign of the spirit of innovation that marked the Early Renaissance.work_4mcrvpko3refnnlkv4az3idn3mWed, 30 Nov 2022 00:00:00 GMTSTE-QUEST: Space Time Explorer and QUantum Equivalence principle Space Test
https://scholar.archive.org/work/6lm4xpn4ajd7xdz6cmspr6r6ni
An M-class mission proposal in response to the 2021 call in ESA's science programme with a broad range of objectives in fundamental physics, which include testing the Equivalence Principle and Lorentz Invariance, searching for Ultralight Dark Matter and probing Quantum Mechanics.Holger Ahlers, Leonardo Badurina, Angelo Bassi, Baptiste Battelier, Quentin Beaufils, Kai Bongs, Philippe Bouyer, Claus Braxmaier, Oliver Buchmueller, Matteo Carlesso, Eric Charron, Maria Luisa Chiofalo, Robin Corgier, Sandro Donadi, Fabien Droz, Robert Ecoffet, John Ellis, Frédéric Estève, Naceur Gaaloul, Domenico Gerardi, Enno Giese, Jens Grosse, Aurélien Hees, Thomas Hensel, Waldemar Herr, Philippe Jetzer, Gina Kleinsteinberg, Carsten Klempt, Steve Lecomte, Louise Lopes, Sina Loriani, Gilles Métris, Thierry Martin, Victor Martín, Gabriel Müller, Miquel Nofrarias, Franck Pereira Dos Santos, Ernst M. Rasel, Alain Robert, Noah Saks, Mike Salter, Dennis Schlippert, Christian Schubert, Thilo Schuldt, Carlos F. Sopuerta, Christian Struckmann, Guglielmo M. Tino, Tristan Valenzuela, Wolf von Klitzing, Lisa Wörner, Peter Wolf, Nan Yu, Martin Zelanwork_6lm4xpn4ajd7xdz6cmspr6r6niWed, 30 Nov 2022 00:00:00 GMTP–T
https://scholar.archive.org/work/yietgygetvcmpkacb7szm6xxry
Paasikivi, Juho Kusti (originally Johan Gustaf Hellsen) . Finnish politician. Brought up by an aunt, he won an LLD at Helsinki University, becoming an inspector of finances, then a banker. Finland declared its independence from Russia (1917) and Paasikivi served as Prime Minister 1918, resigning when his proposal for a constitutional monarchy failed. He returned to banking and flirted with the semi-Fascist Lapua movement. He was Ambassador to Sweden 1936-39 and to the USSR 1939-41. World War II forced him to move from conservatism to realism. *Mannerheim appointed him Prime Minister 1944-46, and he won two terms as President 1946-56. With U. K. *Kekkonen, he negotiated peace with the USSR and Finland's neutralist policy is known as 'the Paasikivi line'.work_yietgygetvcmpkacb7szm6xxryWed, 30 Nov 2022 00:00:00 GMTHolding AI to Account: Challenges for the Delivery of Trustworthy AI in Healthcare
https://scholar.archive.org/work/jjiaasjidzepjjdtq3unw4ayzu
The need for AI systems to provide explanations for their behaviour is now widely recognised as key to their adoption. In this paper, we examine the problem of trustworthy AI and explore what delivering this means in practice, with a focus on healthcare applications. Work in this area typically treats trustworthy AI as a problem of Human-Computer Interaction involving the individual user and an AI system. However, we argue here that this overlooks the important part played by organisational accountability in how people reason about and trust AI in socio-technical settings. To illustrate the importance of organisational accountability, we present findings from ethnographic studies of breast cancer screening and cancer treatment planning in multidisciplinary team meetings to show how participants made themselves accountable both to each other and to the organisations of which they are members. We use these findings to enrich existing understandings of the requirements for trustworthy AI and to outline some candidate solutions to the problems of making AI accountable both to individual users and organisationally. We conclude by outlining the implications of this for future work on the development of trustworthy AI, including ways in which our proposed solutions may be re-used in different application settings.Rob Procter, Peter Tolmie, Mark Rouncefieldwork_jjiaasjidzepjjdtq3unw4ayzuTue, 29 Nov 2022 00:00:00 GMTA counterexample to the periodic tiling conjecture
https://scholar.archive.org/work/izptcbxnbvednknzay27dtahsi
The periodic tiling conjecture asserts that any finite subset of a lattice ℤ^d which tiles that lattice by translations, in fact tiles periodically. In this work we disprove this conjecture for sufficiently large d, which also implies a disproof of the corresponding conjecture for Euclidean spaces ℝ^d. In fact, we also obtain a counterexample in a group of the form ℤ^2 × G_0 for some finite abelian 2-group G_0. Our methods rely on encoding a "Sudoku puzzle" whose rows and other non-horizontal lines are constrained to lie in a certain class of "2-adically structured functions", in terms of certain functional equations that can be encoded in turn as a single tiling equation, and then demonstrating that solutions to this Sudoku puzzle exist but are all non-periodic.Rachel Greenfeld, Terence Taowork_izptcbxnbvednknzay27dtahsiTue, 29 Nov 2022 00:00:00 GMT2019
https://scholar.archive.org/work/wcy47hfvvvdwvfgnwx2cuak4ze
On completion of this course, students will have knowledge in: • CO1.Basics of electrochemistry. Classical & modern batteries and fuel cells. CO2. Causes & effects of corrosion of metals and control of corrosion. Modification of surface properties of metals to develop resistance to corrosion, wear, tear, impact etc. by electroplating and electroless plating. CO3. Production & consumption of energy for industrialization of country and living standards of people. Utilization of solar energy for different useful forms of energy. CO4. Understanding Phase rule and instrumental techniques and its applications. CO5.Over viewing of synthesis, properties and applications of nanomaterials.BTECH.CSwork_wcy47hfvvvdwvfgnwx2cuak4zeMon, 28 Nov 2022 00:00:00 GMT2021
https://scholar.archive.org/work/n7rhmaerpvfrhha4draeqwscs4
Course Objectives: 1. Learn and understand basic concepts and principles of Physics. 2. Make students familiar with latest trends in material science research and learn about novel materials and its applications. 3. Make students confident in analyzing engineering problems and apply its solutions effectively and meaningfully. 4. Gain knowledge in interference and diffraction of light and its applications in new technology. Course Outcomes: CO1: Learn and understand more about basic principles and to develop problem solving skills and implementation in technology. CO2: Study material properties and their application and its use in engineering applications and studies. CO3: Understand crystal structure and applications to boost the technical skills and its applications. CO4: Apply light phenomena in new technology. Module 1 Classical free electron theory-Free-electron concept (Drift velocity, Thermal velocity, Mean collision time, Mean free path, relaxation time) -Expression for electrical conductivity-Failure of classical free electron theory. Quantum free electron theory, Assumptions, Fermi factor, Fermi-Dirac Statistics. Expression for electrical conductivity based on quantum free electron theory. Merits of quantum free electron theory. Temperature dependence of electrical resistivity -Specific heat -Thermionic emission. Hall effect (Qualitative) -Wiedemann-Franz law. Teaching Methodology: Chalk and talk method: Classical free electron theory-Free-electron concept (Drift velocity, Thermal velocity, Mean collision time, Mean free path, relaxation time) -Expression for electrical conductivity-Failure of classical free electron theory. Powerpoint presentation: Quantum free electron theory, Assumptions, Fermi factor, Fermi-Dirac Statistics. Expression for electrical conductivity based on quantum free electron theory. Merits of quantum free electron theory. Temperature dependence of electrical resistivity -Specific heat -Thermionic emission. Wiedemann-Franz law. Self-study material: Hall effect (Qualitative) 9 Hours Module 2 Interaction of radiation with matter -Absorption-Spontaneous emission -Stimulated emission-Einstein's coefficients (expression for energy density). Requisites of a Laser system. Condition for laser action. Principle, Construction and working of He-Ne laser. Propagation mechanism in optical fibers. Angle of acceptance. Numerical aperture. Types of optical fibers-Step index and Graded index fiber. Modes of propagation-Single mode and Multimode fibers. Attenuation-Attenuation mechanisms. Teaching Methodology: Chalk and talk method: Interaction of radiation with matter -Absorption-Spontaneous emission -Stimulated emission-Einstein's coefficients (expression for energy density). Requisites of a Laser system. Condition for laser action. Propagation mechanism in optical fibers. Angle of acceptance. Numerical aperture. Powerpoint presentation: Types of optical fibers-Step index and Graded index fiber. Modes of propagation-Single mode and Multimode fibers. Video: Construction and working of He-Ne laser. Self-study material: Attenuation-Attenuation mechanisms. 9 Hours Module 3 Temperature dependence of resistivity in metals and superconducting materials. Effect of magnetic field (Meissner effect). Isotope effect -Type I and Type II superconductors-Temperature dependence of critical field. BCS theory (qualitative). High temperature superconductors-Josephson effect -SQUID-Applications of superconductors-Maglev vehicles (qualitative). Magnetic dipole-dipole moment-flux density-magnetic field intensity-Intensity of magnetization-magnetic permeability-susceptibility-relation between permeability and susceptibility. Classification of magnetic materials-Dia, Para, Ferromagnetism. Hysteresis-soft and hard magnetic materials. Teaching Methodology: Chalk and talk method: Temperature dependence of resistivity in metals and superconducting materials. Effect of magnetic field (Meissner effect). Isotope effect -Type I and Type II superconductors-Temperature dependence of critical field. BCS theory (qualitative). High temperature superconductors-Powerpoint presentation: Josephson effect -SQUID-Applications of superconductors. Magnetic dipole-dipole moment-flux density-magnetic field intensity-Intensity of magnetization-magnetic permeability-susceptibility-relation between permeability and susceptibility. Hysteresis-soft and hard magnetic materials. Video: Maglev vehicles (qualitative). Self-study material: Classification of magnetic materials-Dia, Para, Ferromagnetism 9 Hours Module 4 Amorphous and crystalline materials-Space lattice, Bravais lattice-Unit cell, primitive cell. Lattice parameters. Crystal systems. Direction and planes in a crystal. Miller indices -Determination of Miller indices of a plane. Expression for interplanar spacing. Atoms per unit cell -Co-ordination number. Relation between atomic radius and lattice constant -Atomic packing factors (SC, FCC, BCC). Bragg's law. Determination of crystal structure using Bragg's X-ray diffractometer -X-ray spectrum. Teaching Methodology: Chalk and talk method: Direction and planes in a crystal. Miller indices -Determination of Miller indices of a plane. Powerpoint presentation: Atoms per unit cell -Co-ordination number. Relation between atomic radius and lattice constant -Atomic packing factors (SC, FCC, BCC). Bragg's law. Determination of crystal structure using Bragg's X-ray diffractometer -X-ray spectrum. Self-study material: Amorphous and crystalline materials-Space lattice, Bravais lattice-Unit cell, primitive cell. Lattice parameters. Crystal systems. 9 Hours Module 5 Interference of light -Superposition of two coherent waves-Constructive and destructive interference. Interference in thin films -Wedge shaped thin film-Air wedge -Application to find the diameter of a thin wire. Newton's rings -Application to find the refractive index of a liquid. Diffraction of light -Classes of diffraction -Fresnel and Fraunhofer diffraction. Fresnel theory of half period zone -Zone plate.BTECH.CSwork_n7rhmaerpvfrhha4draeqwscs4Mon, 28 Nov 2022 00:00:00 GMT2021
https://scholar.archive.org/work/zcptjnj56ndzpdejmircducjeu
2021-AI & MLAI & MLwork_zcptjnj56ndzpdejmircducjeuMon, 28 Nov 2022 00:00:00 GMT2017
https://scholar.archive.org/work/3hgrcx5qbfchtd65wcd4pjlp7a
Teaching Exam Credits Theory Tutorial Lab IA Exam TOTAL 1 17SCS71 Management and Analysis of Big Data 4 50 Polar curves: angle between radius vector and tangent, angle between two polar curves pedal equation of SRINIVAS UNIVERSITY ENGINEERING MATHEMATICS-II SEMESTER -II Subject Code : 17SMA21 IA Marks : 50 Number of lecture hours/week : 04 Exam Marks : 50 Total number of lecture hours : 50 Credits : 04 Course objectives: To enable students to apply the knowledge of Mathematics in various engineering fields by making them to learn the following 1. Ordinary differential equations 2. Partial differential equations 3. Double and triple integration 4. Laplace transform 5. Nonlinear differential equations Course outcomes: CO1: To solve differential equations. CO2: Solve the problems choosing the most suitable method. CO3. Solving problems analytically CO4: Solve curve fitting for various polynomials. CO5: Use computational tools to solve problems and applications of Ordinary Differential Equations and Partial Differential Equations Module -1 10 hours Differential equations-1: Linear differential equations with constant coefficients: Solutions of second and higher order differential equations -inverse differential operator method, method of undetermined coefficients and method of variation of parameters. Module -2 10 hours Differential equations-2: Linear differential equations with variable coefficients: Solution of Cauchy's and Legendre's linear differential equations. Nonlinear differential equations: Equations solvable for p, equations solvable for y, equations solvable for x, general and singular solutions, Clairauit's equations and equations reducible to Clairauit's form. Module -3 10 hours Module -3 10 hours Optics: Interference of light-condition for constructive and destructive interference-Diffraction-Fresnel and Fraunhoffer diffraction-Polarization methods for the production of polarized light. Einstein's coefficients (expression for energy density). Requisites of a Laser system. Condition for laser action. Principle, Construction and working of He-Ne laser Holography-Principle of Recording and reconstruction of images. Propagation mechanism in optical fibers. Angle of acceptance. Numerical aperture. Types of optical fibers and modes of propagation. Attenuation, Block diagram discussion of point to point communication, applications. Module -4 10 hours Crystal Structure: Space lattice, Bravais lattice-Unit cell, primitive cell. Lattice parameters. Crystal systems. Direction and planes in a crystal. Miller indices. Expression for interplanar spacing. Coordination number. Atomic packing factors (SC, FCC, BCC). Bragg's law, Determination of crystal structure using Bragg's X-ray diffractometer. Polymorphism and Allotropy. Crystal Structure of Diamond. Module -5 10 hours ELEMENTS OF ELECTRONICS ENGINEERING Subject Code 17SEC13/23 IA Marks 50 Number of lecture hours/week 04 Exam Marks 50 Total number of lecture hours 50 Credits 04 Course Objectives: 1. To provide basic concepts D.C circuits and circuit analysis techniques 2. To provide knowledge on A.C circuit fundamental techniques 3. To understand construction and operation of BJT and Junction FET 4. Explain the different modes of communications from wired to wireless and the computing involved. 5. To provide fundamental knowledge of Digital Logic. Course Outcomes: CO1: Understand concepts of electrical circuits and elements. CO2: Apply basic electric laws in solving circuit problems. CO3: Analyse simple circuits containing transistors CO4: Understand concept of cellular wireless networks. CO5: Understand Number systems and design basic digital circuits.BTECH.CSwork_3hgrcx5qbfchtd65wcd4pjlp7aMon, 28 Nov 2022 00:00:00 GMTUnsupervised Opinion Summarisation in the Wasserstein Space
https://scholar.archive.org/work/2wqmm7disrbi3dqniiihr6jkv4
Opinion summarisation synthesises opinions expressed in a group of documents discussing the same topic to produce a single summary. Recent work has looked at opinion summarisation of clusters of social media posts. Such posts are noisy and have unpredictable structure, posing additional challenges for the construction of the summary distribution and the preservation of meaning compared to online reviews, which has been so far the focus of opinion summarisation. To address these challenges we present WassOS, an unsupervised abstractive summarization model which makes use of the Wasserstein distance. A Variational Autoencoder is used to get the distribution of documents/posts, and the distributions are disentangled into separate semantic and syntactic spaces. The summary distribution is obtained using the Wasserstein barycenter of the semantic and syntactic distributions. A latent variable sampled from the summary distribution is fed into a GRU decoder with a transformer layer to produce the final summary. Our experiments on multiple datasets including Twitter clusters, Reddit threads, and reviews show that WassOS almost always outperforms the state-of-the-art on ROUGE metrics and consistently produces the best summaries with respect to meaning preservation according to human evaluations.Jiayu Song, Iman Munire Bilal, Adam Tsakalidis, Rob Procter, Maria Liakatawork_2wqmm7disrbi3dqniiihr6jkv4Sun, 27 Nov 2022 00:00:00 GMT2019
https://scholar.archive.org/work/a6rcrhwkfbbhrgfmps5qbny5a4
2019- AI & MLAI & MLwork_a6rcrhwkfbbhrgfmps5qbny5a4Sat, 26 Nov 2022 00:00:00 GMTSet Theory, Dynamism, and the Event: Reinjecting Time into the Foundations of Mathematics
https://scholar.archive.org/work/dkxwu7bsmjcbhiah6kogqyy4e4
This article concentrates on exploring the relevance of the postmodernist concept of the event to mathematical philosophy and the foundations of mathematics. In both the scientific and philosophical study of nature, and particularly event ontology, we find that space and dynamism are fundamental. However, whether based on set theory or category theory, modern mathematics faces conceptual and philosophical difficulties when the temporal is intentionally invoked as a key aspect of that intrinsic dynamism so characteristic of mathematical being, physical becoming, process, and thought. We present a multidisciplinary investigation targeting a diverse audience including mathematicians, scientists, and philosophers who are interested in exploring alternative modes of doing mathematics or using mathematics to approach nature. Our aim is to understand both the formal character and the philosophy of time as realized through a radical mode of thinking that goes beyond the spatial in mathematics. In particular, we suggest the need to transcend the purely geometrical view altogether in future foundational research in both mathematics and mathematical philosophy. We reexamine these issues at a fundamental and comprehensive level, where a detailed exposition and critique of both modern set theories and theories of space is outlined, with emphasis on how the philosophy of Idealism has been permeating much of old and new mathematics. Furthermore, toward the end of the article, we explore some possible constructive directions in mathematical ontology by providing new proposals on how to develop a fragment of mathematics for the description of dynamic events.Said Mikkiwork_dkxwu7bsmjcbhiah6kogqyy4e4Fri, 25 Nov 2022 00:00:00 GMTMany bounded versions of undecidable problems are NP-hard
https://scholar.archive.org/work/j4a4z6ho4rd63oty2lxj5ccz2i
Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results rely on reductions from a handful of undecidable problems, such as the halting problem, the tiling problem, the Post correspondence problem or the matrix mortality problem. All these problems have a common property: they have an NP-hard bounded version. This work establishes a relation between undecidable unbounded problems and their bounded NP-hard versions. Specifically, we show that NP-hardness of a bounded version follows easily from the reduction of the unbounded problems. This leads to new and simpler proofs of the NP-hardness of bounded version of the Post correspondence problem, the matrix mortality problem, the positivity of matrix product operators, the reachability problem, the tiling problem, and the ground state energy problem. This work sheds light on the intractability of problems in theoretical physics and on the computational consequences of bounding a parameter.Andreas Klingler, Mirte van der Eyden, Sebastian Stengele, Tobias Reinhart, Gemma De las Cuevaswork_j4a4z6ho4rd63oty2lxj5ccz2iThu, 24 Nov 2022 00:00:00 GMT