Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
network games (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(3/210)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
Monoidal width = Monoidiline laius
Number of records 1, displaying
1 - 1
keyword
207
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.
lumped parameter network
75.
lumped parameter thermal network
76.
lumped-parameter thermal network
77.
Magnetically Coupled Impedance Source Network (MCIS)
78.
memory network
79.
Mesh Network
80.
modified network cohesion
81.
MRAN (minimum resource allocation network)
82.
nanosheets network
83.
NB-IoT network
84.
NetFlow based network monitoring
85.
network
86.
network access charges
87.
network analysis
88.
network anomaly detection
89.
network architecture
90.
network calculus
91.
network characteristics
92.
network communication technologies
93.
network constraint
94.
network disaggregation
95.
network dynamics
96.
network expansion planning
97.
network forensics
98.
network function virtualization
99.
network functions virtualization (NFV)
100.
network governance
101.
network IDS alert classification
102.
network industries
103.
network industry
104.
network intrusion detection system
105.
network latencies
106.
network layer
107.
Network lifetime
108.
network measurement
109.
network monitoring
110.
network of co-authorships
111.
network on chip
112.
Network on Chip (NoC)
113.
network partners
114.
network protocol reverse engineering
115.
network protocols
116.
Network QoS
117.
network quality
118.
Network reliability
119.
network resilience
120.
network safety ranking
121.
network security
122.
network security monitoring
123.
network slicing
124.
network sparsification
125.
network studies
126.
network theory
127.
network topologies
128.
network topology
129.
network uncertainties
130.
Network visualization
131.
network-on-chip
132.
network-on-ReRAM
133.
network-testing
134.
neural network
135.
neural network architecture search
136.
neural network controller
137.
neural network modelling
138.
neural network predictive controller
139.
nitrogen-cycling network
140.
non-public network
141.
non-terrestrial network
142.
open value network
143.
partner network
144.
partner network
145.
partner network (PN)
146.
partner network maturity
147.
passive switched capacitor network
148.
PC-corr network
149.
peer to peer network
150.
performance dialogue network
151.
personal area network applications
152.
pervasive public safety network
153.
phosphotransfer network
154.
power delivery network
155.
power distribution network
156.
production in network
157.
proteomic network
158.
public safety network
159.
qZS network
160.
quasi-impedance-source network
161.
quasi-Z-source network
162.
Radial Basis Function Neural Network (RBFNN)
163.
radio access network
164.
radio access network (RAN)
165.
radio access network subslicing
166.
random resistor network
167.
recurrent neural network language model
168.
reluctance network (RN)
169.
research network
170.
Residual Neural Network
171.
road network
172.
roof network
173.
route network
174.
self organizing network
175.
smart distribution network
176.
SMEs network
177.
social network
178.
social network analysis
179.
software-defined network
180.
spiking neural network (SNN)
181.
stretchable network
182.
support network activities
183.
sustainable partner network
184.
sustainable partner network (SPN)
185.
switched capacitor inductor network (SCLN)
186.
Z-source network
187.
technology transfer network
188.
telecommunication network management
189.
telecommunication network performance
190.
Ternary Neural Network
191.
the influence of DHW consumption on dimensioning the DH network
192.
thermal network
193.
tide gauge network
194.
UAV-enabled network
195.
underwater sensor network
196.
Urban Network
197.
utility network
198.
value network analysis
199.
water distribution network
200.
wireless ad hoq network
201.
wireless body area network
202.
Wireless Body Area Network (WBAN)
203.
wireless network
204.
wireless sensor network
205.
wsn (wireless sensor network)
206.
3D graphene network
207.
3D network topology visualization
subject term
2
1.
European Access Network
2.
Network of Institutes and Schools of Public Administration in Central and Eastern Europe (NISPAcee)
TalTech subject term
1
1.
Erasmus Student Network
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT