Results 21 to 30 of about 1,122 (80)
Language machines: Toward a linguistic anthropology of large language models
Abstract Large language models (LLMs) challenge long‐standing assumptions in linguistics and linguistic anthropology by generating human‐like language without relying on rule‐based structures. This introduction to the special issue Language Machines calls for renewed engagement with LLMs as socially embedded language technologies.
Siri Lamoureaux +2 more
wiley +1 more source
Specifications in software prototyping [PDF]
We explore the use of software speci®cations for software prototyping. This paper describes a process model for software prototyping, and shows how specifications can be used to support such a process via a cellular mobile phone switch ...
Chang, Carl K., Luqi, Zhu, Hong
core +1 more source
Uniquely human temporal thoughts
Life on Earth will eventually come to an end. The thought expressed in the previous sentence is about a point in time that is not known to the individual entertaining the thought. This paper is concerned with the nature of such temporal thoughts. We propose that the capacity to mentally represent thoughts about non‐specific temporal intervals is a ...
İsa Kerem Bayırlı
wiley +1 more source
A pivotal-based approach for enterprise business process and IS integration [PDF]
A company must be able to describe and react against any endogenous or exogenous event. Such flexibility can be achieved through business process management (BPM).
Belaud, Jean-Pierre +2 more
core +2 more sources
ABSTRACT Workload pressure, examination stress, family responsibilities, and a variety of other factors all contribute to an increase in stress in the body. Stress weakens the human mind and body by accelerating several health disorders. Therefore, the number of approaches for early projection of stress plays a vital role in the healthcare sector ...
Srabanti Maji +8 more
wiley +1 more source
Keeping calm in the face of change: towards optimisation of FRP by reasoning about change [PDF]
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals (time-varying values).
A. Benveniste +33 more
core +1 more source
African Lambdas II: Formal Semantics of African Languages—The Verbal and Clausal Domain
ABSTRACT The formal semantic analysis of African languages is still a young subfield within theoretical linguistics. Starting with general overviews of the quantifier systems of individual African languages around two decades ago, there now exists a substantial body of fieldwork‐based and autochthonous formal semantic research conducted by both African
Malte Zimmermann
wiley +1 more source
A synthesis view of counterfactuals
Abstract There are two prominent views of counterfactuals in the literature—variably strict conditional accounts developed by Stalnaker 1968 and D. K. Lewis 1973, and strict conditional accounts defended by von Fintel 2001, Gillies 2007, and others. Unfortunately, both views face serious challenges. This paper argues that traditional strict conditional
Sarah Moss
wiley +1 more source
Guardians for Concurrent Systems [PDF]
In this paper we survey the current state of the art on fundamental aspects of concurrent systems. We discuss the notion of concurrency and discuss a model of computation which unifies the lambda calculus model and the sequential stored program model. We
Attardi, Giuseppe, Hewitt, Carl
core
Where Mathematical Symbols Come From
Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley +1 more source

