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
maximal multi-focusing (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
1
Vaata veel..
(1/143)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
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
×
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