Miracle-dz/UniFAR-FTUs huggingface dataset:
Análise da variação dinâmica da complexidade de um algoritmo de tracking

Computer vision is a rapidly expanding area, being already present in many aspects of everyday life. Real time methods for people detection and tracking assume, in this context, a very important role. This dissertation seeks to examine the possibility of adapting algorithm complexity, according to information gathered at each processing stage. Starting from an algorithm that perform human detection and tracking, a test platform was assembled in order to assess the performance of the algorithm. Quality evaluation measures, without ground-truth information, were implemented in the major modules of the algorithm. The measures are combined to give the algorithm the ability to decide on the best way forward. A decision may be made in terms of improving the quality of tracking results or by decreasing processing time. For the improvement of the tracking results we try to adapt/modify the segmentation and people detection method. The algorithm evaluates the segmentation quality and, based on such review, decides whether the current method is to produce good tracking results. It has also used an implementation of the method HOG, for people detection, based on support vector machine, and evaluated as an alternative to segmentation-based detection. Regarding the reduction of processing time were implemented methods that based on scene information (number of persons, the distance between them and consistency of their movements), attempt to skip processing phases. The tests showed that it is possible to change segmentation or people detection method, but only if the the quality of the results of each method is known. Only by comparing the results of each method is possible to decide whether or not certain method leads to good results. Using only measures without ground truth information such adaptation was not possible. Regarding the decrease in processing time was found to be just as possible without significant loss of tracking quality, in certain situations where the scene complexity is reduced (few people in the scene, high distance between people and smooth movements.
Partition Aware Database Replication : A state-update transfer strategy based on PRiDe

Distributed real-time databases can be used to support data sharing for applications in wireless ad-hoc networks. In such networks, topology changes frequently and partitions may be unpredictable and last for an unbounded period. In this thesis, the existing database replication protocol PRiDe is extended to handle such long-lasting partitions. The protocol uses optimistic and detached replication to provide predictable response times in unpredictable networks and forward conflict resolution to guarantee progress. The extension, pPRiDe, combines update and state transfer strategies. Update transfer for intra-partition communication can reduce bandwidth usage and ease conflict resolution. State transfer for inter partition conflicts removes dependency on a common state between partitions prior to the merge to apply update messages on. This makes the resource usage independent of the life span of partitions. This independence comes at the cost of global data stability guarantees and pPRiDe can thus only provide per partition guarantees. The protocol supports application specific conflict resolution routines for both state and update conflicts. A basic simulator for mobile ad-hoc networks has been developed to validate that pPRiDe provides eventual consistency. pPRiDe shows that a hybrid approach to change propagation strategy can be beneficial in networks where collaboration by data sharing within long lasting partitions and predictable resource usage is necessary. These types of systems already require the conflict management routines necessary for pPRiDe and can benefit from an existing protocol. In addition to pPRiDe and the simulator this thesis provides a flexible object database suitable for future works and an implementation of PRiDe on top of that database.
A novel approach for thermal crack detection and quantification in structural concrete using ripplet transform

Fire accidents in the concrete structures affect the safety of human beings and structural components. Due to higher temperatures, thermal cracks are conceived in concrete elements. Crack identification, localization, and quantification are the three major components in the damage assessment system. This paper aims to detect thermal cracks of fire‐affected concrete structures using ripplet transform‐based computer vision method. Initially, the concrete images are decomposed with discrete ripplet transform (DRT). The low frequency sub‐bands are approximated with column filtering‐based gray level difference metric. It removes the uneven concrete background. Ripplet coefficient variance parameter (RCVP) is used to differentiate the crack pixels from noisy pixels which is used to eliminate the noises. Finally, in the reconstructed image, the major and minor thermal cracks are detected. The obtained thermal cracks are quantified with the crack properties of length, width, area, and perimeter. The novelty of the proposed method relays on the usage of ripplet transform for the detection of thermal cracks for different concrete grades and different durations of temperature profile. The experimental results are compared with four transform domain state‐of‐the‐method crack detection methods. The proposed method yields better results in terms of the accuracy and average execution time.
The syntax and semantics of pseudo-incorporation

An Introduction to the Syntax and Semantics of Pseudo-Incorporation Olga Borik and Berit Gehrke part 1: General Questions: Delimiting the Phenomenon Pseudo-Incorporation and Bare Nominals Incorporation: Morpho-Syntactic vs. Semantic Considerations Veneeta Dayal Weak Reference and Property Denotation. Two Types of Pseudo-Incorporated Bare Nominals Carmen Dobrovie-Sorin and Ion Giurgea Constructions with and without Articles Henriette de Swart part 2: Case Studies: The Role of Case and the Discourse Properties of Pseudo-Incorporated Nominals The Semantics of (Pseudo) Incorporation and Case Michael Barrie and Audrey Li Discourse Properties of Bare Noun Objects Fereshteh Modarresi part 3: Possible Empirical Extensions NP-Incorporation in German Werner Frey Pseudo-Incorporation in Russian? Aspectual Competition and Bare Singular Interpretation Olav Mueller-Reichau Pseudoincorporation Analysis of Unmarked Direct Objects in Mari Natalia Serdobolskaya Index
Sampling Theory: Beyond Bandlimited Systems

Covering the fundamental mathematical underpinnings together with key principles and applications, this book provides a comprehensive guide to the theory and practice of sampling from an engineering perspective. Beginning with traditional ideas such as uniform sampling in shift-invariant spaces and working through to the more recent fields of compressed sensing and sub-Nyquist sampling, the key concepts are addressed in a unified and coherent way. Emphasis is given to applications in signal processing and communications, as well as hardware considerations, throughout. With 200 worked examples and over 200 end-of-chapter problems, this is an ideal course textbook for senior undergraduate and graduate students. It is also an invaluable reference or self-study guide for engineers and students across industry and academia.
An object-oriented semantic data model

This research centers on the design and validation of The Object-Oriented Semantic Data Model (OOSDM). OOSDM integrates features and concepts from semantic data models, object-oriented programming languages, and object-oriented data models; resulting in a data model supporting: (1) An abstract data type (APT) facility; (2) Transaction specification; (3) Enhanced logical and procedural derivation; (4) Explicit constraint specification; (5) Operational semantics for manipulating 'complex objects'. OOSDM includes additional components lacking in existing object-oriented data models: a query language and an associated diagramming technique. The Object-Oriented Semantic Query Language (OOSQL) extends relational calculus based query languages with: logical access path independence, and the use of APT operations and generalization hierarchies in queries. OOSQL contributes a formally defined, high-level, calculus based query language. Current object-oriented data models possess no such object-oriented calculus (OOC) counterpart to relational calculus. Object-Oriented Entity-Relationship Diagrams (OOERDs) extend the popular Entity-Relationship approach for modeling object structure. OOERDs model object dynamics for all operations: complex object, APT, and query. OOERDs furnish an additional database design aid, providing a graphical abstraction of both structural and behavioral application characteristics. In validating OOSDM, three separate formal mappings furnish a theoretical basis: (1) A structural mapping of OOSDM schemes to relational model schemes; (2) An operational mapping of OOC to relational calculus; (3) A mapping of access path independent OOC to access path dependent OOC. For all three mappings, justification is provided for claims of completeness, consistency, and correctness. The structural and operational mappings contribute the only known formal mappings of a semantic model to the relational model. OOSDM's access path mapping is an original approach to achieving logical access path independence. The mapping employs a semantic model graph and a simple breadth-first search algorithm to define the access path(s). Advantages of the approach include: (1) Applicability to both object-oriented models and to the relational model through a semantic interface; (2) Support for user-selected query interpretation; (3) Algorithm simplicity; (4) Database retrieval using only lossless join decompositions; (5) No additional required design concepts.
The Influence of Processing Conversational Information on Inference, Argument Elaboration, and Memory

Despite the pervasiveness of conversations as a means of transmitting information consumer researchers have not considered the effects of conversations on consumers' information processing. This article discusses those structural properties of conversation that differentiate it from prose and extends literature from the field of communication to develop a set of propositions regarding how these structural properties of conversation affect consumers inference, argument elaboration, and memory. The article concludes with a discussion of possible methods for examining the propositions. Copyright 1992 by the University of Chicago.
Finding Alternatives to the Hard Disk Drive for Virtual Memory

FINDING ALTERNATIVES TO THE HARD DISK DRIVE FOR VIRTUAL MEMORY Bruce A. Embry School of Technology Master of Science Current computer systems fill the demand of operating systems and applications for ever greater amounts of random access memory by paging the least recently used data to the hard disk drive. This paging process is called “virtual memory,” to indicate that the hard disk drive is used to create the illusion that the computer has more random access memory than it actually has. Unfortunately, the fastest hard disk drives are over five orders of magnitude slower than the DRAM they are emulating. When the demand for memory increases to the point that processes are being continually saved to disk and then retrieved again, a process called “thrashing” occurs, and the performance of the entire computer system plummets. This thesis sought to find alternatives for home and small business computer users to the hard disk drive for virtual memory which would not suffer from the same long delays. Virtual memory is especially important for older computers, which often are limited by their motherboards, their processors and their power supplies to a relatively small amount of random access memory. Thus, this thesis was focused on improving the performance of older computers by replacing the hard disk drive with faster technologies for the virtual memory. Of the different technologies considered, flash memory was selected because of its low power requirements, its ready availability, its relatively low cost and its significantly faster random access times. Two devices were evaluated on a system with a 512MB of RAM, a Pentium 4 processor and a SATA hard disk drive. Theoretical models and a simulator were developed, and physical performance measurements were taken. Flash memory was not shown to be significantly faster than the hard disk drive in virtual memory applications.
Trade Like Jesse Livermore

Preface. Acknowledgments. CHAPTER 1: Meet Jesse Livermore. CHAPTER 2: Timing is Everything. CHAPTER 3: Livermore Trading Discoveries. CHAPTER 4: Livermore Pattern Recognition Timing Keys: Pivotal Point Trading. CHAPTER 5: Perfecting Money Management. CHAPTER 6: Emotional Control. CHAPTER 7: How Livermore Prepared for His Day. CHAPTER 8: General Livermore Issues. CHAPTER 9: Livermore Quotes-Trading Truths. CHAPTER 10: Summary of Livermore Trading Rules. CHAPTER 11: Livermore Secret Market Key. About the Author. Index.
Building Object-Oriented Systems: An Introduction from Concepts to Implementation in C

Part 1 Fundamental concepts: encapsulation polymorphism genericity. Part 2 Representation: semantic nets frames connectionist nets. Part 3 Some language fundamentals: scope and life of variables enumerations looping. Part 4 Class: enscapulation class as a type pointers to members. Part 5 Inheritance: string example construction and destruction. Part 6 Operator overloading: unary example binary example. Part 7 Genericity: an example of class template an example of a function template. Part 8 Streams: basic input-output formatting. Part 9 Container classes: a simple container iterating through a container. Part 10 Analysis and design: Object Modelling Technique - OMT other methods. Part 11 Data compression application: Huffman coding design for implementation. Part 12 Neural network application: the feedforward backpropagation network enhancing the design. Part 13 Reuse: various ways to achieve reuse the abuse of inheritance.
Game based learning, hypotheses as guidance

The goal of this study was to examine whether it would be possible to guide students to specific learning goals by giving them pre-formulated hypotheses. These should challenge them to explore specific concepts in the game. This should help them gain more explicit knowledge from the game by manipulating the variables influencing those specific concepts. The pre-formulated hypotheses were presented to the students in the experimental group as instructional support. They used these hypotheses as a guide to explore the game Lemonade Tycoon 2, New York City. Students filled in a pre-test questionnaire about their relevant gaming experience. They had half an hour to learn as much as possible about the game in order to reach a high score in the second half of gameplay. After gameplay students filled in a post-test questionnaire functioning as a knowledge test about what they learned from the game. Students in the experimental group scored better at answering the hypotheses-related questions. The answers they provided were more descriptive. They were able to give more distinctive variables manipulating the different concepts. Therefore there is evidence that the pre-formulated hypotheses have helped the students by guiding them to their learning goals.
Ambient Intelligence, Wireless Networking, And Ubiquitous Computing

Networking in Miniature Computers and Embedded Systems. Ubiquitous Computing. Context Transparency and Awareness. Computational Intelligence. Computer Architectures for Ambient Intelligence. 3G and Beyond Services and Architectures for Mobile User Support. Semantic Web, Knowledge Management, and Discovery for Network Services. Middleware and Distributed Computing Issues for Ubiquitous Computing Using Wireless and Mobile Technologies. Polymorphic, Programmable/Active Networks for Mobile and Wireless Environments. Dynamic Data- and Model-Driven Network Architectures and Services. Nomadic User Support and Management. Service Provisioning for Mobile/Wireless Users. Security and Privacy in Mobile and Wireless World. Peer-to-Peer and Grid-Based Services for Mobile Users.
Multimedia Storage and Retrieval: An Algorithmic Approach

Preface.PART I: PRELIMINARIES.1. Introduction.2. Modeling Server and Streams.PART II: DISK SCHEDULING.3. Serving a Single CBR Stream.4. Serving Multiple CBR Streams.5. Serving Multiple VBR Streams.PART III: STORAGE ON A SINGLE DISK.6. File Allocation Strategies.7. Using a Multi-Zone Disk.PART IV: STORAGE ON MULTIPLE DISKS.8. Striping.9. Random Redundant Storage.PART V: DATA TRANSMISSION.10. Bit-Rate Smoothing Algorithms.11. Near Video-on-Demand Strategies.Bibliography. Author Index.Subject Index.
La gestión del tiempo como factor clave en las habilidades directivas aplicadas al sector turístico

Among the most important aspects to be considered at the management level tourism companies are all those managerial skills that an individual has to develop leadership roles and coordination, which influence the implementation of the various activities, roles, functions or tasks carried out within an organization. Inside its different classifications, while it is considered as a criterion involved in the management of the management, more is not regarded as one of the elements of this principle, which can intervene positively or negatively on compliance business objectives and resource management. This study analyzed from the literature, contributes to the conclusion that time management should be considered as a more skill and therefore has a close relationship with those management.
Population structure and variance effective size of red snapper (Lutjanus campechanus) in the northern Gulf of Mexico

We assayed allelic variation at 19 nuclear-encoded microsatellites among 1622 Gulf red snapper (Lutjanus campechanus) sampled from the 1995 and 1997 cohorts at each of three offshore localities in the northern Gulf of Mexico (Gulf). Localities represented western, central, and eastern subregions within the northern Gulf. Number of alleles per microsatellite per sample ranged from four to 23, and gene diversity ranged from 0.170 to 0.917. Tests of conformity to Hardy-Weinberg equilibrium expectations and of genotypic equilibrium between pairs of micro-satellites were generally nonsignificant following Bonferroni correction. Significant genic or genotypic heterogeneity (or both) among samples was detected at four microsatellites and over all microsatellites. Levels of divergence among samples were low (FST ≤0.001). Pairwise exact tests revealed that six of seven “significant” comparisons involved temporal rather than spatial heterogeneity. Contemporaneous or variance effective size (NeV) was estimated from the temporal variance in allele frequencies by using a maximum-likelihood method. Estimates of NeV ranged between 1098 and >75,000 and differed significantly among localities; the NeV estimate for the sample from the northcentral Gulf was >60 times as large as the estimates for the other two localities. The differences in variance effective size could ref lect differences in number of individuals successfully reproducing, differences in patterns and intensity of immigration, or both, and are consistent with the hypothesis, supported by life-history data, that different “demographic stocks” of red snapper are found in the northern Gulf. Estimates of NeV for red snapper in the northern Gulf were at least three orders of magnitude lower than current estimates of census size (N). The ratio of effective to census size (Ne/N) is far below that expected in an ideal population and may reflect high variance in individual reproductive success, high temporal and spatial variance in productivity among subregions or a combination of the two.
Learning Control Theory by Experiencing Dynamics

Simulation games have been, and still are, on the forefront of human-computer interface design. Where games have always used speed and dynamics in as far as the technology allowed, mainstream software design has long ignored the dimension of time: a word processor does not care whether you pause for a long time between entering sentence, words, or letter. The rapid and sustained growth of computer processing power has not been matched by a corresponding growth in the expressiveness or sensitivity of user interfaces. Only in the last few years do we see attention for expressive use of dynamic used, in part because the early Graphical User Interfaces did not give programmers access to the real-time behavior of their applications: at any time the operating system might cut in and shut the user out. Now that designers are regaining the ability to specify the dynamic behavior of interface elements, they need to have a hands-on understanding of the dynamics of human control theory. Textbooks can describe how the difficulty of controlling a task increases with the order of control: 0 order (position control) is easy, 1 order (velocity control) gets more difficult, whereas skilled experts such as airplane and helicopter pilots have to deal with 3 and 4 order control. In order to understand the difficulties involved, and to design solutions for them, designers need to experience what the different orders imply. In this poster we describe a 'driving game’ that teaches order of control by merging experiential display (game-like simulation) with a reflective display (theory-like controls). In developing the application, many design aspects of linking and expressing both theoretical and experiential factors needed to be solved. Design students using the simulation had to become competent at the control task, but also understand their errors, and recovery behavior. We discuss custom-made sliders, gauges, and other display elements that were especially tuned to the learning process of the students.
Effect of supplementation with solid-state fermented feed in the diet of laying hens on egg qualitative variables

The aim of this experiment was to evaluate the effect of the supplementation of laying hens diet with solid-state fermented feed on egg qualitative variables. The diet of laying hens was supplemented with 10% and 15% of solid-state feed fermented by the low filamentous fungal strain Mortierella alpina CCF 2861. For the trial, 30 Lohmann Brown classic layers, aged 17 weeks, were selected and individually weighed and divided into three groups (control and two experimental groups). The control group of laying hens was fed with basic feed mixture and the experimental groups received the same diet as a control group, but enriched with supplementation of solid-state fermented feed. The first experimental group was fed a diet supplemented with 10% of fermented feed and the second experimental group with 15% supplementation. The following egg qualitative variables were observed: the egg weight, Haugh units, quality grade, air cell depth, percentage of the shell, yolk and albumen, eggshell breaking force, pH of egg yolk and albumen, egg yolk colour, and antioxidant activity with the extent of lipid oxidation in egg yolk samples. The pH of yolk and albumen did not show differences between all examined eggs originating from the experimental groups of laying hens (p >0.05). The eggs from both experimental groups had a significantly higher eggshell hardness than eggs produced by the hens of the control group (p <0.05). Antioxidant activity of egg yolk of experimental samples increased with the supplementation of fermented feed in the diet of laying hens (p <0.05). The specific lightness of egg yolk colour increased significantly in the experimental group with 15% of supplementation (p <0.01). The obtained results showed that feeding laying hens with fermented feed positively affected the quality of produced eggs. This was the first study and further investigation before using the fermented feed in commercial laying hen farms is necessary.