Miracle-dz/UniFAR-FTUs huggingface dataset:
Bargaining in networks and the myerson value

We focus on a multiperson bargaining situation where the negotiation possibilities for the players are represented by a graph, that is, two players can negotiate directly with each other if and only if they are linked directly in the graph. The value of cooperation among players is given by a TU game. For the case where the graph is a tree and the TU game is strictly convex we present a noncooperative bargaining procedure, consisting of a sequence of bilateral negotiations, for which the unique subgame perfect equilibrium outcome coincides with the Myerson value of the induced graph-restricted game. In each bilateral negotiation, the corresponding pair of players bargains about the difference in payoffs to be received at the end. At the beginning of such negotiation there is a bidding stage in which both players announce prices. The player with the highest price becomes the proposer and makes a take-it-or-leave-it offer in terms of difference in payoffs to the other player. If the proposal is rejected, the proposer pays his announced price to the other player, after which this particular link is eliminated from the graph and the mechanism starts all over again for the remaining graph.
Spectral Geometric Methods for Deformable 3D Shape Retrieval

As 3D applications ranging from medical imaging to industrial design continue to grow, so does the importance of developing robust 3D shape retrieval systems. A key issue in developing an accurate shape retrieval algorithm is to design an efﬁcient shape descriptor for which an index can be built, and similarity queries can be answered efﬁciently. While the overwhelming majority of prior work on 3D shape analysis has concentrated primarily on rigid shape retrieval, many real objects such as articulated motions of humans are nonrigid and hence can exhibit a variety of poses and deformations. In this thesis, we present novel spectral geometric methods for analyzing and distinguishing between deformable 3D shapes. First, we comprehensively review recent shape descriptors based on the spectral decomposition of the Laplace-Beltrami operator, which provides a rich set of eigenbases that are invariant to intrinsic isometries. Then we provide a general and ﬂexible framework for the analysis and design of shape signatures from the spectral graph wavelet perspective. In a bid to capture the global and local geometry, we propose a multiresolution shape signature based on a cubic spline wavelet generating kernel. This signature delivers best-in-class shape retrieval performance. Second, we investigate the ambiguity modeling of codebook for the densely distributed low-level shape descriptors. Inspired by the ability of spatial cues to improve discrimination between shapes, we also propose to adopt the isocontours of the second eigenfunction of the Laplace-Beltrami operator to perform surface partition, which can signiﬁcantly ameliorate the retrieval performance of the time-scaled local descriptors. To further enhance the shape retrieval accuracy, we introduce an intrinsic spatial pyramid matching approach. Extensive experiments are carried out on two 3D shape benchmarks to assess the performance of the proposed spectral geometric approaches in comparison with state-of-the-art methods.
Optimization of bulk operation performances within Oracle database

The Oracle database enables use of bulk operation in order to reduce time needed for commands execution over a large amount of data. Operations are called using PL/SQL programming language. Advantage of these operations is that they transfer a large amount of data in a single step to SQL engine where they are executed. Bulk operation may also be used with a limitation to maximal number of lines transferred in a single step between PL/SQL engine and SQL engine. This limitation is specified by the LIMIT parameter. In this paper, performances of inquiry are compared to different values of LIMIT parameter. In this way, we have shown which amount of data is optimal for transfer in a single step, and how further increase influences performances. It is also described what influences optimal amount of data that may be transferred in a single step. Different configurations of memory structures were tested within the Oracle itself (SGA and PGA areas) as well as how their changes influence performances. Influence of data types on optimal amount of data was compared, as well as a role of a processor. The method used for verification of optimal values was arithmetical means of execution times for certain inquiries over database. Measurements were done on the same data in several occasions in order to obtain highly precise value and to eliminate possible background processes that are executed in the computer.
Analysis of Fraudulent Activity in a Brazilian Auction Site

Online auction fraud is the most common complaint according to Internet Crime and Complaint Center. Despite that, there are not many published empirical studies about fraud occurrence in online auction sites, and the existing ones mostly target eBay. This lack of research is even worse in Latin American countries. In this paper we present the results of an exploratory research on fraud occurrence in MercadoLivre, the biggest Brazilian auction site, which suggest that non-delivery fraud is a real, recurrent and measurable problem.
Molecular Dermatopathology in Malignant Melanoma

