Näytetään tulokset 1 - 10 / 244874
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

An efficient branch-and-bound strategy for subset vector autoregressive model selection

Vertaisarvioitu
DOI
10.1016/j.jedc.2007.08.001
Gatu, Cristian; Kontoghiorghes, Erricos J.; Gilli, Manfred; Winker, Peter
Journal of Economic Dynamics and Control2008 Julkaisujen tiedon ikoni

Economic optimization models for capacity and cut off determination

Vertaisarvioitu
Liimatainen, J.
-1996 Julkaisujen tiedon ikoni

Food quality sensor for fresh-cut fruit and fresh fish

Sipiläinen-Malm, Thea
26th IAPRI Symposium on Packaging2013 Julkaisujen tiedon ikoni

Pedestrian re-identification based on tree branch network with local and global learning

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/ICME.2019.00125
Li, Hui; Yang, Meng; Lai, Zhihui; Zheng, Weishi; Yu, Zitong
IEEE International Conference on Multimedia and Expo2019 Julkaisujen tiedon ikoni

Constructive Cut Elimination in Geometric Logic

Vertaisarvioitu
Avoin saatavuus
DOI
10.4230/LIPIcs.TYPES.2021.7
Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio
Leibniz International Proceedings in Informatics, LIPIcs2022 Julkaisujen tiedon ikoni

An optimal cut-off algorithm for parameterised refinement checking

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2020.102517
Siirtola, Antti; Heljanko, Keijo
Science of computer programming2020 Julkaisujen tiedon ikoni

Fatigue strength assessment of cut edges considering material strength and cutting quality

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.ijfatigue.2021.106263
Lipiäinen, Kalle; Kaijalainen, Antti; Ahola, Antti; Björk, Timo
International journal of fatigue2021 Julkaisujen tiedon ikoni

Final Cut

Tuupanen, Tarja
-2020 Julkaisujen tiedon ikoni

CUT-valaisinmallisto

Ripatti, Timo
Axolight2019 Julkaisujen tiedon ikoni

Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

Vertaisarvioitu
DOI
10.1007/s10472-005-7034-1
Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka
Annals of Mathematics and Artificial Intelligence2005

An efficient branch-and-bound strategy for subset vector autoregressive model selection

Vertaisarvioitu
DOI
10.1016/j.jedc.2007.08.001
2008

Economic optimization models for capacity and cut off determination

Vertaisarvioitu
1996

Food quality sensor for fresh-cut fruit and fresh fish

2013

Pedestrian re-identification based on tree branch network with local and global learning

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/ICME.2019.00125
2019

Constructive Cut Elimination in Geometric Logic

Vertaisarvioitu
Avoin saatavuus
DOI
10.4230/LIPIcs.TYPES.2021.7
2022

An optimal cut-off algorithm for parameterised refinement checking

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2020.102517
2020

Fatigue strength assessment of cut edges considering material strength and cutting quality

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.ijfatigue.2021.106263
2021

Final Cut

2020

CUT-valaisinmallisto

2019

Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

Vertaisarvioitu
DOI
10.1007/s10472-005-7034-1
2005