Filters








16 Hits in 2.8 sec

Phase-spatial beamforming renders a visual brain computer interface capable of exploiting EEG electrode phase shifts in motion-onset target responses

Arno Libert, Benjamin Wittevrongel, Flavio Camarrone, Marc M. Van Hulle
2021 IEEE Transactions on Biomedical Engineering  
We propose a novel algorithm that exploits the phase-shift between EEG electrodes to improve target decoding performance.  ...  Brain-computer interfaces (BCIs) provide communication facilities that do not rely on the brains usual pathways.  ...  ACKNOWLEDGMENT We thank the Flemish Supercomputer Center (VSC) and the High-Performance Computing (HPC) center of the KU Leuven for allowing us to run our code (vsc32985, project llonpp).  ... 
doi:10.1109/tbme.2021.3136938 pmid:34932468 fatcat:af7kaxjprfexvgpid4seumro5e

Internet time synchronization: the network time protocol

D.L. Mills
1991 IEEE Transactions on Communications  
The servers can also redistribute time information within a network via local routing algorithms and time daemons.  ...  The synchronization subnet which has been in regular operation in the Internet for the last several years is described along with performance data which shows that timekeeping accuracy throughout most  ...  Since its performance did not seem to much improve for values of n above eight, this value was chosen for use in the reference implementation.  ... 
doi:10.1109/26.103043 fatcat:m33ca4zkyrerzhegv6osxwni54

The Origins of Spread-Spectrum Communications

R. Scholtz
1982 IEEE Transactions on Communications  
We would like to thank the following for their first-h&d recollections: P y l R.  ...  Approximate SS system time lines for several of the research groups tracked here are shown in Fig. 4 .  ...  The transmitter was located in Davis, CA, and the receiver in Deal, NJ, to provide an eastbound HF link for F9C tests.  ... 
doi:10.1109/tcom.1982.1095547 fatcat:dnq6cqgmvrf7baf2wtvmrevmn4

The Coq Proof Assistant, version 8.10.0 [article]

The Coq Development Team
2019 Zenodo  
It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.  ...  It is also the result of refinements and stabilization of previous features, deprecations or removals of deprecated features, cleanups of the internals of the system and API, and many documentation improvements  ...  The Coq Reference Manual, Release 8.10.0 See the file Nsatz.v for many examples, especially in geometry. Generalized rewriting  ... 
doi:10.5281/zenodo.3476303 fatcat:nq2hvuywmre3xmbaqly2xxt6za

CLARE: A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine [article]

Hiyan Alshawi, David Carter, Richard Crouch, Steve Pulman, Manny Rayner, Arnold Smith
1994 arXiv   pre-print
CLARE was designed as a natural language processing system with facilities for reasoning and understanding in context and for generating cooperative responses.  ...  The language components are application-independent and provide interfaces for the development of new types of application.  ...  We are grateful to the participants there for their comments, and to David Elworthy for providing both software and help.  ... 
arXiv:cmp-lg/9411002v1 fatcat:r3ayy7mtafe35e2tfcfjgfmy6e

Of keyboards and beyond - optimization in human-computer interaction [article]

Maximilian John, Universität Des Saarlandes, Universität Des Saarlandes
2020
The special nature of this national-scale project and its optimization ingredients are discussed in detail; we specifically highlight our algorithmic contribution to this project.  ...  Moreover, we propose a relaxation for the quadratic assignment problem (a generalization of keyboard layouts) that is based on semidefinite programming.  ...  ., we consider the metric TSP, then Christofides proposed a 3 2 -approximation algorithm [82] .  ... 
doi:10.22028/d291-30635 fatcat:zrptcmarifai7etzwhumiqskjm

Allotaxonometry and rank-turbulence divergence: A universal instrument for comparing complex systems [article]

P. S. Dodds, J. R. Minot, M. V. Arnold, T. Alshaabi, J. L. Adams, D. R. Dewhurst, T. J. Gray, M. R. Frank, A. J. Reagan, C. M. Danforth
2020 arXiv   pre-print
Here, we introduce 'allotaxonometry' along with 'rank-turbulence divergence', a tunable instrument for comparing any two (Zipfian) ranked lists of components.  ...  We explore the performance of rank-turbulence divergence for a series of distinct settings including: Language use on Twitter and in books, species abundance, baby name popularity, market capitalization  ...  ACKNOWLEDGMENTS The authors are grateful for support furnished by MassMutual and Google, and the computational facilities provided by the Vermont Advanced Computing Core.  ... 
arXiv:2002.09770v2 fatcat:dzgsweha55bwjhc7ax7hu7yy6m

Payments for environmental services as neoliberal market-based forest conservation in Vietnam: Panacea or problem?

Pamela D. McElwee
2012 Geoforum  
Finally, the article analyzes PES's potential for success or failure in tackling the underlying causes for forest degradation.  ...  (PES) as a win-win for both conservation and development objectives; Vietnam is now the first country in Southeast Asia with a national law on PES.  ...  Hoang Van Thang, for his support of this and other research projects over the past years. I would also like to thank Vu Thi Dieu Huong for serving as research assistant during this project.  ... 
doi:10.1016/j.geoforum.2011.04.010 fatcat:wpcy7vd2nza3pmccfizs3niepa

MIMO Relays for Increased Coverage and Capacity in Broadband Cellular Systems

Kevin Robert Jacobson
2010
A significant challenge for fourth generation cellular systems is the reliable delivery of high speed (up to 1 gigabit per second) data to mobile or nomadic users throughout a cluttered urban environment  ...  For this simulation, 60 • sectoring has been assumed. Numerous sets of random mobile locations have been generated and the four algorithms run on each set.  ...  Mesh mode, while the uncapitalized mesh refers to the more generic concept of mesh networks.  ... 
doi:10.7939/r3c01n fatcat:gzt33zkzrfg4xepkojx4vicn54

Computational methods for multi-criteria decision support in urban planning

Nils Christian Schüler
2018
Jessen Page for his contribution to acquire the initial funding for my thesis, for his support in the course of it, and for sharing his witty views on many things. I also want to thank Markus Peter.  ...  François Maréchal for the opportunity to work on the subjects of this thesis in his group.  ...  They are written with the same letters as the according sets but are uncapitalized. Set members Members of sets are also uncapitalized and further denoted by roman font.  ... 
doi:10.5075/epfl-thesis-8877 fatcat:47viurabkbbahdk7fke3hbko4q

Knowledge Representation and Reasoning

H J Levesque
1986 Annual Review of Computer Science  
The first chapter provides an overview and motivation for the whole area.  ...  c v aspects run the risk of not scaling up properly to account for human level competence.  ...  Thus a good algorithm for satisfiability c 70 (which Haken proved Resolution is not) would imply a good algorithm for all of these tasks.  ... 
doi:10.1146/annurev.cs.01.060186.001351 fatcat:zouzny4pgfgdjopiqsr6e3grcq

A gentle introduction to Haskell

Paul Hudak, Joseph H. Fasel
1992 SIGPLAN notices  
Special thanks to Erik Meijer for his extensive comments on the new material added for version 1.4 of this tutorial.  ...  Acknowledgements Thanks to Patricia Fasel and Mark Mundt at Los Alamos, and Nick Carriero, Charles Consel, Amir Kishon, Sandra Loosemore, Martin Odersky, and David Rochberg at Yale University for their  ...  approximation to definitional equality.  ... 
doi:10.1145/130697.130698 fatcat:qoqs7yy5vrbrdmgcrrekl4wv5i

Rab27a: ligand and interactome discovery for a secretory GTPase

Wenye Zhao, Edward Tate
2018
Peptide binders were also sought, and a dipeptide was identified as the first positive control for Rab27a with a kd of ~8 mM by SPR, and its affinity was improved by lactam bridging.  ...  The analysis workflow is discussed and critically analysed, offering many fruitful avenues for the future iterations of the protocol.  ...  [157] [158] [159] Its rise and spreading adoption rides upon advances in technology as well as the improvement of search algorithms and bioinformatic software.  ... 
doi:10.25560/57954 fatcat:vqc75caolvcrfn22i2uig4qwyu

REGULATION OF THE HEMATOPOIETIC SELF-RENEWAL AND LINEAGE CHOICE: ROLE OF PBX1 AND MICRO-RNAS [article]

LAURA CRISAFULLI
2014
The uncapitalized "mir" refers to the pre-miRNA, while a capitalized "miR-" refers to the mature form.  ...  For example, the pre-miRNAs mir-194-1 and mir-194-2 lead to an identical mature miRNA (miR-194) but are located in different genome regions.  ... 
doi:10.13130/crisafulli-laura_phd2014-01-24 fatcat:3sujpl5hyfe4hejsaxxvkgpc2m

ORGANIZING FOR SUSTAINABILITY [chapter]

2022 Handbook on the Business of Sustainability   unpublished
Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made.  ...  trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for  ...  We are determined to succeed for the sake of this planet and its inhabitants-for Europe's natural heritage, for biodiversity, for our forests and for our seas.  ... 
doi:10.4337/9781839105340.00008 fatcat:gicpyhu5qzh2xo4e573q4xgb64
« Previous Showing results 1 — 15 out of 16 results