Found 11 Documents (Results 1–11)
A language-based approach to modelling and analysis of Twitter interactions. (English) Zbl 1359.68197
An experience in using machine learning for short-term predictions in smart transportation systems. (English) Zbl 1359.68246
Preface: Special issue on trends in concurrency theory (selected invited contributions from the workshops TRENDS 2014 and 2015). (English) Zbl 1358.00123
Preface for the 27th nordic workshop on programming theory (NWPT 2015). (English) Zbl 1358.00120
MSC:
00B25
Conflicting accounts of \(\lambda\)-definability. (English) Zbl 1403.03020
MSC:
03B40
Filter Results by …
all
top 5
Author
- Aceto, Luca (1)
- Axelsen, Holger Bock (1)
- Bacciu, Davide (1)
- Bugliesi, Michele (1)
- Calzavara, Stefano (1)
- Carta, Antonio (1)
- Castellani, Ilaria (1)
- Delaune, Stéphanie (1)
- Focardi, Riccardo (1)
- Glück, Robert (1)
- Gnesi, Stefania (1)
- Hirschi, Lucca (1)
- Ingólfsdóttir, Anna (1)
- Jay, C. Barry (1)
- Kaarsgaard, Robin (1)
- Klin, Bartek (1)
- Lluch Lafuente, Alberto (1)
- Maggi, Alessandro (1)
- Nachyła, Beata (1)
- Nielson, Flemming (1)
- Petrocchi, Marinella (1)
- Riis Nielson, Hanne (1)
- Semini, Laura (1)
- Spognardi, Angelo (1)
- ter Beek, Maurice H. (1)
- Tiezzi, Francesco (1)
- Vergara, José David (1)
all
top 3
Software
- Akiss (1)
- Apache Spark (1)
- Apte (1)
- F* (1)
- FAST (1)
- JSLINQ (1)
- JavaScript (1)
- K Prover (1)
- KJS (1)
- KLAIM (1)
- LALBLC (1)
- LIBSVM (1)
- Links (1)
- MLlib (1)
- Maude (1)
- MultiVeStA (1)
- Paragon (1)
- ProVerif (1)
- Python (1)
- SCEL (1)
- SVMTorch (1)
- SVMlight (1)
- Scikit (1)
- SeLINQ (1)
- TAMARIN (1)
- TS# (1)
- Theseus (1)
- Ur/Web (1)
- YAPA (1)
- randomForest (1)