Miracle-dz/UniFAR-FTUs huggingface dataset:
Reconstruction tridimensionnelle par stéréophotométrie

Cette these traite de la reconstruction 3D par stereophotometrie, qui consiste a utiliser plusieurs photographies d'une scene prises sous le meme angle, mais sous differents eclairages. Nous nous interessons dans un premier temps a des techniques robustes pour l'estimation des normales a la surface, et pour leur integration en une carte de profondeur. Nous etudions ensuite deux situations ou le probleme est mal pose : lorsque les eclairages sont inconnus, ou lorsque seuls deux eclairages sont utilises. La troisieme partie est consacree a l'etude de modeles plus realistes, a la fois en ce qui concerne les eclairages et la reflectance de la surface. Ces trois premieres parties nous amenent aux limites de la formulation classique de la stereophotometrie : nous introduisons finalement, dans la partie 4, une reformulation variationnelle et differentielle du probleme qui permet de depasser ces limites.
A new method for parsing student text to support computer-assisted assessment of free text answers

Due to current trends in staff-student ratios, the assessment burden on staff will increase unless either students are assessed less, or alternative approaches are used. Much research and effort has been aimed at automated assessment but to date the most reliable method is to use variations of multiple choice questions. However, it is hard and time consuming to design sets of questions that foster deep learning. Although methods for assessing free text answers have been proposed, these are not very reliable because they either involve pattern matching or the analysis of frequencies in a “bag of words”. The first step towards automatic marking of free text answers by comparing the meaning of student answers with a single model answer is to parse the student work. However, because not all students are good at writing grammatically correct English, it is vital that any parsing algorithm can handle ungrammatical text. In this paper, we present preliminary results of using a relatively new linguistic theory, Role and Reference Grammar, to parse student texts and show that ungrammatical sentences can be parsed.
Validation Method of Simulation Model Using Wavelet Transform

The validation of a simulation model is a key to demonstrate that the simulation model is reliable. However, among various validation methods have been introduced, it is very poor to research the specific techniques for the time series data. Therefore, this paper suggests the methodology to verify the simulation using the time series data by Wavelet Transform, Power Spectrum and Coherence. This method performs 2 steps as followed. Firstly, we get spectrum using the Wavelet transform available for non-periodic signal separation. Secondly, we compare 2 patterns of output data from simulation model and actual system by Coherence Analysis. As a result of comparing it with other validation techniques, the suggested way can judge simulation model accuracy more clearly. By this way, we can make it possible to perform the simulation validation test under various situations using detailed sectional validation method, which has been impossible using a single statistics for the whole model.
Compound Stress in English: The Phonetics and Phonology of Prosodic Prominence

While it has long been noted that the first element of most, but not of all English nominal compounds is perceptually most prominent (e.g. TABLE cloth vs. paper CUP), a principled empirical investigation of the acoustics, perception, and the phonological distribution of these two prominence patterns has been missing. Using a corpus of spoken language, the current volume presents the first thorough and detailed investigation of these areas, while also introducing several methodological and statistical innovations to the field.
The role of competitive intelligence on improving exports

Article history: Received January 20, 2014 Accepted 30 August 2014 Available online September 15 2014 Competitive intelligence is the art of gathering, processing and analyzing the information about the competitors and environment in order to create and sustain the competitive advantage. The application of competitive intelligence in export companies can provide a complete picture of current and future competitive status for managers in addition to obtaining the most appropriate strategic decisions, which could ultimately lead to the improved exports in these companies. This study investigates the role of competitive intelligence for improvement of exports in Iranian industries. Using structural equation modeling, the study has detected six factors including understanding the competitive environment, intelligent response, superior features, customer orientation, managerial skills and competitive advantage. © 2014 Growing Science Ltd. All rights reserved. Competitive Intelligence Improved Exports Decision Making Competitiveness
Towards Trustworthy, Efficient and Scalable Distributed Wireless Systems

Advances in wireless technologies have enabled distributed mobile devices to connect with each other to form distributed wireless systems. Due to the absence of infrastructure, distributed wireless systems require node cooperation in multi-hop routing. However, the openness and decentralized nature of distributed wireless systems where each node labors under a resource constraint introduces three challenges: (1) cooperation incentives that effectively encourage nodes to offer services and thwart the intentions of selfish and malicious nodes, (2) cooperation incentives that are efficient to deploy, use and maintain, and (3) routing to efficiently deliver messages with less overhead and lower delay. While most previous cooperation incentive mechanisms rely on either a reputation system or a price system, neither provides sufficiently effective cooperation incentives nor efficient resource consumption. Also, previous routing algorithms are not sufficiently efficient in terms of routing overhead or delay. In this research, we propose mechanisms to improve the trustworthiness, scalability, and efficiency of the distributed wireless systems. Regarding trustworthiness, we study previous cooperation incentives based on game theory models. We then propose an integrated system that combines a reputation system and a price system to leverage the advantages of both methods to provide trustworthy services. Analytical and simulation results show higher performance for the integrated system compared to the other two systems in terms of the effectiveness of the cooperation incentives and detection of selfish nodes.
Design and Implementation of a Name Matching Algorithm for Persian Language

