A Plague of Viruses: Biological, Computer and Marketing12 Jeffrey Boase and Barry Wellman Abstract We analyze the transfer of biological, computer and marketing viruses. Despite differences between these three types of v

Source URL: individual.utoronto.ca

• Virology
• Microbiology
• Computer viruses
• Biology
• Security
• Virus
• Influenza
• HIV
• Antivirus software
• Viral marketing
• Comparison of computer viruses
• Viral neuronal tracing

Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Source URL: pxtp.github.io

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Dependently typed programming
• Formal methods
• Logical framework
• Proof theory
• First-order logic
• Lambda calculus
• Calculus of constructions

SurveyMonkey Analyze - Export

Source URL: gov.texas.gov

Exploratory Data Analysis Tools Stelian Ion∗ Technical Reports Abstract In this paper we review some mathematical tools to analyze ecological data. We focus on

Source URL: www.ima.ro

SurveyMonkey Analyze - Export

Source URL: gov.texas.gov

SINGULAR CARDINALS AND SQUARE PROPERTIES MENACHEM MAGIDOR AND DIMA SINAPOVA Abstract. We analyze the effect of singularizing cardinals on square properties. By work of Dˇzamonja-Shelah and of Gitik, if you singularize a

Source URL: homepages.math.uic.edu

AnalyzeTextFilesData.pl NAME AnalyzeTextFilesData.pl - Analyze numerical coulmn data in TextFile(s) SYNOPSIS

Source URL: www.mayachemtools.org

DATA  MANAGEMENT  PLAN   The  project  will  collect  and  analyze  the  following  data:     -­‐Conductivity  and  temperature  from  glider  surveys.   -­‐H

Source URL: libraries.ucsd.edu

AnalyzeSDFilesData.pl NAME AnalyzeSDFilesData.pl - Analyze numerical data field values in SDFile(s) SYNOPSIS

Source URL: www.mayachemtools.org

Scientific Method and Pulse experiment Introduction: In this lab you will learn to form a hypothesis, conduct experiments around that hypothesis, and collect and analyze data.

Source URL: windward.hawaii.edu