Search results for " Computer"

Quine’s Fluted Fragment is Non-elementary

2016

We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, originally identified by W.V. Quine. We show that the satisfiability problem for this fragment has non-elementary complexity, thus refuting an earlier published claim by W.C. Purdy that it is in NExpTime. More precisely, we consider, for all m greater than 1, the intersectionof the fluted fragment and the m-variable fragment of first-order logic. We show that this subfragment forces (m/2)-tuply exponentially large models, and that its satisfiability problem is (m/2)-NExpTime-hard. We round off by using a corrected version of Purdy’s construction to show that the m-variable fluted f…

On the relation of irony, understatement, and litotes

2016

The aim of this paper is to clarify the distinctive and the shared features of the three phenomena: irony, understatement, and litotes. These rhetorical figures have been defined as synonymous, distinct or overlapping in various accounts. This indicates an interrelation but also a need for clearer definitions. Here, each of these rhetorical figures is defined via two jointly necessary conditions. This approach sharpens the categories, enables clear-cut distinctions and helps to explain cases of overlap. German corpus data and examples from the literature as a basis, allow differentiating between cases of understatement as a means of irony, and cases of litotes as a means of understatement. …

Aspects of a theory of bullshit

2016

This paper addresses the question whetherbullshitis a reasonable pragmatic category. In the first part of the paper, drawing on the insights of Harry Frankfurt’s seminal essay, bullshit is defined as an act of insincere asserting where the speaker shows (a) a loose concern for the truth, and (b) does not want the addressee to become aware of condition (a). The author adds to this definition the condition (c) requiring that the bullshitter expresses morecertaintythan is adequate with respect to condition (a). In the second part of the paper, it is discussed whether the above definition can cope with special types of bullshit considered to be a challenge to Frankfurt’s definition. These areev…

Modelling of Systems for Real

2016

Modelling and Programming are often used together in system development. However, typically there is a large difference between the handling of modelling parts and the handling of programming parts. This leads to the fact that the transition between the two is not easy, and important information is lost as well as extra information has to be provided when combining modelling and programming. This paper shows how modelling and programming could work together in system development.

Retrieving Monitoring and Accounting Information from Constrained Devices in Internet-of-Things Applications

2013

Part 6: Monitoring Mechanisms; International audience; Internet-of-Things (IoT) is envisioned to provide connectivity to a vast number of sensing or actuating devices with limited computational and communication capabilities. For the organizations that manage these constrained devices, the monitoring of each device’s operational status and performance level as well as the accounting of their resource usage are of great importance. However, monitoring and accounting support is lacking in today’s IoT platforms. Hence, this paper studies the applicability of the Constrained Application Protocol (CoAP), a lightweight transfer protocol under development by IETF, for efficiently retrieving monito…

Magic informationally complete POVMs with permutations

2017

Eigenstates of permutation gates are either stabilizer states (for gates in the Pauli group) or magic states, thus allowing universal quantum computation [M. Planat and Rukhsan-Ul-Haq, Preprint 1701.06443]. We show in this paper that a subset of such magic states, when acting on the generalized Pauli group, define (asymmetric) informationally complete POVMs. Such IC-POVMs, investigated in dimensions $2$ to $12$, exhibit simple finite geometries in their projector products and, for dimensions $4$ and $8$ and $9$, relate to two-qubit, three-qubit and two-qutrit contextuality.

Force Field for Water over Pt(111): Development, Assessment, and Comparison

2018

Metal/water interfaces are key in many natural and industrial processes, such as corrosion, atmospheric, or environmental chemistry. Even today, the only practical approach to simulate large interfaces between a metal and water is to perform force-field simulations. In this work, we propose a novel force field, GAL17, to describe the interaction of water and a Pt(111) surface. GAL17 builds on three terms: (i) a standard Lennard-Jones potential for the bonding interaction between the surface and water, (ii) a Gaussian term to improve the surface corrugation, and (iii) two terms describing the angular dependence of the interaction energy. The 12 parameters of this force field are fitted again…

Efficient Linear-Scaling Density Functional Theory for Molecular Systems

2013

Despite recent progress in linear scaling (LS) density function theory (DFT), the computational cost of the existing LS methods remains too high for a widespread adoption at present. In this work, we exploit nonorthogonal localized molecular orbitals to develop a series of LS methods for molecular systems with a low computational overhead. High efficiency of the proposed methods is achieved with a new robust two-stage variational procedure or by replacing the optimization altogether with an accurate nonself-consistent approach. We demonstrate that, even for challenging condensed-phase systems, the implemented LS methods are capable of extending the range of accurate DFT simulations to molec…

Multi-sensor spectral synergies for crop stress detection and monitoring in the optical domain: A review

2022

Extracting locations from sport and exercise-related social media messages using a neural network-based bilingual toponym recognition model

2022

Funding: This study is a part of the “Equality in suburban physical activity environments, YLLI” research project (in Finnish: Yhdenvertainen liikunnallinen lähiö, YLLI). The project is being financed by the research program about suburban in Finland “Lähiöohjelma 2020-2022” coordinated by the Ministry of Environment (grant recipient: Dr. Petteri Muukkonen). Sport and exercise contribute to health and well-being in cities. While previous research has mainly focused on activities at specific locations such as sport facilities, “informal sport” that occur at arbitrary locations across the city have been largely neglected. Such activities are more challenging to observe, but this challenge may…