December 16, 2010 IJFCS 10:46 WSPC/INSTRUCTION FILE

Source URL: pages.di.unipi.it

• Theoretical computer science
• Mathematics
• Logic in computer science
• Programming language semantics
• Models of computation
• Computing
• Algebraic topology
• Sheaf
• Operational semantics
• Petri net
• Mobile membranes

It ROCS! The RASH Online Conversion Service Angelo Di Iorio Alejandra Gonzalez-Beltran

Source URL: gdac.uqam.ca

• Computing
• Open formats
• LaTeX
• Markup language
• PDF
• EPUB
• Search engine indexing
• Web Accessibility Initiative
• OpenDocument

Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Cognitive science
• Automated reasoning
• Reasoning
• Accountability
• Technology
• Automated theorem proving
• Explainable Artificial Intelligence
• Xai
• Inference

Commissione federale per le questioni femminili CFQF Documento di posizione sull’introduzione di un congedo parentale di 24 settimane Aprile 2016

Source URL: www.ekf.admin.ch

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

Source URL: pages.di.unipi.it

• Mathematics
• Formal languages
• Combinatorics
• Theoretical computer science
• Mathematical logic
• Combinatorics on words
• Data types
• Order theory
• Multiset
• Rewriting
• Path ordering
• L-system

Wheel + Ring = Reel: the Impact of Route Filtering on the Stability of Policy Routing Luca Cittadini Giuseppe Di Battista

Source URL: www0.cs.ucl.ac.uk

Fundamenta Informaticae XX–15 1 IOS Press

Source URL: pages.di.unipi.it

• Membrane technology
• Models of computation
• Chemistry
• Biology
• Membrane biology
• P system
• Membrane
• Cell membrane
• Mobile membranes

Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Cognitive science
• Logic
• Cognition
• Cybernetics
• Automated reasoning
• Automated theorem proving
• Computational neuroscience
• Explainable Artificial Intelligence
• Mark E. Stickel
• Reason
• Inference

Fundamenta Informaticae XX–19 1 IOS Press

Source URL: pages.di.unipi.it

• Timed automaton
• Multiset
• Mathematics
• Automaton
• Models of computation
• Mobile membranes

LA STORIA DI SWISS CHAMBER Le principali tappe dal 1919 al 2017

Source URL: www.swisschamber.it