Miracle-dz/UniFAR-FTUs huggingface dataset:
Boolean Games: Inferring Agents' Goals Using Taxation Queries

In Boolean games, each agent controls a set of Boolean variables and has a goal represented by a propositional formula. We study inference problems in Boolean games assuming the presence of a PRINCIPAL who has the ability to control the agents and impose taxation schemes. Previous work used taxation schemes to guide a game towards certain equilibria. We present algorithms that show how taxation schemes can also be used to infer agents' goals. We present experimental results to demonstrate the efficacy our algorithms. We also consider goal inference when only limited information is available in response to a query.
A Dynamic Approach for the Generation of Perceptual Associations

We propose a dynamic approach and computational artefact for the generation of cross-modal associations between the domains of visual communication and perception of emotions. This is accomplished by applying three key steps: (i) assemble an alphabet (ii), deﬁne a shape grammar, and (iii) generate computationally a dynamic representation for the previous point. We restrain the visual expression to a line movement and limit our set of emotions to four in order to establish an initial solid baseline of experiments. Experiments were done to assess the validity of the established associations be-tween emotions and visual features. Results have con-ﬁrmed some associations previously suggested by literature and have emphasized others. This approach may be a key aspect to solve problems of multi-domain contexts where non-verbal communication is required to connect two or more domains, e.g. visual arts, artistic performances, non-verbal languages, and entertainment.
Contract Design for Cloud Logistics (CL) Based on Blockchain Technology (BT)

Purpose. This paper aims to design the contract and present the profit distribution mechanism for CL platform, so as to realize the intelligent and automatic operation of the artificial intelligent- (AI-) based CL platform. Design/Methodology. A smart contract based on BT is designed for the AI-based CL platform. Profit distribution mechanism based on the Nash bargaining model for the CL platform is also put forward to coordinate different participators’ benefit relationship in CL. Findings. The AI-based CL platform and the proposed smart contract based on BT map the scenario which may be influenced by human factors and involve trust issues onto execution of codes. Practical Implications. The study will help CL practitioners in establishing effective profit mechanism and designing contracts on the platform, thus facilitating its sustainable operation. Originality/Value. The AI-based CL platform with BT smart contract can be totally free of human intervention, and hence, the problems of trust during CL platform’s operation are solved.
PANDA: Privacy-Aware Double Auction for Divisible Resources without a Mediator

Auction mechanism generally requires a trusted-third party as the market mediator to coordinate bidding and resource allocation via collecting private data from the agents, which may arouse severe privacy concerns and high computation overheads. To address such issues, we propose a novel privacy-aware double auction framework (namely PANDA) by designing an efficient cryptographic protocol to privately execute double auction for divisible resources among all the agents. To ensure privacy and truthfulness , PANDA delicately co-designs VCG auction and cryptographic protocol, which is equivalent to a mediator for sealed-bid auction of divisible resources
A Distributed Semantic Model based Method for Instance Disambiguation in User-generated Short Texts

Instance disambiguation is to obtain the concept of the target instance in context, which has been attracting much attention from academia. Existing methods are highly dependent on similar or related instances in context. However, the number of instances that can be extracted from a user-generated short text is limited. To tackle this problem, we propose a distributed semantic model (DSM) based method, which consists of three parts. 1) Measuring the correlation between contextual terms and each concept of the ambiguous instance based on DSMs; 2) Filtering out uninforma-tive terms based on the correlations distribution over the concepts, which reduces noise interference; 3) Prioritizing the informative terms to highlight their discriminating capabilities. The concept with the maximum correlation score is considered as the meaning of the target instance. Experiment results demonstrate that the proposed method outperforms baseline methods.
Security and Privacy in Resource-constrained Devices

Recent adversarial attacks have been shown IoT devices weaknesses due to their limited computing power. Given also their ubiquitous presence, lower costs and limitations in keeping security measures up-to-date, resource-constrained devices represent a growing risk for the security of IT infrastructure. The scope of the research is to investigate the weaknesses of resource-constrained IoT devices. The methodology for the investigation is the legal analysis of existing legal frameworks regulating IoT cybersecurity and data security; afterwards it will be carried out a critical evaluation of the existing best practices. This critical analysis should face the twofold challenge of increasing transparency and trust in resource-constrained systems. Users and companies are two faces of the same coin: accountability of data collectors and user awareness are crucial in the security and data protection debate. Thus, a comprehensive overview of the relevant legal frameworks and guidelines would increase the understanding of risks of the users, whilst data controllers (especially of small and medium enterprises) may have an instrument to implement properly security measures
Expansins in Plant Growth and Development: an Update on an Emerging Topic

