Andrea - PDFSEARCH.IO - Document Search Engine

Andrea
Results: 6699

#	Item
1	Compositional Semantics of Spiking Neural P Systems Roberto Barbutia , Andrea Maggiolo-Schettinia, Paolo Milazzoa,∗, Simone Tinib a Dipartimento di Informatica, Universit` a di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Computational neuroscience Neural networks Artificial neural networks Neuroscience Cybernetics Nervous system Spiking neural network Neuron Artificial neuron Nervous system network models GalvesLcherbach model
2	Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Logic Mathematics Automated theorem proving Logic programming Mathematical logic Logical truth Propositional calculus Substitution Sequence LOOP Constructible universe Ground expression
3	FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Mathematics Theoretical computer science Mathematical logic Formal languages Order theory Logic in computer science Multiset Path ordering Term Structure Rewriting Model theory
4	When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-04-03 02:53:51 Security engineering Biometrics Cryptography Prevention Surveillance Security Identification Authentication Facial recognition system Password Computer security Replay attack
5	The Calculus of Looping Sequences Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, and Giovanni Pardini Dipartimento di Informatica, Universit` a di Pisa Largo B. Pontecorvo 3, 56127 Pisa, I Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Biology Biochemistry Logic in computer science Molecular biology Epidermal growth factor Morphogens Protein domain Rewriting Natural computing RNA polymerase RNA
6	A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-12-05 09:33:38 Mathematical analysis Mathematics Embedded systems Prosthetics Artificial cardiac pacemaker Cardiac electrophysiology Cybernetics Neuroprosthetics IP Analysis FO Dirac delta function
7	An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Mathematics Formal languages Combinatorics Theoretical computer science Mathematical logic Combinatorics on words Data types Order theory Multiset Rewriting Path ordering L-system
8	Poster: Detecting WebInjects through Live Memory Inspection Nicola Mariani∗ , Andrea Continella∗ , Marcello Pogliani∗ , Michele Carminati∗ , Federico Maggi∗† , and Stefano Zanero∗ ∗ Dipartimento Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-02 20:58:16 Software Computing Antivirus software Security breaches Proprietary software Malware Kaspersky Lab Google Chrome Internet Explorer
9	Rapyuta: The RoboEarth Cloud Engine Dominique Hunziker, Mohanarajah Gajamohan, Markus Waibel, and Raffaello D’Andrea Abstract— In this paper we present the design and implementation of Rapyuta1 , the RoboEarth Cloud Add to Reading List Source URL: roboearth.ethz.ch Language: English - Date: 2014-05-15 08:08:00 Computing Robotics Artificial intelligence Assistive technology Cloud computing Cloud robotics Rapyuta Robot Operating System Robot Mohanarajah Gajamohan Service robot Roomba
10	Simulation of Kohn’s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti1 , Daniela Lepri2 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 , Giovanni Pardini1 , and Aureliano Rama1 1 Dipar Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Mathematical analysis Mathematics Distribution Functional analysis Markov chain Chemical reaction