quinta-feira, 21 de maio de 2009

Transferência para o curso de Engenharia da Computação da UTFPR (para início no segundo semestre de 2009): 6 vagas

(trecho do edital)

Para o curso de Engenharia de Computação:
- Consideram-se mesmo curso aqueles que tiverem a denominação de Engenharia de
Computação;
- Consideram-se cursos afins, com prioridade um, os cursos de Ciência da Computação
e Sistemas de Informação;
- Consideram-se cursos afins, com prioridade dois, os cursos de Engenharia Eletrônica,
Engenharia de Comunicação e Telecomunicações, Engenharia de Redes de
Computadores, Engenharia de Controle e Automação, Engenharia Elétrica, Engenharia
Mecatrônica, Engenharia Eletrotécnica;
- Consideram-se curso afim com prioridade três, os demais cursos de Engenharia;
- Consideram-se como critérios de avaliação no processo de aproveitamento de vagas
do curso:
(a) período em que o candidato se integrará ao curso (prioridade maior aos que se
integrarão ao curso no ciclo básico em relação àqueles que se integrarão a períodos
posteriores ou finais),
(b) aproveitamento de créditos em disciplinas de conteúdo básico,
(c) aproveitamento de créditos em disciplinas de conteúdo profissionalizante.
- Como consideração adicional, considerando as limitações impostas pelos espaços e
professores disponíveis, os candidatos a transferência ou aproveitamento de curso
deverão ter, COMO PRÉ-CONDIÇÃO OBRIGATÓRIA, condições de convalidar no
processo de transferência as disciplinas abaixo relacionadas com carga horária e
ementa, para as quais não há oferta de vagas adicionais

CÁLCULO DIFERENCIAL E INTEGRAL 1
Carga Horária: AT(90) AP(00) Nº de créditos: 06
Sistematização dos Conjuntos Numéricos. Sistema Cartesiano Ortogonal. Relações e
Funções no Espaço Real Bidimensional. Limites e Continuidade de Funções Reais de
Variável Real. Estudo das Derivadas de Funções Reais de Variável Real. Estudo da
Variação de Funções através dos Sinais das Derivadas. Teoremas Fundamentais do cálculo
Diferencial. Estudo dos Diferenciais e suas Aplicações. Fórmula de Taylor e de MacLaurin.
Estudo dos Integrais Indefinidos. Estudo dos Integrais Definidos. Aplicações dos Integrais
Definidos.
FÍSICA 1
Carga Horária: AT(45) AP(30) Nº de créditos: 04
Sistemas de unidades; Análise Dimensional; Teoria de Erros; Introdução ao cálculo vetorial;
Cinemática; 3 Leis de Newton; Lei de Conservação da Energia; Sistemas de partículas;
Colisões; Movimento de rotação; Conservação do momento angular; Atividades de
Laboratório.
MATEMÁTICA 1
Carga Horária: AT(90) AP(00) Nº de créditos: 06
Sistemas de Coordenadas. Matrizes. Sistemas de Equações Lineares. Álgebra Vetorial.
Produto de Vetores. Estudo Analítico da Reta e do Plano. Espaços Vetoriais.
Transformações Lineares. Autovalores e Autovetores. Espaço com Produto Interno. Cônicas
e Quádricas.

Leia o edital completo em http://www.decen.ct.utfpr.edu.br/aluno/transferencia/decen19.pdf

quarta-feira, 20 de maio de 2009

Leituras sobre Desenvolvimento Dirigido por Testes

Fonte: http://www.infoq.com/news/2009/05/recommended-tdd-tutorials

Recommended TDD Tutorials

Posted by Vikas Hazrati on May 19, 2009 03:12 AM

Community
Agile
Topics
Unit Testing ,
Adopting Agile
Tags
Testing ,
TDD

Recently, Dave Nicolette consolidated a list of recommended TDD tutorials from a discussion on the Extreme Programming group. Here is a sneak peak at the consolidated list with categorization for quickly getting started with Test Driven Development.

Tutorials

TDD Series

Presentation Slides

Audio Tracks

Hands-on Learning

Recently Dave also added a draft version of a book on TDD, being written by Steve Freeman and Nat Pryce, to his collection. There is also an interesting collection of TDD related content on InfoQ. Some recent content on InfoQ includes


==========================================
Adolfo Neto
Departamento Acadêmico de Informática
Universidade Tecnológica Federal do Paraná
Fone: (41) 3310-4644 / Fax: (41) 3310-4646
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Blog: http://professoradolfo.blogspot.com
==========================================

terça-feira, 19 de maio de 2009

"Cem Anos de Empreendedorismo - Reitor de Stanford como Primeiro Anjo Investidor", por Ruy de Queiroz

Saiu ontem (18/05) na Gazeta Mercantil e no Blog de Jamildo (JC Online): "Cem Anos de Empreendedorismo - Reitor de Stanford como Primeiro Anjo Investidor".

(Outros artigos em temas correlatos: no blog "Os Ventos da Liberdade".)

Ruy
----

ARTIGOS ESPECIAIS

18/05 - 23:30

Cem Anos de Empreendedorismo - Reitor de Stanford como Primeiro Anjo Investidor

São Paulo, 18 de maio de 2009 - Em 2009 comemoram-se os 100 anos de tradição de empreendedorismo e transformação de conhecimento em empreendimento da Stanford University, que deu origem a tantos ícones da tecnologia como Hewlett-Packard, Cisco e Google, e tem sido reconhecida como um catalisador no surgimento do proeminente eixo tecnológico mundial que é o Vale do Silício. Mesmo nesses tempos de recessão econômica, "A Fazenda" (como é conhecida Stanford, em tributo à sua verdadeira origem) continua produzindo idéias de negócios e talentos como nunca — em grande medida devido a seu forte programa de ensino do empreendedorismo em alta tecnologia. Conforme seu portal, o "Stanford Technology Ventures Program" (Programa de Empreendimentos em Tecnologia de Stanford, STVP), localizado no Vale do Silício, é o centro de empreendedorismo na Escola de Engenharia de Stanford. Hospedado pelo departamento de "Ciência e Engenharia da Administração", o STVP é dedicado a acelerar a educação de empreendedorismo em alta-tecnologia, e a criar pesquisa erudita em firmas de base tecnológica que, por sua vez, forneça novas percepções a estudantes, estudiosos, e líderes de negócios. O STVP fornece a estudantes de graduação e de pós-graduação de todos os cursos as competências empreendedoras necessárias para usar inovações na solução dos principais problemas mundiais, com uma ênfase em meio-ambiente, saúde humana, tecnologia da informação, e outras questões globais.

A grande maioria dos relatos históricos sobre o Vale do Silício e o papel da Stanford University começam em 1956 com William Shockley (co-inventor do transistor) e Sherman Fairchild (fundador da Fairchild Semiconductor, pioneira do circuito integrado e precursora da Intel). Vez por outra faz-se um retorno a um passado um pouco mais longínquo dando o devido crédito a William Hewlett e David Packard (fundadores da HP em 1939) pelo estabelecimento naquela região de uma cultura empreendedora em alta tecnologia. Pouca gente sabe, no entanto, da importante "pré-história" que abriu caminho e tornou possíveis todos esses desenvolvimentos, conforme alerta Thomas Lee, Professor de Engenharia Elétrica da Stanford University, em recente palestra à comunidade acadêmica. A primeira gigante da alta tecnologia na região hoje conhecida como Vale do Silício foi a "Federal Telegraph and Telephone" (FTT), fundada em 1909 pelo recém-graduado de Stanford, Cyril Elwell, como a "Poulsen Wireless Telephone & Telegraph Company". O nome tem sua razão de ser: o transmissor de arco, que, ao contrário de todos os tipos anteriores de transmissores de rádio, gerava ondas de rádio contínuas, foi inventado pelo engenheiro dinamarquês Valdemar Poulsen in 1902. Entretanto, a transferência bem sucedida da tecnologia do "arco de Poulsen" para os EUA somente foi ocorrer no verão de 1909 quando Cyril Elwell trouxe os direitos de patente americanos para a Califórnia. Por essa parte da sua história, essa região teria sido denominada a "ala do arco" ("arc alley") antes de se tornar o "vale do silício" ("silicon valley"). (...) (leia mais)


segunda-feira, 18 de maio de 2009

Bacharelado em Sistemas de Informação da UTFPR - Campus Curitiba

Apresentação do BSI da UTFPR

Wollic 2009: Programação disponível

Fonte: http://research.nii.ac.jp/wollic2009/program.html

Program

There will be a special screening of N is a Number: A Portrait of Paul Erdös by courtesy of the film producer and director, George Paul Csicsery. The time of the screening will be announced later.

Tutorial Lectures

Arnold Beckmann (Swansea University): Definable Search Problems in Bounded Arithmetic

Thomas Eiter (Vienna University of Technology): Reasoning Using Knots

Frank Wolter (University of Liverpool): From Mathematical Logic to Life Science Ontologies

Invited Talks

Arnold Beckmann (Swansea University): New Characterisations of Definable Search Problems

Carlos Caleiro (Technical University of Lisbon): Algebraic Valuations as Behavioral Logical Matrices

Thomas Eiter (Vienna University of Technology): Knot-Based Query Answering in Description Logic

Sylvain Salvati (INRIA Bordeaux - Sud Ouest/LaBRI): Recognizability in the Simply Typed Lambda-Calculus

Taisuke Sato (Tokyo Institute of Technology): Logic-Based Probabilistic Modeling

Frank Wolter (University of Liverpool): From Mathematical Logic to Life Science Ontologies

Time Schedule

(Printable version)

Sunday, June 21

9:50 Registration
10:20 Opening
10:30 Tutorial 1
 Arnold Beckmann: Definable Search Problems in Bounded Arithmetic
12:20 Lunch
13:50 Contributed Talks
 Sebastian Link: Spoilt for Choice: Full First-Order Hierarchical Decompositions
 Linda Postniece: Deep Inference in Bi-intuitionistic Logic
 Juha Kontinen and Ville Nurmi: Team Logic and Second-Order Logic
 Juliana Kaizer Vizzotto, André Rauber Du Bois and Amr Sabry: The Arrow Calculus as a Quantum Programming Language
15:50 Coffee Break
16:10 Invited Talk 1
 Taisuke Sato: Logic-Based Probabilistic Modeling
17:00 Short Break
17:10 Tutorial 2
 Thomas Eiter: Reasoning Using Knots
19:00 End of Day 1

Monday, June 22

10:00 Invited Talk 2
 Carlos Caleiro: Algebraic Valuations as Behavioral Logical Matrices
10:50 Coffee Break
11:10 Contributed Talks
 Hugo Herbelin and Gyesik Lee: Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
 Philippe de Groote, Sylvain Pogodalla and Carl Pollard: On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
 Matthias Baaz, Agata Ciabattoni and Norbert Preining: SAT in Monadic Gödel Logics: A Borderline Between Decidability and Undecidability
12:40 Lunch
14:40 Contributed Talks
 Alexandru Baltag and Sonja Smets: Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
 Alain Lecomte and Myriam Quatrini: Ludics and Its Applications to Natural Language Semantics
15:40 Coffee Break
16:00 Tutorial 3
 Frank Wolter: From Mathematical Logic to Life Science Ontologies
17:50 Break
18:00 Head for Conference Dinner

Tuesday, June 23

10:00 Invited Talk 3
 Thomas Eiter: Knot-Based Query Answering in Description Logic
10:50 Coffee Break
11:10 Contributed Talks
 Hubie Chen and Omer Giménez: On-the-Fly Macros
 Bernhard Heinemann: Observational Effort and Formally Open Mappings
 Kerstin Bauer, Raffaella Gentilini and Klaus Schneider: Property Driven Three Valued Model Checking on Hybrid Automata
12:40 Lunch
14:40 Invited Talk 4
 Sylvain Salvati: Recognizability in the Simply Typed Lambda-Calculus
15:30 Coffee Break
15:50 Contributed Talks
 Gleifer Alves, Anjolina Grisi de Oliveira and Ruy de Queiroz: Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
 Katsuhiko Sano: Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
 Carlos Caleiro and João Marcos: Classic-Like Analytic Tableaux for Finite-Valued Logics
17:20 Short Break
17:30 Contributed Talks
 Benjamin Rossman: Ehrenfeucht-Fraïssé Games on Random Structures
 Majid Alizadeh: Completions of Basic Algebras
18:30 End of Day 3

Wednesday, June 24

10:00 Invited Talk 5
 Arnold Beckmann: New Characterisations of Definable Search Problems
10:50 Coffee Break
11:10 Contributed Talks
 Sara Miner More and Pavel Naumov: An Independence Relation for Sets of Secrets
 Yoshihiro Maruyama: A Duality for Algebras of Lattice-Valued Modal Logic
 Francesco Belardinelli and Alessio Lomuscio: First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
12:40 Lunch
14:40 Invited Talk 6
 Frank Wolter: From Mathematical Logic to Life Science Ontologies
15:30 Coffee Break
15:50 Contributed Talks
 Cristian Prisacariu and Gerardo Schneider: CL: An Action-based Logic for Reasoning about Contracts
 Ren-June Wang: Knowledge, Time, and Logical Omniscience
 Henning Christiansen and Verónica Dahl: Abductive Logic Grammars
17:20 Short Break
17:30 Contributed Talks
 Gianluca Amato and Francesca Scozzari: Observational Completeness on Abstract Interpretation
 Juan Carlos Nieves, Mauricio Osorio and Claudia Zepeda: Expressing Extension-Based Semantics Based on Stratified Minimal Models
18:30 End of Conference

Receba as postagens deste blog por email