DOCSLIB.ORG

Universidade De São Paulo Instituto De Física De São Carlos X Semana Integrada Do Instituto De Física De São Carlos Livro De Resumos São Carlos 2020

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Universidade De São Paulo Instituto De Física De São Carlos X Semana Integrada Do Instituto De Física De São Carlos Livro De Resumos São Carlos 2020 SIFSC 10, 03 a 05 de novembro 2020, São Carlos-SP 2 SIFSC 10, 03 a 05 de novembro 2020, São Carlos-SP Universidade de São Paulo Instituto de Física de São Carlos X Semana Integrada do Instituto de Física de São Carlos Livro de Resumos São Carlos 2020 3 SIFSC 10, 03 a 05 de novembro 2020, São Carlos-SP Semana Integrada do Instituto de Física de São Carlos SIFSC 10 Coordenadores Prof. Dr. Vanderlei Salvador Bagnato Diretor do Instituto de Física de São Carlos – Universidade de São Paulo Prof. Dr. Luiz Vitor de Souza Filho Presidente da Comissão de Pós Graduação do Instituto de Física de São Carlos – Universidade de São Paulo Prof. Dr. Luís Gustavo Marcassa Presidente da Comissão de Graduação do Instituto de Física de São Carlos – Universidade de São Paulo Comissão Organizadora Normalização e revisão – SBI/IFSC Arthur Deponte Zutião Ana Mara Marques da Cunha Prado Artur Barbedo Maria Cristina Cavarette Dziabas Beatriz Kimie de Souza Ito Maria Neusa de Aguiar Azevedo Felipe de Souza Macias Sabrina di Salvo Mastrantonio Gabriel dos Reis Trindade Gabriel Henrique Armando Jorge Giovanna Costa Villefort Giulia Kassab Humberto Ribeiro de Souza João Hiroyuki de Melo Inagaki Juliana Naomi Yamauti Costa Letícia Cerqueira Vasconcelos Nickolas Pietro Donato Cerioni Paulina Rossi Ferreira Roberto Hiroshi Matos Furuta Vinícius Pereira Pinto Ficha catalográfica elaborada pelo Serviço de Informação do IFSC Semana Integrada do Instituto de Física de São Carlos (10: 03 nov. - 05 nov. : 2020: São Carlos, SP.) Livro de resumos da X Semana Integrada do Instituto de Física de São Carlos/ Organizado por Arthur Deponte Zutião [et al.]. São Carlos: IFSC, 2020. 321 p. Texto em português. 1. Física. I. Zutião, Arthur Deponte, org. II. Titulo ISBN: 978-65-993449-0-9 CDD: 530 4 SIFSC 10, 03 a 05 de novembro 2020, São Carlos-SP Carta de apresentação Já em sua décima edição, a Semana Integrada do Instituto de Física de São Carlos - SIFSC, organizada por alunos de graduação e pós-graduação, com apoio da diretoria e de todos os servidores do instituto, promove como sempre atividades acadêmicas e culturais, garantindo a integração de toda a comunidade. São oferecidas palestras acadêmicas, mesas redondas e também espaço para a comunidade expor seu lado artístico-cultural. Como de costume, uma das principais atrações da SIFSC é o Workshop da Pós-Graduação, já em sua 24ª edição, incluído no evento em 2011. Além de apresentações da Pós-Graduação, alunos de iniciação científica poderão apresentar seus trabalhos, sendo que a etapa local do XXVIII Simpósio Internacional de Iniciação Científica e Tecnológica da USP ocorre conjuntamente ao Workshop. Durante o Workshop, todos os estudantes são avaliados por professores e pós-doutorandos da área, a fim de acompanhar a evolução em seu projeto. O Workshop é de extrema importância na avaliação da CAPES, em que o instituto mantém nível de excelência por diversos anos. Não sendo apenas de cunho acadêmico, o evento também serve como uma interface dos estudantes com o mercado de trabalho fora da universidade. Estimamos a participação de em torno de 400 pessoas, além de palestrantes, representantes de empresas e avaliadores. Esta interface, assim, se torna fundamental para ambos os lados, visto a quantidade de parcerias do instituto com empresas privadas. Todos os alunos do instituto interessados poderão concorrer uma vaga no prêmio Yvonne Primerano Mascarenhas, nomeado em homenagem à uma das pioneiras da física em São Carlos, em que serão prestigiados os melhores trabalhos de cada etapa: graduação, mestrado e doutorado. Após uma fase preliminar, os trabalhos são apresentados à uma banca com representantes de todas as grandes áreas de pesquisa do instituto. Toda a Comissão Organizadora agradece a diretoria do IFSC-USP, a Comissão de Graduação e a Comissão de Pós-Graduação pelo apoio. Agradecemos também a todos os avaliadores e palestrantes, sem os quais o evento não seria possível. Agradecemos a presença de todos os participantes. Agradecemos especialmente as bibliotecárias do instituto, que dedicam árduo trabalho e esforço na padronização e adequação do livro de resumos. Comissão Organizadora da SIFSC 10 5 SIFSC 10, 03 a 05 de novembro 2020, São Carlos-SP 6 Lista de resumos Workshop de Iniciação Científica IC1 - Determinação de espectros de refração não linear de soluções de corantes pelas medidas de rotação não linear da polarização elíptica. MOYSÉS, R. ; MISOGUTI, L. ..................................................................................... 29 IC2 - Desenvolvimento de biossensor para detecção de Zika e Dengue COSTA, J. N. Y. ; NASCIMENTO, I. S. D. ; LINS, P. M. P. ; ZUCOLOTTO, V. ...................... 30 IC3 - Detecção de infecções de zika e dengue usando biossensores capacitivos e análise de componentes principais TAKEUTI, N. ; SAMPAIO, I. ; YAMAUTI, J. ; GUSSON, B. ; QUATRONI, F. D. ; ZUCOLOTTO, V. ........................................................................................................................ 31 IC4 - Interferometria e o gato de Cheshire quântico RUIZ, G. ; SOARES-PINTO, D. O. .............................................................................. 32 IC5 - Propriedades magneto-ópticas em vidros CaLiBO MENEZES, B. C. ; RENATA, F. H. ; SANTOS, S. N. C. ; ALMEIDA, J. ; MENDONCA, C. ........ 33 IC6 - Lorentz Invariance Violation in the context of astroparticle physics FIUSA, G. ; SOUZA, V. D. ; MARTÍNEZ-HUERTA, H. ..................................................... 34 IC7 - Desenvolvimento de um sistema quantitativo de Espectroscopia de Plasma In- duzido por Laser com pulsos de femtossegundos (fs-LIBS) BONI, L. D. ; GARCIA, R. ......................................................................................... 35 IC8 - Microfabricacao via laser de femtosegundos segundo para controle de molhabi- lidade em superficies CURVELO, K. ; PAULA, K. ........................................................................................ 36 IC9 - Magnetic island bifurcation in a visco-resistive MHD fluid ASNIS, Y. ; CANAL, G. ; EVANS, T. ............................................................................ 37 IC10 - Estudo da Localização das Transferases de Glicosídeos epaI e epaOX de Ente- rococcus faecalis por Microscopia Confocal VICENTE, M. L. F. .................................................................................................. 38 7 SIFSC 10, 03 a 05 de novembro 2020, São Carlos-SP IC11 - Avaliação do mecanismo de ação do ácido ascórbico na agregação da A para tratamento da doença de Alzheimer QUATRONI, F. D. ; SAMPAIO, I. ; LINS, P. M. P. ; ZUCOLOTTO, V. ................................. 39 IC12 - Sistema de controle de temperatura da cavidade laser de titânio-safira em regime femtossegundo utilizando pastilhas de Peltier ALMEIDA, I. C. D. ; CASTRO NETO, J. C. ................................................................... 40 IC13 - Operadores de Moeller em colisões unidimensionais MOTTA, O. D. ; NAPOLITANO, R. ............................................................................. 41 IC14 - Crescimento e caracterização de pontos quânticos auto-organizados de InAs LEMES, M. F. S. ; MAREGA, E. ................................................................................. 42 IC15 - Avaliação da resposta da terapia fotodinâmica em modelos 3D de tumor de mama empregando a espectroscopia Raman MARQUES, M. J. D. A. M. ; KURACHI, C. ; CAMPOS, C. D. P. ; IERMAK, I. ....................... 43 IC16 - Resolvendo charadas cripto-aritméticas com algoritmos cooperativos REIS, L. A. ; FONTANARI, J. F. ................................................................................. 44 IC17 - Mapeamento de funções metabólicas em células de câncer e saudáveis: Estudo da concentração e fração livre de NADH, taxa redox e co-localização de mitocôndrias SOUZA, G. ; ROMANO, R. ; KURACHI, C. .................................................................... 45 IC18 - Um estudo sobre algoritmos quânticos para a solução de equações diferenciais SENA, V. .............................................................................................................. 46 IC19 - Influência da força iônica em interações de interface entre septinas parceiras FACIOLI, M. ; ARAÚJO, A. P. U. D. ............................................................................ 47 IC20 - Interação de troca entre íons de cério decorrente da hibridização com elétrons de condução LÍBERO, V. L. ; PICOLI, F. D. .................................................................................... 48 IC21 - Busca por matéria escura no Centro Galáctico com o Telescópio Espacial de Raios Gama Fermi OTTO, M. P. ; VIANA, A. ......................................................................................... 49 IC22 - Origem de íntrons spliceossomais: vestígios no genoma de um excavata REIS, R. D. ; MARCO, R. D. ...................................................................................... 50 IC23 - Propriedades eletrônicas de semicondutores a partir do estudo das simetrias dos grupos cristalinos. SALOMON, B. L. R. ; SIPAHI, G. M. ........................................................................... 51 8 SIFSC 10, 03 a 05 de novembro 2020, São Carlos-SP IC24 - Adaptação da detecção e programação para técnica de retroespalhamento de luz coerente. RAMOS, I. ; BONI, L. D. ........................................................................................... 52 IC25 - Investigando as concepções conceituais em conteúdos de Mecânica de alunos de graduação SILVA, A. C. ; MUNIZ, S. ; PAIVA,
Load more

Recommended publications
  • Metadefender Core V4.17.3
    MetaDefender Core v4.17.3 © 2020 OPSWAT, Inc. All rights reserved. OPSWAT®, MetadefenderTM and the OPSWAT logo are trademarks of OPSWAT, Inc. All other trademarks, trade names, service marks, service names, and images mentioned and/or used herein belong to their respective owners. Table of Contents About This Guide 13 Key Features of MetaDefender Core 14 1. Quick Start with MetaDefender Core 15 1.1. Installation 15 Operating system invariant initial steps 15 Basic setup 16 1.1.1. Configuration wizard 16 1.2. License Activation 21 1.3. Process Files with MetaDefender Core 21 2. Installing or Upgrading MetaDefender Core 22 2.1. Recommended System Configuration 22 Microsoft Windows Deployments 22 Unix Based Deployments 24 Data Retention 26 Custom Engines 27 Browser Requirements for the Metadefender Core Management Console 27 2.2. Installing MetaDefender 27 Installation 27 Installation notes 27 2.2.1. Installing Metadefender Core using command line 28 2.2.2. Installing Metadefender Core using the Install Wizard 31 2.3. Upgrading MetaDefender Core 31 Upgrading from MetaDefender Core 3.x 31 Upgrading from MetaDefender Core 4.x 31 2.4. MetaDefender Core Licensing 32 2.4.1. Activating Metadefender Licenses 32 2.4.2. Checking Your Metadefender Core License 37 2.5. Performance and Load Estimation 38 What to know before reading the results: Some factors that affect performance 38 How test results are calculated 39 Test Reports 39 Performance Report - Multi-Scanning On Linux 39 Performance Report - Multi-Scanning On Windows 43 2.6. Special installation options 46 Use RAMDISK for the tempdirectory 46 3.
    [Show full text]
  • Vexcel Imaging / Microsoft Photogrammetry User Meeting, Tokyo, September 2008
    Vexcel Imaging / Microsoft Photogrammetry User Meeting, Tokyo, September 2008 Michael Gruber, [email protected] Vexcel Imaging Photogrammetry Products UltraCamXp UltraCam Xp Based on the most successfull UltraCamX Key features • CCD size 6.0 µm (UCX: 7.2 µm) • 195 Mega pixel (UCX: 136 Mega pixel) • Storage system 2 x 2.1 Terra byte (UCX: 2 x 1.7 TB) • Storage system 6600 images (UCX: 4700 images) • New filters for even improved image dynamic UltraCam Xp Projects • 500m flying height ‐> 2.9 cm GSD ‐> 514m strip width • 1000m flying height ‐> 5.8 cm GSD ‐> 1028m strip width • 3000m flying height ‐> 17.4 cm GSD ‐> 3085m strip width Largest digital camera world‐wide Lowest possible collection costs Most efficient digital camera world‐wide Success Story Sales Figures • 244 cameras world‐wide • 101 cameras of UCD and UCX • 47 UltraCamD • 54 UltraCamX Announcement: The UltraCam #100 has been sold in July 2008 Vexcel market share to Geokosmos, Russia, 42% with UCD/UCX by our partner GeoLidar Success Story Sales Figures Announcement: • 244 cameras world‐wide Aerodata, Belgium, • 103 cameras of UCD, UCX purchased UltraCam Xp and UCXp #1 and #2 at ISPRS 08 • 47 UltraCamD • 54 UltraCamX • 2 UltraCamXp • (end of July 08) UltraCamXp Computing Unit exchangeable Data Unit Data Unit Docking Station 4 parallel Download Ports UltraCamXp Largest Image Format 17310 by 11310 pixel (195 Mpixel) On board Data Storage 6600 Frames / Data Unit Short frame intervall (2 sec) 3cm GSD / 60% Endlap / 140 kn Microsoft/Vexcel Aerial Camera Evolution UltraCamD
    [Show full text]
  • Microsoft Surface User Experience Guidelines
    Microsoft Surface™ User Experience Guidelines Designing for Successful Touch Experiences Version 1.0 June 30, 2008 1 Copyright This document is provided for informational purposes only, and Microsoft makes no warranties, either express or implied, in this document. Information in this document, including URL and other Internet Web site references, is subject to change without notice. The entire risk of the use or the results from the use of this document remains with the user. Unless otherwise noted, the example companies, organizations, products, domain names, e-mail addresses, logos, people, places, financial and other data, and events depicted herein are fictitious. No association with any real company, organization, product, domain name, e-mail address, logo, person, places, financial or other data, or events is intended or should be inferred. Complying with all applicable copyright laws is the responsibility of the user. Without limiting the rights under copyright, no part of this document may be reproduced, stored in or introduced into a retrieval system, or transmitted in any form or by any means (electronic, mechanical, photocopying, recording, or otherwise), or for any purpose, without the express written permission of Microsoft. Microsoft may have patents, patent applications, trademarks, copyrights, or other intellectual property rights covering subject matter in this document. Except as expressly provided in any written license agreement from Microsoft, the furnishing of this document does not give you any license to these patents, trademarks, copyrights, or other intellectual property. © 2008 Microsoft Corporation. All rights reserved. Microsoft, Excel, Microsoft Surface, the Microsoft Surface logo, Segoe, Silverlight, Windows, Windows Media, Windows Vista, Virtual Earth, Xbox LIVE, XNA, and Zune are either registered trademarks or trademarks of the Microsoft group of companies.
    [Show full text]
  • Developing a Zoomable Timeline for Big History
    19 From Concept to Reality: Developing a Zoomable Timeline for Big History Roland Saekow Abstract Big History is proving to be an excellent framework for designing undergradu- ate synthesis courses. A serious problem in teaching such courses is how to convey the vast stretches of time from the Big Bang, 13.7 billion years ago, to the present, and how to clarify the wildly different time scales of cosmic history, Earth and life history, human prehistory and human history. Inspired by a se- ries of printable timelines created by Professor Walter Alvarez at the Univer- sity of California, Berkeley, a time visualization tool called ‘ChronoZoom’ was developed through a collaborative effort of the Department of Earth and Plane- tary Science at UC Berkeley and Microsoft Research. With the help of the Of- fice of Intellectual Property and Industry Research Alliances at UC Berkeley, a relationship was established that resulted in the creation of a prototype of ChronoZoom, leveraging Microsoft Seadragon zoom technology. Work on a sec- ond version of ChronoZoom is presently underway with the hope that it will be among the first in a new generation of tools to enhance the study of Big History. In Spring of 2009, I had the good fortune of taking Walter Alvarez' Big His- tory course at the University of California Berkeley. As a senior about to com- plete an interdisciplinary degree in Design, I was always attracted to big picture courses rather than those that focused on specifics. So when a housemate told me about Walter's Big History course, I immediately enrolled.
    [Show full text]
  • User Interaction in Deductive Interactive Program Verification
    User Interaction in Deductive Interactive Program Verification Zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften von der KIT-Fakult¨atf¨urInformatik des Karlsruher Instituts f¨urTechnologie (KIT) genehmigte Dissertation von Sarah Caecilia Grebing aus Mannheim Tag der m¨undlichen Pr¨ufung: 07. Februar 2019 Erster Gutachter: Prof. Dr. Bernhard Beckert Zweiter Gutachter: Assoc. Prof. Dr. Andr´ePlatzer Contents Deutsche Zusammenfassung xv 1. Introduction1 1.1. Structure and Contribution of this Thesis . .2 1.1.1. Qualitative, Explorative User Studies . .3 1.1.2. Interaction Concept for Interactive Program Verification . .5 1.2. Previously Published Material . .6 I. Foundations for this Thesis9 2. Usability of Software Systems: Background and Methods 11 2.1. Human-Computer Interaction . 12 2.2. User-Centered Process . 12 2.3. Usability . 13 2.3.1. What is Usability? . 13 2.3.2. Usability Principles . 14 2.4. Interactions . 16 2.4.1. Models of Interaction . 16 2.4.2. Interaction Styles . 18 2.5. Task Analysis . 20 2.5.1. A brief Introduction to Sequence Models . 20 2.6. Evaluation Methods . 22 2.6.1. Questionnaires . 23 2.6.2. Interviews . 24 2.6.3. Focus Groups . 24 2.6.4. Preparation and Conduction of Focus Groups and Interviews . 25 3. Interactive Deductive Program Verification 29 3.1. Introduction . 29 3.2. Logical Calculi . 30 3.3. Specification of Java Programs with JML . 32 3.3.1. Method Contracts . 33 3.3.2. Loop Invariants . 34 3.3.3. Class Invariants . 36 3.3.4. The Purpose of Specifications . 36 3.4. A Brief Introduction to Java Dynamic Logic (JavaDL) .
    [Show full text]
  • Web-Based Interactive Editing and Analytics for Supervised Segmentation of Biomedical Images
    WEB-BASED INTERACTIVE EDITING AND ANALYTICS FOR SUPERVISED SEGMENTATION OF BIOMEDICAL IMAGES A Thesis presented to the Faculty of the Graduate School at the University of Missouri-Columbia In Partial Fulfillment of the Requirements of the Degree Master of Science by RAHUL KUMAR SINGH Dr. Kannappan Palaniappan, Thesis Supervisor DECEMBER 2014 © Copyright by Rahul Kumar Singh 2014 All Rights Reserved The undersigned, appointed by the Dean of the Graduate School, have examined the thesis entitled: WEB-BASED INTERACTIVE EDITING AND ANALYTICS FOR SUPERVISED SEGMENTATION OF BIOMEDICAL IMAGES Presented by Rahul Kumar Singh, a candidate for the degree of Master of Science, and hereby certify that, in their opinion, it is worthy of acceptance. Dr. Kannappan Palaniappan Dr. Jianlin Cheng Dr. Filiz Bunyak ACKNOWLEDGMENTS I would like to thank my advisor Dr. Kannappan Palaniappan for his support and guidance during this project. I completely utilized every opportunity I had during my study at University of Missouri, Columbia with his help and encouragement. I would also like to thank Dr. Stefan Jaeger and Dr. Sema Candemir at the National Institute of Health, Dr. Surya Prasath and Rengarajan Pelapur at the Computation Imaging and Visual Analysis Lab and all my other colleagues for their continuous assistance and advice on this project. I would like to thank Dr. Jianlin Cheng and Dr. Filiz Bunyak for giving me high-quality knowledge and taking out the time to serve on my project committee. I would also like to thank my parents, brother and sister in law for constantly motivating me during this project and guiding me in the right path in all aspects of life and my new born nephew for bringing immense joy in my life.
    [Show full text]
  • LADS Tour Authoring & Playback System
    LADS Tour Authoring & Playback System Master’s Project Report May 20, 2011 James C. Chin [email protected] Department of Computer Science Brown University Providence, RI 02912 CONTENTS 1 Abstract .........................................................................................................................3 2 Introduction ..................................................................................................................4 3 Related Work ................................................................................................................5 4 Design ............................................................................................................................7 4.1 Overall Workflow .......................................................................................................... 7 4.2 Backend Architecture .................................................................................................... 7 4.3 Authoring UI .................................................................................................................. 9 4.4 Playback UI ................................................................................................................. 12 5 Discussion ...................................................................................................................13 5.1 Challenges .................................................................................................................... 13 5.2 Future Work ...............................................................................................................
    [Show full text]
  • Digital Literacy Skills Development Resource
    Digital Literacy Skills Development Resource EARLY LEVEL-FOURTH LEVEL Digital Literacy - Skills Development Resource EARLY LEVEL Building the Curriculum 4 ICT skills, which will be delivered in a variety of contexts and settings throughout the learner’s journey, are detailed in those Experiences and Outcomes within the Technologies Curriculum area under “ICT to enhance learning”. These state that (they) “are likely to be met in all curriculum areas and so all practitioners can contribute to and reinforce them”. EARLY LEVEL EXPERIENCE AND OUTCOME I explore software and use what I learn to solve problems and present my ideas, thoughts or information. TCH 0-03a OTHER RELATED ICT SKILLS I CAN... LEARNING AND TEACHING MIGHT RESOURCES MIGHT (red, amber and green bullet points OUTCOMES MIGHT DEVELOPED INCLUDE: INCLUDE: to show progression of skills) INCLUDE: Log on and off the aware of logging on and on the • General discussion around HWB 0 -16a Generic log in for class computer computer logging on and off HWB 0 -17a • Explanation of having own log in and why log on and off the computer passwords are important and should be kept with a generic log in Think You Know website – hectors secret and not shared with others. World explains the need to keep log on and off the computer • Individual log in on cards for each child with your passwords safe. with their own log in username and password http://tinyurl.com/yjkqopg Move objects on use the pen to move items • Use Serif Craft Artist or the Internet to LIT 0-01a, 0-11a, 0-20a Interactive Whiteboard pen an interactive on the interactive white board move objects around the interactive whiteboard whiteboard.
    [Show full text]
  • Canada Teacher Awar Canada Innovative Teacher Awards 2012 Innovative R Awards
    CANADA INNOVATIVE TEACHER AWARDS 2012 Program Overview and Guidelines 1 TABLE OF CONTENTS 1. Introduction …………………………………………………………………………………3 2. Canada Innovative Teacher Awards & World Wide Global Forum Overview……….4 3. Microsoft Software and Tools for Canada Innovative Teacher Awards Projects………………………………………………5 4. Procedures, Guidelines and Timelines…………………………………………………..6 • Section 1: Create Your Learning Project Video/Criteria • Section 2: Submit Video Learning Activity Application Form 5. Partners in Learning Canada Virtual Innovative Educator Forum Overview:……….9 Virtual Competition for Canada Innovative Teacher Awards • Video Learning Activity Selection Process • Steps/Guidelines for Selected Participants 6. APPENDIX ‘A’: Judging Rubric…………………………………………………………10 7. APPENDIX ‘B’: Instructions to Upload VCT/Learning Activity………………………16 8. APPENDIX ‘C’: Video Learning Activity Application Form…………………………..20 2 1. Introduction About Microsoft in Education http://www.microsoft.com/education/ww/about/Pages/index.aspx An educated population is the one natural resource that increases in value as it increases in size. Microsoft’s mission in education is to help every student and educator around the world realize their full potential by helping educators and school leaders connect, collaborate, create, and share so that students can realize their greatest potential. We do this by building capacity, growing learning communities and expanding teaching and learning through our Partners in Learning Program. Microsoft Partners in Learning Vision Microsoft Partners in Learning is a global initiative designed to actively increase access to technology and improve its use in learning. At Microsoft, we are deeply committed to working with governments, communities, schools, and educators to use the power of information technology to deliver technology, services, and programs that provide anytime, anywhere learning for all.
    [Show full text]
  • Shireland's Learning Gateway
    Case Study Shireland's Learning Gateway 3.8 Personal Learning Networks, Eportfolios and Virtual Learning Environments Introduction Shireland Collegiate Academy serves children from 11-19 in three of the most deprived wards in the country. Many pupils face extreme personal pressures, with 40 percent on the Special Educational Needs Register, 10 percent from families seeking asylum or economic migrants, low parental confidence in supporting their children, and low levels of attainment on entry. With the introduction of a complete content management and e-learning platform, the Learning Gateway, the academy has been able to offer a “family portal” to improve communication between home and school, to re-engage students with personalized learning opportunities, to allow learning to happen in a number of alternative contexts including home and the community setting, and to achieve considerable success in raising levels of attainment. Location England Aim The aim is to increase personalized learning opportunities for Shireland Collegiate Academy students by supporting learning in a variety of contexts including at school, at home, and in community settings. Rationale Personalization has been a focus of UK government policy, and part of that focus has included closer engagement of parents in their children’s learning and education. An extensive learning platform can assist in personalizing learning and in engaging parents and the community in supporting learning. Description Shireland Collegiate Academy is a secondary school supporting learners
    [Show full text]
  • Certifying Certainty and Uncertainty in Approximate Membership Query Structures
    Certifying Certainty and Uncertainty in Approximate Membership Query Structures fact ti * r Comple 1 2;1 t * te n * A A te Kiran Gopinathan and Ilya Sergey s W i E s e n C l * l o D C o * V * c u e A m s E u e e 1 C n R t v e o d t * y * s E School of Computing, National University of Singapore, Singapore a a l d u e a 2 Yale-NUS College, Singapore t fkirang,[email protected] Abstract. Approximate Membership Query structures (AMQs) rely on randomisation for time- and space-efficiency, while introducing a possi- bility of false positive and false negative answers. Correctness proofs of such structures involve subtle reasoning about bounds on probabilities of getting certain outcomes. Because of these subtleties, a number of unsound arguments in such proofs have been made over the years. In this work, we address the challenge of building rigorous and reusable computer-assisted proofs about probabilistic specifications of AMQs. We describe the framework for systematic decomposition of AMQs and their properties into a series of interfaces and reusable components. We imple- ment our framework as a library in the Coq proof assistant and showcase it by encoding in it a number of non-trivial AMQs, such as Bloom filters, counting filters, quotient filters and blocked constructions, and mecha- nising the proofs of their probabilistic specifications. We demonstrate how AMQs encoded in our framework guarantee the absence of false negatives by construction. We also show how the proofs about probabilities of false positives for complex AMQs can be obtained by means of verified reduction to the implementations of their simpler counterparts.
    [Show full text]
  • Proving Correctness of Threaded Parallel Executable Code Generated from Models Described by a Domain Specific Language
    Eindhoven University of Technology MASTER Proving correctness of threaded parallel executable code generated from models described by a domain specific language Roede, S. Award date: 2012 Link to publication Disclaimer This document contains a student thesis (bachelor's or master's), as authored by a student at Eindhoven University of Technology. Student theses are made available in the TU/e repository upon obtaining the required degree. The grade received is not published on the document as presented in the repository. The required complexity or quality of research of student theses may vary by program, and the required minimum study period may vary in duration. General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain TECHNISCHE UNIVERSITEIT EINDHOVEN Department of Mathematics and Computer Science Proving correctness of threaded parallel executable code generated from models described by a Domain Specific Language By S. Roede Supervisor & tutor Dr. R. Kuiper (TU/e) Ir. J.M.A.M Gabriels (TU/e) Eindhoven, July 2012 Computer Science and Engineering, Eindhoven University of Technology Master thesis Proving correctness of threaded parallel executable code generated from models described by a Domain Specific Language Author: Graduation supervisor: dr.
    [Show full text]