Miracle-dz/UniFAR-FTUs huggingface dataset:
N ov 2 01 7 Maximal determinants of combinatorial matrices

We prove that detA ≤ 6 n 6 whenever A ∈ {0, 1}n×n contains at most 2n ones. We also prove an upper bound on the determinant of matrices with the k-consecutive ones property, a generalisation of the consecutive ones property, where each row is allowed to have up to k blocks of ones. Finally, we prove an upper bound on the determinant of a path-edge incidence matrix in a tree and use that to bound the leaf rank of a graph in terms of its order.
Integrating Digital Libraries with Instruction: Design and Promotion of Educational Applications

Digital libraries are collections of information represented as digital text, images, audio files, video files and other media, and are gaining increasing importance in people's everyday activities due to their continuously updated contents and services. Digital libraries store great amounts of a variety of information and deliver associated services to user communities using a variety of technologies (Frias-Martinez, Magoulas, Chen, & Macredie, 2006). Although many websites provide a great deal of media including text, pictures, animation and maps, a rich assortment of media does not necessarily guarantee the valid delivery of information. In fact, most websites are structured for navigation according to the classification of materials, rather than the cognitive abilities of learners. Previous studies have reported that multimedia contents for navigation do nothing to help in the comprehension of knowledge (Eveland & Dunwoody, 2000; Nilsson & Mayer, 2002; Schwartz, Verdi, Morris, Lee, & Larson, 2007). On the contrary, learners actively organize what they read to develop their own cognitive models to maintain the internal structure of the knowledge (Ausubel, 1978). Therefore, the content structured according to users’ conceptual models will be appropriate for learners of diverse backgrounds. This chapter described the experiences of designing and promoting web-based learning environments with integrated digital libraries through a sequence of projects across a number of years.
Adversarial Action Prediction Networks

Different from after-the-fact action recognition, action prediction task requires action labels to be predicted from partially observed videos containing incomplete action executions. It is challenging because these partial videos have insufficient discriminative information, and their temporal structure is damaged. We study this problem in this paper, and propose an efficient and powerful deep network for learning representative and discriminative features for action prediction. Our approach exploits abundant sequential context information in full videos to enrich the feature representations of partial videos. This information is encoded in latent representations using a variational autoencoder (VAE), which are encouraged to be progress-invariant. Decoding such latent representations using another VAE, we can reconstruct missing information in the features extracted from partial videos. An adversarial learning scheme is adopted to differentiate the reconstructed features from the features directly extracted from full videos in order to well align their distributions. A multi-class classifier is also used to encourage the features to be discriminative. Our network jointly learns features and classifiers, and generates the features particularly optimized for action prediction. Extensive experimental results on UCF101, Sports-1M and BIT datasets demonstrate that our approach remarkably outperforms state-of-the-art methods, and shows significant speedup over these methods. Results also show that actions differ in their prediction characteristics; some actions can be correctly predicted even though only the beginning <inline-formula><tex-math notation="LaTeX">$10\%$</tex-math><alternatives><mml:math><mml:mrow><mml:mn>10</mml:mn><mml:mo>%</mml:mo></mml:mrow></mml:math><inline-graphic xlink:href="kong-ieq1-2882805.gif"/></alternatives></inline-formula> portion of videos is observed.
Model Checks in Inverse Regression Models with Convolution‐Type Operators

Abstract. We consider the problem of testing parametric assumptions in an inverse regression model with a convolution‐type operator. An L2‐type goodness‐of‐fit test is proposed which compares the distance between a parametric and a non‐parametric estimate of the regression function. Asymptotic normality of the corresponding test statistic is shown under the null hypothesis and under a general non‐parametric alternative with different rates of convergence in both cases. The feasibility of the proposed test is demonstrated by means of a small simulation study. In particular, the power of the test against certain types of alternative is investigated. Finally, an empirical example is provided, in which the proposed methods are applied to the determination of the shape of the luminosity profile of the elliptical galaxy NGC 5017.
CURRENT STATUS OF TRANSCATHETER ARTERIAL CHEMOEMBOLIZATION FOR HEPATOCELLULAR CARCINOMA

Surgical resection used to be the main method to treat hepatocellular carcinoma (HCC). However, since transarterial chemoembolization (TACE) was first reported by Goldstein in 1976, it has been adopted worldwide to prolong the survival of HCC patients, and more patients with unresectable HCC have benefited from this technique. Now, TACE has evolved into the first choice among non-surgical treatments of HCC because of its minimally invasive nature and definite therapeutic effects. Usually, practitioners manipulate to deploy a delivery system (catheter) into the target arterial (blood supply of the liver tumor) with the aid of digital subtraction angiography (DSA), thereafter, introducing embolizing materials (plus drugs on most occasions) through the catheter to eliminate the tumor by occluding its arterial supply. Samples obtained from the occluded region identify necrosis of tumor tissue. Theoretically, arterial administration of anticancer drugs is more effective than systemic administration because drug concentration is higher in the local region while systemic concentration is low. Although, it’s controversial that whether the transarterial embolization (TAE) is as effective as TACE, most practitioners prefer TACE for theoretically stronger tumor control both in liver and possible metastasis elsewhere. Researchers have compared several anticancer drugs(doxorubincin, cisplatin, epirubicin and mitomycin et al.) often used in TACE and the result was no chemotherapeutic agent was better than any other. Acta Medica Mediterranea, 2018, 34: 531
CageLab: an Interactive Tool for Cage-Based Deformations

Posing a digital character by acting on the vertices of a coarse control cage is, after skeleton-based, probably the most widely used technique for digital animation. While skeleton-based techniques have been deeply researched and a variety of industrial and academic tools are available for it, cage-based techniques have historically received less attention. In recent years we observed an increasing interest in the ﬁeld, which results in a growing number of publications both on algorithms for automatic or semi-automatic cage generation, and for smooth barycentric coordinates for general polyhedral meshes. We introduce CageLab: a novel research-oriented software tool that allows scholars and practitioners in general to get acquainted with cage-based animation in a lightweight and easy to use environment. Users can: (i) load digital characters and their associated cages, applying character deformations with a selection of the most widely used barycentric coordinates available in literature; (ii) compare alternative cages for a given digital character; (iii) compare alternative barycentric coordinates w.r. t their smoothness and locality within the cage; (iv) use CageLab for educational purposes, or to produce images and videos for scientiﬁc articles. We publicly release the tool to the community, with the hope to support this growth, and possibly foster even more research in the ﬁeld.
On extracting high-frequency tidal variability from HF radar data in the northwestern Bay of Bengal

ABSTRACT First results from a systematic harmonic analysis of HF radar (HFR) derived ocean surface current observations in the northwestern Bay of Bengal (BoB) during 2010 is presented. The daily-averaged HFR currents compared reasonably well to composite daily surface currents from multiple satellites with correlation coefficient of 0.90 (0.69) for zonal (meridional) component. A set of sequential daily currents demonstrated sustained northward (southward) alongshore flow during February–April (October–December) with peak magnitude of about 1.8 (1.2) m/s. On tidal scales, harmonic analyses of zonal and meridional components at nearshore and offshore locations indicated that among semi-diurnal tidal components, M2 dominates over S2 and N2; time-scales of which were verified from available coastal tide gauges nearby. Amplitudes of semi-major axis for M2 and K1 tidal ellipses are 7.16 (6.13) and 4.02 (3.30) cm/s in nearshore (offshore) location indicating relatively stronger tidal currents in nearshore location. Finally, significant shallow water constituents S4, MS4 and M3 (M4, 2SM6 and M6) at nearshore (offshore) location are identified, which are due to non-linear interaction of tidal currents with bathymetry. Both semi-diurnal and shallow water tidal currents show dominance along isobaths in offshore region, which turn progressively across-isobath as they move nearshore.
Expression Level of FUT1 Gene in Different Pig Populations and its Relationship with ETEC F18 Resistance

α(1,2)-fucosyltransferase exhibiting α(1,2)-fucosylation of glycolipid and glycoprotein acceptors has been purified from submaxillary gland mucin [4]. Thurin and Blaszczyk-Thurin M [5] identified this enzyme as the homologue of the human Secretor enzyme. Recent studies indicated that FUT1 gene was important in the synthesis of the structure that was beneficial to the adhesion between E. coli F18 fimbriated bacteria and the small intestinal wall [6].
Tools for collaborating and interacting in living labs - an exploratory case study on JOSEPHS®

Living Labs serve as a novel form of collaborating and developing innovation. As interactive, physical settings, they hold several possibilities of facilitating co-creation with diverse stakeholders. Research on tools and methods used in Living Labs is still under development. To contribute to this research, this paper investigates the use of tools for interaction in a Living Lab. A longitudinal exploratory case study on the JOSEPHS® in Nuremberg was applied. This study finds that (1) there are three categories of tools used for integrating visitors, (2) interaction with visitors in a Living Lab depends on the factors time and commitment and (3) tools for different integration types need to be matched to the determinants of interaction. The study contributes to literature on co-creation and interaction in Living Labs by highlighting that visitor roles should not be perceived as fixed user categories, but as the variable result of interaction with applied tools.
Learning to Trade in an Unbalanced Market

We study the evolution of trading strategies in double auctions as the size of the market gets larger. When the number of buyers and sellers is balanced, Fano et al. (2011) show that the choice of the order-clearing rule (simultaneous or asynchronous) steers the emergence of fundamentally different strategic behavior. We extend their work to unbalanced markets, confirming their main result as well as that allocative inefficiency tends to zero. On the other hand, we discover that convergence to the competitive outcome takes place only when the market is large and that the long side of the market is more effective at improving its disadvantaged terms of trade under asynchronous order-clearing.
Evaluation of Biochemical Properties of Burnt and Normal Meat in Pacific Bluefin Tuna ( Thunnus orientalis )

Burnt meat is one of the unusual meats often occurring in tuna species. In order to reveal the biochemical properties of burnt meat in tuna, burnt meat and normal meat samples were collected to examine the quality parameter including pH, color parameters, lactic acid content, the activities of antioxidant enzymes, and the levels of thiobarbituric acid reactive substances (TBARS) and scavenging 2,2-diphenyl-1-picrylhydrazyl (DPPH) radicals. The results showed pH was significantly lower in burnt meat than in normal meat, and the lactic acid content was generally higher in burnt meat. In color parameters, the L* and b* values were higher in burnt meat. Besides, the activities of antioxidant enzymes, namely, superoxide dismutase (SOD), glutathione reductase (GR) and catalase (CAT) in normal meat were higher than those in burnt meat. TBARS levels were significantly higher in burnt meat than in normal meat. It is thus likely that strong struggle of fish throughout catch and high water temperature induce partial inactivation of these antioxidant enzymes, resulting in free radical formation which triggers the occurrence of burnt meat. This fact could be beneficial for aquaculture and livestock industry of tunas to prevent burnt meat.
Persuasion Meets Delegation

There are two common ways for a principal to influence the decision making of an agent. One is to manipulate the agent's information (persuasion problem). Another is to limit the agent's decisions (delegation problem). We show that, under general assumptions, these two problems are equivalent; so solving one problem solves the other. We illustrate how the methods developed in the persuasion literature can be applied to address unsolved delegation problems by considering monopoly regulation with a participation constraint.
Improving Recall and Security of Passphrases Through Use of Mnemonics

Passphrases are regarded as more secure than passwords because they are longer than passwords. Yet, users use predictable word patterns and common phrases to make passphrases memorable, which in turn significantly lowers security. We explore a novel use of mnemonics, multi-letter passphrase abbreviations, to make passphrases more memorable and more secure. We use mnemonics during authentication as user hints to achieve cued-recall. We also explore use of mnemonics to guide passphrase creation – we generate a random mnemonic and require a user to produce a passphrase, which matches it. This guides the users away from common phrases and improves security. We evaluate these uses of mnemonics in several IRB-approved user studies with participants from Amazon Mechanical Turk. We find that mnemonics displayed as authentication hints increase recall of passphrases by 30–36% after three days, and by 51–74% after seven days. When used to guide passphrase creation, mnemonics reduce the use of common phrases from 52% to under 5%, while passphrase recall remains high. Users also rate usability of passphrases with mnemonics (for creation or for authentication) higher than usability of classical passphrases.
Germination behaviour of 6 × 6 diallel hybrids of an energy crop Jatropha curcas L.

The seeds of 6 × 6 half diallel progenies of Jatropha curcas were used to evaluate the effects of genotypes (parents and their hybrids) on germination traits of jatropha at Universiti Kebangsaan Malaysia. Germination traits were varied significantly (p<0.01) among the seeds of hybrids and their parents. The germination was started at four days after planting and prolonged until 15 days. Seed germination varied from 58.06 to 92.76% among the parents and 53.43 to 98.96% among the hybrids. The highest germination was observed in the hybrid P2 × P4 and none of the hybrid or parent showed complete (100%) germination. The maximum GI (germination index) and SVI (seedling vigour index) were found in the hybrids P1 × P5 and P1 × P2 and the lowest in P2 × P4 and P3 × P6, respectively. For most germination parameters parents behaved poorly than that of the hybrids.
Saying is not modelling

In this article we claim that the conceptual mode lling built from text is rarely an ontology. Such a conceptualization is corpus-dependent and does not offer the main properties we expect from ontolo gy, e.g. reusability and soundness. Furthermore, ontology extracted from text in general does not match ontology defined by expert using a formal language. Such a result is not surprising since ontology is an extra-linguistic co nceptualization whereas knowledge extracted from text is the concern of tex tual linguistics. Incompleteness of text and using rhetorical figures , like synecdoche, deeply modify the perception of the conceptualization we may have. It means that ontological knowledge, which is necessary for text understanding, is not in general embedded into documents. The article will e nd on some remarks about formal languages. If they allow to define "a specif ication of a conceptualization" they nevertheless raise their ow n issues mainly due to their epistemological neutrality. Ontology design remains an epistemological issue.
Social Integration in Public Spaces & Landscapes: Perceptions and Experiences towards Multicultural Shanghai

Multiculturalism in today’s globalised economies has become a hot topic. This research seeks to document the differing experiences of non-Chinese and Chinese to public spaces and landscapes, focusing on the factors influencing the involvement of non-Chinese people in public spaces and landscapes. The study seeks to ascertain whether particular public spaces have social significance in the integration of non-Chinese people in Shanghai, China, and whether there is a need to develop a policy in relation to strategies for social integration in the now thriving multicultural Shanghai communities. Multiculturalism and Urbanism for future cities can be the basis on which a problem statement(s) can be developed for further research. Multicultural social integration is about recognising diversity and indifferences. People from different cultural backgrounds may value the public space landscape quite differently to natives. Social integration allows cultural richness to open hearts and minds to different ways of seeing and experiencing public parks and landscapes. It can tell us something about the ways in which people adapt their traditions to different circumstances in a new country. It is the hope of this research that a series of studies on “Multiculturalism and Social Integration and Landscape in Asian Cities” will be done.
On a Synergy Between Data and Processes

The structure of data and processes to manage information are both important aspects of information systems. Nevertheless, most existing modeling languages focus either on one or the other. Languages that focus on data often neglect that data is manipulated by processes, while languages tailored for processes ignore the structure of the data. In this paper, we present an approach to model and analyze information systems that combines data models with process models by means of an automated theorem prover. In the proposed approach, data models are used to express the structure and constraints of data, while Petri nets with identifiers define the processes together with a specification on how transitions manipulate the data. Through the use of an automated theorem prover, a transition is checked whether its manipulation is valid given the constraints imposed by the data model. Our approach allows specifying an information system over a spectrum of balances between data and process constraints. This spectrum is exemplified with an educational institute as a running example. The approach is supported with a proof-of-concept implementation using CPN-tools and the automated theorem prover E.
Revegetation of ski runs in Serbia: Case studies of Mts. Stara Planina and Divčibare

Revegetation is the most sustainable method of soil stabilization at ski runs. In order to establish a stable plant community, it is recommended to use native species. However, non-native species are most often used. In this paper the revegetation of ski runs at two ski resorts is investigated: Divcibare and Stara Planina. Seven species were used for the revegetation of the ski run at the Divcibare ski resort of which six species were native. Six species were used for the revegetation of the Stara Planina ski resort, of which two species were native. It was established that the plant species used in the seed mixtures were suitable for erosion control at the investigated ski resorts.
Design and Implementation of a PLL using a Single-Event-Transient Hardened-byDesign ( SETHBD ) Charge Pump Pallavi

The Phase Locked Loop (PLL) is a combined system of phase frequency detector (PFD), charge pump (CP), low pass filter (LPF), voltage controlled oscillator (VCO), frequency divider (FD). The PLL is widely used in RF and wireless transceivers, optical fiber receivers and carrier synthesis in cellular telephones etc. The PLL tracks the frequency changes of the input signal. Thus, a PLL goes through three stagesfree running, capture and locked or tracking. Once the PLL is locked, it can track frequency changes in the incoming signals. In the proposed PLL, the designed PFD is free from dead zone. The single-event-transient hardened-by-design (SETHBD) charge pump is used instead of traditional CP to overcome the single event effect’s (SEEs) such as single-event upset (SEU), multiple bit upset, single-event transient (SET), and latch up problems. Here we use the radiation hardened circuit and reference circuit along with the charge pump circuit. And the 5-stage current starved voltage controlled oscillator is used. And the divided by 4 frequency divider circuit is designed for feedback circuit using a 2-D flip-flop’s (N/4). The PLL design is implemented in cadence virtuoso 180nm technology with a supply voltage of 1.8V operates at a frequency of 1GHZ and all the simulations are done using cadence simulator.
Tactical Decision Making for Cooperative Vehicles Using Reachable Sets

Tactical maneuver planning of multiple, communicating vehicles provides the opportunity to increase passenger safety and comfort. We propose a unifying method to orchestrate the motion of cooperative vehicles based on the negotiation of conflicting road areas, which are determined by reachable set computation. As a result, each vehicle receives an individual driving corridor for trajectory planning. The presented conflict resolution scheme has polynomial runtime complexity and is guaranteed to find the optimal allocation of road areas for each negotiation round. Our method is not tailored to specific traffic situations but is applicable to general traffic scenes with manually driven and automated vehicles. We demonstrate the universal usability of our approach in numerical experiments.
Using Linguistic Knowledge to Automatically Learn Monotonicity Properties

Semanticists have long investigated the linguistic phenomenon of negative polarity items (NPIs) and have demonstrated that there exists a relationship between NPIs and downward entailing (DE) operators. NPI licensing theories aim to explain the exact nature of that relationship. These semantic theories can be leveraged to aid research in other linguistic subfields. The contribution of this paper is to demonstrate how we may successfully use linguistic knowledge and the relationship between NPIs and DEs to build an informed computational system that can successfully detect DE operators from text. This work presents an algorithm that automatically detects a word’s monotonicity information.