Prospects and Results from the AFP Detector in ATLAS

In 2016 one arm of the AFP detector was installed and first data have been taken. In parallel with integration of the AFP subdetector into the ATLAS TDAQ and DCS systems, beam tests and preparations for the installation of the 2$^{\textrm{nd}}$ arm are performed. In this report, a status of the AFP project in the ATLAS experiment is discussed.Comment: 5 pages, 2 figures, Proceedings of the 8th International Workshop on Multiple Partonic Interactions at the LHC, Chiapas, Mexic

Non-Parametric Maximum Likelihood Density Estimation and Simulation-Based Minimum Distance Estimators

Indirect inference estimators (i.e., simulation-based minimum distance estimators) in a parametric model that are based on auxiliary non-parametric maximum likelihood density estimators are shown to be asymptotically normal. If the parametric model is correctly specified, it is furthermore shown that the asymptotic variance-covariance matrix equals the inverse of the Fisher-information matrix. These results are based on uniform-in-parameters convergence rates and a uniform-in-parameters Donsker-type theorem for non-parametric maximum likelihood density estimators.Comment: minor corrections, some discussion added, some material remove

Compression Methods Based on Context Modelling

Cílem této práce je popsat základní vlastnosti kontextových kompresních metod. Proces modelování je uveden společně s principem aritmetického kódování. Postupně jsou představeny metody PPM, CTW a PAQ a je nastíněna možná implementace pravděpodobnostního modelu základní metody PPM. Je provedeno srovnání výkonnosti kontextových, slovníkových a v současnosti používaných metod komprese dat. Na základě dosažených výsledků jsou shrnuty možnosti využití metody PPM.The aim of this thesis is to describe basic properties of the context-based compression methods. Modelling procedure is presented together with the principle of an arithmetic coding. Gradually the PPM, CTW, and PAQ methods are introduced together with the possible implementation of the basic PPM probability model. The performance of context-based, dictionary and the most currently used methods of data compression is being compared. Based on obtained results, the possible usage of PPM methods is summarized.

Design and Implementation of a Tool for Hierarchical Graphical Specification of Real-Time Systems

Práce je zaměřena na návrh a implementaci univerzálního nástroje schopného graficky popsat systémy pracující s reálným časem. Tento nástroj dále umožňuje použít libovolný verifikační přístupu pro ověření výsledného modelu. Je proveden souhrn základních formálních metod popisu systémů založený na matematické logice. Jsou přiblíženy přístupy schopné hierarchicky popsat systémy pracující s reálným časem. Byly navrženy vhodné úlohy pro následné ověření funkčnosti vytvářeného systému.This thesis is aimed to specify and implement multi-purpose framework able to deal with graphical real-time system specification. This tool allows to use arbitrary verification approach to resulting system model check. Description of basic formal specification methods based on mathematic logic is done. Some well-known hierarchical graphical specifications for real-time systems are depictured. Author proposed suitable cases for functionality examination of resulting framework.

Non-Parametric Maximum Likelihood Density Estimation and Simulation-Based Minimum Distance Estimators

Indirect inference estimators (i.e., simulation-based minimum distance estimators) in a parametric model that are based on auxiliary non-parametric maximum likelihood density estimators are shown to be asymptotically normal. If the parametric model is correctly specified, it is furthermore shown that the asymptotic variance-covariance matrix equals the Cramér-Rao bound. These results are based on uniform-in-parameters convergence rates and a uniform-in-parameters Donsker-type theorem for non-parametric maximum likelihood density estimators.Indirect inference, simulation-based minimum distance estimation, non-parametric maximum likelihood, density estimation, efficiency

CCCP: A CCD Controller for Counting Photons

CCCP, a CCD Controller for Counting Photons, is presented. This new controller uses a totally new clocking architecture and allows to drive the CCD in a novel way. Its design is optimized for the driving of EMCCDs at up to 20MHz of pixel rate and fast vertical transfer. Using this controller, the dominant source of noise of EMCCDs at low flux level and high frame rate, the Clock Induced Charges, were reduced to 0.001 - 0.0018 electron/pixel/frame (depending of the electron multiplying gain), making efficient photon counting possible. CCCP will be deployed in 2009 on the ESO NTT through the 3D-NTT1 project and on the SOAR through the BTFI project.Comment: 10 pages, 10 figures, to appear in "Ground-based and Airborne Instrumentation for Astronomy II" SPIE conference, Marseille, 23-28 June 200

Extreme faint flux imaging with an EMCCD

An EMCCD camera, designed from the ground up for extreme faint flux imaging, is presented. CCCP, the CCD Controller for Counting Photons, has been integrated with a CCD97 EMCCD from e2v technologies into a scientific camera at the Laboratoire d'Astrophysique Experimentale (LAE), Universite de Montreal. This new camera achieves sub-electron read-out noise and very low Clock Induced Charge (CIC) levels, which are mandatory for extreme faint flux imaging. It has been characterized in laboratory and used on the Observatoire du Mont Megantic 1.6-m telescope. The performance of the camera is discussed and experimental data with the first scientific data are presented.Comment: 33 pages, 17 figures, accepted for publication in PAS

PIBID: formação inicial, relação teoria e prática

Anais do II Seminário Seminário Estadual PIBID do Paraná: tecendo saberes / organizado por Dulcyene Maria Ribeiro e Catarina Costa Fernandes — Foz do Iguaçu: Unioeste; Unila, 2014O Programa de Iniciação à Docência – PIBID propicia ao acadêmico uma experiência profissional adquirida ainda durante a formação, preparando-o para atuar em uma perspectiva de professor-pesquisador. Dentro deste contexto, buscou-se estruturar um projeto com objetivo de atender crianças com dificuldades de aprendizagem. Tal estudo possibilita a oportunidade de confrontar a relação teoria e prática no contexto escolar e universitário. O trabalho é desenvolvido em uma escola pública de Irati-PR, com alunos do 3o ano do Ensino Fundamental. A metodologia desenvolvida consiste em auxiliar alunos em sala de aula e em pequenos grupos com atividades lúdicas, jogos pedagógicos explorando a oralidade, leitura e escrita. No transcorrer da atuação observamos o avanço intelectual e social, das crianças. Estas vivencias enriquecem a formação acadêmica resultando em um profissional crítico e comprometid

The Profile of the Teaching Profession – Empirical Reflections on the Development of the Competences of University Teachers

AbstractIn this article we have proposed to present a theoretical and practical approach to the teaching profession, based on analysis competencies, which should hold them a good university teacher in a globalized and competitive world. The results of the study were obtained by applying a written questionnaire to subjects who work in different universities from Romania and Spain. The study included a total of 485 people from four universities in Spain and four universities in Romania. The results obtained by analyzing the responses of the subjects included in our sample have showed that both groups of teachers – from Romania an Spain – have the same opinions regarding the competencies which should hold them a good university teacher but were registered significant mean differences regarding transversal competencies dimension (p=0,002, p< 0,05). We believe that the professional perfection and development are the sources of a professional continuum, which makes educational career rolling laws and is subject to management resources, mobility needs, and flexibility of the teaching staff