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