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