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