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