nils-herrmann/clean_scirepeval huggingface dataset:
Modeling design processes

what design is from a theoretical point of view, which is a role of the descriptive model. However, descriptive models are not necessarily helpful in directly deriving either the architecture of intelligent CAD or the knowledge representation for intelligent CAD. For this purpose, we need a computable design process model that should coincide, at least to some extent, with a cognitive model that explains actual design activities. One of the major problems in developing so-called intelligent computer-aided design (CAD) systems (ten Hagen and Tomiyama 1987) is the representation of design knowledge, which is a two-part process: the representation of design objects and the representation of design processes. We believe that intelligent CAD systems will be fully realized only when these two types of representation are integrated. Progress has been made in the representation of design objects, as can be seen, for example, in geometric modeling; however, almost no significant results have been seen in the representation of design processes, which implies that we need a design theory to formalize them. According to Finger and Dixon (1989), design process models can be categorized into a descriptive model that explains how design is done, a cognitive model that explains the designer’s behavior, a prescriptive model that shows how design must be done, and a computable model that expresses a method by which a computer can accomplish a task. A design theory for intelligent CAD is not useful when it is merely descriptive or cognitive; it must also be computable. We need a general model of design Articles
Bridging Semantic Gaps between Natural Languages and APIs with Word Embedding

Developers increasingly rely on text matching tools to analyze the relation between natural language words and APIs. However, semantic gaps, namely textual mismatches between words and APIs, negatively affect these tools. Previous studies have transformed words or APIs into low-dimensional vectors for matching; however, inaccurate results were obtained due to the failure of modeling words and APIs simultaneously. To resolve this problem, two main challenges are to be addressed: the acquisition of massive words and APIs for mining and the alignment of words and APIs for modeling. Therefore, this study proposes Word2API to effectively estimate relatedness of words and APIs. Word2API collects millions of commonly used words and APIs from code repositories to address the acquisition challenge. Then, a shuffling strategy is used to transform related words and APIs into tuples to address the alignment challenge. Using these tuples, Word2API models words and APIs simultaneously. Word2API outperforms baselines by 10%-49.6% of relatedness estimation in terms of precision and NDCG. Word2API is also effective on solving typical software tasks, e.g., query expansion and API documents linking. A simple system with Word2API-expanded queries recommends up to 21.4% more related APIs for developers. Meanwhile, Word2API improves comparison algorithms by 7.9%-17.4% in linking questions in Question&Answer communities to API documents.
Looking to listen at the cocktail party: a speaker-independent audio-visual model for speech separation

We present a joint audio-visual model for isolating a single speech signal from a mixture of sounds such as other speakers and background noise. Solving this task using only audio as input is extremely challenging and does not provide an association of the separated speech signals with speakers in the video. In this paper, we present a deep network-based model that incorporates both visual and auditory signals to solve this task. The visual features are used to "focus" the audio on desired speakers in a scene and to improve the speech separation quality. To train our joint audio-visual model, we introduce AVSpeech, a new dataset comprised of thousands of hours of video segments from the Web. We demonstrate the applicability of our method to classic speech separation tasks, as well as real-world scenarios involving heated interviews, noisy bars, and screaming children, only requiring the user to specify the face of the person in the video whose speech they want to isolate. Our method shows clear advantage over state-of-the-art audio-only speech separation in cases of mixed speech. In addition, our model, which is speaker-independent (trained once, applicable to any speaker), produces better results than recent audio-visual speech separation methods that are speaker-dependent (require training a separate model for each speaker of interest).
Survival and complication rates of combined tooth-implant-supported fixed partial dentures.

The objective of this study has been to review the incidence of biological and technical complications in case of tooth-implant-supported fixed partial denture (FPD) treatments on the basis of survival data regarding clinical cases.



Based on the treatment documentations of a Bundeswehr dental clinic (Cologne-Wahn German Air Force Garrison), the medical charts of 83 patients with tooth-implant-supported FPDs were completely recorded. The median follow-up time was 4.73 (time range: 2.2-8.3) years. In the process, survival curves according to Kaplan and Meier were applied in addition to frequency counts.



