cic.unb.br
Departamento de Ciência da Computação | UnBDepartamento de Ciência da Computação - UnB
http://cic.unb.br/
Departamento de Ciência da Computação - UnB
http://cic.unb.br/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Sunday
LOAD TIME
2 seconds
16x16
32x32
64x64
128x128
PAGES IN
THIS WEBSITE
8
SSL
EXTERNAL LINKS
198
SITE IP
164.41.109.110
LOAD TIME
1.986 sec
SCORE
6.2
Departamento de Ciência da Computação | UnB | cic.unb.br Reviews
https://cic.unb.br
Departamento de Ciência da Computação - UnB
Origamiracle
Crease Patterns (CPs) present a good way to represent complex origamis. Famous origami designers, like Satoshi Kamiya, Robert Lang and Brian Chan, often show CPs for their masterpieces. However, it's hard to find a step-by-step diagram for folding these origamis. Although diagrams show mountain and valley lines, in an easy step-by-step sequence, they're not simple to make, and not aways there is a step-by-step sequence for folding those origamis. You can read more here. University of Brasilia - UnB.
LSFA09 -- Fourth Workshop on Logical and Semantic - Welcome
Fourth Workshop on Logical and Semantic Frameworks, with Applications. 28th June, 2009 - Brasília, Brazil. Update: 27th June, 2009. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal specification of systems and programming languages, supporting tool development and reasoning. In its fourth edition, the workshop will be held in Brasília, and hosted by the Department of Computer Science.
Welcome to AWC’09
AWC’09 will be held in Hiroshima, Japan, from 8 - 11 of December, 2009. 01 Application and Services. 03 Energy and Power Control and Management. 04 Mobility Prediction, Location Tracking, and Location Based Services. 05 Routing (Unicast, Broadcast, Multicast, Geocast) protocols. 06 Challenges in Transport Protocols. 07 Resource Allocation and Spectrum Sharing Techniques. 08 Medium Access Control. 09 Radio Link Protocols. 11 Cross-layer design and optimization. 14 Security and Privacy. Submissions should ...
8th International Conference on Interactive Theorem Proving - ITP 2017
Welcome to ITP 2017 in Brasília! ITP 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods ( Tableaux 2017. And the 11th International Symposium on Frontiers of Combining Systems ( FroCoS 2017. The proceedings for ITP 2017 conference are published in the Springer series Lecture Notes in Computer Science. LNCS), volume 10499. Http:/ link.springer.com/book/10.1007/978-3-319-66107-0. Formal aspects of hardware and software;. All subm...
trs - a PVS theory for Term Rewriting Systems
Ystems) is a complete library specified in the language of the proof assistant PVS. The PVS theory. Contains a collection of formalizations of theorems related with termination and confluence properties of abstract reduction and term rewriting systems. In addition, inside this theory. For illustrating the verification of unification. Algorithms à la. Robinson is available as well as a sub-theory. With a formalization of confluence for orthogonal. With an update of the sub- theory. F L C de Moura. Pages 4...
WPOS/WCOMP 2016
Workshop da Pós-Graduação 2016. Workshop da Computação 2016. Bem vindos ao Workshop da Pós-Graduação e da Computação - WPOS/WCOMP 2016! O WPOS/WCOMP é um evento que teve como origem o Workshop do Laboratório de Sistemas Integrados e Concorrentes - WLAICO. O objetivo do WLAICO era reunir os pesquisadores e alunos ligados ao laboratório para apresentar e discutir os objetos de suas pesquisas, visando uma maior integração de seus esforços. Como forma de estreitar ainda mais os laços dentro do Departamento d...
LSFA 2014
LSFA 2014 - 9th Workshop on Logical and Semantic Frameworks, with Applications. 8-9 September 2014, Brasília D.F., Brazil. Specification languages and meta-languages. Formal semantics of languages and systems. Computational and logical properties of semantic frameworks. Implementation of logical and/or semantic frameworks. Applications of logical and/or semantic frameworks. Wednesday, August 27. Deadline for applications and recommendation letters. Friday, August 29. Contributions should be written in En...
LSFA -- Logical and Semantic Frameworks with Applications
International Workshop on L. LSFA is an International Workshop on Logical and Semantic Frameworks with Applications. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide mathematical foundations for formal specification of systems and programming languages, supporting tool development and reasoning. LSFA started in 2006 in Natal ( LSFA06. And its second and third editions were held in Ouro Preto ( LSFA07. And Salvador ( LSFA08.
SBSI 2009 - V Simpósio Brasileiro de Sistemas deInformação
V Simpósio Brasileiro de Sistemas de Informação. 20 a 22 de maio de 2009, Campus Universitário Darcy Ribeiro (UnB), Av. L3 Norte, Ed. Finatec, Asa Norte, Brasília, D.F. Sistemas de Informação e o Cidadão Brasileiro:. Acesso Participativo e Universal à Informação e ao Conhecimento. V Simpósio Brasileiro de Sistemas de Informação. 20 a 22 de maio de 2009. Campus Universitário Darcy Ribeiro (UnB), Av. L3 Norte, Ed. Finatec, Asa Norte, Brasília, D.F. Inscrições abertas. Pesquisas em Sistemas de Informa&ccedi...
cic.unb.br
Departamento de Ciência da Computação | UnB
http://www.cic.unb.br/index.php
Prezados, A Embrapa comunica que foi lançado o concurso Hackathon Embrapa. Convidamos V.S.ª a conhecer este evento. "Hackathon Embrapa - http:/ www.embrapa.br/hackathon" Att, Secretaria/CIC. Acolhimento de Calouros - 2016/2 - 18/08 às 18h - Auditório CIC/EST. Prezados alunos, O evento de acolhimento aos calouros ocorrerá no dia 18/08/2016 às 18h, no auditório do prédio CIC/EST, evento em que ocorrerá. Fechamento da Secretaria do CIC. Acolhimento de Calouros - 2016/2. 18 de agosto - 18 de agosto.
programa de Informática e Sociedade
http://www.cic.unb.br/docentes/rezende/is.html
Http:/ www.cic.unb.br/ rezende/is.htm. Informática e Sociedade. Ciência da Computação - UnB. Prof Pedro A. D. Rezende. Prezende at unb.br. Sexta-feira, 19:00 às 20:40h Sala ICC BT-524. Mantenha-se em contato com esta página até o final do semestre. Notas, prazos, enunciados dos trabalhos, avisos, etc. serão divulgados aqui. Esta página contém partes atualizadas periodicamente. Primeira versão: 14/08/09. Uacute;ltima atualização: 18/12/09. Menções finais na grade. Tendo ou não, deveria(m) ter? 2 - Desenvo...
Criptografia e Segurança Computacional
http://www.cic.unb.br/docentes/pedro/sd.php
O que é WGA? Que crime é esse? Soberania na era digital. Sw livre na mídia. Como foi fraudada a Constituição. No Processo Eleitoral I. No Processo Eleitoral II. No Processo Eleitoral III. Certs, o que são? Debates e FAQ . Assinatura c/ certificado vencido. Silêncio que gera ruídos. Sobre a criação da ICP-BR. Uso restrito de assinaturas. ICP no Brasil . Uso restrito de assinaturas. Riscos com a Receita. Riscos com o SSL*. Ressureição do PL Azeredo? Substitutivo de PL Azeredo. SOPA Esfriou, mas. IV: O caso...
A História da Maconha pelo Mundo.
http://www.cic.unb.br/~fatima/imi/imi200/b/historia.htm
A história da maconha no Brasil e no Mundo. O conhecimento e a utilização da planta da maconha, o cânhamo. Vem desde épocas imemoriais até os nossos dias. A sua origem se perde na noite dos tempos, mas a sua história se reconstrói através dos traços que deixaram as impressões e os atos dos homens do passado em documentos que hoje estão conservados em arquivos, bibliotecas e museus. E sempre, espalhavam sua violência. Devido ao vício, foram chamados Haschichins. Donde surgiu a expressão francesa assassin.
Textos e Notas sobre a Engenharia de Software e Sistemas de Informação
http://www.cic.unb.br/docentes/jhcf/MyBooks/iess/index.html
Textos e Notas sobre a Engenharia de Software e Sistemas de Informação. Jorge H. C. Fernandes. Veja também Textos Introdutórios sobre Computação e Programação. Motivação para Entender Engenharia de Software (PDF - 5 slides). PDF - 5 slides). O que é engenharia de software e qual sua relação com os conceitos de Processo de Software, Produto de Software, Projeto de Software e Serviço de Software. O que é Qualidade em Engenharia de Software? O que é Software? Natureza do Software e dos Sistemas. Software é ...
TOTAL PAGES IN THIS WEBSITE
8
Sites de Filosofia - FCAd - Filosofia, Ciência e Arte
http://www.filosofiacienciaarte.org/index.php/filosofia/sites-de-filosofia
Ciência da Informação - CI. Inclusão Digital e Informacional. Sociedade da Informação/Cidadania e Mobilização. TI and TIC - Cidades Digitais. Escola de Comunicação e Conhecimento. Base de Dados e Informação. Inclusão digital de pessoas com deficiência. Santa Rosa, Carolina and Miracema. Sites de Artes and Cultura. Filosofia, Ciência e Arte. Filosofia, Ciência e Arte. SITES NA ORDEM ALFABÉTICA: Nome; Pasta; Tags e Link/URL. F-Nome: Lectorium Rosicrucianum - Renova/Holanda. D- Nome: Lectorium Rosicrucianum.
COMPUTSAL: [Computsal 1º/2012] Inscrições abertas
http://computsal.blogspot.com/2012/04/computsal-12012-inscricoes-abertas.html
Sábado, 7 de abril de 2012. Computsal 1º/2012] Inscrições abertas. As inscrições para o campeonato mais disputado da Computação estão oficialmente abertas. E depois façam o depósito/transferência para uma das. Contas abaixo, enviando o comprovante, para um dos e-mails:. 09 de Abril a 24 de Abril de 2012. Máximo de jogadores por time:. Máximo de estrangeiros por time:. Vale a regra do último computsal,. Sem limite de estrangeiros por time). Quarta-feira no CACOMP pontualmente às 18:00h;. Blog: Não é Val!
COMPUTSAL: Fevereiro 2009
http://computsal.blogspot.com/2009_02_01_archive.html
Terça-feira, 24 de fevereiro de 2009. Blog oficial do campeonato de futsal dos alunos do Departamento de Ciência da Computação - Cic - da Universidade de Brasília - UnB. Blog: Não é Val! Modelo Simples. Imagens do modelo de adamkaz.
COMPUTSAL: [Computsal 2º/2011] Final
http://computsal.blogspot.com/2011/10/computsal-22011-final.html
Domingo, 16 de outubro de 2011. CAEC - 3º lugar. Laranja Mecânica - 4º Luga. Matheus Magalhães (CAEC) - Artilheiro. Tales Porto (CACIC) - Goleiro Menos Vazado. Confira como ficaram os jogos:. Semifinal 1 - CAEC 0 x 3 CACIC (W.O.). Semifinal 2 - Chinchilas do Tibet 3 x 1 LM. Disputa de 3º - CAEC 9 x 3 LM. Final - CACIC 2 x 1 Chinchilas do Tibet. 1) Matheus Magalhães (CAEC) - 14 gols. 2) Igor Bonomo (Chinchilas do Tibet) - 12 gols. Tales Porto (CACIC) - 10 gols sofridos. Tales Porto (CACIC) - Goleiro.
Laboratory - UnBiquitous
http://www.unbiquitous.org/Laboratory
Since the foundation of the. In 2007 the LAICO laboratory was the place where our activities were done. LAICO stands for. Boratório de sistemas I. Which in english means Concurrent and Integrated Systems Laboratory. The laboratory is the house of many projects in the. Department of Computer Science. Among the technologies we've been researching upon we can find:.
IE 45 Anos | IE
http://www.exatas.unb.br/galeria/ie-45-anos
Portal do Governo Brasileiro. Atualize sua Barra de Governo. Alegria e homenagens marcaram a cerimônia de celebração dos 45 anos do IE. Foram homenageados professores e técnicos que ajudaram a fazer do IE o que ele é hoje. Workshop de Verão em Matemática – 2017. Oficina de Robótica no Programa Infanto Juvenil (PIJ). Semana da Matemática – 2016. Circuito de Vivências em Educação Matemática. Programa de Pós-graduação em Estatística. Programa de Pós-graduação em Matemática. Instituto de Ciências Exatas.
Computação também é coisa de menina! | IE
http://www.exatas.unb.br/ie-extensao/computacao-tambem-e-coisa-de-menina
Portal do Governo Brasileiro. Atualize sua Barra de Governo. Computação também é coisa de menina! O projeto tem como objetivo apresentar a área da Computação para as meninas do ensino médio, trazendo informações sobre a carreira profissional tanto na academia como no mercado de trabalho, através de palestras, oficinas de programação e minicursos de arduinos e robóticas. Professoras Aletéia Favacho, Maria Emília Machado e Maristela Terto. UnB e Colégio Paulo Freire. Programa de Pós-graduação em Estatística.
Home
http://www.ppgi.unb.br/laboratories/translab
Portal do Governo Brasileiro. Atualize sua Barra de Governo. Seja bem-vindo ao site do Programa de Pós-Graduação em Informática (PPGInf) da Universidade de Brasília (UnB). O PPGInf oferece cursos de mestrado e doutorado, e tem em seu corpo docente professores qualificados nas áreas de Sistemas de Computação e Fundamentos e Métodos de Computação. As áreas de concentração e linhas de pesquisa são:. Fundamentos e Métodos de Computação. Confira nossas últimas notícias. Seminários - 11/11/16 - 14h. XXIX Concu...
Laboratório de Bioestatística: Aplicações à Ciência e Tecnologia de Alimentos | IE
http://www.exatas.unb.br/ie-extensao/laboratorio-de-bioestatistica
Portal do Governo Brasileiro. Atualize sua Barra de Governo. Laboratório de Bioestatística: Aplicações à Ciência e Tecnologia de Alimentos. Departamento de Estatística e Embrapa Arroz e Feijão. Prof George Freitas Von Borrie. A Olimpíada Brasileira de Matemática das Escolas Públicas do DF: aprendendo Matemática em grupos de estudos com estudantes da educação básica e do MAT/UnB. Circuito de Vivências em Educação Matemática do Distrito Federal: Formação para a docência e intervenção social.
TOTAL LINKS TO THIS WEBSITE
198
CIC. Centro de Instrumentación Científica
CIC Centro de Instrumentación Científica. Bienvenidos a la web del Centro de instrumentación Científica (CIC). El CIC proporciona soporte instrumental a la investigación científica y técnica, y asesoramiento científico sobre técnicas experimentales; participa en cursos de especialización y en la enseñanza experimental de estudios universitarios; y presta servicios a otras instituciones públicas o empresas de carácter público o privado. Trabaja con el CIC. Unidades y técnicas de autoservicio.
CIC | Center for International Cooperation
Living On and Around UIN. Center for International Cooperation UIN Syarif HIdayatullah Jakarta. Having successfully held gala dinner with ambassadors from American and European countries, rector o. INTERNATIONAL STUDENTS EXCHANGE PROGRAM. Rector of UIN Jakarta has officially discharged 2 students who will depart for Australia on Stud. GALA DINNER WITH AMBASSADORS. Rector of UIN Jakarta, Prof. Dr. Dede Rosyada, MA., invited ambassadors of American and European cou. Lorem ipsum dolor sit amet, consectetur ...
CIC UMAD
CIC - Centro de Información y Conocimiento Johannes Gutenberg. Técnicas de lectura y estudio. Modelos y métodos (GCPA). Tutoriales y cursos en línea. Sala virtual de lectura. Obras patrimonio de la humanidad. Periódicos en el mundo. Ipage good for joomla hosting. Centro de Información y Conocimiento. En este apartado encontrarás tesis, planes de trabajo, apoyos para tus clases, etc. creados o aportados por la comunidad UMAD. Conoce los Recursos que ofrece EBSCO. Harvard Business Review Digital Articles.
Coordinación de la Investigación Científica
Depto de Comunicación de la Ciencia. Que es el programa Delfín? Índice de IES afiliadas. Verano Nicolaita de Investigación. Revistas de la UMSNH. Miembros de la UMSNH. Miembros de la UMSNH. Institutos de la UMSNH. Regulación y no radicalización en la experimentación con animales. En México no existe una legislación que regule la necesidad del uso de animales en la. Se colocará escultura del Centenario de la UMSNH en el bosque Cuauhtémoc. A mayor cobertura de educación, mejor calidad de vida. Con motivo d...
Departamento de Ciência da Computação | UnB
A Fundação de Empreendimentos Científicos e Tecnológicos Finatec está oferecendo cursos de formação e certificação Cisco. https:/ informe.unb.br/index.php/component/content/article/492-finatec/6874-curso-de-certifica%C3%A7%C3%A3o-cisco-finatec.html Atenciosamente, A secretaria. FDC - Aula do dia 13/03. ATENÇÃO ALUNOS Formação Docente em Computação - a aula de terca-feira, 13/03, será realizada no Auditório do CIC. Aguardo vocês às 20h50min no. Eleições para Chefia do CiC - biênio 2018-2020.
Homepage - CIC - More Startups Than Anywhere Else On The Planet : CIC – More Startups Than Anywhere Else On The Planet
What makes CIC such a special place for startups? World-class startups start here. Start small. Grow big. It's all here. It’s all here. Want to get the whole team around a table? A private office for the group? Private offices for all? It’s all here. We’ve had teams grow to near 200 at CIC. It’s all here. A sampling of current and past clients. CEO, Tokai Pharmaceuticals. CEO, Tokai Pharmaceuticals. How much does it cost to locate my business at CIC? In addition to my workspace, what else is included?
Clearwater Intermediate Center - Home
Skip to main content. Switch To A Different Campus. Engineering Expo March 2018. Clearwater Youth Football and Cheer Forms. Clearwater Rec Baseball/Softball Signups. Skyping with Buffalo Bill Center in Wyoming. Around the Intermediate Center. CIC Students Deliver Valentine's to the Clearwater Community. Valentine's Day at the CIC. Winter League Archery Season. Last Call for 2017-18 Yearbooks! 6th Grade Skypes with Hearst Castle. Clearwater, Kansas 67026. Tweets by @Clearwater IC MS.
Centro de Informática y Computación, Universidad de La Serena
Virtual School for Children in Care - Norfolk County Council
Display and Accessibility Options. Skip to Main Content. View website as: Text. Change colour to Lime. Change colour to Blue. Change colour to Yellow. Change colour to Orange. Change colour to Peach. Change colour to Pink. Change colour to White. Virtual.schools@norfolk.gov.uk. Children and Young People. Welcome to Norfolk's Virtual School for Children in Care. Video by: Action for Children. See our Latest News here. There you can see all about the news and the things we have added.
Construction IT research at VTT
SOCIAL ENGAGEMENT