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/199)
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
199
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-tonoise ratio (SNR)
77.
small-signal
78.
small-signal model
79.
small-signal modeling
80.
Small-signal stability
81.
sparse signal reconstruction
82.
traffic signal control
83.
vibration signal
84.
vibration signal processing
85.
wideband signal digitizing
86.
air flow
87.
analytical flow network analysis
88.
base flow
89.
bidirectional power flow
90.
bidirectional power flow control
91.
bioinspired flow sensing
92.
blood flow
93.
cash flow
94.
cash flow analysis
95.
channel flow
96.
compensatory flow
97.
compressible flow
98.
constant acceleration flow
99.
continuous flow reactions
100.
data flow languages
101.
data flow visualization
102.
dedicated flow
103.
DHW Design Flow Rate
104.
discounted cash flow techniques
105.
Distributed flow monitoring
106.
ecological flow
107.
electric load flow
108.
elongational flow
109.
flow
110.
flow (dynamics)
111.
flow alteration
112.
flow analysis
113.
flow angle
114.
flow assessment methods
115.
flow chemistry
116.
flow compressibility
117.
flow cytometry
118.
flow direction
119.
flow discharges
120.
flow duct
121.
flow experiments
122.
flow limiter
123.
flow mass loading
124.
flow measurement
125.
flow measurements
126.
flow network analysis
127.
flow network parameters
128.
flow of the “gas–solid particles” type
129.
flow packaging materials
130.
flow patterns
131.
flow rate control
132.
flow refuges
133.
flow regime
134.
flow regulating valve
135.
flow sensing
136.
flow sheet
137.
flow simulations
138.
flow system
139.
Flow theory
140.
flow velocity
141.
flow-based modelling
142.
flow-focusing junction
143.
flow-refuge
144.
flow-regime transition
145.
flow-trough system
146.
fluid flow control
147.
fluid flow control
148.
fluid flow measurements
149.
fluid flow simulation
150.
free-surface flow
151.
gas flow
152.
gas flow dynamics
153.
gene flow
154.
geostrophic air-flow
155.
groundwater flow
156.
Heat flow
157.
imaging flow cytometry
158.
information flow control
159.
internal-flow hydraulic modelling
160.
laminar and turbulent flow
161.
lateral flow
162.
liquid metal flow
163.
Mass flow rate
164.
Material flow analysis
165.
microscopic traffic flow model
166.
mixed flow
167.
multiphase flow
168.
multi-phase flow
169.
non-isothermal turbulent flow
170.
particulate channel flow
171.
particulate flow
172.
pipe flow
173.
power flow
174.
power flow equations
175.
power-flow equations
176.
project cash flow
177.
pulsatile flow
178.
relative cerebral blood flow
179.
reverse power flow
180.
segmented flow
181.
shear flow
182.
start-up flow
183.
start-up pipe flow
184.
steady-state flow rheology
185.
stratified flow
186.
traffic flow
187.
traffic flow assignment
188.
transient flow
189.
transient pipe flow
190.
turbulent flow
191.
two-directional flow regulating valve
192.
two-phase flow
193.
ulsatile Flow
194.
Unified power flow controller (UPFC)
195.
unsteady flow
196.
water flow
197.
water flow correction
198.
water flow rate
199.
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