Communication in a multi-cultural world

The goal of this paper is to demonstrate that procedurally structured con- cepts are central to human communication in all cultures and throughout history. This thesis is supported by an analytical survey of three very different means of communication, namely Egyptian hieroglyphs, pictures, and Inca knot writing known as khipu. My thesis is that we learn, communicate and think by means of concepts; and regardless of the way in which the meaning of an expression is encoded, the meaning is a concept. Yet we do not define concepts within the classical set-theoretical framework. Instead, within the logical framework of Transparent Intensional Logic, we explicate concepts as logical procedures that can be assigned to expressions as their context-invariant meaning. In particular, complex meanings, which structurally match complex expressions, are complex procedures whose parts are sub-procedures. The moral suggested by the paper is this. Concepts are not flat sets; rather, they are algorithmically structured abstract procedures. Unlike sets, concepts have constituent sub-procedures that can be executed in order to arrive at the product of the procedure (if any). Not only particular parts matter, but also the way of combining these parts into one whole ‘instruction’ that can be followed, understood, executed, learnt, etc., matters.Web of Science21221819

NASA Goddard Space Flight Center Robotic Processing System Program Automation Systems, volume 2

Topics related to robot operated materials processing in space (RoMPS) are presented in view graph form. Some of the areas covered include: (1) mission requirements; (2) automation management system; (3) Space Transportation System (STS) Hitchhicker Payload; (4) Spacecraft Command Language (SCL) scripts; (5) SCL software components; (6) RoMPS EasyLab Command & Variable summary for rack stations and annealer module; (7) support electronics assembly; (8) SCL uplink packet definition; (9) SC-4 EasyLab System Memory Map; (10) Servo Axis Control Logic Suppliers; and (11) annealing oven control subsystem

Gitek Bestill

Gitek Bestill is a system where the merchant will order bread from the bakers, who will then process these orders. The system has a calendar where all the placed orders can be seen, and running campaigns can be displayed. Shrinkage can be registered and a list can be viewed with the shrinkage of the different products. The bakers can add, delete and change products. A search for orders can be done by both merchants and bakers. Gitek Bestill has been developed in HTML, CSS, PHP, JavaScript/jQuery and MySQL.Gitek Bestill er et system for brødbestilling foretatt av kjøpmenn i Coop, og bakere som tar i mot disse bestillingene. Systemet har en kalenderoversikt hvor man ser plasserte ordre, og aktuelle kampanjer. Svinn på brød kan også registreres og man ser liste over brødene med svinn. Bakere har mulighet for å legge til, slette og endre produkter. Søk etter ordre finnes for både kjøpmenn og bakere. Gitek Bestill er utviklet i HTML, CSS, PHP, Javascript/ jQuery og MySQL.Gitek A

MFC: An open-source high-order multi-component, multi-phase, and multi-scale compressible flow solver

MFC is an open-source tool for solving multi-component, multi-phase, and bubbly compressible flows. It is capable of efficiently solving a wide range of flows, including droplet atomization, shock–bubble interaction, and bubble dynamics. We present the 5- and 6-equation thermodynamically-consistent diffuse-interface models we use to handle such flows, which are coupled to high-order interface-capturing methods, HLL-type Riemann solvers, and TVD time-integration schemes that are capable of simulating unsteady flows with strong shocks. The numerical methods are implemented in a flexible, modular framework that is amenable to future development. The methods we employ are validated via comparisons to experimental results for shock–bubble, shock–droplet, and shock–water-cylinder interaction problems and verified to be free of spurious oscillations for material-interface advection and gas–liquid Riemann problems. For smooth solutions, such as the advection of an isentropic vortex, the methods are verified to be high-order accurate. Illustrative examples involving shock–bubble-vessel-wall and acoustic–bubble-net interactions are used to demonstrate the full capabilities of MFC

Tsetlin Machine for Fake News Detection: Enhancing Accuracy and Reliability

This thesis aims to improve the accuracy of fake news detection by using Tsetlin Machines (TM). TMs are well suited for noisy and complex relations within the provided data, which on initial analysis, overlaps nicely with characteristics found in fake news. We provide a performant and deterministic preprocessor, which is responsible for tokenizing, lemmanzing, and encoding to a representation that the TM understands. We compare our approach with TMs against Neural Networks (NN) models over a variety of well-known datasets within the fake news domain. Our findings show from comparable results to significant improvements over state of the art. Additionally, we show how TMs allow for interpretable propositional logic rules. For datasets with 2 classifications, we further convey these rules during inference by applying a color between red and green, which shows the intensity and what direction each word pulls the classification towards

Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing