Automated Categorization of Onion Sites for Analyzing the Darkweb Ecosystem Shalini Ghosh Computer Science Laboratory SRI International

Source URL: www.csl.sri.com

Explaining response to drugs using Pathway Logic ? Carolyn Talcott and Merrill Knapp1 SRI International, Menlo Park, CA 94025, USA

Source URL: pl.csl.sri.com

Mat´ e: A Tiny Virtual Machine for Sensor Networks Philip Levis and David Culler {pal,culler}@cs.berkeley.edu Computer Science Division Intel Research: Berkeley

Source URL: csl.stanford.edu

Heracles: Improving Resource Efficiency at Scale David Lo† , Liqun Cheng‡ , Rama Govindaraju‡ , Parthasarathy Ranganathan‡ and Christos Kozyrakis† Stanford University† Google, Inc.‡ Abstract User-facing, la

Source URL: csl.stanford.edu

Open Access et al. Heiser 2009 Volume

Source URL: pl.csl.sri.com

June 28, 2018 Yices Manual VersionBruno Dutertre

Source URL: yices.csl.sri.com

• Computing
• Software
• Theoretical computer science
• Array programming languages
• Constraint programming
• Electronic design automation
• Logic in computer science
• Satisfiability modulo theories
• GNU Multiple Precision Arithmetic Library
• R
• AMPL
• SageMath

Multiple Representations of Biological Processes Carolyn Talcott1 and David L. Dill2 1 SRI International

Source URL: pl.csl.sri.com

arXiv:1610.03414v1 [stat.ML] 11 OctMaximum entropy models capture melodic styless Jason Sakellariou* , Francesca Tria** , Vittorio Loreto** and François Pachet*

Source URL: www.csl.sony.fr

Rethinking Reflexive Looper for structured pop music Marco Marchini François Pachet Benoît Carré

Source URL: www.csl.sony.fr

Pictures courtesy of Phil Jennings Editorial Pathology with a purpose Strolling along the shelves of scientific journals in the CSL library you can hardly fail to be impressed by the weight of knowledge and speed

Source URL: www.bspp.org.uk