ONTIC: A Knowledge Representation System for Mathematics

Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic system has been used to build a data base of definitions and lemmas leading to a proof of the Stone representation theorem for Boolean lattices. The Ontic system has been used to explore issues in knowledge representation, automated deduction, and the automatic use of large data bases.

A construção de autoridade monetária e democracia: a experiência brasileira no contexto da integração econômica em escala global

Este relatório apresenta os primeiros resultados semestrais de pesquisa junto a um grupo de cientistas políticos focando a política monetária (A construção de autoridade monetária e democracia: A experiência brasileira no contexto da integração econômica em escala global, FAPESP Processo no 2001/05568-8). Durante este primeiro semestre o trabalho de pesquisa consistiu em uma revisão geral da bibliografia sobre a política monetária e instituições na ciência política e na economia, como também a criação de novos bancos de dados sobre credito, moeda, e instituições financeiras no Brasil de 1860 a 2002 e, finalmente, o desenvolvimento e aplicação de uma pesquisa de opinião à uma amostra de 75 Deputados Federais brasileiros.

Interação genótipo-ambiente para a produção de leite em bubalinos no Brasil e na Colômbia

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Desenvolvimento e aplicação de um software cristalográfico com protocolo de acesso a um banco de dados distribuído

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Knowledge elicitation and knowledge representation in a large domain with multiple experts

This paper describes the knowledge elicitation and knowledge representation aspects of a system being developed to help with the design and maintenance of relational data bases. The size algorithmic components. In addition, the domain contains multiple experts, but any given expert's knowledge of this large domain is only partial. The paper discusses the methods and techniques used for knowledge elicitation, which was based on a "broad and shallow" approach at first, moving to a "narrow and deep" one later, and describes the models used for knowledge representation, which were based on a layered "generic and variants" approach. © 1995.

Análise do uso do Portal de Periódicos da CAPES na perspectiva de mestres e doutores formados pelo Programa de Pós-graduação em Administração da UFRN

The Brazilian CAPES Journal Portal aims to provide Information in Science and Technology (IST) for academic users. Thus, it is considered a relevant instrument for post-graduation dynamics and the country´s Science and Technology (S&T) development. Despite its importance, there are still few studies that focus on the policy analysis and efficiency of these resources. This research aims to fill in this gap once it proposes an analysis of the use of the CAPES Journal Portal done on behalf of the master´s and doctoral alumni of the Post Graduate Program in Management (PPGA) at the Federal University of Rio Grande do Norte (UFRN). The operationalization of the research´s main objective was possible through the specific objectives: characterize graduate profile as CAPES Journal Portal users b) identify motivation for the use of CAPES Journal Portal c) detect graduate satisfaction degree in information seeking done at CAPES Journal Portal d) verify graduate satisfaction regarding the use of the CAPES Journal Portal e) verify the use of the information that is obtained by graduates in the development of their academic activities. The research is of descriptive nature employing a mixed methodological strategy in which quantitative approach predominates. Data collection was done through a web survey questionnaire. Quantitative data analysis was made possible through the use of a statistical method. As for qualitative analysis, there was use of the Brenda Dervin´s sense-making approach as well as content analysis in open ended questions. The research samples were composed by 90 graduate students who had defended their dissertation/thesis in the PPGA program at UFRN in the time span of 2010-2013. This represented by 88% of this population. As for user profile, the analysis has made evident that there are no quantitative differences related to gender. There is predominance of male graduates that were aged 26 to 30 years old. As for female graduates, the great majority were 31 o 35 years old. Most graduates had Master´s degree scholarship in order to support their study. It was also seen that the great majority claim to use the Portal during their post graduation studies. The main reasons responsible for non use was: preference for the use of other data bases and lack of knowledge regarding the Portal. It was observed that the most used information resources were theses and dissertations. Data also indicate preference for complete text. Those who have used the Portal also claimed to have used other electronic information fonts in order to fulfill their information needs. The information fonts that were researched outside in the Portal were monographs, dissertations and thesis. Scielo was the most used information font. Results reveal that access and use of the Portal has been done in a regular manner during post graduation studies. But on the other hand, graduates also make use of other electronic information fonts in order to meet their information needs. The study also confirmed the important mission performed by the Portal regarding Brazilian scientific communication production. This was seen even though users have reported the need for improvement in some aspects such as: periodic training in order to promote, encourage and teach more effective use of the portal; investment aiming the expansion of Social Sciences Collection in the Portal as well as the need to implement continuous evaluation process related to user satisfaction in regarding the services provided.

