Ikastegia/Institutua
Instituto de Tecnología del Conocimiento (ITC)
Artikuluak (5) Ikertzaileren baten partaidetza izan duten argitalpenak
1997
-
A method for multiple-level logic synthesis based on the simulated annealing algorithm
Microelectronics Journal, Vol. 28, Núm. 2, pp. 143-150
-
Boolean networks decomposition using genetic algorithms
Microelectronics Journal, Vol. 28, Núm. 5, pp. 551-560
-
Insemination of susceptible and preimmunized gilts with boar semen containing porcine reproductive and respiratory syndrome virus
Theriogenology, Vol. 47, Núm. 3, pp. 647-654
-
Paramodulation with built-in AC-theories and symbolic constraints
Journal of Symbolic Computation, Vol. 23, Núm. 1, pp. 1-21
-
Transplacental infection following exposure of gilts to porcine reproductive and respiratory syndrome virus at the onset of gestation
Veterinary Microbiology, Vol. 57, Núm. 4, pp. 301-311