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