SFINEWSLETTER settembre 2018 Attualità della Segreteria di Stato per le questioni finanziarie internazionali (SFIwww.sif.admin.ch

Source URL: www.sif.admin.ch

A Machine learning Filter for Relation Extraction Kevin Lange Di Cesare, Michel Gagnon Polytechnique Montréal Montreal, Canada

Source URL: gdac.uqam.ca

• Linguistics
• Language
• Natural language processing
• Cognitive science
• Grammar frameworks
• Computational linguistics
• Grammar
• Syntax
• Parsing
• Phrase structure rules
• Statistical classification
• Information extraction

Design and Verification of Long–Running Transactions in a Timed Framework Ruggero Lanotte a , Andrea Maggiolo–Schettini b , Paolo Milazzo b , Angelo Troina c,d,∗ a Dipartimento

Source URL: pages.di.unipi.it

• Mathematics
• Algebra
• Abstract algebra
• Field theory
• Distribution
• Functional analysis
• Papyrus 1
• Valuation

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Spatial Calculus of Looping Sequences 1 Roberto Barbuti,2 Andrea Maggiolo

Source URL: pages.di.unipi.it

• Theoretical computer science
• Computer programming
• Declarative programming
• Logic in computer science
• Formal languages
• Brane
• Quantum field theory
• String theory
• Rewriting
• Monad
• Substitution

New Dierential-Algebraic Attacks and Reparametrization of Rainbow Jintai Ding1 , Bo-Yin Yang2 , Chia-Hsin Owen Chen2 , Ming-Shing Chen2 , and Chen-Mou Cheng3 1

Source URL: precision.moscito.org

• Cryptography
• Mathematics
• Multivariate cryptography
• Algebra
• Post-quantum cryptography
• Polynomials
• Hidden Field Equations
• Unbalanced Oil and Vinegar
• Variable
• Equation solving
• Quadratic form

Poster: Detecting Command and Control Servers of Botnet With Randomized Traffic Di Wu1,2, Binxing Fang3, Fangjiao Zhang1,2 1 (Institute of Information Engineering, Chinese Academy of Sciences) 2 (School of Cyber Security

Source URL: www.ieee-security.org

• Computer network security
• Computing
• Cyberwarfare
• Multi-agent systems
• Spamming
• Cybercrime
• Botnets
• Intrusion detection system
• Server
• Cluster analysis
• Internet bot
• Computer security

Fundamenta Informaticae XX–15 1 IOS Press

Source URL: pages.di.unipi.it

• Biology
• Cell biology
• Chemistry
• Membrane biology
• Electrophysiology
• Membrane technology
• Models of computation
• Integral membrane proteins
• P system
• Cell membrane
• Membrane
• Ion channel

Towards a P Systems Normal Form Preserving Step–by–step Behaviour Roberto Barbuti1 Andrea Maggiolo-Schettini1 1 Paolo Milazzo

Source URL: pages.di.unipi.it

• Chemistry
• Membrane technology
• Models of computation
• Water technology
• P system
• Membrane
• Mobile membranes

Multi-core FPGA Implementation of ECC with Homogeneous Co-Z Coordinate Representation Bo-Yuan Peng1 , Yuan-Che Hsu2 , Yu-Jia Chen2 , Di-Chia Chueh2 , Chen-Mou Cheng3 , and Bo-Yin Yang1 1

Source URL: precision.moscito.org

• Abstract algebra
• Algebra
• Mathematics
• Elliptic curve cryptography
• Group theory
• Finite fields
• Exponentials
• Elliptic curves
• Elliptic-curve cryptography
• Montgomery modular multiplication
• Elliptic curve
• Montgomery curve

Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska

Source URL: qav.comlab.ox.ac.uk

• Computing
• Electronic engineering
• Theoretical computer science
• Electronic design automation
• Service choreography
• Formal verification
• Orchestration
• Autonomic computing
• Transition
• Business Process Execution Language
• High-level synthesis
• Systems engineering