The Mode of Computing

The Turing Machine is the paradigmatic case of computing machines, but there are others, such as Artificial Neural Networks, Table Computing, Relational-Indeterminate Computing and diverse forms of analogical computing, each of which based on a particular underlying intuition of the phenomenon of computing. This variety can be captured in terms of system levels, re-interpreting and generalizing Newell's hierarchy, which includes the knowledge level at the top and the symbol level immediately below it. In this re-interpretation the knowledge level consists of human knowledge and the symbol level is generalized into a new level that here is called The Mode of Computing. Natural computing performed by the brains of humans and non-human animals with a developed enough neural system should be understood in terms of a hierarchy of system levels too. By analogy from standard computing machinery there must be a system level above the neural circuitry levels and directly below the knowledge level that is named here The mode of Natural Computing. A central question for Cognition is the characterization of this mode. The Mode of Computing provides a novel perspective on the phenomena of computing, interpreting, the representational and non-representational views of cognition, and consciousness.Comment: 35 pages, 8 figure

Living In the KnowlEdge Society (LIKES) Initiative and iSchools' Focus on the Information Field

In this poster, we describe the similarities between the Living In the KnowlEdge Society (LIKES) project and iSchools – both focus on the information field. This might lead to future collaborations between the two. One of the LIKES objectives is to spread computational thinking, fundamental CS/IT paradigms, key computing concepts and ICT paradigms across the Knowledge Society. This is analogous to iSchools’ vision of education for thorough understanding of information, IT and their applications. In the previous three LIKES workshops, participants from various disciplines had an intense discussion about grand challenges to incorporate computing/IT in their disciplines. All iSchools have courses that teach computing and information-related topics. If those courses can be expanded for other non-computing disciplines on their campuses with support from experiences of LIKES, it would further empower professionals in the iField

Ubiquitous computing and knowledge management

MOBIlearn is a large European research project to develop a mobile learning system to facilitate formal, non formal and informal learning. The project has two primary objectives: • Develop a methodology for creating mobile learning scenarios and producing learning objects to implement them. • Develop the technology to deliver the learning objects to users via mobile computing devices. This paper will concentrate the MOBIlearn health care domain. One of this applications main objectives is managing and sharing of tacit knowledge. Using the system participants discuss case studies and alternative approaches to specific problems are evaluated and documented. This is then used and extended in future case studies. In a mobile learning environment, individual health workers can use the system to either advanced their skills, or in a ‘live’ incident, use it for reference and indeed call for backup.</p

Knowledge Engineering from Data Perspective: Granular Computing Approach

The concept of rough set theory is a mathematical approach to uncertainly and vagueness in data analysis, introduced by Zdzislaw Pawlak in 1980s. Rough set theory assumes the underlying structure of knowledge is a partition. We have extended Pawlak’s concept of knowledge to coverings. We have taken a soft approach regarding any generalized subset as a basic knowledge. We regard a covering as basic knowledge from which the theory of knowledge approximations and learning, knowledge dependency and reduct are developed

YAPA: A generic tool for computing intruder knowledge

Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages based on equational logics, knowledge is typically expressed by two relations: deducibility and static equivalence. Several decision procedures have been proposed for these relations under a variety of equational theories. However, each theory has its particular algorithm, and none has been implemented so far. We provide a generic procedure for deducibility and static equivalence that takes as input any convergent rewrite system. We show that our algorithm covers most of the existing decision procedures for convergent theories. We also provide an efficient implementation, and compare it briefly with the tools ProVerif and KiSs

Submission to the Commons Select Committee on Education

Computing is a rigorous, intellectually rich discipline alongside Maths, Science, or History. Like those subjects, Computing explores foundational principles and ideas, rather than training students in skills that date quickly. In an increasingly digital, knowledge-based age, Computing is fundamental both to full citizenship, and to our economic health as a nation. Yet, incredibly, Computing is virtually absent from UK schools. Instead, secondary schools in England currently teach ICT. The original concept behind ICT was to teach students how to use software to solve real-world problems. That would have been a tremendous achievement had it succeeded. However, what has actually happened in far too many schools is that ICT focuses solely upon IT literacy, and supporting teaching and learning in other curriculum contexts. ICT is not the discipline of understanding and knowledge of computers and the way they work.The creation of the EBac provides the perfect opportunity to send a clear signal to schools and pupils of the importance of Computing. Our key recommendation is that Computing (unlike ICT) should “count” towards the English Baccalaureate.On behalf of Computing at School:Dr. John WoollardProf. Simon Peyton-JonesDr. Bill Mitchel

International conference on software engineering and knowledge engineering: Session chair

The Thirtieth International Conference on Software Engineering and Knowledge Engineering (SEKE 2018) will be held at the Hotel Pullman, San Francisco Bay, USA, from July 1 to July 3, 2018. SEKE2018 will also be dedicated in memory of Professor Lofti Zadeh, a great scholar, pioneer and leader in fuzzy sets theory and soft computing. The conference aims at bringing together experts in software engineering and knowledge engineering to discuss on relevant results in either software engineering or knowledge engineering or both. Special emphasis will be put on the transference of methods between both domains. The theme this year is soft computing in software engineering & knowledge engineering. Submission of papers and demos are both welcome

Connecting with the Y Generation: an analysis of factors associated with the academic performance of foundation IS students

[Abstract]: A strategy to overcome challenges associated with teaching a foundation Information Systems (IS) course to large cohorts of Business students has been highly successful. To further refine the strategy, a survey was conducted to better understand attitudes and computer experience of the students. This study revealed that factors such as gender, age, study mode, type of secondary school attended, level of previous computing studies, perceived knowledge, frequency of use and attitudes towards using computers did not predict academic performance. Academic performance and characteristics of students belonging to the Y Generation were also compared with those of the Older Generation. Differences between these generations were found to exist in relation to perceived knowledge, level of previous computing studies, and experience of formal computing studies. It is imperative that educators be aware of the characteristics of the growing Y Generation students. This research has raised critical curriculum issues for the development of foundation IS pedagogy