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/202)
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
202
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-feature extraction
143.
flow-focusing junction
144.
flow-refuge
145.
flow-regime transition
146.
flow-trough system
147.
fluid flow control
148.
fluid flow control
149.
fluid flow measurements
150.
fluid flow simulation
151.
free-surface flow
152.
gas flow
153.
gas flow dynamics
154.
gene flow
155.
geostrophic air-flow
156.
groundwater flow
157.
Heat flow
158.
imaging flow cytometry
159.
information flow control
160.
internal-flow hydraulic modelling
161.
laminar and turbulent flow
162.
lateral flow
163.
liquid metal flow
164.
Mass flow rate
165.
Material flow analysis
166.
microscopic traffic flow model
167.
mixed flow
168.
multiphase flow
169.
multi-phase flow
170.
non-isothermal turbulent flow
171.
particulate channel flow
172.
particulate flow
173.
passive flow control
174.
pipe flow
175.
plug flow plasma reactor
176.
power flow
177.
power flow equations
178.
power-flow equations
179.
project cash flow
180.
pulsatile flow
181.
relative cerebral blood flow
182.
reverse power flow
183.
segmented flow
184.
shear flow
185.
start-up flow
186.
start-up pipe flow
187.
steady-state flow rheology
188.
stratified flow
189.
traffic flow
190.
traffic flow assignment
191.
transient flow
192.
transient pipe flow
193.
turbulent flow
194.
two-directional flow regulating valve
195.
two-phase flow
196.
ulsatile Flow
197.
Unified power flow controller (UPFC)
198.
unsteady flow
199.
water flow
200.
water flow correction
201.
water flow rate
202.
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