Classical and quantum structuralism

In recent work, symmetric dagger-monoidal (SDM) categories have emerged as a convenient categorical formalization of quantum mechanics. The objects represent physical systems, the morphisms physical operations, whereas the tensors describe composite systems. Classical data turn out to correspond to Frobenius algebras with some additional properties. They express the distinguishing capabilities of classical data: in contrast with quantum data, classical data can be copied and deleted. The algebraic approach thus shifts the paradigm of "quantization" of a classical theory to "classicization" of a quantum theory. Remarkably, the simple SDM framework suffices not only for this conceptual shift, but even allows us to distinguish the deterministic classical operations (i.e. functions) from the nondeterministic classical operations (i.e. relations), and the probabilistic classical operations (stochastic maps). Moreover, a combination of some basic categorical constructions (due to Kleisli, resp. Grothendieck) with the categorical presentations of quantum states, provides a resource sensitive account of various quantum-classical interactions: of classical control of quantum data, of classical data arising from quantum measurements, as well as of the classical data processing in-between controls and measurements. A salient feature here is the graphical calculus for categorical quantum mechanics, which allows a purely diagrammatic representation of classical-quantum interaction.Comment: 43 pages, 60 figure

Monoidal computer III: A coalgebraic view of computability and complexity

Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a much needed high level language for theory of computation, flexible enough to allow abstracting away the low level implementation details when they are irrelevant, or taking them into account when they are genuinely needed. A salient feature of the approach through monoidal categories is the formal graphical language of string diagrams, which supports visual reasoning about programs and computations. In the present paper, we provide a coalgebraic characterization of monoidal computer. It turns out that the availability of interpreters and specializers, that make a monoidal category into a monoidal computer, is equivalent with the existence of a *universal state space*, that carries a weakly final state machine for any pair of input and output types. Being able to program state machines in monoidal computers allows us to represent Turing machines, to capture their execution, count their steps, as well as, e.g., the memory cells that they use. The coalgebraic view of monoidal computer thus provides a convenient diagrammatic language for studying computability and complexity.Comment: 34 pages, 24 figures; in this version: added the Appendi

HYPERTEXT-BASED RELATIONSHIP MANAGEMENT FOR DSS

There is a need for integrated access to a wide range of information related to the development and use of DSS in organizations. This information comes in many forms, both formal and informal, and is highly interrelated. To handle this complex information base, we argue that a separate relationship management component should be added to the three traditional components of a DSS (namely, the database, user interface and model management systems). The role of the relationship management component is to relieve DSS application programs of the need to maintain and provide access to the complex set of relationships that can exist between elements in the application domain. We discuss the kinds of information and relationships that arise during the development and use of a DSS, outline the requirements for an independent subsystem to manage this information base, and propose the use of an extended hypertext software system, H+, to simultaneously handle relationship management and provide an interesting and useful interface to users.Information Systems Working Papers Serie

Superar el límite de la pantalla:el futuro integrado del diseño industrial e innovación de la interfaz

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Bellas Artes, leída el 27-11-2019The goals of this thesis are to streamline the design process of CDDs for both theirhardware and software, simplify the process of their conception, creation andproduction, motivate the design and interactive innovations for the next generationof CDDs.Starting with the process of investigating the design history of CDDs, we noticed theincreasing bi-directional influence between the graphical interface design and theindustrial design of these products. We started to work on the hypothesis:“A connection point between classical industrial design theories and moderninnovations in the world of interface design can be found, and the future of CDDrequires a universal design system for both its hardware and software.”In order to put our hypothesis into practice, it is important to clarify the generic andspecific objectives...El fin de esta tesis es mejorar el proceso de diseño de DDC tanto para su hardware como para su software, simplificar el proceso de concepción, creación y producción,así como motivar el diseño y las innovaciones interactivas para la próxima generación de DDC. Comenzando con un proceso de investigación que respete la historia del diseño de los DDC, notamos un incremento en la influencia bidireccional entre el diseño de interfaz gráfica y el diseño industrial de estos productos. Trabajamos sobre esta hipótesis: “Se puede encontrar un punto de conexión entre las teorías clásicas de diseño industrial y las innovaciones modernas en el mundo del diseño de interfaz. El futuro de los DDC requiere un sistema de diseño unificado para ambos: hardware y software.”Para poner nuestra hipótesis en práctica, es importante aclarar los objetivos genéricos y específicos...Fac. de Bellas ArtesTRUEunpu

A survey of outlier detection methodologies

Outlier detection has been used for centuries to detect and, where appropriate, remove anomalous observations from data. Outliers arise due to mechanical faults, changes in system behaviour, fraudulent behaviour, human error, instrument error or simply through natural deviations in populations. Their detection can identify system faults and fraud before they escalate with potentially catastrophic consequences. It can identify errors and remove their contaminating effect on the data set and as such to purify the data for processing. The original outlier detection methods were arbitrary but now, principled and systematic techniques are used, drawn from the full gamut of Computer Science and Statistics. In this paper, we introduce a survey of contemporary techniques for outlier detection. We identify their respective motivations and distinguish their advantages and disadvantages in a comparative review

Modelling and simulation of paradigms for printed circuit board assembly to support the UK's competency in high reliability electronics

The fundamental requirement of the research reported within this thesis is the provision of physical models to enable model based simulation of mainstream printed circuit assembly (PCA) process discrete events for use within to-be-developed (or under development) software tools which codify cause & effects knowledge for use in product and process design optimisation. To support a national competitive advantage in high reliability electronics UK based producers of aircraft electronic subsystems require advanced simulation tools which offer model based guidance. In turn, maximization of manufacturability and minimization of uncontrolled rework must therefore enhance inservice sustainability for ‘power-by-the-hour’ commercial aircraft operation business models. [Continues.

Database resources of the National Center for Biotechnology Information

In addition to maintaining the GenBank® nucleic acid sequence database, the National Center for Biotechnology Information (NCBI) provides analysis and retrieval resources for the data in GenBank and other biological data made available through the NCBI web site. NCBI resources include Entrez, the Entrez Programming Utilities, MyNCBI, PubMed, PubMed Central, Entrez Gene, the NCBI Taxonomy Browser, BLAST, BLAST Link (BLink), Electronic PCR, OrfFinder, Spidey, Splign, RefSeq, UniGene, HomoloGene, ProtEST, dbMHC, dbSNP, Cancer Chromosomes, Entrez Genomes and related tools, the Map Viewer, Model Maker, Evidence Viewer, Clusters of Orthologous Groups (COGs), Retroviral Genotyping Tools, HIV-1/Human Protein Interaction Database, Gene Expression Omnibus (GEO), Entrez Probe, GENSAT, Online Mendelian Inheritance in Man (OMIM), Online Mendelian Inheritance in Animals (OMIA), the Molecular Modeling Database (MMDB), the Conserved Domain Database (CDD), the Conserved Domain Architecture Retrieval Tool (CDART) and the PubChem suite of small molecule databases. Augmenting many of the web applications is custom implementation of the BLAST program optimized to search specialized data sets. All of the resources can be accessed through the NCBI home page at www.ncbi.nlm.nih.gov