Hemeroteca de la sección ‘Ciencia y tecnología’

From Fusion Algebra to Cold Fusion or from Pure Reason to Pragmatism

Por • 11 feb, 2018 • Category: Ciencia y tecnología

The paper utilizes some fundamental results obtained in the context of topological quantum field theory, hyper finite sub-factors, Turaev-Viro machine and four dimensional fusion algebra to shed mathematical, physical and philosophical light on the major problem of cold fusion reactors. In particular, we develop a picture model for the quantum vacuum by using modern transfinite quantum field theory but also guided by philosophical ideas about the picture of the space of logic and reality.

Thermodynamics: The Unique Universal Science

Por • 5 feb, 2018 • Category: Ciencia y tecnología

Thermodynamics is a physical branch of science that governs the thermal behavior of dynamical systems from those as simple as refrigerators to those as complex as our expanding universe. The laws of thermodynamics involving conservation of energy and nonconservation of entropy are, without a doubt, two of the most useful and general laws in all sciences. The first law of thermodynamics, according to which energy cannot be created or destroyed, merely transformed from one form to another, and the second law of thermodynamics, according to which the usable energy in an adiabatically isolated dynamical system is always diminishing in spite of the fact that energy is conserved, have had an impact far beyond science and engineering. In this paper, we trace the history of thermodynamics from its classical to its postmodern forms, and present a tutorial and didactic exposition of thermodynamics as it pertains to some of the deepest secrets of the universe

A very brief introduction to quantum computing and quantum information theory for mathematicians

Por • 28 ene, 2018 • Category: Ciencia y tecnología

This is a very brief introduction to quantum computing and quantum information theory, primarily aimed at geometers. Beyond basic definitions and examples, I emphasize aspects of interest to geometers, especially connections with asymptotic representation theory. Proofs of most statements can be found in standard references.

A reference model for interaction semantics

Por • 22 ene, 2018 • Category: Ciencia y tecnología

Understanding the issue of semantic interoperability will be key in the design of future IoT-devices and cyber physical systems. In this article, we introduce a reference model for the interaction semantics of networking systems to provide the basis for such an understanding. The notions of system, function, information, action, event, interaction, process and meaning are defined in a well suited way bridging the gap between the world of physics, information and meaning. We apply the reference model to classify interaction interfaces and components as well as to define the software layer and the role concept. This provides important elements of a reference architecture to design interoperable IoT-devices and cyber physical systems more easily.

The U.S. Army Concept for Cyberspace and Electronic Warfare Operations January 12, 2018

Por • 17 ene, 2018 • Category: Ciencia y tecnología

TRADOC Pamphlet 525-8-6, The U.S. Army Concept for Cyberspace and Electronic Warfare Operations expands on the ideas presented in TRADOC Pamphlet 525-3-1, The U.S. Army Operating Concept: Win in a Complex World (AOC). This document describes how the Army will operate in and through cyberspace and the electromagnetic spectrum and will fully integrate cyberspace, electronic warfare (EW), and electromagnetic spectrum operations as part of joint combined arms operations to meet future operational environment challenges. Cyberspace and EW operations provide commanders the ability to conduct simultaneous, linked maneuver in and through multiple domains, and to engage adversaries and populations where they live and operate. Cyberspace and EW operations provide commanders a full range of physical and virtual, as well as kinetic and non-kinetic, capabilities tailored into combinations that enhance the combat power of maneuver elements conducting joint combined operations.

Big Data, AI to Advance Modeling and Simulation

Por • 13 ene, 2018 • Category: Ciencia y tecnología

Military officials and industry experts have long discussed how artificial intelligence can benefit the warfighter. The technology promises to crunch mountains of data into easily digestible bites of actionable information and to predict when parts on a vehicle are about to wear out. However, there has been less emphasis on how it can improve modeling and simulations for training purposes — a market area that is becoming increasingly important as service leaders across the board call for more investment to improve readiness. During the recent National Training and Simulation Association’s Interservice/Industry Training, Simulation and Education Conference in Orlando, Florida, military officials and industry experts discussed the benefits of applying the emerging technology to such scenarios.

An Extensible Ad Hoc Interface between Lean and Mathematica

Por • 1 ene, 2018 • Category: Ciencia y tecnología

We implement a user-extensible ad hoc connection between the Lean proof assistant and the computer algebra system Mathematica. By reflecting the syntax of each system in the other and providing a flexible interface for extending translation, our connection allows for the exchange of arbitrary information between the two systems. We show how to make use of the Lean metaprogramming framework to verify certain Mathematica computations, so that the rigor of the proof assistant is not compromised.

« Appliquer la théorie économique de l’équilibre général » : de Walras à Leontief

Por • 21 dic, 2017 • Category: Ciencia y tecnología

The way the expresssion “applied economics” was employed changed deeply from one author to another. In this article we examine the meaning of this concept in Leon Walras’ and Wassily Leontief’s works regarding mathematical models of general interdependence and general equilibrium. It appears that empirical analysis played very different roles in their works but that they both considered economics should develop policy-oriented theory.

A General Method for Defining Objects by Recursion over Syntax

Por • 14 dic, 2017 • Category: Ciencia y tecnología

In this paper we look back to work done in the late 1980s, and that looked at links between grammars, data types and recursion principles, and illustrating it with examples that include enumerations of types and developing a structure editor. The work is introduced by a historical foreword, and closes with an afterword that discusses some of the subsequent developments of these ideas.

On the mathematical and foundational significance of the uncountable

Por • 29 nov, 2017 • Category: Ciencia y tecnología

For various historical, practical, and foundational reasons, large parts of mathematics are studied indirectly via countable approximations, also called codes. It is a natural question whether this indirect study of codes is faithful to the original development in mathematics, or whether approximations somehow distort the latter. Another natural question is which parts of basic mathematics can(not) be studied via these representations. In this paper, we formulate new answers to these old questions. Our answers stem both from mathematics itself (via the study of the gauge integral) and its foundations (via Hilbert-Bernays’ Grundlagen der Mathematik and its spiritual successor Reverse Mathematics). We identify a number of basic theorems from (uncountable) mathematics for which the logical and computational properties are completely (and even maximally) distorted upon introducing countable approximations. In a nutshell, while countable approximations are interesting and important, even extremely basic ‘uncountable’ mathematics is infinitely more complicated than the ‘countable picture’ involving codes suggests.