At present, immunohistochemistry is taken for granted in the establishment of malignant melanoma (MM) diagnosis. In recent years, molecular diagnosis in dermatopathology has benefited from a vast array of advances in the fields of genomics and proteomics. Sensitive techniques are available for detecting specific DNA and RNA sequences by molecular hybridization. This paper intends to update methods of molecular cytogenetics available as diagnostic adjuncts in the field of MM. Cytogenetics has highlighted the pathogenesis of atypical melanocytic neoplasms with emphasis on the activation of the mitogen-activated protein kinase (MAPK) signalling pathway during the initiation step of the neoplasms. 20 to 40% of MM families have mutations in the tumour suppressor gene p16 or CDKN2A. In addition, somatic mutations in p16, p53, BRAF, and cKIT are present in MM. Genome-wide scan analyses on MM indicate positive associations for genes involved in melanocytic naevi, but MM is likely caused by a variety of common low-penetrance genes. Molecular dermatopathology is expanding, and its use in the assessment of melanocytic neoplasms appears to be promising in the fields of research and diagnosis. Molecular dermatopathology will probably make its way to an increased number of diagnostic laboratories. The expected benefit should improve the patient management. This evolution points to a need for evolution in the training requirements and role of dermatopathologists.
The NCSS Ethical Standards and Citizenship Education: A Fifth Grade Classroom Example.

This paper presents the ethical principles of the social studies profession in light of the daily routine of an elementary classroom. This pilot study was begun in the spring of 1996 when the researcher spent time in an elementary classroom in the midwest observing the life and culture of a fifth grade classroom. Data collected appeared to showcase the ethical principles adopted by the National Council for the Social Studies (NCSS) in its code of ethics. The balance of the paper includes the NCSS' "A Code of Ethics," a discussion of social studies and relevant literature, the pilot study, classroom examples of certain ethical principles from the code, and a conclusion that a focus on ethics should be continual and deliberate and that social studies teachers and supervisors, and social studies professors spend more time with these principles as they work with their faculty and their university students. (Contains 25 references.) (EH) ******************************************************************************** Reproductions supplied by EDRS are the best that can be made from the original document. ******************************************************************************** "The NCSS Ethical Standards and Citizenship Education: A Fifth Grade Classroom Example" Presented at NSSSA National Council for the Social Studies Washington, DC November 22, 1996 O Kathryn M. Obenchain Department of Curriculum and Instruction (1) Purdue University 1442 Liberal Arts and Education Building CID West Lafayette, Indiana 47907 317/494-9552 e-mail: kmo @vm.cc. purdue.edu 2 U.S. DEPARTMENT OF EDUCATION Office of Educational Research and Improvement EDUCATIONAL RESOURCES INFORMATION CENTER (ERIC) kThis document has been reproduced as received from the person or organization originating it. Minor changes have been made to improve reproduction quality. Points of view or opinions stated in this document do not necessarily represent official OERI position or policy. PERMISSION TO REPRODUCE AND DISSEMINATE THIS MATERIAL HAS BEEN GRANTED BY _4647:7(MYAL___M 06EALCM,A) TO THE EDUCATIONAL RESOURCES INFORMATION CENTER (ERIC)
Initial Characterization of the FlgE Hook High Molecular Weight Complex of Borrelia burgdorferi

The spirochete periplasmic flagellum has many unique attributes. One unusual characteristic is the flagellar hook. This structure serves as a universal joint coupling rotation of the membrane-bound motor to the flagellar filament. The hook is comprised of about 120 FlgE monomers, and in most bacteria these structures readily dissociate to monomers (∼ 50 kDa) when treated with heat and detergent. However, in spirochetes the FlgE monomers form a large mass of over 250 kDa [referred to as a high molecular weight complex (HMWC)] that is stable to these and other denaturing conditions. In this communication, we examined specific aspects with respect to the formation and structure of this complex. We found that the Lyme disease spirochete Borrelia burgdorferi synthesized the HMWC throughout the in vitro growth cycle, and also in vivo when implanted in dialysis membrane chambers in rats. The HMWC was stable to formic acid, which supports the concept that the stability of the HMWC is dependent on covalent cross-linking of individual FlgE subunits. Mass spectrometry analysis of the HMWC from both wild type periplasmic flagella and polyhooks from a newly constructed ΔfliK mutant indicated that other proteins besides FlgE were not covalently joined to the complex, and that FlgE was the sole component of the complex. In addition, mass spectrometry analysis also indicated that the HMWC was composed of a polymer of the FlgE protein with both the N- and C-terminal regions remaining intact. These initial studies set the stage for a detailed characterization of the HMWC. Covalent cross-linking of FlgE with the accompanying formation of the HMWC we propose strengthens the hook structure for optimal spirochete motility.
A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks

This paper addresses the problem of finding attractors in synchronous Boolean networks. The existing Boolean decision diagram-based algorithms have limited capacity due to the excessive memory requirements of decision diagrams. The simulation-based algorithms can be applied to larger networks, however, they are incomplete. We present an algorithm, which uses a SAT-based bounded model checking to find all attractors in a Boolean network. The efficiency of the presented algorithm is evaluated by analyzing seven networks models of real biological processes, as well as 150,000 randomly generated Boolean networks of sizes between 100 and 7,000. The results show that our approach has a potential to handle an order of magnitude larger models than currently possible.
Empathy and Yawn Contagion: Can we (Humans) Catch Yawns from Robots?

Empathy plays an important role in the interaction between humans and robots. The contagious effect of yawning is moderated by the degree of social closeness and empathy. We propose to analyse the contagion of yawns as an indicator for empathy. We conducted pilot studies to test different experimental procedures for this purpose. We hope to be able to report on experimental results in the near future.Categories and Subject DescriptorsH.1. 2 [Models and Principles]: User/Machine Systems— human factors; J.4 [Social and Behavioral Sciences]: Psychology
Plate Detection Using AdaBoost

License Plate Recognition (LPR) is a fairly well explored problem with many successful solutions. Though most of these solutions are reasonably fast, there can be increased benefits to making them even faster, such as multiple recognition stages in video frames in a real-time video stream for improved accuracy. The goal of this project is to evaluate how well object detection methods used in text extraction[1] and face detection [2] apply to the problem of LPR. A strong classifier is trained by the AdaBoost algorithm and is used to classify parts of an image within a search window as either license plate or non-license plate.
The Comprehensiveness Dilemma of Cost-Benefit Analysis

Most project impacts on environment, climate, and health are not valued in markets or in choice situations similar to market transactions. Analysts have to go beyond revealed preferences to stated preference interviews and even to deliberative processes in order to elicit preferences from which the trade-off values (‘prices’) of the expanded cost-benefit analysis (CBA) can be deduced. The comprehensiveness dilemma of social CBA arises with the choice between calculation of ‘prices’ from revealed preferences and communicative construction of ‘prices’ on the basis of preferences stated in deliberation. New methods for eliciting preferences, such as deliberative monetary valuation, yield preferences influenced by ethical and political values. The interpretation of the analytic results then becomes problematic. The comprehensiveness dilemma is that planners must choose between a narrow CBA making good economic sense, and a comprehensive CBA with dubious economic content. By aiming for completeness, CBA changes character from being a summation of changes in individual wellbeing to being a mix of this and the summation of monetary expressions of ethical and political viewpoints and attitudes.
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY

Although numerous contributions from divers authors, over the past fifteen years or so, have brought enriched category theory to a developed state, there is still no connected account of the theory, or even of a substantial part of it. As the applications of the theory continue to expand - some recent examples are given below - the lack of such an account is the more acutely felt. The present book is designed to supply the want in part, by giving a fairly complete treatment of the limited area to which the title refers. The basic concepts of category theory certainly include the notion of functor-category, of limit and colimit, of Kan extension, and of density; with their applications to completions, perhaps including those relative completions given by categories of algebras for limit-defined theories. If we read 'V-category' for 'category' here, this is essentially the list of our chapter-headings below, after the first chapter introducing V-categories. In fact our scope is wider than this might suggest; for what we give is also a selfcontained account of basic category theory as described above, assuming as prior knowledge only the most elementary categorical concepts, and treating the ordinary and enriched cases together from Chapter 3 on.
Geometrical modeling using multiregional marching tetrahedra for bioluminescence tomography

Localization and quantification of the light sources generated by the expression of bioluminescent reporter genes is an important task in bioluminescent imaging of small animals, especially the generically engineered mice. To employ the Monte Carlo method for the light-source identification, the surfaces that define the anatomic structures of the small experimental animal is required; to perform finite element-based reconstruction computation, the volumetric mesh is a must. In this work, we proposed a Multiregional Marching Tetrahedra (MMT) method for extracting the surface and volumetric meshes from segmented CT/micro-CT (or MRI) image volume of a small experimental animal. The novel MMT method extracts triangular surface mesh and constructs tetrahedra/prisms volumetric finite element mesh for all anatomic components, including heart, liver, lung, bones etc., within one sweep over all the segmented CT slices. In comparison with the well-established Marching Tetrahedra (MT) algorithm, our MMT method takes into consideration of two more surface extraction cases within each tetrahedron, and guarantees seamless connection between anatomical components. The surface mesh is then smoothed and simplified, without losing the seamless connections. The MMT method is further enhanced to generate volumetric finite-element mesh to fill the space of each anatomical component. The mesh can then be used for finite element-based inverse computation to identify the light sources.
A novel covert channel detection method in cloud based on XSRM and improved event association algorithm