A total of 84 tooth-implant (83 patients) connected prostheses were followed (132 abutment teeth, 142 implant abutments (Branemark, Straumann). FPDs: the time-dependent illustration reveals that after 5 years, as many as 10% of the tooth-implant-supported FPDs already had to be subjected to a technical modification (renewal (n=2), reintegration (n=4), veneer fracture (n=5), fracture of frame (n=2)). In contrast to non-rigid connection of teeth and implants, technical modification measures were rarely required in case of tooth-implant-supported FPDs with a rigid connection. There was no statistical difference between technical complications and the used implant system. Abutment teeth and implants: during the observation period, none of the functionally loaded implants (n=142) had to be removed. Three of the overall 132 abutment teeth were lost because of periodontal inflammation. The time-dependent illustration reveals, that after 5 years as many as 8% of the abutment teeth already required corresponding therapeutic measures (periodontal treatment (5%), filling therapy (2.5%), endodontic treatment (0.5%)). After as few as 3 years, the connection related complications of implant abutments (abutment or occlusal screw loosening, loss of cementation) already had to be corrected in approximately 8% of the cases. In the utilization period there was no screw or abutment fracture.



Technical complications of implant-supported FPDs are dependent on the different bridge configurations. When using rigid functional connections, similarly favourable values will be achieved as in case of solely implant-supported FPDs. In this study other characteristics like different fixation systems (screwed vs. cemented) or various implant systems had no significant effect to the rate of technical complications.
The IoT electric business model: Using blockchain technology for the internet of things

Nowadays, the development of traditional business models become more and more mature that people use them to guide various kinds of E-business activities. Internet of things (IoT), being an innovative revolution over the Internet, becomes a new platform for E-business. However, old business models could hardly fit for the E-business on the IoT. In this article, we 1) propose an IoT E-business model, which is specially designed for the IoT E-business; 2) redesign many elements in traditional E-business models; 3) realize the transaction of smart property and paid data on the IoT with the help of P2P trade based on the Blockchain and smart contract. We also experiment our design and make a comprehensive discuss.
Effect of synbiotic dietary supplementation on survival , growth performance , and digestive enzyme activities of common carp ( Cyprinus carpio ) fingerlings

Effects of different levels of Biomin® IMBO synbiotic, including Enterococcus faecium (as probiotic), and fructooligosaccharides (as prebiotic) on survival, growth performance, and digestive enzyme activities of common carp fingerlings (Cyprinus carpio) were evaluated. The experiment was carried out in four treatments (each with 3 replicates), including T1 = control with non-synbiotic diet, T2 = 0.5 g/kg synbiotic diet, T3 = 1 g/kg synbiotic diet, and T4 = 1.5 g/kg synbiotic diet. In total 300 fish with an average weight of 10 ± 1 g were distributed in 12 tanks (25 animals per 300 l) and were fed experimental diets over a period of 60 days. The results showed that synbiotic could significantly enhance growth parameters (weight gain, length gain, specific growth rate, percentage weight gain) (P < 0.05), but did not exhibit any effect on survival rate (P > 0.05) compared with the control. An assay of the digestive enzyme activities demonstrated that the trypsin and chymotrypsin activities of synbiotic groups were considerably increased than those in the control (P < 0.05), but there was no significant difference in the levels of α-amylase, lipase, or alkaline phosphatase (P > 0.05). This study indicated that different levels of synbiotic have the capability to enhance probiotic substitution, to improve digestive enzyme activity which leads to digestive system efficiency, and finally to increase growth. It seems that the studied synbiotic could serve as a good diet supplement for common carp cultures.
Social Big-Data-Based Content Dissemination in Internet of Vehicles

By analogy with Internet of things, Internet of vehicles (IoV) that enables ubiquitous information exchange and content sharing among vehicles with little or no human intervention is a key enabler for the intelligent transportation industry. In this paper, we study how to combine both the physical and social layer information for realizing rapid content dissemination in device-to-device vehicle-to-vehicle (D2D-V2V)-based IoV networks. In the physical layer, headway distance of vehicles is modeled as a Wiener process, and the connection probability of D2D-V2V links is estimated by employing the Kolmogorov equation. In the social layer, the social relationship tightness that represents content selection similarities is obtained by Bayesian nonparametric learning based on real-world social big data, which are collected from the largest Chinese microblogging service Sina Weibo and the largest Chinese video-sharing site Youku. Then, a price-rising-based iterative matching algorithm is proposed to solve the formulated joint peer discovery, power control, and channel selection problem under various quality-of-service requirements. Finally, numerical results demonstrate the effectiveness and superiority of the proposed algorithm from the perspectives of weighted sum rate and matching satisfaction gains.
Data mining : Techniques for Enhancing Customer Relationship Management in Banking and Retail Industries

