Search Interfaces on the Web: Querying and Characterizing

Current-day web search engines (e.g., Google) do not crawl and index a significant portion of theWeb and, hence, web users relying on search engines only are unable to discover and access a large amount of information from the non-indexable part of the Web. Specifically, dynamic pages generated based on parameters provided by a user via web search forms (or search interfaces) are not indexed by search engines and cannot be found in searchers’ results. Such search interfaces provide web users with an online access to myriads of databases on the Web. In order to obtain some information from a web database of interest, a user issues his/her query by specifying query terms in a search form and receives the query results, a set of dynamic pages that embed required information from a database. At the same time, issuing a query via an arbitrary search interface is an extremely complex task for any kind of automatic agents including web crawlers, which, at least up to the present day, do not even attempt to pass through web forms on a large scale. In this thesis, our primary and key object of study is a huge portion of the Web (hereafter referred as the deep Web) hidden behind web search interfaces. We concentrate on three classes of problems around the deep Web: characterization of deep Web, finding and classifying deep web resources, and querying web databases. Characterizing deep Web: Though the term deep Web was coined in 2000, which is sufficiently long ago for any web-related concept/technology, we still do not know many important characteristics of the deep Web. Another matter of concern is that surveys of the deep Web existing so far are predominantly based on study of deep web sites in English. One can then expect that findings from these surveys may be biased, especially owing to a steady increase in non-English web content. In this way, surveying of national segments of the deep Web is of interest not only to national communities but to the whole web community as well. In this thesis, we propose two new methods for estimating the main parameters of deep Web. We use the suggested methods to estimate the scale of one specific national segment of the Web and report our findings. We also build and make publicly available a dataset describing more than 200 web databases from the national segment of the Web. Finding deep web resources: The deep Web has been growing at a very fast pace. It has been estimated that there are hundred thousands of deep web sites. Due to the huge volume of information in the deep Web, there has been a significant interest to approaches that allow users and computer applications to leverage this information. Most approaches assumed that search interfaces to web databases of interest are already discovered and known to query systems. However, such assumptions do not hold true mostly because of the large scale of the deep Web – indeed, for any given domain of interest there are too many web databases with relevant content. Thus, the ability to locate search interfaces to web databases becomes a key requirement for any application accessing the deep Web. In this thesis, we describe the architecture of the I-Crawler, a system for finding and classifying search interfaces. Specifically, the I-Crawler is intentionally designed to be used in deepWeb characterization studies and for constructing directories of deep web resources. Unlike almost all other approaches to the deep Web existing so far, the I-Crawler is able to recognize and analyze JavaScript-rich and non-HTML searchable forms. Querying web databases: Retrieving information by filling out web search forms is a typical task for a web user. This is all the more so as interfaces of conventional search engines are also web forms. At present, a user needs to manually provide input values to search interfaces and then extract required data from the pages with results. The manual filling out forms is not feasible and cumbersome in cases of complex queries but such kind of queries are essential for many web searches especially in the area of e-commerce. In this way, the automation of querying and retrieving data behind search interfaces is desirable and essential for such tasks as building domain-independent deep web crawlers and automated web agents, searching for domain-specific information (vertical search engines), and for extraction and integration of information from various deep web resources. We present a data model for representing search interfaces and discuss techniques for extracting field labels, client-side scripts and structured data from HTML pages. We also describe a representation of result pages and discuss how to extract and store results of form queries. Besides, we present a user-friendly and expressive form query language that allows one to retrieve information behind search interfaces and extract useful data from the result pages based on specified conditions. We implement a prototype system for querying web databases and describe its architecture and components design.

Services for Content Creation and Presentation in an Iconographical Digital Library

Content creation and presentation are key activities in a multimedia digital library (MDL). The proper design and intelligent implementation of these services provide a stable base for overall MDL functionality. This paper presents the framework and the implementation of these services in the latest version of the “Virtual Encyclopaedia of Bulgarian Iconography” multimedia digital library. For the semantic description of the iconographical objects a tree-based annotation template is implemented. It provides options for autocompletion, reuse of values, bilingual entering of data, automated media watermarking, resizing and conversing. The paper describes in detail the algorithm for automated appearance of dependent values for different characteristics of an iconographical object. An algorithm for avoiding duplicate image objects is also included. The service for automated appearance of new objects in a collection after their entering is included as an important part of the content presentation. The paper also presents the overall service-based architecture of the library, covering its main service panels, repositories and their relationships. The presented vision is based on a long-term observation of the users’ preferences, cognitive goals, and needs, aiming to find an optimal functionality solution for the end users.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Issues and innovations in after the user survey, what then? /

"September 1997"--T.p.

Crowdsourcing User-Contributed Solutions to Aerospace Product Development Issues through Micro-Blogging

Revenue and production output of the United Kingdom’s Aerospace Industry (AI) is growing year on year and the need to develop new products and innovative enhancements to existing ranges is creating a critical need for the increased utilisation and sharing of employee knowledge. The capture of employee knowledge within the UK’s AI is vital if it is to retain its pre-eminent position in the global marketplace. Crowdsourcing, as a collaborative problem solving activity, allows employees to capture explicit knowledge from colleagues and teams and also offers the potential to extract previously unknown tacit knowledge in a less formal virtual environment. By using micro-blogging as a mechanism, a conceptual framework is proposed to illustrate how companies operating in the AI may improve the capture of employee knowledge to address production-related problems through the use of crowdsourcing. Subsequently, the framework has been set against the background of the product development process proposed by Maylor in 1996 and illustrates how micro-blogging may be used to crowdsource ideas and solutions during product development. Initial validation of the proposed framework is reported, using a focus group of 10 key actors from the collaborating organisation, identifying the perceived advantages, disadvantages and concerns of the framework; results indicate that the activity of micro-blogging for crowdsourcing knowledge relating to product development issues would be most beneficial during product conceptualisation due to the requirement for successful innovation.

Major Issues in Business Process Management: An Expert Perspective

The results presented in this report form a part of a larger global study on the major issues in BPM. Only one part of the larger study is reported here, viz. interviews with BPM experts. Interviews of BPM tool vendors together with focus groups involving user organizations, are continuing in parallel and will set the groundwork for the identification of BPM issues on a global scale via a survey (including a Delphi study). Through this multi-method approach, we identify four distinct sets of outcomes. First, as is the focus of this report, we identify the BPM issues as perceived by BPM experts. Second, the research design allows us to gain insight into the opinions of organisations deploying BPM solutions. Third, an understanding of organizations’ misconceptions of BPM technologies, as confronted by BPM tool vendors is obtained. Last, we seek to gain an understanding of BPM issues on a global scale, together with knowledge of matters of concern. This final outcome is aimed to produce an industry driven research agenda which will inform practitioners and in particular, the research community world-wide on issues and challenges that are prevalent or emerging in BPM and related areas.

Glow worms as a tourist attraction in Springbrook National Park: Visitor attitudes and economic issues

nsect-based tourism mainly caters to a niche market, but its popularity has been growing in recent years. Despite its popularity this form of tourism has remained under-researched and in a sense its contribution to the tourism industry has gone mostly unnoticed. This paper reports the results of a study undertaken on one form of popular insect-based tourism, namely glow worms. The study was undertaken in Springbrook National Park (Natural Bridge section) southeast Queensland, which has one of the largest glow worm colonies in Australia that attracts thousands of visitors each year. A study of this form of tourism is important and useful for several reasons. It is important to understand this hitherto under-studied tourism activity to determine the type of visitors, their socio-economic attributes, economic benefits to the local economy, visitors’ knowledge of glow worms, education imparted, visitor satisfaction of glow worm viewing and visitor attitudes for the introduction of a user fee system to view glow worms. An understanding of these issues could not only help to better manage this valuable biological resource, but can be used to develop the industry to cater to a growing number of visitors. Tourism in glow worms can potentially be used not only to educate the public on the threats affecting glow worms and their colonies, but could also be used to conserve them. Lessons learnt from glow worms as an attraction to Springbrook National Park can be used to better manage and further develop other existing and new glow worm sites in Australia and elsewhere for tourism. Furthermore, it could provide some guidance for the management and development of other forms of current insect-based tourism activities (eg. butterflies) and develop new tourism ventures based on species such as stick insects and jewel beetles for which Australia is well known (Reader’s Digest, 1997)

