Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

Search 250 million research papers

Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.

About 10,000 papers for “function extraction”

Function extraction

Magnus O. Myreen, Michael J. C. Gordon · Science of Computer Programming · 2010

Cited by 6

Extraction of function words.

Maryam Ebrahimpour (379421), Tālis J. Putniņš (379422), Matthew J. Berryman (379423) et al. · Figshare · 2015

<p>In this paper, our investigation uses up to 100 function words for the English corpus, the <i>Federalist Papers</i>, and the <i>Koine</i> Greek texts. The frequencies of function words in each text are used as classification features. The texts are initially pre-processed as follows: (i) all letters are changed to lower case, (ii) all accents are removed, (iii) all ASCII characters not in the set a-z (ASCII codes 97–122) and space (ASCII code 32) are removed without insertion of a space. This is with the exception of a hyphen (ASCII code 45) that is substituted with a space (ASCII code 32), (iv) all headings are removed from the texts, so that they only contain free flowing paragraphs, (v) any extra items added by modern editors, such as editorial notes are removed. Whilst hagiographers wrote the Greek texts in capital letters without accents or punctuation, modern editors insert these items for ease of interpretation. Thus, in order to recover the original Greek text, we apply steps (i) to (v). We do the same to English texts so that they act as a punctuation-free benchmark test. As our software only handles the reduced 27-character ASCII set a-z and space, the Greek text is transliterated using the <a href="http://www.plosone.org/article/info:doi/10.1371/journal.pone.0054998#pone-0054998-t008" target="_blank">Table 8</a>. After this pre-processing, all the texts within each corpus are concatenated and word frequencies are counted. Words are ranked in descending order of frequency of occurrence. This is shown in the table below. These key words are called <i>function words</i>.</p>

Cited by 0Open access

Hawthorn pectin: Extraction, function and utilization

Li Li, Xianli Gao, Jiguang Liu et al. · Current Research in Food Science · 2021

Pectin has been widely used as emulsifiers, gelling agents, glazing agents, stabilizers, and thickeners in food products. Hawthorn pectin has a higher viscosity than other foods-derived pectin such as lemon and apple pectin. It is also reported as a multifunctional fruit substance, which reduces the risk of hyperlipidemia and dyslipidemia. Therefore, hawthorn pectin is a potential resource for the development of new drugs, functional foods, and health-care products. This review symmetrically summarized the extraction methods, physiological characteristics, functional properties, and processing technologies of hawthorn pectin. It laid a foundation for the further research of hawthorn pectin and promoted the diversified utilization of hawthorn.

Cited by 58Open access

A Verified Implementation of Function Extraction

Veenendaal, Jason · University of Illinois Chicago · 2023

Functional programming languages have simpler semantics than imperative languages making verification much easier in comparison. Given this, it would be desirable to be able to take an imperative program and transform it into an equivalent functional program and then perform any analysis on the transformed program. In this thesis, we will both describe a method to transform an imperative program into a functional program as well as implement this method in Gallina/Coq. We then prove the correctness of this method by way of Hoare Logic. Specifically, we will demonstrate that the equivalent functional program forms a valid Hoare triple for the original imperative program. Thus, we will be able to reason about the functional program and apply the results to the imperative program.

Cited by 0Open access

Screenshot of the cross-extraction function.

Cheng-Hong Yang (14933), Li-Yeh Chuang (14936), Tsung-Mu Shih (235133) et al. · Figshare · 2015

<p>The main interface includes: (A) and (B) settings, (C) matrix data content for SAGE library list, and (D) and (E) visualization results. (A) and (B) The custom matrix file loader provides three functions, the matrix data upload, condition settings, and display settings. In the condition pool of the condition setting, common tags are chosen for all the conditions with “inclusion = Yes”. When the conditions are set to “inclusion = No”, the filtered SAGE tags are not included in the common tags. Therefore, both tissue-specific and common tumor markers can be mined (see details in the Result section). (D) Result contains the filtered SAGE tags, the gene expression level for each SAGE tag in each SAGE library, and the mapped gene symbols listed under correspondence 1 and 2 (right side of <a href="http://www.plosone.org/article/info:doi/10.1371/journal.pone.0014369#pone-0014369-g002" target="_blank">Figures 2D and 2E</a>). The expression level (TPM) is displayed as a color gradient, i.e., white means low level, red means high level, and gray means undetectable in the SAGE library. (E) The result contains the filtered SAGE tags, the gene expression fold (ratio of TPM of two libraries) within one pair of SAGE libraries (in the condition pool) for each SAGE tag. It also contains the mapped gene symbols.</p>

Cited by 0Open access

Faulty Function Extraction for Defective Circuits

Chris Nigh, Ruben Purdy, Wei Li et al. · 2024

It is well-known that understanding the behavior of silicon failures is an essential step in yield learning. It is also becoming more important for producing high-quality silicon due to the increasing number of defects detected fortuitously. In order to meet this need, a new approach for extracting the precise faulty function from defective logic circuits is described. The approach is applied to nearly a 1,000 14nm failures and one use case of the results on improving ATPG is discussed.

Cited by 5

A Verified Implementation of Function Extraction

Veenendaal, Jason · University of Illinois Chicago · 2023

Functional programming languages have simpler semantics than imperative languages making verification much easier in comparison. Given this, it would be desirable to be able to take an imperative program and transform it into an equivalent functional program and then perform any analysis on the transformed program. In this thesis, we will both describe a method to transform an imperative program into a functional program as well as implement this method in Gallina/Coq. We then prove the correctness of this method by way of Hoare Logic. Specifically, we will demonstrate that the equivalent functional program forms a valid Hoare triple for the original imperative program. Thus, we will be able to reason about the functional program and apply the results to the imperative program.

Cited by 0Open access

Introducing function extraction into software testing

Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner · ACM SIGMIS Database the DATABASE for Advances in Information Systems · 2008

Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to determine the full functional behavior of programs under development, and even the most thorough testing can provide only partial knowledge of behaviors. Thus, effective scientific principles and engineering technology for revealing software behavior should have a positive impact on software testing. This paper describes the emerging technology of function extraction (FX) for computing the behavior of programs to the maximum extent possible with mathematical precision. We explore how the use of FX technologies can transform methods for functional verification of software. An example illustrates the value of full behavior knowledge for complete and confident assessment of software function and fitness for use. We conclude by describing a transition strategy for introducing FX technology into the development and operation of software systems.

Cited by 16

Feature Identification and Extraction in Function Fields

Ken Museth, Torsten Möller, Anders Ynnerman (editors et al. · 2014

We present interactive techniques for identifying and extracting features in function fields. Function fields map points in n-dimensional Euclidean space to 1-dimensional scalar functions. Visual feature identification is ac-complished by interactively rendering scalar distance fields, constructed by applying a function-space distance metric over the function field. Combining visual exploration with feature extraction queries, formulated as a set of function-space constraints, facilitates quantitative analysis and annotation. Numerous application domains give rise to function fields. We present results for two-dimensional hyperspectral images, and a simulated time-varying, three-dimensional air quality dataset.

Cited by 0

Rule-extraction from radial basis function networks

Kenneth McGarry · 1999

Radial basis neural (RBF) networks provide an excellent solution to many pattern recognition and classification problems. However, RBF networks are also a local representation technique that enables the easy conversion of the hidden units into symbolic rules. This paper examines rules extracted from RBF networks. We use the iris flower classification task and a vibration diagnosis classification task to illustrate the new knowledge extraction techniques. The rules are analyzed in order to gain knowledge and insight into the network representations. We argue that the local Gaussian representation in RBF networks is particularly useful for rule extraction.

Cited by 29

Modulation Transfer Function Extraction and Parametric Effects

Kamil B. Alıcı · SHILAP Revista de lepidopterología · 2024

We compute the optical transfer function and corresponding satellite image estimate in order to test validity of our modulation transfer function (MTF) extraction algorithms. The test targets allow MTF computation by using slanted edge and sine wave star patterns. Comparison of extracted MTFs with the input ones yields 0.013% mean squared error for the slanted edge method and less error for the sine wave star method. Various factors affect the extracted MTF results such as slanted edge angle, noise level, image restoration level, region of interest selection and oversampling factor. We investigated effect of each factor on the MTF extraction performance.

Cited by 0Open access