Search results for "Mathematical logic"
showing 10 items of 394 documents
A software tool via web for the statistical data analysis; R-php
2007
The spread of Internet and the growing demand of services from the web users have changed and are still changing the way to organize the work or the study. Nowadays, the main part of information and many services are on the web and the software is going toward the same direction: in fact, the use of software implemented via web is ever-increasing, with a client-server logic that enables the “centralized” use of software installed on a server. In this paper we describe the Structure and the running of R-php, an environment for statistical analysis, freely accessible and attainable through the World Wide Web, based on the statistical environment R. R-php is based on two modules: a base module…
Disabled People from Welfare to Jobs: A Decision Support Tool
2012
Despite repeated statements from successive governments in Norway, disabled people employment rate remains unchanged since 2000. A range of studies to describe and analyse the situation qualitatively and quantitatively have been performed, however we have not been able to find any study containing a decision support tool focusing on this issue. This paper presents a simulation model, built using the System Dynamics methodology. The model focuses on enabling disabled people to move from welfare to work, incorporating attitudes of disabled people and employers. The model is designed to cover selected factors that are believed to enable and encourage disabled people to take up jobs. It is inte…
On the definition of generic multi-layered ontologies for urban applications
2000
Cooperation of information systems is essential for providing decision support for urban management applications. This involves sharing data across collections of the heterogeneous information systems that are used to manage large urban infrastructures. The objective of this work is to define a spatial ontology to describe key features of urban applications, providing a foundation for semantic reconciliation among heterogeneous spatial information sources. We propose a multi-layered ontologies definition framework consisting of ontology layers which are composed of a generic functional structure and one or more domain ontologies. The functional structure embodies general ontological concept…
Accessibility of Norwegian Municipalities Websites: A Decision Support Tool
2011
Access to public websites is crucial to assure equal opportunities for all citizens to participate in society. Although, a range of studies to analyse the accessibility of websites have been carried out, we have not been able to find any study evaluating the effect of managerial decisions on the accessibility of websites. This paper presents a demonstrator simulation model, built using System Dynamics methodology. The model focuses on accessibility of Norwegian Municipal websites, and is intended to be used as a decision support tool, mainly for managers responsible for website development and maintenance. To build the underlying model we have used information collected from in-depth interv…
Having the Final Say: Machine Support of Ethical Decisions of Doctors
2014
Machines that support highly complex decisions of doctors have been a reality for almost half a century. In the 1950s, computer-supported medical diagnostic systems started with “punched cards in a shoe box”. In the 1960s and 1970s medicine was, to a certain extent, transformed into a quantitative science by intensive interdisciplinary research collaborations of experts from medicine, mathematics and electrical engineering; This was followed by a second shift in research on machine support of medical decisions from numerical probabilistic to knowledge based approaches. Solutions of the later form came to be known as (medical) expert systems, knowledge based systems research or Artificial In…
Background questionnaires of PISA : a study of the assessment indicators
2016
El sistema de evaluación de PISA ha generado y continúa generando intensos debates sobre su estructura y utilidad. Este artículo se centra en los cuestionarios de contexto, como forma de analizar y entender de manera adecuada los resultados. Los objetivos son analizar los indicadores de contexto que se utilizan en las distintas ediciones de las pruebas PISA, su utilización en distintos estudios y en los resultados de estos estudios. Se proporciona una visión general del modelo utilizado para conseguir que estos indicadores dejen de ser algo que acompaña a las prueba de rendimiento para que alcancen su verdadero sentido: analizar conjuntamente el rendimiento junto con las variables que…
Factors of Development of the Management of the Design Education in Latvia
2015
<p>The author proceeds with the discussion of significant problems in design industry and education in Europe and Latvia. This research is devoted to several important aspects in the development of design education in Latvia. Design education which is mainly based on the meaning of design as an aesthetic component of products, environment or communication, includes only a narrow range of specializations in the traditional fields of design. This concept affects the structure of design education and an beliefs of the areas in which designers will be able to work. Insufficiency of public awareness and understanding of the essence of design results in limited demand of design products and…
Reflections on dialogicity: Challenges and suggestions by mathematics student teachers
2021
Abstract Research related to dialogic teaching has been gaining ground in recent decades. On a theoretical level, researchers have described how sociocultural approaches are linked to dialogic teaching. In addition, empirical studies have explained how dialogic teaching manifests itself in educational dialogue and classroom interactions. However, studies addressing how the dialogic theory and practice could be linked meaningfully in teacher education and professional development programs in subject teacher education and related praxis are still limited. Especially in the case of math teacher education, the reported professional development programs are limited in number. Whereas the tendenc…
Inquiry-Based Approaches in Primary Science Teacher Education
2018
This chapter introduces an interactional graphic tool together with a model for inquiry-based science teaching (abbreviated as IBST). The combination of the graphic tool and model offers an approach to support the planning, implementation, reflection and analysis of dialogic IBST. The potential use is illustrated here using a case study in which student teachers used IBST to develop their teaching. The interactional graphic and the model are fundamentally related to three established approaches to science teaching: inquiry-based science teaching, dialogic teaching and the communicative approach. Together, these approaches draw attention to learner participation in inquiry-based science teac…
Two-dimensional filters for structured text
1997
The paper introduces a method for defining filters for structured text. In the method, the text structure is originally defined by a grammar consisting of a set of productions. To describe the information interests, a two-dimensional template is first created interactively from the grammar to show the structure of a set of textual elements, at a chosen level of detail. The template depicts the hierarchical structure of the elements and indicates also optionality, alternatives, and iteration in the structure. Then, the template is filled by constraints and annotations. The constraints allow giving conditions to the content of parts, to the position of parts in an ordered set of parts, and to…