|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 991 occurrences of 756 keywords
|
|
|
Results
Found 2579 publication records. Showing 2507 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Douglas S. Bridges |
Constructing local optima on a compact interval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 46(2), pp. 149-154, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Neil Vachharajani, Ram Rangan, Easwaran Raman, Matthew J. Bridges, Guilherme Ottoni, David I. August |
Speculative Decoupled Software Pipelining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), Brasov, Romania, September 15-19, 2007, pp. 49-59, 2007, IEEE Computer Society, 0-7695-2944-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Matthew J. Bridges, Neil Vachharajani, Yun Zhang 0005, Thomas B. Jablin, David I. August |
Revisiting the Sequential Programming Model for Multi-Core. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-40 2007), 1-5 December 2007, Chicago, Illinois, USA, pp. 69-84, 2007, IEEE Computer Society, 0-7695-3047-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Wenbin Zhu, Patrick G. Bridges, Arthur B. Maccabe |
Embedded Gossip: Lightweight Online Measurement for Large-Scale Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), June 25-29, 2007, Toronto, Ontario, Canada, pp. 58, 2007, IEEE Computer Society, 0-7695-2837-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Tanya Vladimirova, Xiaofeng Wu 0001, Abdul-Halim M. Jallad, Christopher P. Bridges |
Distributed Computing in Reconfigurable Picosatellite Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), August 5-8, 2007, University of Edinburgh, Scotland, United Kingdom, pp. 682-692, 2007, IEEE Computer Society, 0-7695-2866-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Tanya Vladimirova, Christopher P. Bridges, George Prassinos, Xiaofeng Wu 0001, Kawsu Sidibeh, David Barnhart, Abdul-Halim M. Jallad, Jean R. Paul, Vaios Lappas, Adam Baker, Kevin Maynard, Rodger Magness |
Characterising Wireless Sensor Motes for Space Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), August 5-8, 2007, University of Edinburgh, Scotland, United Kingdom, pp. 43-50, 2007, IEEE Computer Society, 0-7695-2866-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mote kits, wireless COTS protocols, distributed space systems, satellites, Wireless sensor nodes |
22 | Mahmood Hossain, Susan Bridges, Yong Wang, Julia E. Hodges |
Extracting Partitional Clusters from Heterogeneous Datasets using Mutual Entropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2007, 13-15 August 2007, Las Vegas, Nevada, USA, pp. 447-454, 2007, IEEE Systems, Man, and Cybernetics Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges |
Colocatedness and Lebesgue Integrability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 98-104, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Robert Howard, Edward W. Tunstel, Dane Elliott-Lewis, Horace Bussey, Jasmine Bridges, Chritianna Taylor |
Mobile Surface Systems in a Moonbase System of Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 2nd IEEE International Conference on System of Systems Engineering, SoSE 2007, San Antonio, TX, USA, 16-18 April 2007, pp. 1-6, 2007, IEEE, 1-4244-1159-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Guilherme Ottoni, Ram Rangan, Adam Stoler, Matthew J. Bridges, David I. August |
From sequential programs to concurrent threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 5(1), pp. 6-9, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Sharman Bridges Smith |
Observations of Ground Zero: From the Outside. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Libr. Q. ![In: Public Libr. Q. 25(3-4), pp. 151-157, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Josef Berger, Douglas S. Bridges, Peter Schuster 0001 |
The fan theorem and unique existence of maxima. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 71(2), pp. 713-720, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Michael Ellims, James Bridges, Darrel C. Ince |
The Economics of Unit Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(1), pp. 5-31, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Software testing, Unit testing, Test effectiveness, Adequacy criteria |
22 | Douglas S. Bridges, Hannes Diener |
A constructive treatment of Urysohn's Lemma in an apartness space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 52(5), pp. 464-469, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Craig Bridges, K. R. Rajagopal |
Pulsatile Flow of a Chemically-Reacting Nonlinear Fluid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 52(6-7), pp. 1131-1144, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Robin Havea, Peter Schuster 0001 |
Ideals in constructive Banach algebra theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 22(6), pp. 729-737, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Simona Vîta |
Pre-apartness structures on spaces of functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 22(6), pp. 881-893, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Joseph F. Horn, Derek O. Bridges, Daniel A. Wachspress, Sarma L. Rani |
Implementation of a Free-Vortex Wake Model in Real-Time Simulation of Rotorcraft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Aerosp. Comput. Inf. Commun. ![In: J. Aerosp. Comput. Inf. Commun. 3(3), pp. 93-107, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Jean-Charles Tournier, Patrick G. Bridges, Arthur B. Maccabe, Patrick M. Widener, Zaid Abudayyeh, Ron Brightwell, Rolf Riesen, Trammell Hudson |
Towards a framework for dedicated operating systems development in high-end computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 40(2), pp. 16-21, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Patrick G. Bridges, Arthur B. Maccabe, Orran Krieger |
System software for high end computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 40(2), pp. 6-7, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Josef Berger, Douglas S. Bridges |
A Bizarre Property Equivalent to the Pi10-Fan Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(6), pp. 867-871, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Manjunath Gorentla Venkata, Patrick G. Bridges |
MPI/CTP: A Reconfigurable MPI for HPC Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings, pp. 96-104, 2006, Springer, 3-540-39110-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Miguel E. Figueroa, Esteban Matamala, Gonzalo Carvajal, Seth Bridges |
Adaptive Signal Processing in Mixed-Signal VLSI with Anti-Hebbian Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2-3 March 2006, Karlsruhe, Germany, pp. 133-140, 2006, IEEE Computer Society, 0-7695-2533-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Bolei Guo, Youfeng Wu, Cheng Wang 0013, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani, Jonathan Chang, David I. August |
Selective Runtime Memory Disambiguation in a Dynamic Binary Translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings, pp. 65-79, 2006, Springer, 3-540-33050-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Galen M. Shipman, Timothy S. Woodall, Richard L. Graham, Arthur B. Maccabe, Patrick G. Bridges |
Infiniband scalability in Open MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August |
A framework for unrestricted whole-program optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 61-71, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation |
22 | Matthew J. Bridges, Neil Vachharajani, Guilherme Ottoni, David I. August |
Automatic instruction scheduler retargeting by reverse-engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 228-238, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
automatic retargeting, structural hazard, compilers, reverse-engineering, instruction scheduling |
22 | Alireza Motieifar, Zahra Allahgholi Pour, Greg E. Bridges, Cyrus Shafai, Lotfollah Shafai |
An Ultra Wideband (UWB) Mixer with 0.18µm RF CMOS Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 697-700, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Gonzalo Carvajal, Miguel E. Figueroa, Seth Bridges |
Effects of Analog-VLSI Hardware on the Performance of the LMS Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2006, 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part I, pp. 963-973, 2006, Springer, 3-540-38625-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Mahmood Hossain, Susan M. Bridges, Yong Wang, Julia E. Hodges |
An ensemble approach for generating partitional clusters from multiple cluster hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2006 IEEE International Conference on Granular Computing, GrC 2006, Atlanta, Georgia, USA, May 10-12, 2006, pp. 666-670, 2006, IEEE, 1-4244-0134-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | German Florez, Zhen Liu, Susan M. Bridges, Anthony Skjellum, Rayford B. Vaughn |
Lightweight monitoring of MPI programs in real time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 17(13), pp. 1547-1578, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Dave Bridges, Marie E. Fraser, Greg B. G. Moorhead |
Cyclic nucleotide binding proteins in the Arabidopsis thaliana and Oryza sativa genomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 6, pp. 6, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Joseph F. Horn, Derek O. Bridges, Leonard V. Lopes, Kenneth S. Brentner |
Development of a Low-Cost, Multi-Disciplinary Rotorcraft Simulation Facility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Aerosp. Comput. Inf. Commun. ![In: J. Aerosp. Comput. Inf. Commun. 2(7), pp. 267-284, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001, Luminita Vîta |
Strong continuity implies uniform sequential continuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(7), pp. 887-895, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | David S. Vogel, Steffen Bickel, Peter Haider, Rolf Schimpfky, Peter Siemen, Steve Bridges, Tobias Scheffer |
Classifying search engine queries using the web as background knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGKDD Explor. ![In: SIGKDD Explor. 7(2), pp. 117-122, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges |
A Weak Constructive Sequential Compactness Property and the Fan Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 13(2), pp. 151-158, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Vîta |
The constructive uniqueness of the locally convex topology on rn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From sets and types to topology and analysis ![In: From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics., 2005, Oxford University Press, 978-0-19-856651-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Errett Bishop, Douglas S. Bridges |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From sets and types to topology and analysis ![In: From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics., 2005, Oxford University Press, 978-0-19-856651-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Douglas S. Bridges, Robin Havea |
Approximations to the numerical range of an element of a Banach algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From sets and types to topology and analysis ![In: From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics., 2005, Oxford University Press, 978-0-19-856651-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001, Luminita Vîta |
Compactness in apartness spaces? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Representation ![In: Spatial Representation: Discrete vs. Continuous Computational Models, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Zhen Liu, Susan M. Bridges, Rayford B. Vaughn |
Combining Static Analysis and Dynamic Learning to Build Accurate Intrusion Detection Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIA ![In: Proceedings of the 3rd IEEE International Workshop on Information Assurance (IWIA 2005), 23-24 March 2005, College Park, MD, USA, pp. 164-177, 2005, IEEE Computer Society, 0-7695-2317-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Bolei Guo, Matthew J. Bridges, Spyridon Triantafyllis, Guilherme Ottoni, Easwaran Raman, David I. August |
Practical and Accurate Low-Level Pointer Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 20-23 March 2005, San Jose, CA, USA, pp. 291-302, 2005, IEEE Computer Society, 0-7695-2298-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Vîta |
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan, pp. 77-89, 2005, FernUniversität Hagen, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Douglas S. Bridges, Robin Havea, Peter Schuster 0001 |
Ideals in Constructive Banach Algebra Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan, pp. 65-75, 2005, FernUniversität Hagen, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Vîta |
Proximal Connectedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan, pp. 91-101, 2005, FernUniversität Hagen, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Seth Bridges, Miguel E. Figueroa, David Hsu, Chris Diorio |
A reconfigurable VLSI learning array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSCIRC ![In: Proceedings of the 31st European Solid-State Circuits Conference, ESSCIRC 2005, Grenoble, France, 12-16 September 2005, pp. 117-120, 2005, IEEE, 0-7803-9205-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | German Florez-Larrahondo, Susan Bridges, Eric A. Hansen |
Incremental Estimation of Discrete Hidden Markov Models Based on a New Backward Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, pp. 758-763, 2005, AAAI Press / The MIT Press, 1-57735-236-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | German Florez-Larrahondo, Susan M. Bridges, Rayford B. Vaughn |
Efficient Modeling of Discrete Events for Anomaly Detection Using Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings, pp. 506-514, 2005, Springer, 3-540-29001-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Zhen Liu, Susan M. Bridges |
Dynamic Learning of Automata from the Call Stack Log for Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 1, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 774-779, 2005, IEEE Computer Society, 0-7695-2315-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Wenbin Zhu, Patrick G. Bridges, Arthur B. Maccabe |
Online Critical Path Profiling for Parallel Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26 - 30, 2005, Boston, Massachusetts, USA, pp. 1-9, 2005, IEEE Computer Society, 0-7803-9485-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Miguel E. Figueroa, Seth Bridges, David Hsu, Chris Diorio |
A 19.2 GOPS mixed-signal filter with floating-gate adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Solid State Circuits ![In: IEEE J. Solid State Circuits 39(7), pp. 1196-1201, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Vîta |
A General Constructive Proof Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: Proceedings of the 6th Workshop on Computability and Complexity in Analysis, CCA 2004, Wittenberg, Germany, August 16-20, 2004, pp. 31-43, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Vîta |
Corrigendum to "A proof - technique in uniform space theory". ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 69(1), pp. 328, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges |
Constructive complements of unions of two closed sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 50(3), pp. 293-294, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges |
First steps in constructive game theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 50(4-5), pp. 501-506, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | German Florez, Zhen Liu, Susan Bridges, Rayford B. Vaughn, Anthony Skjellum |
Detecting Anomalies in High-Performance Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Inf. Manag. ![In: J. Digit. Inf. Manag. 2(2), pp. 44-47, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Ambareen Siraj, Rayford B. Vaughn, Susan M. Bridges |
Decision Making For Network Health Assessment In An Intelligent Intrusion Detection System Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Technol. Decis. Mak. ![In: Int. J. Inf. Technol. Decis. Mak. 3(2), pp. 281-306, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Fiona E. Laine-Pearson, Thomas J. Bridges |
Nonlinear Counterpropagating Waves, Multisymplectic Geometry, and the Instability of Standing Waves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 64(6), pp. 2096-2120, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Mitchell Metzger, K. Robert Bridges |
Spectacles, Distinctiveness, and Face Recognition: A Web-Based Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyberpsychology Behav. Soc. Netw. ![In: Cyberpsychology Behav. Soc. Netw. 7(1), pp. 113-117, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Kambiz Rahimi, Seth Bridges, Chris Diorio |
Timing Correction and Optimization with Adaptive Delay Sequential Element. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 1416, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Neil Vachharajani, Matthew J. Bridges, Jonathan Chang, Ram Rangan, Guilherme Ottoni, Jason A. Blome, George A. Reis, Manish Vachharajani, David I. August |
RIFLE: An Architectural Framework for User-Centric Information-Flow Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 4-8 December 2004, Portland, OR, USA, pp. 243-254, 2004, IEEE Computer Society, 0-7695-2126-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Patrick G. Bridges, Arthur B. Maccabe |
IMPuLSE: integrated monitoring and profiling for large-scale environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCR ![In: Proceedings of the 7th Workshop on languages, compilers, and run-time support for scalable systems, LCR '04, Houston, Texas, USA, October 22-23, 2004, pp. 9:1-9:5, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Michael Ellims, James Bridges, Darrel C. Ince |
Unit Testing in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 3-13, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Ambareen Siraj, Rayford B. Vaughn, Susan Bridges |
Intrusion Sensor Data Fusion in an Intelligent Intrusion Detection System Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Miguel E. Figueroa, Seth Bridges, Chris Diorio |
On-Chip Compensation of Device-Mismatch Effects in Analog VLSI Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 17 [Neural Information Processing Systems, NIPS 2004, December 13-18, 2004, Vancouver, British Columbia, Canada], pp. 441-448, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | German Florez, Zhen Liu, Susan Bridges, Rayford B. Vaughn, Anthony Skjellum |
Detecting Anomalies in High-Performance Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Conference on Information Technology: Coding and Computing (ITCC'04), Volume 2, April 5-7, 2004, Las Vegas, Nevada, USA, pp. 30-34, 2004, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Vîta |
Strong and Uniform Continuity - the Uniform Space Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 326-334, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Vîta |
A proof-technique in uniform space theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 68(3), pp. 795-802, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Luminita Vîta, Douglas S. Bridges |
A constructive theory of point-set nearness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 305(1-3), pp. 473-489, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Vîta |
Apartness spaces as a framework for constructive topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 119(1-3), pp. 61-83, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Zhen Liu, Susan M. Bridges, Rayford B. Vaughn |
Classification of anomalous traces of privileged and parallel programs by neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: The 12th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2003, St. Louis, Missouri, USA, 25-28 May 2003, pp. 1225-1230, 2003, IEEE, 0-7803-7810-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Miguel E. Figueroa, Seth Bridges, David Hsu, Chris Diorio |
A 19.2GOPS, 20mW adaptive FIR filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSCIRC ![In: ESSCIRC 2003 - 29th European Solid-State Circuits Conference, Estoril, Portugal, September 16-18, 2003, pp. 509-512, 2003, IEEE, 0-7803-7995-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Mahmood Hossain, Susan M. Bridges, Rayford B. Vaughn Jr. |
Adaptive intrusion detection with data mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003, pp. 3097-3103, 2003, IEEE, 0-7803-7952-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Ron Brightwell, Rolf Riesen, Keith D. Underwood, Trammell Hudson, Patrick G. Bridges, Arthur B. Maccabe |
A Performance Comparison of Linux and a Lightweight Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2003 IEEE International Conference on Cluster Computing (CLUSTER 2003), 1-4 December 2003, Kowloon, Hong Kong, China, pp. 251-258, 2003, IEEE Computer Society, 0-7695-2066-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Thomas J. Bridges, Gianne Derks |
Linear Instability of Solitary Wave Solutions of the Kawahara Equation and Its Generalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Math. Anal. ![In: SIAM J. Math. Anal. 33(6), pp. 1356-1378, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Edoardo S. Biagioni, K. W. Bridges |
The Application of Remote Sensor Technology To Assist the Recovery of Rare and Endangered Species. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Comput. Appl. ![In: Int. J. High Perform. Comput. Appl. 16(3), pp. 315-324, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Peter Schuster 0001, Luminita Vîta |
Apartness, Topology, and Uniformity: a Constructive View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 48(S1), pp. 16-28, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Nicholas Dudley Ward |
Kernels of seminorms in constructive analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 284(2), pp. 259-267, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Leanne Allen, Thomas J. Bridges |
Numerical exterior algebra and the compound matrix method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 92(2), pp. 197-232, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges |
Reality and Virtual Reality in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 78, pp. 221-230, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
22 | Seth Bridges, Miguel E. Figueroa, David Hsu, Chris Diorio |
Field-Programmable Learning Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, NIPS 2002, December 9-14, 2002, Vancouver, British Columbia, Canada], pp. 1155-1162, 2002, MIT Press, 0-262-02550-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
22 | David Hsu, Seth Bridges, Miguel E. Figueroa, Chris Diorio |
Adaptive Quantization and Density Estimation in Silicon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, NIPS 2002, December 9-14, 2002, Vancouver, British Columbia, Canada], pp. 1083-1090, 2002, MIT Press, 0-262-02550-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
22 | Dixie Hisley, Matthew J. Bridges, Lori L. Pollock |
Static Interprocedural Slicing of Shared Memory Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 2, pp. 658-664, 2002, CSREA Press, 1-892512-88-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
22 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001 |
Compactness and Continuity, Constructively Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 89-102, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Julia E. Hodges, Susan Bridges, Charles Sparrow, Govinda Weerakkody, Bo Tang 0001, Chen Jun, Jason Luo |
Assessing the Performance of a Waste Characterization Expert System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Artif. Intell. ![In: Appl. Artif. Intell. 15(4), pp. 385-396, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Ayan Mahalanobis |
Bounded Variation Implies Regulated: A Constructive Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 66(4), pp. 1695-1700, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Robin Havea |
A Constructive Version of the Spectral Mapping Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 47(3), pp. 299-304, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Vîta |
Characterising Near Continuity Constructively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 47(4), pp. 535-538, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Ayan Mahalanobis |
Increasing, Nondecreasing, and Virtually Continuous Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 6(2), pp. 139-143, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | K. Krieg, Douglas J. Thomson, Gregory E. Bridges |
Electrical probing of deep sub-micron integrated circuits using scanning probes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 41(8), pp. 1185-1191, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Jianxiong Luo, Susan Bridges, Rayford B. Vaugham |
Fuzzy Frequent Episodes for Real-time Intrusion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: Proceedings of the 10th IEEE International Conference on Fuzzy Systems, Melbourne, Australia, December 2-5, 2001, pp. 368-371, 2001, IEEE. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Peter Schuster 0001, Luminita Vîta, Douglas S. Bridges |
Apartness as a Relation Between Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 203-214, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges |
Dini's Theorem: A Constructive Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 69-80, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Patrick G. Bridges, Wen-Ke Chen, Matti A. Hiltunen, Richard D. Schlichting |
Supporting Coordinated Adaption in Networked Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotOS ![In: Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, May 20-23, 2001, Elmau/Oberbayern, Germany, pp. 162, 2001, IEEE Computer Society, 0-7695-1040-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Robin Havea |
A Constructive Analysis of a Proof that the Numerical Range is Convex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 191-206, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Jianxiong Luo, Susan Bridges |
Mining fuzzy association rules and fuzzy frequency episodes for intrusion detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 15(8), pp. 687-703, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Ayan Mahalanobis |
Sequential Continuity of Functions in Constructive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 46(1), pp. 139-143, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | John H. Hartman, Larry L. Peterson, Andy C. Bavier, Peter A. Bigot, Patrick G. Bridges, Allen Brady Montz, Rob Piltz, Todd A. Proebsting, Oliver Spatscheck |
Experiences building a communication-oriented JavaOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 30(10), pp. 1107-1126, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Bruce Wooley, Susan Bridges, Julia E. Hodges, Anthony Skjellum |
Scaling the Data Mining Step in Knowledge Discovery Using Oceanographic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Intelligent Problem Solving, Methodologies and Approaches, 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000, Proceedings, pp. 85-92, 2000, Springer, 3-540-67689-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Douglas S. Bridges, Luminita Dediu |
Weak-operator Continuity and the Existence Of Adjoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 45, pp. 203-206, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 2507 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|