Miracle-dz/UniFAR-FTUs huggingface dataset:
Manejo de la capacidad de recuperación en el modelo RMM del CERT

Este artículo compara diferentes marcos de trabajo y estándares del manejo de riesgo o relacionados, estableciendo ventajas y desventajas de su implementación; entre ellos, BS 25999, BS 25777, ISO/IEC 27000, COSO-ERM, ISO/IEC 20000, ITIL, Cobit 5, CERT-RMM, NIST SP-37. Describe cuales de los marcos comparados soporta procesos de negocio, procesos de TI, medición de la madurez e integración con otros marcos.
Smart Grid Communications and Networking: Smart grid and wide-area networks

Part I. Communication Architectures and Models for Smart Grid: 1. Communication networks in smart grid: an architectural view Nipendra Kayastha, Dusit Niyato, Ping Wang and Ekram Hossain 2. New models for networked control in smart grid Anna Scaglione, Zhifang Wang and Mahnoosh Alizadeh 3. Demand-side management for smart grid: opportunities and challenges Pedram Samadi, Hamed Mohsenian-Rad, Vincent W. S. Wong and Robert Schober 4. Vehicle-to-grid systems: ancillary services and communications Chenye Wu, Amir-Hamed Mohsenian-Rad and Jianwei Huang Part II. Physical Data Communications, Access, Detection, and Estimation Techniques for Smart Grid: 5. Communications and access technologies for smart grid Sara Bavarian and Lutz Lampe 6. Machine-to-machine communications in smart grid Jesus Alonso-Zarate, Javier Matamoros, David Gregoratti and Mischa Dohler 7. Bad-data detection in smart grid: a distributed approach Le Xie, Dae-Hyun Choi, Soummya Kar and H. Vincent Poor 8. Distributed state-estimation: a learning-based framework Ali Tajer, Soummya Kar and H. Vincent Poor Part III. Smart Grid and Wide-Area Networks: 9. Networking technologies for wide-area measurement applications Yi Deng, Hua Lin, Arun G. Phadke, Sandeep Shukla and James S. Thorp 10. Wireless networks for smart grid applications David Grifith, Michael Souryal and Nada Golmie Part IV. Sensor and Actuator Networks for Smart Grid: 11. Wireless sensor networks for smart grid: research challenges and potential applications Dilan Sahin, Vehbi Cagri Gungor, Gerhard Hancke and Gerhard P. Hancke 12. Sensor techniques and network protocols for smart grid Rong Zheng and Cunqing Hua 13. Potential methods for sensor and actuator networking for smart grid Victor O. K. Li and Guang-Hua Yang 14. Implementation and performance evaluation of wireless sensor networks for smart grid Nicola Bui, Angelo P. Castellani, Paolo Casari, Michele Rossi, Lorenzo Vangelista and Michele Zorzi Part V. Security in Smart Grid Communications and Networking: 15. Cyber-attack impact analysis of smart grid Deepa Kundur, Salman Mashayehk, Takis Zourntos and Karen Butler-Purry 16. Jamming for manipulating the power market in smart grid Husheng Li 17. Power-system state-estimation security: attacks and protection schemes Gyorgy Dan, Kin Cheong Sou and Henrik Sandberg 18. A hierarchical security architecture for smart grid Quanyan Zhu and Tamer Basar 19. Application-driven design for a secured smart grid Robin Berthier, Rakesh Bobba, Erich Heine, Himanshu Khurana, William H. Sanders and Tim Yardley Part VI. Field Trials and Deployments: 20. Case studies and lessons learned from recent smart grid field trials Rose Qingyang Hu and Yi Qian.
Sigma-delta quantization and finite frames

