Results 201 to 210 of about 10,251 (263)
Art in the abyss: creativity and the schizophrenic mind. [PDF]
T S S +9 more
europepmc +1 more source
Medicinal keystone species: linking local medicinal systems and social-ecological systems in a One Health perspective. [PDF]
Rapinski M +3 more
europepmc +1 more source
From visual attention to behavioural intention: A relational framework of culturally creative desserts in museum communication. [PDF]
Ke Z, Meng X, Xu J, Mustafa M.
europepmc +1 more source
Avian diversity and ethnoornithology in Pawukon - a 19th-Century Javanese manuscript : informing contemporary conservation of vulnerable species. [PDF]
Putri RA, Ekowati VI, Dwiadmojo GN.
europepmc +1 more source
Pain and Prose: Tracing the Opioid Epidemic in Stephen King's Novels. [PDF]
Marquez-Romero JM.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Symbolic Arrays in Symbolic PathFinder
ACM SIGSOFT Software Engineering Notes, 2017Symbolic Execution is a program analysis technique used to increase software reliability. Modern software often manipulate complex data structures, many of which being similar to arrays. We present a novel approach and implementation in Symbolic PathFinder for handling symbolic arrays in Java.
Aymeric Fromherz +2 more
openaire +1 more source

