Filters








35,256 Hits in 3.6 sec

Beta-Shifts, Their Languages, and Computability

Jakob Grue Simonsen
2009 Theory of Computing Systems  
We prove that the language of the β-shift is recursive iff β is a computable real number.  ...  That fact yields a precise characterization of the reals: The real numbers β for which we can compute arbitrarily good approximations-hence in particular the numbers for which we can compute their expansion  ...  For subrecursive classes of sets and their realizability as the languages of β-shifts, the attention has so far focused on the Chomsky hierarchy (hence on regular, context-free and context-sensitive languages  ... 
doi:10.1007/s00224-009-9245-z fatcat:kyown6tq7fgnvdyxdryzhbggxu

Computability of topological pressure on compact shift spaces beyond finite type [article]

Michael Burr, Suddhasattwa Das, Christian Wolf, Yun Yang
2021 arXiv   pre-print
In particular, we prove the computability of the topological pressure for all continuous potentials on S-gap shifts, generalized gap shifts, and particular Beta-shifts.  ...  This question has recently been studied for subshifts of finite type (SFTs) and their factors (Sofic shifts).  ...  Acknowledgement The authors thank Ethan Akin and Benjamin Steinberg for helpful discussions about uniquely representable coded shifts.  ... 
arXiv:2010.14686v3 fatcat:mlmmv7xf4nesnkplqwpnidxcwm

Page 29 of The Cornell Engineer Vol. 33, Issue 6 [page]

1968 The Cornell Engineer  
Bionics and Robots Presently Professor Block and Professor Herbert Ginsburg of Child Development are planning to investigate the possibility of teach- ing languages to computers, Their approach to this  ...  Because today’s computers are particularly fallible at tests of context and meaning, they cannot use natural languages where one word has sev- eral meanings and grammatical functions.  ... 

Workers and Machine Performance Modeling in Manufacturing System Using Arena Simulation

2015 Journal of computer science and systems biology  
This paper deals with the workers and machine performance measurements in manufacturing system.  ...  In modeling this system, an ARENA simulation model was developed, verified, and validated to determine the daily production and potential problem areas for the various request levels in the case company  ...  Model verification Verification assesses the correctness of the formal representation of the intended model, by inspecting computer code and test runs, and performing consistency checks on their statistics  ... 
doi:10.4172/jcsb.1000187 fatcat:uyub3jnk4nbf5ak5gjyqq3vfna

bfit: A Python Application For Beta-Detected NMR

Derek Fujimoto
2021 Journal of Open Source Software  
Beta-detected nuclear magnetic resonance (β-NMR) measures the beta-decay of probe radioactive nuclei to infer the electromagnetic character of the probe's local environment.  ...  The bfit package provides a graphical user interface (GUI) and application programming interface (API) to facilitate the analysis of implanted-ion β-NMR measurements taken at TRIUMF.  ...  Acknowledgements The author would like to thank the members of the β-NMR group at TRIUMF for their useful input and feedback. In particular, discussions with R. M. L.  ... 
doi:10.21105/joss.03598 fatcat:zn4tuyjchza7ngr5vlqyd5s2t4

Page 197 of The Canadian Review of Sociology Vol. 13, Issue 2 [page]

1976 The Canadian Review of Sociology  
The shifts for this and the other two minority groups were quite as dramatic.  ...  Preference for cultural uniformity and socio- political authoritarianism by education The relationship between PCU and SPA was computed for each linguistic-religious subsam- ple.  ... 

Intel's Array Building Blocks: A retargetable, dynamic compiler and embedded language

Chris J. Newburn, Byoungro So, Zhenying Liu, Michael McCool, Anwar Ghuloum, Stefanus Du Toit, Zhi Gang Wang, Zhao Hui Du, Yongjian Chen, Gansha Wu, Peng Guo, Zhanglin Liu (+1 others)
2011 International Symposium on Code Generation and Optimization (CGO 2011)  
This work makes contributions in language features, compiler architecture, code transformations and optimizations.  ...  However, hardware architectures and vector ISAs are also shifting and diversifying quickly, making it difficult for a single binary to run well on all possible targets.  ...  But we can fuse shift with _for loops when the loop induction variable is used as the shift distance, since we can analyze the shift direction and know the maximum shift amount and therefore will be able  ... 
doi:10.1109/cgo.2011.5764690 dblp:conf/cgo/NewburnSLMGTWDCWGLZ11 fatcat:aodwas7x6vh6njsxxdotbdzkhe

Beta synchrony for expressive language lateralizes to right hemisphere in development

Vivek V Sharma, Jennifer Vannest, Hansel M Greiner, Hisako Fujiwara, Jeffrey R Tenney, Brady J Williamson, Darren S Kadis
2021 Scientific Reports  
Further, while low-beta ERD for expressive language has been found to gradually shift from bilateral in childhood to left hemispheric by early adulthood, developmental lateralization of ERS has not been  ...  neuronal firing and metabolic demand during language production.  ...  and Stroke (NINDS) of the National Institutes of Health (NIH), under award number R21NS106631 (PIs: DSK/HMG).  ... 
doi:10.1038/s41598-021-83373-z pmid:33597643 pmcid:PMC7889886 fatcat:zajr6st5ofhz5jsh4pz73su7je

Oscillatory and structural signatures of language plasticity in brain tumor patients: A longitudinal study

Lucia Amoruso, Shuang Geng, Nicola Molinaro, Polina Timofeeva, Sandra Gisbert-Muñoz, Santiago Gil-Robles, Iñigo Pomposo, Ileana Quiñones, Manuel Carreiras
2020 Human Brain Mapping  
By doing so, they provide valuable information for mapping preoperative and postoperative neural reshaping and plan surgical strategies to preserve language function and patient's quality of life.  ...  Results showed segregated beta (13-28 Hz) power decreases in left ventral and dorsal pathways, in a time-window associated to lexico-semantic processing (~250-500 ms).  ...  Furthermore, by showing white matter changes and their link to the rightward shift in beta laterality following tumor resection, they suggest that structure and function work concertedly in supporting  ... 
doi:10.1002/hbm.25328 pmid:33368838 pmcid:PMC7978121 fatcat:45zpus3xynhfrg5ok6loaxia4y

From brain noise to syntactic structures: A formal proposal within the oscillatory rhythms perspective [article]

Mirko Grimaldi
2017 bioRxiv   pre-print
The main rhythms involved in language and speech processing are examined: i.e. theta, alpha, beta, and gamma bands.  ...  The neurobiology investigation of language seems limited by the impossibility to link directly linguistic computations with neural computations.  ...  Acknowledgments I thank Andrea Calabrese, Paolo Lorusso, Alec Marantz, Elliot Murphy, Leonardo Savoia for their comments on previous versions of the manuscript.  ... 
doi:10.1101/171702 fatcat:far3md6b6be5ddlsg22mpgb7ru

Axiomatizing Subtyped Delimited Continuations

Marek Materzok, Marc Herbstritt
2013 Annual Conference for Computer Science Logic  
This is displayed by the following reduction rules: The language has also the standard beta and eta reductions.  ...  We present direct equational axiomatizations of the call-by-value lambda calculus with the control operators shift 0 and reset 0 that generalize Danvy and Filinski's shift and reset in that they allow  ...  Many thanks to Dariusz Biernacki, Maciej Piróg and the anonymous referees for their valuable comments.  ... 
doi:10.4230/lipics.csl.2013.521 dblp:conf/csl/Materzok13 fatcat:gjyjrt4rszarbbuqqypd2i54qa

Neuropsychological analysis of auditory verbal hallucinations

Robert J. Thoma, Poone Haghani Tehrani, Jessica A. Turner, Jon Houck, Rose Bigelow, Vincent P. Clark, Ronald A. Yeo, Vince Calhoun, Julia Stephen
2018 Schizophrenia Research  
Intellectual ability and executive functioning, considered as covariates, were not significant predictors and their inclusion in regression analyses did not affect the pattern of results.  ...  To extend this research, it was hypothesized that AVH severity would be related only to measures within the language domain and the test battery was augmented with the [CTOPP2 and COWAT...define?]  ...  Acknowledgments We thank Juan Bustillo, MD and Jeff Lewine, Ph.D. for their support and guidance on this project.  ... 
doi:10.1016/j.schres.2017.03.044 pmid:28461117 pmcid:PMC5788735 fatcat:lsja62t6rjaizgdsa3gzb3bjqe

Optimization of the Address Field Compilation in the ILLIAC 2 Assembler

C. W. Gear
1964 Computer journal  
This paper describes how the assembly program, now being written for the new University of Illinois digital computer ILLIAC 2, optimizes the computation and compilation of the address field.  ...  The compilation is necessary because the address field may contain general expressions which involve the contents of modifiers (index registers) and are therefore only computable at execution time rather  ...  and figure-shift are common to "letters" and "figures," so complying with different makers' limitations.  ... 
doi:10.1093/comjnl/6.4.332 fatcat:7ybgbb4fbbgubljpg42e5z4fnm

Extending a sentiment lexicon with synonym–antonym datasets: SWNetTR++

Fatih SAĞLAM, Burkay GENÇ, Hayri SEVER
2019 Turkish Journal of Electrical Engineering and Computer Sciences  
The extension was done by transferring the problem into the graph domain, where nodes are words, and edges are synonymantonym relations between words, and propagating the existing tone and polarity scores  ...  We tested the existing and new lexicons using a manually labeled Turkish news media corpus of 500 news texts.  ...  We hope to refine our approach further and to see if it applies to lexicons in other languages.  ... 
doi:10.3906/elk-1809-120 fatcat:ayq5c3dourerfllozkxqbhwety

Radar Trends to Watch - January 2022

Mohamed El-Hadi
2022 Compunet ( The Egyptian Information Journal )  
We've seen a lot of exciting developments, including the (beta) release of APIs to GPT-3; new language models from Google, one of which is significantly smaller and more efficient than most large language  ...  models; and new tools for documenting the biases of natural language datasets.  ...  at their computers.  ... 
doi:10.21608/jstc.2022.252007 fatcat:3a7kx66oujak7oocnqt7kznvni
« Previous Showing results 1 — 15 out of 35,256 results