Informatik (15.821 Artikel)

This highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory programming language before going on to use Ja...

State-of-the-Art and Research Perspectives

Invited Opening Talk.- Program Analysis for Implicit Computational Complexity.- Contributed Papers.- Deriving Pre-conditions for Array Bound Check Elimination.- Type Systems for Useless-Variable El...

This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997.The volume presents 24 revised full ...

19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II

Abstracts of Invited Presentations and Tutorials.- Constraint Programming in Computational Molecular Biology.- Computational Creativity.- From Wheels to Wings with Evolutionary Spiking Circuits.- A...

The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones h...

This book contains a selection of higher quality and reviewed papers of the 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, held in Lisbon, Portugal, in October 2011. The 50 revis...

This book constitutes the refereed proceedings of the 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, held in Angra do Heroísmo, Azores, Portugal, in September 2013. The 45 revise...

This book constitutes the proceedings of the 21st EPIA Conference on Artificial Intelligence, EPIA 2022, which took place in Lisbon, Portugal, in August/September 2022. The 64 papers presented in t...

When in October 1996 in Cholula (Puebla, Mexico), I took charge of organizing the scienti?c program of the next Ibero-American Congress on Arti?cial Intel- gence (IBERAMIA 98) I bet on a couple of ...

The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. It returned to the city in which the ?rst c...

Heuristics I.- Alternative Solution Representations for the Job Shop Scheduling Problem in Ant Colony Optimisation.- Analyzing the Role of "Smart" Start Points in Coarse Search-Greedy Search.- Conc...

This book constitutes the refereed proceedings of the First International Conference on Cryptology hosted in Africa, held in Casablanca, Morocco, in June 2008. The 25 revised full papers presented ...

Signatures.- A New RSA-Based Signature Scheme.- Fair Blind Signatures without Random Oracles.- Fair Partially Blind Signatures.- Attacks.- Parallel Shortest Lattice Vector Enumeration on Graphics C...