Skip to main content

Showing 1–3 of 3 results for author: Sørensen, M H

.
  1. arXiv:2104.07951  [pdf, other

    cs.CL

    Optimal Size-Performance Tradeoffs: Weighing PoS Tagger Models

    Authors: Magnus Jacobsen, Mikkel H. Sørensen, Leon Derczynski

    Abstract: Improvement in machine learning-based NLP performance are often presented with bigger models and more complex code. This presents a trade-off: better scores come at the cost of larger tools; bigger models tend to require more during training and inference time. We present multiple methods for measuring the size of a model, and for comparing this with the model's performance. In a case study over… ▽ More

    Submitted 16 April, 2021; originally announced April 2021.

  2. arXiv:0708.2001  [pdf, ps, other

    cond-mat.soft cond-mat.mes-hall

    Screening model for nanowire surface-charge sensors in liquid

    Authors: Martin H. Sorensen, Niels Asger Mortensen, Mads Brandbyge

    Abstract: The conductance change of nanowire field-effect transistors is considered a highly sensitive probe for surface charge. However, Debye screening of relevant physiological liquid environments challenge device performance due to competing screening from the ionic liquid and nanowire charge carriers. We discuss this effect within Thomas-Fermi and Debye-Huckel theory and derive analytical results for… ▽ More

    Submitted 17 August, 2007; v1 submitted 15 August, 2007; originally announced August 2007.

    Comments: 4 pages including 2 figures. Accepted for APL

    Journal ref: Appl. Phys. Lett. 91, 102105 (2007).

  3. A Note on Shortest Developments

    Authors: Morten Heine Sørensen

    Abstract: De Vrijer has presented a proof of the finite developments theorem which, in addition to showing that all developments are finite, gives an effective reduction strategy computing longest developments as well as a simple formula computing their length. We show that by applying a rather simple and intuitive principle of duality to de Vrijer's approach one arrives at a proof that some development… ▽ More

    Submitted 5 November, 2007; v1 submitted 1 August, 2007; originally announced August 2007.

    ACM Class: F.4.1

    Journal ref: Logical Methods in Computer Science, Volume 3, Issue 4 (November 5, 2007) lmcs:838