Publicaciones en colaboración con investigadores/as de Cornell University (26)

2017

  1. Real time canopy density validation using ultrasonic envelope signals and point quadrat analysis

    Computers and Electronics in Agriculture, Vol. 134, pp. 43-50

2016

  1. Design, implementation and validation of the three-wheel holonomic motion system of the assistant personal robot (APR)

    Sensors (Switzerland), Vol. 16, Núm. 10

  2. Electro-leaf, a biomimicry system to estimate in-canopy airflow in fruit crops

    Computers and Electronics in Agriculture, Vol. 127, pp. 606-614

  3. Experimental Characterization of the Twin-Eye Laser Mouse Sensor

    Journal of Sensors, Vol. 2016

2015

  1. Precision fruit spraying: measuring canopy density and volume for air and liquid control

    SuproFruit 2015 - 13th Workshop on Spray Application in Fruit Growing

  2. Real time canopy density estimation using ultrasonic envelope signals in the orchard and vineyard

    Computers and Electronics in Agriculture, Vol. 115, pp. 108-117

2011

  1. Generating highly balanced sudoku problems as hard problems

    Journal of Heuristics, Vol. 17, Núm. 5, pp. 589-614

2007

  1. Exploiting multivalued knowledge in variable selection heuristics for SAT solvers

    Annals of Mathematics and Artificial Intelligence, Vol. 49, Núm. 1-4, pp. 191-205

  2. Regular-SAT: A many-valued approach to solving combinatorial problems

    Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626

2006

  1. QBF modeling: Exploiting player symmetry for simplicity and efficiency

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. The impact of balancing on problem hardness in a highly structured domain

    Proceedings of the National Conference on Artificial Intelligence

2005

  1. Mapping many-valued CNF formulas to Boolean CNF formulas

    Proceedings of The International Symposium on Multiple-Valued Logic

  2. Sensor networks and distributed CSP: Communication, computation and complexity

    Artificial Intelligence, Vol. 161, Núm. 1-2, pp. 117-147

  3. Statistical regimes across constrainedness regions

    Constraints

  4. Streamlining local search for spatially balanced latin squares

    IJCAI International Joint Conference on Artificial Intelligence

  5. The achilles' heel of QBF

    Proceedings of the National Conference on Artificial Intelligence

2004

  1. Statistical regimes across constrainedness regions

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3258, pp. 32-46

2003

  1. Critical density thresholds in distributed wireless networks

    COMMUNICATIONS, INFORMATION AND NETWORK SECURITY

  2. Grid-based SensorDCSP

    IJCAI International Joint Conference on Artificial Intelligence

  3. On the Complexity of Distributed Self-Configuration in Wireless Networks

    Telecommunication Systems, Vol. 22, Núm. 1-4, pp. 33-59