Collective construction of topologically complex structures is one of the triumphs of social behavior. For example, many ant species construct underground nests composed of networks of tunnels and chambers. Excavation by these 'superorganisms' depends on the biomechanics of substrate manipulation, the interaction of individuals, and media stability and cohesiveness. To discover principles of ro...

Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the new versions of a program. Regression test generation can be automated by using Dynamic Symbolic Execution (DSE), a state-of-the-art test generation technique. DSE explores all feasible paths in the program but exploration of all these paths can often be expensive. Howe...

aim and background: one of the most important learning disabilities is spelling learning disability which is accompanied by memory problems and social skills. the main aim of present research was to review the effectiveness of cognitive-behavioral play therapy on memory and social skills of children with spelling learning disability. methods and materials: the research method of present study w...

BACKGROUND Novel analgesics that do not suppress the respiratory drive are urgently needed. Glutamate signaling through α-amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid (AMPA) receptors plays important roles in central pain circuits. AMPAkines augment AMPA receptor function and have been shown to stimulate the respiratory drive to oppose opioid-induced hypoventilation. However, their role i...

Zoophytophagous predators play an important, though sometimes controversial, role in pest management programs different crops. In tomato crops, damage caused by phytophagy of the mirid Nesidiocoris tenuis has mainly been reported at high predator population levels or when prey is scarce. Previous research focused on predator/prey ratios, stylet morphology and saliva composition to explain plant...

An application of behavioral modeling for mixed-signal test generation and applied results are presented. It is shown that test debugging can be provided in the verification test system before silicon by utilizing simulated behavioral mixed-signal models. Due to the behavioral modeling technique, the computational performance was enhanced to a level allowing efficient test development and debug...