Miracle-dz/UniFAR-FTUs huggingface dataset:
Frontiers : three dimensional elliptic and Maxwell problems with applications

PREFACE THEORY AND CODE DEVELOPMENT BOUNDARY-VALUE PROBLEMS Single Elliptic Equation Linear Elasticity Maxwell Equations Elasticity Coupled with Acoustics EXACT HP SEQUENCES, PROJECTION-BASED INTERPOLATION, DE RHAM DIAGRAMS Exact Polynomial Sequences H1-, H(curl)-, and H(div)-Conforming Projection-Based Interpolation Shape Functions 3D HP FINITE ELEMENT METHOD Construction of FE Basis Functions on Regular Meshes Supported h-Refinements p-Refinements and the Minimum Rule Constrained Approximation 3DHP CODE Organization of the 3Dhp Code Data Structure in FORTRAN 90 Data Structure Supporting Algorithms GEOMETRY MODELING GMP Manifold: Compatible Parametrizations Transfinite Interpolation Interfacing with CUBIT Exact Geometry and Parametric Elements: Mesh Generation AUTOMATIC HP ADAPTIVITY IN THREE SPACE DIMENSIONS The hp Algorithm Goal-Oriented hp Adaptivity Examples HIGH-PERFORMANCE COMPUTATION Fast Integration Algorithm Telescopic Solver Linear Solvers TWO-GRID HP SOLVER Formulation Elementary Convergence Theory Implementation Details Numerical Examples A DOMAIN DECOMPOSITION-BASED PARALLEL IMPLEMENTATION Mesh Repartitioning. Interfacing with Zoltan A Nested-Dissections Parallel Multi-Frontal Solver Parallel Mesh Refinements and Mesh Reconciliation Numerical Examples APPLICATIONS ACOUSTIC SCATTERING PROBLEMS Infinite Element Examples ELECTROMAGNETIC SCATTERING PROBLEMS Formulation of Scattering Problems EM Infinite Element A Domain Decomposition Approach Calculation of Radar Cross Section Adaptivity Examples 3D ELASTICITY AND THIN-WALLED STRUCTURES Introduction Classical Shell Theory-Comparison Solutions of Complex Thin-Walled Structures SIMULATION OF RESISTIVITY LOGGING DEVICES Description and Finite Element Modeling of Resistivity Logging Measurements 2D Numerical Simulations of Axisymmetric Problems 3D Numerical Simulations CONCLUSIONS AND FUTURE WORK APPENDICES REFERENCES INDEX
Semantic Interoperability in Distributed Planning

Abstract : The USAF Command and Control (C2) is undergoing a transformation from a co-located, theater-centric process to one that is worldwide and distributed. A key challenge for this transformation to Globally-Linked Air and Space Operations Centers is developing the ability to collaboratively plan and execute operations with multiple cooperating command centers. This paper describes an in-house program underway at the USAF Research Laboratory Information Directorate that is developing technologies to support the concepts of Network Centric Operations. In particular, research is presented that extends the Object Model Working Group's Core Plan Representation (CPR) framework utilizing semantic technologies to capture planning experiences in both human- and machine-readable form. A key feature of these extensions is common, interoperable plan representation amongst the distributed heterogeneous planning agents. Semantic interoperability of the plan representation is critical to support distributed planning. The initial approach to achieving interoperability is a limited taxonomy for describing key plan-related information. The research presented utilizes open standards semantic technology to encapsulate plans as self-describing semantic objects.
Visualisation d’information pour une décision informée en exploration d’espace de conception par shopping

Lors de l’exploration d’espace de conception, les donnees resultantes de la simulation d’un grand nombre d’alternatives de conception peuvent conduire a la surcharge d’information quand il s’agit de choisir une bonne solution de conception. Cette exploration d’espace de conception s’apparente a une methode d’optimisation en conception multicritere mais en mode manuel pour lequel des outils appropries a la visualisation de donnees multidimensionnelle sont employes. Pour le concepteur, un processus en trois phases – decouverte, optimisation, selection – est suivi selon un paradigme dit de Design by Shopping. Le fait de « parcourir » l’espace de conception permet de gagner en intuition sur les sous-espaces de solutions faisables et infaisables et sur les solutions offrant de bons compromis. Le concepteur apprend au cours de ces manipulations graphiques de donnees. La selection d’une solution optimale se fait donc sur la base d’une decision dite informee. L’objectif de cette recherche est la performance des representations graphiques pour l’exploration d’espace de conception, pour les trois phases du processus en Design by Shopping. Pour cela, cinq representations graphiques, identifiees comme potentiellement performantes, sont testees a travers deux experimentations. Dans la premiere, trente participants ont teste trois graphiques, pour la phase de selection dans une situation multi-attribut, a travers trois scenarios de conception ou une voiture doit etre choisie parmi quarante selon des preferences enoncees. Pour cela, un indice de qualite est propose pour calculer la qualite de la solution du concepteur pour un des trois scenarios definis, la solution optimale selon cet indice etant comparee a celles obtenues apres manipulation des graphiques. Dans la deuxieme experimentation, quarante-deux concepteurs novices ont resolu deux problemes de conception a l’aide de trois graphiques. Dans ce cas, la performance des graphiques est testee pour la prise de decision informee et pour les trois phases du processus dans une situation multi-objectif. Les resultats revelent qu’un graphique est adapte a chacune des trois phases du Design by Shopping :: le graphique Scatter Plot Matrix pour la phase de decouverte et pour la prise de decision informee, le graphique Simple Scatter pour la phase d’optimisation et le graphique Parallel Coordinate Plot pour la phase de selection aussi bien dans une situation multi-attribut que multi-objectif.
Copyright 2009 by Human Factors and Ergonomics Society, Inc. All rights reserved. 10.1518/107118109X12524442635068

Innovations in lighting technology have made it simple to realize a wide range of lighting colors, and effortlessly change settings when desired. According to popular belief, color and lighting influence mood, well-being and performance. However, research is inconclusive regarding such claims; often variables such as brightness are not well controlled, or only subjective and no performance measures are reported. This study aims to address some of these issues. In an office setting, one wall was illuminated with blue or red light with comparable saturation and brightness. These colors were chosen because of inconclusive views on their effect, and their potential relevance for office-tasks. White light was offered in the immediate task-area, to meet illuminance and color rendering requirements. 76 participants were randomly assigned to one condition, and asked to perform several tasks. Mixed effects were found of condition on task performance.
Inferring Group Processes from Computer-Mediated Affective Text Analysis

Political communications in the form of unstructured text convey rich connotative meaning that can reveal underlying group social processes. Previous research has focused on sentiment analysis at the document level, but we extend this analysis to sub-document levels through a detailed analysis of affective relationships between entities extracted from a document. Instead of pure sentiment analysis, which is just positive or negative, we explore nuances of affective meaning in 22 affect categories. Our affect propagation algorithm automatically calculates and displays extracted affective relationships among entities in graphical form in our prototype (TEAMSTER), starting with seed lists of affect terms. Several useful metrics are defined to infer underlying group processes by aggregating affective relationships discovered in a text. Our approach has been validated with annotated documents from the MPQA corpus, achieving a performance gain of 74% over comparable random guessers.
An Access Control Mechanism based on Permission Delegation in P2P Network

P2P(Peer-to-Peer) is a popular model in distributed computing. We present an access control mechanism based on permission delegation in this paper. This mechanism consists of three protocols, i.e. agency discovering protocol, permission delegating protocol and resource access protocol. Firstly, the task initiator decomposes the task into subtasks and chooses other peers in high trust degree with satisfied abilities to accomplish these subtasks. We call these neighbors as task agents. Then task initiator temporarily transfers some necessary permission to subtask agents by means of credit certificate and delegation certificate. Finally, the subtask agents consume resources of resource peers followed access protocol. These protocols are analyzed in Colored Petri-Net, and simulated with CPN Tools.
Language Acquisition and Data Compression

Statistical data compression requires a stochastic language model which must rapidly adapt to new data as it is encountered. A grammatical inference engine is introduced which satisfies this requirement; it is able to discover structure in arbitrary data using nothing more than the predictions of a simple trigram model. We show that compression may be used as an alternative to perplexity for language model evaluation, and that the information processing techniques employed by our system may reflect what happens in the human brain.
Un sistema de recomendaciones lingstico difuso para el filtrado de material docente

Resumen—En este trabajo se presenta el diseño de un sistema de recomendaciones lingüístico difuso para facilitar a los alumnos el acceso a información sobre recursos docentes que puedan ser de su interés. Al sugerir material didáctico adecuado a las necesidades específicas del alumno, se fomenta un aprendizaje significativo, incidiendo directamente en el proceso de enseñanzaaprendizaje. El uso de dicho sistema, además de facilitar la difusión automática de material didáctico (recursos bibliográficos, apuntes, ejercicios, portales Web, etc.) personalizado, ayudará también a identificar otros usuarios (alumnos) con los que colaborar y así formar grupos de trabajo que refuercen la acción tutorial y el aprendizaje colaborativo. El sistema propuesto se implantará inicialmente en la asignatura de Ofimática de la Diplomatura en Ciencias Empresariales de la Universidad de Jaén.
Alignment by feedback

New technology is required to increase the reach of future accelerators. In keeping with several trends in technology development, new accelerator technology leads toward miniaturization and active control using high level process control systems. Linear collider designs have emphasized both and planned machines include challenging component positioning tolerances and comprehensive control systems. This paper reviews some examples of this for existing and planned linear colliders.
Manifold Learning for Natural Image Sets, Doctoral Dissertation August 2006

The field of manifold learning provides powerful tools for parameterizing high-dimensional data points with a small number of parameters when this data lies on or near some manifold. Images can be thought of as points in some high-dimensional image space where each coordinate represents the intensity value of a single pixel. These manifold learning techniques have been successfully applied to simple image sets, such as handwriting data and a statue in a tightly controlled environment. However, they fail in the case of natural image sets, even those that only vary due to a single degree of freedom, such as a person walking or a heart beating. Parameterizing data sets such as these will allow for additional constraints on traditional computer vision problems such as segmentation and tracking. This dissertation explores the reasons why classical manifold learning algorithms fail on natural image sets and proposes new algorithms for parameterizing this type of data. Type of Report: Other Department of Computer Science & Engineering Washington University in St. Louis Campus Box 1045 St. Louis, MO 63130 ph: (314) 935-6160 WASHINGTON UNIVERSITY THE HENRY EDWIN SEVER GRADUATE SCHOOL DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING MANIFOLD LEARNING FOR NATURAL IMAGE SETS by Richard M. Souvenir, M.S. Computer Science, B.S. Applied Science Prepared under the direction of Professor Robert Pless A dissertation presented to the Henry Edwin Sever Graduate School of Washington University in partial fulfillment of the requirements for the degree of DOCTOR OF SCIENCE August 2006 Saint Louis, Missouri WASHINGTON UNIVERSITY THE HENRY EDWIN SEVER GRADUATE SCHOOL DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING
Some emerging principles for mobile-assisted language learning: discussion

This paper on mobile language learning is a welcome addition to the growing literature on mobile learning. The structure of the paper – a framework overview, followed by ten principles, which are then applied to an example – provides a rich understanding of the field and a helpful reference for both practitioners and researchers. Interestingly, the framework overview had some features often encountered in literature on learning design and new technologies. Research and literature on using new technologies in educational settings is often characterised by a relatively sparse use of theoretical underpinnings coming from educational research per se, and the framework in this paper continues this approach. While there is often a good overview of the literature on the respective online or mobile learning environment, the link to educational theories as such, or general pedagogical literature is often not made. There is a possibility that a closer engagement with existing educational theories could inform and enrich the developing understanding of mobile learning.
XML-Schema Part 1: Structures Second Edition

An easily removable front panel for a newspaper vending machine uniquely containing the dispensing door with the customary display window, the coin mechanism and the coin return means. Easy access is provided not only for adjustment or repair of the coin mechanism and for coin removal, but also to the newspaper storage cavity of the cabinet for reloading.
Analysis of distributed systems using constrained expressions (concurrent systems)

Due to the complexity of their tasks, developers of distributed systems would greatly benefit from automated tools to aid in the analysis of the systems they create. Ideally, these tools should be integrated in an environment providing tools to support all the activities required for developing and maintaining large, distributed software systems. Tools supporting analysis based on the constrained expression framework would make an important contribution to such an environment. The constrained expression framework is especially well-suited for use with system designs. It thus provides a basis for the development of preimplementation analysis tools. These tools would complement tools based on other distributed system analysis techniques. Due to the generality of the constrained expression framework, furthermore, analysis methods based on constrained expressions could be extended to provide common analysis methods across a number of phases in the software development process. This could be a source of valuable commonality and integration in a software development environment. In this dissertation we describe the constrained expression framework and show how it can be used to help developers of distributed software systems analyze the systems they create. We explain how constrained expressions represent the possible behaviors of a concurrent system, illustrating the generality of constrained expressions by using them with systems expressed in three fundamentally different notations. A theory for manipulating constrained expressions is presented. Based on this theory, a procedure for simplifying the constrained expression representations of SDYMOL systems is formulated. This procedure results in a "reduced" constrained expression, which facilitates subsequent analysis. Algorithms for further simplifying SDYMOL reduced constrained expressions are also described. An example is presented to illustrate the simplification techniques. This example is also used to demonstrate analysis techniques, based on the constrained expression framework, that can be used to establish specific behavioral properties of a system.
A construção da informação em sala de aula: Uma prática alfabetizadora no Projeto Escola Zé Peão

O texto tem por base os resultados da pesquisa que realizamos para nossa dissertacao de Mestrado, que se intitulou Paixao de Informar: Praticas Alfabetizadoras no Programa Tijolo sobre Tijolo – Projeto Escola Ze Peao em Canteiros de Obras. Serviram de objeto de estudo as praticas informacionais de professores e alunos construidas no processo interacional na Educacao Popular de Jovens e Adultos.
HUBUNGAN ANTARA SELF-EFFICACY DAN PENGAMBILAN KEPUTUSAN BERKULIAH DI LAIN KOTA

Pengambilan sebuah keputusan untuk berkuliah di lain kota merupakan hal yang sulit karena individu harus berpisah dari orang tua, terutama bagi yang berada pada fase remaja akhir. Pengambilan keputusan dipengaruhi oleh faktor eksternal dan faktor internal. Salah satu faktor internal yang memengaruhi pengambilan keputusan adalah self-efficacy. Tujuan dari penelitian ini adalah melihat hubungan antara self-efficacy dan pengambilan keputusan berkuliah di lain kota. Subjek dalam penelitian ini sebanyak 104 orang dengan karakteristik mahasiswa baru angkatan 2013 Universitas Surabaya yang berusia 17 – 18 tahun pada saat mengambil keputusan berkuliah di lain kota, berasal dari luar Jawa Timur, tinggal di kos, dan sendiri tanpa keluarga. Pengambilan data menggunakan teknik incidental dan snowball sampling. Metode pengambilan data menggunakan angket terbuka dan angket tertutup yang diadaptasi terkait perkuliahan di lain kota. Hasil penelitian ini menyatakan adanya hubungan positif antara self-efficacy dan pengambilan keputusan berkuliah di lain kota dengan nilai korelasi 0.702 dan signifikansi 0.000 (<0.05). Subjek memiliki tingkat pengambilan keputusan dan self-efficacy yang tinggi terkait perkuliahan di lain kota. Hal ini menunjukkan, semakin yakin individu akan kemampuannya, semakin baik kemampuan pengambilan keputusan yang dimiliki.
Automating construction and selection of a neural network using stochastic optimization

An artificial neural network can be used to solve various statistical problems by approximating a function that provides a mapping from input to output data. No universal method exists for architecting an optimal neural network. Training one with a low error rate is often a manual process requiring the programmer to have specialized knowledge of the domain for the problem at hand. A distributed architecture is proposed and implemented for generating a neural network capable of solving a particular problem without specialized knowledge of the problem domain. The only knowledge the application needs is a training set that the network will be trained with. The application uses a master-slave architecture to generate and select a neural network capable of solving a given problem.
Seven Principles of Effective RFID Data Management

Frequency Identification technology — RFID — is not new. RFID first appeared during World War II when Allied aircraft carried transponders that would acknowledge radar interrogations from friendly aircraft. Since then, both the size and cost of RFID tags have followed the progression of Moore's Law to where it's now feasible to attach RFID tags to a package of razor blades. But in fact, RFID has been used in commercial applications for years, from automated toll systems like E-Z Pass to automated manufacturing facilities. But in 2003, triggered by mandates from Wal-Mart and others, a media feeding frenzy ensued. Such mandates have validated that RFID just might enable a new era of business optimization where a Proctor and Gamble can instantly know its inventory stock levels, a Gillette can eliminate razor blade theft, and a Wal-Mart can squeeze even more cost from its supply chain by reducing the labor associated with bar-code scanning. This value, accumulated millions of times daily, will add up to billions. And that's just the beginning: visionaries see RFID impacting anything that involves physical items where keeping track has value: baggage tracked by airlines to improve security; Alzheimer's patients monitored in real time; pharmaceutical shipments to curtail counterfeiting.
ARTIFICIAL NEURAL NETWORK BASED FINGERPRINT RECOGNITION

Artificial Neural Network (ANN)s are efficient means of prediction, optimization and recognition. The ability of the ANN to learn given patterns makes them suitable for such applications. Fingerprint recognition is one such area that can be used as a means of biometric verification where the ANN can play a critical rule. An ANN can be configured and trained to handle such variations observed in the texture of the fingerprint. The specialty of the work is associated with the fact that if the ANN is configured properly it can tackle the variations in the fingerprint images and that way provide the insights for developing a system which requires these samples for verification and authorization. A system is designed to provide authentication decision using the fingerprint inputs can be a reliable means of verification. Such a system designed using ANN and using fingerprint inputs is described here. Experimental results show that the system is reliable enough for considering it as a part of a verification mechanism. KeywordsArtificial neural Network; fingerprint; minutiae
A computer-aided approach to complex building layout problems

This paper discusses the relations between locational objectives for activities and the result ant arrangements of built spaces to satisfy these objectives. In particular it is concerned with object ives which are complex, ill-defined, incomplete, and contradictory It describes the logic, and the uses, of an experimental interactive computer pro gram, CLUMP 3, which enables a designer to test the effects on the spatial structure of a built environ ment of adopting different locational objectives, and alternative resolutions of conflict amongst object ives.
Spike arrival times: A highly efficient coding scheme for neural networks

Energy absorbing crash or collision devices for vehicles or the like to reduce shock of collision by utilizing energy absorbing components which are flexible and compressible and/or rigid and crushable, which components may used singly or in combination, which may be used with single or multiple pressure plates, to effect gradual deceleration upon collision.
Provable Partial Key Escrow

In this paper, we propose a routing scheme, called MOSAR, which is able to handle the security classification of packets during the route discovery and route maintenance. The scheme should provide the network reasonable balances between security, performance and computation power efficiency. For above purposes, a new field called Route Security Requirement is added in the routing header as the indicator of security requirement. Therefore, routing is about to find the path from source to destination that all the nodes on which meet the security requirement. Besides, to protect routing packets against unauthorized disclosure, modification or eavesdropping, the protocol offers different cryptographic mechanisms that are scalable to the computation resources at each Trust level for authentication and integrity check, and if necessary, packet secrecy. Our goal is to design a depend-able and affordable routing protocol for ad hoc networks where the security requirements are different for different information to transmit, under different circumstances, or with different available resources. Through the simulations, we can conclude that MOSAR functions well in handling classification and it can perform better than the regular AODV protocol.