|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 296 occurrences of 224 keywords
|
|
|
Results
Found 1912 publication records. Showing 1596 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
49 | Larry Soulé, Anoop Gupta |
An Evaluation of the Chandy-Misra-Bryant Algorithm for Digital Logic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 1(4), pp. 308-347, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
MIPS R6000 |
49 | Kimberly Bryant, Sarah Guthals |
Plenary: Kimberly Bryant & Sarah Guthals in Conversation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, San Jose, CA, USA, May 7-12, 2016, Extended Abstracts, pp. 3909-3910, 2016, ACM, 978-1-4503-4082-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
49 | Stephanie Bryant, Feiyi Wang |
Stephanie Bryant and Feiyi Wang, Aspects of adaptive reconfiguration in a scalable intrusion tolerant system, Complexity (2004) 9(2)74-83. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 9(4), pp. 46, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Bevin Thomas, Syed Sajjad Rizvi, Khaled M. Elleithy |
Reducing null messages using grouping and status retrieval for a conservative discrete-event simulation system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
null message algorithm, discrete event simulation, parallel systems, conservative algorithms |
35 | Sandro Wefel, Paul Molitor |
Prove that a faulty multiplier is faulty!? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000, pp. 43-46, 2000, ACM, 1-58113-251-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Martin A. Goetz |
Organization and structure of data on disk file memory systems for efficient sorting and other data processing programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 6(5), pp. 245-248, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|
35 | Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur |
Revisiting Positive Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 1-15, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Zak Leonard, Samuel Bryant, Kartik Naik, Andrew Abney, Dillon Herbert, Hosam K. Fathy, Kenneth Granlund, Andre Mazzoleni, Matthew Bryant, Chris Vermillion |
Sensor Fusion Observer Design and Experimental Validation for an Underwater Kite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2022, Atlanta, GA, USA, June 8-10, 2022, pp. 3114-3119, 2022, IEEE, 978-1-6654-5196-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Samuel C. Maina, Reginald E. Bryant, William O. Ogallo, Kush R. Varshney, Skyler Speakman, Celia Cintas, Aisha Walcott-Bryant, Robert-Florian Samoilescu, Komminist Weldemariam |
Preservation of Anomalous Subgroups On Variational Autoencoder Transformed Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 2020 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2020, Barcelona, Spain, May 4-8, 2020, pp. 3627-3631, 2020, IEEE, 978-1-5090-6631-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Michiaki Tatsubori, Aisha Walcott-Bryant, Reginald E. Bryant, John Wamburu |
A Probabilistic Hough Transform for Opportunistic Crowd-sensing of Moving Traffic Obstacles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDM ![In: Proceedings of the 2018 SIAM International Conference on Data Mining, SDM 2018, May 3-5, 2018, San Diego Marriott Mission Valley, San Diego, CA, USA., pp. 207-215, 2018, SIAM, 978-1-61197-532-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | John Wamburu, David Kaguma, Michiaki Tatsubori, Aisha Walcott-Bryant, Reginald E. Bryant, Komminist Weldemariam |
Roaming Nairobi Roads: Instrumenting Roads under Resource Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILESoft@ICSE ![In: 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017, pp. 100-109, 2017, IEEE, 978-1-5386-2669-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Aisha Walcott-Bryant, Michiaki Tatsubori, Reginald E. Bryant, Erick Oduor, Samuel Omondi, Samuel Osebe, John Wamburu, Oliver Bent |
Harsh brakes at potholes in Nairobi: Context-based driver behavior in developing cities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016, Rio de Janeiro, Brazil, November 1-4, 2016, pp. 675-681, 2016, IEEE, 978-1-5090-1889-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Darshan Santani, Jidraph Njuguna, Tierra Bills, Aisha Walcott-Bryant, Reginald E. Bryant, Jonathan Ledgard, Daniel Gatica-Perez |
CommuniSense: Crowdsourcing Road Hazards in Nairobi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.07327, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
35 | Darshan Santani, Jidraph Njuguna, Tierra Bills, Aisha Walcott-Bryant, Reginald E. Bryant, Jonathan Ledgard, Daniel Gatica-Perez |
CommuniSense: Crowdsourcing Road Hazards in Nairobi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobileHCI ![In: Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2015, Copenhagen, Denmark, August 24-27, 2015, pp. 445-456, 2015, ACM, 978-1-4503-3652-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Andrew Kinai, Reginald E. Bryant, Aisha Walcott-Bryant, Eric Mibuari, Komminist Weldemariam, Osamuyimen Stewart |
Traffic 411: a traffic congestion routing and awareness platform for Nairobi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, pp. 1475-1476, 2014, ACM, 978-1-4503-2469-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Tierra Bills, Reginald E. Bryant, Aisha Walcott-Bryant |
Towards a frugal framework for monitoring road quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 17th International IEEE Conference on Intelligent Transportation Systems, ITSC 2014, Qingdao, China, October 8-11, 2014, pp. 3022-3027, 2014, IEEE, 978-1-4799-6078-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Andrew Kinai, Reginald E. Bryant, Aisha Walcott-Bryant, Eric Mibuari, Komminist Weldemariam, Osamuyimen Stewart |
Twende-twende: a mobile application for traffic congestion awareness and routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILESoft ![In: Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3, 2014, pp. 93-98, 2014, ACM, 978-1-4503-2878-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Jidraph Njuguna, Darshan Santani, Tierra Bills, Aisha Walcott-Bryant, Reginald E. Bryant |
Citizen Engagement and Awareness of the Road Surface Conditions in Nairobi, Kenya. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM DEV ![In: Proceedings of the Fifth ACM Symposium on Computing for Development, ACM DEV 2014, San Jose, CA, USA, December 5-6, 2014, pp. 115-116, 2014, ACM, 978-1-4503-2936-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Nicola Döring, Jennings Bryant, J. Alison Bryant |
Television and the American Family (2nd Edition). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Z. für Medienpsychologie ![In: Z. für Medienpsychologie 14(2), pp. 88-89, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Alan Bryant, Jack Bryant |
Following boundaries of discrete binary objects in space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 23(6), pp. 547-552, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
35 | Alan Bryant, Jack Bryant |
Recognizing shapes in planar binary images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 22(2), pp. 155-164, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
33 | Asad Waqar Malik, Shoab Ahmed Khan |
Distributed Autonomous System Based Design Technique to Enhance Synchronization Productivity in Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 119-123, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
chandy, Misra, Bryant, simulation, design, parallel, autonomous |
33 | Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary |
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Thirteenth Workshop on Parallel and Distributed Simulation, PADS '99, Atlanta, GA, USA, May 1-4, 1999, pp. 20-28, 1999, IEEE Computer Society, 0-7695-0155-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ATM network modeling, conservative PDES, optimistic PDES, Chandy-Misra-Bryant algorithm, time parallelism, Critical Channel Traversing algorithm, parallel simulation |
32 | Christiana N. Fogg, Ron Shamir, Diane E. Kovats |
2019 Outstanding Contributions to ISCB Awarded to Barb Bryant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 36(20), pp. 5126, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Xiu-Yun Wu, Fu-Gui Shi |
M-fuzzifying Bryant-Webster spaces and M-fuzzifying join spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 35(3), pp. 3807-3819, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Beate Bollig |
A simpler counterexample to a long-standing conjecture on the complexity of Bryant's apply algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 114(3), pp. 124-129, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Pauline Crystal Ng |
What Kobe Bryant and Britney Spears Have in Common: Mining Wikipedia for Characteristics of Notable Individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWSM ![In: Proceedings of the Sixth International Conference on Weblogs and Social Media, Dublin, Ireland, June 4-7, 2012, 2012, The AAAI Press. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
32 | Richard L. Baskerville |
Introduction to the Opinion Paper: Bryant's 'The future of information systems'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Inf. Syst. ![In: Eur. J. Inf. Syst. 17(6), pp. 694, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | |
Interview with Jennings Bryant, Professor of Communication at the University of Alabama. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Z. für Medienpsychologie ![In: Z. für Medienpsychologie 18(1), pp. 41-43, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Maurice Yolles |
Reply to Bryant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 53(12), pp. 1392-1395, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Sandra Normann |
nterview with Prof. Dr. Jennings Bryant, Professor of Communication and Director of the Institute for Communication Research (ICR), University of Alabama, Co-editor of the Journal Media Psychology and new President of the International Communication Association (ICA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Z. für Medienpsychologie ![In: Z. für Medienpsychologie 14(4), pp. 164-165, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Gary Fostel |
Book Reviews: Principles of Computer Systems by Gerald M. Karam & John C. Bryant: (Prentice Hall 1992). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGARCH Comput. Archit. News ![In: SIGARCH Comput. Archit. News 21(3), pp. 50-51, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
32 | Marc Abrams |
A common programming structure for Bryant-Chandy-Misra, time-warp, and sequential simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 21st Winter Simulation Conference, Washington, DC, USA, December 4-6, 1989, pp. 661-670, 1989, ACM Press, 0-911801-58-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
C++ |
32 | John Barber |
Bryant N 1988, John Wiley and Sons, Chichester. pp 214 Managing Expert Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Eng. Rev. ![In: Knowl. Eng. Rev. 3(1), pp. 93-94, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Herbert B. Landau |
The Evaluation of Information Services and Products. Donald W. King and Edward C. Bryant. Information Resources Press. Washington, DC 308 pp. Index. $15.00. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 24(1), pp. 74-75, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
17 | Matthew Canton |
The presence table: a reactive surface for ambient connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 5th International Conference on Tangible and Embedded Interaction 2011, Funchal, Madeira, Portugal, January 22-26, 2011, pp. 401-402, 2011, ACM, 978-1-4503-0478-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Guillaume Blin, Guillaume Fertin, Florian Sikora, Stéphane Vialette |
The ExemplarBreakpointDistancefor Non-trivial Genomes Cannot Be Approximated. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WALCOM ![In: WALCOM: Algorithms and Computation, Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings, pp. 357-368, 2009, Springer, 978-3-642-00201-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Richard M. Karp |
Streaming Algorithms for Selection and Approximate Sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 9-20, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Célia L. O. Kawabata, Regina Helena Carlucci Santana, Marcos José Santana, Sarita Mazzini Bruschi, Kalinka Regina Lucas Jaquie Castelo Branco |
Performance evaluation of a CMB protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1012-1019, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Rolf Drechsler |
On the sensitivity of BDDs with respect to path-related objective functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jianwen Zhu, Silvian Calman |
Context sensitive symbolic pointer analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(4), pp. 516-531, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Orly Meir, Ofer Strichman |
Yet Another Decision Procedure for Equality Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 307-320, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Veronika Ortner, Norbert Schirmer |
Verification of BDD Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings, pp. 261-277, 2005, Springer, 3-540-28372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Héctor Palacios, Hector Geffner |
Mapping Conformant Planning into SAT Through Compilation and Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers, pp. 311-320, 2005, Springer, 3-540-45914-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Chuan-Min Lee, Ling-Ju Hung, Maw-Shang Chang, Chuan Yi Tang |
An Improved Algorithm for the Maximum Agreement Subtree Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 19-21 March 2004, Taichung, Taiwan, pp. 533-536, 2004, IEEE Computer Society, 0-7695-2173-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
maximum agreement sub-tree, leaf-labelled tree, k-dimensional range search tree, k-dimensional binary search tree, Evolutionary tree |
17 | Jianwen Zhu, Silvian Calman |
Symbolic pointer analysis revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 145-157, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
binary decision diagrams, pointer analysis, call graph construction |
17 | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
Solving difficult instances of Boolean satisfiability in the presence of symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(9), pp. 1117-1137, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Peter J. Vassiliou |
Tangential Characteristic Symmetries and First Order Hyperbolic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(5), pp. 377-395, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Darboux integrability, Symmetry, Hyperbolic systems |
17 | Philipp Woelfel |
New Bounds on the OBDD-Size of Integer Multiplication via Universal Hashing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings, pp. 563-574, 2001, Springer, 3-540-41695-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard |
Satisfiability Checking Using Boolean Expression Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 39-51, 2001, Springer, 3-540-41865-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Elena Dubrova, Luca Macchiarulo |
A Comment on 'Graph-Based Algorithm for Boolean Function Manipulation'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(11), pp. 1290-1292, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
composition, Boolean function, Binary Decision Diagram |
17 | Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou 0001, Michel Langevin, Otmane Aït Mohamed |
Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(7), pp. 956-972, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Alois Ferscha |
Adaptive Time Warp Simulation of Timed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(2), pp. 237-257, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Adaptive distributed simulation, CS-2, CM-5.CR Categories and Subject Descriptors: 1) C.2 (Computer Communication Networks: distributed systems—distributed applications), 2) C.4 (Computer Systems Organization: performance of systems—modeling techniques) and 3) I.6.8 (Simulation and Modeling: types of simulation—distributed, parallel), Petri nets, optimism control, Time Warp |
17 | Chu-Cheow Lim, Yoke-Hean Low, Wentong Cai 0001 |
A Parallelism Analyzer Algorithm for a Conservative Super-Step Simulation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Parallelism analysis, conservative synchronous simulation protocol |
17 | Jean-Francis Michon, Jean-Marc Champarnaud |
Automata and Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers, pp. 178-182, 1998, Springer, 3-540-66652-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Roger Butenuth, Wolfgang Burke, Hans-Ulrich Heiss |
COSY: An Operating System for Highly Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 30(2), pp. 81-91, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Antoine Rauzy |
Toupie = µ-Calculus + Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 114-126, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Kiyoharu Hamaguchi, Akihito Morita, Shuzo Yajima |
Efficient construction of binary moment diagrams for verifying arithmetic circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 78-82, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
word-level verification, binary moment diagram, arithmetic circuit, design verification |
17 | John Harrison 0001 |
Binary Decision Diagrams as a HOL Derived Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings, pp. 254-268, 1994, Springer, 3-540-58450-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
Symbolic Model Checking for Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 632-651, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Ingo Wegener |
The Size of Reduced OBDDs and Optimal Read-once Branching Programs for Almost all Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993, Proceedings, pp. 252-263, 1993, Springer, 3-540-57899-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima |
Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990., pp. 52-57, 1990, IEEE Computer Society Press, 0-89791-363-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Rhonda Kay Gaede, Don E. Ross, M. Ray Mercer, Kenneth M. Butler |
CATAPULT: Concurrent Automatic Testing Allowing Parallelization and Using Limited Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 25th ACM/IEEE Conference on Design Automation, DAC '88, Anaheim, CA, USA, June 12-15, 1988., pp. 597-600, 1988, ACM. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
17 | J. D. Myers |
The background of INTERNIST I and QMR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Medical Informatics ![In: Proceedings of the ACM Conference on History of Medical Informatics, Bethesda, Maryland, USA, November 5-6, 1987, pp. 195-197, 1987, ACM, 0-89791-248-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Steven J. Friedman, Kenneth J. Supowit |
Finding the Optimal Variable Ordering for Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28 - July 1, 1987., pp. 358-356, 1987, IEEE Computer Society Press / ACM. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Derek L. Eager, Edward D. Lazowska, John Zahorjan |
A Comparison of Receiver-Initiated and Sender-Initiated Adaptive Load Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Austin, Texas, USA, August 26-29, 1985, pp. 1-3, 1985, ACM, 0-89791-169-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Edward H. Frank |
Switch-level simulation of VLSI using a special-purpose data-driven computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 735-738, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Ryan Godwin, Ayesha S. Bryant, Brant M. Wagener, Timothy J. Ness, Jennifer J. DeBerry, LaShun L. Horn, Shanna H. Graves, Ashley C. Archer, Ryan L. Melvin |
IRB-draft-generator: A generative AI tool to streamline the creation of institutional review board applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftwareX ![In: SoftwareX 25, pp. 101601, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson 0001, Derek Miller, Fan Mo, Dominic P. Mulligan, Nick Spinale, Eric Van Hensbergen, Hugo J. M. Vincent, Shale Xiong |
Private Delegated Computations Using Strong Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Emerg. Top. Comput. ![In: IEEE Trans. Emerg. Top. Comput. 12(1), pp. 386-398, January - March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Ruth Evans, Louise D. Bryant, Gregor Russell, Kate Absolom |
Trust and acceptability of data-driven clinical recommendations in everyday practice: A scoping review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Medical Informatics ![In: Int. J. Medical Informatics 183, pp. 105342, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Abhinav Natarajan, Willem van den Boom, Kristoforus Bryant Odang, Maria De Iorio |
On a wider class of prior distributions for graphical models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Probab. ![In: J. Appl. Probab. 61(1), pp. 230-243, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Henan Zhao, Garnett W. Bryant, Wesley Griffin, Judith E. Terrill, Jian Chen 0006 |
Evaluating Glyph Design for Showing Large-Magnitude-Range Quantum Spins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 30(4), pp. 1868-1884, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Christopher Davis, Andrew Caines, Øistein E. Andersen, Shiva Taslimipoor, Helen Yannakoudakis, Zheng Yuan 0003, Christopher Bryant 0001, Marek Rei, Paula Buttery |
Prompting open-source and commercial language models for grammatical error correction of English learner text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.07702, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Tatiana Bryant, Camille Thomas |
Black, Indigenous, and Faculty of Color Awareness of Open Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Coll. Res. Libr. ![In: Coll. Res. Libr. 85(1), 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Mahyar Abbasian, Elahe Khatibi, Iman Azimi, David Oniani, Zahra Shakeri Hossein Abad, Alexander Thieme, Ram Sriram, Zhongqi Yang, Yanshan Wang, Bryant Lin, Olivier Gevaert, Li-Jia Li, Ramesh C. Jain, Amir M. Rahmani |
Foundation metrics for evaluating effectiveness of healthcare conversations powered by generative AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
npj Digit. Medicine ![In: npj Digit. Medicine 7(1), 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Trung C. Phan, Adrian Pranata, Joshua Farragher, Adam L. Bryant, Hung T. Nguyen 0001, Rifai Chai |
Regression-Based Machine Learning for Predicting Lifting Movement Pattern Change in People with Low Back Pain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(4), pp. 1337, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Randal E. Bryant, Marijn J. H. Heule |
Generating Extended Resolution Proofs with a BDD-Based SAT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 24(4), pp. 31:1-31:28, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Steven Bryant |
Assessing GPT-4's role as a co-collaborator in scientific research: a case study analyzing Einstein's special theory of relativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discov. Artif. Intell. ![In: Discov. Artif. Intell. 3(1), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Xi Zhu, Yoojean Kim, Orren Ravid, Xiaofu He, Benjamin Suarez-Jimenez, Sigal Zilcha-Mano, Amit Lazarov, Seonjoo Lee, Chadi G. Abdallah, Michael Angstadt, Christopher L. Averill, C. Lexi Baird, Lee Baugh, Jennifer Urbano Blackford, Jessica Bomyea, Steven E. Bruce, Richard A. Bryant, Zhihong Cao, Kyle Choi, Josh M. Cisler, Andrew S. Cotton, Judith K. Daniels, Nicholas D. Davenport, Richard J. Davidson, Michael D. De Bellis, Emily L. Dennis, Maria Densmore, Terri A. deRoon-Cassini, Seth G. Disner, Wissam El-Hage, Amit Etkin, Negar Fani, Kelene A. Fercho, Jacklynn M. Fitzgerald, Gina L. Forster, Jessie L. Frijling, Elbert Geuze, Atilla Gonenc, Evan M. Gordon, Staci Gruber, Daniel W. Grupe, Jeffrey P. Guenette, Courtney C. Haswell, Ryan J. Herringa, Julia Herzog, David Bernd Hofmann, Bobak Hosseini, Anna R. Hudson, Ashley A. Huggins, Jonathan C. Ipser, Neda Jahanshad, Meilin Jia-Richards, Tanja Jovanovic, Milissa L. Kaufman, Mitzy Kennis, Anthony King, Philipp Kinzel, Saskia B. J. Koch, Inga Koerte, Sheri-Michelle Koopowitz, Mayuresh S. Korgaonkar, John H. Krystal, Ruth A. Lanius, Christine L. Larson, Lauren A. M. Lebois, Gen Li, Israel Liberzon, Guang Ming Lu, Yifeng Luo, Vincent A. Magnotta, Antje Manthey, Adi Maron-Katz, Geoffery May, Katie A. McLaughlin, Sven C. Mueller, Laura Nawijn, Steven M. Nelson, Richard W. J. Neufeld, Jack B. Nitschke, Erin O'Leary, Bunmi O. Olatunji, Miranda Olff, Matthew Peverill, K. Luan Phan, Rongfeng Qi, Yann Quidé, Ivan Rektor, Kerry J. Ressler, Pavel Riha, Marisa Ross, Isabelle M. Rosso, Lauren E. Salminen, Kelly A. Sambrook, Christian Schmahl, Martha Elizabeth Shenton, Margaret A. Sheridan, Chiahao Shih, Maurizio Sicorello, Anika Sierk, Alan N. Simmons, Raluca M. Simons, Jeffrey S. Simons, Scott R. Sponheim, Murray B. Stein, Dan J. Stein, Jennifer S. Stevens, Thomas Straube, Delin Sun, Jean Théberge, Paul M. Thompson, Sophia I. Thomopoulos, Nic J. A. van der Wee, Steven J. A. van der Werff, Theo G. M. van Erp, Sanne J. H. van Rooij, Mirjam van Zuiden, Tim Varkevisser, Dick J. Veltman, Robert R. J. M. Vermeiren, Henrik Walter, Li Wang, Xin Wang 0090, Carissa N. Weis, Sherry Winternitz, Hong Xie, Ye Zhu, Melanie Wall, Yuval Neria, Rajendra A. Morey |
Neuroimaging-based classification of PTSD using data-driven computational approaches: A multisite big data study from the ENIGMA-PGC PTSD consortium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 283, pp. 120412, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Stephen L. Dorton, Lauren M. Ministero, Balca Alaybek, Douglas J. Bryant |
Foresight for ethical AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Artif. Intell. ![In: Frontiers Artif. Intell. 6, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Robert Grout, Rishab Gupta, Ruby Bryant, Mawada A. Elmahgoub, Yijie Li, Khushbakht Irfanullah, Rahul F. Patel, Jake Fawkes, Catherine Inness |
Predicting disease onset from electronic health records for population health management: a scalable and explainable Deep Learning approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Artif. Intell. ![In: Frontiers Artif. Intell. 6, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Charles Wachira, William Ogallo, Sharon Okwako, Sekou Lionel Remy, Zipporah Bukania, Mercy Karimi Njeru, Moses Mwangi, Sharon Mokua, Wycliffe Omwanda, Daniele Ressler, Aisha Walcott-Bryant |
Analysis of user interactions with a digital health wallet for enabling care continuity in the context of an ongoing pandemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 30(4), pp. 674-682, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | William Ogallo, Irene Wanyana, Girmaw Abebe Tadesse, Catherine Wanjiru, Victor Akinwande, Steven Kabwama, Sekou Lionel Remy, Charles Wachira, Sharon Okwako, Susan Kizito, Rhoda Wanyenze, Suzanne Kiwanuka, Aisha Walcott-Bryant |
Quantifying the impact of COVID-19 on essential health services: a comparison of interrupted time series analysis using Prophet and Poisson regression models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 30(4), pp. 634-642, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Antony Bryant |
AI Chatbots: Threat or Opportunity? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatics ![In: Informatics 10(2), pp. 49, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Fan Zhang 0008, Melissa Petersen, Leigh Johnson, James Hall, Raymond F. Palmer, Sid E. O'Bryant |
A Machine Learning-Based Multiple Imputation Method for the Health and Aging Brain Study-Health Disparities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatics ![In: Informatics 10(4), pp. 77, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Oliver M. Cliff, Annie G. Bryant, Joseph T. Lizier, Naotsugu Tsuchiya, Ben D. Fulcher |
Unifying pairwise interactions in complex dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. Sci. ![In: Nat. Comput. Sci. 3(10), pp. 883-893, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Peter Bryant |
Student experience and digital storytelling: Integrating the authentic interaction of students work, life, play and learning into the co-design of university teaching practices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 28(11), pp. 14051-14069, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Joanna Lawrence, D. Truong, A. Dao, P. A. Bryant |
Virtual hospital-level care - feasibility, acceptability, safety and impact of a pilot Hospital-In-The-Home model for COVID-19 infection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Digit. Health ![In: Frontiers Digit. Health 5, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Toerless Eckert, Alexander Clemm, Stewart Bryant |
High Precision Latency Forwarding for Wide Area Networks Through Intelligent In-Packet Header Processing (gLBF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Syst. Manag. ![In: J. Netw. Syst. Manag. 31(2), pp. 34, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Troy Bryant, Yingjie Chen, David Selasi Koblah, Domenic Forte, Nima Maghari |
A Brief Tutorial on Mixed Signal Approaches to Combat Electronic Counterfeiting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Open J. Circuits Syst. ![In: IEEE Open J. Circuits Syst. 4, pp. 99-114, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yuping Chen, Jin Xu 0012, De'Aira Bryant, Ayanna M. Howard |
Effects of Human and Robot Feedback on Shaping Human Movement Behaviors during Reaching Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Interact. ![In: Int. J. Hum. Comput. Interact. 39(1), pp. 101-110, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Sweta Anmulwar, Ning Wang 0001, Vu San Ha Huynh, Stewart Bryant, Jinze Yang, Regius Rahim Tafazolli |
HoloSync: Frame Synchronisation for Multi-Source Holographic Teleportation Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 25, pp. 6245-6257, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Raghavendra Pradyumna Pothukuchi, Leon Lufkin, Yu Jun Shen, Alejandro Simon, Rome Thorstenson, Bernardo Eilert Trevisan, Michael Tu, Mudi Yang, Ben Foxman, Viswanatha Srinivas Pothukuchi, Gunnar Epping, Bryant J. Jongkees, Thi Ha Kyaw, Jerome R. Busemeyer, Jonathan D. Cohen 0003, Abhishek Bhattacharjee |
Quantum Cognitive Modeling: New Applications and Systems Research Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.00597, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Mate Soos, Randal E. Bryant |
Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.04292, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Mahyar Abbasian, Elahe Khatibi, Iman Azimi, David Oniani, Zahra Shakeri Hossein Abad, Alexander Thieme, Zhongqi Yang, Yanshan Wang, Bryant Lin, Olivier Gevaert, Li-Jia Li, Ramesh C. Jain, Amir M. Rahmani |
Foundation Metrics: Quantifying Effectiveness of Healthcare Conversations powered by Generative AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.12444, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Johan Linåker, Gregorio Robles, Deborah Bryant, Sachiko Muto |
Open Source Software in the Public Sector: 25 years and still in its infancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.04766, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Nicholas Simafranca, Bryant Willoughby, Erin O'Neil, Sophie Farr, Brian J. Reich, Naomi Giertych, Margaret Johnson, Madeleine Pascolini-Campbell |
Modelling wildland fire burn severity in California using a spatial Super Learner approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.16187, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Stuart Mesham, Christopher Bryant 0001, Marek Rei, Zheng Yuan 0003 |
An Extended Sequence Tagging Vocabulary for Grammatical Error Correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.05913, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | A. Feder Cooper, Katherine Lee, James Grimmelmann, Daphne Ippolito, Christopher Callison-Burch, Christopher A. Choquette-Choo, Niloofar Mireshghallah, Miles Brundage, David Mimno, Madiha Zahrah Choksi, Jack M. Balkin, Nicholas Carlini, Christopher De Sa, Jonathan Frankle, Deep Ganguli, Bryant Gipson, Andres Guadamuz, Swee Leng Harris, Abigail Z. Jacobs, Elizabeth Joh, Gautam Kamath 0001, Mark Lemley, Cass Matthews, Christine McLeavey, Corynne McSherry, Milad Nasr, Paul Ohm, Adam Roberts, Tom Rubin, Pamela Samuelson, Ludwig Schubert, Kristen Vaccaro, Luis Villa, Felix Wu, Elana Zeide |
Report of the 1st Workshop on Generative AI and Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.06477, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Dimitrios Ioannidis, Jeremy Kepner, Andrew Bowne, Harriet S. Bryant |
Are ChatGPT and Other Similar Systems the Modern Lernaean Hydras of AI? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.09267, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1596 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|