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
Advanced search
My bookmarks
0
signal flow graphs (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(1/203)
Export
export all inquiry results
(3)
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
Contextual equivalence for signal flow graphs
Bonchi, Filippo
;
Piedeleu, Robin
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings
2020
/
p. 77-96
https://doi.org/10.1007/978-3-030-45231-5_5
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
2
book article EST
/
book article ENG
Monoidal streams for dataflow programming
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 2022
2022
/
art. 3533365, p. 1-14 : ill
https://doi.org/10.1145/3531130.3533365
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
3
book article EST
/
book article ENG
A survey of Compositional signal flow theory
Bonchi, Filippo
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Advancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups
2021
/
p. 29–56
https://doi.org/10.1007/978-3-030-81701-5_2
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 3, displaying
1 - 3
keyword
203
1.
signal flow graphs
2.
alpha graphs
3.
alternative graphs
4.
assertive graphs
5.
attack graphs
6.
Beta graphs
7.
classical vs. non-classical logical graphs
8.
entitative graphs
9.
existential graphs
10.
existential/assertive graphs
11.
gamma graphs
12.
intuitionistic graphs
13.
logical graphs
14.
method of graphs
15.
ontological graphs
16.
open graphs
17.
Peirce’s graphs
18.
Peirce's existential graphs and transcendental logic
19.
Peirce's graphs
20.
superposition of graphs
21.
weak Alpha graphs
22.
acoustic signal
23.
acoustic signal analysis
24.
acoustic signal processing
25.
adaptive signal processing
26.
audio signal analysis
27.
audio signal processing
28.
binary multifrequency signal
29.
binary signal
30.
biomedical signal processing
31.
cardiac signal
32.
cellular signal propagation
33.
digital signal processing
34.
digital signal processor (DSP)
35.
digital signal processors
36.
EEG signal
37.
electrocardiogram signal classification
38.
excitation signal
39.
fault signal
40.
individual penalty signal
41.
magneto-optical signal
42.
mixed-signal
43.
mixed-signal design
44.
multisine signal
45.
multisine signal generator
46.
nonlinear signal processing
47.
penalty signal
48.
pipe-lined signal processing architectures
49.
respiratory signal
50.
second derivative PPG signal
51.
seismic signal identification
52.
sensor signal processing
53.
signal alignment
54.
signal analysis
55.
signal conditioning
56.
signal denoising
57.
signal design
58.
signal discretization period correction
59.
signal modelling
60.
signal peptide
61.
signal probabilities
62.
signal processing
63.
signal processing algorithms
64.
signal quality assessment
65.
signal real-time reconstruction
66.
signal regeneration
67.
signal resolution
68.
signal separation
69.
signal simulation
70.
signal simulation and modeling
71.
signal structure
72.
signal synthesis
73.
signal to noise ratio
74.
signal transduction
75.
signal waveforms
76.
signal-to-noise ratio
77.
signal-tonoise ratio (SNR)
78.
small-signal
79.
small-signal model
80.
small-signal modeling
81.
Small-signal stability
82.
sparse signal reconstruction
83.
traffic signal control
84.
vibration signal
85.
vibration signal processing
86.
wideband signal digitizing
87.
air flow
88.
analytical flow network analysis
89.
base flow
90.
bidirectional power flow
91.
bidirectional power flow control
92.
bioinspired flow sensing
93.
blood flow
94.
cash flow
95.
cash flow analysis
96.
channel flow
97.
compensatory flow
98.
compressible flow
99.
constant acceleration flow
100.
continuous flow reactions
101.
data flow languages
102.
data flow visualization
103.
dedicated flow
104.
DHW Design Flow Rate
105.
discounted cash flow techniques
106.
Distributed flow monitoring
107.
ecological flow
108.
electric load flow
109.
elongational flow
110.
flow
111.
flow (dynamics)
112.
flow alteration
113.
flow analysis
114.
flow angle
115.
flow assessment methods
116.
flow chemistry
117.
flow compressibility
118.
flow cytometry
119.
flow direction
120.
flow discharges
121.
flow duct
122.
flow experiments
123.
flow limiter
124.
flow mass loading
125.
flow measurement
126.
flow measurements
127.
flow network analysis
128.
flow network parameters
129.
flow of the “gas–solid particles” type
130.
flow packaging materials
131.
flow patterns
132.
flow rate control
133.
flow refuges
134.
flow regime
135.
flow regulating valve
136.
flow sensing
137.
flow sheet
138.
flow simulations
139.
flow system
140.
Flow theory
141.
flow velocity
142.
flow-based modelling
143.
flow-feature extraction
144.
flow-focusing junction
145.
flow-refuge
146.
flow-regime transition
147.
flow-trough system
148.
fluid flow control
149.
fluid flow control
150.
fluid flow measurements
151.
fluid flow simulation
152.
free-surface flow
153.
gas flow
154.
gas flow dynamics
155.
gene flow
156.
geostrophic air-flow
157.
groundwater flow
158.
Heat flow
159.
imaging flow cytometry
160.
information flow control
161.
internal-flow hydraulic modelling
162.
laminar and turbulent flow
163.
lateral flow
164.
liquid metal flow
165.
Mass flow rate
166.
Material flow analysis
167.
microscopic traffic flow model
168.
mixed flow
169.
multiphase flow
170.
multi-phase flow
171.
non-isothermal turbulent flow
172.
particulate channel flow
173.
particulate flow
174.
passive flow control
175.
pipe flow
176.
plug flow plasma reactor
177.
power flow
178.
power flow equations
179.
power-flow equations
180.
project cash flow
181.
pulsatile flow
182.
relative cerebral blood flow
183.
reverse power flow
184.
segmented flow
185.
shear flow
186.
start-up flow
187.
start-up pipe flow
188.
steady-state flow rheology
189.
stratified flow
190.
traffic flow
191.
traffic flow assignment
192.
transient flow
193.
transient pipe flow
194.
turbulent flow
195.
two-directional flow regulating valve
196.
two-phase flow
197.
ulsatile Flow
198.
Unified power flow controller (UPFC)
199.
unsteady flow
200.
water flow
201.
water flow correction
202.
water flow rate
203.
flow assurance
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT