GRADUATE SEMINAR Salma Faraj Ibrahim Saad Asymptotic Properties of Estimators of Parameters for the Binomial Distribution by Method of Moments PhD Student supervised by Drs. S. Hossain and A.Volodin

Source URL: www.uregina.ca

• Neurophysiology
• Estimator
• Anatomy
• Neuromuscular junction
• Synaptic vesicle
• Estimation theory
• Method of moments

Cryptographic Hardware (named Myst) that enables cryptographic devices to maintain their security properties in the from presence of malicious hardware components. UnUntrusted Components like prior mitigation efforts tha

Source URL: backdoortolerance.org

• Cryptography
• Computer security
• Computer hardware
• Cyberwarfare
• ISO standards
• Hardware Trojan
• Hardware security module
• Secure cryptoprocessor
• Hardware security
• Trusted Platform Module
• Smart card

Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di

Source URL: smeiklej.com

Shadow State Encoding for Efficient Monitoring of Block-Level Properties Kostyantyn Vorobyov Julien Signoles

Source URL: julien.signoles.free.fr

Voting Theory AAAI-2010 Voting Procedures and their Properties

Source URL: formal.iti.kit.edu

• Single-winner electoral systems
• Political philosophy
• Voting
• Politics
• Elections
• Electoral systems
• Social choice theory
• Psephology
• Condorcet criterion
• Borda count
• Plurality voting
• Condorcet paradox

Geometry & Topology–Topological properties of Hilbert schemes of almost-complex four-manifolds II

Source URL: jgrivaux.perso.math.cnrs.fr

• Algebra
• Abstract algebra
• Topology
• Algebraic geometry
• Complex manifolds
• Vector bundles
• Sheaf theory
• Algebraic topology
• Projective variety
• Coherent sheaf
• Sheaf
• Cohomology

Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exa

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Probability
• Markov decision process
• Markov chain
• Probabilistic CTL
• Linear temporal logic
• Computation tree logic
• PL

Towards a Logic for Inferring Properties of Event Streams? Sean Kauffman1 , Rajeev Joshi2 , and Klaus Havelund2 1 2

Source URL: rjoshi.org

• Formal methods
• Logic in computer science
• Temporal logic
• Runtime verification

First properties of Gushel–Mukai manifolds Hodge structures and period maps EPW sextics Back to periods Rationality questions

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Mathematics
• Hodge theory
• Hodge structure
• Homological algebra
• Manifold
• Sextic equation

Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang

Source URL: precision.moscito.org