Name matching plays a vital and crucial role in many applications. They are for example used in information retrieval or deduplication systems to do comparisons among names to match them together or to find the names that refer to identical objects, persons, or companies. Since names in each application are subject to variations and errors that are unavoidable in any system and because of the importance of name matching, so far many algorithms have been developed to handle matching of names. These algorithms consider the name variations that may happen because of spelling, pattern or phonetic modifications. However most existing methods were developed for use with the English language and so cover the characteristics of this language. Up to now no specific one has been designed and implemented for the Persian language. The purpose of this thesis is to present a name matching algorithm for Persian. In this project, after consideration of all major algorithms in this area, we selected one of the basic methods for name matching that we then expanded to make it work particularly well for Persian names. This proposed algorithm, called Persian Edit Distance Algorithm or shortly PEDA, was built based on the characteristics of the Persian language and it compares Persian names with each other on three levels: phonetic similarity, character form similarity and keyboard distance, in order to give more accurate results for Persian names. The algorithm gets Persian names as its input and determines their similarity as a percentage in the output. In this thesis three series of experiments have been accomplished in order to evaluate the proposed algorithm. The f-measure average shows a value of 0.86 for the first series and a value of 0.80 for the second series results. The first series of experiments have been repeated with Levenshtein as well, and have 33.9% false negatives on average while PEDA has a false negative average of 6.4%. The third series of experiments shows that PEDA works well for one edit, two edits and three edits with true positive average values of 99%, 81%, and 69% respectively.
Sharing memory in distributed systems : methods and applications

Information exchange between processors is essential for any efficient parallel computation. One very convenient mechanism for exchanging information is for processors to utilize shared variables. In this work, we present efficient algorithms for sharing variables on two very different types of distributed systems. The first is a synchronous, bounded degree network of processors each with an associated local memory. The problem we consider in this case is how to distribute and route the shared variables among the processor's local memories. The solution combines the use of universal hash functions for distributing the variables and probabilistic two-phase routing. The second model we consider is an asynchronous broadcast model. Here each processor has a cache and the caches are connected to each other and to a main memory over a bus. Only one variable can be transmitted over the bus per bus cycle, and shared variables may reside in any number of caches. A block retention algorithm associated with each cache monitors bus and processor activity in order to determine which blocks of data to keep and which to discard. There is a tradeoff: If a certain variable is dropped from a cache, then a subsequent read for that variable requires bus communication. On the other hand, if a variable is not dropped from a certain cache, then a write by some other processor to that variable requires a bus cycle so that the first cache will obtain the updated value. For several variants of this model we present on-line block retention algorithms which incur a communication cost that is within a constant factor of the cost to the optimal off-line algorithm.
计算机病毒(computer virus)

一种通过修改程序,并把自己的拷贝包括在内去“传染”其它程序的程序。 “病毒”可侵入到整个系统中去,使其受到感染,而每个受感染的程序又可能成为一个新的病毒源,继续去传染其它的程序,直至整个系统停机瘫痪为止。 70年代中期,美国的一个科幻小说中,首次描写了在信息社会中,利用计算机进行正义与邪恶的斗争。 小说中虚构了一种神秘的、能够自我复制的程序,它控制着全世界成千上万台计算机的操作系统,一俟时机成熟,这个程序就将摧毁所有计算机,甚至使全世界发生重大灾难。
CALCULATION OF LEAF AREA INDEX AND OTHER CANOPY INDICES FROM GAP FRACTION: A MANUAL FOR THE LAICALC SOFTWARE

LAICALC is a computer program that calculates leaf area index (LAI) and other canopy indices from gap fraction measurements. Gap fraction, the proportion of unobstructed sky for a range of zenith angles, can be measured by a variety of techniques, including hemispherical photography and optical sensors. Various canopy indices can be calculated from gap fraction based on inversion models. The LAICALC software, written in the "C" programming language and available on PC and UNIX platforms, performs five main calculations: 1) effective leaf area index (LAIeff), 2) leaf angle distribution, 3) mean tilt angle, 4) extinction coefficients as a function of zenith angle, and 5) skyview factor. A flexible configuration file specifies the format of input data, the calculations to be reported, and the format of output. Thus, LAICALC serves as a general-purpose gap fraction analysis program, useful for convenient calculation of canopy indices.
CONSTRUCCIÓN DEL CONOCIMIENTO PROFESIONAL DE PSICÓLOGOS Y PROFESORES DE PSICOLOGÍA EN SISTEMAS DE ACTIVIDAD: DESAFÍOS Y DILEMAS DEL APRENDIZAJE SITUADO EN COMUNIDADES DE PRÁCTICA.

