Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,002,435 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
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
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
2008
2008
The Einstein@Home search for periodic gravitational waves in LIGO S4 data
L. S. C. B. Abbott
,
et al
2008
Corpus ID: 263795806
A search for periodic gravitational waves, from sources such as isolated rapidly-spinning neutron stars, was carried out using…
Expand
2007
2007
Studies of mixing and relaxation in time-dependent collisionless dynamical systems
I. Vass
2007
Corpus ID: 116938602
of Dissertation Presented to the Graduate School of the University of Florida in Partial Fulfillment of the Requirements for the…
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