Miracle-dz/UniFAR-FTUs huggingface dataset:
A Digital Repository of Filmic Content as a Teaching Resource Un repositorio digital de contenido fílmico como recurso didáctico

The use of video as a teaching resource stimulates the construction of new knowledge. Although this resource exists in several genres and media, the experience of professionals that use this resource in class is not appreciated. Furthermore, online spaces guiding and supporting the appropriate use of this practice are unavailable. In the online learning field, a proposal has emerged for a repository of short videos aimed at instructing how to use them as a teaching resource in order to stimulate the exchange of ideas and experience (fostering and creating knowledge) in the teaching-learning process, which serves as a resource for professionals in the construction of MOOCs (Massive Open Online Courses). A three-stage architecture is methodologically proposed: identification/recognition, dissemination and collaboration in the use of videos as a teaching resource supported by an extensive exploratory research, based on existing educational technologies and technological trends for higher education. And this leads to the creation of a repository of Informational Content Recovery in Videos (RECIF), a virtual space for the exchange of experience through videos. We conclude that through methodologies that facilitate the development of innovative processes and products, it is possible to create spaces for virtual or face-to-face motivational classes (MOOCs) thereby completing an interactive and collaborative learning toward stimulation of creativity and dynamism. RESUMEN El uso de videos como recurso didactico estimula la construccion de nuevo conocimiento. A pesar de la existencia de este recurso en diversos generos y medios, no se valora la experiencia de los profesionales que lo aprovechan en clase y ademas no se cuenta con espacios online que orienten y apoyen el uso apropiado de esta practica. En el ambito del aprendizaje online, surge la propuesta de un repositorio de videos de corta duracion, con el objetivo de orientar acerca de su uso como recurso didactico, a fin de incentivar un intercambio de ideas y experiencias (fomentar y crear conocimiento), en el proceso ensenanza-aprendizaje, sirviendo esto como recurso para profesionales en la construccion de los MOOC (Massive Open Online Courses). Metodologica mente se propone una arquitectura en tres etapas: identificacion/reconocimiento, diseminacion y colaboracion, para el uso de videos como recurso didactico, sustentandose en una extensa investigacion exploratoria, basandose en las tecnologias educativas existentes y tendencias tecnologicas para la educacion superior. El resultado es la creacion de un repositorio de Recuperacion de Contenido de Informacion en Videos (RECIF), un espacio virtual de intercambio de experiencias por medio de videos. Se concluye que por medio de metodologias que faciliten el desarrollo de procesos y productos innovadores, se pueden crear espacios de clases motivadoras, virtuales o presenciales, que completen un aprendizaje interactivo y colaborativo, estimulando la creatividad y el dinamismo.
Foundations of and Applications for Car-to-Car Communication

Der Vortrag gibt einen Uberblick uber folgende Themen: - Nutzen von Fahrzeug-zu-Fahrzeug Kommunikation - Aktueller Stand zur Verkehrsinformation heute - Fahrzeug-zu-Fahrzeug Kommunikation als Fahr- und Fahrerassistenzssystem - Grundlagen und Konzepte von Fahrzeug-zu-Fahrzeug Kommunikation
Robust Near-Threshold QDI Circuit Analysis and Design

The two most important digital-system design goals today are to reduce power consumption and to increase reliability. Reductions in power consumption improve battery life in the mobile space and reductions in energy lower operating costs in the datacenter. Increased robustness and reliability shorten down time, improve yield, and are invaluable in the context of safety-critical systems. While optimizing towards these two goals is important at all design levels, optimizations at the circuit level have the furthest reaching effects; they apply to all digital systems. This dissertation presents a study of robust minimum-energy digital circuit design and analysis. It introduces new device models, metrics, and methods of calculation—all necessary first steps towards building better systems—and demonstrates how to apply these techniques. It analyzes a fabricated chip (a full-custom QDI microcontroller designed at Caltech and taped-out in 40-nm silicon) by calculating the minimum energy operating point and quantifying the chip’s robustness in the face of both timing and functional failures.
Properties of the Timed Token Protocol

Timed token medium access control protocol has been incorporated into many network standards including FDDI HSDB HSRB and SAFENET Many embedded real time applications use them as backbone networks The basic idea of the timed token protocol was presented by Grow and then studied by Ulm considering only two classes synchronous and asynchronous messages When a network is initialized the stations decide the value of a target token rotation time TTRT More over the maximum time a station is allowed to transmit synchronous messages i e synchronous capacity allocated to a station is set so that the available bandwidth is not exceeded A station receiving the token is allowed to transmit synchronous frames up to the maximum time and then asynchronous message frames can be transmitted only if the time elapsed from the previous token departure from the same station is less than TTRT
Numerical Methods for Chemical Engineers with MATLAB Applications with Cdrom