User perception and influencing factors of technology in everyday life

An increasing amount of research is being developed in the area where technology and humans meet. The success or failure of technologies and the question whether technology helps humans to fulfill their goals or whether it hinders them is in most cases not a technical one. User Perception and Influencing Factors of Technology in Everyday Life addresses issues of human and technology interaction. The research in this work is interdisciplinary, ranging from more technical subjects such as computer science, engineering, and information systems, to non-technical descriptions of technology and human interaction from the point of view of sociology or philosophy. This book is perfect for academics, researchers, and professionals alike as it presents a set of theories that allow us to understand the interaction of technology and humans and to put it to practical use.

Lightweight user modeling – a case study

In the context of previous publications, we propose a new lightweight UM process, intended to work as a tourism recommender system in a commercial environment. The new process tackles issues like cold start, gray sheep and over specialization through a rich user model and the application of a gradual forgetting function to the collected user action history. Also, significant performance improvements were achieved regarding the previously proposed UM process.

A complex protocol layer as a linux user-space process

With the current complexity of communication protocols, implementing its layers totally in the kernel of the operating system is too cumbersome, and it does not allow use of the capabilities only available in user space processes. However, building protocols as user space processes must not impair the responsiveness of the communication. Therefore, in this paper we present a layer of a communication protocol, which, due to its complexity, was implemented in a user space process. Lower layers of the protocol are, for responsiveness issues, implemented in the kernel. This protocol was developed to support large-scale power-line communication (PLC) with timing requirements.

User-centric product derivation in software product lines

Software Product Line (SPL) engineering aims at achieving efficient development of software products in a specific domain. New products are obtained via a process which entails creating a new configuration specifying the desired product’s features. This configuration must necessarily conform to a variability model, that describes the scope of the SPL, or else it is not viable. To ensure this, configuration tools are used that do not allow invalid configurations to be expressed. A different concern, however, is making sure that a product addresses the stakeholders’ needs as best as possible. The stakeholders may not be experts on the domain, so they may have unrealistic expectations. Also, the scope of the SPL is determined not only by the domain but also by limitations of the development platforms. It is therefore possible that the desired set of features goes beyond what is possible to currently create with the SPL. This means that configuration tools should provide support not only for creating valid products, but also for improving satisfaction of user concerns. We address this goal by providing a user-centric configuration process that offers suggestions during the configuration process, based on the use of soft constraints, and identifying and explaining potential conflicts that may arise. Suggestions help mitigating stakeholder uncertainty and poor domain knowledge, by helping them address well known and desirable domain-related concerns. On the other hand, automated conflict identification and explanation helps the stakeholders to understand the trade-offs required for realizing their vision, allowing informed resolution of conflicts. Additionally, we propose a prototype-based approach to configuration, that addresses the order-dependency issues by allowing the complete (or partial) specification of the features in a single step. A subsequent resolution process will then identify possible repairs, or trade-offs, that may be required for viabilization.

Contribution of Mental Health Service User Groups to Mental Health Services and Policy in Ghana : The Case of Mental Health Society of Ghana

