A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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
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. ...
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 .%,. ...
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
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
., 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
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
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
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
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
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  was designed for each speaker in the database using the LBG algorithm  . ...doi:10.1109/apccas.2010.5774964 dblp:conf/apccas/DitzlerERP10 fatcat:qvgqkja53rbszd2dusfx6tyste
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
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
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
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