: Expansins are a class of proteins identified by their ability to induce the extension of isolated plant cell walls. Expansins are encoded by an extensive multigene family in higher plants, several members of which have been shown to be expressed in a tissue-specific manner. Besides playing an apparently key role in wall expansion, and hence in cell growth, expansins have been implicated in an increasing number of processes during plant growth and development. These include: leaf organogenesis, fruit softening, and wall disassembly. A second class of closely related proteins (referred to as β-expansins) has been identified. Other recent advances in expansin research include the recovery of transgenic plants with altered level of expansins, and the production of recombinant expansins in het-erologous expression systems.
AIResume: Automated Generation of Resume Work History

Automatic text generation has redefined the act of content generation in multiple fields such as article/news summarization, chatbots, and virtual assistants. For a person on the job market, a resume is an important piece of document that determines his rate of success in landing a job. In this paper, we introduce AIResume (AIR) - a tool that utilizes a vast knowledge base comprising of resume entries and job descriptions to generate the work history portion of a person’s resume with minimal input from the user. The system starts with suggesting personalized job titles based on the employer and then goes on to mine and present the user with relevant work activities for the selected employer and job title.
Phonetics and Ambiguity Comprehension Gated Attention Network for Humor Recognition

Humor refers to the quality of being amusing. With the development of artificial intelligence, humor recognition is attracting a lot of research attention. Although phonetics and ambiguity have been introduced by previous studies, existing recognition methods still lack suitable feature design for neural networks. In this paper, we illustrate that phonetics structure and ambiguity associated with confusing words need to be learned for their own representations via the neural network. Then, we propose the Phonetics and Ambiguity Comprehension Gated Attention network (PACGA) to learn phonetic structures and semantic representation for humor recognition. The PACGA model can well represent phonetic information and semantic information with ambiguous words, which is of great benefit to humor recognition. Experimental results on two public datasets demonstrate the effectiveness of our model.
Field Work in Computational Creativity

Both authors contributed equally to this work. Alphabetical ordering is used to signal equal contribution. Abstract Numerous scientiﬁc disciplines, e.g. social sciences, beneﬁt from ﬁeld work. What does ﬁeld work look like in Computational Creativity and what are its potential beneﬁts to research? We refer to the eﬀort of actively making a system or its artifacts widely accessible outside the academia world, and as such getting feedback, as ‘ﬁeld work’. In this paper, we reﬂect on our experiences taking our systems, Alysia and MEXICA, out into the wild terrain by making them broadly available. In the case of Alysia, the system itself was made accessible; MEXICA’s artifacts (stories) were shared through a traditionally published book for a broad readership. We consider the utility of ﬁeld work for these vastly diﬀerent systems on the CC continuum (P´erez y P´erez 2018), and discuss potential beneﬁts to other research in the area. Finally, we discuss the necessity of developing methodology to enable rigorous registration of knowledge arising from ﬁeld work in Computational Creativity.
Creative Sketching Partner: A Co-Creative Sketching Tool to Inspire Design Creativity

The Creative Sketching Partner is an AI-based co-creative sketching tool that supports the conceptual de-sign process. This AI partner presents sketches of varying visual and conceptual similarity based on the de-signer’s sketch. The goal of the partner is to present a sketch to inspire the user to explore more of the design space and to reduce design ﬁxation, i.e. becoming stuck on one or a class of designs during the design process. The system is meant to help designers achieve a conceptual shift during their design process by presenting similar designs or images from different domains. Users can control the parameters of the algorithm by specifying how visually and conceptually similar the system’s sketch should be to their own.
Using Triples as the Data Model for Blockchain Systems

Current permissioned blockchain systems utilize the key-value data model to store and query the ledger. As the key-value pairs are not suﬃciently expressive to represent relationships between data, we present a proposal for the utilization of triples as the data model for blockchain systems. This approach enables a powerful query engine and reduces the number of data stores that have to be maintained.
Constructing 1-resilient rotation symmetric functions over 픽p with q variables through special orthogonal arrays

Based on the relation between resilient functions and large sets of orthogonal arrays, two classes of q -variable 1-resilient rotation symmetric functions(RSFs) over F p are constructed. The ﬁrst class of 1-resilient functions is obtained with the help of a Latin square with maximum cycle, and the second class of 1-resilient functions is constructed via switching the rotation symmetric orbits of the former class. Firstly, an eﬃcient method to construct OA( pq,q,p, 1) is presented via solving a linear equation system. Secondly, we propose some schemes to construct more q -variable 1-resilient RSFs by modifying the l -value support tables of the known q -variable 1-resilient RSFs. In addition, two examples are given to demonstrate our constructions. It seems that the q -variable 1-resilient RSFs constructed by our methods can not be constructed by earlier constructions.
Antioxidant Activity of Extracts Produced from Pickled and Dried Mustard (Brassica juncea Coss. Var. foliosa Bailey)

