monotonicity   15

mg.metric geometry - Pushing convex bodies together - MathOverflow
- volume of intersection of colliding, constant-velocity convex bodies is unimodal
- pf by Brunn-Minkowski inequality
q-n-a  overflow  math  oly  tidbits  geometry  math.MG  monotonicity  measure  spatial  dynamical  nibble  brunn-minkowski  intersection  curvature  convexity-curvature  intersection-connectedness 
january 2017 by nhaliday
probability - How to prove Bonferroni inequalities? - Mathematics Stack Exchange
- integrated version of inequalities for alternating sums of (N choose j), where r.v. N = # of events occuring
- inequalities for alternating binomial coefficients follow from general property of unimodal (increasing then decreasing) sequences, which can be gotten w/ two cases for increasing and decreasing resp.
- the final alternating zero sum property follows for binomial coefficients from expanding (1 - 1)^N = 0
- The idea of proving inequality by integrating simpler inequality of r.v.s is nice. Proof from CS 150 was more brute force from what I remember.
q-n-a  overflow  math  probability  tcs  probabilistic-method  estimate  proofs  levers  yoga  multi  tidbits  metabuch  monotonicity  calculation  nibble  bonferroni  tricki  binomial  s:null  elegance 
january 2017 by nhaliday
Monotonic Reasoning on the Semantic Web ?
A great way to get a rapid overview of this important topic. Would like to see more like this.
logic  semantic-web  monotonicity 
june 2007 by iand
Language Log: Negation, over- and under-
Same old negation fun -- this time in Hagar the Horrible!
negation  monotonicity  language 
december 2005 by tikitu NO LONGER UNABLE.
another example of negation/monotonicity difficulty -- although in this case it could be a subtle joke
negation  monotonicity  phd 
december 2005 by tikitu
Language Log: Why are negations so easy to fail to miss?
difficulties with interactions between negation and downward monotonicity
negation  language  phd  monotonicity 
december 2005 by tikitu

related tags

aaronson  abstraction  alan-dix  alg-combo  algebra  atoms  bare-hands  binomial  bloom  bonferroni  brunn-minkowski  calculation  calm  classic  coloring  computation  concept  concurrency  consistency  convexity-curvature  crdt  curvature  data  database  db  distributed-systems  distributed  dynamical  elegance  estimate  exposition  fallacies  fixed-points  geometry  incremental-computation  index  indexing  interdisciplinary  intersection-connectedness  intersection  intuition  invariance  language  levers  linear-algebra  logic  math.rt  math  measure  metabuch  monotonic-function  monotonic  multi  mysql  negation  network  nibble  novelty  oly  org:bleg  overflow  paper  papers  pdf  phd  physics  polynomials  positivity  probabilistic-method  probability  problem-solving  proofs  puzzles  q-n-a  rec-math  regularity  rest  rpc  s:null  sargability  sargable  semantic-web  signum  soft-question  spatial  speculation  sql  state  static-analysis  structure  survey  synthesis  systems  tcs  tcstariat  theorem  things  tidbits  todo  tricki  type-theory  yoga 

Copy this bookmark: