Miracle-dz/UniFAR-FTUs huggingface dataset:
Programmable Rewriting Strategies in Haskell

Programmable rewriting strategies provide a valuable tool for implementing traversal functionality in grammar-driven (or schema-driven) tools. The working Haskell programmer has access to programmable rewriting strategies via two similar options: (i) the Strafunski bundle for generic functional programming and language processing, and (ii) the “Scrap Your Boilerplate” approach to generic functional programming. Basic rewrite steps are encoded as monomorphic functions on datatypes. Rewriting strategies are polymorphic functions composed from appropriate basic strategy combinators. We will briefly review programmable rewriting strategies in Haskell. We will address the following questions: • What are the merits of Haskellish strategies? • What is the relation between strategic programming and generic programming? • What are the challenges for future work on functional strategies?
Dietary fibers – definitions, classifications and analytical methods for the physiological assessment of their content in foods

Correspondence: Desislava Gyurova Department” Organic Analysis”, National Center of Public Health and Analyses, Sofia 1431, Bulgaria. e-mail: d.k. gyurova@gmail.com ABSTRACT The aim of this study is to present the most contemporary interpretation of the term “dietary fiber” as an ingredient of carbohydrates and its importance in human nutrition. The authors emphasize the “evolution” of the definition for dietary fibers in the years, as well as different approaches in the methods for their determination. The knowledge of the composition of foods rich of dietary fibers and oligosaccharides; and the harmonization of analytical methods together are a prerequisite for their correct identification and determination in the process of completion of the database for chemical composition of Bulgarian foods as well as in exchange of analytical data at regional and international level.
DL-61-86 at TRECVID 2017: Video-to-Text Description

In this paper, we summarize our work at the video-to-text description task (VTT) of TRECVID 2017. This year we participated in the matching and ranking subtask of VTT. Our entry is based on the Word2VisualVec [13] and a newly devised Spatial Enhanced Representation (SER). The Word2VisualVec is a deep neural network architecture that learns to predict a deep visual encoding of textual input. It is the winning entry in the VTT task of TRECVID 2016. We improve the Word2VisualVec by replacing the average pooling on the textual input with the multi-scale sentence vectorization [6] and using an improved triplet ranking loss [7]. The SER consists of two neural network branches which project videos and sentences into a learned latent space, respectively. For the video side branch, the model extracts an enhanced spatio-temporal representation for the input video. We implement this by learning a GRU with skip-connections that allow bypassing of the spatial feature. Our best run is the ensemble of six models which are variants of Word2VisualVec and SER. It leads the evaluation with a great margin in the context of all submissions from ten teams worldwide.
S204867901900034Xjra 1..11

The present study aimed to investigate whether dietary choline can regulate lipid metabolism and suppress NFκB activation and, consequently, attenuate inflammation induced by a high-fat diet in black sea bream (Acanthopagrus schlegelii). An 8-week feeding trial was conducted on fish with an initial weight of 8·16 ± 0·01 g. Five diets were formulated: control, low-fat diet (11 %); HFD, high-fat diet (17 %); and HFD supplemented with graded levels of choline (3, 6 or 12 g/kg) termed HFD+ C1, HFD + C2 and HFD+ C3, respectively. Dietary choline decreased lipid content in whole body and tissues. Highest TAG and cholesterol concentrations in serum and liver were recorded in fish fed the HFD. Similarly, compared with fish fed the HFD, dietary choline reduced vacuolar fat drops and ameliorated HFD-induced pathological changes in liver. Expression of genes of lipolysis pathways were up-regulated, and genes of lipogenesis down-regulated, by dietary choline compared with fish fed the HFD. Expression of nfκb and pro-inflammatory cytokines in liver and intestine was suppressed by choline supplementation, whereas expression of anti-inflammatory cytokines was promoted in fish fed choline-supplemented diets. In fish that received lipopolysaccharide to stimulate inflammatory responses, the expression of nfκb and pro-inflammatory cytokines in liver, intestine and kidney were all down-regulated by dietary choline compared with the HFD. Overall, the present study indicated that dietary choline had a lipid-lowering effect, which could protect the liver by regulating intrahepatic lipid metabolism, reducing lipid droplet accumulation and suppressing NFκB activation, consequently attenuating HFD-induced inflammation in A. schlegelii.
- Lang taphonomic bias and palaeoecological insights assemblages ) : origin , 0 Pennsylvanian ' fossil forests ' in growth position ( T service Email alerting

Fossil forests, buried in growth position in a geological instant (T assemblages) are far more abundant in Pennsylvanian successions than in any other part of the geological record. In this review paper, we evaluate the fundamental controls on the origin of these phenomena, investigate the taphonomic biases that influence their composition, and summarize their palaeoecological significance. Following earlier workers, we highlight that high rates of burial and accommodation are essential for the formation and preservation of T assemblages. Contexts especially favourable for their origin include ashfalls proximal to volcanic centres, coastal plains drowned by relative sea-level rise, and fluvial environments such as channel bars, crevasse splays, and distributary lobes. Long-term preservation requires high rates of subsidence. Consequently, the vast majority of Palaeozoic T assemblages are confined to wetland settings at, or close to, sea level, whereas drylands are poorly represented and uplands rarely sampled, if ever. However, this is not the only major bias in the fossil record; taphonomic processes selectively preserve plants dependent on their anatomy and stature, and on groundwater chemistry. Thus, although T assemblages offer unrivalled insights into the nature of ancient forests (whole-plant reconstructions, tree density, canopy height, productivity, plant hydraulics, cohort dynamics, spatial heterogeneity, ecological gradients, tree–sediment interactions, and animal–plant interactions, to name but a few), it is naive to believe they provide ‘photographic snapshots’ of palaeoecosystems. None the less, careful taphonomic analysis of T assemblages offers the potential for a nuanced understanding of these evocative phenomena, and much remains to be learned from these important palaeoecological
Part-of-sPeech tagging with rich Language DescriPtion

This paper deals with morphological parsing of natural language texts. We propose a method that combines comprehensive morphological description provided by ABBY Y Compreno system and sophisticated machine learning techniques used by the state-of-the-art POS taggers. The morphological description contains information about possible grammatical values of a dictionary word that helps to identify a set of potential hypothesis for each word during the morphological analysis stage. To analyse out-of-vocabulary words we are building a number of most likely paradigms in the morphological model using the orthographic features of the analysed word. The proposed method helps to reduce the number of hypotheses using the context information of each word. We use Bidirectional LSTM classifier to handle the context information and to predict the most probable grammatical value. The ambiguous grammatical values obtained from morphological description are used as features for the classifier. Also, we use word embeddings and orthographic features to achieve better results.
REPRESENTING THE VAGUENESS WITHIN THE DIALOGICAL SELF: PRESENCE AND ABSENCE OF THE OBJECT IN BETWEEN SELF AND COMMUNITY

In this paper, I try to enrich both the social representation theory (SRT) and the dialogical self theory (DST) by integrating the concepts of vagueness and boundary case borrowed from modern philosophy. These concepts are linked to SRT and DST through an illustration based on the analysis of stakeholders (professionals from the school and other community organizations) discourses in a Canadian partnership program.
Differentielle vierstufige Phasenumtastung zur kostengünstigen Verdopplung der Kapazität in bestehenden WDM-Systemen Differential quadrature phase-shift keying for cost-effective doubling of the capacity in existing WDM systems

Improving the spectral efficiency is one possibility to increase the capacity of existing WDM systems. In this paper, we introduce differential quadrature phase shift keying (DQPSK) which allows to double the capacity of existing systems by neither using expensive high bit rate equipment nor changing the existing 10Gb/s system management. This is why DQPSK can be considered as cost effective. The additional effort to implement the transmitter and receiver is discussed. Moreover, by means of measurement results it is shown that DQPSK at a data rate of 20Gb/s (=symbol rate 10GSymb/s) exhibits a similar receiver sensitivity and dispersion tolerance compared to conventional on/off keying (ASK). Finally, simulation results confirm a higher tolerance of DQPSK towards nonlinear effects although the data rate is doubled compared to ASK.
TesTing FeaTures and MeThods in russian ParaPhrasing Task

In this paper we study several groups of features and machine learning methods in the shared task on Russian paraphrasing organized in 2016. We use four groups of features: string-based features, information-retrieval features, part-of-speech features and thesaurus-based features and compare three machine learning methods: SVM with linear and RBF kernels, Random Forest and Gradient Boosting. In our experiments, the best results were obtained with the Random Forest classifier with parameter tuning and using all groups of features. The results of Gradient Boosting with parameter tuning were slightly worse.
Decomposition of Waveguides Propagating in Piezoelectric Crystals subject to Initial Fields

The present paper deals with the study of the coupling conditions for propagation of planar guided waves in a piezoelectric semi-infinite plane (sagittal plane) subject to initial fields. The piezoelectric material behaves linearly and without attenuation and the waveguide propagates in a normal mode. We suppose that the material is subject to initial electromechanical fields. If the sagittal plane is normal to a direct, resp. inverse dyad axis, we derive that the fundamental equations’ system decomposes for particular choices of the initial electric field. In this way we obtain mechanical and piezoelectric waves generalizing the classical guided waves from the case without initial fields.
Towards a Systematic Review and Classification of Collective Intelligence Systems

Collective intelligence systems (CIS) access and harness the collective knowledge and work of connected people by providing a web-based environment for a user community to share, distribute and retrieve topic-specific information in an efficient way. A CIS, as socio-technical system, acts as a mediator of interactions among a user community and thereby provides effective, bottom-up collaboration and communication capabilities that rely on user-generated content, facilitating the aggregation and distribution of knowledge in a coordinated way. In the past, software architecture research has neglected to deepen the understanding and methodological support for architecting in CIS domain. Today, research often focuses on the engineering of technical aspects and implementations. Although research fields like human computation [Ahn 2005], collective intelligence [Malone and Bernstein 2015], crowdsourcing [Howe 2006], social machines [Miorandi et al. 2014] and social computing [Parameswaran and Whinston 2007] take into account a wider perspective by investigating the principles and synergetic effects of networked human groups and computing systems [Quinn and Bederson 2011], they do not particularly address aspects that arise from a software architecture point of view, which is although critical to design well-tailored systems. Thus the software architect needs a complete understanding about (1) the set of features all kinds of CIS have in common, and (2) existing system variants. Without this knowledge it is difficult for software architecture researchers and practitioners alike to predict the effects of design decisions on the system’s capabilities and behavior. Therefore, a systematic investigation of underlying models and mechanisms for computational support of mediated social interaction and human cognitive processes is highly relevant [Omicini and Contucci 2013] to provide a consolidated systematic knowledge base of architectural commonalities and the variations in CIS. To address these needs, this paper presents a systematic review of collective intelligence systems and reports preliminary results of a pilot study. The remainder of the paper is structured as follows: In section 2 we present the study design of a systematic system review, in section 3 we report preliminary results of a pilot, and finally section 4 concludes and outlines paths for future work.
A Cooperative Visually Grounded Dialogue Game with a Humanoid Robot

This demonstration illustrates how research results in grounded language learning and understanding can be used in a cooperative task between an intelligent agent and a human. The task, undertaken by a robot, is the question answering game GuessWhat? [1]. The robot interacts with a human player who performs the role of the oracle. The oracle selects an object in a visual scene without disclosing it to the robot. Playing the role of the guesser, the robot asks questions to the person to deduce which object was selected. The guesser’s questions are generated using the player’s previous answers and visual information. Once the robot has a strong belief, it guesses the object chosen by the player and physically points to it in the scene (Figure 1).
AN IMMERSED BOUNDARY METHOD ON UNSTRUCTURED CARTESIAN MESHES FOR INCOMPRESSIBLE HEAT CONVECTION PROBLEMS

The incompressible Navier-Stokes equations with heat transfer are solved by an implicit pressure correction method on unstructured Cartesian meshes. The Volume of Body (VOB) function is used to identify the solid body in the flow field. The domain inside the immersed body is viewed as being occupied by the same fluid as outside with a prescribed velocity and temperature field. With this view the pressure inside the immersed body satisfies the same pressure Poisson equation as outside. In this paper we show some test results for the forced convection over a circular cylinder and the natural convection over a heated cylinder inside a square cavity.
Targeting Transcription Factors for Plant Disease Resistance:Shifting Paradigm

Transcription factors (TFs) are regulatory proteins that have the ability to alter targeted gene expression either solely by themselves or as a part of the protein complex. Many such TFs have significant regulatory role in plant defence. Being master switches for gene regulation, they become the unique candidates for targeting functional hub and dynamic networks and nodes of different defence signalling pathways in plant. Of many approaches transgenic overexpression or down-regulation of TFs is widely adopted, mainly to characterize their vital role in disease resistance; however their practical utilization remains limited in breeding programmes. Alternatively, exogenous application of synthetic chemicals/biocontrol agents is also efficient to regulate their expression, but not successful in the field. Hence, the focus has now shifted towards synthetic promoters (SPs) and synthetic transcription factors (STFs) to modulate gene expression. They have greater advantages over the natural ones for their target sequence-specificity, speed, and precise activity. Therefore, manipulation of plant defence regulatory networks by utilizing SPs or STFs represents a new era for synthetically modified crops without negative aspects of the existing biotechnology. This dynamic shift in approach from conventional to modern, transgenic to non-transgenic for manipulating plant defence is discussed in this article, with the aim of their commercial application in crop improvement.
A BRIEF OVERVIEW OF THE MITOCHONDRIAL DNA AS MOLECULAR MARKER IN BIOARCHAEOLOGY

The current paper summarizes the key studies that revolutionized the field of ancient DNA research, with special focus on the mitochondrial genome. Differences between molecular markers used in bioarchaeology are presented with emphasis on their advantages and disadvantages. As previously stated the focus of this review is on the mitochondrial DNA as a molecular marker, commonly used to answer bioarchaeological questions. The essential studies on mitochondrial DNA from ancient specimens that reveal key information about the history of Europeans are illustrated.
CO Gas Detection System for Cigarette Type Filter and Kretek- Using Cluster Method

The content of substances and gases in cigarette smoke is very harmful to human health. Inside a cigarette contains a variety of gas content. With a variety of gases contained in cigarette smoke, CO gas (Carbon Monoxide) is one of the most dangerous gases for human health. Seeing the current condition of many people who do not know every day how many harmful gases that enter the body from cigarette smoke, even these gases are also harmful to people around him who do not smoke. By Cluster analysis method where this method determines data with the same characteristics into a "group" that have similarities and also group the data into other groups based on unequal or different characteristics. This paper with case study of sampling 2 types of cigarettes ie Kretek and Filter. These two types of cigarettes we will measure the levels of CO gas contained in each stem with the detection of CO gas that is installed in cigarettes when in suction and on this tool will produce information on the gas that CO will be processed d with the CO gas concentration measurement software on cigarette smoke, from that information we can know the amount of CO gas content in each cigarette smoke pool is sucked and inhaled into the body from cigarettes. Information on this software will be displayed in the form of graphs or numbers based on data threshold of CO gas content into the human body, which is inserted into the information knowledge software through expert (lung health experts).
3D-SAR-Imaging and Thickness Determination of Zirconia Based Coatings on Non-Planar Metal Substrates in the Lower Terahertz Region

A synthetic-aperture-radio-detection-and-ranging(SAR ) algorithm is implemented to develop a three dimensional (3D) visualization of zirconia (ZrO 2) based coatings and to determine their thickness non-destructively. Zirconia based coatings are often used for thermal shielding due to their low thermal conducti vity. To provide a sufficient heat protection the evaluation of the coating after the fabrication and during maintenance is of high importance. The presented near-field SAR-reconstruction algorithm does not include any kind of geometrical ass umptions. Therefore, it is possible to visualize coatings on non-planar and complex structured metal substrates. Moreover, detecting the surface and taking the electrical permittivity of the coating into account allows for the determination of its thickne ss. It will be shown that the reconstruction of the radar signals inside a coating leads to a significantly higher resolution compared to measurements in vacuum. The reason for this is the relatively high permittivity of zirconia at frequencies between 325 and 500 gigahertz. A diffraction limit in range direction of about 0.8 mm is ex pected assuming vacuum during the reconstruction process. However, by taking th e relative permittivity into account this value decreases and therefore enables the detection of smaller changes in thickness. Measurement results are presented to demonstrate the capability of the described approach for the evaluation of ceramic coatings and to show the potential of defect or edge detection.
NDT_A_230688 3143..3153

1Department of Guangxi Key Laboratory of Brain and Cognitive Neuroscience, Guilin Medical University, Guilin 541004, Guangxi, People’s Republic of China; 2Department of Pathology, Affiliated Chenggong Hospital, Xiamen University, Xiamen, Fujian 361000, People’s Republic of China; 3Department of Pathology, Fuling Central Hospital of ChongqingCity, Chongqing 408099, People’s Republic of China; 4Department of Neurology and Neurological Science, Tokyo Medical and Dental University, 1-5-45 Yushima, Bunkyo-ku, Tokyo 113-8519, Japan; 5School of Pharmacy and Medical Sciences, and UniSA Cancer Research Institute, University of South Australia, Adelaide, SA 5001, Australia
Autoimmune Hepatitis—Immunologically Triggered Liver Pathogenesis—Diagnostic and Therapeutic Strategies

Autoimmune hepatitis (AIH) is a severe liver disease that arises in genetically predisposed male and female individuals worldwide. Diagnosis of AIH is made clinically applying diagnostic scores; however, the heterotopic disease phenotype often makes a rapid determination of disease challenging. AIH responds favorably to steroids and pharmacologic immunosuppression, and liver transplantation is only necessary in cases with acute liver failure or end-stage liver cirrhosis. Recurrence or development of de novo AIH after transplantation is possible, and treatment is similar to standard AIH therapy. Current experimental investigations of T cell-mediated autoimmune pathways and analysis of changes within the intestinal microbiome might advance our knowledge on the pathogenesis of AIH and trigger a spark of hope for novel therapeutic strategies.
A review and an integrated conceptual framework

Purpose – The purpose of this paper is to engage in a comprehensive review of the research on information technology (IT)-mediated international market-entry alliances. Design/methodology/approach – This paper provides a theory-informed conceptual framework of IT-enabled cross-border interfirm relationships and performance outcomes. It integrates perspectives of resourcebased view (RBV) and transaction cost economics (TCE) to argue that the establishment of interfirm IT capabilities enhances the marketing performance of the foreign partner in the host location by improving interfirm relationship governance. Furthermore, IT-related risks and contextual restrictions are identified as important moderators. Findings – Conceptualisations of IT capabilities, IT-enhanced interfirm governance, and IT-led marketing performance improvement are suggested. Drawing on RBV and TCE, IT resources, related human resources, and IT integration between partner firms in combination enhances the ability of firms to manage the relationship more effectively through shared control, interfirm coordination, cross-firm formalisation, and hybrid centralisation. These benefits then bring about better upstream and downstream marketing performance in the host location. Additionally, IT capabilities help to mitigate possible contextual limitations and risks. Research limitations/implications – The paper offers a number of theoryand literature-informed research propositions which can be empirically tested in future studies. Practical implications – Top managers of firms currently in or planning to enter international alliances for market entry should carefully consider effective development of interfirm IT capabilities in terms of readiness of hardware and software, human resources, and organisational resources. Originality/value – The paper provides an integrated framework and propositions which contribute to limited understanding and appreciation of IT value in international market-entry alliances.