Miracle-dz/UniFAR-FTUs huggingface dataset:
Interactive segmentation of abdominal organs from 3D CT and MRI images

Within the medical field, image segmentation is an important tool which can be used by radiologists and surgeons who want quantitative measurements of a lesion or organ. To be clinically useful, the tool has to be fast and easy to use. This work comprises implementation of the image foresting transform for segmentation using the Dijkstra algorithm and compares computation time between the implemented algorithm and a previous implemented algorithm, Bellman-Ford. These algorithms solve the shortest path with minimum cost problem. For a given cost function, similar results both in computation time and visual results were obtained with the two algorithms. Changing the cost functions, on the other hand, yielded very different segmentation results. The volume of liver and kidney was compared with manually delineated organs regarding seed planting and execution time. A graphical user interface has also been implemented.
Information Overload: Creating Value with the New Information Systems Technology

The new information systems technology the value of new information systems technology all new systems are client/server systems architecture is the amswer - what is the question? components large and small connecting the components - client/server and object technology iterative and incremental development user interface technology managing the new information systems technology conclusion - entering an era of constant change.
Multi-Camera Networks: Principles and Applications

The first book, by the leading experts, on this rapidly developing field with applications to security, smart homes, multimedia, and environmental monitoringComprehensive coverage of fundamentals, algorithms, design methodologies, system implementation issues, architectures, and applicationsPresents in detail the latest developments in multi-camera calibration, active and heterogeneous camera networks, multi-camera object and event detection, tracking, coding, smart camera architecture and middlewareThis book is the definitive reference in multi-camera networks. It gives clear guidance on the conceptual and implementation issues involved in the design and operation of multi-camera networks, as well as presenting the state-of-the-art in hardware, algorithms and system development. The book is broad in scope, covering smart camera architectures, embedded processing, sensor fusion and middleware, calibration and topology, network-based detection and tracking, and applications in distributed and collaborative methods in camera networks. This book will be an ideal reference for university researchers, R&D engineers, computer engineers, and graduate students working in signal and video processing, computer vision, and sensor networks.Hamid Aghajan is a Professor of Electrical Engineering (consulting) at Stanford University. His research is on multi-camera networks for smart environments with application to smart homes, assisted living and well being, meeting rooms, and avatar-based communication and social interactions. He is Editor-in-Chief of Journal of Ambient Intelligence and Smart Environments, and was general chair of ACM/IEEE ICDSC 2008.Andrea Cavallaro is Reader (Associate Professor) at Queen Mary, University of London (QMUL). His research is on target tracking and audiovisual content analysis for advanced surveillance and multi-sensor systems. He serves as Associate Editor of the IEEE Signal Processing Magazine and the IEEE Trans. on Multimedia, and has been general chair of IEEE AVSS 2007, ACM/IEEE ICDSC 2009 and BMVC 2009. The first book, by the leading experts, on this rapidly developing field with applications to security, smart homes, multimedia, and environmental monitoringComprehensive coverage of fundamentals, algorithms, design methodologies, system implementation issues, architectures, and applicationsPresents in detail the latest developments in multi-camera calibration, active and heterogeneous camera networks, multi-camera object and event detection, tracking, coding, smart camera architecture and middleware
Implementación de un Theremin utilizando Leap Motion

The objective of the project is to assess the characteristics and operation of the Leap Motion sensor of the company Leap Motion Inc., It is a recently created device, which is having a major impact on the field of interactivity, specifically in the field of virtual reality as it detects hands without needing to take anything in them. This requires a Web application will be created, which is a virtual Theremin, which can modulate the pitch and volume of the sound with the left hand and right hand. For the creation of this web application it is to be used mainly JavaScript accompanied by HTML5 and CSS3 for proper display in any web browser, and thus it can be used from any operating system that supports the device.
Capitalization on Item Calibration Error in Adaptive Testing

In adaptive testing, item selection is sequentially optimized during the test. Because the optimization takes place over a pool of items calibrated with estimation error, capitalization on chance is likely to occur. How serious the consequences of this phenomenon are depends not only on the distribution of the estimation errors in the pool or the conditional ratio of the test length to the pool size given ability, but may also depend on the structure of the item selection criterion used. A simulation study demonstrated a dramatic impact of capitalization on estimation errors on ability estimation. Four different strategies to minimize the likelihood of capitalization on error in computerized adaptive testing are discussed.
ASTROS-ID: Software for System Identification Using Mathematical Programming

