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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 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
3
Look more..
(1/217)
Export
export all inquiry results
(3)
Save TXT 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
Related publications
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
217
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.
parallel monotone line graphs
18.
Peirce’s graphs
19.
Peirce's existential graphs and transcendental logic
20.
Peirce's graphs
21.
superposition of graphs
22.
weak Alpha graphs
23.
acoustic signal
24.
acoustic signal analysis
25.
acoustic signal processing
26.
adaptive signal processing
27.
audio signal analysis
28.
audio signal processing
29.
binary multifrequency signal
30.
binary signal
31.
biomedical signal processing
32.
cardiac signal
33.
cellular signal propagation
34.
digital signal processing
35.
digital signal processor (DSP)
36.
digital signal processors
37.
EEG signal
38.
electrocardiogram signal classification
39.
excitation signal
40.
fault signal
41.
individual penalty signal
42.
magneto-optical signal
43.
mixed-signal
44.
mixed-signal design
45.
multisine signal
46.
multisine signal generator
47.
nonlinear signal processing
48.
penalty signal
49.
pipe-lined signal processing architectures
50.
respiratory signal
51.
second derivative PPG signal
52.
seismic signal identification
53.
sensor signal processing
54.
signal alignment
55.
signal analysis
56.
signal assignment
57.
signal conditioning
58.
signal degradation
59.
signal denoising
60.
signal design
61.
signal discretization period correction
62.
signal generation
63.
signal modelling
64.
signal peptide
65.
signal probabilities
66.
signal processing
67.
signal processing algorithms
68.
signal quality assessment
69.
signal real-time reconstruction
70.
signal regeneration
71.
signal resolution
72.
signal separation
73.
signal simulation
74.
signal simulation and modeling
75.
signal structure
76.
signal synthesis
77.
signal to noise ratio
78.
signal transduction
79.
signal waveforms
80.
signal-to-noise ratio
81.
signal-tonoise ratio (SNR)
82.
small-signal
83.
small-signal model
84.
small-signal modeling
85.
Small-signal stability
86.
sparse signal reconstruction
87.
traffic signal control
88.
weak signal analysis
89.
vibration signal
90.
vibration signal processing
91.
wideband signal digitizing
92.
video signal processing
93.
air flow
94.
analytical flow network analysis
95.
barotropic flow
96.
base flow
97.
base wastewater flow modelling
98.
bidirectional power flow
99.
bidirectional power flow control
100.
bioinspired flow sensing
101.
blood flow
102.
cash flow
103.
cash flow analysis
104.
channel flow
105.
compensatory flow
106.
compressible flow
107.
constant acceleration flow
108.
continuous flow reactions
109.
continuous-flow oxidation reactor
110.
data flow diagram
111.
data flow languages
112.
data flow visualization
113.
data-flow architecture
114.
dedicated flow
115.
DHW Design Flow Rate
116.
discounted cash flow techniques
117.
Distributed flow monitoring
118.
ecological flow
119.
electric load flow
120.
elongational flow
121.
energy flow
122.
Fish-friendly Fairbanks Nijhuis axial flow pump
123.
flow
124.
flow (dynamics)
125.
flow alteration
126.
flow analysis
127.
flow angle
128.
flow assessment methods
129.
flow chemistry
130.
flow compressibility
131.
flow cytometry
132.
flow direction
133.
flow discharges
134.
flow duct
135.
flow experiments
136.
flow limiter
137.
flow mass loading
138.
flow measurement
139.
flow measurements
140.
flow network analysis
141.
flow network parameters
142.
flow of the “gas–solid particles” type
143.
flow packaging materials
144.
flow patterns
145.
flow rate control
146.
flow refuges
147.
flow regime
148.
flow regulating valve
149.
flow sensing
150.
flow sheet
151.
flow simulations
152.
flow system
153.
Flow theory
154.
flow velocity
155.
flow-based modelling
156.
flow-feature extraction
157.
flow-focusing junction
158.
flow-refuge
159.
flow-regime transition
160.
flow-trough system
161.
fluid flow control
162.
fluid flow control
163.
fluid flow measurements
164.
fluid flow simulation
165.
free-surface flow
166.
gas flow
167.
gas flow dynamics
168.
gene flow
169.
geostrophic air-flow
170.
groundwater flow
171.
Heat flow
172.
imaging flow cytometry
173.
information flow control
174.
internal-flow hydraulic modelling
175.
laminar and turbulent flow
176.
lateral flow
177.
liquid metal flow
178.
Mass flow rate
179.
Material flow analysis
180.
microscopic traffic flow model
181.
mixed flow
182.
multiphase flow
183.
multi-phase flow
184.
non-isothermal turbulent flow
185.
particulate channel flow
186.
particulate flow
187.
passive flow control
188.
pipe flow
189.
plug flow plasma reactor
190.
power flow
191.
power flow equations
192.
power-flow equations
193.
project cash flow
194.
pulsatile flow
195.
relative cerebral blood flow
196.
reverse power flow
197.
segmented flow
198.
shear flow
199.
start-up flow
200.
start-up pipe flow
201.
steady-state flow rheology
202.
stratified flow
203.
traffic flow
204.
traffic flow assignment
205.
transient flow
206.
transient pipe flow
207.
turbulent flow
208.
two-directional flow regulating valve
209.
two-phase flow
210.
ulsatile Flow
211.
Unified power flow controller (UPFC)
212.
unsteady flow
213.
vascular flow
214.
water flow
215.
water flow correction
216.
water flow rate
217.
flow assurance
×
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