Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (2 )
Download Results
78 research outcomes, page 1 of 8
  • other research product . Other ORP type . 2018
    Open Access Spanish; Castilian
    Authors:
    Klemen, Maximiliano; Stulova, Nataliia; López García, Pedro; Morales Caballero, José Francisco; Hermenegildo, Manuel V.;
    Publisher: E.T.S. de Ingenieros Informáticos (UPM)
    Project: EC | ENTRA (318337)

    Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program behaviors. This is specially true in dynamic languages such as Prolog. However, such run-time ...

  • other research product . Collection . 2019 . Embargo End Date: 13 Jul 2019
    Open Access English
    Authors:
    Alexander, Jason; Roudaut, Anne; Steimle, Jürgen; Hornbaek, Kasper; Bruns Alonso, Miguel; Follmer, Sean; Merritt, Tim;
    Publisher: Universität des Saarlandes
    Project: EC | GHOST (309191), EC | InteractiveSkin (714797), EC | BODY-UI (648785)

    Shape-changing interfaces have emerged as an new method for interacting with computers, using dynamic changes in a device’s physical shape for input and output. With the advances of research into shape-changing interfaces, we see a need to synthesize the main, open rese...

  • other research product . 2018
    Open Access English
    Authors:
    Trpevski, I.; Basnarkov, L.; Smilkov, D.; Kocarev, L.;
    Project: EC | SUMO (266722)

    Contemporary tools for reducing model error in weather and climate forecasting models include empirical correction techniques. In this paper we explore the use of such techniques on low-order atmospheric models. We first present an iterative linear regression method for...

  • other research product . Other ORP type . 2014
    Open Access English
    Authors:
    Corus, D.; Dang, D.C.; Eremeev, A.V.; Lehre, P.K.;
    Publisher: Springer
    Project: EC | SAGE (618091)

    The fitness-level technique is a simple and old way to derive upper bounds for the expected runtime of simple elitist evolutionary algorithms (EAs). Recently, the technique has been adapted to deduce the runtime of algorithms with non-elitist populations and unary varia...

  • other research product . Lecture . 2014
    Open Access English
    Authors:
    Cessac, Bruno;
    Publisher: HAL CCSD
    Project: EC | MATHEMACS (318723)

    Doctoral; We review methods from statistical physics and dynamical systems theory for the analysis of mean-field models in neuroscience.

  • other research product . Other ORP type . 2016
    Open Access English
    Authors:
    Sahoo, Deepak Ranjan; Nakamuta, Takuto; Marzo, Asier; Omirou, Themis; Asakawa, Michihiro; Subramanian, Sriram;
    Publisher: Association for Computing Machinery
    Project: EC | INTERACT (278576), EC | GHOST (309191)

    We present JOLED, a mid-air display for interactive physical visualization using Janus objects as physical voxels. The Janus objects have special surfaces that have two or more asymmetric physical properties at different areas. In JOLED, they are levitated in mid-air an...

  • other research product . 2016
    Open Access English
    Authors:
    Parasuram, Harilal; Nair, Bipin; D'Angelo, Egidio; Hines, Michael; Naldi, Giovanni; Diwakar, Shyam;
    Publisher: Frontiers Media S.A.
    Project: EC | HBP (604102), EC | CEREBNET (238686), EC | REALNET (270434), NIH | COMPUTER METHODS FOR PHYS... (5R01NS011613-13)

    Local Field Potentials (LFPs) are population signals generated by complex spatiotemporal interaction of current sources and dipoles. Mathematical computations of LFPs allow the study of circuit functions and dysfunctions via simulations. This paper introduces LFPsim, a ...

  • other research product . Lecture . Other ORP type . 2015
    Open Access
    Authors:
    Norbert Eicker;
    Project: EC | DEEP-ER (610476), EC | DEEP (287530)
  • other research product . 2016
    Open Access English
    Authors:
    Weidel, Philipp; Djurfeldt, Mikael; Duarte, Renato C.; Morrison, Abigail;
    Publisher: Frontiers Media S.A.
    Project: EC | HBP (604102)

    In order to properly assess the function and computational properties of simulated neural systems, it is necessary to account for the nature of the stimuli that drive the system. However, providing stimuli that are rich and yet both reproducible and amenable to experime...

  • other research product . Lecture . 2016
    Open Access
    Authors:
    Brian Gardner; Eric Nichols; Andre Gruning;
    Project: EC | HBP (604102), EC | HBP (284941)

    Presentation given at the Kirchhoff-Institute at University of Heidelberg.

78 research outcomes, page 1 of 8