A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Phase-spatial beamforming renders a visual brain computer interface capable of exploiting EEG electrode phase shifts in motion-onset target responses
2021
IEEE Transactions on Biomedical Engineering
Preserved Fulltext
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
1991
IEEE Transactions on Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1982
IEEE Transactions on Communications
Preserved Fulltext
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 application/pdf.
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]
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
1994
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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]
2020
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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?
2012
Geoforum
Preserved Fulltext
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 application/pdf.
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
2010
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
1986
Annual Review of Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
1992
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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