La competència "El treball col·laboratiu": una oportunitat per a incorporar les TIC en la didàctica universitària. Descripció de l'experiència amb la plataforma ACME (UdG) = La competencia "El trabajo colaborativo": una oportunidad para incorporar las TIC en la didáctica universitaria. Descripción de la experiencia con la plataforma ACME (UdG)

L'article és una reflexió sobre els requisits de formació dels professionals que demana la societat del coneixement. Un dels objectius més importants que ha de tenir la universitat en la societat del coneixement és la formació de professionals competents que tinguin prou eines intel·lectuals per a enfrontar-se a la incertesa de la informació, a la consciència que aquesta té una data de caducitat a curt termini i a l'ansietat que això provoca. Però, a més, també han de ser capaços de definir i crear les eines de treball amb què donaran sentit i eficàcia a aquest coneixement mudable i mutant. Per això, l'espai europeu d'ensenyament superior prioritza la competència transversal del treball col·laboratiu amb l'objectiu de promoure un aprenentatge autònom, compromès i adaptat a les noves necessitats de l'empresa del segle xxi. En aquest context, es presenta l'entorn teòric que fonamenta el treball desenvolupat a la plataforma informàtica ACME, que uneix el treball col·laboratiu i l'aprenentatge semipresencial o blended learning. Així mateix, es descriuen amb detall alguns exemples de wikis, paradigma del treball col·laboratiu, fets en assignatures impartides per la Universitat de Girona en l'espai virtual ACME

Key cognitive and collaborative aptitudes in ambulance people

The aim of our study was to identify and document some key cognitive aptitudes used by ambulance people in emergency situations. Better knowing such aptitudes is necessary for a school of ambulance people in order to improve the selection and education of students. The idea was to better consider real work activity requirements and characteristics, and to develop and implement genuine educational content and selection tools. We followed the work activity of ambulance professionals involved in real emergency situations. Some interventions were filmed and post-analyzed. We completed and validated our analysis by means of interviews with ambulance personnel. We selected some video sequences and used them as a support for the interviews. We identified and documented many different key aptitudes like orientation and spatial sense, the capacity to perform complex cognitive tasks and delicate manipulations in the context of divided attention, as well as diverse aptitudes relevant in collaborative work.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

A qualitative journey into cyberspace /

Educators should movefrom teacher-centered learning to student-centered learning, from isolated work to collaborative work, andfromfactual knowledgebased instructions to critical thinking and informed decision-making. The high tech classroom should be more interactive and encourage active, exploratory, inquiry-based learning, as opposed to the didactic mode in which teachersfeed students information. (Valenti,2000, p. 85) The influence of technology in schools is growing as quickly as the students it impacts. As a pioneer in an e-leaming high school, I hoped to better understand the effects and influences of this learning tool in the English classroom. Using interpretive ethnography as my main frame of reference, I examined the role of technology in a grade 9 Academic English class environment. My role was participant observer as I worked with 4 students in the Laptop Program at St. Augustine Catholic High School. Through interview, observation, joumaling, and thick description, I undertook a journey into cyberspace. I documented the experiences, the frustrations, and the highlights of being in e-leaming along with my students. In this study, I specifically considered the issues of teacher training, administrative support, technology support personnel, resource availability, the role of the teacher in a constructivist classroom, and the benefits of the laptop computer as a learning tool in classroom and school.

Collaborative design procedures for architects and engineers

This book argues for novel strategies to integrate engineering design procedures and structural analysis data into architectural design. Algorithmic procedures that recently migrated into the architectural practice are utilized to improve the interface of both disciplines. Architectural design is predominately conducted as a negotiation process of various factors but often lacks rigor and data structures to link it to quantitative procedures. Numerical structural design on the other hand could act as a role model for handling data and robust optimization but it often lacks the complexity of architectural design. The goal of this research is to bring together robust methods from structural design and complex dependency networks from architectural design processes. The book presents three case studies of tools and methods that are developed to exemplify, analyze and evaluate a collaborative work flow.

La competència "El treball col·laboratiu": una oportunitat per a incorporar les TIC en la didàctica universitària. Descripció de l'experiència amb la plataforma ACME (UdG) = La competencia "El trabajo colaborativo": una oportunidad para incorporar las TIC en la didáctica universitaria. Descripción de la experiencia con la plataforma ACME (UdG)

L'article és una reflexió sobre els requisits de formació dels professionals que demana la societat del coneixement. Un dels objectius més importants que ha de tenir la universitat en la societat del coneixement és la formació de professionals competents que tinguin prou eines intel·lectuals per a enfrontar-se a la incertesa de la informació, a la consciència que aquesta té una data de caducitat a curt termini i a l'ansietat que això provoca. Però, a més, també han de ser capaços de definir i crear les eines de treball amb què donaran sentit i eficàcia a aquest coneixement mudable i mutant. Per això, l'espai europeu d'ensenyament superior prioritza la competència transversal del treball col·laboratiu amb l'objectiu de promoure un aprenentatge autònom, compromès i adaptat a les noves necessitats de l'empresa del segle xxi. En aquest context, es presenta l'entorn teòric que fonamenta el treball desenvolupat a la plataforma informàtica ACME, que uneix el treball col·laboratiu i l'aprenentatge semipresencial o blended learning. Així mateix, es descriuen amb detall alguns exemples de wikis, paradigma del treball col·laboratiu, fets en assignatures impartides per la Universitat de Girona en l'espai virtual ACME

Educational simulation in construction: the virtual construction simulator

Students in the architecture, engineering, and construction disciplines are often challenged with visualizing and understanding the complex spatial and temporal relationships involved in designing and constructing three-dimensional (3D) structures. An evolving body of research traces the use of educational computer simulations to enhance student learning experiences through testing real-world scenarios and the development of student decision-making skills. Ongoing research at Pennsylvania State University aims to improve engineering education in construction through interactive construction project learning applications in an immersive virtual reality environment. This paper describes the first- and second-generation development of the Virtual Construction Simulator (VCS), a tool that enables students to simultaneously create and review construction schedules through 3D model interaction. The educational value and utility of VCS was assessed through surveys, focus group interviews, and a student exercise conducted in a construction management class. Results revealed VCS is a valuable and effective four-dimensional (4D) model creation and schedule review application that fosters collaborative work and greater student task focus. This paper concludes with a discussion of the findings and the future development steps of the VCS educational simulation

Is there wage premium to computer use in Sweden

This paper examines the wage premium to computer use in Sweden in the early 1990’s. I use simple regression model and interaction terms in my paper to examine the effect of computer use at work. Although the data is only one-year cross-section data, my results clearly show a wage premium to computer use in Sweden. There are also interesting findings in my paper by using Swedish data. From the results, I find wage premium to be related to intensity of computer use at work.

Implementação de um sistema Collaborative Planning, Forecasting, and Replenishment em uma grande rede de fast food por meio de um prestador de serviços logísticos

A gestão colaborativa é, atualmente, um elemento-chave no contexto da gestão da cadeia de suprimentos. Neste artigo, o tema é abordado mediante a análise de um caso real, em que uma grande rede mundial de fast-food e seu prestador de serviço logístico (PSL) trabalharam conjuntamente no Brasil em um projeto-piloto para a implementação de um collaborative planning, forecasting, and replenishment (CPFR). O trabalho faz uso de uma metodologia de pesquisa-ação e apresenta as principais variáveis que influenciaram o projeto, abordando os processos necessários para a implementação e os pontos que favorecem o CPFR. Com base no caso estudado, o trabalho apresenta um conjunto de propostas sobre o papel dos agentes da cadeia em projetos dessa natureza. A gestão da cadeia de suprimentos por intermédio da coordenação direta de um PSL também permite demonstrar as possibilidades e dificuldades desse sistema, contribuindo com a visão colaborativa na cadeia de suprimentos a partir da relação entre seus agentes.

A GEP-ISFG collaborative study on the optimization of an X-STR decaplex: data on 15 Iberian and Latin American populations

In a collaborative work carried out by the Spanish and Portuguese ISFG Working Group (GEP-ISFG), a polymerase chain reaction multiplex was optimized in order to type ten X-chromosome short tandem repeats (STRs) in a single reaction, including: DXS8378, DXS9902, DXS7132, DXS9898, DXS6809, DXS6789, DXS7133, GATA172D05, GATA31E08, and DXS7423. Using this X-decaplex, each 17 of the participating laboratories typed a population sample of approximately 200 unrelated individuals (100 males and 100 females). In this work, we report the allele frequencies for the ten X-STRs in 15 samples from Argentina (Buenos Aires, CA(3)rdoba, Rio Negro, Entre Rios, and Misiones), Brazil (SA o pound Paulo, Rio de Janeiro, Parana, and Mato Grosso do Sul), Colombia (Antioquia), Costa Rica, Portugal (Northern and Central regions), and Spain (Galicia and Cantabria). Gene diversities were calculated for the ten markers in each population and all values were above 56%. The average diversity per locus varied between 66%, for DXS7133, and 82%, for DXS6809. For this set of STRs, a high discrimination power was obtained in all populations, both in males (a parts per thousand yen1 in 5 A- 10(5)) and females (a parts per thousand yen1 in 3 A- 10(9)), as well as high mean exclusion chance in father/daughter duos (a parts per thousand yen99.953%) and in father/mother/daughter trios (a parts per thousand yen99.999%). Genetic distance analysis showed no significant differences between northern and central Portugal or between the two Spanish samples from Galicia and Cantabria. Inside Brazil, significant differences were found between Rio de Janeiro and the other three populations, as well as between SA o pound Paulo and Parana. For the five Argentinean samples, significant distances were only observed when comparing Misiones with Entre Rios and with Rio Negro, the only two samples that do not differ significantly from Costa Rica. Antioquia differed from all other samples, except the one from Rio Negro.

Results of the GEP-ISFG collaborative study on an X-STR Decaplex

A collaborative work was carried out by the Spanish and Portuguese ISFG Working Group with a PCR multiplex for X chromosome STRs. Markers were selected among those described as polymorphic in humans and that have been used by some laboratories in forensics. Primers and various technical methods were investigated with the aim of optimizing a multiplex for the 10 selected X-STRs. Primer mix stock solutions were sent to the laboratories that were asked to analyse two female bloodstains, taking as reference the genetic profiles from 9947A, 9948 and NA3657 samples. In this work, we report the results obtained by 30 GEP-ISFG laboratories, using this Decaplex, as well as alternative technical conditions that also produced good results. © 2008 Elsevier B.V. All rights reserved.

Saberes profissionais do professor de matemática: focalizando o professor e a álgebra no ensino fundamental

Pós-graduação em Educação - FCT

Estudo das necessidades, planejamento e prognóstico endodôntico em pacientes com fissuras de lábio e/ou palato submetidos ao tratamento cirúrgico

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Professores-multiplicadores: uma maneira de organizar a formação de professores de matemática para o uso da informática na escola

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Projeto Rived: um estudo de caso de uma equipe de matemática

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)