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
high-dimensional (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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/222)
Export
export all inquiry results
(1)
Save TXT 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
book article EST
/
book article ENG
Higher-dimensional subdiagram matching
Hadzihasanovic, Amar
;
Kessler, Diana-Maria
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
13 p
https://doi.org/10.1109/LICS56636.2023.10175726
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
Number of records 1, displaying
1 - 1
keyword
222
1.
high-dimensional
2.
high-dimensional data
3.
High-Pressure High-Temperature Spark Plasma Sintering
4.
dimensional stability
5.
finite dimensional algebras
6.
finite dimensional Banach space
7.
fractional-dimensional space approach
8.
novel three-dimensional morphology
9.
three-dimensional (3-D) printing
10.
three-dimensional palaeohistology
11.
three-dimensional preservation
12.
three-dimensional printing
13.
two-dimensional array testing
14.
two-dimensional heat equation
15.
Two-dimensional materials
16.
two-dimensional model
17.
Al0.1CoCrFeNi high-entropy alloy
18.
bimodal high-density polyethylene (HDPE) PE100
19.
C. high temperature corrosion
20.
dual-phase high-entropy alow
21.
effect of high bide
22.
eutectic high entropy alloys
23.
eutectic high-entropy alloys
24.
high
25.
high boost converter
26.
high cell mass production
27.
high context and low context cultures
28.
high current applications
29.
high cycle fatigue
30.
High Cycling Stability
31.
high efficiency
32.
High efficiency conversion
33.
high electricity consumption
34.
high energy ballmilling
35.
high energy milled activation
36.
high energy milling
37.
High energy physics
38.
high entropy
39.
high entropy alloy
40.
high entropy alloys
41.
high entropy intermetallics
42.
high entropy MAX phase
43.
High entropy oxide
44.
high frequency instability
45.
high frequency link
46.
high frequency link conversion
47.
high frequency link converters
48.
high frequency link DC-AC converter
49.
high gain boost converter (HGBC)
50.
high gain dc/dc converter
51.
High gain step up DC-DC converter
52.
high heating rate
53.
high impedance faults
54.
high level DD (HLDD)
55.
high level of security
56.
high level synthesis
57.
high nonlinear
58.
high penetration of renewable energy sources (RESs)
59.
high percentage of wind power
60.
high performance computing
61.
High Performance DSC (HPer DSC)
62.
high performance liquid chromatography (HPLC)
63.
high power density
64.
high pressure grinding rolls
65.
high pressure liquid chromatography procedure
66.
high pressure torsion
67.
High Pressure Torsion Extrusion
68.
high pressure torsion extrusion (HPTE)
69.
high reliability
70.
high reliability leadership
71.
high reliability management
72.
high reliability organizations
73.
high school
74.
high school student
75.
high schools
76.
high speed boat
77.
high speed craft (HSC)
78.
high speed machining
79.
high speed measurement
80.
high speed planing craft
81.
high step up/down
82.
high step-down conversion ratio
83.
high step-up
84.
high step-up converters
85.
high step-up power converter
86.
high strength
87.
high strength self-compacting concrete
88.
high strength steels
89.
high surface area carbon
90.
high switching frequency
91.
high tech industries
92.
High technologies park HTP
93.
high technology
94.
high temperature
95.
high temperature corrosion
96.
high temperature electrolysis
97.
high temperature fatigue
98.
high temperature fuel cells
99.
high temperature impact-abrasion
100.
high temperature oxidation
101.
high temperature shear strength
102.
high temperature tribology
103.
high temperature wear
104.
high temperatures
105.
high throughput sequencing
106.
high toxicity population (HTP)
107.
high viscosity
108.
high voltage
109.
High voltage circuit breaker
110.
high voltage direct current (HVDC)
111.
high voltage engineering
112.
high voltage gain
113.
high voltage power converters
114.
High voltages
115.
high-assurance cryptography
116.
high-cooked cheese
117.
high-density apolipoprotein A
118.
high-density lipoprotein cholesterol
119.
high-energy astrophysics
120.
high-energy ball milling
121.
high-entropy alloy
122.
high‐entropy alloy
123.
high-entropy alloys
124.
high-entropy carbide
125.
high-entropy composite
126.
high-entropy materials
127.
high-entropy MAX phase
128.
high-entropy nanocomposites
129.
High-entropy oxide
130.
high-fat
131.
high-fidelity simulator
132.
high-frequency data
133.
high-frequency impacts
134.
high-frequency link converter
135.
high-frequency machine modeling
136.
high-frequency model
137.
high-frequency sensor
138.
high-frequency transformer
139.
high-frequency transformers
140.
high-frequency transients
141.
high-gain non-inverting buck-boost converter
142.
high-intensity interval training
143.
high-k oxides
144.
high-level control fault model
145.
high-level control faults
146.
high-level decision diagram
147.
high-level decision diagrams
148.
high-level decision diagrams (HLDD) synthesis
149.
High-level Decision Diagrams for Modeling Digital Systems
150.
high-level expert group on AI
151.
high-level fault coverage
152.
high-level fault model
153.
high-level fault simulation
154.
high-level functional fault model
155.
high-level synthesis
156.
High-Level Synthesis (HLS)
157.
high-level synthesis for test
158.
high-level test data generation
159.
high-penetration renewable energy
160.
high-penetration renewable energy sources (RESs)
161.
high-performance computer systems
162.
high-performance computing systems
163.
high-performance computing systems, Information processing
164.
high-performance glazing
165.
high-performance liquid chromatography
166.
high-performance liquid chromatography-diode array detector-mass spectrometer
167.
high-performance photocathode
168.
high-performance ports
169.
High-Performance Work Systems
170.
high-precision levelling
171.
high-pressure annealing
172.
high-pressure processing
173.
high-pressure solidification
174.
high-pressure torsion
175.
high-pressure torsion (HPT)
176.
high-priority NIDS alert
177.
high-resolution
178.
high-resolution (HR)-PWM
179.
high-resolution biostratigraphy
180.
high-schools
181.
high-spatial resolution
182.
high-speed
183.
high-speed camera
184.
high-speed craft
185.
high-speed design
186.
high-speed MAS (magic angle spinning)
187.
high-speed planing crafts
188.
high-speed railway
189.
high-speed serial link test
190.
high-speed temperature scanner
191.
high-speed temperature scanner (HSTS)
192.
high-speed thermogravimetric analysis
193.
high-strength wastewater
194.
high-stress abrasion
195.
high-Tc superconductors
196.
high-tech industry
197.
high-temperature
198.
high-temperature ceramic superconductors
199.
high-temperature deformation behavior
200.
high-temperature differential thermal analysis (HDTA)
201.
high-temperature microelectronics
202.
high-temperature synthesis (SHS)
203.
high-temperature tribology
204.
high-temperature wear
205.
high-throughput
206.
high-throughput analysis
207.
high-throughput sequencing
208.
high-vacuum evaporation
209.
high-velocity air-fuel (HVAF) spraying
210.
high-voltage techniques
211.
high-κ dielectrics
212.
isolated high step-up converter
213.
logic level and high level BDDs
214.
low-context and high-context
215.
refractory high entropy alloys (RHEAs)
216.
self-propagating high temperature synthesized (SHS)
217.
Self-Propagating High-Temperature Synthesis
218.
ultra high
219.
ultra High gain boost converter (UHGBC)
220.
ultra high step-up
221.
Utsira High
222.
very high-resolution numerical modelling
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT