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/198)
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
198
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.
information flow control
158.
internal-flow hydraulic modelling
159.
laminar and turbulent flow
160.
lateral flow
161.
liquid metal flow
162.
Mass flow rate
163.
Material flow analysis
164.
microscopic traffic flow model
165.
mixed flow
166.
multiphase flow
167.
multi-phase flow
168.
non-isothermal turbulent flow
169.
particulate channel flow
170.
particulate flow
171.
pipe flow
172.
power flow
173.
power flow equations
174.
power-flow equations
175.
project cash flow
176.
pulsatile flow
177.
relative cerebral blood flow
178.
reverse power flow
179.
segmented flow
180.
shear flow
181.
start-up flow
182.
start-up pipe flow
183.
steady-state flow rheology
184.
stratified flow
185.
traffic flow
186.
traffic flow assignment
187.
transient flow
188.
transient pipe flow
189.
turbulent flow
190.
two-directional flow regulating valve
191.
two-phase flow
192.
ulsatile Flow
193.
Unified power flow controller (UPFC)
194.
unsteady flow
195.
water flow
196.
water flow correction
197.
water flow rate
198.
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