RESUMO: Este estudo procurou documentar a perspectiva (s) dos utentes de saúde mental e das associações de prestadores de cuidados sobre a prestação, o papel e a contribuição de serviços de saúde mental da comunidade tal como foram percebidos por um número de informadores-chave, incluindo os utentes do serviço mentais e os próprios prestadores de cuidados. O caso específico da Sociedade Saúde Mental do Gana (MEHSOG) foi o foco deste estudo. O modelo foi o de um estudo de caso, utilizando discussões de grupo e entrevistas com informadores-chave como instrumentos de recolha de dados. Estas ferramentas de colheita de dados foram complementadas por observações dos participantes e pela revisão de documentos da MEHSOG e dos vários grupos de apoio da comunidade de auto-ajuda que compõem a associação nacional. O estudo revelou que os utentes dos serviços de saúde mental e seus prestadores de cuidados constituem um importante grupo de partes interessadas na prestação de serviços de saúde mental da comunidade e no desenvolvimento de políticas que tenham em conta as necessidades e os direitos das pessoas com doença mental ou epilepsia. O envolvimento da MEHSOG promove a mobilização de membros e famílias relacionadas com a doença mental de beneficiar de serviços de tratamento bem organizados com um impacto significativo na melhoria da saúde e da participação dos utentes dos serviços e seus prestadores de cuidados primários em processos de tomada de decisão da família e na comunidade processos de desenvolvimento. Os utentes dos serviços por beneficiarem de tratamento, e os prestadores de cuidados primários, por se tornarem mais livres e menos sobrecarregados com a responsabilidade de cuidar, podem passar a envolver-se mais em atividades que melhoramo seu estado, o de suas famílias e das comunidades. A advocacia dos membros da MEHSOG para conseguir que a “Mental Health Bill” se transforme numa Lei foi também um desenvolvimento significativo resultante da participação ativa dos utentes do serviço em chamar a atenção para uma nova e inclusiva legislação de saúde mental para o Gana. Entre os fatores e oportunidades que permitiram aos utentes dos serviços de saúde mental e aos prestadores de cuidados primários de pessoas com doença mental apoiar activamente a prestação de serviços de saúde mental comunitária e o desenvolvimento de políticas conta-se a contribuição da sociedade civil do Gana, particularmente o movimento da deficiência, e os esforços anteriores de ONGs em saúde mental e dos profissionais de saúde mental para ter uma nova lei em saúde mental. Observámos um certo número de desafios e barreiras que actuam de forma a limitar a influência dos utentes dos serviços de saúde mental na provisão da saúde mental comunitária e no desenvolvimento de políticas. Entre elas o estigma social contra a doença mental e pessoas com doença mental ou epilepsia e seus cuidadores primaries é um factor chave. O estigma tem alterado a percepção e as análises do público em geral, especialmente dos profissionais de saúde e das autoridades políticas afetando a priorização dos problemas de saúde mental nas políticas e programas. Outro desafio foi a deficiente infra-estrutura disponível para apoiar serviços de saúde mentais que assegurem aos utentes permanecerem em bom estado de saúde e bem-estar para serem advogados de si próprios. A recomendação do presente estudo é que os movimentos de utentes dos serviços de saúde mental são importantes e que eles precisam de ser apoiados e encorajados a desempenhar o seu papel como pessoas com experiência vivida para contribuir para a organização e prestação de serviços de saúde mental, bem como para a implementação, monitorização e avaliação de políticas e programas. ------------------------------------ ABSTRACT: This study sought to document the perspective(s) of mental health users and care-givers associations in community mental health service provision and their role and contribution as it was perceived by a number of key informants including the mental service users and care-givers themselves. The specific case of the Mental Health Society of Ghana (MEHSOG) was the focus of this study. A case study approach was used to with Focus Group Discussions and Key Informants Interviews being the data collection tools that were used. These data collection tools were complemented by participant observations and review of documents of the MEHSOG and the various community self-help peer support groups that make up the national association. The study revealed that mental health service users and their care-givers constitute an important stakeholder group in community mental health service provision and development of policies that factor in the needs and rights of persons with mental illness or epilepsy. MEHSOG’s involvement in mobilising members and education families to come forward with the relations with mental illness to benefit from treatment services were well made a significant impact in improving the health and participation of service users and their primary carers in family decision-making processes and in community development processes. Service users, on benefiting from treatment, and primary care-givers, on becoming freer and less burdened with the responsibility of care, move on to engage in secure livelihoods activities, which enhanced their status in their families and communities. The advocacy MEHSOG members undertook in getting the mental health Bill become Law was also noted as significant development that was realised as a result of active involvement of service users in calling for a new and inclusive mental health legislation for Ghana. Enabling factors and opportunities that enabled mental health service users and primary care-givers of people with mental illness to actively support community mental health service provision and policy development is with the vibrant civil society presence in Ghana, particularly the disability movement, and earlier efforts by NGOs in mental health in Ghana long-side mental health professionals to have a new law in mental health. A number of challenges were also noted which were found to limit the extent to which mental health service users can be influential in community mental health service provision and policy development. Key among them was the social stigma against mental illness and people with mental illness or epilepsy and their primary carers. Stigma has affected perceptions, analyses of the general public, especially health practitioners and policy authorities that it has affected their prioritisation of mental health issues in policies and programmes. Another challenge was the poor infrastructure available to support enhanced mental health care services that ensure mental health service users remain in a good state of health and wellbeing to advocate for themselves. The recommendation from the study is that mental health service user movements are important and need to be supported and encouraged to play their role as persons with lived experience to inform organisation and provision of mental health services as well as design and implementation, monitoring and evaluation of policies and programes.

Interaction paradigms versus age-related user profiles: an evaluation on content selection

Novel input modalities such as touch, tangibles or gestures try to exploit human's innate skills rather than imposing new learning processes. However, despite the recent boom of different natural interaction paradigms, it hasn't been systematically evaluated how these interfaces influence a user's performance or whether each interface could be more or less appropriate when it comes to: 1) different age groups; and 2) different basic operations, as data selection, insertion or manipulation. This work presents the first step of an exploratory evaluation about whether or not the users' performance is indeed influenced by the different interfaces. The key point is to understand how different interaction paradigms affect specific target-audiences (children, adults and older adults) when dealing with a selection task. 60 participants took part in this study to assess how different interfaces may influence the interaction of specific groups of users with regard to their age. Four input modalities were used to perform a selection task and the methodology was based on usability testing (speed, accuracy and user preference). The study suggests a statistically significant difference between mean selection times for each group of users, and also raises new issues regarding the “old” mouse input versus the “new” input modalities.

Interoperability issues between learning object repositories and metadata harvesters

In this paper we describe an open learning object repository on Statistics based on DSpace which contains true learning objects, that is, exercises, equations, data sets, etc. This repository is part of a large project intended to promote the use of learning object repositories as part of the learning process in virtual learning environments. This involves the creation of a new user interface that provides users with additional services such as resource rating, commenting and so. Both aspects make traditional metadata schemes such as Dublin Core to be inadequate, as there are resources with no title or author, for instance, as those fields are not used by learners to browse and search for learning resources in the repository. Therefore, exporting OAI-PMH compliant records using OAI-DC is not possible, thus limiting the visibility of the learning objects in the repository outside the institution. We propose an architecture based on ontologies and the use of extended metadata records for both storing and refactoring such descriptions.

Collaborative explicit plasticity framework: a conceptual scheme for the generation of plastic and group-aware user interfaces

The advent of new advances in mobile computing has changed the manner we do our daily work, even enabling us to perform collaborative activities. However, current groupware approaches do not offer an integrating and efficient solution that jointly tackles the flexibility and heterogeneity inherent to mobility as well as the awareness aspects intrinsic to collaborative environments. Issues related to the diversity of contexts of use are collected under the term plasticity. A great amount of tools have emerged offering a solution to some of these issues, although always focused on individual scenarios. We are working on reusing and specializing some already existing plasticity tools to the groupware design. The aim is to offer the benefits from plasticity and awareness jointly, trying to reach a real collaboration and a deeper understanding of multi-environment groupware scenarios. In particular, this paper presents a conceptual framework aimed at being a reference for the generation of plastic User Interfaces for collaborative environments in a systematic and comprehensive way. Starting from a previous conceptual framework for individual environments, inspired on the model-based approach, we introduce specific components and considerations related to groupware.