Resource/Accuracy Tradeoffs in Software-Defined Measurement Masoud Moshref Minlan Yu

Source URL: conferences.sigcomm.org

Balancing Security and Utility in Medical Devices? Masoud Rostami Wayne Burleson Ari Juels

Source URL: www.arijuels.com

The embodiment of cockroach behaviour in a micro-robot Christian Jost1 ∗, Simon Garnier1 , Raphael Jeanson1 , Masoud Asadpour2 , Jacques Gautrais1 and Guy Theraulaz1 1 Centre de Recherches sur la Cognition Animale , U

Source URL: leurre.ulb.ac.be

Overhead-Optimized Gamma Network Codes Kaveh Mahdaviani Raman Yazdani, Masoud Ardakani ECE Department, University of Toronto, Canada

Source URL: www.networkcoding.org

Verification of agent knowledge in dynamic access control policies∗ Masoud Koleini, Eike Ritter and Mark Ryan School of Computer Science The University of Birmingham Birmingham, B15 2TT, UK

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

A knowledge-based verification method for dynamic access control policies Masoud Koleini and Mark Ryan University of Birmingham, Birmingham, B15 2TT, UK {m.koleini,m.d.ryan}@cs.bham.ac.uk

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

LASTor: A Low-Latency AS-Aware Tor Client Masoud Akhoondi, Curtis Yu, and Harsha V. Madhyastha Department of Computer Science and Engineering University of California, Riverside {makho001,cyu,harsha}@cs.ucr.edu

Source URL: www.cs.ucr.edu

Temporal Logics for Hyperproperties Michael R. Clarkson1 , Bernd Finkbeiner2 , Masoud Koleini1 , Kristopher K. Micinski3 , Markus N. Rabe2 , and C´esar S´anchez4 1 3

Source URL: software.imdea.org

• Mathematical logic
• Philosophical logic
• Predicate logic
• Constructible universe
• Quantification
• Model theory
• Logic
• Temporal logic
• Linear temporal logic

Oral Consumption of α-Linolenic Acid Increases Serum BDNF Levels in Healthy Adult Humans Mahmoudreza Hadjighassem 1, 5*, Behnam Kamalidehghan2 , Nima shekarriz 3, Argavan Baseerat 3 , Nima molavi 3, Masoud Mehrpour 4, M

Source URL: www.nutritionj.com

• Chemistry
• Fatty acids
• Growth factors
• Neurotrophins
• Proteins
• Brain-derived neurotrophic factor
• TrkB receptor
• Omega-3 fatty acid
• Docosahexaenoic acid
• Biology
• Biochemistry
• Developmental neuroscience

October 2013, Volume 24, Number 4 $Tracking the “Arab Spring” Jason Brownlee, Tarek Masoud, and Andrew Reynolds Nathan Brown Mieczys³aw Boduszyñski & Duncan Pickard

Source URL: www.journalofdemocracy.org