Robot free will

We introduce the perspex machine which unifies projective geometry and Turing computation and results in a supra-Turing machine. We show two ways in which the perspex machine unifies symbolic and non-symbolic AI. Firstly, we describe concrete geometrical models that map perspexes onto neural networks, some of which perform only symbolic operations. Secondly, we describe an abstract continuum of perspex logics that includes both symbolic logics and a new class of continuous logics. We argue that an axiom in symbolic logic can be the conclusion of a perspex theorem. That is, the atoms of symbolic logic can be the conclusions of sub-atomic theorems. We argue that perspex space can be mapped onto the spacetime of the universe we inhabit. This allows us to discuss how a robot might be conscious, feel, and have free will in a deterministic, or semi-deterministic, universe. We ground the reality of our universe in existence. On a theistic point, we argue that preordination and free will are compatible. On a theological point, we argue that it is not heretical for us to give robots free will. Finally, we give a pragmatic warning as to the double-edged risks of creating robots that do, or alternatively do not, have free will.

Intersections of Jane Jacobs’ conditions for diversity and low-carbon urban systems: a look at four global cities

Countless cities are rapidly developing across the globe, pressing the need for clear urban planning and design recommendations geared towards sustainability. This article examines the intersections of Jane Jacobs’ four conditions for diversity with low-carbon and low-energy use urban systems in four cities around the world: Lyon (France), Chicago (United-States), Kolkata (India), and Singapore (Singapore). After reviewing Jacobs’ four conditions for diversity, we introduce the four cities and describe their historical development context. We then present a framework to study the cities along three dimensions: population and density, infrastructure development/use, and climate and landscape. These cities differ in many respects and their analysis is instructive for many other cities around the globe. Jacobs’ conditions are present in all of them, manifested in different ways and to varying degrees. Overall we find that the adoption of Jacobs' conditions seems to align well with concepts of low-carbon urban systems, with their focus on walkability, transit-oriented design, and more efficient land use (i.e., smaller unit sizes). Transportation sector emissions seems to demonstrate a stronger influence from the presence of Jacobs' conditions, while the link was less pronounced in the building sector. Kolkata, a low-income, developing world city, seems to possess many of Jacobs' conditions, while exhibiting low per capita emissions - maintaining both of these during its economic expansion will take careful consideration. Greenhouse gas mitigation, however, is inherently an in situ problem and the first task must therefore be to gain local knowledge of an area before developing strategies to lower its carbon footprint.

Bibliotecas escolares e instrumentos digitais nos espaços escolares: uma pesquisa em Marília-SP

The article reports on research conducted with fifteen teachers and forty-five students in three high schools municipal Marília - SP, with the goal of mapping relationships between school libraries, computer labs and digital devices. The investigation is linked to the other two poles: one in the Faculty of Education, Federal University of Uberlândia and another at the French Institute of Education, in Lyon, France. Responses were obtained through questions previously formulated and recorded by scholars in an interview situation. The article initially retrieves historical projects of French in the late nineteenth century with the intention of establishing linkages with the situation in 2012, in Brazil. It then presents and comments on the graphics with data. The findings indicate the absence of organicity in relations between libraries and computer labs. Handheld devices outside of school are predominantly used to play and participate in social networking sites.

HPV type infection in different anogenital sites among HIV-positive Brazilian women

Abstract Objectives To evaluate the prevalence of human papillomavirus (HPV) types, and risk factors for HPV positivity across cervix, vagina and anus, we conducted a study among 138 women with human immunodeficiency virus (HIV). Goal Compare the prevalence of different HPV types and the risk factors for HPV positivity in three sites. Results The most frequently detected HPV types in all sites were, in decreasing order, HPV16, 53, 18, 61 and 81. Agreement between the cervix and vagina was good (kappa 0.60 – 0.80) for HPV16 and 53 and excellent (Kappa > 0.80) for HPV18 and 61. HPV positivity was inversely associated with age for all combinations including the anal site. Conclusion In HIV positive women, HPV18 is the most spread HPV type found in combinations of anal and genital sites. The relationship of anal to genital infection has implications for the development of anal malignancies. Thus, the efficacy of the current HPV vaccine may be considered not only for the cervix, but also for prevention of HPV18 anal infection among immunossuppressed individuals.

The FG 2015 kinship verification in the wild evaluation

[ES]The aim of the Kinship Verification in the Wild Evaluation (held in conjunction with the 2015 IEEE International Conference on Automatic Face and Gesture Recognition, Ljubljana, Slovenia) was to evaluate different kinship verification algorithms. For this task, two datasets were made available and three possible experimental protocols (unsupervised, image-restricted, and image-unrestricted) were designed. Five institutions submitted their results to the evaluation: (i) Politecnico di Torino, Italy; (ii) LIRIS-University of Lyon, France; (iii) Universidad de Las Palmas de Gran Canaria, Spain; (iv) Nanjing University of Aeronautics and Astronautics, China; and (v) Bar Ilan University, Israel. Most of the participants tackled the image-restricted challenge and experimental results demonstrated better kinship verification performance than the baseline methods provided by the organizers.

Flexible scheduling for non-deterministic, and-parallel execution of logic programs

Abstract is not available.

IDRA (IDeal Resource Allocation): Computing ideal speedups in parallel logic programming

We present a technique to estimate accurate speedups for parallel logic programs with relative independence from characteristics of a given implementation or underlying parallel hardware. The proposed technique is based on gathering accurate data describing one execution at run-time, which is fed to a simulator. Alternative schedulings are then simulated and estimates computed for the corresponding speedups. A tool implementing the aforementioned techniques is presented, and its predictions are compared to the performance of real systems, showing good correlation.

End-User-Oriented Telco Mashups: The OMELETTE Approach

With the success of Web 2.0 we are witnessing a growing number of services and APIs exposed by Telecom, IT and content providers. Targeting the Web community and, in particular, Web application developers, service providers expose capabilities of their infrastructures and applications in order to open new markets and to reach new customer groups. However, due to the complexity of the underlying technologies, the last step, i.e., the consumption and integration of the offered services, is a non-trivial and time-consuming task that is still a prerogative of expert developers. Although many approaches to lower the entry barriers for end users exist, little success has been achieved so far. In this paper, we introduce the OMELETTE project and show how it addresses end-user-oriented telco mashup development. We present the goals of the project, describe its contributions, summarize current results, and describe current and future work.

Semantic evaluation at large scale (SEALS)

This paper describes the main goals and outcomes of the EU-funded Framework 7 project entitled Semantic Evaluation at Large Scale (SEALS). The growth and success of the Semantic Web is built upon a wide range of Semantic technologies from ontology engineering tools through to semantic web service discovery and semantic search. The evaluation of such technologies ? and, indeed, assessments of their mutual compatibility ? is critical for their sustained improvement and adoption. The SEALS project is creating an open and sustainable platform on which all aspects of an evaluation can be hosted and executed and has been designed to accommodate most technology types. It is envisaged that the platform will become the de facto repository of test datasets and will allow anyone to organise, execute and store the results of technology evaluations free of charge and without corporate bias. The demonstration will show how individual tools can be prepared for evaluation, uploaded to the platform, evaluated according to some criteria and the subsequent results viewed. In addition, the demonstration will show the flexibility and power of the SEALS Platform for evaluation organisers by highlighting some of the key technologies used.