Miracle-dz/UniFAR-FTUs huggingface dataset:
Local Model-Checking of an Alternation-Free Value-Based Modal Mu-Calculus

Programs written in value-passing description languages such as Crl and Lotos can be naturally translated into Labelled Transition Systems (Ltss) containing data values. In order to express temporal properties interpreted over these Ltss, we deene a value-based alternation-free modal-calculus built from typed variables, pattern-matching modalities, and parameterised xed point operators. The verii-cation of a temporal formula over a ((nite) Lts is reduced to the (partial) resolution of a Parameterised Boolean Equation System (Pbes). We propose a resolution method for Pbess that leads to a local model-checking algorithm, which could also be applied in the framework of abstract interpretation.
Moving Vehicle Detection in Dynamic Background from Airborne Monocular Camera

Aerial imagery sensors can provide sufficient resolution to sense vehicle locations and movements across broader spatial and temporal scales. In this paper, an approach for collecting and analyzing aerial imagery is given. This paper presents a method to detect vehicle from a moving camera. The detection component involves a cascade of modules. First, road is detected Based on edge detection and blob analysis, then our proposed motion detection (simplified Lucas-Kanade algorithm) is used to obtain motion vectors from two consecutive input frames. Third, frame differencing method Based on obtained motion vectors is applied to generate differenced image. At last, moving vehicles are detected Based on blob analysis.
Differential Hebbian learning

The differential Hebbian law ėij=Ċi Ċj is examined as an alternative to the traditional Hebbian law ėij =Ci Cj for updating edge connection strengths in neural networks. The motivation is that concurrent change, rather than just concurrent activation, more accurately captures the ‘‘concomitant variation’’ that is central to inductively inferred functional relationships. The resulting networks are characterized by a kinetic, rather than potential, energy. Yet we prove that both system energies are given by the same entropy‐like functional of connection matrices, Trace(Ė E). We prove that the differential Hebbian is equivalent to stochastic‐process correlation (a cross‐covariance kernel). We exactly solve the differential Hebbian law, interpret the sequence of edges as a stochastic process, and report that the edge process is a submartingale: the edges are expected to increase with time. The submartingale edges decompose into a martingale or unchanging process and an increasing or novelty process. Hence conditioned averages of edge residuals are encoded in learning though the network only ‘‘experiences’’ the unconditioned edge residuals.
Pleasure Differences as a Result of Seeing an Action versus Own Acting

Actively playing a computer game will generate more pleasure than a corresponding passive experience, such as watching a movie or reading a book. This is what common knowledge tells us. It is however not fully consistent with our research on the human reward system, and we undertook the study described in this paper to have a closer look at the differences. In this study, test participants watched videos of actors playing games as well as actively played the games themselves. The study examined how the pleasure difference of the participant’s own acting versus passively watching the actions of an actor changes with the participant’s level of empathy, the sympathy toward the actor, and the level of emotion displayed by the actors. Among other results, the findings indicate that a higher pleasure resulting from own actions diminishes with a higher empathy rating, with equal pleasure at about the maximum rating of 80.
Gaze-fixation and pupil dilation in the processing of emotional faces: The role of rumination

Sustained attentional processing of negative information plays a significant role in the development and maintenance of depression. The present study examines the relationships between rumination, a relevant factor in information processing in depression, and the attentional mechanisms activated in individuals with different levels of depression severity when attending to emotional information (i.e., sad, angry and happy faces). Behavioural and physiological indicators of sustained processing were assessed in 126 participants (39 dysphoric and 87 non-dysphoric) using eye-tracking technology. Pupil dilation and total time attending to negative faces were correlated with a global ruminative style in the total sample once depression severity was controlled. Furthermore, in dysphoric participants the brooding component of rumination was specifically associated with the total time attending to sad faces. Finally, bootstrapping analyses showed that the relationships between global rumination and pupil diameter to emotional faces were accounted by total time attending to emotional faces, specifically for participants reporting lower levels of depression severity. The results support the idea that sustained processing of negative information is associated with a higher ruminative style and indicate differential associations between these factors at different levels of depressive symptomatology.
A Database for Arabic Handwritten Text Image Recognition and Writer Identification

Standard databases play essential roles for evaluating and comparing results obtained by different groups of researchers. In this paper, an Arabic Handwritten Text Images Database written by Multiple Writers (AHTID/MW) is introduced. This database can be used for research in the recognition of Arabic handwritten text with open vocabulary, word segmentation and writer identification. The AHTID/MW contains 3710 text lines and 22896 words written by 53 native writers of Arabic. In addition, ground truth annotation is provided for each text image. The database is freely available for worldwide researchers.
MAPPING OF LINEAMENTS FOR GROUNDWATER TARGETING IN BASEMENT COMPLEX AREA OF ONDO STATE USING REMOTELY SENSED DATA

Non-sustainable groundwater supply from boreholes and hand-dug wells in the crystalline rocks of Ondo State is the research problem. Sustainable groundwater supply in the crystalline rocks requires lineament analyses for proper siting of boreholes. This study was carried out to illustrate the application and emphasize the importance of remote sensing and Geographic Information System (GIS) techniques for efficient groundwater resources exploration and management. The study demonstrates the use of LANDSAT ETM+ imagery, ASTER DEM and geological map for mapping and analyses of lineaments. A digital image processing techniques involving linear/edge enhancement and directional filtering were applied on the image to enhance the edge of the linear features using ENVI 4.7 software. The enhanced image, the normalized differences vegetation index (NDVI) image and hill shaded relief image (Processed ASTER DEM) were visually interpreted through GIS overlay operation for lineaments extraction through on-screen digitising using ArcGIS 9.3 software. The extracted lineaments were statistically analyzed to determine lengths, densities and intersections of the lineaments to generate rose diagram, lineament density and lineament intersection map. The lineament/fracture analyses indicated that the area has numerous long and short fractures whose structural trends are mainly in north-south and east-west direction. The cross-cutting lineaments are relatively high areas around the central, north-eastern and south-western parts of the study area but low in the other areas. The zones of high lineament intersection density are feasible zones for groundwater prospecting in the study area. The study has led to the delineation of area where groundwater occurrences is most promising for sustainable supply and suggests where further geophysical survey can be concentrated.
Dynamic organization of audiovisual database using a user-defined similarity measure based on low-level features

In this paper we explore the way to allow a user to interactively organize a multimedia database through a dynamic interface, creating its own "audiovisual concepts" freely. The user defines distances on a small subset of documents, using low-level audio and video off-line automatically extracted descriptors. The semi-supervised learning process, relying on support vector regression used in an early fusion context, leads to generate a behavioral model of those descriptors thanks to human interaction, creating a personal audiovisual similarity measure.
Turning on Turned Off Students: Using Newspapers with Senior High Remedial Readers.

students in a large urban senior high school. When our students did not react well to instructional materials, we decided to try things they might be reading in nonschool settings. Through trial and error we discovered that creative uses of the daily newspaper produced a remarkable change in students' attitudes and their reading achievement. In this article we describe our use of the newspaper to motivate students with negative attitudes toward reading. Integrating the daily newspaper into classroom instruction is not a new
Expeditious Quantification of Lignocellulolytic Enzymes from Indigenous Wood Rot and Litter Degrading Fungi from Tropical Dry Evergreen Forests of Tamil Nadu

In this study thirty wood rotting and litter degrading basidiomycetes were screened for the production of lignocellulolytic enzymes such as, laccase, peroxidase, and cellulase using rapid micro quantification assay. Out of the 30 indigenous isolates Trametes gibbosa was identified to be a potential lignocellulolytic enzyme producer, producing a maximum amount of cellulase (299.66 ± 1.59 IU/L) and laccase (257.94 ± 1.79 U/L). Moreover, it is the second leading producer of peroxidase enzyme (170.19 ± 1.98 U/L). Tricholomopsis sp. a wood rot basidiomycete was found to be the leading lignin decomposer with maximum peroxidase activity (287.84 ± 2 U/L) and second maximum laccase activity (250.19 ± 1.83 U/L). However, its cellulolytic potential was found to be moderate (100.04 ± 1.13 U/L). A higher level of lignocellulolytic enzymes was recorded in wood rotting basidiomycetes, whereas very low levels of lignolytic enzymes were found in litter inhabiting basidiomycetes. However, their cellulolytic potential was found to be moderate.
The Three Cs of Caribbean Tourism: Contexts, Characteristics, and Consequences

espanolLa metafora de las "Tres C" (contexto, caracteristicas y consecuencias) se emplea para obtener un marco alrededor del cual visualizar el fenomeno del turismo. Cada elemento esta estrechamente relacionado con los otros, y cada uno se ve afectado por e insertado en los otros. En conjunto, las Tres C determinan la configuracion del turismo en destinos especificos. Es un mecanismo simple pero potente analiticamente que aporta un enfoque multidisciplinario al analisis de los problemas del turismo, lo que permite una comprension mas matizada de las tematicas y los desafios del turismo internacional. El trabajo intenta destacar dos aspectos. En primer lugar, el estilo o caracter del turismo en un determinado destino resulta de un complejo conjunto interrelacionado de macro fuerzas socio-economicas e historicas -los contextos- que difieren de destino a destino (o de isla a isla). En segundo lugar, la interaccion entre el contexto y las caracteristicas define en gran medida las consecuencias o resultados que se observan, tanto positivos como negativos. Para ilustrar el enfoque de las Tres C, se realizaron analisis contrastados entre la Republica Dominicana y las Islas Turcas y Caicos, con extensiones a Cuba. Sugerimos el modelo de Tres C es lo suficientemente amplio para adaptarse a una variedad de destinos y puede dar lugar a mejores conclusiones de politica regional. EnglishThe metaphor of the "Three Cs" (context, character- istics, and consequences) is employed to derive a framework around which to view the phenomenon of tourism. Each element is closely related to the others, and each is affected by and embedded within the others. As an ensemble, the Three Cs determine the configuration of tourism at particular destinations. It is a simple yet analytically powerful mechanism that brings a multi-disciplinary approach to the analysis of tourism problems, enabling a more nuanced understanding of international tourism issues and challenges. The paper attempts to make two points. First, the tourism style or character in a given destination is a function of a complex interrelated set of macro socio-economic and historical forces -the contexts- that differ from destination to destination (or island to island). Second, the interplay between the contexts and characteristics largely defines the consequences or results that are observed, both positive and negative. To illustrate the Three Cs approach, contrasting analyses were made between the Dominican Republic and the Turks and Caicos, with extensions to Cuba. We suggest the Three Cs model is sufficiently broad to fit a variety of destinations and can result in better regional policy conclusions.
The presence of an avian co-forager reduces vigilance in a cooperative mammal

Many animals must trade-off anti-predator vigilance with other behaviours. Some species facilitate predator detection by joining mixed-species foraging parties and ‘eavesdropping’ on the predator warnings given by other taxa. Such use of heterospecific warnings presumably reduces the likelihood of predation, but it is unclear whether it also provides wider benefits, by allowing individuals to reduce their own vigilance. We examine whether the presence of an avian co-forager, the fork-tailed drongo (Dicrurus adsimilis), affects rates of vigilance (including sentinel behaviour) in wild dwarf mongooses (Helogale parvula). We simulate the presence of drongos—using playbacks of their non-alarm vocalizations—to show that dwarf mongooses significantly reduce their rate of vigilance when foraging with this species. This is, to our knowledge, the first study to demonstrate experimentally that a mammal reduces vigilance in the presence of an avian co-forager.
Motivation, Teamwork, and Agile Development

edition is “1 a : the act or process ofmotivating b : the condition of being motivated 2 : a motivating force, stimulus, or influence :INCENTIVE, DRIVE”. The fact that motivation is the most important factor for productivity and quality is not a newdiscovery. It has been pointed out for the first time by the studies conducted Elton Mayo around1930. Since then there have been several studies that confirmed the same results in severalindustries including the software development one [2], [4], [10], [14]. Nevertheless, until recently the main focus has been on
INFORMING HISTORICAL RESEARCH IN ACCOUNTING AND MANAGEMENT: TRADITIONS, PHILOSOPHIES, AND OPPORTUNITIES

Historical research in accounting and management, hitherto largely neglected as a field of inquiry by many management and accounting researchers, has experienced a resurgence of interest and activity in research conferences and journals over the past decade. The potential lessons of the past for contemporary issues have been rediscovered, but the way forward is littered with antiquarian narratives, methodologically naive analyses, ideologically driven interpretation and ignorance of the traditions, schools and philosophy of the craft by accounting and management researchers as well as traditional and critical historians themselves. This paper offers an introduction to contributions made to the philosophies and methods of history by significant historians in the past, a review of some of the influential schools of historical thought, insights into philosophies of historical knowledge and explanation and a brief introduction to oral and business history. On this basis the case is made for the philosophicall.
High Level Power and Energy Exploration Using ArchC

With the increase in the design complexity of MPSoC architectures, estimating power consumption is very complex and time consuming at lower level of abstraction. We propose a methodology using ArchC named Power-ArchC for a fast high-level estimation of processor power consumption. Power values are obtained by an instruction level power characterization at gate level. The requirements for power evaluation infrastructure are compatible processor models written in ArchC and RTL, and the Technology library. We show power results for a 32-bit MIPS processor with different benchmarks, based on 45nm technology.
Geometric subgroups of mapping class groupsLuis Paris

This paper is a study of the subgroups of mapping class groups of Riemann surfaces, called \geometric" subgroups, corresponding to the inclusion of subsur-faces. Our analysis includes surfaces with boundary and with punctures. The centres of all the mapping class groups are calculated. We determine the kernel of inclusion-induced maps of the mapping class group of a subsurface, and give necessary and suucient conditions for injectivity. In the injective case, we show that the commensurability class of a geometric subgroup completely determines up to isotopy the deening subsurface, and we characterize centralizers, normalizers, and commensurators of geometric subgroups.
CLASSIFICATION OF BRAIN TUMORS IN MRI IMAGES

This paper aims to detect presence of brain tumor given a MRI image. The problem of detecting the brain tumor is considered as classification problem and has been solved using one of the latest technique convolutional neural network (CNN). CNN is the latest approach used for solving many challenging applications in the field f image processing, signal processing.
Disk reads with DRAM latency

To overcome the relative deterioration of secondary storage performance, input/output systems are being designed around highly parallel disk arrays, high-bandwidth optical networks, and cache-specialized file systems. Disk arrays increase secondary storage throughput by spreading data over many disks so that large accesses are striped for parallel operation and so that many small accesses can operate concurrently. Fast networks preserve throughput improvements derived from disk arrays on file server as data is delivered to increasingly distant client systems. Secondary storage latency is primarily addressed by large client and server file caches. Whenever data to be read is found in the cache or data to be written can be delayed in the cache, latency is as short as if secondary storage were constructed with semiconductor memory. The current research focuses on reducing the access latency for data to be read that is not already cached. <<ETX>>
Study on Visual Knowledge Structure Reasoning

Intelligent Topic Map (ITM) embodies the multi-level, multi-granularity and the inherent relevant characteristics of knowledge. With ITM as infrastructure, this paper presents a visual knowledge structure reasoning method integrates the logic-based knowledge reasoning and the structure-based knowledge reasoning. The logic-based knowledge reasoning implements knowledge consistency checking and the implicit associations reasoning between knowledge points, it can help us obtain the optimal description of knowledge. In order to construct the complete knowlege structure, a Knowledge Unit Circle Search strategy for structure-based knowledge reasoning is proposed, by which more detailed semantic association of knowledge is provided and the inherent relevant characteristics of knowledge is obtained. The knowledge reasoning results are visualized by ITM, which provides a visual knowledge map. It is available for users to acquire the knowledge and associations among them. A prototype system has been implemented and applied to the massive knowledge organization, management and service for education.
Joint request routing and video adaptation in collaborative VoD systems

Collaborative content storing and requesting are emerging solutions to Video-on-Demand (VoD) systems challenged by the explosive growth of online video demand. By exploiting the collaboration among the serving nodes in a VoD system, the new solutions dramatically increase the system capacity. In this work, we focus on the in-system collaborative request routing problem. Together with the video-adaptation techniques, we optimize the aggregate utility of end users while keeping the maximum link congestion under a given upper bound. We prove that the formulated problem is NP-hard, and solve it in two phases: a rate-selection phase and a fixed-rate routing phase. Afterwards, we convert the raw output of the proposed algorithm to a hop-by-hop routing-decision protocol which can be easily implemented in most existing routers. Numerical results show that our solution to the fixed-rate routing problem supports up to 60% more traffic than existing shortest-path algorithm. With joint video adaptation, our algorithm for optimizing utility outperforms the simple greedy method up to 18%.
The Perception of Teachers and Refugee Parents Regarding Refugee Children’s Education: A Parent Involvement Study

Using Coleman’s (1987) social capital theory as a framework, this study examined the perceptions of refugee parents and school staff regarding the schooling and education of refugee children in a large upstate New York school district. The study specifically examined the perceptions of refugee parents and school staff prior to their participation in a family literacy program (FLP) and their perceptions as a result of participation in the program. This qualitative study used a descriptive research design based on data collected during observations, focus groups and in-depth interviews with refugee parents and teachers as well as the school principal. The study identified changes as a result of participation in the FLP with a small group of refugees and classrooms teachers. The study also identified connections between the amount of social capital refugee parents gained and their level of involvement in their children’s education. Consistent with Epstein’s (1992, 1995, 2001) typology, the results of the research findings suggest that multiple dimensions exist in refugee parents’ involvement in their children’s education. The study underscores the importance of programs that address the needs of refugee families and how these programs can lead to more collaborative and successful home-school partnerships. The findings also suggest that more targeted professional development would better prepare educational leaders to bridge the gap between schools and refugee families during resettlement. Positive forms of social capital can be generated when a genuine partnership based upon respect and a shared sense of responsibility exists between school and parents. Degree Type Dissertation Degree Name Doctor of Education (EdD) Department Executive Leadership First Supervisor Marie Cianca Second Supervisor Susan H. Hildebrand Subject Categories Education This dissertation is available at Fisher Digital Publications: http://fisherpub.sjfc. edu/education_etd/22 The Perception of Teachers and Refugee Parents Regarding Refugee Children’s Education: A Parent Involvement Study By