1
Gepubliceerd in 2014
Inhoudsopgave: ... for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2014
Inhoudsopgave: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2013
Inhoudsopgave: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2013
Inhoudsopgave: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2010
Inhoudsopgave: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2012
Inhoudsopgave: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2012
Inhoudsopgave: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2014
Inhoudsopgave: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2008
Inhoudsopgave: ..., an ACO Algorithm for Solving the Four-Criteria Military Path-finding Problem -- Searching Ground States...
Volledige tekst
Elektronisch E-boek