70 Hits in 2.6 sec

A decision algorithm for linear sentences on a PFM

Lian Li, Huilin Li, Yixun Liu
1993 Annals of Pure and Applied Logic  
Liu, A decision algorithm for linear sentences on a PFM, Annals of Pure and Applied Logic 59 (1993) 273-286.  ...  Acknowledgements We would like to thank Professor Zhao Ying for his helpful discussions, and the referee for many useful suggestions.  ...  In this paper, we present an algorithm which decides the truth for linear sentences on a given PFM, and we discuss its time complexity.  ... 
doi:10.1016/0168-0072(93)90097-w fatcat:acbwkcgzzfelrhpxpvcq2ozbri

Page 4288 of Mathematical Reviews Vol. , Issue 94h [page]

1994 Mathematical Reviews  
sentences on a PFM.  ...  The authors present an algorithm for the following decision prob- lem. One is given a presentation of a finitely generated module M over a p.i.d.  ... 

Page 5278 of Mathematical Reviews Vol. , Issue 93j [page]

1993 Mathematical Reviews  
are complemented (257-272); Lian Li, Huilin Li [Hui Ling Li] and Yi Xun Liu, A decision algorithm for linear sentences on a PFM (273-286).  ...  Let F,(a) be Fz-1 U(% \-F(a)). Finally, the set F, of true sentences consists of .7,_; together with all sentences of .%, that belong to F,(a) for all subsets a of .%,.  ... 

Organization of the Human Inferior Parietal Lobule Based on Receptor Architectonics

Svenja Caspers, Axel Schleicher, Mareike Bacha-Trams, Nicola Palomero-Gallagher, Katrin Amunts, Karl Zilles
2012 Cerebral Cortex  
Comparison with other cortical areas showed strong similarities with Broca's region for all 3 groups, with the superior parietal cortex for the middle, and with extrastriate visual areas for the caudal  ...  A hierarchical cluster analysis of the receptor balance revealed a tripartite segregation of the IPL into a rostral, middle, and caudal group.  ...  for Mental Health in an Aging Society (HelMA to K.A. and K.Z.); and the German Ministry for Education and Research (01GW0771 and 01GW0623 to K.A.).  ... 
doi:10.1093/cercor/bhs048 pmid:22375016 pmcid:PMC3563340 fatcat:c4wzzivobfhmjd5ybnpiobsbwq

PGST: a Polyglot Gender Style Transfer method [article]

Reza Khanmohammadi, Seyed Abolghasem Mirroshandel
2021 arXiv   pre-print
We have proceeded with a pre-trained word embedding for token replacement purposes, a character-based token classifier for gender exchange purposes, and a beam search algorithm for extracting the most  ...  Since different approaches are introduced in our research, we determine a trade-off value for evaluating different models' success in faking our gender identification model with transferred text.  ...  probability of making a wrong decision (rejecting the hypothesis).  ... 
arXiv:2009.01040v2 fatcat:wnwwsafmkrbbzhhhyjbi3gbhdu

Master Index to Volumes 51–60

1993 Annals of Pure and Applied Logic  
., A decision algorithm for linear sentences on a PFM LI, H., see LI, L.  ...  ., SCEDROV, A. and SHANKAR, N., Decision problems for propositional linear logic LINCOLN, P., SCEDROV, A. and SHANKAR, N., Linearizing intuitionistic implication LIU, Y., see LI, L.  ... 
doi:10.1016/0168-0072(93)90081-n fatcat:izewemprtbcm3gozu2y4c4roia

Support vector machine parameter tuning based on particle swarm optimization metaheuristic

Konstantinas Korovkinas, Paulius Danėnas, Gintautas Garšva
2020 Nonlinear Analysis: Modelling and Control  
This paper introduces a method for linear support vector machine parameter tuning based on particle swarm optimization metaheuristic, which is used to find the best cost (penalty) parameter for a linear  ...  They indicate that the proposed method can improve classification performance for a sentiment recognition task.  ...  We need to understand the whole context of the sentence because even a single word can change the polarity of a sentence, and this might have a significant impact on particular domains, such as medicine  ... 
doi:10.15388/namc.2020.25.16517 fatcat:qd3qy4wcizb75cyrw6hdwqe55e

The Language–Number Interface in the Brain: A Complex Parametric Study of Quantifiers and Quantities

Stefan Heim, Katrin Amunts, Dan Drai, Simon B. Eickhoff, Sarah Hautvast, Yosef Grodzinsky
2012 Frontiers in Evolutionary Neuroscience  
We used complex stimuli: images depicting a proportion between quantities of blue and yellow circles were coupled with sentences containing quantifiers that described them (e.g., "most/few of the circles  ...  The neural bases for numerosity and language are of perennial interest. In monkeys, neural separation of numerical Estimation and numerical Comparison has been demonstrated.  ...  ., one for each quantifier. 1. At the first level, an event-related general linear model (GLM) analysis was performed.  ... 
doi:10.3389/fnevo.2012.00004 pmid:22470338 pmcid:PMC3309293 fatcat:xiywzfh3xvc5velako5ochloja

Identifying Banking Transaction Descriptions via Support Vector Machine Short-Text Classification Based on a Specialized Labelled Corpus

Silvia Garcia-Mendez, Milagros Fernandez-Gavilanes, Jonathan Juncal-Martinez, Francisco J. Gonzalez-Castano, Oscar Barba Seara
2020 IEEE Access  
In this article we describe a novel system that combines Natural Language Processing techniques with Machine Learning algorithms to classify banking transaction descriptions for personal finance management  ...  We trained and tested that system on a labelled dataset with real customer transactions that will be available to other researchers on request.  ...  standard SVM algorithm for modelling and prediction.  ... 
doi:10.1109/access.2020.2983584 fatcat:wnkm5ifimffzjnr6nuj4wlqnea

Mobile Information System of English Teaching Ability Based on Big Data Fuzzy K-Means Clustering

Yanfei Miao
2021 Mobile Information Systems  
The combination of large-scale data information fusion and K-means clustering algorithms provides indexing and integration of index parameters for language interpreting skills.  ...  On this basis, the corresponding allocation scheme of teaching resources is formulated to realize the assessment of language interpretation skills.  ...  Acknowledgments is work was supported by Youth Project of Education Department of Liaoning Province "Research on the Online and Offline Blended English Teaching at Art Colleges" (no. WQ201908).  ... 
doi:10.1155/2021/9375664 doaj:72eb051cec6840d39624c19dd8f4d5fe fatcat:6dalltaubndzpbcic4psobafru

Fusion methods for boosting performance of speaker identification systems

Gregory Ditzler, James Ethridge, Ravi P. Ramachandran, Robi Polikar
2010 2010 IEEE Asia Pacific Conference on Circuits and Systems  
Second, the classifier must take the features that have been extracted from a sentence and label them as corresponding to one of the enrolled speakers.  ...  There may be information present in one feature that other features do not have.  ...  The order of the linear prediction polynomial was set to 12 for all trials. A VQ codebook of size 64 [11] was designed for each speaker in the database using the LBG algorithm [12] .  ... 
doi:10.1109/apccas.2010.5774964 dblp:conf/apccas/DitzlerERP10 fatcat:qvgqkja53rbszd2dusfx6tyste

Gau� and Beyond: The Making of Easter Algorithms

Reinhold Bien
2004 Archive for History of Exact Sciences  
Just for illustration, the reader may search for terms such as Gregorian calendar, date of Easter, or Easter algorithm.  ...  I am grateful to Noel Swerdlow for communicating my paper and to Henk Bos for his careful editing and his valuable suggestions.  ...  In column 4 pfm -21, the number of days after the earliest Paschal Full Moon, is expressed as a linear combination of 11 and 19.  ... 
doi:10.1007/s00407-004-0078-5 fatcat:yivbfz5wrza4pha7i5vuuv4q7e

The Functional Connectome of Speech Control

Stefan Fuertinger, Barry Horwitz, Kristina Simonyan, Katrin M. C. Amunts
2015 PLoS Biology  
connectivity depending on task content, resulting in a distinct community structure of each examined network.  ...  Among these, neuroimaging research installed the notion that speech and language require an orchestration of brain regions for comprehension, planning, and integration of a heard sound with a spoken word  ...  Acknowledgments We thank Stephen Leong for his help with network visualization and Fatima Husain, PhD, for providing pure tone stimuli. Author Contributions  ... 
doi:10.1371/journal.pbio.1002209 pmid:26204475 pmcid:PMC4512708 fatcat:23s4gakw45cbnkjyk5uosgywxy

Functional Heterogeneity of Inferior Parietal Cortex during Mathematical Cognition Assessed with Cytoarchitectonic Probability Maps

S. S. Wu, T. T. Chang, A. Majid, S. Caspers, S. B. Eickhoff, V. Menon
2009 Cerebral Cortex  
Our findings suggest a close link between IPC structure and function and they provide new evidence for behaviorally salient functional heterogeneity within the IPC during mathematical cognition.  ...  Compared with the more difficult MA-R task, the MA-A task showed greater responses in both AG areas, but this effect was driven by less deactivation in the MA-A task.  ...  Notes We thank Sonia Crottaz-Herbette for assistance with data acquisition and Valorie Salimpoor for assistance with data analysis.  ... 
doi:10.1093/cercor/bhp063 pmid:19406903 pmcid:PMC2774395 fatcat:7rntez5avvfcvjsajrmcekhp2a

End-to-End Extraction of Family History Information from Clinical Notes Using Deep Learning and Heuristics (Preprint)

João Figueira Silva, João Rafael Almeida, Sérgio Matos
2020 JMIR Medical Informatics  
This study extends a previous contribution for the 2019 track on family history extraction from national natural language processing clinical challenges by improving a previously developed rule-based engine  ...  For the second task, the original evaluator was adjusted to perform a more exact evaluation than the original one, and the hybrid system obtained F1 scores of 0.6480 and 0.5082 in the training and test  ...  Multimedia Appendix 1 Detailed results for all deep learning model configurations tested in this work.  ... 
doi:10.2196/22898 pmid:33372893 fatcat:jp6ifgucang6ricqfjavijiixy
« Previous Showing results 1 — 15 out of 70 results