Demo Abstract: Michigan’s IoT Toolkit Joshua Adkins, Bradford Campbell, Samuel DeBruin, Branden Ghena, Benjamin Kempke, Noah Klugman, Ye-sheng Kuo, Deepika Natarajan, Pat Pannuto, Thomas Zachariah, Alan Zhen, and Praba

Source URL: lab11.eecs.umich.edu

The End of an Architectural Era (It’s Time for a Complete Rewrite) Michael Stonebraker Samuel Madden Daniel J. Abadi Stavros Harizopoulos

Source URL: nms.csail.mit.edu

MOOCs dans les Universit´es R´eflexions sur des scenari Samuel BOTTANI Centre de Formation des Doctorants `a l’Insertion Professionnelle CFDIP Universit´e Paris Diderot, Sorbonne-Paris-Cit´e

Source URL: mooclab.inria.fr

PowerBlade: A Low-Profile, True-Power, Plug-Through Energy Meter Samuel DeBruin, Branden Ghena, Ye-Sheng Kuo, and Prabal Dutta Electrical Engineering and Computer Science Department University of Michigan Ann Arbor, MI 4

Source URL: web.eecs.umich.edu

Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan

Source URL: logica.dmi.unisa.it

• Algebra
• Mathematics
• Abstract algebra
• Algebraic logic
• Lattice theory
• Algebraic structures
• Fuzzy logic
• Adjoint functors
• Boolean algebra
• Heyting algebra
• Universal property
• MV-algebra

NCSU_SAS_SAM: Deep Encoding and Reconstruction for Normalization of Noisy Text Samuel P. Leeman-Munk James C. Lester Center for Educational Informatics North Carolina State University

Source URL: noisy-text.github.io

SubVirt: Implementing malware with virtual machines Samuel T. King Peter M. Chen University of Michigan {kingst,pmchen}@umich.edu Yi-Min Wang Chad Verbowski Helen J. Wang Jacob R. Lorch Microsoft Research

Source URL: vxheaven.org

Tool support for reasoning in display calculi Samuel Balco1? , Sabine Frittella2 , Giuseppe Greco2 , Alexander Kurz3 , and Alessandra Palmigiano24 1 2

Source URL: www.appliedlogictudelft.nl

Linguistic Convention and Paradox Samuel Cumming February 16, 2016 Abstract The semantic paradoxes are a symptom of the imperfect state of natural language; hence, there can be no solution to them that is also faithful t

Source URL: dl.dropboxusercontent.com

Archibald Samuel Elliott Computer Science PhD Student: Programming Languages Research Interests I’m particularly interested in Type-directed Program Synthesis. Program Synthesis is a method by which we devise methods t

Source URL: lenary.co.uk

• Computing
• Software engineering
• Computer programming
• Concurrent programming languages
• Functional languages
• Cloud infrastructure
• NoSQL
• Procedural programming languages
• Erlang
• Basho Technologies
• Functional programming
• Concurrent computing