Results 31 to 40 of about 1,221 (189)
Subsemigroups of virtually free groups : finite Malcev presentations and testing for freeness
, 2006 This paper shows that, given a finite subset X of a finitely generated virtually free group F, the freeness of the subsemigroup of F generated by X can be tested algorithmically. (A group is virtually free if it contains a free subgroup of finite index.)
Robertson, Edmund Frederick +2 more
core +1 more source
Equivalence of switching linear systems by bisimulation [PDF]
, 2006 A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated.
Schaft, A.J. van der, +11 more
core +1 more source
Demographic Dynamics and International Trade: Stylized Facts and Theoretical Insights
Journal of Economic Surveys, EarlyView.ABSTRACT Demographic change within a country has economic repercussions for other countries through international transactions. Ongoing shifts in population size and age structure across countries have important implications for international trade, operating through changes in market size, consumption preferences, and labor supply.
Kumuthini Sivathas
wiley +1 more source
Language Learning, EarlyView.Abstract Parallel tracking of distant relations between speech elements, so‐called nonadjacent dependencies (NADs), is crucial in language development but computationally demanding and acquired only in late preschool years. As processing of single NADs is facilitated when dependent elements are perceptually similar, we investigated how phonetic ...
Dimitra‐Maria Kandia +3 more
wiley +1 more source
Performance modelling and the representation of large scale distributed system functions [PDF]
, 1999 This thesis presents a resource based approach to model generation for performance characterization and correctness checking of large scale telecommunications networks.
Nyong, Obong Dennis Obot
core
Well quasi-order in combinatorics : embeddings and homomorphisms
, 2015 The notion of well quasi-order (wqo) from the theory of ordered sets often arises naturally in contexts where one deals with infinite collections of structures which can somehow be compared, and it then represents a useful discriminator between ‘tame ...
Ruskuc, Nik +3 more
core +1 more source
The fundamental theorem of asset pricing with and without transaction costs
Mathematical Finance, Volume 35, Issue 2, Page 567-609, April 2025.Abstract We prove a version of the fundamental theorem of asset pricing (FTAP) in continuous time that is based on the strict no‐arbitrage condition and that is applicable to both frictionless markets and markets with proportional transaction costs. We consider a market with a single risky asset whose ask price process is higher than or equal to its ...
Christoph Kühn
wiley +1 more source
Kleene Theorem for Higher-Dimensional Automata
, 2022 We prove a Kleene theorem for higher-dimensional automata. It states that the languages they recognise are precisely the rational subsumption-closed sets of finite interval pomsets. The rational operations on these languages include a gluing composition,
Christian Johansen +7 more
core +1 more source
Renaissance Studies, EarlyView.ABSTRACT This article contributes to the history of material culture and intellectual biography by definitively identifying the Paduan scholar Matteo Macigni (ca. 1510–1582) as the author of the annotations found in a 1535 copy of Albrecht Dürer’s Institutionum geometricarum currently preserved in Vicenza.
Laura Moretti
wiley +1 more source
A process-algebraic semantics for generalised nonblocking.
, 2012 Generalised nonblocking is a weak liveness property to express the ability of a system to terminate under given preconditions. This paper studies the notions of equivalence and refinement that preserve generalised nonblocking and proposes a semantic ...
Malik, Robi, Ware, Simon
core