m8ta
You are not authenticated, login.
text: sort by
tags: modified
type: chronology
{1562}
hide / / print
ref: -0 tags: SAT solver blog post date: 10-11-2023 20:24 gmt revision:1 [0] [head]

Modern SAT solvers: fast, neat and underused (part 1 of N)

A set of posts that are worth re-reading.

See also: https://www.borealisai.com/research-blogs/tutorial-11-sat-solvers-iii-factor-graphs-and-smt-solvers/

Of note: Selsam 2019 indicates that Survey propagation (Knuth 2015), an extension to Belief propagation, does not seem to extend well to hard SAT problems.

{1436}
hide / / print
ref: -0 tags: Airy light sheet microscopy attenuation compensation LSM imaging date: 02-19-2019 04:51 gmt revision:1 [0] [head]

Light-sheet microscopy with attenuation-compensated propagation-invariant beams

  • Ah ... beautiful illustration of the airy light sheet concept.
  • In practice, used a LCOS SLM to generate the beam (as .. phase matters!) plus an AOM to scan the beam.
    • Microscope can operate either in SPIM (single plane imaging microscope) or DSLM (digital scanning light sheet microscope),
  • Improves signal-to-background ratio (SBR) and contrast-to-noise ratio (CNR) (not sure why they don't use SNR..?)

{1033}
hide / / print
ref: Seymour-2009.1 tags: Parylene MEA biocompatibility pin hole water saturation PPX date: 01-25-2013 01:19 gmt revision:2 [1] [0] [head]

PMID-19703712[0] The insulation performance of reactive parylene films in implantable electronic devices.

  • Describe the development and testing of a superior form of parylene: poly(p-xylylene) functionalized with reactive group X (PPX-X)
  • Heat-treated PPX-X device impedance was 800% greater at 10kHz and 70% greater at 1Hz relative to heated parylene-C controls after 60 days (in saline).
  • Better wet attachment to the metal.

____References____

[0] Seymour JP, Elkasabi YM, Chen HY, Lahann J, Kipke DR, The insulation performance of reactive parylene films in implantable electronic devices.Biomaterials 30:31, 6158-67 (2009 Oct)