Se analizaron Modelos Mentales Situados de Intervencion de egresados del profesorado de Psicologia de la UBA en Sistemas de Actividad para el analisis y resolucion de problemas e intervencion profesional y se ponderaron indicadores que permitan caracterizar la construccion rol profesional en el marco de la interaccion en sistemas de actividad, en vistas a la conformacion de una red de acompanamiento a la profesionalizacion. Se aplico el Cuestionario sobre Situaciones-Problema de Intervencion Profesional en una muestra intencional de 11 Egresados del Profesorado universitario de Psicologia de la UBA. Los datos fueron recogidos entre 2012 y 2013. Para el analisis se utilizo la Matriz para Analisis de los datos (Erausquin y Basualdo, 2005), ponderando ejes 3 y 7 de la dimension Situacion Problema; y ejes 3, 5 y 8 de la dimension Intervencion Profesional. Se observo una tendencia al corrimiento de la figura del psicologoprofesor hacia roles alternativos al pedagogico. Por ultimo, surgieron referencias a las tensiones de la insercion profesional entre lo clinico y lo educativo y sobre el valor de lo vincular como facilitador u obstaculo de la practica profesional. Palabras clave Modelos mentales, Profesorado en Psicologia, Profesionalizacion Abstract of turning harder or easier the professional practice. Key words Mental models, Faculty in psychology, Professionalization
TÜRK SİGORTA SEKTÖRÜNDE YABANCI PAYININ SEKTÖRE OLASI ETKİLERİ: AB PERSPEKTİFİNDE DEĞERLENDİRİLMESİ

Gunumuzde mali piyasalar icinde giderek artan bir oneme sahip olan sigorta sektoru, degisen piyasa kosullarina uyum saglayabilmek ve gelisimini surdurebilmek icin dinamik bir yapinin yani sira finansal kaynaga da ihtiyac duymaktadir. Dunya’daki globallesme hareketlerine bagli olarak sigorta sektorunde artan rekabet, sirket birlesmelerini ve evliliklerini zorunlu kilarak uretim hacimlerinin, urun ve hizmet cesitliliginin gelismesine de katki saglamis, gunden gune yabanci sermaye olgusunu tum ulkeler icin onemli kilmistir. Sigortacilik acisindan dogrudan yabanci sermaye kavrami, ihtiyac duyulan sermaye birikimini saglayan araclardan birisi olma niteliginde olup teknolojik yenilik ve yonetim bilgisiyle beraber rekabeti gelistirip istihdam artisi yaratan, buyume ve ekonomik kalkinmanin finansmaninda ise onemli faydalar saglayan bir unsur olarak kabul edilebilir. Bu dogrultuda buyuk bir gelisme potansiyeline sahip olan Turk sigorta sektorune son yillarda yogun yabanci sermaye girisleri gorulmektedir. Yabanci sermaye girisleri icinde ozellikle Avrupa Birligi (AB) ulkelerinin Turk sigorta sektorundeki payi ve rolu giderek artmaktadir.
Parallelisation with a Grid Abstraction

This paper describes a new technique for automatic parallelisation in the Z-polyhedral model. The presented technique is applicable to arbitrarily nested loopnests with iteration spaces that can be represented as unions of Z-polyhedra and affine modular data-access functions. The technique partitions both iteration and data spaces of the computation. The maximal amount of parallelism that can be represented using grid partitions is extracted.
Mobile devices and learner interaction inside and outside the classroom

Language students nowadays frequently bring personal mobile devices to the classroom. The variation in devices may limit their pedagogic exploitation to negotiated student – student work outside lesson time and the bringing of results back for teacher-directed follow-up activities. Yet the notion of mobility and the co-construction of conversations in the process (Kukulska-Hulme, 2009: 159) are of greater value than the learning activities themselves. The paper reports on the use by lower-intermediate (IELTS 4.5) English language students of their mobile phones. The outcome suggests that mobile assisted language learning promotes greater student - student interaction in the context of structured collaborative learning both inside and outside the classroom and offers a way for language students to develop their own blended learning materials. Reference Kukulska-Hulme, A and L. Shield. 2008. ‘An overview of mobile assisted language-learning: From content delivery to supported collaboration and interaction’. ReCALL 20/3: 271-289.
Steuerung und Kontrolle von Omnidirektionalen Fuballrobotern

