Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–2378) QUANTITATIVE PROPAGATION OF SMALLNESS FOR SOLUTIONS OF ELLIPTIC EQUATIONS Alexander Logunov and Eugenia Malinnikova

Source URL: eta.impa.br

• Mathematical analysis
• Mathematics
• Partial differential equations
• Fourier analysis
• Differential operators
• Dimension theory
• Metric geometry
• Harmonic function
• Elliptic operator
• Eigenfunction
• Elliptic curve
• Hausdorff measure

Graphene: A New Protocol for Block Propagation Using Set Reconciliation A. Pinar Ozisik† , Gavin Andresen, George Bissias† , Amir Houmansadr† , Brian Levine† †College of Information and Computer Sciences, Univ.

Source URL: people.cs.umass.edu

• Cryptocurrencies
• Bitcoin
• Computing
• Alternative currencies
• Emerging technologies
• Decentralization
• Economy
• Money
• Blockchain
• Bloom filter
• Graphene
• Potential applications of graphene

DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic Robert Nieuwenhuis and Albert Oliveras? Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability modulo theories T . I

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Mathematical logic
• Boolean algebra
• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Unit propagation
• Literal

Uncovering Performance Problems in Java Applications with Reference Propagation Profiling 1 Dacong Yan1

Source URL: dacongy.github.io

• Computing
• Compiler optimizations
• Software engineering
• Data types
• Memory management
• Escape analysis
• Static program analysis
• Tree
• Heap
• Garbage
• Static single assignment form
• Node

Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: practicalsynthesis.github.io

• Computing
• Computer architecture
• Concurrent computing
• Theoretical computer science
• Computer programming
• Refinement
• Abstract interpretation
• Memory barrier
• Abstraction
• Algorithm
• Thread

Learning to Pass Expectation Propagation Messages Nicolas Heess∗ Gatsby Unit, UCL Daniel Tarlow Microsoft Research

Source URL: papers.nips.cc

• Probability and statistics
• Statistical theory
• Statistics
• Graphical models
• Bayesian statistics
• Market research
• Market segmentation
• Machine learning
• Factor graph
• Belief propagation
• Variational Bayesian methods
• Mixture model

JCAMECH Vol. 49, No. 1, June 2018, ppDOI: jcamechFree vibration and buckling analysis of third-order shear deformation plate theory using exact wave propagation approach

Source URL: jcamech.ut.ac.ir

Results of the 2014 CQ WW WPX RTTY Contest BY ED MUNS, WØYK Really good propagation conditions over the whole weekend! . . . DL1EAL One of the best WPX RTTY Contests I have ever entered.

Source URL: www.cq-amateur-radio.com

The Ham Bandstand by Herbert "Mick" Scarpelli, WK9O You might check out the Northern California DX Foundation (NCDXF) CW beacons onMHz. They give a pretty accurate picture of propagation on that band. Here’s wh

Source URL: www.k9ya.org

Propagation and evaluation of Balduina angustifolia, a native wildflower with ornamental and ecosystem value Steppe, C.*, S.B. Wilson, M. Thetford, G. Campbell- Martínez, and H. Pérez University of Florida: Department

Source URL: clce.ifas.ufl.edu