|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1594 occurrences of 1131 keywords
|
|
|
Results
Found 8575 publication records. Showing 7493 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
82 | Christophe Lécuyer, David C. Brock |
Biographies. |
IEEE Ann. Hist. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Gordon Moore, semiconductor industry, silicon technology, silicon device manufacture, Fairchild Semiconductor, Shockley Semiconductor, microprocessor, integrated circuit, DRAM, personal computer, chemistry, Moore's law, Intel |
64 | René Penning de Vries |
EDA challenges in the converging application world. |
DATE |
2006 |
DBLP BibTeX RDF |
|
60 | Ethan Mollick |
Establishing Moore's Law. |
IEEE Ann. Hist. Comput. |
2006 |
DBLP DOI BibTeX RDF |
the computer industry, Gordon Moore, history of computing, Moore's law |
55 | Laurence E. LaForge, Kirk F. Korver, M. Sami Fadali |
What Designers of Bus and Network Architectures Should Know about Hypercubes. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
Hypercube fault tolerance, hypercube latency, Hamming graphs, K-cubes, Moore graphs, Moore Bound, C-cubes, performability, quorums, configuration architectures, Lee distance |
55 | William R. Bevier |
Kit: A Study in Operating System Verification. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
multitasking operating system kernel, machine language, uniprocessor von Neumann computer, conceptually distributed communicating processes, asynchronous devices, security-related results, supervisor mode, Boyer-Moore logic, Boyer-Moore theorem prover, verification, interface, message passing, theorem proving, program verification, operating systems (computers), multiprogramming, correctness proof, process scheduling, error handling, Kit |
52 | Rob Aitken, Jerry Bautista, Wojciech Maly, Jan M. Rabaey |
More Moore: foolish, feasible, or fundamentally different? |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Cédric Roux, Emmanuelle Encrenaz |
CTL May Be Ambiguous When Model Checking Moore Machines. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Takushi Hisakado, Tsuneto Nishimura, Kohshi Okumura |
Hardware implementation of Moore test on FPGA. |
ISCAS (1) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Yongming Li 0001, Witold Pedrycz |
The equivalence between fuzzy Mealy and fuzzy Moore machines. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Mealy machine, Fuzzy Moore machine, Fuzzy sequential-like machine, Lattice-ordered monoid, Equivalence |
46 | Joe F. Moore |
Creating Profit with Computers: My Life as CEO of Bonner & Moore Associates. |
IEEE Ann. Hist. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Harold W. Thimbleby |
Keynote Address: The Computer Science of Everyday Things. |
AUIC |
2001 |
DBLP DOI BibTeX RDF |
Programming user interfaces, User interfaces, Mobile phones, Environment, Moore's Law |
46 | William R. Bevier, Jørgen F. Søgaard-Andersen |
Mechanically Checked Proofs of Kernel Specification. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
mechanical proof checking, Boyer-Moore Theorem Prover, Kernel, labeled transition systems, safety properties, stepwise development |
43 | Walter Dosch, Wuttipong Ruanthong, Annette Stümpel |
From Stream Transformers to Moore State Transition Machines with Input and Output. |
SNPD |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Takashi Hisakado, Kohshi Okumura |
Moore test using Gray code. |
ISCAS (3) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Michael Sampels |
On Generalized Moore Digraphs. |
PPAM |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Shmuel Tomi Klein, Miri Ben-Nissan |
Accelerating Boyer Moore Searches on Binary Texts. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
Boyer-Moore, BDM, binary texts, compressed matching, pattern matching |
42 | A. Mutlu, Timothy Porter 0001 |
Iterated Peiffer Pairings in the Moore Complex of a Simplicial Group. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
Moore complex, Peiffer pairings, simplicial group |
42 | David M. Goldschlag |
Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity |
42 | Sun Yong-qiang, Lu Ru-zhan, Bi Hua |
Program synthesis based on Boyer-Moore theorem proving techniques. |
ACM Conference on Computer Science |
1985 |
DBLP DOI BibTeX RDF |
Boyer-Moore technique, program sysnthesis, theorem proving, resolution |
37 | Deming Chen |
Design Automation for Microelectronics. |
Handbook of Automation |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Gabriel Ciobanu, Sergiu Rudeanu |
Final and sequential behaviours of M-automata. |
Acta Informatica |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Yuebin Bai, Hidetsune Kobayashi |
New String Matching Technology for Network Security. |
AINA |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Valeri Solovjev |
Refined CPLD Macrocell Architecture for the Effective FSM Implementation. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Bruce W. Watson |
A New Regular Grammar Pattern Matching Algorithm. |
ESA |
1996 |
DBLP DOI BibTeX RDF |
|
37 | Raymond Kurzweil |
The Emergence of True Machine Intelligence in the Twenty-First Century (abstract). |
ACM Conference on Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
36 | David Alan Grier |
The Innovation Curve. |
Computer |
2006 |
DBLP DOI BibTeX RDF |
integrated circuits, Computing history, Moore's law |
36 | Han Kesong, Yongcheng Wang, Guilin Chen |
Research on a faster algorithm for pattern matching. |
IRAL |
2000 |
DBLP DOI BibTeX RDF |
Boyer-Moore algorithm, quick search algorithm, pattern matching, time complexity |
33 | Alize E. H. Scheenstra, Michael Muskulus, Marius Staring, Arn M. J. M. van den Maagdenberg, Sjoerd Verduyn Lunel, Johan H. C. Reiber, Louise van der Weerd, Jouke Dijkstra |
The 3D Moore-Rayleigh Test for the Quantitative Groupwise Comparison of MR Brain Images. |
IPMI |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Yang Wang |
A new method to obtain the shift-table in Boyer-Moore's string matching algorithm. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
33 | John Stanik |
A Conversation with Jeff Bonwick and Bill Moore. |
ACM Queue |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Norbert Seifert |
Extending Moore's Law into the next Decade - the SER Challenge. |
IOLTS |
2006 |
DBLP DOI BibTeX RDF |
|
33 | K. R. Sujith, Gurumurthi V. Ramanan |
Procrustes Analysis and Moore-Penrose Inverse Based Classifiers for Face Recognition. |
IWBRS |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Andreas Frommer, Bruno Lang, Marco Schnurr |
A Comparison of the Moore and Miranda Existence Tests. |
Computing |
2004 |
DBLP DOI BibTeX RDF |
AMS Subject Classification 47H10, 65G20, 65G40, 65H10 |
33 | Domenico Cantone, Simone Faro |
Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm. |
WEA |
2003 |
DBLP DOI BibTeX RDF |
string matching, text processing, experimental algorithms |
33 | Tim Bell 0001, Matt Powell, Amar Mukherjee, Donald A. Adjeroh |
Searching BWT Compressed Text with the Boyer-Moore Algorithm and Binary Search. |
DCC |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Jorma Tarhio, Esko Ukkonen |
Boyer-Moore Approach to Approximate String Matching (Extended Abstract). |
SWAT |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Alexandre Bronstein, Carolyn L. Talcott |
Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
33 | Helge Löding, Jan Peleska 0001 |
Timed Moore Automata: Test Data Generation and Model Checking. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
Timed Moore Automata, model checking, model-based testing, livelocks |
33 | Kaushik Roy 0001, Byunghoo Jung, Anand Raghunathan |
Integrated Systems in the More-than-Moore Era: Designing Low-Cost Energy-Efficient Systems Using Heterogeneous Components. |
VLSI Design |
2010 |
DBLP DOI BibTeX RDF |
Heterogeneous integrated systems, More than Moore, Low-power, Hybrid systems |
33 | |
Investigation on E-Commerce Based on Suffix Trees and Moore's Law. |
ESIAT (1) |
2009 |
DBLP DOI BibTeX RDF |
median popularity, E-Commerce, Suffix Trees, Moore's Law |
33 | Shane Greenstein |
Andy's acceleration and Moore's momentum. |
IEEE Micro |
2006 |
DBLP DOI BibTeX RDF |
business conditions, Moore's law, Intel, chips |
30 | Chong Cui, Hongxing Wang, Yimin Wei |
Perturbations of Moore-Penrose inverse and dual Moore-Penrose generalized inverse. |
J. Appl. Math. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Nick Zhang |
Moore's Law is dead, long live Moore's Law! |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Sven Leyffer, Stefan M. Wild, Mike Fagan, Marc Snir, Krishna V. Palem, Kazutomo Yoshii, Hal Finkel |
Doing Moore with Less - Leapfrogging Moore's Law with Inexactness for Supercomputing. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
30 | Nadine Collaert, AliReza Alian, Hiroaki Arimura, Geert Boccardi, Geert Eneman, Jacopo Franco, Tsvetan Ivanov, Dennis Lin, Jérôme Mitard, S. Ramesh, R. Rooyackers, Marc Schaekers, A. Sibaya-Hernandez, S. Sioncke, Quentin Smets, Abhitosh Vais, A. Vandooren, Anabela Veloso, Anne S. Verhulst, Devin Verreck, Niamh Waldron, Amey Walke, Liesbeth Witters, H. Yu, X. Zhou, Aaron Voon-Yew Thean |
Beyond-Si materials and devices for more Moore and more than Moore applications. |
ICICDT |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Natasha Dobrinen |
James Cummings and Ernest Schimmerling, editors. Lecture Note Series of the London Mathematical Society, vol. 406. Cambridge University Press, New York, xi + 419 pp. - Paul B. Larson, Peter Lumsdaine, and Yimu Yin. An introduction to Pmax forcing. pp. 5-23. - Simon Thomas and Scott Schneider. Countable Borel equivalence relations. pp. 25-62. - Ilijas Farah and Eric Wofsey. Set theory and operator algebras. pp. 63-119. - Justin Moore and David Milovich. A tutorial on set mapping reflection. pp. 121-144. - Vladimir G. Pestov and Aleksandra Kwiatkowska. An introduction to hyperlinear and sofic groups. pp. 145-185. - Itay Neeman and Spencer Unger. Aronszajn trees and the SCH. pp. 187-206. - Todd Eisworth, Justin Tatch Moore, and David Milovich. Iterated forcing and the Continuum Hypothesis. pp. 207-244. - Moti Gitik and Spencer Unger. Short extender forcing. pp. 245-263. - Alexander S. Kechris and Robin D. Tucker-Drob. The complexity of classification problems in ergodic theory. pp. 265-299. - Menachem Magidor and Chris Lambie-Hanson. On the strengths and weaknesses of weak squares. pp. 301-330. - Boban Veličković and Giorgio Venturi. Proper forcing remastered. pp. 331-362. - Asger ToÖrnquist and Martino Lupini. Set theory and von Neumann algebras. pp. 363-396. - W. Hugh Woodin, Jacob Davis, and Daniel RodrÍguez. The HOD dichotomy. pp. 397-419. |
Bull. Symb. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Andy Heinig, Manfred Dietrich, Andreas Herkersdorf, Felix Miller, Thomas Wild, Kai Hahn, Armin Grünewald, Rainer Brück 0001, Steffen Krohnert, Jochen Reisinger |
System integration - The bridge between More than Moore and More Moore. |
DATE |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Dirk Wristers |
Complex trade-offs - Enablement of moore and more than moore. |
ICICDT |
2013 |
DBLP DOI BibTeX RDF |
|
30 | John P. Kent, Jagdish Prasad |
Microelectronics for the real world: "Moore" versus "More than Moore". |
CICC |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Alvin Loke, Jordan Lai |
Session 15 - IC Technology - more Moore and more than Moore. |
CICC |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Herbert Fleischner |
On the Equivalence of Mealy-Type and Moore-Type Automata and a Relation between Reducibility and Moore-Reducibility. |
J. Comput. Syst. Sci. |
1977 |
DBLP DOI BibTeX RDF |
|
30 | R. Albrecht, E. Vistschnig |
ALGOL-Prozeduren zu den modifizierten Algorithmen nach Minty und Moore ALGOL-Procedures to the Modified Algorithms According to Minty and Moore. |
Computing |
1969 |
DBLP DOI BibTeX RDF |
|
28 | Justin Tatch Moore |
Justin Tatch Moore. |
Am. Math. Mon. |
2014 |
DBLP DOI BibTeX RDF |
|
28 | David A. Sunderland, Kazuyuki Kawauchi, John Kent, Randy Mooney, Chuck Moore, Clark T.-C. Nguyen |
Session 10 - Panel discussion Sure, Moore's Law can continue, but should it. |
CICC |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Adam Ouorou |
A proximal cutting plane method using Chebychev center for nonsmooth convex optimization. |
Math. Program. |
2009 |
DBLP DOI BibTeX RDF |
Proximal bundle methods, Convex programming, Nonsmooth optimization, Subgradient, Cutting plane methods |
28 | Yang Wang |
Effects of Suffix Repetition Rates of a String on the Performance of String Matching Algorithms. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Lei Chen, Shiyong Lu, Jeffrey L. Ram |
Compressed Pattern Matching in DNA Sequences. |
CSB |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Hugo de Garis, Jonathan Dinerstein, Ravichandra Sriram |
Reversible Evolvable Networks: A Reversible Evolvable Boolean Network Architecture and Methodology to Overcome the Heat Generation Problem in Molecular Scale Brain Building. |
Evolvable Hardware |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Alan Holt |
Do disk drives dream of buffer cache hits? |
Ethics in Computer Age |
1994 |
DBLP DOI BibTeX RDF |
duty, performance, Unix, ethics |
27 | Pingkang Li, Taotao Jin, Xiuxia Du |
Simple recursive algorithm for linear-in-theparameters nonlinear model identification. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
linear-in-the-parameters models, NARX, Moore-Penrose inverse, RBF, nonlinear dynamic system |
27 | Søren Debois |
Imperative-program transformation by instrumented-interpreter specialization. |
High. Order Symb. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Interpretive approach, Moore automata, Program transformation, Partial evaluation, Code duplication |
27 | Hun-Hee Lee, Myung-Sun Baek, Hyoung-Kyu Song |
Adaptive detection scheme in accordance with channel condition for MIMO-OFDM system. |
MOBIWAC |
2008 |
DBLP DOI BibTeX RDF |
moore-penrose pseudo-inverse matrix, post snr, qrd-m, mimo |
27 | Anil Deshpande |
Verification of IP-Core Based SoC's. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
Verification, SoC, Moore's Law |
27 | Scott Sigman |
Engaging students in formal language theory and theory of computation. |
SIGCSE |
2007 |
DBLP DOI BibTeX RDF |
Moore method, problem based learning, theory of computation, formal language theory, inquiry learning, discovery learning |
27 | Ales Pultr, Anna Tozzi |
Some Categorical Aspects of Information Systems and Domains. |
Appl. Categorical Struct. |
2006 |
DBLP DOI BibTeX RDF |
Kleisli and Eilenberg-Moore categories of a monad, information systems, completion, domains |
27 | C. Richard G. Helps |
Instructional design theory provides insights into evolving information technology technical curricula. |
SIGITE Conference |
2006 |
DBLP DOI BibTeX RDF |
instructional design theory, technology evolution, UML, learning theory, curriculum design, Moore's law |
27 | Chigusa Kita |
Events and Sightings. |
IEEE Ann. Hist. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Chemical Heritage Foundation, Gordon Moore, Computer Conservation Society, IEEE History Center, Jack Kilby, George B. Dantzig, Eiichi Goto, oral histories |
27 | Richard S. Bird |
Polymorphic string matching. |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
boyer-moore, knuth-morris-pratt, functional programming, string matching, program calculation |
27 | Yoshihiko Futamura, Zenjiro Konishi, Robert Glück |
Automatic generation of efficient string matching algorithms by generalized partial computation. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
Boyer-Moore pattern matcher, Knuth-Morris-Pratt pattern matcher, naive pattern matcher, automatic program generation |
27 | Marco Grandis, John MacDonald |
Homotopy Structures for Algebras over a Monad. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
abstract homotopy, equivariant homotopy, fibrewise homotopy, homotopy (co)-limits, (co)cylinder, cubical objects, Eilenberg-Moore algebras, slice categories, monads, homotopy |
27 | Ralf Kemper |
p-Banach Spaces and p-Totally Convex Spaces. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
p-Banach space, p-normed vector space, (p-) totally (resp. (p-) absolutely) convex space, congruence relation, Eilenberg-Moore category, monad |
27 | B. Chester Hwang |
Trends of Key Advanced Device Technologies. |
ARVLSI |
1997 |
DBLP DOI BibTeX RDF |
SIA roadmap, Sematech, TFSOI, graded-channel CMOS, complementary IC technology, 0.25 micron, CMOS integrated circuits, CMOS technology, Moore's law, GaAs, Si |
27 | Sergio Antoy, John D. Gannon |
Using Term Rewriting to Verify Software. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction |
27 | Peter F. Corbett |
Rotator Graphs: An Efficient Topology for Point-to-Point Multiprocessor Networks. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
point-to-point multiprocessor networks, directed permutation graphs, Faber-Moore graphs, rotator graphs, one-step fault diagnosable, fault tolerant, topology, multiprocessor interconnection networks, directed graphs, Hamiltonian circuit, optimal routing algorithm |
27 | Robert S. Boyer, Yuan Yu |
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
Nqthm, Boyer-Moore Theorem Prover, Gnu, Ada, C, Automated reasoning, object code, formal program verification |
27 | Wolfgang Pölzleitner, Harry Wechsler |
Selective and Focused Invariant Recognition Using Distributed Associative Memories (DAM). |
IEEE Trans. Pattern Anal. Mach. Intell. |
1990 |
DBLP DOI BibTeX RDF |
2-D object recognition, Moore-Penrose distributed associative memory, association weights, computerised pattern recognition, computerised pattern recognition, selectivity, regression analysis, content addressable storage, content-addressable storage |
26 | Charles Moore, Shaswata Mitra, Nisha Pillai, Marc Moore, Sudip Mittal, Cindy L. Bethel, Jingdao Chen |
URA*: Uncertainty-aware Path Planning using Image-based Aerial-to-Ground Traversability Estimation for Off-road Environments. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Thomas J. Reese, Antonio Hernandez, Daniel Byrne, Lance Mailloux, Henry Domenico, Ryan Moore, Jessica Williams, Adam Wright, Jennifer Slayton, Sonya Moore, Brian Douthit, Allison B. McCoy, Catherine Ivory |
Pressure Injury Prevention: A Focused Care Approach Using Predictive Analytics. |
AMIA |
2022 |
DBLP BibTeX RDF |
|
26 | Shiwei Jin, Minh Vo, Chen Du, Harinath Garudadri, Allison Py, David J. Moore, Kristine M. Erlandson, Raeanne C. Moore, Truong Q. Nguyen |
Unsupervised Sequence Alignment between Video and Human Center of Pressure. |
EMBC |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Sébastien Besson, Roger Leigh, Melissa Linkert, Chris Allan, Jean-Marie Burel, Mark Carroll, David Gault, Riad Gozim, Simon Li, Dominik Lindner, Josh Moore, William J. Moore, Petr Walczysko, Frances Wong, Jason R. Swedlow |
Bringing Open Data to Whole Slide Imaging. |
ECDP |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Nicholas S. Moore, Brendan Reardon, Eric Kofman, Nathanael D. Moore, Eliezer M. Van Allen |
Expanding Accessibility of a Molecular Oncology Almanac for Precision Cancer Medicine. |
AMIA |
2019 |
DBLP BibTeX RDF |
|
26 | Andrew P. Moore, Tracy M. Cassidy, Michael C. Theis, Daniel Bauer, Denise M. Rousseau, Susan B. Moore |
Balancing Organizational Incentives to Counter Insider Threat. |
IEEE Symposium on Security and Privacy Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Emily Rose Holzinger, Shefali S. Verma, Carrie Colleen Buchanan Moore, Molly A. Hall, Rishika De, Diane Gilbert-Diamond, Matthew B. Lanktree, Nathan Pankratz, Antoinette Amuzu, Amber Burt, Caroline Dale, Scott M. Dudek, Clement E. Furlong, Tom R. Gaunt, Daniel Seung Kim, Helene Riess, Suthesh Sivapalaratnam, Vinicius Tragante, Erik P. A. van Iperen, Ariel Brautbar, David S. Carrell, David R. Crosslin, Gail P. Jarvik, Helena Kuivaniemi, Iftikhar J. Kullo, Eric B. Larson, Laura J. Rasmussen-Torvik, Gerard Tromp, Jens Baumert, Karen J. Cruickshanks, Martin Farrall, Aroon D. Hingorani, G. K. Hovingh, Marcus E. Kleber, Barbara E. Klein, Ronald Klein, Wolfgang Koenig, Leslie A. Lange, Winfried März, Kari E. North, N. Charlotte Onland-Moret, Alex P. Reiner, Philippa J. Talmud, Yvonne T. van der Schouw, James G. Wilson, Mika Kivimäki, Meena Kumari, Jason H. Moore, Fotios Drenos, Folkert W. Asselbergs, Brendan J. Keating, Marylyn D. Ritchie |
Discovery and replication of SNP-SNP interactions for quantitative lipid traits in over 60,000 individuals. |
BioData Min. |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Paul F. Brennan, Dewar D. Finlay, Mark S. Spence, Agnes Awuah, James McLaughlin 0001, Johnny Moore, Andrew Nesbit, Emanuele Trucco, Ruixuan Wang, Tara Moore |
Cardiac-gated Slit Lamp Videography as a Novel Approach to Assessing a Microcirculatory Network. (PDF / PS) |
CinC |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Rishika De, Shefali S. Verma, Fotios Drenos, Emily Rose Holzinger, Michael Holmes, Molly A. Hall, David R. Crosslin, David Carrell, Hakon Hakonarson, Gail P. Jarvik, Eric B. Larson, Jennifer A. Pacheco, Laura Rasmussen-Torvik, Carrie Moore, Folkert W. Asselbergs, Jason H. Moore, Marylyn D. Ritchie, Brendan Keating, Diane Gilbert-Diamond |
Identifying gene-gene interactions that are highly associated with Body Mass Index using Quantitative Multifactor Dimensionality Reduction (QMDR). |
BioData Min. |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Josh Moore, Melissa Linkert, Colin Blackburn, Mark Carroll, Richard K. Ferguson, Helen Flynn, Kenneth Gillen, Roger Leigh, Simon Li, Dominik Lindner, William J. Moore, Andrew J. Patterson, Blazej Pindelski, Balaji Ramalingam, Emil Rozbicki, Aleksandra Tarkowska, Petr Walczysko, Chris Allan, Jean-Marie Burel, Jason R. Swedlow |
OMERO and Bio-Formats 5: flexible access to large bioimaging datasets at scale. |
Medical Imaging: Image Processing |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Yury Audzevich, Philip M. Watts, Andrew West, Alan Mujumdar, Simon W. Moore, Andrew W. Moore 0002 |
Power Optimized Transceivers for Future Switched Networks. |
IEEE Trans. Very Large Scale Integr. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
26 | A. Theodore Markettos, Paul James Fox, Simon W. Moore, Andrew W. Moore 0002 |
Interconnect for commodity FPGA clusters: Standardized or customized? |
FPL |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Philip M. Watts, Simon W. Moore, Andrew W. Moore 0002 |
Energy Implications of Photonic Networks With Speculative Transmission. |
JOCN |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Kristin S. Moore, Joshua A. Gomer, Christopher C. Pagano, DeWayne Moore |
Perception of Robot Passability With Direct Line of Sight and Teleoperation. |
Hum. Factors |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Joan Condell, George Moore, John Moore |
Hand Motion Capture and Tracking in 3D Animation. |
TPCG |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Charlie Catlett, William E. Allcock, Phil Andrews, Ruth A. Aydt, Ray Bair, Natasha Balac, Bryan Banister, Trish Barker, Mark Bartelt, Peter H. Beckman, Francine Berman, Gary R. Bertoline, Alan Blatecky, Jay Boisseau, Jim Bottum, Sharon Brunett, Julian J. Bunn, Michelle Butler, David Carver, John Cobb, Tim Cockerill, Peter Couvares, Maytal Dahan, Diana Diehl, Thom H. Dunning, Ian T. Foster, Kelly P. Gaither, Dennis Gannon, Sebastien Goasguen, Michael Grobe, David L. Hart, Matt Heinzel, Chris Hempel, Wendy Huntoon, Joseph A. Insley, Christopher T. Jordan, Ivan R. Judson, Anke Kamrath, Nicholas T. Karonis, Carl Kesselman, Patricia A. Kovatch, Lex Lane, Scott A. Lathrop, Michael J. Levine, David Lifka, Lee Liming, Miron Livny, Rich Loft, Doru Marcusiu, Jim Marsteller, Stuart Martin, D. Scott McCaulay, John McGee, Laura McGinnis, Michael A. McRobbie, Paul Messina, Reagan W. Moore, Richard Lee Moore, John-Paul Navarro, Jeff Nichols, Michael E. Papka, Rob Pennington, Greg Pike, Jim Pool, Raghurama Reddy, Daniel A. Reed, Tony Rimovsky, Eric Roberts, Ralph Roskies, Sergiu Sanielevici, J. Ray Scott, Anurag Shankar, Mark Sheddon, Mike Showerman, Derek Simmel, Abe Singer, Dane Skow, Shava Smallen, Warren Smith, Carol X. Song, Rick L. Stevens, Craig A. Stewart, Robert B. Stock, Nathan Stone, John Towns, Tomislav Urban, Mike Vildibill, Edward Walker, Von Welch, Nancy Wilkins-Diehr, Roy Williams, Linda Winkler, Lan Zhao, Ann Zimmerman |
TeraGrid: Analysis of Organization, System Architecture, and Middleware Enabling New Types of Applications. |
High Performance Computing Workshop |
2006 |
DBLP BibTeX RDF |
|
26 | Joan V. Condell, George Moore, John Moore |
Software and Methods for Motion Capture and Tracking in Animation. |
CGVR |
2006 |
DBLP BibTeX RDF |
|
26 | Arun Jagatheesan, Jonathan Weinberg, Reena Mathew, Allen Ding, Erik Vandekieft, Daniel Moore, Reagan W. Moore, Lucas Gilbert, Mark Tran, Jeffrey Kuramoto |
Datagridflows: Managing Long-Run Processes on Datagrids. |
DMG |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Adrian Moore 0002, David Moore, James Mooney |
M2 Diffusion - The live diffusion of sound in space. |
ICMC |
2004 |
DBLP BibTeX RDF |
|
26 | Jonathan T. Moore, Jessica Kornblum Moore, Scott Nettles |
Predictable, Lightweight Management Agents. |
IWAN |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Micah Beck, Jack J. Dongarra, Graham E. Fagg, Al Geist, Paul Gray, James Arthur Kohl, Mauro Migliardi, Keith Moore, Terry Moore, Philip Papadopoulous |
HARNESS: a next generation distributed virtual machine. |
Future Gener. Comput. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Shekhar Borkar, Robert Cohn, George W. Cox, Thomas R. Gross, H. T. Kung 0001, Monica Lam 0001, Margie Levine, Brian Moore 0004, Wire Moore, Craig Peterson, Jim Susman, Jim Sutton, John Urbanski, Jon A. Webb |
Supporting Systolic and Memory Communciation in iWarp. |
ISCA |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Eric A. Brewer |
Technology for developing regions: Moore's law is not enough. |
ASPLOS |
2010 |
DBLP DOI BibTeX RDF |
it for development, developing regions, ictd |
24 | Diana Rodelo |
Directions for the Long Exact Cohomology Sequence in Moore Categories. |
Appl. Categorical Struct. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18D35, 18E10, 18G60, 20J06 |
Displaying result #1 - #100 of 7493 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|