Covert channel is a major threat to the information system security and commonly found in operating systems, especially in cloud computing environment. Owing to the characteristics in cloud computing environment such as resources sharing and logic boundaries, covert channels become more varied and difficult to find. Focusing on those problems, this paper presents a universal method for detecting covert channel automatically. To achieve a global detection, we leveraged a virtual machine event record mechanism in hypervisor to gather necessary metadata. Combining the shared resources matrix methodology with events association mechanism, we proposed a distinctive algorithm that can accurately locate and analyze malicious covert channels from the respect of behaviors. Compared with the popular statistical test methods focusing on the single covert channel, our method is capable of recognizing and detecting more covert channels in real time. Experimental results show that this method is not only able to detect multilevel and multiform covert channels in cloud environment effectively but also facilitates the implementation and deployment in practical scenarios without modifying the existing system. Copyright © 2016 John Wiley & Sons, Ltd.
High accuracy method of positioning based on multi-star-sensor

Star-sensor has an excellent capability of providing high accurate attitude, which depends on the accuracy of location to a large extent. At present, star-sensor is restricted by the accuracy of its location information which is normally given by Initial Navigation System, but this location information involves non-ignorable inaccuracy due to the accumulated error. In prior research, star-sensor needs to sense horizon level to do positioning, but this needs cooperation of other equipment or specific maneuvering which diminishes the nature of autonomy and concealment, at the same time, lowers dynamic performances and introduces more integration error. In this paper, a novel method has been proposed to solve the problems above, which needs no auxiliary information from outside. Location gained by this method is an absolute information which will not divergent over time. Above all, Celestial Navigation System can achieve better autonomous navigation capability and higher navigation accuracy by utilizing this method.
Tailored compression of Java class files

Java class files can be transmitted more efficiently over a network if they are compressed. After an examination of the class file structure and obtaining statistics from a large collection of class files, we propose a compression scheme that is tailored to class files. Our scheme achieves significantly better compression than commonly used methods such as ZIP. © 1998 John Wiley & Sons, Ltd.
Characterization of Aquaporin 4 Protein Expression and Localization in Tissues of the Dogfish (Squalus acanthias)

The role of aquaporin water channels such as aquaporin 4 (Aqp4) in elasmobranchs such as the dogfish Squalus acanthias is completely unknown. This investigation set out to determine the expression and cellular and sub-cellular localization of Aqp4 protein in dogfish tissues. Two polyclonal antibodies were generated (AQP4/1 and AQP4/2) and these showed somewhat different characteristics in Western blotting and immunohistochemistry. Western blots using the AQP4/1 antibody showed two bands (35.5 and 49.5 kDa) in most tissues in a similar fashion to mammals. Liver had an additional band of 57 kDa and rectal gland two further faint bands of 37.5 and 38.5 kDa. However, unlike in mammals, Aqp4 protein was ubiquitously expressed in all tissues including gill and liver. The AQP4/2 antibody appeared much less specific in Western blots. Both antibodies were used in immunohistochemistry and showed similar cellular localizations, although the AQP4/2 antibody had a more restricted sub-cellular distribution compared to AQP4/1 and therefore appeared to be more specific for Aqp4. In kidney a sub-set of tubules were stained which may represent intermediate tubule segments (In-III–In-VI). AQP4/1 and AQP4/2 antibodies localized to the same tubules segments in serial sections although the intensity and sub-cellular distribution were different. AQP4/2 showed a basal or basolateral membrane distribution whereas AQP4/1 was often distributed throughout the whole cell including the nuclear region. In rectal gland and cardiac stomach Aqp4 was localized to secretory tubules but again AQP/1 and AQP/2 exhibited different sub-cellular distributions. In gill, both antibodies stained large cells in the primary filament and secondary lamellae. Again AQP4/1 antibody stained most or all the cell including the nucleus, whereas AQP4/2 had a plasma membrane or plasma membrane and cytoplasmic distribution. Two types of large mitochondrial rich transport cells are known to exist in elasmobranchs, that express either Na, K-ATPase, or V-type ATPase ion transporters. Using Na, K-ATPase, and V-type ATPase antibodies, Aqp4 was colocalized with these proteins using the AQP4/1 antibody. Results show Aqp4 is expressed in both (and all) branchial Na, K-ATPase, and V-type ATPase expressing cells.