Abstract : ASTROS is a multidisciplinary optimization computer program developed for Wright Laboratory. It seeks minimum weight structural designs subject to constraints on displacements, stresses, vibration frequencies, flutter speeds, etc. The program is based on a versatile set of software tools including a relational database, a matrix programming language, and an input description facility, all of which make the program readily extensible by knowledgable users. This report documents an extension to ASTROS (called ASTROS-ID) which makes it possible to tune finite element models to enhance their correspondence with measured frequencies and mode shapes. ASTROS existing optimization package is used to construct a constrained minimization problem where the user may choose to include particular frequencies and mode shape entries either in the objective function, in a least squares sense, or in constraints which require conformance within a given tolerance. Other terms include an excursion penalty and a weight deviation penalty. At the time of writing, ASTROS-ID was still in the research stage and had not been subject to beta testing.
Analisis Fenetik Kultivar Krisan (Chrysanthemum morifolium Ramat.)

Chrysanth ( Chrysanthemum morifolium Ramat.) atau dikenal sebagai Seruni merupakan tanaman herba hias. Chrysanth merupakan salah satu komoditas tanaman hias utama yang memiliki keragaman kultivar, seperti dapat dilihat dari bentuk dan variasi warna bunganya. Penelitian ini bertujuan untuk menyelidiki keragaman dan hubungan kesamaan kultivar chrysanth. Metode penelitian yang digunakan purposive sampling. Data dari chrysanth kultivar morfologi dan anatomi daun karakter dianalisis berdasarkan hubungan kemiripan dengan UPGMA (Unweighted Pasangan Metode Group dengan Arithmetic mean) metode menggunakan 5.05 software MEGA. Berdasarkan penelitian, delapan kultivar chrysanth diperoleh, yaitu C. morifolium 'Cut Nyak Dien', C. morifolium 'Dewi Ratih', C. morifolium 'Dwina Kencana', C. morifolium 'Dwina Pelangi', C. morifolium 'Elora ', C. morifolium' Pasopati ', C. morifolium' Puspita Nusantara ', dan C. morifolium' Swarna Kencana '. Kesamaan terdekat adalah antara C. morifolium 'Dwina Kencana' dan C. morifolium 'Dwina Pelangi' kultivar, dengan indeks ketidaksamaan terkecil 0,152, sedangkan kesamaan paling jauh adalah antara C. morifolium 'Elora' dan C. morifolium 'Swarna Kencana 'kultivar, dengan indeks ketidaksamaan terbesar 2,256.
Interactive comment on “ Source classification of upper tropospheric pollution by MIPAS HCN and C 2 H 6 global distributions ” by N . Glatthor et al

General Comments : In general, this paper is scientifically interesting as it illustrates very well the capability of high spectral resolution infrared sounder, in particular in limb-viewing measurements, to provide information on the pollutants in the upper troposphere. Moreover, it shows (like some previous papers) despite poor geographical coverage, this kind of instrument allows studying trace gases on global scale. HCN and C2H6 are both important tropospheric pollutants which are respectively good tracers of biomass burning, but the latter is also an indicator of industrial pollution. The analysis of concentration variations for both species over space and time completes well their existing literature. Comparisons with measurements obtained by other instruments are well documented. The study of global distributions is also completed by backward trajectories maps and the conclusions on the main sources origins and locations seem to be consistent. In consequence, I consider the paper suitable for publication in ACP C4368
Merging Meshes from Different 3D Scanners

Creating digital representation of physical objects is becoming more and more popular as scanning technology becomes more available on the consumer marked. High precision close range scanners, based on structured light, can produce high precision meshes in short amount of time, while automated photogrammetric software can process images taken with ordinary cameras to re-create a three dimensional scenes. Unfortunately the quality of digitalization is bound to the volume of the captured scene, creating a trade of between quality and speed of acquisition. In this master thesis we present software that can merge the output of two different scanners to create a combined mesh with regions of different resolution. We propose two methods to identify corresponding regions in meshes and a variation of greedy triangulation algorithm. At the end we perform tests on combined meshes to assess the quality of merging and present the results.
Introducing corpus-based rules and algorithms in a rule-based machine translation system

