This two-volume set LNCS 6691 and 6692 constitutes the refereed lawsuits of the eleventh overseas Work-Conference on synthetic Neural Networks, IWANN 2011, held in Torremolinos-Málaga, Spain, in June 2011. The 154 revised papers have been conscientiously reviewed and chosen from 202 submissions for presentation in volumes. the second one quantity contains seventy six papers equipped in topical sections on video and snapshot processing; hybrid synthetic neural networks: versions, algorithms and information; advances in computing device studying for bioinformatics and computational biomedicine; biometric platforms for human-machine interplay; information mining in biomedicine; bio-inspired combinatorial optimization; utilising evolutionary computation and nature-inspired algorithms to formal equipment; fresh advances on fuzzy good judgment and tender computing functions; new advances in conception and functions of ICA-based algorithms; organic and bio-inspired dynamical platforms; and interactive and cognitive environments. The final part includes nine papers from the foreign Workshop on clever platforms for Context-Based info Fusion, ISCIF 2011, held at IWANN 2011.

Formal equipment were verified because the rigorous engineering method for the approach improvement. utilizing formal the right way to a wide and complicated method improvement usually calls for the modelling of other points of one of these procedure. for example, advanced structures (such as built-in avionics platforms, engine keep watch over software program) can contain practical and timing necessities that needs to be ultimately carried out as executing code on a speaking dispensed topology.

This quantity constitutes the court cases of the 4th foreign United info platforms convention, UNISCON 2012, which was once held in Yalta, Ukraine, in the course of June 1-3, 2012. UNISCON 2012 used to be affiliated with the eighth foreign convention on ICT in schooling, study, and commercial functions, ICTERI 2012.

This quantity set LNCS 7825 and LNCS 7826 constitutes the refereed lawsuits of the 18th foreign convention on Database platforms for complex functions, DASFAA 2013, held in Wuhan, China, in April 2013. The fifty one revised complete papers and 10 brief papers awarded including 2 invited keynote talks, 1 invited paper, three business papers, nine demo shows, four tutorials and 1 panel paper have been rigorously reviewed and chosen from a complete of 227 submissions.