The system includes at least two power disc elements, each mounted for rotation on a central shaft which is typically fixed. The first power disc element includes a first peripheral gear portion at the rim of the power disc element by which the first power disc element is turned. A first system gear mounted on a first system shaft mates with the first peripheral gear portion with first system shaft being offset from the central shaft. The first power disc element also has a second peripheral gear portion in the vicinity of the rim extending forwardly of the first power disc element. A second power disc element has a plurality of outer drive gears mounted for rotation to a rearwardly facing surface, positioned to mate with the second peripheral gear portion on the first power disc element. A central gear is fixed to the central shaft and mates with the outer drive gears on the second power disc element. A second system gear mates with a peripheral gear portion of the second power disc element, with the second system gear mounted on a second system shaft which is also offset from the central shaft.
Direct Manipulation for Information Visualization

There is a tremendous effort from the information visualization (Infovis) community to design novel, more efficient or more specialized desktop visualization techniques. While visual representations and interactions are combined to create these visualizations, less effort is invested in the design of new interaction techniques for Infovis. In this thesis, I focus on interaction for Infovis and explore how to improve existing visualization techniques through efficient yet simple interactions. To become more efficient, the interaction techniques should reach beyond the standard widgets and Window/Icon/Menu/Pointer (WIMP) user interfaces. In this thesis, I argue that the design of novel interactions for visualization should be based on the direct manipulation paradigm, instrumental interaction, and take inspiration from advanced interactions investigated in HCI research but not well exploited yet in Infovis. I take examples from multiple projects I have designed to illustrate how opportunistic interactions can empower visualizations and I explore design implications raised by novel interaction techniques, such as the tradeoff between cognitive congruence and versatility, the problem of engaging interaction, and the benefits of seamless, fluid interaction. Finally, I provide guidelines and perspectives, addressing the grand challenge of building or consolidating the theory of interaction for Infovis.
'SciPlore MindMapping' : A Tool for Creating Mind Maps Combined with PDF and Reference Management

Mind maps are useful tools for researchers. They can use mind maps, for example, to manage their literature or to draft research papers. Dozens of tools exist to create mind maps, for instance, FreeMind, MindManager, and XMind. However, researchers need special features such as the possibility of accessing their bibliographic databases (e.g., BibTeX) directly from within the mind mapping software. Therefore, we developed SciPlore MindMapping, the first mind mapping tool solely focusing on researchers' needs. It offers all the features one would expect from a standard mind mapping software, plus three additional features for researchers.
Modular Stacking-based Context-Sensitive Program Analysis

This paper presents a systematic approach to scaling stackingbased context-sensitive program analysis yielded by weighted pushdown systems, and demonstrates its effectiveness by applications to Java pointsto analysis. Our approach relies on the view offormulating stacking-based analysis as AGPs (abstract grammar problem), and reducing the analysis problem to fixed-point calculation over the equation system encoded by grammar productions. To characterize points-to analysis that does not assume an existing program control flow, we propose Contracted AGP, and a symbolic sliding-window based algorithm for it. The algorithm aims at reducing both time and memory costs, and its correctness is proved in terms of chaotic iteration. Finally, we instantiated the algorithm within Japot, a context-sensitive points-to analyzer for Java. Experiments show two-fold benefits of our approach in practice, with (i) scaling Japot to Dacapo benchmark suite, and (ii) a speed-up of 3x faster in average, given an adjustable memory budget.
Data Mining via Support Vector Machines: Scalability, Applicability, and Interpretability

KDD (Knowledge Discovery and Data mining) has been extensively studied in the last decade as data is continuously increasing in size and complexity. This thesis introduces three practical data mining problems—(1) classifying with large data sets, (2) classifying without negative data (i.e., single-class classification), and (3) discovering discriminant feature combinations—and presents solutions that are based on a principled methodology, i.e., Support Vector Machines (SVMs), to produce higher quality results with less human intervention. We first address several challenges in adopting SVM technology to the practice of data mining: (1) scalability: SVMs are unscalable to data size while common data mining applications often involve millions or billions of data objects, (2) applicability: SVMs are limited to (semi-) supervised learning which is mostly applied to binary classification problems, and (3) interpretability: It is hard to interpret and extract knowledge from SVM models. We then propose three principled solutions, which address these challenges, for the problems of the large-scale classification, the single-class classification, and the discriminant feature combination discovery. The contributions of this thesis cover the applications of bioinformatics and text-and-Web mining as well as methodologies of data mining and machine learning.