Currently several industries including like banking, finance, retail, insurance, publicity, database marketing, sales predict, etc are Data Mining tools for Customer Relationship Management. Leading banks are using Data Mining tools for customer segmentation and benefit, credit scoring and approval, predicting payment lapse, marketing, detecting illegal transactions, etc. The Banking and Retail industry is realizing that it is possible to gain competitive advantage deploy data mining. For retailers, data mining can be used to provide information on product sales direction, customer buying tradition and desires; etc. This article provides an critique of the concept of Data mining and Customer Relationship Management in organized Banking and Retail industries. It also discusses standard tasks involved in data mining; evaluate various data mining applications in different sectors.
StressAware: An app for real-time stress monitoring on the amulet wearable platform

Stress is the root cause of many diseases and unhealthy behaviors. Being able to monitor when and why a person is stressed could inform personal stress management as well as interventions when necessary. In this work, we present StressAware, an application on the Amulet wearable platform that classifies the stress level (low, medium, high) of individuals continuously and in real time using heart rate (HR) and heart-rate variability (HRV) data from a commercial heart-rate monitor. We developed our stress-detection model using a Support Vector Machine (SVM). We trained and tested our model using data from three sources and had the following preliminary results: PhysioNet, a public physiological database (94.5% accurate with 10-fold cross validation), a field study (100% accurate with 10-fold cross validation) and a lab study (64.3% accurate with leave-one-out cross-validation). Testing the StressAware app revealed a projected battery life of up to 12 days. Also, the usability feedback from subjects showed that the Amulet has a potential to be used by people for monitoring their stress levels. The results are promising, indicating that the app may be used for stress detection, and eventually for the development of stress-related intervention that could improve the health of individuals.
Emotional and Cognitive Predictors of the Enjoyment of Reality-Based and Fictional Television Programming : An Elaboration of the Uses and Gratifications Perspective

This article reports the results of two studies designed to compare predictors of enjoyment of reality-based and fictional television programming. In Study 1, 260 adults completed a survey of their cognitive and emotional reactions to either the fictional or reality-based programming that they generally watch. In Study 2, 502 adults completed a similar survey but with a particular reality-based or fictional program in mind. Results suggest first that though voyeurism (i.e., curiosity about others) appears to be a key distinguishing gratification between reality and fictional programming, it is not always a predictor of reality television enjoyment. Indeed, many predictors of enjoyment, like happiness, parasocial relationships, social comparison, self-awareness, negative outcome, and dramatic challenge, varied as much among types of reality programs as between reality and fiction. Of particular interest, three variables—learning, suspense, and transportation—had opposite effects on enjoyment, depending on their programming context. The implications of these findings, as well as the role of perceived realism and our ability to explain more variance in enjoyment of reality versus fictional programming, are addressed. Apart from its insight into the reality television phenomenon, this research helps to more clearly articulate the cognitive and emotional underpinnings of enjoyment and MEDIA PSYCHOLOGY, 8, 421–447
Compressed Sensing using Generative Models

The goal of compressed sensing is to estimate a vector from an underdetermined system of noisy linear measurements, by making use of prior knowledge on the structure of vectors in the relevant domain. For almost all results in this literature, the structure is represented by sparsity in a well-chosen basis. We show how to achieve guarantees similar to standard compressed sensing but without employing sparsity at all. Instead, we suppose that vectors lie near the range of a generative model G : R → R. Our main theorem is that, if G is L-Lipschitz, then roughly O(k logL) random Gaussian measurements suffice for an `2/`2 recovery guarantee. We demonstrate our results using generative models from published variational autoencoder and generative adversarial networks. Our method can use 5-10x fewer measurements than Lasso for the same accuracy.
CVTE at IJCNLP-2017 Task 1: Character Checking System for Chinese Grammatical Error Diagnosis Task

Grammatical error diagnosis is an important task in natural language processing. This paper introduces CVTE Character Checking System in the NLP-TEA-4 shared task for CGED 2017, we use Bi-LSTM to generate the probability of every character, then take two kinds of strategies to decide whether a character is correct or not. This system is probably more suitable to deal with the error type of bad word selection, which is one of four types of errors, and the rest are words redundancy, words missing and words disorder. Finally the second strategy achieves better F1 score than the first one at all of detection level, identification level, position level.
MADAMIRA: A Fast, Comprehensive Tool for Morphological Analysis and Disambiguation of Arabic

