Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
network games (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(3/217)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
Compositional modelling of network games
Di Lavore, Elena
;
Hedges, Jules
;
Sobocinski, Pawel Maria
29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)
2021
/
art. 30, p. 30:1–30:24 : ill
https://doi.org/10.4230/LIPIcs.CSL.2021.30
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
213
1.
network games
2.
digital games
3.
esports games
4.
games
5.
open games
6.
PUBG games
7.
serious games
8.
serious games analytics
9.
active distribution network management
10.
Adaptive network-based fuzzy inference system (ANFIS)
11.
aec distribution network
12.
analytical flow network analysis
13.
analytical network process
14.
ANDROID network
15.
artificial neural network
16.
A-source network
17.
autoservice network
18.
Bayesian belief network (BBN)
19.
bayesian network (BN)
20.
Binarized Neural Network (BNN)
21.
building site network
22.
business network model
23.
cable network
24.
carbon nanotube network
25.
cascaded forward neural network (CFNN)
26.
cognitive body area network
27.
collaborative network
28.
computer network management
29.
computer network operations
30.
connection network codes
31.
Controller Area Network
32.
Convolutional Neural Network
33.
convolutional neural network (CNN)
34.
coolant network
35.
deep convolutional neural network
36.
deep learning network
37.
deep neural network
38.
deep neural network compression
39.
DH network
40.
distribution network
41.
distribution network
42.
district heat network
43.
district heating network
44.
electric network analysis
45.
electric network parameters
46.
electrical network
47.
emergency network
48.
Event Processing Network (EPN)
49.
Event Processing Network Model
50.
feedforward neural network (FFNN)
51.
flow network analysis
52.
flow network parameters
53.
Fully Convolutional Network (FCN)
54.
Generative Adversarial Network (GaN)
55.
global innovation network
56.
Graph Convolutional Neural Network (GCN)
57.
GraphSAGE (Graph Based Neural Network)
58.
heterogeneous network
59.
hydraulic network model
60.
hypar-network
61.
impedance network
62.
impedance network
63.
impedance source (IS) network
64.
Impedance Source Network
65.
impedance-source network
66.
in-network data processing
67.
innovation network
68.
innovation network agent
69.
joint network-channel coding
70.
knowledge network
71.
levelling network
72.
line impedance stabilization network
73.
linear Delta robots neural network based model
74.
LSTM neural network
75.
lumped parameter network
76.
lumped parameter thermal network
77.
lumped-parameter thermal network
78.
Magnetically Coupled Impedance Source Network (MCIS)
79.
memory network
80.
Mesh Network
81.
modified network cohesion
82.
MRAN (minimum resource allocation network)
83.
nanosheets network
84.
NB-IoT network
85.
NetFlow based network monitoring
86.
network
87.
network access charges
88.
network analysis
89.
network anomaly detection
90.
network architecture
91.
network calculus
92.
network characteristics
93.
network communication technologies
94.
network constraint
95.
network disaggregation
96.
network dynamics
97.
network expansion planning
98.
network externality
99.
network forensics
100.
network function virtualization
101.
network functions virtualization (NFV)
102.
network governance
103.
network IDS alert classification
104.
network industries
105.
network industry
106.
network intrusion detection system
107.
network latencies
108.
network layer
109.
Network lifetime
110.
network measurement
111.
network monitoring
112.
network of co-authorships
113.
network on chip
114.
Network on Chip (NoC)
115.
network partners
116.
network protocol reverse engineering
117.
network protocols
118.
Network QoS
119.
network quality
120.
Network reliability
121.
network resilience
122.
network safety ranking
123.
network security
124.
network security monitoring
125.
network slicing
126.
network sparsification
127.
network studies
128.
network theory
129.
network topologies
130.
network topology
131.
network uncertainties
132.
Network visualization
133.
network-on-chip
134.
network-on-ReRAM
135.
network-testing
136.
neural network
137.
neural network architecture search
138.
neural network controller
139.
neural network modelling
140.
neural network models
141.
neural network positioning algorithms
142.
neural network predictive controller
143.
nitrogen-cycling network
144.
non-public network
145.
non-terrestrial network
146.
open value network
147.
partner network
148.
partner network
149.
partner network (PN)
150.
partner network maturity
151.
passive switched capacitor network
152.
PC-corr network
153.
peer to peer network
154.
performance dialogue network
155.
personal area network applications
156.
pervasive public safety network
157.
phosphotransfer network
158.
power delivery network
159.
power distribution network
160.
production in network
161.
proteomic network
162.
public safety network
163.
qZS network
164.
quasi-impedance-source network
165.
quasi-Z-source network
166.
Radial Basis Function Neural Network (RBFNN)
167.
radio access network
168.
radio access network (RAN)
169.
radio access network subslicing
170.
random resistor network
171.
recurrent neural network language model
172.
reluctance network (RN)
173.
research network
174.
Residual Neural Network
175.
road network
176.
roof network
177.
route network
178.
self organizing network
179.
smart distribution network
180.
SMEs network
181.
social network
182.
social network analysis
183.
software-defined network
184.
spiking neural network (SNN)
185.
stretchable network
186.
support network activities
187.
sustainable partner network
188.
sustainable partner network (SPN)
189.
switched capacitor inductor network (SCLN)
190.
Z-source network
191.
technology transfer network
192.
telecommunication network management
193.
telecommunication network performance
194.
Ternary Neural Network
195.
the influence of DHW consumption on dimensioning the DH network
196.
thermal network
197.
tide gauge network
198.
transformer-based neural network
199.
UAV-enabled network
200.
underwater sensor network
201.
Urban Network
202.
utility network
203.
value network analysis
204.
water distribution network
205.
wireless ad hoq network
206.
wireless body area network
207.
Wireless Body Area Network (WBAN)
208.
wireless network
209.
wireless sensor network
210.
wireless sensor network (WSN)
211.
wsn (wireless sensor network)
212.
3D graphene network
213.
3D network topology visualization
TTÜ märksõna
2
1.
Erasmus Student Network
2.
Islamic Public Value Network
märksõna
2
1.
European Access Network
2.
Network of Institutes and Schools of Public Administration in Central and Eastern Europe (NISPAcee)
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT