Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Computational effect (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/117)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Flexible presentations of graded monads
Katsumata, Shin-ya
;
McDermott, Dylan
;
Uustalu, Tarmo
;
Wu, Nicolas
Proceedings of the ACM on Programming Languages
2022
/
art. 123, 28 p
https://doi.org/10.1145/3547654
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
book article EST
/
book article ENG
Flexibly graded monads and graded algebras
McDermott, Dylan
;
Uustalu, Tarmo
Mathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings
2022
/
p. 102-128 : ill
https://doi.org/10.1007/978-3-031-16912-0_4
Conference Proceeding at Scopus
Article at Scopus
Article at WOS
Conference proceeding at WOS
book article EST
/
book article ENG
Number of records 2, displaying
1 - 2
keyword
117
1.
Computational effect
2.
Computational effects
3.
C. Computational modelling
4.
CFD (computational fluid dynamics) software
5.
computational approach
6.
computational biology
7.
computational biology and bioinformatics
8.
computational biophysics
9.
computational chemistry
10.
computational design
11.
computational design method
12.
computational design methods
13.
computational experiment
14.
computational fluid dynamic
15.
computational fluid dynamics
16.
computational fluid dynamics (CFD)
17.
Computational Fluid Dynamics (CFD) analysis
18.
computational foundations for additive manufacturing
19.
computational intelligence
20.
computational mathematics
21.
computational mechanics and design
22.
computational modeling
23.
computational models
24.
computational neuroscience
25.
computational pipelines
26.
computational social science
27.
computational techniques
28.
computational thinking
29.
data-based computational psychiatry
30.
(computational fluid dynamics) CFD analysis
31.
Ageing effect
32.
amplification effect
33.
ampli-fication effect
34.
anticompetitive object/effect
35.
attenuation effect
36.
axial end effect
37.
Buffer effect
38.
bullwhip effect
39.
butterfly effect
40.
cascading effect
41.
climate effect
42.
combinatorial effect (CE)
43.
company size effect
44.
dead-time effect
45.
disposition effect
46.
Doppler effect
47.
Dunning-Kruger effect
48.
dysynergistic effect
49.
economic effect
50.
edge effect
51.
effect
52.
effect concentrations bioaccumulation
53.
effect measurement
54.
effect of cellulose type and DP
55.
effect of high bide
56.
effect of preparation procedure
57.
effect of surfactant
58.
effect of Ti and Nb
59.
effect on competition
60.
EMF effect
61.
exchange rate effect
62.
Failure mode and effect analysis (FMEA)
63.
failure modes and effect analysis
64.
family background effect
65.
field effect transistor
66.
fixed country-effect model
67.
Hall–Petch effect
68.
hexokinase Warburg effect
69.
horizontal effect doctrine
70.
housemoney effect prospect theory
71.
incentive effect
72.
indirect effect
73.
junction field-effect transistor (JFET)
74.
leverage effect
75.
longitudinal end effect
76.
magneto-elastic effect
77.
mass loading effect
78.
matrix effect
79.
mediation effect
80.
memory effect
81.
metal-oxide-semiconductor field-effect transistors (MOSFETs)
82.
microwave effect
83.
mineral matter effect
84.
mitigation strategies of UHI effect
85.
moderating effect
86.
multiple stressor effect sizes
87.
multiple stressor effect types
88.
multiplier effect
89.
peer effect
90.
placebo effect
91.
plasmonic effect
92.
pseudo-Jahn-Teller effect
93.
real estate wealth effect
94.
rebound effect
95.
reflection effect
96.
reservoir effect
97.
Sandelin effect
98.
school effect
99.
size effect
100.
skin effect
101.
skin-effect
102.
snappy effect
103.
solvent effect
104.
stack effect
105.
Streisand effect
106.
substituent effect
107.
surface plasmon resonance effect
108.
synergetic effect
109.
synergistic effect
110.
Talbot effect
111.
temperature effect
112.
temperature effect component
113.
the Diderot effect
114.
thickness effect
115.
transverse edge effect
116.
Warburg effect
117.
wind effect
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT