We study a natural Dirac operator on a Lagrangian submanifold of a Kähler manifold. We first show that its square coincides with the Hodge - de Rham Laplacian provided the complex structure identifies the Spin structures of the tangent and normal bundles of the submanifold. We then give extrinsic estimates for the eigenvalues of that operator and discuss some examples.

We interpret the generalised gauge symmetry introduced in string theory and M-Theory as a special case of Grothendieck's stability equivalence relation in the definition of the 0th K-group and we calculate the Euler number of the elliptic de Rham complex twisted by a flat connection. Then using Polyakov's classical equivalence of flat bundles with non-linear sigma models we define a new topological invariant for foliations using techniques from noncommutative geometry, in particular the Connes' pairing between K-Theory and cyclic cohomology. This new invariant classifies foliations up to Morita equivalence.

Singularly perturbed systems with or without delays commonly appear in mathematical modeling of physical and chemical processes, engineering applications, and increasingly, in mathematical biology. There has been intensive work for singularly perturbed systems, yet most of the work so far focused on systems without delays. In this thesis, we provide a new set of tools for the stability analysis for singularly perturbed control systems with time delays. / Includes bibliography. / Dissertation (Ph.D.)--Florida Atlantic University, 2015. / FAU Electronic Theses and Dissertations Collection

Um dos objetivos mais importantes de qualquer sistema de detecção de fraudes, independente de seu domínio de operação, é detectar o maior número de fraudes com menor número de alarmes falsos, também denominados de falsos positivos. A existência de falsos positivos é um fato inerente a qualquer sistema de detecção fraudes. O primeiro passo para alcançar esse objetivo é identificar os atributos que podem ser usados para diferenciar atividades legítimas das fraudulentas. O próximo passo consiste em identificar um método para cada atributo escolhido para efetuar essa distinção. A escolha adequada dos atributos e dos métodos correspondentes determina em grande parte o desempenho de um detector de fraudes tanto em termos da relação entre o número de fraudes detectadas e o número de falsos positivos, quanto em termos de tempo de processamento. O desafio desta escolha é maior ao se tratar de um detector de fraudes em tempo real, isto é, fazer a detecção antes que a fraude seja concretizada. O objetivo deste trabalho é apresentar a proposta de uma arquitetura de um sistema de detecção de fraudes em tempo real em transações bancárias via Internet, baseando-se em observações do comportamento local e global de usuários. O método estatístico baseado em análise diferencial é usado para obter a evidência local de uma fraude. Neste caso, a evidência de fraude é baseada na diferença entre os perfis de comportamento atual e histórico do usuário. A evidência local de fraude é fortalecida ou enfraquecida pelo comportamento global do usuário. Neste caso, a evidência de fraude é baseada no número de acessos efetuados em contas diferentes feitos pelo dispositivo utilizado pelo usuário, e por um valor probabilístico que varia com o tempo. A teoria matemática de evidências de Dempster-Shafer é utilizada para combinar estas evidências e obter um escore final. Este escore é então comparado com um limiar para disparar um alarme indicando a fraude. A principal inovação e contribuição deste trabalho estão na definição e exploração dos métodos de detecção baseados em atributos globais que são de natureza específica do domínio de transações financeiras. Os resultados da avaliação utilizando uma base de dados com registros de transações correspondentes a perfis reais de uso demonstraram que a integração de um detector baseado em atributos globais fez aumentar a capacidade do sistema de detectar fraudes em 20%. / One of the most important goals of any fraud detection system, whichever is the domain where it characterizes the possibility for fraud, is to detect the largest number of frauds with fewer false alarms, also denominated false positives. The existence of false positives is a fact inherent to any fraud detection system. The first step in achieving this goal is to identify the attributes that can be used to differentiate between legitimate and fraudulent activities. The next step is to identify a method for each attribute chosen to make this distinction. The proper choice of the attributes and corresponding methods largely determines the performance of a fraud detector, not only in terms of the rate between the number of detected frauds and the number of false positives, but in terms of processing time. The challenge of this choice is higher when dealing with fraud detection in real time, that is, making the detection before the fraud is carried out. The aim of this work is to present the proposal of an architecture of a real time fraud detection system for Internet banking transactions, based on local and global observations of users behavior. The statistical method based on differential analysis is used to obtain the local evidence of fraud. In this case, the evidence of fraud is based on the difference between the current and historical behavior of the user. The frauds local evidence is strengthened or weakened by the users global behavior. In this case, the evidence of fraud is based on the number of accesses performed on different accounts made by the device used by the user and by a probability value that varies over time. The Dempster-Shafers mathematical theory of evidence is applied in order to combine these evidences for final suspicion score of fraud. This score is then compared with a threshold to trigger an alarm indicating the fraud. The main innovation and contribution of this work are the definition and exploration of detection methods based on global attributes which are domain specific of financial transactions. The evaluation results using a database with records of transactions corresponding to actual usage profiles showed that the integration of a detector based on global attributes improves the system capacity to detect frauds in 20%.

Um dos objetivos mais importantes de qualquer sistema de detecção de fraudes, independente de seu domínio de operação, é detectar o maior número de fraudes com menor número de alarmes falsos, também denominados de falsos positivos. A existência de falsos positivos é um fato inerente a qualquer sistema de detecção fraudes. O primeiro passo para alcançar esse objetivo é identificar os atributos que podem ser usados para diferenciar atividades legítimas das fraudulentas. O próximo passo consiste em identificar um método para cada atributo escolhido para efetuar essa distinção. A escolha adequada dos atributos e dos métodos correspondentes determina em grande parte o desempenho de um detector de fraudes tanto em termos da relação entre o número de fraudes detectadas e o número de falsos positivos, quanto em termos de tempo de processamento. O desafio desta escolha é maior ao se tratar de um detector de fraudes em tempo real, isto é, fazer a detecção antes que a fraude seja concretizada. O objetivo deste trabalho é apresentar a proposta de uma arquitetura de um sistema de detecção de fraudes em tempo real em transações bancárias via Internet, baseando-se em observações do comportamento local e global de usuários. O método estatístico baseado em análise diferencial é usado para obter a evidência local de uma fraude. Neste caso, a evidência de fraude é baseada na diferença entre os perfis de comportamento atual e histórico do usuário. A evidência local de fraude é fortalecida ou enfraquecida pelo comportamento global do usuário. Neste caso, a evidência de fraude é baseada no número de acessos efetuados em contas diferentes feitos pelo dispositivo utilizado pelo usuário, e por um valor probabilístico que varia com o tempo. A teoria matemática de evidências de Dempster-Shafer é utilizada para combinar estas evidências e obter um escore final. Este escore é então comparado com um limiar para disparar um alarme indicando a fraude. A principal inovação e contribuição deste trabalho estão na definição e exploração dos métodos de detecção baseados em atributos globais que são de natureza específica do domínio de transações financeiras. Os resultados da avaliação utilizando uma base de dados com registros de transações correspondentes a perfis reais de uso demonstraram que a integração de um detector baseado em atributos globais fez aumentar a capacidade do sistema de detectar fraudes em 20%. / One of the most important goals of any fraud detection system, whichever is the domain where it characterizes the possibility for fraud, is to detect the largest number of frauds with fewer false alarms, also denominated false positives. The existence of false positives is a fact inherent to any fraud detection system. The first step in achieving this goal is to identify the attributes that can be used to differentiate between legitimate and fraudulent activities. The next step is to identify a method for each attribute chosen to make this distinction. The proper choice of the attributes and corresponding methods largely determines the performance of a fraud detector, not only in terms of the rate between the number of detected frauds and the number of false positives, but in terms of processing time. The challenge of this choice is higher when dealing with fraud detection in real time, that is, making the detection before the fraud is carried out. The aim of this work is to present the proposal of an architecture of a real time fraud detection system for Internet banking transactions, based on local and global observations of users behavior. The statistical method based on differential analysis is used to obtain the local evidence of fraud. In this case, the evidence of fraud is based on the difference between the current and historical behavior of the user. The frauds local evidence is strengthened or weakened by the users global behavior. In this case, the evidence of fraud is based on the number of accesses performed on different accounts made by the device used by the user and by a probability value that varies over time. The Dempster-Shafers mathematical theory of evidence is applied in order to combine these evidences for final suspicion score of fraud. This score is then compared with a threshold to trigger an alarm indicating the fraud. The main innovation and contribution of this work are the definition and exploration of detection methods based on global attributes which are domain specific of financial transactions. The evaluation results using a database with records of transactions corresponding to actual usage profiles showed that the integration of a detector based on global attributes improves the system capacity to detect frauds in 20%.

QC 20100601

The aim of this master´s thesis is design and statically examine a bearing structure of ice hockey stadium in Jihlava with axial ground area measuring 43x85 m. Design od structure was prepared in three variants. The core bearing structure composed of three-joint arched roof beam create timber and steel lower beam, or solid wood of glulam timber. The third variant was work out in detail. Scia Engineer 2013 software has been used to create a three-dimensional model for the purpose of dimensioning each member and global analysis. Results obtained from the computer analysis were taken and double-chcecked with a hand assessment of the structure elements.

Listening comprehension has been the forgotten skill in second language acquisition. However, in recent years, more and more studies have focused on listening comprehension and now acknowledge its importance in language acquisition. Empirical studies have explored how listeners use the two main listening processes (top-down processing and bottom-up processing). In this study, 31 low-proficiency level Mandarin Chinese as a foreign language (CFL) learners from Brigham Young University took the Chinese Computer Adaptive Language Test (CCALT) and listened to four listening passages, measured by idea unit analysis and local and global question types. The data from these measurements suggest that low-proficiency level CFL participants in this study used both top-down and bottom-up processing while they listened to short listening passages. The results suggest listening comprehension at various proficiency levels needs to be studied further in Chinese and with different types of listening passages.

Submitted by Maurílio Figueiredo (maurilioafigueiredo@yahoo.com.br) on 2013-02-22T19:51:45Z No. of bitstreams: 1 DISSERTAÇÃO_GestãoRiscoAlternativa.pdf: 41214411 bytes, checksum: 7caa77944d2a0c8f76333d07df2ca056 (MD5) / Approved for entry into archive by Neide Nativa (neide@sisbin.ufop.br) on 2013-02-25T14:13:29Z (GMT) No. of bitstreams: 1 DISSERTAÇÃO_GestãoRiscoAlternativa.pdf: 41214411 bytes, checksum: 7caa77944d2a0c8f76333d07df2ca056 (MD5) / Made available in DSpace on 2013-02-25T14:13:29Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO_GestãoRiscoAlternativa.pdf: 41214411 bytes, checksum: 7caa77944d2a0c8f76333d07df2ca056 (MD5) Previous issue date: 2011 / ABSTRACT: The buildings of public archives shelter documents of permanent value, which are of inalienable and imprescriptible guard. To check the level of fire protection to these permanent records in each building surveyed, it was applied the global analysis of fire risk using the Gretener Method. The text of the “IT 35-CBMMG”, based on this method of performance (widely known) provides fire protection alternatives for the historical buildings (and their contents) of Minas Gerais State, Brazil, when it is not possible or aesthetically desirable, the adoption of security normative or prescriptive measures. The research result showed that showed that the buildings where are installed the public archives are of no conformity to risk of fire due to an in the safety versus protection. Another quick observation was the high volume of documents on paper (main fire load) accommodated in rooms of insufficient area to contain them, incurring specific fire loads much higher than the stipulated level in the specific standard. With the successive employment of active and passive protection measures in these constructions, the safety factors after each trial immediately improved, giving the building and its occupants a pro-safety situation, compared to the outbreak of fire, until unfavorable. / As edificações sede de arquivos públicos custodiam documentos de valor permanente, sendo estes inalienáveis e de guarda imprescritível. Para verificação do nível de proteção contra incêndio a esses documentos permanentes, em cada uma das edificações pesquisadas, foi aplicada a análise global de risco de incêndio, decorrente do Método de Gretener. O texto da IT 35 do CBMMG, baseado nesse método de desempenho (mundialmente conhecido) fornece alternativas de proteção contra incêndio às edificações (e ao seu conteúdo) que compõem o patrimônio histórico mineiro, quando não seja possível ou esteticamente conveniente, a adoção de medidas de segurança de ordem normativa ou prescritiva. O resultado da pesquisa mostrou que as edificações onde estão instalados os arquivos públicos estão em situação de insegurança frente ao risco de incêndio, em razão de um desequilíbrio na relação segurança versus proteção. Outra rápida constatação foi o elevado volume de documentos no suporte papel (principal carga de incêndio) acomodados em espaço de superfície insuficiente para comportá-los, incorrendo cargas de incêndio específicas muito superiores ao valor estipulado em norma. Com o emprego sucessivo de medidas de proteção passiva e ativa nessas edificações, os coeficientes de segurança melhoraram imediatamente a cada ensaio, conferindo ao prédio e aos seus ocupantes uma situação pró-segurança, frente ao risco de incêndio, até então desfavorável. Edificações que abrigam instituições arquivísticas, necessitam de um de sistema de segurança contra incêndio e pânico que monitore diuturnamente as áreas de interesse, com rápida detecção de um foco de fogo e acionamento de alarme, seguido de imediato e eficiente combate por brigadistas treinados, no mínimo. ______________________________________________________________________________________________________

The design and the static estimation of the load-bearing steel structure of tribune roofing of the football stadium are the subject of this thesis. The football stadium is located in Brno. The main bearing system consists of 16 radially arranged truss girders with the console lining of 39,9 m. Column “trees” always support a pair of truss girders. The plan dimensions of the structure are 63,2 m x 155,0 m. The roof height above the ground level is 52,0 m. There were two variant of analysis elaborated. The design is made in accordance with the valid ČSN EN standards.