Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,026,584 papers from all fields of science
Search
Sign In
Create Free Account
Vector addition system
Known as:
VAS
, Vass
, Vector addition system with states
A vector addition system consists of a finite set of integer vectors. An initial vector is seen as the initial values of multiple counters, and the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Communicating finite-state machine
Directed graph
Formal verification
Petri net
Broader (1)
Concurrency (computer science)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Effect of feeding treated peat as a supplement to newborn piglets on the growth, health status and occurrence of conditionally pathogenic mycobacteria
M. Trckova
,
Z. Zralý
,
+8 authors
I. Pavlik
2018
Corpus ID: 49549070
The first purpose of this experiment was to investigate the effect of ad libitum feeding of peat as a supplement to piglets from…
Expand
Review
2016
Review
2016
CulturePad: Linking indigenous communities to schools and education through the use of mobile technologies
Alistair Campbell
,
J. Pagram
,
Martin Cooper
2016
Corpus ID: 134655162
Information and communications technologies (ICT) are seen as crucial in improving educational opportunities and outcomes for…
Expand
2015
2015
Nested Timed Automata with Frozen Clocks
Guoqiang Li
,
Mizuhito Ogawa
,
Shoji Yuen
International Conference on Formal Modeling and…
2015
Corpus ID: 15156227
A nested timed automaton (NeTA) is a pushdown system whose control locations and stack alphabet are timed automata (TAs). A…
Expand
2015
2015
Fläderskära funnen i Blekinge – inkommen med importerad vass
Lars Fröberg
,
B. Nilsson
2015
Corpus ID: 128463353
Fladerskara ar en nordamerikansk art som spritt sig till de tempererade delarna av Europa. Introduktionen till Blekinge ar…
Expand
2014
2014
On Resistance through Ruptures and the Rupture of Resistances
Katerina Paramana
2014
Corpus ID: 192701364
A number of philosophers and theorists address the need for the reconfiguration of the relationship between the individual and…
Expand
2012
2012
Against morality : a critical realist examination of a history of Western sexual normativity : an appeal for emancipation and explanation through emergentist social science
Tom Brock
2012
Corpus ID: 141036747
A model of reality derived from critical realism and historical sociology provides a sufficient account of Christian sexual…
Expand
2010
2010
Talajtakarási módszerek összehasonlító értékelése paradicsomtermesztésben = Comparative evaluation of mulching methods in tomato production
Péter Pusztai
2010
Corpus ID: 41136462
A vizsgalat celja palantazott paradicsomtermesztesben hasznalhato talajtakarasi modszer kivalasztasa, ami egyszerre szolgalja a…
Expand
2006
2006
Studies on the chemical constituents and their cytotoxicity of Eremosparton songoricum(Litv) Vass
Liu Guo-an
2006
Corpus ID: 101957122
The compounds from Eremosparton Songoricum (Litv)Vass are isolated using silica gel column chromatography,and the structures of…
Expand
2005
2005
Extraction of Hydrophobic Organics from Aqueous Samples with 90mm C18 Bonded Disks
R. Bowen
2005
Corpus ID: 53467389
Technological advances in hardware, software, and computing have resulted in sophisticated analytical instruments that are highly…
Expand
1999
1999
Case study: Use of computer tools in locating a human disease gene
Ela Pustulka-Hunt
,
Daniel D. Jack
1999
Corpus ID: 18148593
We analyse complex human-computer interaction required in the process of linkage analysis. We describe the processing of…
Expand