Παρακολούθηση
Florina Piroi
Florina Piroi
Scientist at TU Wien, Austria
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tuwien.ac.at
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Theorema: Towards computer-aided mathematical theory exploration
B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ...
Journal of applied logic 4 (4), 470-504, 2006
2222006
CLEF-IP 2011: Retrieval in the Intellectual Property Domain.
F Piroi, M Lupu, A Hanbury, V Zenz
CLEF (notebook papers/labs/workshop), 2011
982011
CLEF-IP 2010: Retrieval Experiments in the Intellectual Property Domain.
F Piroi, M Lupu, A Hanbury, AP Sexton, W Magdy, IV Filippov
CLEF (notebook papers/labs/workshops), 2010
912010
CLEF-IP 2009: retrieval experiments in the Intellectual Property domain
G Roda, J Tait, F Piroi, V Zenz
Multilingual Information Access Evaluation I. Text Retrieval Experiments …, 2010
812010
Overview of the TREC 2009 Chemical IR Track.
M Lupu, F Piroi, X Huang, J Zhu, J Tait
TREC, 2009
462009
Overview of clef-ip 2013 lab
F Piroi, M Lupu, A Hanbury
International Conference of the Cross-Language Evaluation Forum for European …, 2013
262013
Fixed-cost pooling strategies based on IR evaluation measures
A Lipani, J Palotti, M Lupu, F Piroi, G Zuccon, A Hanbury
Advances in Information Retrieval: 39th European Conference on IR Research …, 2017
222017
Tools for using automated provers in mathematical theory exploration
FM Piroi
na, 2004
192004
Rule-based programming with Mathematica
M Marin, F Piroi
In Sixth Mathematica Symposium (IMS 2004), 1-6, 2004
182004
CLEF 2021 working notes
G Faggioli, N Ferro, A Joly, M Maistro, F Piroi
CEUR WORKSHOP PROCEEDINGS 2936, 2021
172021
Insight to Hyponymy Lexical Relation Extraction in the Patent Genre Versus Other Text Genres.
L Andersson, M Lupu, JRM Palotti, F Piroi, A Hanbury, A Rauber
IPaMin@ KONVENS, 2014
162014
An information retrieval ontology for information retrieval nanopublications
A Lipani, F Piroi, L Andersson, A Hanbury
Information Access Evaluation. Multilinguality, Multimodality, and …, 2014
162014
An environment for building mathematical knowledge libraries
F Piroi, B Buchberger
Proc. of the 3rd Int. Conference on Mathematical Knowledge Management, MKM 4, 2004
132004
Software module for switch electromechanics failure detection
E Spunei, I Piroi, C Muscai, F Piroi
2014 International Conference and Exposition on Electrical and Power …, 2014
122014
Overview of the clef-2023 longeval lab on longitudinal evaluation of model performance
R Alkhalifa, I Bilal, H Borkakoty, J Camacho-Collados, R Deveaud, ...
International Conference of the Cross-Language Evaluation Forum for European …, 2023
112023
TUW-IMP at the NTCIR-11 Math-2.
A Lipani, L Andersson, F Piroi, M Lupu, A Hanbury
NTCIR, 2014
112014
ABS failure diagnosis charts for a blocked CL
E Spunei, I Piroi, C Muscai, F Piroi
2014 International Conference on Applied and Theoretical Electricity (ICATE …, 2014
112014
PROMISE retreat report prospects and opportunities for information access evaluation
M Agosti, R Berendsen, T Bogers, M Braschler, P Buitelaar, K Choukri, ...
ACM SIGIR Forum 46 (2), 60-84, 2012
112012
Focus windows: A new technique for proof presentation
F Piroi, B Buchberger
Artificial Intelligence, Automated Reasoning, and Symbolic Computation …, 2002
112002
Use of Renewable Energy Sources to Power Railroad Traffic Safety Installations
E Spunei, B Protea, I Piroi, V Navrapescu, F Piroi
11th International Symposium on Advanced Topics in Electrical Engineering …, 2019
10*2019
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20