|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 138 occurrences of 115 keywords
|
|
|
Results
Found 1153 publication records. Showing 980 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
153 | Nick K. Treadgold, Tamás D. Gedeon |
Extending and Benchmarking the CasPer Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings, pp. 398-406, 1997, Springer, 3-540-63797-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
RPROP, Network, Constructive, Cascade, Neural |
134 | Ravi R. Iyer 0001 |
On Modeling and Analyzing Cache Hierarchies using CASPER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 11th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2003), 12-15 October 2003, Orlando, FL, USA, pp. 182-187, 2003, IEEE Computer Society, 0-7695-2039-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
116 | Ian D. Watson, Jonathan Rubin |
CASPER: A Case-Based Poker-Bot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2008: Advances in Artificial Intelligence, 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008. Proceedings, pp. 594-600, 2008, Springer, 978-3-540-89377-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Case-Based Reasoning, Game AI, Poker |
116 | Vida Kianzad, Shuvra S. Bhattacharyya, Gang Qu 0001 |
CASPER: An Integrated Energy-Driven Approach for Task Graph Scheduling on Distributed Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 16th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2005), 23-25 July 2005, Samos, Greece, pp. 191-197, 2005, IEEE Computer Society, 0-7695-2407-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
92 | Matthew Denny, Michael J. Franklin |
Predicate Result Range Caching for Continuous Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Baltimore, Maryland, USA, June 14-16, 2005, pp. 646-657, 2005, ACM, 1-59593-060-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
73 | Nick K. Treadgold, Tamás D. Gedeon |
A Cascade Network Algorithm Employing Progressive RPROP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Biological and Artificial Computation: From Neuroscience to Technology, International Work-Conference on Artificial and Natural Neural Networks, IWANN '97, Lanzarote, Canary Islands, Spain, June 4-6, 1997, Proceedings, pp. 733-742, 1997, Springer, 3-540-63047-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
64 | Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi |
Security and Privacy Analysis of RFID Systems Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings, pp. 495-504, 2006, Springer, 3-540-39368-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, RFID Security, Casper |
61 | Mohamed F. Mokbel, Chi-Yin Chow, Walid G. Aref |
The New Casper: A Privacy-Aware Location-Based Database Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, pp. 1499-1500, 2007, IEEE Computer Society, 1-4244-0802-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Mihai-Lica Pura, Victor Valeriu Patriciu, Ion Bica |
Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: SECRYPT 2010 - Proceedings of the International Conference on Security and Cryptography, Athens, Greece, July 26-28, 2010, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications, pp. 299-303, 2010, SciTePress, 978-989-8425-18-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
46 | Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim |
The Vulnerabilities Analysis and Design of the Security Protocol for RFID System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 152, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, RFID Security, Casper |
46 | Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi |
Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 2, pp. 195-202, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, RFID Security, Casper |
46 | Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi |
Model-Based Analysis of Money Accountability in Electronic Purses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings, pp. 346-355, 2005, Springer, 3-540-30900-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
e-commerce protocol, money accountability, security, model checking, FDR, Formal specification and verification, CEPS, Casper |
46 | Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe 0001 |
Automating Data Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings, pp. 175-190, 2000, Springer, 3-540-41031-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
model checking, security protocols, CSP, automatic verification, FDR, data independence, Casper |
44 | Kari Alho, Casper Lassenius, Reijo Sulonen |
A Uniform Model for Coordinating Software Development Activities Kari Alho, Casper Lassenius and Reijo Sulonen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 389-390, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi |
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan, pp. 507-510, 2005, IEEE Computer Society, 0-7695-2249-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Russell Knight, Gregg R. Rabideau, Steve A. Chien, Barbara Engelhardt, Rob Sherwood |
Casper: Space Exploration through Continuous Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 16(5), pp. 70-75, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Chris Wiesemann |
Mac OS X panther imaging do's and don'ts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 32nd Annual ACM SIGUCCS Conference on User Services 2004, Baltimore, MD, USA, October 10-13, 2004, pp. 167-171, 2004, ACM, 1-58113-869-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
apple software restore, blast image config, carbon copy cloner, mac OS X, netBoot, netInstall, netRestore, netRestoreHelper, Radmind, imaging, labs, casper |
24 | Abel Souza, Shruti Jasoria, Basundhara Chakrabarty, Alexander Bridgwater, Axel Lundberg, Filip Skogh, Ahmed Ali-Eldin, David E. Irwin 0001, Prashant J. Shenoy |
CASPER: Carbon-Aware Scheduling and Provisioning for Distributed Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.14792, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Baoyu Jing, Dawei Zhou 0003, Kan Ren, Carl Yang 0001 |
CASPER: Causality-Aware Spatiotemporal Graph Neural Networks for Spatiotemporal Time Series Imputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.11960, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Alain Denzler, Geraldo F. Oliveira, Nastaran Hajinazar, Rahul Bera, Gagandeep Singh 0002, Juan Gómez-Luna, Onur Mutlu |
Casper: Accelerating Stencil Computations Using Near-Cache Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 22136-22154, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Emanuele Frascaroli, Riccardo Benaglia, Matteo Boschini, Luca Moschella, Cosimo Fiorini, Emanuele Rodolà, Simone Calderara |
CaSpeR: Latent Spectral Regularization for Continual Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.03345, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Hyeongjun Choi, Ji Hyuk Jung, Ji Won Yoon |
CASPER: Covert Channel Using Internal Speakers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(6), pp. 2970, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti |
Resilience of Hybrid Casper Under Varying Values of Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Ledger Technol. Res. Pract. ![In: Distributed Ledger Technol. Res. Pract. 2(1), pp. 5:1-5:25, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Hakan Kayan, Omer Farooq Rana, Pete Burnap, Charith Perera |
CASPER: Context-Aware Anomaly Detection System for Industrial Robotic Arms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
DOI RDF |
|
24 | Hakan Kayan, Omer F. Rana, Pete Burnap, Charith Perera |
CASPER: Context-Aware Anomaly Detection System for Industrial Robotic Arms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2023, Atlanta, GA, USA, March 13-17, 2023, pp. 282-284, 2023, IEEE, 978-1-6654-5381-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Hakan Kayan, Omer F. Rana, Pete Burnap, Charith Perera |
Artifact: CASPER: Context-Aware Anomaly Detection System for Industrial Robotic Arms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2023, Atlanta, GA, USA, March 13-17, 2023, pp. 3-4, 2023, IEEE, 978-1-6654-5381-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Eranga Bandara, Sachin Shetty, Ravi Mukkamala, Xueping Liang, Peter Foytik, Nalin Ranasinghe, Kasun De Zoysa |
Casper: a blockchain-based system for efficient and secure customer credential verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Bank. Financial Technol. ![In: J. Bank. Financial Technol. 6(1), pp. 43-62, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Samuele Vinanzi, Angelo Cangelosi |
CASPER: Cognitive Architecture for Social Perception and Engagement in Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.01012, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Upinder Kaur, Richard M. Voyles |
CASPER: Criticality-Aware Self-Powered Wireless in-vivo Sensing Edge for Precision Animal Agriculture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, SenSys 2022, Boston, Massachusetts, November 6-9, 2022, pp. 1123-1129, 2022, ACM, 978-1-4503-9886-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Alain Denzler, Rahul Bera, Nastaran Hajinazar, Gagandeep Singh 0002, Geraldo F. Oliveira, Juan Gómez-Luna, Onur Mutlu |
Casper: Accelerating Stencil Computation using Near-cache Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.14216, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos, Georgios Piliouras |
Incentives in Ethereum's hybrid Casper protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 30(5), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Eirini Liotou, Dimitris Tsolkas, Giorgos Kalpaktsoglou, Stefano Tennina, Luigi Pomante, Nikos I. Passas |
The CASPER user-centric approach for advanced service provisioning in mobile networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 77, pp. 103178, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Vitalik Buterin, Diego Hernandez, Thor Kamphefner, Khiem Pham, Zhi Qiao, Danny Ryan, Juhyeok Sin, Ying Wang, Yan X. Zhang |
Combining GHOST and Casper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.03052, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | |
Another Look at CBC Casper Consensus Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 362, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Lena Waizenegger, Angsana A. Techatassanasoontorn |
"You have no idea how much we love Casper" - Developing configurations of employees' RPA implementation experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS ![In: Australasian Conference on Information Systems, ACIS 2020, Wellington, New Zealand, 1-4 December 2020., pp. 21, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu |
Formalizing Correct-by-Construction Casper in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICBC ![In: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2020, Toronto, ON, Canada, May 2-6, 2020, pp. 1-3, 2020, IEEE, 978-1-7281-6680-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Manuel De Stefano, Michele Simone Gambardella, Fabiano Pecorelli, Fabio Palomba, Andrea De Lucia |
cASpER: A Plug-in for Automated Code Smell Detection and Refactoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: AVI '20: International Conference on Advanced Visual Interfaces, Island of Ischia, Italy, September 28 - October 2, 2020, pp. 79:1-79:3, 2020, ACM, 978-1-4503-7535-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Mustafa M. Shihab, Bharath Ramanidharan, Gaurav Rajavendra Reddy, Jingxiang Tian, William Swartz, Carl Sechen, Yiorgos Makris |
CASPER: CAD Framework for a Novel Transistor-Level Programmable Fabric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2020, Sevilla, Spain, October 10-21, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-3320-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Ben W. Kolosz, Saran P. Sohi, David A. C. Manning |
CASPER: A modelling framework to link mineral carbonation with the turnover of organic matter in soil. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geosci. ![In: Comput. Geosci. 124, pp. 58-71, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos, Georgios Piliouras |
Incentives in Ethereum's Hybrid Casper Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.04205, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Ryuya Nakamura, Takayuki Jimba, Dominik Harz |
Refinement and Verification of CBC Casper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 415, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos, Georgios Piliouras |
Incentives in Ethereum's Hybrid Casper Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICBC ![In: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019, Seoul, Korea (South), May 14-17, 2019, pp. 236-244, 2019, IEEE, 978-1-7281-1328-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Ryuya Nakamura, Takayuki Jimba, Dominik Harz |
Refinement and Verification of CBC Casper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVCBT ![In: Crypto Valley Conference on Blockchain Technology, CVCBT 2019, Rotkreuz, Switzerland, June 24-26, 2019, pp. 26-38, 2019, IEEE, 978-1-7281-3669-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Eirini Liotou, Dimitris Tsolkas, Stefano Tennina, Luigi Pomante, Giorgos Kalpaktsoglou, Nikos I. Passas |
The CASPER Project Approach Towards User-Centric Mobile Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 22nd Euromicro Conference on Digital System Design, DSD 2019, Kallithea, Greece, August 28-30, 2019, pp. 406-413, 2019, IEEE, 978-1-7281-2862-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Andreea Scurtu, Mihai-Lica Pura |
Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 11th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2019, Pitesti, Romania, June 27-29, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-1624-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Jack Michael Harding Sekoranja |
A Comparison of CasPer Against Other ML Techniques for Stress Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (4) ![In: Neural Information Processing - 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part IV, pp. 707-714, 2019, Springer, 978-3-030-36807-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Ivan Savelyev, William David Miller 0002, Mark A. Sletten, Geoffrey B. Smith, Dana K. Savidge, Glendon Frick, Steven Menk, Trent Moore, Tony de Paolo, Eric J. Terrill, Qing Wang, Robert Kipp Shearman |
Airborne Remote Sensing of the Upper Ocean Turbulence during CASPER-East. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 10(8), pp. 1224, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Edward Jay Wang, Manuja Sharma, Yiran Zhao, Shwetak N. Patel |
CASPER: capacitive serendipitous power transfer for through-body charging of multiple wearable devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp ![In: Proceedings of the 2018 ACM International Symposium on Wearable Computers, ISWC 2018, Singapore, Singapore, October 8-12, 2018, pp. 188-195, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Vitalik Buterin, Virgil Griffith |
Casper the Friendly Finality Gadget. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.09437, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Parmida Beigi, Robert Rohling, Septimiu E. Salcudean, Gary C. Ng |
CASPER: computer-aided segmentation of imperceptible motion - a learning-based tracking of an invisible needle in ultrasound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 12(11), pp. 1857-1866, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Dilip P. Vasudevan, George Michelogiannakis, David Donofrio, John Shalf |
CASPER - Configurable design space exploration of programmable architectures for machine learning using beyond moore devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NANOARCH ![In: IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2017, Newport, RI, USA, July 25-26, 2017, pp. 117-118, 2017, IEEE, 978-1-5090-6037-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Andrea Colarieti, Andrea Marotta, Markos Mpervarakis, Luigi Pomante, Vasilis Tsolkas |
QoE provisioning over mobile networks: The CASPER perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAMAD ![In: 22nd IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, CAMAD 2017, Lund, Sweden, June 19-21, 2017, pp. 1-5, 2017, IEEE, 978-1-5090-6302-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Wenqi Liu, Mingyu Fan, Jie Feng, Guangwei Wang |
The NCC: An Improved Anonymous Method for Location-Based Services Based on Casper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPCSEE (2) ![In: Data Science - Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings, Part II, pp. 551-567, 2017, Springer, 978-981-10-6387-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su |
Formal Security Analysis of EAP-ERP Using Casper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 4, pp. 383-396, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Benoit Cornu, Earl T. Barr, Lionel Seinturier, Martin Monperrus |
Casper: Automatic tracking of null dereferences to inception with causality traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 122, pp. 52-62, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Azusa Kadomura, Akira Matsuda, Jun Rekimoto |
CASPER: A Haptic Enhanced Telepresence Exercise System for Elderly People. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Proceedings of the 7th Augmented Human International Conference, AH 2016, Geneva, Switzerland, February 25-27, 2016, pp. 2:1-2:8, 2016, ACM, 978-1-4503-3680-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Rongxin Wu, Xiao Xiao 0003, Shing-Chi Cheung, Hongyu Zhang 0002, Charles Zhang 0001 |
Casper: an efficient approach to call trace collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 678-690, 2016, ACM, 978-1-4503-3549-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Salil S. Kanhere |
Carrots and sticks - Incentives that make mobile crowdsensing work (CASPer 2016 Keynote Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016, Sydney, Australia, March 14-18, 2016, pp. 1, 2016, IEEE Computer Society, 978-1-5090-1941-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Benoit Cornu, Earl T. Barr, Lionel Seinturier, Martin Monperrus |
Casper: Debugging Null Dereferences with Dynamic Causality Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.02004, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Min Si, Antonio J. Peña, Jeff R. Hammond, Pavan Balaji, Masamichi Takagi, Yutaka Ishikawa |
Casper: An Asynchronous Progress Model for MPI RMA on Many-Core Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, Hyderabad, India, May 25-29, 2015, pp. 665-676, 2015, IEEE Computer Society, 978-1-4799-8649-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Benoit Cornu |
Casper: Using Ghosts to Debug Null Deferences with Dynamic Causality Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2, pp. 790-791, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Mahdi Aiash, Jonathan Loo |
Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Commun. Syst. ![In: Int. J. Commun. Syst. 27(12), pp. 3600-3618, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Sunyoung Kwon, Byunghan Lee, Sungroh Yoon |
CASPER: context-aware scheme for paired-end reads from high-throughput amplicon sequencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 15(S-9), pp. S10, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Kaveh Shahabi, John P. Wilson |
CASPER: Intelligent capacity-aware evacuation routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Environ. Urban Syst. ![In: Comput. Environ. Urban Syst. 46, pp. 12-24, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Mahdi Aiash |
A Formally Verified Initial Authentication and Key Agreement Protocol in Heterogeneous Environments Using Casper/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSS ![In: Network and System Security - 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings, pp. 742-748, 2013, Springer, 978-3-642-38630-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Denis J. Reilly, Chris Wren, Susan Giles, Lisa Cunningham, Paul Hargreaves |
CASPER: Computer Assisted Search Prioritisation and Environmental Response Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DeSE ![In: Sixth International Conference on Developments in eSystems Engineering, DeSE 2013, Abu Dhabi, United Arab Emirates, December 16-18, 2013, pp. 225-230, 2013, IEEE, 978-1-4799-5263-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Mahdi Aiash, Glenford E. Mapp, Aboubaker Lasebae, Raphael Chung-Wei Phan, Jonathan Loo |
A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Wirel. Commun. Netw. ![In: EURASIP J. Wirel. Commun. Netw. 2012, pp. 57, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Mahdi Aiash, Glenford E. Mapp, Raphael C.-W. Phan, Aboubaker Lasebae, Jonathan Loo |
A Formally Verified Device Authentication Protocol Using Casper/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2012, Liverpool, United Kingdom, June 25-27, 2012, pp. 1293-1298, 2012, IEEE Computer Society, 978-1-4673-2172-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Julio Ariel Hurtado Alegria, María Cecilia Bastarrica |
Building software process lines with CASPER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSSP ![In: 2012 International Conference on Software and System Process, ICSSP 2012, Zurich, Switzerland, June 2-3, 2012, pp. 170-179, 2012, IEEE Computer Society, 978-1-4673-2351-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Mohammad S. Obaidat, Sanjay K. Dhurandher, Khushboo Diwakar |
CASPER: Congestion Aware Selection of Path with Efficient Routing in Multimedia Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Syst. ![In: J. Inf. Process. Syst. 7(2), pp. 241-260, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ronny Merkel, Christian Kraetzer, Robert Altschaffel, Eric Clausing, Maik Schott, Jana Dittmann |
Fingerprint Forensics Application Protocol: Semi-automated Modeling and Verification of Watermark-Based Communication Using CASPER and FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDW ![In: Digital Forensics and Watermarking - 10th International Workshop, IWDW 2011, Atlantic City, NJ, USA, October 23-26, 2011, Revised Selected Papers, pp. 321-335, 2011, Springer, 978-3-642-32204-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Christian Kraetzer, Ronny Merkel, Robert Altschaffel, Eric Clausing, Maik Schott, Jana Dittmann |
Modelling watermark communication protocols using the CASPER modelling language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MM&Sec ![In: Multimedia and Security Workshop, MM&Sec 2010, Roma, Italy, September 9-10, 2010, pp. 107-116, 2010, ACM, 978-1-4503-0286-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Jeongkyu Park, Keung Hae Lee |
CASPER: Mining Personalized Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing - 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010. Proceedings, pp. 337-351, 2010, Springer, 978-3-642-16354-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Chi-Yin Chow, Mohamed F. Mokbel, Walid G. Aref |
Casper*: Query processing for location services without compromising privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 34(4), pp. 24:1-24:48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Loß, Roland Stenutz, Eberhard Schwarzer, Claus-Wilhelm von der Lieth |
GlyNest and CASPER: two independent approaches to estimate 1H and 13C NMR shifts of glycans available through a common web-interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 34(Web-Server-Issue), pp. 733-737, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Mohamed F. Mokbel, Chi-Yin Chow, Walid G. Aref |
The New Casper: Query Processing for Location Services without Compromising Privacy. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: Proceedings of the 32nd International Conference on Very Large Data Bases, Seoul, Korea, September 12-15, 2006, pp. 763-774, 2006, ACM, 1-59593-385-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Boris Dragovic |
CASPEr: containment-aware security for pervasive computing environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
24 | Il-Gon Kim, Jin-Young Choi |
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, pp. 75-77, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
24 | Gavin Lowe |
Casper: A Compiler for the Analysis of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 6(1-2), pp. 53-84, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Bharat P. Dave, Niraj K. Jha |
CASPER: Concurrent Hardware-Software Co-Synthesis of Hard Real-Time Aperiodic and Periodic Specifications of Embedded System Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 118-124, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
aperiodic task graphs, scheduling, distributed systems, embedded systems, allocation, system synthesis, hardware-software co-synthesis |
24 | Gavin Lowe |
Casper: A Compiler for the Analysis of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA, pp. 18-30, 1997, IEEE Computer Society, 0-8186-7990-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Nick K. Treadgold, Tamás D. Gedeon |
Extending CasPer: A Regression Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Progress in Connectionist-Based Information Systems: Proceedings of the 1997 International Conference on Neural Information Processing and Intelligent Information Systems, ICONIP 1997, Volume I, Dunedin, New Zealand, 24-28 November, 1997, pp. 310-313, 1997, Springer, 0-444-88545-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
24 | Robert Strong |
CASPER: a speech interface for the macintosh. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSPEECH ![In: Third European Conference on Speech Communication and Technology, EUROSPEECH 1993, Berlin, Germany, September 22-25, 1993, pp. 2073-2076, 1993, ISCA. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Francis Vaughan, Tracy Lo Basso, Alan Dearle, Chris D. Marlin, Chris J. Barter |
Casper: A Cached Architecture Supporting Persistence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. ![In: Comput. Syst. 5(3), pp. 337-359, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
24 | Per Erik Jansson, Lennart Kenne, Göran Widmalm |
CASPER: a computer program used for structural analysis of carbohydrates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Comput. Sci. ![In: J. Chem. Inf. Comput. Sci. 31(4), pp. 508-516, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | William A. Rux, Eric Baelen |
CASPER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the sixth international conference on APL, APL 1974, Anaheim, CA, USA, May 14-17, 1974, pp. 452-470, 1974, ACM, 978-1-4503-7303-6. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
19 | Abheeshta Putta, Maria Paasivaara, Casper Lassenius |
SAFe transformation in a large financial corporation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 29(1), pp. 27, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Casper Fibaek, Luke Camilleri, Andreas Luyts, Nikolaos Dionelis, Bertrand Le Saux |
PhilEO Bench: Evaluating Geo-Spatial Foundation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.04464, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Casper van Elteren, Vítor V. Vasconcelos, Mike Lees |
Criminal organizations exhibit hysteresis, resilience, and robustness by balancing security and efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.03720, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Stephen Casper, Lennart Schulze, Oam Patel, Dylan Hadfield-Menell |
Defending Against Unforeseen Failure Modes with Latent Adversarial Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.05030, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Jupinder Parmar, Shrimai Prabhumoye, Joseph Jennings, Mostofa Patwary, Sandeep Subramanian, Dan Su 0003, Chen Zhu 0001, Deepak Narayanan, Aastha Jhunjhunwala, Ayush Dattagupta, Vibhu Jawa, Jiwei Liu, Ameya Mahabaleshwarkar, Osvald Nitski, Annika Brundyn, James Maki, Miguel Martinez, Jiaxuan You, John Kamalu, Patrick LeGresley, Denys Fridman, Jared Casper, Ashwath Aithal, Oleksii Kuchaiev, Mohammad Shoeybi, Jonathan M. Cohen, Bryan Catanzaro |
Nemotron-4 15B Technical Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.16819, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Aengus Lynch, Phillip Guo, Aidan Ewart, Stephen Casper, Dylan Hadfield-Menell |
Eight Methods to Evaluate Robust Unlearning in LLMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.16835, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Sijia Liu 0001, Yuanshun Yao, Jinghan Jia, Stephen Casper, Nathalie Baracaldo, Peter Hase, Xiaojun Xu, Yuguang Yao, Hang Li, Kush R. Varshney, Mohit Bansal, Sanmi Koyejo, Yang Liu |
Rethinking Machine Unlearning for Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.08787, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Stephen Casper, Carson Ezell, Charlotte Siegmann, Noam Kolt, Taylor Lynn Curtis, Benjamin Bucknall, Andreas Alexander Haupt, Kevin Wei, Jérémy Scheurer, Marius Hobbhahn, Lee Sharkey, Satyapriya Krishna, Marvin Von Hagen, Silas Alberti, Alan Chan, Qinyi Sun, Michael Gerovitch, David Bau, Max Tegmark, David Krueger, Dylan Hadfield-Menell |
Black-Box Access is Insufficient for Rigorous AI Audits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.14446, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Nigel Markey, Ilyass El-Mansouri, Gaëtan Rensonnet, Casper van Langen, Christoph Meier |
From RAGs to riches: Using large language models to write documents for clinical trials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.16406, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Simon Thrane Hansen, Casper Thule, Cláudio Gomes 0001, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen |
Co-simulation at different levels of expertise with Maestro2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 209, pp. 111905, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Casper Haems, Jeroen van der Hooft, Hannes Mareen, Peter Steenkiste, Glenn Van Wallendael, Tim Wauters, Filip De Turck |
Enabling adaptive and reliable video delivery over hybrid unicast/broadcast networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOSSDAV ![In: Proceedings of the 34th edition of the Workshop on Network and Operating System Support for Digital Audio and Video, NOSSDAV 2024, Bari, Italy, April 15-18, 2024, pp. 29-35, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Santiago Gil 0001, Casper Schou, Peter Høgh Mikkelsen, Grant Larsen |
Integrating Skills into Digital Twins in Cooperative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SII ![In: IEEE/SICE International Symposium on System Integration, SII 2024, Ha Long, Vietnam, January 8-11, 2024, pp. 1124-1131, 2024, IEEE, 979-8-3503-1207-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Casper Bach Poulsen, Cas van der Rest |
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1801-1831, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jieqing Jiao, Fiona Heeman, Rachael Dixon, Catriona Wimberley, Isadora Lopes Alves, Juan Domingo Gispert, Adriaan A. Lammertsma, Bart N. M. van Berckel, Casper O. da Costa-Luis, Pawel Markiewicz, David M. Cash, M. Jorge Cardoso, Sébastien Ourselin, Maqsood Yaqub, Frederik Barkhof |
NiftyPAD - Novel Python Package for Quantitative Analysis of Dynamic PET Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neuroinformatics ![In: Neuroinformatics 21(2), pp. 457-468, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 980 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|