Machine translation offers the challenge of automatically translating a text from one natural language into another. Statistical methods origi nating from the field of information theory have shown to be a major breakthrough in th e field of machine translation. Prior to this paradigm, many systems had been d velopped following a rule-based approach. This denotes a system based on a lingui st c description of the languages involved and of how translation occurs in the mind of the (human) translator. Statistical models on the contrary use empirical means and m ay work with very little linguistic hypothesis on language and translation a s performed by humans. This had implications for rule-based translation systems, in te rms of software architecture and the nature of the rules, which were manually input and lac k any statistical feature. In the view of such diverging paradigms, we can imagine tryin g to combine both in a hybrid system. In the present work, we start by examining the state-of-the-art of both rule-based and statistical systems. We restrict the ru le-based approach to transferbased systems. We compare rule-based and statistical parad igms in terms of global translation quality and give a qualitative analysis of thei r r spective specific errors. We also introduce initial black-box hybrid models that confirm there is an expected gain in combining the two approaches. Motivated by the qualitative analysis, we focus our study an d experiments on lexical phrasal rules. We propose a setup allowing to extract suc h resources from corpora. Going one step further in the integration of rule-based and s tatistical approaches, we then examine how to combine the extracted rules with decodin g modules that will allow for a corpus-based handling of ambiguity. This then lead s to the final delivery of this work: a rule-based system for which we can learn non-det erministic rules from corpora, and whose decoder can be optimised on a tuning set in the same domain.
Simulation and Implementation of Temporal Logic-based Motion Planning for Autonomous Vehicles

This thesis focuses on temporal logic-based motion planning for autonomous ve-hicles. Specically planning based on Linear Temporal Logic statements. Thistype of motion planning allows for automatic generation of correct by construc-tion controllers that implement missions dened in a language that is both quiteexpressive and easy to understand.The main contribution of this thesis is to provide a framework of reuseablePython modules that implement algorithms for the production of plans basedon Linear Temporal Logic and ecient online revising of existing plans when theenvironment changes.The general case of oine planning is presented as well as several options foronline planning based on partially known and dynamic environments. The dif-ferent online planning methods are simulated and their feasibility in dierentscenarios is discussed. Finally, implementation concerns and future directionsare discussed.
Verkko-oppimateriaalin multimodaalisuus : kohteena YLEn Kansalaisen ABC -verkko-oppimateriaalit

Today information and communication technology allows us to use multimedia more than ever before in e-learning materials. Multimedia though can increase cognitive load in learning process. Because of that it cannot be taken granted what kind of learning materials should be produced. This paper intended to study the diversity of e-learning materials and the factors related cognitive load. The main purpose was to study the multimodality of the multimedia learning materials. The subject of this study is the learning materials on the web site “Kansalaisen ABC” published by YLE. Learning materials in the web site were approached from three different perspectives. The specific questions were: (1) What kind of form features are used in the representations of the learning material? Are certain form features preferred over others? (2) How do the cognitive load factors take shape in learning materials and between the forms? (3) How does the multimodality phenomenon appear in the learning materials and in what ways are form features and cognitive load factors related to multimodality? In this case study a qualitative approach was used. Analysis of the form features and the cognitive load factors in learning materials were based on content analysis. Form features included the specification of a format, the structure, the interactivity type and the type of learning material. The results showed that the web sites include various representations of both verbal and visual forms. Cognitive load factors were related mostly to visual than verbal material. Material presented according to the principles of cognitive multimedia theory multimedia representations did not cause cognitive overload in the informants. Cognitive load was increased in the case of students needing to split their attention between the multimedia forms in time and place. The results indicated how different individual characteristics are reflected by the cognitive load factors.
Your Word Is My Word It Is Our Word

This paper was submitted to the CLESOL (Community Languages and English for Speakers of Other Languages) 2012 International Conference in Palmerston North, New Zealand. Words and language represent beliefs and values, and the culture of people in their community(ies) for sharing ideas and opinions, convey messages to teach, admonish, instruct, and inform people. This paper reports on doctoral research into the importance of the home as the first port of learning and reservoir of cultural knowledge. Home and community provide opportunities to further knowledge of how language is used and to interact with other people. Young members become familiar with the use of words or language and its contextual and cultural meaning(s). From this practice, children will increase their understanding of how words/language is used and help to maintain their language.
Securing the use of sensitive data on remote devices using a hardware-software architecture

