Wyniki wyszukiwania:

The application of big data analytics in all fields of research is a critical driver for the competitiveness of all countries in the modern world. Currently, governments and industry generate large amounts of data driven by record keeping, compliance, regulations, data privacy, and dynamic requirements, and thus there is a need to create better mechanisms to analyse data, and hence support organizational development, as well as providing aid to policymakers' decision-making processes. In this context, there are emerging disruptive opportunities because of Big Data: new business models, and...

A mudanca de paradigma da Educacao/Formacao para Aprendizagem nao e facil nem obvia. Quando se usa a terminologia angla saxonica de "Learning" tudo parece compreensivel, mas quando aplicamos - aprendizagem - a situacao e muito diferente e mais complexa. O que tentamos expor neste livro e que o conceito de aprendizagem ao longo da vida se tornou aceitavel pela generalidade dos agentes de conhecimento, a nivel nacional e europeu. Tentamos tambem, com colaboracao de grandes especialistas nestes temas, apontar tendencias para o futuro da aprendizagem ao longo da vida, que entendemos ser centrada...

This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.