From the Publisher: Master numerical methods using MATLAB, today's leading software for problem solving This complete guide to numerical methods in chemical engineering is the first to take full advantage of MATLAB's powerful calculation environment. Every chapter contains several examples using general MATLAB functions that implement the method and can also be applied to many other problems in the same category. The authors begin by introducing the solution of nonlinear equations using several standard approaches, including methods of successive substitution and linear interpolation; the Wegstein method, the Newton-Raphson method; the Eigenvalue method; and synthetic division algorithms. With these fundamentals in hand, they move on to simultaneous linear algebraic equations, covering matrix and vector operations; Cramer's rule; Gauss methods; the Jacobi method; and the characteristic-value problem. Additional coverage includes: Finite difference methods, and interpolation of equally and unequally spaced points Numerical differentiation and integration, including differentiation by backward, forward, and central finite differences; Newton-Cotes formulas; and the Gauss Quadrature Two detailed chapters on ordinary and partial differential equations Linear and nonlinear regression analyses, including least squares, estimated vector of parameters, method of steepest descent, Gauss-Newton method, Marquardt Method, Newton Method, and multiple nonlinear regression The numerical methods covered here represent virtually all of those commonly used by practicing chemical engineers. The focus on MATLAB enables readers to accomplish more, with less complexity, than was possiblewith traditional FORTRAN. For those unfamiliar with MATLAB, a brief introduction is provided as an Appendix. The accompanying CD-ROM contains MATLAB 5.0 (and higher) source code for more than 60 examples, methods, and function scripts covered in the book. These programs are compatible with all three operating systems: Windows(r), MacOS(r), and UNIX(r).
The Effect of a Middle School Teacher Inservice Course Emphasizing Science Process Skills on the Development of Integrated Process Skills and Logical Thinking.

