Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
signal flow graphs (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
3
Vaata veel..
(1/209)
Ekspordi
ekspordi kõik päringu tulemused
(3)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
3
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
209
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.
weak signal analysis
86.
vibration signal
87.
vibration signal processing
88.
wideband signal digitizing
89.
air flow
90.
analytical flow network analysis
91.
barotropic flow
92.
base flow
93.
base wastewater flow modelling
94.
bidirectional power flow
95.
bidirectional power flow control
96.
bioinspired flow sensing
97.
blood flow
98.
cash flow
99.
cash flow analysis
100.
channel flow
101.
compensatory flow
102.
compressible flow
103.
constant acceleration flow
104.
continuous flow reactions
105.
data flow languages
106.
data flow visualization
107.
dedicated flow
108.
DHW Design Flow Rate
109.
discounted cash flow techniques
110.
Distributed flow monitoring
111.
ecological flow
112.
electric load flow
113.
elongational flow
114.
energy flow
115.
flow
116.
flow (dynamics)
117.
flow alteration
118.
flow analysis
119.
flow angle
120.
flow assessment methods
121.
flow chemistry
122.
flow compressibility
123.
flow cytometry
124.
flow direction
125.
flow discharges
126.
flow duct
127.
flow experiments
128.
flow limiter
129.
flow mass loading
130.
flow measurement
131.
flow measurements
132.
flow network analysis
133.
flow network parameters
134.
flow of the “gas–solid particles” type
135.
flow packaging materials
136.
flow patterns
137.
flow rate control
138.
flow refuges
139.
flow regime
140.
flow regulating valve
141.
flow sensing
142.
flow sheet
143.
flow simulations
144.
flow system
145.
Flow theory
146.
flow velocity
147.
flow-based modelling
148.
flow-feature extraction
149.
flow-focusing junction
150.
flow-refuge
151.
flow-regime transition
152.
flow-trough system
153.
fluid flow control
154.
fluid flow control
155.
fluid flow measurements
156.
fluid flow simulation
157.
free-surface flow
158.
gas flow
159.
gas flow dynamics
160.
gene flow
161.
geostrophic air-flow
162.
groundwater flow
163.
Heat flow
164.
imaging flow cytometry
165.
information flow control
166.
internal-flow hydraulic modelling
167.
laminar and turbulent flow
168.
lateral flow
169.
liquid metal flow
170.
Mass flow rate
171.
Material flow analysis
172.
microscopic traffic flow model
173.
mixed flow
174.
multiphase flow
175.
multi-phase flow
176.
non-isothermal turbulent flow
177.
particulate channel flow
178.
particulate flow
179.
passive flow control
180.
pipe flow
181.
plug flow plasma reactor
182.
power flow
183.
power flow equations
184.
power-flow equations
185.
project cash flow
186.
pulsatile flow
187.
relative cerebral blood flow
188.
reverse power flow
189.
segmented flow
190.
shear flow
191.
start-up flow
192.
start-up pipe flow
193.
steady-state flow rheology
194.
stratified flow
195.
traffic flow
196.
traffic flow assignment
197.
transient flow
198.
transient pipe flow
199.
turbulent flow
200.
two-directional flow regulating valve
201.
two-phase flow
202.
ulsatile Flow
203.
Unified power flow controller (UPFC)
204.
unsteady flow
205.
vascular flow
206.
water flow
207.
water flow correction
208.
water flow rate
209.
flow assurance
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT