Results 31 to 40 of about 1,081 (78)

Specifications in software prototyping [PDF]

, 1998
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

Where Mathematical Symbols Come From

Topics in Cognitive Science, EarlyView.
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

Similarity Assessment of the Engineering Concepts: Decision‐Making Support and Metrics

Systems Engineering, Volume 28, Issue 5, Page 628-639, September 2025.
ABSTRACT The new product development (NPD) process is a systematic approach to bring new products and innovations to market. Nowadays, this process is affected by a number of influencing factors associated with the fast‐paced technological changes. One of those factors is the distributed design nature of product development activities: team members are
Yaroslav Menshenin, Suhail Alsalehi, Markus Guerster, Edward Crawley   +3 more
wiley   +1 more source

Displacement and quantification without representation

Mind &Language, Volume 40, Issue 4, Page 418-436, September 2025.
Perry and Recanati have argued that thought and speech can concern entities that they do not represent. This is possible because speakers and thinkers are pragmatically situated within their environs. I argue that thought and speech can go much farther than that.
Mihnea Capraru
wiley   +1 more source

Keeping calm in the face of change: towards optimisation of FRP by reasoning about change [PDF]

, 2010
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, A. Courtney, A. Courtney, B. Nordstrom, C. Elliott, C. Elliott, E.A. Lee, G. Berry, G. Giorgidze, G. Giorgidze, G. Patai, G. Patai, G.H. Cooper, H. Liu, H. Nilsson, H. Nilsson, H. Nilsson, Henrik Nilsson, J. Peterson, J.L. Colaço, K. Burchett, M. Huth, N. Halbwachs, N. Halbwachs, N. Halbwachs, N. Sculthorpe, N. Sculthorpe, Neil Sculthorpe, P. Caspi, R. Paterson, T.A. Henzinger, W. Jeltsch, Y. Venema, Z. Wan   +33 more
core   +1 more source

In defense of value incomparability: A reply to Dorr, Nebel, and Zuehl

Noûs, Volume 59, Issue 3, Page 796-808, September 2025.
Abstract Cian Dorr, Jacob Nebel, and Jake Zuehl have argued that no objects are incomparable in value. One set of arguments they offer depart from a principle they call ‘Strong Monotonicity’, which states that if x is good and y is not good, then x is better than y.
Erik Carlson, Olle Risberg
wiley   +1 more source

Iconic Words Are Associated With Iconic Gestures

Cognitive Science, Volume 49, Issue 8, August 2025.
Abstract Iconicity ratings studies have established that there are many English words which native speakers judge as “iconic,” that is, as sounding like what they mean. Here, we explore whether these iconic English words are more likely to be accompanied by iconic gestures.
Ell Wilding, Bodo Winter, Jeannette Littlemore, Marcus Perlman   +3 more
wiley   +1 more source

Conjoined Comparison and Variation in Degree Semantics

Language and Linguistics Compass, Volume 19, Issue 4, July/August 2025.
ABSTRACT Conjoined comparisons, consisting of two clauses containing antonymous or positive‐negative predicate pairs, are among the most common comparison construction types in the world's languages. As research on degree constructions from a cross‐linguistic perspective has increased, so too has the number of studies focused on conjoined comparisons ...
M. Ryan Bochnak
wiley   +1 more source

Languages Without Tense

Language and Linguistics Compass, Volume 19, Issue 4, July/August 2025.
ABSTRACT Within formal semantics, languages with no exponent of tense, or with optional tense, have begun to be incorporated into the theory of temporality only in the last couple decades. This article traces the development of their study, identifying empirical arguments that arbitrate between competing analyses of tenselessness.
Maziar Toosarvandani
wiley   +1 more source

The agentive achievement of acceptance

Philosophy and Phenomenological Research, Volume 111, Issue 1, Page 3-24, July 2025.
Abstract Is acceptance an act or a state? Jonathan Cohen is often seen as a proponent of the view that acceptance is a mental act. In contrast, Michael Bratman claims that acceptance is a mental state. This paper argues that the evidence supports a more subtle approach.
Samuel Boardman
wiley   +1 more source