The relationship between integrated process skill achievement and logical thinking has been demonstrated. However, there have been few studies dealirn with successful inservice approaches for the development of teacher abilities in integrated process skills and in logical thinking. It has been hypothesized that teachers receiving mastery training in science processes will be more effective classroom teachers with regard to the development of science processes and logical thinking of their students. The purpose of this investigation was to determine the effect of a middle school inservice course emphasizing science process skills on the development of integrated process skills and on logical thinking. Twenty-two (N = 22) middle school science teachers from the Detroit Public Schools participated in this project. A Resourcebook of Science Process Skills was developed by the author for use with middle school students (grades 5-9) and was used with teachers in this inservice course. Chapters in this book included the following topics: (1) Observing, (2) Classifying, (3) Measuring, (4) Constructing Bar Graphs and Pie Graphs, (5) Predicting, (6) Making Scatterplots and Line Graphs, (7) Operationally Defining Variables, (8) Identifying Variables, (9) Describing Relationship Between Variables, (10) Formulating Hypotheses, and (11) Conducting Experiments and Drawing Conclusions. For each process skill a generic science activity was presented as well as one applicable to the subject areas of life science, earth science, and physical science. Application questions were posed in each process chapter. One inservice session of about two-and-one-half hours was spent for each of the processes. Teachers were taught these processes using an activity approach. Furthermore, the teachers were taught two strategies for teaching these processes tc their students, namely the Learning Cycle and a Modeling Strategy. Teachers were required to develop a lesson plan for each of the integrated processes (#6-11) The Group Assessment of Logical Thinking (GALT) and the Middle Grades Integrated Process Skill Test (MIPT) were administered to these inservice teachers both before and after the inservice course. Correlated t-tests were done to determine gains. Significant gains were found for the teachers in both logical thinking and in their knowledge of integrated process skills. However, the teachers seemed to have great difficulty in learning the two teaching strategies as evidenced by their lesson plans. The following conclusions were made: (1) Middle School science teachers can make significant gains in the mastery of science process skills from an inservice course emphasizing science process skills; (2) Middle School science teachers can make significant gains in their logical thinking from an inservice course empha1 sizing science process skills; and (3) Middle School science teachers had great difficulty in learning instructional strategies for teaching their process skills to their students.
Experience with Teaching Mathematics for Engineers with the Aid of Wolfram Alpha

Recent development of answer engines such as Wolfram Alpha brought a huge computational power to the end devices such as mobile phones and as a consequence students now can perform many calculus tasks very easily. Teachers could either forbid using such tools and insist on often quite long time consuming manual calculations or they can incorporate their usage in the education process that obviously requires update of syllabuses and teaching materials. In this paper we present two years experience with teaching mathematics for engineers with the aid of Wolfram Alpha that students can use not only in classes, but also during the written part of examination.
TG2M: Trajectory Generator and Guidance Module for the Aerial Vehicle Control Language AVCL

This paper presents a novel framework for high-level complex mission planning – AVCL and its built-in trajectory generator module – TG 2 M. For the mission planning we present a language capable of describing the missions and capabilities of a heterogeneous group of vehicles, which includes its interpreter, a definition of a base-vehicle, and a Mission Planner (MP) that uses GIS as the data-model for the world. This MP is not tied to a particular set of vehicles, sensors or commands, which means that at any given time new functionality can be loaded and displayed to the human operator as new options and commands, allowing to control and display N mission at the same time. In addition for low-level mission guidance, the TG 2 M addresses the feature of generating complex trajectories within mission-specific constraints, improving the typical civil system which use basic trajectory-generation algorithms, capable only of linear waypoint navigation, with little or non-existent control over the trajectory. Final experiments will test the TG 2 M mathematical framework for trajectory generation showing the AVCL capabilities for the mission planning and control of the UAV.
Polymorphism for imperative languages without imperative types

The simple and elegant Hindley/Milner polymorphic type discipline is the basis of the type system of Standard ML, but ML's imperative features are a blight on this otherwise clean landscape. Polymorphism and imperative features cannot freely coexist without compromising type safety, hence Standard ML assigns imperative types of limited polymorphism to procedures that use references, exceptions, or continuations. Several other solutions exist, but all introduce new kinds of types that complicate the type system, contaminate module signatures, and violate abstraction by revealing the pure or imperative nature of a procedure in its type. We propose a seemingly radical alternative: by restricting polymorphism to values, imperative procedures have the same types as their behaviorally equivalent functional counterparts. Although the resulting type system does not accept all expressions typable in the purely functional sublanguage, this limitation is seldom encountered in practice. The vast majority of ML code already satisses the restriction of polymorphism to values, and simple syntactic modiica-tions x the few non-conforming programs. The simple and elegant Hindley/Milner polymorphic type discipline 7] is the basis of the type system of Standard ML 9], but ML's imperative features are a blight on this otherwise clean landscape. Polymorphism and imperative features like references cannot freely coexist in a call-by-value language without compromising type safety. The following oft-repeated example illustrates why: let val c = ref (fn x => x) in c := (fn x => 1+x); ! c true end The let-expression binds c to a reference cell initiallycontaining the identity procedure (fn x => x). Hence the expression ref (fn x => x) has type (! )ref for some type. If both polymorphism and references are unconstrained, can be any type, and c has polymorphic type 8: (! ) ref. The body of the let-expression then replaces the contents of the cell with an integer procedure that increments its argument. In this assignment expression, the occurrence of c has type (int ! int)ref , which is a valid instance of c's polymorphic type, obtained by substituting int for. Subsequently,
Imaging the spatial-temporal neuronal dynamics using dynamic causal modelling

Oscillatory brain activity is a ubiquitous feature of neuronal dynamics and the synchronous discharge of neurons is believed to facilitate integration both within functionally segregated brain areas and between areas engaged by the same task. There is growing interest in investigating the neural oscillatory networks in vivo. The aims of this thesis are to (1) develop an advanced method, Dynamic Causal Modelling for Induced Responses (DCM for IR), for modelling the brain network functions and (2) apply it to exploit the nonlinear coupling in the motor system during hand grips and the functional asymmetries during face perception. DCM for IR models the time-varying power over a range of frequencies of coupled electromagnetic sources. The model parameters encode coupling strength among areas and allows the differentiations between linear (within frequency) and nonlinear (between-frequency) coupling. I applied DCM for IR to show that, during hand grips, the nonlinear interactions among neuronal sources in motor system are essential while intrinsic coupling (within source) is very likely to be linear. Furthermore, the normal aging process alters both the network architecture and the frequency contents in the motor network. I then use the bilinear form of DCM for IR to model the experimental manipulations as the modulatory effects. I use MEG data to demonstrate functional asymmetries between forward and backward connections during face perception: Specifically, high (gamma) frequencies in higher cortical areas suppressed low (alpha) frequencies in lower areas. This finding provides direct evidence for functional asymmetries that is consistent with anatomical and physiological evidence from animal studies. Lastly, I generalize the bilinear form of DCM for IR to dissociate the induced responses from evoked ones in terms of their functional role. The backward modulatory effect is expressed as induced, but not evoked responses.
Adaptive inference for graphical models

Many algorithms and applications involve repeatedly solving a variation of the same statistical inference problem. Adaptive inference is a technique where the previous computations are leveraged to speed up the computations after modifying the model parameters. This approach is useful in situations where a time-consuming statistical inference procedure needs to be re-run after some minor manual changes or in situations where the model is changing over time in minor ways. For example while studying the effects of mutations on proteins, one often constructs models that change slowly as mutations are introduced. Another important application of adaptive inference is in situations where the model is being used iteratively; for example in approximate inference we may want to decompose the problem into simpler inference subproblems that are solved repeatedly and iteratively using adaptive updates. In this thesis we explore both exact inference and iterative approximate inference approaches using adaptive updates. We first present algorithms for adaptive exact inference on general graphs that can be used to efficiently compute marginals and update MAP configurations under arbitrary changes to the input factor graph and its associated elimination tree. We then apply our algorithms to approximate inference using a framework called dual decomposition. The key to our approach is a linear time preprocessing step which builds a data structure called a cluster tree that can efficiently be maintained when the underlying model is slightly modified. We demonstrate how a cluster tree can be used to compute any marginal in time that is logarithmic in the size of the input model. Moreover, our approach can also be used to update MAP configurations in time that is roughly proportional to the number of updated entries, rather than the size of the input model. This fact enables us to use our framework to speed up the convergence of dual-decomposition methods. Our technique is also amenable to parallelism, and we explore its ability to use multi-core parallelism in the context of dual-decomposition approximation methods. The research is performed in collaboration with U. A. Acar, A. T. Ihler, and R. R. Mettu.
A Quality Model for Design Patterns

An extender for comminuted meat products based on hydrolyzed whey or hydrolyzed whey fractions is provided. The extender is equivalent to, but less expensive than, extenders used in the prior art, such as nonfat dry milk, and exhibits functional properties in the finished product including binding, emulsifying and flavor enhancement.
Rheology: Principles, Measurements, and Applications

Serving as both a reference and a textbook on rheology and rheological phenomena, this text enables students to retrieve worked examples, experienced rheologists to find references to the rheological techniques currently available, and readers who are primarily interested in using rheology to help solve a specific and immediate problem find a chapter of interest in the section on applications of rheology. This text tackles the tensor in such a way as to make the problems accessible and understandable - by simplifying notation and making the three-dimensional approach to rheology practical. Some exercises are included, with solutions at the end of the book. The text is suitable for students, engineers in the polymer industry and mechanical engineers.
Localizing State-Dependent Faults Using Associated Sequence Mining

In this thesis we developed a new fault localization process to localize faults in object oriented software. The process is built upon the “Encapsulation” principle and aims to locate state-dependent discrepancies in the software’s behavior. We experimented with the proposed process on 50 seeded faults in 8 subject programs, and were able to locate the faulty class in 100% of the cases when objects with constant states were taken into consideration, while we missed 24% percent of the faults when these objects were not considered. We also developed a customized data mining technique “Associated sequence mining” to be used in the localization process; experiments showed that it only provided slight enhancement to the result of the process. The customization provided at least 17% enhancement in the time performance and it is generic enough to be applicable in other domains. In addition to that we have developed an extensive taxonomy for object-oriented software faults based on UML models. We used the taxonomy to make decisions regarding the localization process.It provides an aid for understanding the nature of software faults, and will help enhance the different tasks related to software quality assurance. The main contributions of the thesis were based on preliminary experimentation on the usability of the classification algorithms implemented in WEKA in software fault localization, which resulted in the conclusion that both the fault type and the mechanism implemented in the analysis algorithm were significant to affect the results of the localization.
Fundamentals in Neurocomputing

Neurocomputing - inspired from neuroscience - provides the potential of an alternative information processing paradigm that involves large interconnected networks of relatively simple and typically non-linear processing elements, so-called (artificial) neural networks. There has been a recent resurgence in the field of neural networks, caused by new net topologies and algorithms, and the belief that massive parallelism is essential for high peiformance in several research areas, especially in pattern recognition. This contribution provides a brief introduction to some basic features of neural networks by defining a neural network, reflecting current thinking about the processing that should be peiformed at each processing element of a neural network, discussing the general categories of training that are commonly used to adjust a neural network's weight vector, and finally by characterizing the backpropagation neural networ:k which is one of the most important historical developments in neurocomputing. - The contribution concludes with pointing to some hot topics for future research. It is hoped that this contribution will stimulate the study of neural networks in quantitative geography and regional science. (author's abstract)