The role of metalinguistic awareness and of L2 proficiency in positive lexical transfer from English (L2) to German (L3) by French-speaking Quebeckers

Il a été avancé que des apprenants expérimentés développeraient des niveaux élevés de conscience métalinguistique (MLA), ce qui leur faciliterait l’apprentissage de langues subséquentes (p.ex., Singleton & Aronin, 2007). De plus, des chercheurs dans le domaine de l’acquisition des langues tierces insistent sur les influences positives qu’exercent les langues précédemment apprises sur l’apprentissage formel d’une langue étrangère (p.ex., Cenoz & Gorter, 2015), et proposent de délaisser le regard traditionnel qui mettait l’accent sur l’interférence à l’origine des erreurs des apprenants pour opter pour une vision plus large et positive de l’interaction entre les langues. Il a été démontré que la similarité typologique ainsi que la compétence dans la langue source influence tous les types de transfert (p.ex., Ringbom, 1987, 2007). Cependant, le défi méthodologique de déterminer, à la fois l’usage pertinent d’une langue cible en tant que résultat d’une influence translinguistique (p.ex., Falk & Bardel, 2010) et d’établir le rôle crucial de la MLA dans l’activation consciente de mots ou de constructions reliés à travers différentes langues, demeure. La présente étude avait pour but de relever ce double défi en faisant appel à des protocoles oraux (TAPs) pour examiner le transfert positif de l’anglais (L2) vers l’allemand (L3) chez des Québécois francophones après cinq semaines d’enseignement formel de la L3. Les participants ont été soumis à une tâche de traduction développée aux fins de la présente étude. Les 42 items ont été sélectionnés sur la base de jugements de similarité et d’imagibilité ainsi que de fréquence des mots provenant d’une étude de cognats allemands-anglais (Friel & Kennison, 2001). Les participants devaient réfléchir à voix haute pendant qu’ils traduisaient des mots inconnus de l’allemand (L3) vers le français (L1). Le transfert positif a été opérationnalisé par des traductions correctes qui étaient basées sur un cognat anglais. La MLA a été mesurée par le biais du THAM (Test d’habiletés métalinguistiques) (Pinto & El Euch, 2015) ainsi que par l’analyse des TAPs. Les niveaux de compétence en anglais ont été établis sur la base du Michigan Test (Corrigan et al., 1979), tandis que les niveaux d’exposition ainsi que l’intérêt envers la langue et la culture allemandes ont été mesurés à l’aide d’un questionnaire. Une analyse fine des TAPs a révélé de la variabilité inter- et intra-individuelle dans l’activation consciente du vocabulaire en L2, tout en permettant l’identification de niveaux distincts de prise de conscience. Deux modèles indépendants de régressions logistiques ont permis d’identifier les deux dimensions de MLA comme prédicteurs de transfert positif. Le premier modèle, dans lequel le THAM était la mesure exclusive de MLA, a déterminé cette dimension réflexive comme principal prédicteur, suivie de la compétence en anglais, tandis qu’aucune des autres variables indépendantes pouvait prédire le transfert positif de l’anglais. Dans le second modèle, incluant le THAM ainsi que les TAPs comme mesures complémentaires de MLA, la dimension appliquée de MLA, telle que mesurée par les TAPs, était de loin le prédicteur principal, suivie de la dimension réflexive, telle que mesurée par le THAM, tandis que la compétence en anglais ne figurait plus parmi les facteurs ayant une influence significative sur la variable réponse. Bien que la verbalisation puisse avoir influencé la performance dans une certaine mesure, nos observations mettent en évidence la contribution précieuse de données introspectives comme complément aux résultats basés sur des caractéristiques purement linguistiques du transfert. Nos analyses soulignent la complexité des processus métalinguistiques et des stratégies individuelles, ce qui reflète une perspective dynamique du multilinguisme (p.ex., Jessner, 2008).

Data mining techniques to support the classification of MV electricity customers

This paper describes a methodology that was developed for the classification of Medium Voltage (MV) electricity customers. Starting from a sample of data bases, resulting from a monitoring campaign, Data Mining (DM) techniques are used in order to discover a set of a MV consumer typical load profile and, therefore, to extract knowledge regarding to the electric energy consumption patterns. In first stage, it was applied several hierarchical clustering algorithms and compared the clustering performance among them using adequacy measures. In second stage, a classification model was developed in order to allow classifying new consumers in one of the obtained clusters that had resulted from the previously process. Finally, the interpretation of the discovered knowledge are presented and discussed.

On cluster analysis of complex and heterogeneous data

3rd SMTDA Conference Proceedings, 11-14 June 2014, Lisbon Portugal.

Contributions towards smart cities : exploring block level census data for the characterization of change in Lisbon

The interest in using information to improve the quality of living in large urban areas and its governance efficiency has been around for decades. Nevertheless, the improvements in Information and Communications Technology has sparked a new dynamic in academic research, usually under the umbrella term of Smart Cities. This concept of Smart City can probably be translated, in a simplified version, into cities that are lived, managed and developed in an information-saturated environment. While it makes perfect sense and we can easily foresee the benefits of such a concept, presently there are still several significant challenges that need to be tackled before we can materialize this vision. In this work we aim at providing a small contribution in this direction, which maximizes the relevancy of the available information resources. One of the most detailed and geographically relevant information resource available, for the study of cities, is the census, more specifically the data available at block level (Subsecção Estatística). In this work, we use Self-Organizing Maps (SOM) and the variant Geo-SOM to explore the block level data from the Portuguese census of Lisbon city, for the years of 2001 and 2011. We focus on gauging change, proposing ways that allow the comparison of the two time periods, which have two different underlying geographical bases. We proceed with the analysis of the data using different SOM variants, aiming at producing a two-fold portrait: one, of the evolution of Lisbon during the first decade of the XXI century, another, of how the census dataset and SOM’s can be used to produce an informational framework for the study of cities.

Loanword Phonology, Lexical Exceptions, Morphologically Driven Underapplication, and the Nature of Positionally Biased Constraints

In this paper we provide a formal account for underapplication of vowel reduction to schwa in Majorcan Catalan loanwords and learned words. On the basis of the comparison of these data with those concerning productive derivation and verbal inflection, which show analogous patterns, in this paper we also explore the existing and not yet acknowledged correlation between those processes that exhibit a particular behaviour in the loanword phonology with respect to the native phonology of the language, those processes that show lexical exceptions and those processes that underapply due to morphological reasons. In light of the analysis of the very same data and taking into account the aforementioned correlation, we show how there might exist a natural diachronic relation between two kinds of Optimality Theory constraints which are commonly used but, in principle, mutually exclusive: positional faithfulness and contextual markedness constraints. Overall, phonological productivity is proven to be crucial in three respects: first, as a context of the grammar, given that «underapplication» is systematically found in what we call the productive phonology of the dialect (including loanwords, learned words, productive derivation and verbal inflection); second, as a trigger or blocker of processes, in that the productivity or the lack of productivity of a specific process or constraint in the language is what explains whether it is challenged or not in any of the depicted situations, and, third, as a guiding principle which can explain the transition from the historical to the synchronic phonology of a linguistic variety.

Construction and validation of a scoring system for the selection of high-quality data in a Spanish population primary care database (SIDIAP)

Background Computerised databases of primary care clinical records are widely used for epidemiological research. In Catalonia, the InformationSystem for the Development of Research in Primary Care (SIDIAP) aims to promote the development of research based on high-quality validated data from primary care electronic medical records. Objective The purpose of this study is to create and validate a scoring system (Registry Quality Score, RQS) that will enable all primary care practices (PCPs) to be selected as providers of researchusable data based on the completeness of their registers. Methods Diseases that were likely to be representative of common diagnoses seen in primary care were selected for RQS calculations. The observed/ expected cases ratio was calculated for each disease. Once we had obtained an estimated value for this ratio for each of the selected conditions we added up the ratios calculated for each condition to obtain a final RQS. Rate comparisons between observed and published prevalences of diseases not included in the RQS calculations (atrial fibrillation, diabetes, obesity, schizophrenia, stroke, urinary incontinenceand Crohn’s disease) were used to set the RQS cutoff which will enable researchers to select PCPs with research-usable data. Results Apart from Crohn’s disease, all prevalences were the same as those published from the RQS fourth quintile (60th percentile) onwards. This RQS cut-off provided a total population of 1 936 443 (39.6% of the total SIDIAP population). Conclusions SIDIAP is highly representative of the population of Catalonia in terms of geographical, age and sex distributions. We report the usefulness of rate comparison as a valid method to establish research-usable data within primary care electronic medical records

Influence of thermal and mechanical stresses on the strength of intact and relined denture bases

Statement of problem. Denture bases may become increasingly weaker as a result of thermal stress and flexural cyclic loading. Information regarding this potential problem and its relationship to the denture base reline is limited.Purpose. This study evaluated the influence of thermal and mechanical stresses on the strength of intact and relined denture bases.Material and methods. Twenty-eight microwave-polymerized (Acron MC) intact denture bases were prepared in the shape of a 3-mm-thick maxillary denture. Additionally, fifty-six 2-mm-thick denture bases were relined with 1 mm of autopolymerizing resin (Tokuyama Rebase Fast II or New Truliner) (n = 28). Intact and relined specimens were divided into 4 groups (n = 7) as follows: without stress (control); a mechanical stress at 0.8 Hz for 10,000 cycles; 5000 thermal cycles between 5 degrees C and 55 degrees C; or a combination thermo-mechanical stress. The specimens were vertically loaded in compression with a rounded rod at 5 mm/min until failure, using a universal testing machine. Data on maximum fracture load (N), deflection at fracture (%), and fracture energy (N-mm) were analyzed by 2-way analysis of variance and Student-Newman-Keuls tests (alpha = .05).Results. The strength of the denture bases relined with New Truliner was not significantly affected by any of the experimental conditions, but comparing the control groups, New Truliner exhibited the lowest maximum fracture load values. The maximum fracture load of intact denture bases (P = .002) and those relined with Tokuyama Rebase Fast II (P = .01) showed a significant decrease after thermal stress. Additionally, cyclic loading significantly decreased the maximum fracture load (P < .001), deflection at fracture (P = .025), and fracture energy (P < .001) of intact denture bases and those relined with Tokuyama Rebase (P values of .002, .039, and .001, respectively).Conclusion. Thermal and mechanical stresses exert deleterious effects on the strength of intact and/or relined denture bases, which vary according to the relining material used.

High-resolution computer simulations of stacking of weak bases using a transient pH boundary in capillary electrophoresis. 1. Concept and impact of sample ionic strength

The dynamics of focusing weak bases using a transient pH boundary was examined via high-resolution computer simulation software. Emphasis was placed on the mechanism and impact that the presence of salt, namely, NaCl, has on the ability to focus weak bases. A series of weak bases with mobilities ranging from 5 x 10(-9) to 30 x 10(-9) m2/V x s and pKa values between 3.0 and 7.5 were examined using a combination of 65.6 mM formic acid, pH 2.85, for the separation electrolyte, and 65.6 mM formic acid, pH 8.60, for the sample matrix. Simulation data show that it is possible to focus weak bases with a pKa value similar to that of the separation electrolyte, but it is restricted to weak bases having an electrophoretic mobility of 20 x 10(-9) m2/V x s or quicker. This mobility range can be extended by the addition of NaCl, with 50 mM NaCl allowing stacking of weak bases down to a mobility of 15 x 10(-9) m2/V x s and 100 mM extending the range to 10 x 10(-9) m2/V x s. The addition of NaCl does not adversely influence focusing of more mobile bases, but does prolong the existence of the transient pH boundary. This allows analytes to migrate extensively through the capillary as a single focused band around the transient pH boundary until the boundary is dissipated. This reduces the length of capillary that is available for separation and, in extreme cases, causes multiple analytes to be detected as a single highly efficient peak.

A synchronic lexical study of the Ede language continuum of West Africa: The effects of different similarity judgment criteria

In the context of a synchronic lexical study of the Ede varieties of West Africa, this paper investigates whether the use of different criteria sets to judge the similarity of lexical features in different language varieties yields matching conclusions regarding the relative relationships and clustering of the investigated varieties and thus leads to similar recommendations for further sociolinguistic research. Word lists elicited in 28 Ede varieties were analyzed with the inspection method. To explore the effects of different similarity judgment criteria, two different similarity judgment criteria sets were applied to the elicited data to identify similar lexical items. The quantification of these similarity decisions led to the computation of two similarity matrices which were subsequently analyzed by means of correlation analysis and multidimensional scaling. The findings of this analysis suggest compatible conclusions regarding the relative relationships and clustering of the investigated Ede varieties. However, the matching clustering results do not necessarily lead to the same recommendations for more in-depth sociolinguistic research, when interpreted in terms of an absolute lexical similarity threshold. The indicated ambiguities suggest the usefulness of focusing on the relative, rather than absolute in establishing recommendations for further sociolinguistic research.