Multi-Objective Multi-Resource Task Allocation For Collaborative Robots Systems
2023 Granata, I.; Faccio, M.; Cohen, Y.
L'utilizzazione dell'energia negli ovini in accrescimento: sezionatura delle carcasse e composizione dei tagli commerciali.
1990 Andrighetto, I.; Bittante, G.; Ramanzin, M.; Bailoni, L.
L'insilato di mais nella razione alimentare dei bovini: valore alimentare e qualità.
1989 Bittante, G
Utilizzazione della lignina come marcatore per la stima della digeribilità degli alimenti zootecnici: confronto fra tre metodi di determinazione
1989 Berzaghi, P.; Bittante, G.; Albuzio, A
Caratteristiche chimico - nutritive e digeribilità dell'insilato di bergamotto e delle miscele di pastazzo e paglia
1988 Sinatra, M. C.; Bittante, G.; Celi, R.; Fasone, V.; Chies, L.
Income over feed cost as a selection index of performance tested Charolais and Limousin young bulls
1988 Bittante, G; Spanghero, M
Razze autoctone dell'arco alpino e miglioramento della duplice attitudine : l'esempio della Rendena
1988 Bittante, G
Exact Approaches for the Connected Vertex Cover Problem
2024 Aprile, Manuel
Effect of different physical treatment on the nutrition characteristics of fullfat soybean.
1987 Bonsembiante, M.; Bittante, G.; Ramanzin, M.; Spanghero, M.
Cystic islet cell tumors and cystic liver endocrine metastases.
1994 Pasquali, C.; Sperti, C.; Liessi, G.; Guido, M.; Pedrazzoli, S.
Degradabilità ruminale di residui industriali degli agrumi.
1987 Bittante, G.; Sinatra, C.; Chies, L.; Fasone, V.
Impiego della paglia trattata con ammoniaca nell'alimentazione della manza da rimonta
1986 Bittante, G.; Galeazzo, M.
Miglioramento genetico della razza Rendena ed impiego della fecondazione artificiale.
1986 Bittante, G
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice
2019 Lago, U. D.; Gavazzo, F.
Effectful applicative similarity for call-by-name lambda calculi
2017 Lago, U. D.; Gavazzo, F.; Tanaka, R.
Open Higher-Order Logic
2023 Lago, U. D.; Gavazzo, F.; Ghyselen, A.
Resource transition systems and full abstraction for linear higher-order effectful programs
2021 Lago, U. D.; Gavazzo, F.
Effectful Normal Form Bisimulation
2019 Dal Lago, U.; Gavazzo, F.
Effectful applicative bisimilarity: Monads, relators, and Howe's method
2017 Lago, U. D.; Gavazzo, F.; Levy, P. B.
A Fibrational Tale of Operational Logical Relations
2022 Dagnino, F.; Gavazzo, F.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 04 CONTRIBUTO IN ATTO DI CONVEGNO40752
Data di pubblicazione
- In corso di stampa86
- 2020 - 20244089
- 2010 - 201915447
- 2000 - 200914939
- 1990 - 19994417
- 1980 - 19891573
- 1970 - 1979195
- 1967 - 19695
Editore
- Institute of Electrical and Elect...1247
- IEEE647
- Springer319
- SPIE240
- Springer Verlag199
- IEEE Computer Society184
- Sissa Medialab Srl121
- CEUR-WS116
- Elsevier116
- Springer Science and Business Med...110
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE186
- PROCEEDINGS OF SPIE, THE INTERNAT...166
- POS PROCEEDINGS OF SCIENCE148
- JOURNAL OF PHYSICS. CONFERENCE SE...126
- AIP CONFERENCE PROCEEDINGS91
- AIP CONFERENCE PROCEEDINGS80
- PARASSITOLOGIA71
- ACTA HORTICULTURAE63
- BIOCHIMICA CLINICA54
- ASTRONOMICAL SOCIETY OF THE PACIF...46
Serie
- PROCEEDINGS OF SPIE, THE INTERNAT...165
- CEUR WORKSHOP PROCEEDINGS142
- LECTURE NOTES IN ARTIFICIAL INTEL...108
- LECTURE NOTES IN COMPUTER SCIENCE91
- IFAC-PAPERSONLINE40
- LECTURE NOTES IN CIVIL ENGINEERING37
- SCIENCE ET TECHNIQUE DU FROID33
- IFAC-PAPERSONLINE30
- IEEE ENGINEERING IN MEDICINE AND ...29
- LEIBNIZ INTERNATIONAL PROCEEDINGS...28
Keyword
- Electrical and Electronic Enginee...410
- Computer Networks and Communications243
- reliability185
- Control and Systems Engineering165
- HEMT158
- degradation154
- Electronic153
- Optical and Magnetic Materials153
- Gallium Nitride142
- Energy Engineering and Power Tech...136
Lingua
- eng26045
- ita7496
- fre199
- spa148
- ger54
- rus30
- hun24
- por23
- und21
- pol11
Accesso al fulltext
- no fulltext39257
- open1199
- reserved268
- partially open19
- restricted5
- embargoed4