In this paper, we present MADAMIRA, a system for morphological analysis and disambiguation of Arabic that combines some of the best aspects of two previously commonly used systems for Arabic processing, MADA (Habash and Rambow, 2005; Habash et al., 2009; Habash et al., 2013) and AMIRA (Diab et al., 2007). MADAMIRA improves upon the two systems with a more streamlined Java implementation that is more robust, portable, extensible, and is faster than its ancestors by more than an order of magnitude. We also discuss an online demo (see http://nlp.ldeo.columbia.edu/madamira/) that highlights these aspects.
Application of Floating Photovoltaic Energy Generation Systems in South Korea

In order to mitigate air pollution problems caused mainly by the excessive emission of carbon dioxide, in 2012, the South Korean government decided to introduce a renewable portfolio standards (RPS) program that requires electricity providers to gradually increase their production of renewable energy. In order to meet the government’s target through this RPS program, electricity providers in Korea have looked to various types of new and renewable energy resources, such as biomass, wind, and solar. Recently, floating photovoltaic (PV) systems have attracted increased interest in Korea as a desirable renewable energy alternative. This paper provides a discussion of recent research into floating PV systems and the installation of floating PV power plants in Korea from 2009 to 2014. To date, thirteen floating PV power plants have been installed in Korea, and several plans are underway by many different organizations, including government-funded companies, to install more floating PV power plants with various generation capacities. These building trends are expected to continue due to the Korean government’s RPS program.
DreamCam: A modular FPGA-based smart camera architecture

DreamCam is a modular smart camera constructed with the use of an FPGA like main processing board. The core of the camera is an Altera Cyclone-III associated with a CMOS imager and six private Ram blocks. The main novel feature of our work consists in proposing a new smart camera architecture and several modules (IP) to efficiently extract and sort the visual features in real time. In this paper, extraction is performed by a Harris and Stephen filtering associated with customized modules. These modules extract, select and sort visual features in real-time. As a result, DreamCam (with such a configuration) provides a description of each visual feature in the form of its position and the grey-level template around it.
Flexible bow-tie antennas

The Flexible Display Center (FDC) at Arizona State University (ASU) was founded in 2004 as a partnership between academia, industry, and government to collaborate on the development of a new generation of innovative displays and electronic circuits that are flexible, lightweight, low power, and rugged . Due to the increasing need for flexible and lightweight electronic systems, FDC aims to develop materials and structural platforms that allow flexible backplane electronics to be integrated with display components that are economical for mass-production . Currently, FDC is focusing on the incorporation of antenna structures, which can function cooperatively with the other flexible circuit elements. Design of flexible antennas, as a part of flexible electronic circuits, may have a very wide spectrum of applications in military and civilian wireless communication, which can allow people to wear antenna structures instead of carry them. Hence, flexible and fluidic antennas have a great potential . In this paper, the design, fabrication, simulation and measurements of a bow-tie antenna with a flexible substrate is discussed. The antenna is modeled and simulated with Ansoft HFSS, and the simulations are compared with measurements performed in the Electromagnetic Anechoic Chamber (EMAC) at ASU.
THE ARCHITECTURAL DESIGN OF VIRTUAL ENVIRONMENTS

The paper discusses the use of precedents from architecture, urban design and film to propose guidelines for the improvement of navigation and wayfinding in virtual environments. 1. Virtual Environments The predominant use, so far, of virtual reality technology in relation to architecture, has been as a means of visually simulating architectural designs. In this respect, virtual reality may be considered as the ultimate medium for producing representations of architectural designs, as it is the only technology capable of simulating the experience of being and moving within a designed environment, prior to its construction. This paper, however, is concerned with how architectural design may contribute to the design of virtual environments themselves. More specifically, it refers to the problem of designing virtual environments from the point of view of enhancing the users’ spatial awareness and, consequently, aiding the task of navigation and wayfinding within virtual environments. The need for addressing this issue is evident in the number of virtual environments which are not very efficient in orientating their operators (and are usually aesthetically displeasing as well). This study has been carried out in relation to a particular class of virtual environment.  (1993, p.12), classified virtual environments in terms of the represented level of realism. They defined: • Hyper-realities, which aim at representing the material world and reflecting its complexity and in which the creative design element is often limited to modeling interaction with the user. • Selective realities, which are simplified representations of the material world and where some aspects of the environment are distorted or transformed and others are accurately represented. • Abstractions, where the virtual environment represents a very complex material world information or information that has no physical representation. In this case, the designer must conceive an effective abstraction of the complex information (which implies a transformation of meaning of what is being represented) and make this understood and responsive for the operator.  of data sets
What makes us click "like" on Facebook? Examining psychological, technological, and motivational factors on virtual endorsement

This study examines motives for virtually endorsing others on social media, focusing on the Facebook “like” function. Motives are studied in terms of Uses and Gratifications, Theory of Reasoned Action, and personality and technology factors. Data from an online survey of 213 respondents were examined using factorand hierarchical-regression analyses. Findings showed enjoyment and interpersonal relationship as most salient motives. Two types of user profiles emerged. Those with higher self-esteem, more diligence, more