Fundamenta Informaticae XX–29 1 IOS Press

Source URL: pages.di.unipi.it

• Computer programming
• Biology
• Theoretical computer science
• Protein structure
• Epidermal growth factor
• Morphogens
• Sequence
• Monad
• Protein domain
• Rewriting
• WiskottAldrich syndrome protein
• Protein

Terms of Use | HubDSP | 1 TERMS OF USE 1.

Source URL: hubdsp.com

• Marketing
• Human behavior
• Business economics
• Contract law
• E-commerce
• Internet law
• Terms of service
• Advertising
• False advertising

1 SecureML: A System for Scalable Privacy-Preserving Machine Learning Payman Mohassel∗ and Yupeng Zhang† Research, † University of Maryland

Source URL: www.ieee-security.org

2018-PRESS-IPCC-SR15-181465_ar (1)

Source URL: ipcc.ch

StegoTorus: A Camouflage Proxy for the Tor Anonymity System Zachary Weinberg,1,2 Jeffrey Wang,3 Vinod Yegneswaran,2 Linda Briesemeister,2 Steven Cheung,2 Frank Wang,3 and Dan Boneh 3 1

Source URL: censorbib.nymity.ch

• Computing
• Network architecture
• Internet
• Internet protocols
• Secure communication
• Internet Standards
• Cryptographic protocols
• Network protocols
• Transmission Control Protocol
• Proxy server
• Deep packet inspection
• Steganography

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

Source URL: pages.di.unipi.it

• Mathematical analysis
• Mathematics
• Distribution
• Functional analysis
• Markov chain
• Chemical reaction

Stellenmeldepflicht – ab 1. Juli 2018 Infos auf: arbeit.swiss

Source URL: www.arbeit.swiss

Projecting a Modular Future Markus Voelter1 , Jos Warmer2 , and Bernd Kolb3 1 2

Source URL: mbeddr.com

• Computer programming
• Computing
• Software engineering
• Source code
• JetBrains MPS
• Language workbench
• Domain-specific language
• Programming language
• JetBrains
• Structure editor
• Macro
• Software development

454766_1_En_4_PartFrontmatter

Source URL: link.springer.com

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways Roberto Barbuti1 , Andrea Maggiolo–Schettini1, Paolo Milazzo1 , Paolo Tiberi1 , and Angelo Troina2 1

Source URL: pages.di.unipi.it

• Theoretical computer science
• Mathematics
• Logic in computer science
• Lambda calculus
• Formal languages
• Mathematical logic
• Rewriting
• Fixed-point combinator
• Sequence
• Rewrite order
• Substitution