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
Searching
My bookmarks
0
maximal multi-focusing (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced 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/143)
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
Maximally multi-focused proofs for skew non-commutative MILL
Veltri, Niccolò
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings
2023
/
p. 377-393
https://doi.org/10.1007/978-3-031-39784-4_24
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
143
1.
maximal multi-focusing
2.
multi-risk/multi-criteria
3.
flow-focusing junction
4.
focusing
5.
Isoelectric focusing
6.
maximal two-layer exchange
7.
sub-maximal two-layer exchange
8.
wave focusing
9.
apartments in multi-family buildings
10.
Bio-active™ multi-force archwires
11.
evolutionary algorithm multi-objective
12.
Hierarchical Multi-level Test Generation
13.
multi agent
14.
multi agent simulation
15.
multi agent system
16.
multi agent systems
17.
multi model ensemble (MME)
18.
multi resonant controller
19.
multi scale analysis
20.
multi-abstraction
21.
multi-access edge computing
22.
multi-access edge computing (MEC)
23.
multi-actor effects
24.
multi-agent
25.
Multi-agent reinforcement learning
26.
multi-agent system
27.
multi-agent system (MAS)
28.
multi-agent systems
29.
multi-algorithm methodology
30.
multi-area coordination
31.
Multi-area coordination of integrated electricity and natural gas transmission system
32.
multi-armed bandit solver
33.
multi-armed bandits (MAB)
34.
multi-authority situation
35.
multi-axial stress
36.
multi-beam sonar (ARIS)
37.
multi-benefit
38.
multi-byte encoding
39.
multi-centre
40.
multi-chain blockchains
41.
multi-channel
42.
multi-channel elections
43.
multi-class support vector machine (m-SVM)
44.
multi-classed object detection
45.
multi-country analysis
46.
multi-criteria analysis
47.
Multi-criteria decision analysis
48.
multi-criteria decision-making
49.
multi-criteria decision-making (MCDM)
50.
multi-criteria decision-making methods
51.
multicriteria decisionmaking problem
52.
multi-criteria design
53.
multi-criteria evaluation
54.
multi-criteria optimization
55.
multi-criteria recommendation
56.
multi-criteria-analysis
57.
Multi-cultural fermentation
58.
multi-deck ship
59.
multi-deck ships
60.
multi-description coding mechanism
61.
multi-domain
62.
multi-element
63.
multi-energy microgrid
64.
multi-factor
65.
multi-family buildings
66.
multi-family households
67.
multi-force orthodontic wires
68.
multi-formalism
69.
multi-hop
70.
multi-hop routing protocol
71.
multi-layered curriculum design
72.
multi-level governance
73.
multi-level inverter
74.
multi-level leadership
75.
multi-level modeling
76.
multi-level perspective
77.
multi-level perspective of sustainability transitions
78.
multi-level selection and processing environment
79.
multi-loop model reference control
80.
multi-machine
81.
multi-machine industrial power plant
82.
multi-machine power system
83.
multi-microgrids
84.
Multi-modal chatbots
85.
multi-modal logistics management
86.
multi-mode control
87.
multi-model ensemble
88.
multi-objectiv
89.
multi-objective
90.
multi-objective nonlinear programming
91.
multi-objective optimisation
92.
multi-objective optimization
93.
multi-objective optimization (MOO)
94.
multi-omics
95.
multi-optimization
96.
Multi-paradigm Modelling (MPM)
97.
multi-parameter
98.
multi-path
99.
multi-phase
100.
multi-phase flow
101.
multi-phase image segmentation
102.
multi-phase materials
103.
multi-phase microfluidics
104.
multi-pole mathematical model
105.
multi-pole model
106.
multi-pole model design
107.
multi-port converters
108.
multi-port dc/ac converters
109.
multi-port system
110.
multi-processor
111.
multi-processor system-on-chip
112.
multi-processor system-on-chips (MPSoCs)
113.
multi-project management
114.
multi-proxy
115.
multi-proxy approach
116.
multi-proxy study
117.
multi-pump system
118.
multi-rate control
119.
multi-resonant control
120.
multi-rotor helicopter
121.
multi-signatures
122.
multi-source district heating
123.
multi-species planning
124.
multi-stage enrichment
125.
multi-stakeholder collaboration
126.
multi-stakeholder governance
127.
multi-stakeholder systems
128.
multi-step and multilevel planning
129.
multi-stream interaction machine
130.
multi-surface TPMS
131.
multi-task learning
132.
multi-taxon
133.
multi-threads
134.
multi-type dislocation substructure
135.
multi-UAVs
136.
Multi-valued Simulation for Hazard Detection in Digital Circuits
137.
multi-variate prediction
138.
multi-winding transformer
139.
optimal multi-energy flows
140.
parametric multi-impact analysis
141.
single- and multi-walled carbon nanotubes
142.
tactical multi-hop routing protocol
143.
uplink multi-cell
×
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