The antioxidant activities and total phenolic contents of different solvent extracts produced from pickled and dried mustard (Brassica juncea Coss. var. foliosa Bailey) were investigated. For three solvent extracts, the total phenolic content ranged from 18.5 to 23.29 mg of gallic acid equivalent/g of extract with the following order: 70% ethanol extract >70% methanol extract > water extract. All the solvent extracts exhibited good antioxidant activity. Among the various extracts examined, the 70% ethanol extract showed the highest 1,1-diphenyl-2-picrylhydrazyl radical scavenging activity, while the 70% methanol extract showed the highest Fe2+-chelating effect and reducing activity.
Computational Analysis of Content in Fine Art Paintings

We propose a deep learning algorithm that can detect content and discover co-occurring patterns of the content in ﬁne art paintings. The following intellectual merits are the motivations of our project. First, the content detection provides a baseline of Computational Iconography (CI), which is to understand what objects/subjects can be seen in ﬁne art paintings. Second, we argue that the found co-occurring patterns chart meaningful connectivity across content in art. Third, we imbed our system in Computational Creativity (CC) in a broad sense. By the nature of our system of machine learning, it creates informative connections between different modalities (images/words), which are not initially constructed or intentionally speciﬁed. Our system is automatically trained to discover the connective patterns reﬂecting artists’ creativity, which are latent in the large dataset of paintings. To build a content detector, we adopted an Inception-V3 (ImageNet) and ﬁne-tuned it over 40,000 paintings with the words extracted from their titles. We validate that our system detects content information fairly (68% precision rate at the top content). Also, we ﬁnd that the last fully connected layer parameters of Inception-V3 are trained to encode general co-occurring patterns between content. We validate that the co-occurrence can be interpreted as relatedness among content in art.
Genome-Wide 3D Maps of Regulatory Interactions

In recent years, it has become clear that the 3D structure of the genome plays a key role in gene regulation. However, our understanding of this regulation is still limited. Here, we used the in vivo binding landscape of major regulatory factors: PolII, CBP, and the histone modification H3K27ac, obtained from ChIP-Seq experiments, to identify regulatory DNA elements in mouse embryonic day 14.5 (E14.5) forebrains. We classified the candidate regulatory elements based on their genomic position into four categories: Promoter, Coding, Intronic or Intergenic. In order to determine the target genes of the candidate distal regulatory elements we first used a computational approach based on genomic location and gene expression. Next, we turned to 3D DNA-DNA interactions data for solving this question. For this, we used ChIA-PET, a ChIP-based proximity-ligation method followed by high-throughput sequencing, to systematically map DNA-DNA interactions in mouse E14.5 forebrains. We enriched our data for H3K27ac and PolII mediated interactions, and used over 500M long (150bp) pairedend reads. Mixing two distinct linkers, enabled us to reduce the the experiment’s background noise. Finally, we developed a computational pipeline for the ChIA-PET data analysis. To identify high-confidence interactions, we applied multiple thresholds, and retained only samechromosome interactions (self-ligation and long-range interactions were removed). We further annotated and filtered our data by using our set of candidate regulatory DNA elements as interaction anchors resulting in a pruned set of high-confidence interactions (iPETs). By comparing our data to structural domains (TADs), we found that most of the interactions were within TAD regions (∼ 85%). Most iPETs were annotated as Promoter-Promoter or Enhancer-Promoter pairs, strengthening our hypothesis that many iPET interactions have a regulatory role. These data were used to identify enhancers of genes known to be important in forebrain development and neurodevelopmental disorders. For example, we identified three candidate enhancers that interact with the promoter region of Foxg1, a gene associated with neurodevelopmental disorder and could be involved in the regulation of Foxg1 expression during forebrain development. Our findings shed light on the 3D regulation during development. In addition, our analysis shows the potential of the ChIA-PET method not only to identify regulatory elements, but also to determine their target genes.
Evolving the INES Story Generation System: From Single to Multiple Plot Lines

INES (Interactive Narrative Emotional Storyteller) is a story generation system based on the Afanasyev framework. It is focused on generating stories by combining template-based plot generation with an agent-based simulation of characters’ interaction. Its design follows the microservice-oriented model established by Afanasyev, in which a Story Director orchestrates the story generation stages, implemented by specialised microservices. While this model is suitable for generating a single plot story, it is insufﬁcient for managing a multiple plots scenario. This paper focuses on describing an evolved version of INES that aims at generating stories that contain different plot lines. In addition to the adoption of changes in the story representation model, the adaptation entails a modiﬁcation of the operation of INES and includes a new microservice: the Plot Weaver. This component introduces the application of a literary technique referred to as the “Communicating Vessels” , in which the different lines evolve in parallel while interacting between themselves.
Life Cycle and Population Structure of the Salamander Stereochilus marginatus in North Carolina

The life history of Stereochilus marginatus was studied at Croatan National Forest in eastern North Carolina. This highly aquatic salamander is abundant in drainage ditches, small ponds, and sluggish streams. Mating occurs in autumn, egg-laying in winter, and hatching in early spring. Although the usual length of the larval period is 25-28 months, some individuals apparently transform after a larval period of only 13-16 months. Larvae metamorphose in late spring and summer. The age range for initial reproduction in males is estimated as 21-45 months; however, most males develop to sexual maturity immediately after transformation, and breed initially at an age of 33 months. Most females remain immature during the year following metamorphosis, and oviposit for the first time at four years of age. Initial oviposition at three years of age may occur for females which metamorphose early and delay maturity, and for females which metamorphose late and develop to maturity immediately. There is no apparent sexual dimorphism, and the sex ratio is 1:1.
A model of sympatric speciation by sexual selection

Quantitative genetic models have indicated that sexual selection may lead to speciation in isolated populations or to exaggeration of differences in male traits along a cline. We argue that where female mate preference and opposing natural selection against conspicuous males have produced a stable equilibrium in male trait genotype, a reversed female mate preference may invade the population, initially assisted by reduced male mortality. The consequent linkage disequilibrium may lead to rapid sympatric speciation. Assuming a four-locus quantitative male trait and single-locus female preference rule and overlapping generations, we present a simulation model which indicates that reversal of female mate preference in a single individual can lead rapidly to full reproductive isolation in a small population. Speciation may be produced by the proposed mechanism in allopatry, parapatry or full sympatry. We suggest that differences in mating system and its genetic bases may account for some of the differences in speciation rates among lineages.
Isolation of Trichophyton equinum and Microsporum canis From Equine Dermatophytosis

Several papers have been published on enzootics of ringworm in military horses in Japan until 1945 2)3). The dermatophytes which have been reported authentically to be causative agents of equine ringworm are Trichophyton equinum, Microsporum gypseum and M. canis 2)3). In the last 25 years, only a case due to M. gypseurn was reported in Japan by Okoshi et al 3). This isolate of M. gypseum was identified as Nannizzia gypsea by cross mating method 2). From 1972 to 1973, there occurred skin infection among race horses in several areas of Japan. The authors happened to examine some cases of these ringworm infections. This paper deals with clinical observations and mycological findings of these cases.
SOME EFFECTS OF SMELTER POLLUTION NORTHEAST OF FALCONBRIDGE, ONTARIO

A study along a line NNE. from the metal smelter at Falconbridge, Ontario, reveals that strong sulphate accumulation in the surface soil occurs only within about one mile of the chimneys emitting sulphur dioxide pollution while effects upon the soil drainage waters are marked to a distance of nearly two miles, and still clearly evident 10 or more miles away. The number of species present in the flora declines sharply within about four miles of the smelter, but certain species (e.g. Pinus strobus, Vaccinium myrtilloides) disappear at much greater distances. Among the most tolerant species are Acer rubrum, Quercus rubra, Sambucus pubens, and Polygonum cilinode.
Can Changes in Female Relatedness Influence Microtine Population-dynamics

We present a model relating fluctuations in density of vole and lemming populations to changes in the degree of relatedness among females. We propose that a high degree of relatedness prior to the spring decline causes more overlap between female home ranges and leads to a high density of breeding females in spring and vole outbreak densities in summer. Low relatedness in spring leads to competition for territories between females and to a severe spring decline. We suggest that severe mortality owing to predators or reduced mortality resulting from favorable environmental conditions that allow winter breeding may influence the genetic structure of a population and thus the intensity of competition for space among females. The predictions of our model are opposite to those of the Charnov-Finerty (1980) model. Charnov and Finerty predicted that the degree of relatedness would be inversely correlated with population density and that a decline in degree of relatedness at high density causes population crashes. We predict that relatedness fluctuates seasonally and is greatest at high density owing to the philopatry of juvenile females. We also predict that declines in relatedness are due to predation and immigration during the non-breeding season.