It is shown that sigma-delta (/spl Sigma//spl Delta/) algorithms can be used effectively to quantize finite frame expansions for R/sup d/. Error estimates for various quantized frame expansions are derived, and, in particular, it is shown that /spl Sigma//spl Delta/ quantizers outperform the standard PCM schemes.
Wavelets: software and applications

During the last decade, the wavelet transform has proven to b e a valuable tool in many application fields. In this thesis we focus on two appl ications: image processing and compression to create low-dimensional mode ls for dynamical systems. We worked out the details of integer wavelet transforms, bas ed on the lifting scheme, for a class of biorthogonal wavelets (Cohen-Dau bechies-Feauveau). Based on this we designed and implemented a software library calledWAILI (Wavelets with Integer Lifting) that provides wavelet transfo rms and wavelet-based image processing operations on two-dimensional images. La ter we added support for very large images and block-based processing. We created a new kind of second-generation wavelets on a rect ngular grid, based on a red-black blocking scheme. These Red-Black wavel ets are less anisotropic than tensor product wavelets. We reduced the complexity of the Proper Orthogonal Decompos ition (POD) by biorthogonal wavelet packet compression and evaluated the resulting Approximate POD by analyzing a large-scale dynamical system, described by partial differential equations.
EVALUATING THE IMPACT FACTOR: A CITATION STUDY FOR INFORMATION TECHNOLOGY JOURNALS

The subject process relates to the etching of a semiconductor device having a re-entrant profile area which causes residual positive photoresist material to remain therewithin after formation of an etch mask of the positive photoresist material. A negative photoresist etch mask is formed on a major surface of the outer conductive film structural layer. The etch mask comprises a plurality of photoresist lines arranged in a predetermined pattern which defines a plurality of spaces therebetween, which in turn expose a plurality of areas of the major surface of the semiconductor device. Substantially all of the negative photosensitive material located within the re-entrant profile area is removed during the etch mask formation process. The exposed areas of the major surface of the outer structural layer can then be etched to form the requisite etch pattern with a chemical etchant system without regard to interference by unwanted residual photoresist material.
EEC 216 Winter 2008 Problem Set #2

Reading: This set of readings is focused on architectural level power estimation and looks at two pairs of papers by two different sets of researchers. Landman’s work has focused on empirical methods toward power estimation while Nemani has explored analytical approaches based on information theoretic estimates of complexity and switching activity. Readings are available on the course web page. 1. P.E. Landman and J.M. Rabaey, “Architectural Power Analysis: The Dual Bit Type Method” [1] 2. P.E. Landman and J.M. Rabaey, “Activity-Sensitive Architectural Power Analysis” [2] 3. M. Nemani and F. N. Najm, “Towards a High-Level Power Estimation Capability” [3] 4. M. Nemani and F. N. Najm, “High-Level Area and Power Estimation for VLSI Circuits” [4]
Exergames for physical education: an overview about interaction design perspectives

800x600 Exertion games represent an interesting, funny and innovative way to involve people in physical activities, fighting with troublesome phenomenon of obesity in children and young. In the educational context ICT technologies represent a basic instruments of the learning process. In literature several studies addressed the videogame’s implication in the learning process. In this work the interaction design aspects dealing with the use of exergames in physical activities educational process will be analysed using the same approach proposed by Mueller et al. (2011). In detail we will focus on the corporeal experience descended from the interaction procedure. An ideal graphical user interface for exergames is also presented. Moreover, an analysis of the most shared devices for exergames will be depictured. The paper infers the useful interaction elements that can improve the learning process of physical education, as well as transfer effect that may correlate with health and social outcomes. Furthermore, this work suggests the theoretical approach which has to guide the development of exergames for educational environment. Keywords: Exergames, Interaction Design, Learning Process, Physical Education and Motor-Control Theory; Normal 0 21 false false false TR X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:. 0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif";}
The Impact of Self-Similarity on Network Performance Analysis

Recently, statistical analysis of high-resolution measurements of several types of network tra c has shown that many type of network tra c are self-similar or fractal in nature. This report gives an overview of self-similarity and examines the e ect of self-similar inputs on the performance of asynchronous transfer mode (ATM) switches. This is done through the use of trace based simulation using actual Ethernet tra c traces. The results of these simulations suggest that self-similarity has an adverse e ect on the performance of ATM switches and that certain suggested bandwidth allocation policies for ATM switches will signi cantly outperform others in the presence of self-similarity. ii Acknowledgements I would like to acknowledge several people who have helped with this project: Mike Devetsikiotis for providing me with numerous papers addressing the topic of selfsimilarity and for introducing me to several members of the Bellcore research team, Rob Tyson for providing me with access to the Splus sofware used for generating synthetic trace data, Vern Paxson for several email discussions regarding the FFT method of generating self-similar sample paths, and Kevin Fettig for giving me pointers to some papers on self-similarity. Finally, I would like to thank my supervisor Dr. John Neilson for numerous helpful discussions as well as for having introduced me to the eld of computer systems performance analysis. iii
Transfer Learning Using Task-Level Features with Application to Information Retrieval

We propose a probabilistic transfer learning model that uses task-level features to control the task mixture selection in a hierarchical Bayesian model. These task-level features, although rarely used in existing approaches, can provide additional information to model complex task distributions and allow effective transfer to new tasks especially when only limited number of data are available. To estimate the model parameters, we develop an empirical Bayes method based on variational approximation techniques. Our experiments on information retrieval show that the proposed model achieves significantly better performance compared with other transfer learning methods.
Challenges of Embodied Intelligence

This paper focuses on challenges of designing working models of embodied intelligence (EI). Formal definitions of embodied intelligence and its embodiment are given. Three self-organizing hierarchical structures – sensory, motor, and goal creation pathways form the core of EI. The three pathways are developed simultaneously extracting knowledge and learning skills through interaction with the environment. Technological challenges of building human-level intelligence
Improving Answer Precision and Recall of List Questions

This thesis presents a novel approach to answering natural language list questions, or questions that have more than a single correct answer. It is based on the hypothesis that the set of answers to a list question will often occur in a similar context. By analyzing candidate answers produced by an existing Question Answering system, it is possible to identify the common context shared by two or more candidate answers. Once the common context is identified, it is then possible to extrapolate from this common context to identify more answer candidates previously not found by the original Question Answering system.
Simulation software for transient, multidimensional heat conduction

The purpose of this work consists in determining the three-dimensional distribution of the non-stationary temperature field in a steel half-finished material, S235 JRG2 (OL 37-2k) mark, heated in an experimental flame oven, by building a numerical model with finite differences in the C++ programming software. The results obtained will be compared to the ones determined through experimental measurements.
Object Schizophrenia Problem in Modelling Is-Role-Of Inheritance

Object orientation has evolved on the basis of inheritance mechanism. But, interestingly, the mechanism has assumed varied semantics over the years as many inheritance mechanisms came up in the literature. In this paper, we present the special semantics of is-roleof inheritance which is used for modeling objects that play multiple roles. Further, di erent symptoms of object schizophrenia problem (OSP) in modeling isrole-of inheritance are explained. We conclude that a solution to OSP in modeling the is-role-of inheritance can not avoid all the symptoms of OSP.
Using the scalable nonlinear equations solvers package

SNES (Scalable Nonlinear Equations Solvers) is a software package for the numerical solution of large-scale systems of nonlinear equations on both uniprocessors and parallel architectures. SNES also contains a component for the solution of unconstrained minimization problems, called SUMS (Scalable Unconstrained Minimization Solvers). Newton-like methods, which are known for their efficiency and robustness, constitute the core of the package. As part of the multilevel PETSc library, SNES incorporates many features and options from other parts of PETSc. In keeping with the spirit of the PETSc library, the nonlinear solution routines are data-structure-neutral, making them flexible and easily extensible. This users guide contains a detailed description of uniprocessor usage of SNES, with some added comments regarding multiprocessor usage. At this time the parallel version is undergoing refinement and extension, as we work toward a common interface for the uniprocessor and parallel cases. Thus, forthcoming versions of the software will contain additional features, and changes to parallel interface may result at any time. The new parallel version will employ the MPI (Message Passing Interface) standard for interprocessor communication. Since most of these details will be hidden, users will need to perform only minimal message-passing programming.
A framework for elastic presentation space

Since the advent of video display terminals as the primary interface to the computer, how to make the best use of the available screen space has been a fundamental issue in user interface design. The necessity for effective solutions to this problem is intensifying as the ability to produce visual data in greater volumes continues to outstrip the rate at which display technology is developing. Most research in this area ha's concentrated on specific applications, exploiting their underlying information structure to obtain reasonable displays. In this work we take a different approach, examining the display problem independent of the application. In particular, we divide the display problem into two components: representation and presentation. Representation is the act of creating a basic image that corresponds to the information such as creating a drawing of a graph. Presentation is the act of displaying this image, emphasizing and organizing areas of interest. For example, a map of Vancouver may be presented with one's route to work magnified to reveal street names. Since representation is inherently dependent on the information, this part of the problem is not considered. Instead we concentrate on presentation and assume the existence of a two-dimensional representation. Our research into the presentation problem has led to the development of a framework that describes a presentation space in which the adjustments and reorganizations are elastic in the sense that reverting to previous presentations is facilitated. Within this framework the approach is to map the representation onto a surface in three dimensions and use perspective projection to create the final display. Varying the surface provides control for magnification and organization of representation details. Use of the third dimension provides the possibility of making-these presentation adjustments comprehensible. Our framework encompasses previous techniques and indicates a broad range of new ones. Existing presentation methods create displays that vary considerably visually and algorithmically. Our framework provides a way of relating seemingly distinct methods, facilitating the inclusion of more than one presentation method in a single interface. Furthermore, it supports extrapolation between the presentation methods it describes. Of particular interest are the presentation possibilities that exist in the ranges between distortion presentations and magnified insets, distortion presentations and a full-zooming environment, and distortion presentations and those that support the repositioning of separate views. Our elastic presentation space framework describes existing presentation methods, identifies new presentation variations, and provides methods for combining them. This removes some of the current difficulty around making a presentation choice, and allows a designer of new information visualizations to include a combination of presentation methods that best suit the needs of their application's information and tasks.
Reliable Electronic Text: The Elusive Prerequisite for a Host of Human Language Technologies

Abstract : Electronic text for use by human language technologies originates from a number of sources direct keyboard entry, optical character recognition, speech recognition, and text-containing computer files. In particular, text-containing computer files may elude processing by an array of human language technology applications (e.g., search, language ID, machine translation, and text analytics). This paper brings to light the effort required to extract electronic text from these files preserve its integrity, and, for some use cases, preserve its structure. It explores a series of specific human language technologies, highlighting the following aspects for each: relevant use cases, the impact of text extraction or conversion errors, the criticality of dependable text extraction and reliable electronic text, and the importance of experimentation and/or testing prior to use. Overall, this paper promotes the successful use of human language technology by equipping the reader to be discerning about the use of human language technology applications with text-containing files.
Control-flow analysis of higher-order languages of taming lambda

Programs written in powerful, higher-order languages like Scheme, ML, and Common Lisp should run as fast as their FORTRAN and C counterparts. They should, but they don't. A major reason is the level of optimisation applied to these two classes of languages. Many FORTRAN and C compilers employ an arsenal of sophisticated global optimisations that depend upon data-flow analysis: common-subexpression elimination, loop-invariant detection, induction-variable elimination, and many, many more. Compilers for higher-order languages do not provide these optimisations. Without them, Scheme, LISP and ML compilers are doomed to produce code that runs slower than their FORTRAN and C counterparts. The problem is the lack of an explicit control-flow graph at compile time, something which traditional data-flow analysis techniques require. In this dissertation, I present a technique for recovering the control-flow graph of a Scheme program at compile time. I give examples of how this information can be used to perform several data-flow analysis optimisations, including copy propagation, induction-variable elimination, useless-variable elimination, and type recovery. The analysis is defined in terms of a non-standard semantic interpretation. The denotational semantics is carefully developed, and several theorems establishing the correctness of the semantics and the implementing algorithms are proven.
Optimizing the internal microarchitecture and isa of a traveling thread pim system

Heterogeneity, multiple on-chip processing elements, multithreading, intelligent caching mechanisms, and compiler-assisted thread-level speculation are a few of the features of emerging architectures for meeting the increasing performance demands and power constraints of future processors and workloads. In the design of future processors, two primary challenges facing computer architects are the overcoming of the memory wall and energy consumption reduction. To address these challenges, this work employs an iterative design methodology in the optimization of an innovative processor architecture that leverages the above features in the implementation of an advanced, powerful execution model called traveling threads for exploiting parallelism and data locality in tandem at multiple levels of granularity. The design of this Passive/Active Multicore (PAM) architecture and the development of mechanisms for locality-cognizant extraction of traveling threads offer insights into the benefits of utilizing computational migration at a granularity of parallelism between the conventional instruction and thread levels. Through these insights, we conclude that PAM and traveling threads are particularly well-suited for the joint exploitation of parallelism and data locality. Quantitative results support this conclusion, illustrating the architecture's significant potential improvements over those currently in use in terms of both execution time and energy consumption for standard benchmarks and scientific workloads.
The Acquisition of Person and Number Morphology Within the Verbal Domain in Early Greek

The aim of this paper is to examine the acquisition pattern of person and number verb morphology within the generative framework and to compare the results of the analyses with previous research in Greek and other European languages. The study considers previous data on the acquisition of subject-verb agreement, and thereafter, examines the acquisition of person and number morphology in a new dataset of two monolingual Greek-speaking children. The analyses present quantitative data of accuracy of person and number marking, error data, and qualitative analyses addressing the productivity of person and number marking. The results suggest that person and number morphology is used correctly and productively from a very early age in Greek speaking children. The findings provide new insight into early Greek language acquisition and are also relevant for research in early development of languages with rich inflectional morphology.
Rotorcraft Flowfield Prediction Accuracy and Ef ficiency using a Cartesian Grid Framework

A method and system for selectively defining hardware parameters in an executable operating system program provides the advantage of enabling or disabling hardware features during testing without having to modify and recompile the operating system source program. In an implementation of a preferred embodiment, a hardware control variable is stored in a configuration file in memory. The configuration file is accessible to the user to define or modify the hardware control variable as desired. The hardware control variable contains a number of hardware control bits, each corresponding to a hardware parameter in the executable operating system program. During execution, the executable operating system program defines the hardware parameters based on the values of the corresponding hardware control bits. The executable operating system program enables or disables the hardware features based on how the hardware parameters are defined.
ANIMASI 3D PERGERAKAN BURUNG TERBANG MENGGUNAKAN MODEL BOIDS

Animasi 3D mulai b erkembang dengan sangat pesat,simulasi perilaku burung merupakan tema riset dalam bidang komputer grafik yang memiliki banyak manfaat, antara lain untuk membuat simulasi pergerakan, pendeteksi tabrakan dan sebagai unsur pendukung realisme dalam aniamasi,Simulasi pergerakan kerumunan ini menggunakan metode algoritma boid dengan memperhitungkan jarak,kecepatan, dan pergerakan yang baik. , saling menjaga jarak posisi dan ditam bah prilaku menghindari hambatan secara berkelompok menggunakan algoritma boids. Kata kunci : Animation, modeling 3D, floking bird,boid dan simulation.