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
Otsing
Valitud kirjed
0
network games (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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/210)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF 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
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
märksõna
2
1.
European Access Network
2.
Network of Institutes and Schools of Public Administration in Central and Eastern Europe (NISPAcee)
TTÜ märksõna
1
1.
Erasmus Student Network
×
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