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
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
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/227)
Ekspordi
ekspordi kõik päringu tulemused
(3)
Salvesta TXT 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
227
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.
parallel monotone line graphs
18.
Peirce’s graphs
19.
Peirce's existential graphs and transcendental logic
20.
Peirce's graphs
21.
superposition of graphs
22.
weak Alpha graphs
23.
acoustic signal
24.
acoustic signal analysis
25.
acoustic signal processing
26.
adaptive signal processing
27.
audio signal analysis
28.
audio signal processing
29.
binary multifrequency signal
30.
binary signal
31.
biomedical signal processing
32.
cardiac signal
33.
cellular signal propagation
34.
digital signal processing
35.
digital signal processor (DSP)
36.
digital signal processors
37.
EEG signal
38.
electrocardiogram signal classification
39.
excitation signal
40.
fault signal
41.
individual penalty signal
42.
magneto-optical signal
43.
mixed-signal
44.
mixed-signal design
45.
multisine signal
46.
multisine signal generator
47.
nonlinear signal processing
48.
penalty signal
49.
pipe-lined signal processing architectures
50.
respiratory signal
51.
second derivative PPG signal
52.
seismic signal identification
53.
sensor signal processing
54.
signal alignment
55.
signal analysis
56.
signal anomaly detection
57.
signal assignment
58.
signal conditioning
59.
signal degradation
60.
signal denoising
61.
signal design
62.
signal discretization period correction
63.
signal generation
64.
signal modelling
65.
signal peptide
66.
signal probabilities
67.
signal processing
68.
signal processing algorithms
69.
signal quality assessment
70.
signal real-time reconstruction
71.
signal regeneration
72.
signal resolution
73.
signal separation
74.
signal simulation
75.
signal simulation and modeling
76.
signal structure
77.
signal synthesis
78.
signal to noise ratio
79.
signal transduction
80.
signal waveforms
81.
signal-to-noise ratio
82.
signal-tonoise ratio (SNR)
83.
signal-to-noise ratio (SNR)
84.
small-signal
85.
small-signal model
86.
small-signal modeling
87.
Small-signal stability
88.
sparse signal reconstruction
89.
traffic signal control
90.
weak signal analysis
91.
vibration signal
92.
vibration signal processing
93.
wideband signal digitizing
94.
video signal processing
95.
air flow
96.
analytical flow network analysis
97.
ASIC flow
98.
barotropic flow
99.
base flow
100.
base wastewater flow modelling
101.
bidirectional power flow
102.
bidirectional power flow control
103.
bioinspired flow sensing
104.
blood flow
105.
cash flow
106.
cash flow analysis
107.
cash flow statement
108.
channel flow
109.
compensatory flow
110.
compressible flow
111.
constant acceleration flow
112.
continuous flow reactions
113.
continuous-flow oxidation reactor
114.
cross-flow turbine
115.
data flow diagram
116.
data flow languages
117.
data flow visualization
118.
data-flow architecture
119.
dedicated flow
120.
DHW Design Flow Rate
121.
discounted cash flow techniques
122.
Distributed flow monitoring
123.
ecological flow
124.
electric load flow
125.
elongational flow
126.
energy flow
127.
Fish-friendly Fairbanks Nijhuis axial flow pump
128.
flow
129.
flow (dynamics)
130.
flow alteration
131.
flow analysis
132.
flow angle
133.
flow assessment methods
134.
flow chemistry
135.
flow compressibility
136.
flow cytometry
137.
flow direction
138.
flow discharges
139.
flow duct
140.
flow experiments
141.
flow limiter
142.
flow mass loading
143.
flow measurement
144.
flow measurements
145.
flow network analysis
146.
flow network parameters
147.
flow of the “gas–solid particles” type
148.
flow packaging materials
149.
flow patterns
150.
flow rate control
151.
flow refuges
152.
flow regime
153.
flow regulating valve
154.
flow sensing
155.
flow sheet
156.
flow simulations
157.
flow system
158.
Flow theory
159.
flow velocity
160.
flow-based modelling
161.
flow-feature extraction
162.
flow-focusing junction
163.
flow-refuge
164.
flow-regime transition
165.
flow-through water treatment
166.
flow-trough system
167.
fluid flow control
168.
fluid flow control
169.
fluid flow measurements
170.
fluid flow simulation
171.
free-surface flow
172.
gas flow
173.
gas flow dynamics
174.
gene flow
175.
geostrophic air-flow
176.
groundwater flow
177.
Heat flow
178.
imaging flow cytometry
179.
information flow control
180.
internal-flow hydraulic modelling
181.
laminar and turbulent flow
182.
lateral flow
183.
liquid metal flow
184.
logistics flow
185.
low-flow
186.
Mass flow rate
187.
Material flow analysis
188.
microscopic traffic flow model
189.
mixed flow
190.
multiphase flow
191.
multi-phase flow
192.
net operating cash flow
193.
non-isothermal turbulent flow
194.
particulate channel flow
195.
particulate flow
196.
passive flow control
197.
pipe flow
198.
plug flow plasma reactor
199.
power flow
200.
power flow equations
201.
power flow optimization
202.
power-flow equations
203.
project cash flow
204.
pulsatile flow
205.
relative cerebral blood flow
206.
reverse power flow
207.
segmented flow
208.
shear flow
209.
start-up flow
210.
start-up pipe flow
211.
steady-state flow rheology
212.
stratified flow
213.
traffic flow
214.
traffic flow assignment
215.
transient flow
216.
transient pipe flow
217.
turbulent flow
218.
two-directional flow regulating valve
219.
two-phase flow
220.
ulsatile Flow
221.
Unified power flow controller (UPFC)
222.
unsteady flow
223.
vascular flow
224.
water flow
225.
water flow correction
226.
water flow rate
227.
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