Many corporations, private organizations, and government agencies maintain sensitive data that must be accessed remotely by their employees using portable devices. The organizations have a responsibility to secure the data to ensure that it does not get used inappropriately or get disseminated beyond these trusted users. We have designed a computer architecture for these devices, combining new hardware and software, that allows trust to be placed in the devices even when they are not under the organization's physical control. We have designed, implemented, and tested the Authority-mode Secret-Protection Architecture, which places roots of trust in hardware in the processor chip. It provides new hardware mechanisms based on these roots of trust to protect the execution of trusted software and to provide that software with master secrets. The software uses the master secrets to secure the sensitive data and to communicate securely over the network. The user interacts with this software, which enforces security policies while giving access to data. The organization designates a central authority that will manage the software on the devices, set security policies, communicate with the devices, and control access to data. Our new hardware mechanisms bind together the device's on-chip roots of trust with the authority's data and trusted software, such that the authority can be assured that the security policies will always be enforced. To show how our design can be adapted to other platforms, we provide a modified architecture for embedded devices. We additionally demonstrate how the full architecture can be integrated with trustworthy system software in a mandatory access control system. Finally, we have built a testing framework that can help designers validate new security architectures like ours. The framework allows new architectures to be modeled in a virtualization environment, where a separate testing system has complete controllability and observability over hardware and software. It is used to test the effects of various security attacks and to assist in the development of trusted software for the new architecture. We use the framework to test the prototype hardware and software of our architecture.
Focus in High School Mathematics: Reasoning and Sense Making in Statistics and Probability

Reasoning about and making sense of statistics and probability are essential to students' future success. This volume belongs to a series that supports NCTM's Focus in High School Mathematics: Reasoning and Sense Making by providing additional guidance for making reasoning and sense making part of the mathematics experiences of all high school students every day. Six investigations illustrate how to help high school students develop their skills in working with data. The investigations emphasise the roles of reasoning and sense making in defining a statistical question and collecting, analysing and interpreting data to answer it. The authors examine the key elements of statistical reasoning identified in Focus in High School Mathematics: Reasoning and Sense Making and elaborate on the associated reasoning habits. The investigations show how students can use these habits in analysing data sets, constructing and comparing representations of data and using samples and simulations to gather data. They reason about distributions of data and how to use measures of centre, lines of best fit and other tools and techniques to detect trends, make predictions and determine the allowable scope of conclusions. The development of statistical reasoning must be a high priority for school mathematics. This book offers a blueprint for emphasising statistical reasoning and sense making in the high school curriculum.
The Psychologist's Companion: A Guide to Writing Scientific Papers for Students and Researchers

Introduction 1. Eight common misconceptions about psychology papers 2. How to generate, evaluate, and sell your ideas for research and papers 3. Literature research 4. Writing a literature review 5. Planning and writing the experimental research paper 6. A word about content, language, and style 7. Commonly misused words 8. American Psychological Association guidelines for psychology papers 9. Guidelines for data presentation 10. What makes a good paper great? Standards for evaluating psychology papers 11. Ethics in research and writing 12. Submitting a paper to a journal 13. How to make your paper even better: proofreading, revising, and editing 14. Writing a grant or contract proposal 15. How to find a book publisher 16. Writing a lecture 17. Article writing 101.
Planeamento e Execução de Manobras de Veículos Aquáticos com Restrições de Movimento

Throughout the last few years there has been an exponential growth of the presence of robotic systems in society. Primarily motivated by necessity, the evolution of robotics in the industrial area has come about with the use of industrial manipulators. Nowadays, investigators have been focusing their efforts in the development of mobile robots, which pave the way to a whole new array of questions, and thus, possibilities. A mobile robot is, simply put, a system that must be capable of moving and interacting in a known environment. This paper presents a system that is responsible for automating the task of driving an autonomous underwater vehicle. The system allows to control the AUV through the reading of already defined and instructed maneuvers, by means of the minimum curvature radius that the vehicle can execute, in a way that allows the vehicle to dock or inspect the underwater bed. To reach this point it was also necessary to study some algorithms to be able to create the planning of mobile robot trajectories: (i) a topology that decomposes the configuration space in cell divisions; (ii) artificial potential fields; and (iii) graph search. Contributing to the path planning of autonomous vehicles, the algorithms 1 and 2 were defined by using cinematic and dynamic mathematical models which define a vehicle subjected to nonholonomy restrictions. The result of these algorithms show that the AUV will be docked correctly even in environments where the available space has been restricted. MARES is one of such AUV, developed in the OceanSys laboratory, belonging to the INESC TEC in Faculdade de Engenharia da Universidade do Porto. It’s quite peculiar feature of a propulsion system uncoupled allows it to make movements in restricted environments with the collision risk reduced to a minimum making it the adequate vehicle for the project.