Augmented Reality can visually convey abstract concepts and 3D spatial information in context with real-world objects, which makes it an ideal tool for training and educational purposes. This masters thesis investigates the use of Augmented Reality to assist with training for manual assembly and maintenance tasks. Improving on prior research, this approach combines Augmented Reality with a robust Intelligent Tutoring System to provide a more effective learning experience. After developing a modular software framework, a prototype was created that teaches the user to assemble hardware components on a computer motherboard. A thorough evaluation of the prototype found that the new intelligent approach significantly improves the learning outcome over traditional Augmented Reality training methods that do not employ Intelligent Tutoring Systems.

As more robots and sensors are deployed in work and home environments, there is a growing need for these devices to act with some degree of autonomy to fulfill their purpose. Automated planning can be used to synthesize plans of action that achieve this. The main challenge addressed in this thesis is to consider how the automated planning problem changes when considered in the context of environments that are populated by humans. Humans have their own plans, and automatically generated plans should not interfere with these. We refer to this as social acceptability. Opportunities for proactive behavior often arise during execution. The planner should be able to identify these opportunities and proactively plan accordingly. Both social acceptability and proactivity require the planner to identify relevant situations from available information. We refer to this capability as context-awareness, and it may require complex inferences based on observed human activities. Finally, planning may have to consider cooperation with humans to reach common goals or to enable robots and humans to support one another. This thesis analyzes the requirements that emerge from human-aware planning — what it takes to make automated planning socially acceptable, proactive, context aware, and to make it support cooperation with humans. We formally state the human-aware planning problem, and propose a planning and execution framework for human-aware planning that is based on constraint reasoning and flaw-resolution techniques, and which fulfills the identified requirements. This approach is modular and extendable: new types of constraints can be added and solvers can be exchanged and re-arranged. This allows us to address the identified requirements for humanaware planning. In particular, we introduce Interaction Constraints (ICs) for this purpose, and propose patterns of Ics for social acceptability, proactivity, and contextawareness. We also consider cooperative plans in which certain actions are assigned to humans and the implications that this has. We evaluate the proposed methods and patterns on a series of use cases, as well as a variety of domains including a real-world robotic system. We evaluate the proposed methods and patterns on a series of use cases, as well as a variety of domains including a real-world robotic system. introduce Interaction Constraints (ICs) for this purpose, and propose patterns of ICs for social acceptability, proactivity, and context-awareness. We also consider cooperative plans in which certain actions are assigned to humans and the implications that this has. We evaluate the proposed methods and patterns on a series of use cases, as well as a variety of domains including a real-world robotic system.

El objetivo general de la presente tesis doctoral es el desarrollo de herramientas para la obtencion, produccion y aplicacion de dos enzimas glicosidicas: �¿-L-arabinofuranosidasa proveniente del hongo Aspergillus niger (Abf) y �À-D-glucosidasa (Bgl), proveniente de la levadura Candida molischiana. Estas hidrolasas se emplean en la liberacion de azucares en procesos de conversion de biomasa y en la industria alimentaria, pero tambien en la sintesis de aminoglicosidos, glicoconjugados y oligosacaridos, compuestos de alto valor anadido para la industria quimico-farmaceutica. Las enzimas se han expresado en la levadura metilotrofica Pichia pastoris, y se han purificado para caracterizar sus propiedades bioquimicas. Asimismo, se ha comprobado su capacidad para catalizar reacciones de transglicosilacion con alto rendimiento. En relacion a su produccion, se ha establecido y validado un modelo basado en restricciones del metabolismo de Pichia pastoris, evaluando su consistencia mediante analisis de flujos metabolicos posibilistico. El modelo permite estimar la tasa de crecimiento y la distribucion de flujos intracelulares a partir de unos pocos flujos extracelulares medidos experimentalmente. Adicionalmente, el modelo se ha extendido para estimar la productividad de proteina recombinante, y se ha empleado para analizar diferentes condiciones de cultivo de las cepas transgenicas que sobreproducen las enzimas Abf y Bgl. Finalmente, las enzimas se han inmobilizado en organosilicas bimodales de la familia UVM-7. Los biocatalizadores resultantes se han caracterizado bioquimica y fisico-quimicamente y se han evaluado en diferentes aplicaciones de interes biotecnologico. / Tortajada Serra, M. (2012). Process development for the obtention and use of recombinant glycosidases: expression, modelling and immobilisation [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/16800 / Palancia

No description available.

This diploma thesis is concerned with practical realization of CBG (Constraint-based Geolocation) algorithm, which is one of the IP (Internet Protocol) geolocation technique. IP geolocation determines the localization of a computer workstation location on the basis of on its IP address. The factors causing delays in data transfer are discussed first, followed by discussion of the issue of measuring these delays. The detailed explanation of IP geolocation follows where its contexts as well as the active geolocation techniques (techniques based on delay measurement mentioned above) are described. After that a brief description of PlanetLab experimental network, which was used for geolocation techniques measuring, is presented followed by a section explaining the creation of reference points and targets, which are another necessary prerequisite for practical realization of the method. Then the practical realization is explained in the form of CBGfinder program and its verification on the basis of artificial input data along with an actual example of IP geolocation of a point in the Internet are provided. Last but not least the measurement results of CBG algorithm are introduced, based on the analysis of Bestline parameters of one of the PlanetLab nodes measured in the period of one month, followed by a discussion of the inaccuracy of geological position and the computation speed. The cumulative distribution function as well as the kernel density estimation are also described. Final part of the thesis consists of discussion on measured results compared to results of other geological techniques results implemented by colleagues of the author of this diploma thesis. The results are compared on the basis of average inaccuracy of geological position estimations and its median, computation time, cumulative distribution function and kernel density estimation are also taken into regard.

This thesis covers the topic of determination of geographical location of a host in internet network while utilizing measurement of the end to end delay and implementation of Constraint-Based Geolocation. Gradually I go through issue of the delay in computer networks and ways how to measure it. Next chapter describes a few ways to geolocate host in internet network with emphasis on the CBG method. Another chapter is dedicated to describing a way to project spherical coordinates to the two dimensional space, which has been used in implementation of geolocation method. Chapter about implementation builds upon the facts given in previous chapters while functions of the program written in the JAVA programing language are being explained. Two similar geolocation methods were implemented. By comparing the results gained by implementation, new method of geolocation is proposed and devised. It combines properities of both previous methods. There are results of the implemented methods and their comparation to the one of the source documents used in creation of this thesis in summary section.

The development of Supply Chain Management has occurred gradually over the latter half of the last century, and in this century will continue to evolve in response to the continual changes in the business environment. As organizations exhaust opportunities for internal breakthrough improvements, they will increasingly turn toward the supply chain for an additional source of untapped improvements. Manufacturers in particular can benefit from this increased focus on the chain, but the gains realized will vary by the type of supply chain. By applying basic production control principles to the chain, and effectively using tools already common at the production line level, organizations address important supply chain considerations. Both the Theory of Constraints and the factory physics principles behind the Constant WIP concepts focus on the system constraint with the aim of controlling inventory. Each can be extrapolated to focus on a system whose boundaries span the entire supply chain.

No description available.

O objetivo dessa dissertação é apresentar um problema de otimização do uso de recursos críticos no desenvolvimento de poços de petróleo marítimos e a técnica empregada para a abordagem proposta ao problema. A revisão da técnica de Programação por Restrições é feita analisando aspectos relevantes de modelagem, propagação, busca e paradigmas de programação. A especialização da técnica para problemas de escalonamento, o Escalonamento Baseado em Restrições, é descrita com ênfase nos paradigmas descritivos e nos mecanismos de propagação de restrições. Como subsídio ao uso da técnica em outros problemas, a linguagem comercial de modelagem OPL é apresentada no Apêndice. O objetivo da abordagem ao problema é obter um escalonador para maximizar a produção de óleo obtida no curto prazo. O escalonador proposto baseia-se na declaração de um modelo empregando variáveis de intervalo. Um algoritmo e um modelo de Programação Linear Inteira abordando relaxações do problema são apresentados para que se obtenha um limitante superior ao valor de produção ótimo. Para o cenário real no qual a análise experimental foi feita, foram obtidas soluções a menos de 16% do ótimo após uma hora de execução; e os testes em instâncias de tamanhos variados evidenciaram a robustez do escalonador. Direções para trabalhos futuros são apresentadas ponderando os resultados obtidos. / The aim of this work is to present a problem of optimizing the use of critical resources to develop offshore oil wells and the technique used to approach the problem. The review of the Constraint Programming technique is made by analyzing relevant aspects of modeling, propagation, search and programming paradigms. The specialization of the technique to scheduling problems, known as Constraint-Based Scheduling, is described with emphasis on descriptive paradigms and constraint propagation mechanisms. In order to support the use of the technique to tackle other problems, the commercial modeling language OPL is presented in the appendix. The aim of the approach to the problem is to obtain a scheduler that maximizes the short-term production of oil. The scheduler presented relies on the description of a model using interval variables. An algorithm and an Integer Linear Programming model approaching relaxations of the problem are presented in order to obtain an upper bound for the optimal production value. For the real scenario upon which the experimental analysis was done, there were found solutions within 16% of the optimal after one hour of execution; and the tests on instances of varied sizes gave evidence of the robustness of the scheduler. Directions for future work are presented based on the results achieved.

Web-based collaborative learning is becoming an increasingly popular educational paradigm as more individuals who are geographically isolated seek higher education. As such students do not meet face to face with their peers and teachers, support for collaboration becomes extremely important. Successful collaboration means asking questions to gain a better understanding of the main concepts, elaborating and justifying opinions and sharing and explaining ideas. When group members' combined skills are sufficient to complete the learning task, effective group work can result in greater overall achievement than individual learning. Intelligent Tutoring Systems (ITS) have been shown to be highly effective at increasing students' performance and motivation. They achieve their intelligence by representing pedagogical decisions about how to teach as well as information about the learner. Constraint based tutors are a class of ITSs that use Constraint-based Modelling(CBM) to represent student and domain models. Proposed by Ohlsson, CBM is based on learning from performance errors, and focuses on correct knowledge. In this thesis, we present COLLECT-UML, a collaborative constraint-based ITS that teaches object-oriented analysis and design using Unified Modelling Language (UML). While teaching how to design UML class diagrams, COLLECT-UML also provides feedback on collaboration. Being a constraint-based tutor, COLLECT-UML represents the domain knowledge as a set of syntax and semantic constraints. However, it is the first system to also represent a higher-level skill such as collaboration using the same formalism. We started by developing a single-user ITS that supported students in learning UML class diagrams. The system was evaluated in a real classroom, and the results showed that students' performance increased significantly. We then extended the system to provide support for collaboration as well as domain-level support. The enhancement process included implementation of the shared workspace, modification of the pedagogical module to support groups of users, designing and implementing a group-modelling component, and developing a set of meta-constraints which are used to represent an ideal model of collaboration. The effectiveness of the system was evaluated in two studies. In addition to improved problem-solving skills, the participants both acquired declarative knowledge about effective collaboration and did collaborate more effectively. The participants enjoyed working with the system and found it a valuable asset to their learning. The results, therefore, show that CBM is an effective technique for modelling and supporting collaboration in computer-supported collaborative learning environments.