inference   1605

« earlier    

[1506.02572] Probing Convex Polygons with a Wedge
Minimizing the number of probes is one of the main challenges in reconstructing geometric objects with probing devices. In this paper, we investigate the problem of using an ω-wedge probing tool to determine the exact shape and orientation of a convex polygon. An ω-wedge consists of two rays emanating from a point called the apex of the wedge and the two rays forming an angle ω. To probe with an ω-wedge, we set the direction that the apex of the probe has to follow, the line L→, and the initial orientation of the two rays. A valid ω-probe of a convex polygon O contains O within the ω-wedge and its outcome consists of the coordinates of the apex, the orientation of both rays and the coordinates of the closest (to the apex) points of contact between O and each of the rays.
We present algorithms minimizing the number of probes and prove their optimality. In particular, we show how to reconstruct a convex n-gon (with all internal angles of size larger than ω) using 2n−2 ω-probes; if ω=π/2, the reconstruction uses 2n−3 ω-probes. We show that both results are optimal. Let NB be the number of vertices of O whose internal angle is at most ω, (we show that 0≤NB≤3). We determine the shape and orientation of a general convex n-gon with NB=1 (respectively NB=2, NB=3) using 2n−1 (respectively 2n+3, 2n+5) ω-probes. We prove optimality for the first case. Assuming the algorithm knows the value of NB in advance, the reconstruction of O with NB=2 or NB=3 can be achieved with 2n+2 probes,- which is optimal.
computational-geometry  inverse-problems  rather-interesting  inference  to-write-about  plane-geometry  algorithms 
19 days ago by Vaguery
[1811.00547] Geometric Mean of Partial Positive Definite Matrices with Missing Entries
In this paper the geometric mean of partial positive definite matrices with missing entries is considered. The weighted geometric mean of two sets of positive matrices is defined, and we show whether such a geometric mean holds certain properties which the weighted geometric mean of two positive definite matrices satisfies. Additionally, counterexamples demonstrate that certain properties do not hold. A Loewner order on partial Hermitian matrices is also defined. The known results for the maximum determinant positive completion are developed with an integral representation, and the results are applied to the weighted geometric mean of two partial positive definite matrices with missing entries. Moreover, a relationship between two positive definite completions is established with respect to their determinants, showing relationship between their entropy for a zero-mean,multivariate Gaussian distribution. Computational results as well as one application are shown.
matrices  to-understand  inference  proof  looking-to-see  to-write-about  consider:algorithms  missing-data  data-cleaning 
4 weeks ago by Vaguery
[1809.04209] Bidirectional Evaluation with Direct Manipulation
We present an evaluation update (or simply, update) algorithm for a full-featured functional programming language, which synthesizes program changes based on output changes. Intuitively, the update algorithm retraces the steps of the original evaluation, rewriting the program as needed to reconcile differences between the original and updated output values. Our approach, furthermore, allows expert users to define custom lenses that augment the update algorithm with more advanced or domain-specific program updates.
To demonstrate the utility of evaluation update, we implement the algorithm in Sketch-n-Sketch, a novel direct manipulation programming system for generating HTML documents. In Sketch-n-Sketch, the user writes an ML-style functional program to generate HTML output. When the user directly manipulates the output using a graphical user interface, the update algorithm reconciles the changes. We evaluate bidirectional evaluation in Sketch-n-Sketch by authoring ten examples comprising approximately 1400 lines of code in total. These examples demonstrate how a variety of HTML documents and applications can be developed and edited interactively in Sketch-n-Sketch, mitigating the tedious edit-run-view cycle in traditional programming environments.
rather-interesting  usability  functional-languages  computer-science  programming-language  to-understand  inference  ReQ  genetic-programming  consider:GP 
5 weeks ago by Vaguery
h2non/filetype: Small, dependency-free and fast Go package to infer file types based on its magic numbers signature
Small, dependency-free and fast Go package to infer file types based on its magic numbers signature - h2non/filetype
golang  filetype  inference  detection 
5 weeks ago by pinterb

« earlier    

related tags

