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