Estratégias de Educação Corporativa: universidades corporativas na prática

A report for the Government of Brazil on research into Corporate Universities worldwide and the implications for Brazil. O ritmo acelerado de mudanças na maior parte dos setores da economia mundial vem sendo uma grande fonte de ansiedade para executivos, organizações e nações inteiras. As competências, habilidades e conhecimentos que contribuem para que uma empresa seja competitiva hoje, não são mais nenhuma garantia para seu sucesso futuro, e nem mesmo para sua própria sobrevivência. As mudanças vêm ocorrendo em diversas dimensões, ocasionadas especialmente por novas formas de competição e novos competidores, a globalização de mercados, processos de fabricação, cadeias produtivas e serviços; reestruturação industrial, volatilidade dos capitais e mudanças tecnológicas, que resultam em inovações de produtos e processos

Analysing and Comparing Encodability Criteria

Encodings or the proof of their absence are the main way to compare process calculi. To analyse the quality of encodings and to rule out trivial or meaningless encodings, they are augmented with quality criteria. There exists a bunch of different criteria and different variants of criteria in order to reason in different settings. This leads to incomparable results. Moreover it is not always clear whether the criteria used to obtain a result in a particular setting do indeed fit to this setting. We show how to formally reason about and compare encodability criteria by mapping them on requirements on a relation between source and target terms that is induced by the encoding function. In particular we analyse the common criteria full abstraction, operational correspondence, divergence reflection, success sensitiveness, and respect of barbs; e.g. we analyse the exact nature of the simulation relation (coupled simulation versus bisimulation) that is induced by different variants of operational correspondence. This way we reduce the problem of analysing or comparing encodability criteria to the better understood problem of comparing relations on processes.Comment: In Proceedings EXPRESS/SOS 2015, arXiv:1508.06347. The Isabelle/HOL source files, and a full proof document, are available in the Archive of Formal Proofs, at http://afp.sourceforge.net/entries/Encodability_Process_Calculi.shtm

Quantifying effective slip length over micropatterned hydrophobic surfaces

We employ micro-particle image velocimetry ($\mu$-PIV) to investigate laminar micro-flows in hydrophobic microstructured channels, in particular the slip length. These microchannels consist of longitudinal micro-grooves, which can trap air and prompt a shear-free boundary condition and thus slippage enhancement. Our measurements reveal an increase of the slip length when the width of the micro-grooves is enlarged. The result of the slip length is smaller than the analytical prediction by Philip et al. [1] for an infinitely large and textured channel comprised of alternating shear-free and no-slip boundary conditions. The smaller slip length (as compared to the prediction) can be attributed to the confinement of the microchannel and the bending of the meniscus (liquid-gas interface). Our experimental studies suggest that the curvature of the meniscus plays an important role in microflows over hydrophobic micro-ridges.Comment: 8 page

Report of the user requirements and web based access for eResearch workshops

The User Requirements and Web Based Access for eResearch Workshop, organized jointly by NeSC and NCeSS, was held on 19 May 2006. The aim was to identify lessons learned from e-Science projects that would contribute to our capacity to make Grid infrastructures and tools usable and accessible for diverse user communities. Its focus was on providing an opportunity for a pragmatic discussion between e-Science end users and tool builders in order to understand usability challenges, technological options, community-specific content and needs, and methodologies for design and development. We invited members of six UK e-Science projects and one US project, trying as far as possible to pair a user and developer from each project in order to discuss their contrasting perspectives and experiences. Three breakout group sessions covered the topics of user-developer relations, commodification, and functionality. There was also extensive post-meeting discussion, summarized here. Additional information on the workshop, including the agenda, participant list, and talk slides, can be found online at http://www.nesc.ac.uk/esi/events/685/ Reference: NeSC report UKeS-2006-07 available from http://www.nesc.ac.uk/technical_papers/UKeS-2006-07.pd

Spontaneous Breakdown of Superhydrophobicity

In some cases water droplets can completely wet micro-structured superhydrophobic surfaces. The {\it dynamics} of this rapid process is analyzed by ultra-high-speed imaging. Depending on the scales of the micro-structure, the wetting fronts propagate smoothly and circularly or -- more interestingly -- in a {\it stepwise} manner, leading to a growing {\it square-shaped} wetted area: entering a new row perpendicular to the direction of front propagation takes milliseconds, whereas once this has happened, the row itself fills in microseconds ({\it ``zipping''})Comment: Accepted for publication in Physical Review Letter

Sequence Dependence of Transcription Factor-Mediated DNA Looping

DNA is subject to large deformations in a wide range of biological processes. Two key examples illustrate how such deformations influence the readout of the genetic information: the sequestering of eukaryotic genes by nucleosomes, and DNA looping in transcriptional regulation in both prokaryotes and eukaryotes. These kinds of regulatory problems are now becoming amenable to systematic quantitative dissection with a powerful dialogue between theory and experiment. Here we use a single-molecule experiment in conjunction with a statistical mechanical model to test quantitative predictions for the behavior of DNA looping at short length scales, and to determine how DNA sequence affects looping at these lengths. We calculate and measure how such looping depends upon four key biological parameters: the strength of the transcription factor binding sites, the concentration of the transcription factor, and the length and sequence of the DNA loop. Our studies lead to the surprising insight that sequences that are thought to be especially favorable for nucleosome formation because of high flexibility lead to no systematically detectable effect of sequence on looping, and begin to provide a picture of the distinctions between the short length scale mechanics of nucleosome formation and looping.Comment: Nucleic Acids Research (2012); Published version available at http://nar.oxfordjournals.org/cgi/content/abstract/gks473? ijkey=6m5pPVJgsmNmbof&keytype=re