1965  1970s  1990s  2018  abduction  abstraction  accelerator  accuracy  active  adv300  advertising  agent  ai  algorithms  alien-character  analogy  analysis  analytical-holistic  analytics  anglo  anglosphere  anomaly  anonymity  anthropomorphizing  api  apollonian-dionysian  apple  argument  art  artificial+intelligence  artificial  artificialintelligence  arxiv  attention  aws  axioms  bayes  bayesian-networks  bayesian  behavior  being-becoming  bias  biases  bibliography  bio  blackboxai  blood  book  books  boolean  boundary  brain-scan  brain  c#  c  capta  capture  casual  category  causal-inference  causal-networks  causal  causality  causation  chart  choice  christianity  clipper  clippings  coarse-fine  cocktail  code  cog-psych  commentary  commodityquantity  communication  competition  complex-systems  composition-decomposition  computaion  computation  computational-geometry  computational-statistics  computational  computer-science  computer  computers  computing  concept  conceptual-vocab  concrete  confidence  consider:algorithms  consider:gp  consilience  context  contradiction  correlation  cosma-shalizi  cost-benefit  counterfactual  course  creative  cug-tests  curiosity  current  cyc  data-analysis  data-balancing  data-cleaning  data  decision  deduction  deep-learning  deep-materialism  deep  deeplearning  definition  density  deploy  deployment  design  desire  detail-architecture  detection  development  dikw  dimension  direction  disease  do-calculus  do  docker  echo  edge  egalitarianism-hierarchy  elastic  empirical  ends-means  epistemic  error  essay  essence-existence  estimation  europe  evidence  examples  excellent  exegesis-hermeneutics  expert-experience  expert  explainableai  explanans  eyeriss  facebook  fastai  feature-extraction  fiction  filetype  filter  finance  flask  fmri  forgotten  framework  frequentist  friston  functional-languages  future  fuzzy  fuzzyconcept  fuzzysemantics  gcp  genetic-programming  georgelakoff  gigerenzer  github  given  gnon  golang  google  gpu  grammar  graphs  great  ground-up  hanson  hardware  heuristic  heuristics  hmm  homo-hetero  homo-heuristicus  hosting  howto  hsu  huge-data-the-biggest  human  ideas  identity  image  imaging  incomplete  increase-decrease  indefinite  induction  influence  information  innovation  int  intel  intelligence  interpretation  interventions  intricacy  introduction  intuition  inverse-problems  ios  iot  iteration-recursion  jan_koenderink  japan  jit  judea-pearl  judea  jupyter  jvm  kalman  kdd  knowledge  labor  lambda  lang  language  law  learning  library  links  lisp  loftizadeh  logic  looking-to-see  low  lstm  machine-learning  machine  machine_learning  machinelearning  macos  magnet  mapping  markov  maryloujepsen  matching  math  matrices  meaning  measure  medicine  menoh  meta:math  metabuch  metal  microservice  microsoft  mind  missing-data  mkl  ml  mobile  model  models  montecarlo  motivation  mps  mtg  multi  n-factor  natural  nature  near-far  nervana  nested  net  network-analysis  network-regression  network-structure  network  neural  neuralnetworks  neuro-nitgrit  neuro  neuron  neurons  neuroscience  new-religion  nibble  nlp  noise  nonexpert  notebook  novelty  now.js  nudge-targets  nvidia  occam  occident  of  omission  open-closed  opensource  openvino  opsec  optimism  oracle  order-disorder  orders  org:theos  oxygen  paper  papers  parsimony  partial  pdf  peral  perception  pessimism  petabyte  phil  philosophy  phys  pi  plane-geometry  policy  politics  power  precision  predicate  prediction  predictive-processing  presentation  privacy  probabilistic  probability  problem-solving  processing  product  production  programming-language  programming  proof  propositional  protestant-catholic  psychiatry  psychology  python  pytorch  qap  quantization  questions  r-project  random-graphs  raspberry  raspberrypi  rather-interesting  ratty  raw  reaction  realness  reason  reasoning  reduction  reference  reflection  regression  reinforcement  religion  representation  req  research-article  research  resolution  responsibility  review  rhetoric  rights  rigor  scala  scan  scheme  science  scitariat  script  sdes  security  seq2seq  sequents  serverless  service  serving  sight  similarity  skeleton  sna  software  softwre  sound  soundness  spatial  speculation  spengler  standards  stanford  statistical-inference  statistical  statistics  stats  stick  stress  stripe  structuralcausalmodels  structure  subjective-objective  summary  syllabus  symmetry  taken  tdd  tech  technocracy  technology  telos-atelos  tensorflow  test  testing  tests  the-great-west-whale  theory-of-mind  theory-practice  theory  theos  thick-thin  things  thinking  threat-modeling  threshold  time  to-read  to-understand  to-write-about  tpu  trace  training-data  tricki  truth  turing  tutorial  type  uncertainty  unfixed  unsharp  untether  usability  usb  vague  valid  validity  values  variable  variational  video  vino  vision  visuo  volo-avolo  voxel  vpu  webserver  whole-partial-many  wiki  wire-guided  wisdon  work  wtatic  yoga 

Copy this bookmark: