Saberes docentes y enseñanza universitaria

Este artículo presenta los resultados de una investigación1 centrada en el Saber Docente del profesorado universitario, entendiendo este constructo como un fenómeno clave en el desarrollo de buenas prácticas de formación en la educación superior. De una manera sintética, el objetivo de este artículo es mostrar la complejidad del conocimiento profesional para la enseñanza universitaria en cuanto a su estructura, origen y formas de manifestarse en la enseñanza presencial. Todo ello sustentado en el análisis observacional de la práctica de tres docentes y triangulado con la valoración que ellos realizan de su propia práctica. Para finalizar, el artículo recoge un conjunto de conclusiones dirigidas a resituar los resultados de la investigación en el entramado conceptual y operativo de la formación del profesorado universitario

MS-EMC vs. NEGF: A comparative study accounting for transport quantum corrections

As electronic devices approach the nanometer scale, quantum transport theories have been recognized as the best option to reproduce their performance. Other possible trend, mainly focused on reducing the computational effort, is the inclusion of quantum effects in semi-classical simulators. This work presents a comparison between a NEGF simulator and a MS-EMC tool including S/D tunneling both applied on a DGSOI transistor

Towards the understanding of the activity of G9a inhibitors: an activity landscape and molecular modeling approach

In this work, we analyze the structure–activity relationships (SAR) of epigenetic inhibitors (lysine mimetics) against lysine methyltransferase (G9a or EHMT2) using a combined activity landscape, molecular docking and molecular dynamics approach. The study was based on a set of 251 G9a inhibitors with reported experimental activity. The activity landscape analysis rapidly led to the identifcation of activity clifs, scafolds hops and other active an inactive molecules with distinct SAR. Structure-based analysis of activity clifs, scafold hops and other selected active and inactive G9a inhibitors by means of docking followed by molecular dynamics simulations led to the identifcation of interactions with key residues involved in activity against G9a, for instance with ASP 1083, LEU 1086, ASP 1088, TYR 1154 and PHE 1158. The outcome of this work is expected to further advance the development of G9a inhibitors

Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems

The application of automated reasoning to the formal verification of symbolic computation systems is motivated by the need of ensuring the correctness of the results computed by the system, beyond the classical approach of testing. Formal verification of properties of the implemented algorithms require not only to formalize the properties of the algorithm, but also of the underlying (usually rich) mathematical theory. We show how we can use ACL2, a first-order interactive theorem prover, to reason about properties of algorithms that are typically implemented as part of symbolic computation systems. We emphasize two aspects. First, how we can override the apparent lack of expressiveness we have using a first-order approach (at least compared to higher-order logics). Second, how we can execute the algorithms (efficiently, if possible) in the same setting where we formally reason about their correctness. Three examples of formal verification of symbolic computation algorithms are presented to illustrate the main issues one has to face in this task: a Gr¨obner basis algorithm, a first-order unification algorithm based on directed acyclic graphs, and the Eilenberg-Zilber algorithm, one of the central components of a symbolic computation system in algebraic topology

Model biopsychicalsocial in the syndromes of vertebral pain: implications for the protocolize

[Resumen] De forma tradicional el modelo biomédico ha predominado en la práctica asistencial. A diferencia de éste, el modelo biopsicosocial considera a la persona como un todo y hace énfasis sobre la función en lugar de centrarse exclusivamente en el alivio del dolor. En este sentido, la Fisioterapia para el tratamiento de los problemas de espalda, y en concreto para la cervicalgia, tiene que considerar, además del alivio del dolor, la cronicidad y la recurrencia como elementos a considerar en el diseño de actividades protocolizadas.[Abstract] In a traditional way the biomedical model has prevailed in the health care. Against it the biopsychicalsocial pattern considers to the person as a whole and it makes emphasis on the function instead of being centered exclusively in the relief of the pain. In this sense, Physiotheraphy for the treatment of the back problems and in this case for the neck pain, it has to consider besides the relief of the pain, the chronic and the new episodies like elements to consider in the design of protocolized activities

Comparison of Microstructures and Mechanical Properties for Solid Cobalt-Base Alloy Components and Biomedical Implant Prototypes Fabricated by Electron Beam Melting

The microstructures and mechanical behavior of simple, as-fabricated, solid geometries (with a density of 8.4 g/cm3), as-fabricated and fabricated and annealed femoral (knee) prototypes all produced by additive manufacturing (AM) using electron beam melting (EBM) of Co-26Cr-6Mo-0.2C powder are examined and compared in this study. Microstructures and microstructural issues are examined by optical metallography, SEM, TEM, EDS, and XRD while mechanical properties included selective specimen tensile testing and Vickers microindentation (HV) and Rockwell C-scale (HRC) hardness measurements. Orthogonal (X-Y) melt scanning of the electron beam during AM produced unique, orthogonal and related Cr23C6 carbide (precipitate) cellular arrays with dimensions of ~2μm in the build plane perpendicular to the build direction, while connected carbide columns were formed in the vertical plane, parallel to the build direction.Mechanical Engineerin

Microstructure Architecture Development in Metals and Alloys By Additive Manufacturing Using Electron Beam Melting

The concept of materials with controlled microstructural architecture (MCMA) to develop and fabricate structural materials with novel and possibly superior properties and performance characteristics is a new paradigm or paradigm extension for materials science and engineering. In the conventional materials science and engineering paradigm, structure (microstructure), properties, processing, and performance features are linked in the development of desirable materials properties and performance through processing methodologies which manipulate microstructures. For many metal or alloy systems, thermomechanical treatment combining controlled amounts of plastic deformation with heat treatment or aging cycles can achieve improved mechanical properties beyond those attainable by conventional processing alone (such as rolling or forging for example) through controlled microstructure development. In this paper we illustrate a new concept involving the fabrication of microstructural architectures by the process development and selective manipulation of these microstructures ideally defining material design space. This allows for the additional or independent manipulation of material properties by additive manufacturing (AM) using electron beam melting (EBM). Specifically we demonstrate the novel development of a carbide (M23C6) architecture in the AM of a Co-base alloy and an oxide (Cu2O) precipitate-dislocation architecture in the AM of an oxygen-containing Cu. While more conventional processing can produce various precipitate microstructures in these materials, EBM produces spatial arrays of precipitate columns or columnar-like features often oriented in the build direction. These microstructural architectures are observed by optical microscopy and scanning and transmission electron microscopy. Prospects for EBM architecture development in precipitation-hardenable Al alloys is also discussed. In the EBM build process using precursor powders, the electron beam parameters (including beam focus, scan speed and sequencing) produce localized, requisite thermodynamic regimes which create or organize the precipitate-related spatial arrays. This feature demonstrates the utility of AM not only in the fabrication of complex components, but also prospects for selective property design using CAD for MCMA development: a new or extended processing-microstructure-property-performance paradigm for materials science and engineering in advanced manufacturing involving solid free-form fabrication (SFF).Mechanical Engineerin

Assessment of Gate Leakage Mechanism Utilizing Multi-Subband Ensemble Monte Carlo

The inclusion in advanced device simulators of quantum effects different than standard confinement becomes mandatory to describe device behavior as technology approaches the nanometer scales. This work presents a model to include the gate leakage mechanism considering direct and trap assisted tunneling in Multi-Subband Ensemble Monte Carlo (MS-EMC) simulators. The tool is used for the study of FDSOI and FinFET devices

Multi-subband Ensemble Monte Carlo Study of Tunneling Leakage mechanisms

The reduction of the critical dimensions of transistor architectures makes mandatory the inclusion of quantum effects different than standard confinement becomes in advanced device simulators to describe the electrical behavior. In particular, direct tunneling from source to drain, band-to-band tunneling and gate leakage mechanisms considering direct and trap assisted tunneling are of especial interest. This work presents a study of these inmechanisms in Fully Depleted Silicon-On- Insulator (FDSOI) and FinFET devices using a Multi-Subband Ensemble Monte Carlo (MS-EMC) simulator