Results 111 to 120 of about 152 (143)

The HACMS program: using formal methods to eliminate exploitable bugs. [PDF]

open access: yesPhilos Trans A Math Phys Eng Sci, 2017
Fisher K, Launchbury J, Richards R.
europepmc   +1 more source

A compact, in vivo screen of all 6-mers reveals drivers of tissue-specific expression and guides synthetic regulatory element design. [PDF]

open access: yesGenome Biol, 2013
Smith RP   +9 more
europepmc   +1 more source

Random walks based multi-image segmentation: Quasiconvexity results and GPU-based solutions. [PDF]

open access: yesProc IEEE Comput Soc Conf Comput Vis Pattern Recognit, 2012
Collins MD, Xu J, Grady L, Singh V.
europepmc   +1 more source

Quantum machine learning: a classical perspective. [PDF]

open access: yesProc Math Phys Eng Sci, 2018
Ciliberto C   +6 more
europepmc   +1 more source

Think locally, act locally: detection of small, medium-sized, and large communities in large networks. [PDF]

open access: yesPhys Rev E Stat Nonlin Soft Matter Phys, 2015
Jeub LG   +4 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy