|
|
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. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
RPROP, Network, Constructive, Cascade, Neural |
134 | Ravi R. Iyer 0001 |
On Modeling and Analyzing Cache Hierarchies using CASPER. |
MASCOTS |
2003 |
DBLP DOI BibTeX RDF |
|
116 | Ian D. Watson, Jonathan Rubin |
CASPER: A Case-Based Poker-Bot. |
Australasian Conference on Artificial Intelligence |
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. |
ASAP |
2005 |
DBLP DOI BibTeX RDF |
|
92 | Matthew Denny, Michael J. Franklin |
Predicate Result Range Caching for Continuous Queries. |
SIGMOD Conference |
2005 |
DBLP DOI BibTeX RDF |
|
73 | Nick K. Treadgold, Tamás D. Gedeon |
A Cascade Network Algorithm Employing Progressive RPROP. |
IWANN |
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. |
HPCC |
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. |
ICDE |
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. |
SECRYPT |
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. |
CIT |
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. |
COMPSAC (2) |
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. |
WINE |
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. |
ESORICS |
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. |
HICSS (1) |
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. |
AINA |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Russell Knight, Gregg R. Rabideau, Steve A. Chien, Barbara Engelhardt, Rob Sherwood |
Casper: Space Exploration through Continuous Planning. |
IEEE Intell. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Chris Wiesemann |
Mac OS X panther imaging do's and don'ts. |
SIGUCCS |
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. |
CoRR |
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. |
CoRR |
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. |
IEEE Access |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Hyeongjun Choi, Ji Hyuk Jung, Ji Won Yoon |
CASPER: Covert Channel Using Internal Speakers. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti |
Resilience of Hybrid Casper Under Varying Values of Parameters. |
Distributed Ledger Technol. Res. Pract. |
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. |
|
2023 |
DOI RDF |
|
24 | Hakan Kayan, Omer F. Rana, Pete Burnap, Charith Perera |
CASPER: Context-Aware Anomaly Detection System for Industrial Robotic Arms. |
PerCom Workshops |
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. |
PerCom Workshops |
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. |
J. Bank. Financial Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Samuele Vinanzi, Angelo Cangelosi |
CASPER: Cognitive Architecture for Social Perception and Engagement in Robots. |
CoRR |
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. |
SenSys |
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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
24 | Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos, Georgios Piliouras |
Incentives in Ethereum's hybrid Casper protocol. |
Int. J. Netw. Manag. |
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. |
Microprocess. Microsystems |
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. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
24 | |
Another Look at CBC Casper Consensus Protocol. |
IACR Cryptol. ePrint Arch. |
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. |
ACIS |
2020 |
DBLP BibTeX RDF |
|
24 | Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu |
Formalizing Correct-by-Construction Casper in Coq. |
IEEE ICBC |
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. |
AVI |
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. |
ISCAS |
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. |
Comput. Geosci. |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos, Georgios Piliouras |
Incentives in Ethereum's Hybrid Casper Protocol. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
24 | Ryuya Nakamura, Takayuki Jimba, Dominik Harz |
Refinement and Verification of CBC Casper. |
IACR Cryptol. ePrint Arch. |
2019 |
DBLP BibTeX RDF |
|
24 | Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos, Georgios Piliouras |
Incentives in Ethereum's Hybrid Casper Protocol. |
IEEE ICBC |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Ryuya Nakamura, Takayuki Jimba, Dominik Harz |
Refinement and Verification of CBC Casper. |
CVCBT |
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. |
DSD |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Andreea Scurtu, Mihai-Lica Pura |
Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4. |
ECAI |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Jack Michael Harding Sekoranja |
A Comparison of CasPer Against Other ML Techniques for Stress Recognition. |
ICONIP (4) |
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. |
Remote. Sens. |
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. |
UbiComp |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Vitalik Buterin, Virgil Griffith |
Casper the Friendly Finality Gadget. |
CoRR |
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. |
Int. J. Comput. Assist. Radiol. Surg. |
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. |
NANOARCH |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Andrea Colarieti, Andrea Marotta, Markos Mpervarakis, Luigi Pomante, Vasilis Tsolkas |
QoE provisioning over mobile networks: The CASPER perspective. |
CAMAD |
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. |
ICPCSEE (2) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su |
Formal Security Analysis of EAP-ERP Using Casper. |
IEEE Access |
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. |
J. Syst. Softw. |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Azusa Kadomura, Akira Matsuda, Jun Rekimoto |
CASPER: A Haptic Enhanced Telepresence Exercise System for Elderly People. |
AH |
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. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Salil S. Kanhere |
Carrots and sticks - Incentives that make mobile crowdsensing work (CASPer 2016 Keynote Paper). |
PerCom Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Benoit Cornu, Earl T. Barr, Lionel Seinturier, Martin Monperrus |
Casper: Debugging Null Dereferences with Dynamic Causality Traces. |
CoRR |
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. |
IPDPS |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Benoit Cornu |
Casper: Using Ghosts to Debug Null Deferences with Dynamic Causality Traces. |
ICSE (2) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Mahdi Aiash, Jonathan Loo |
Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR. |
Int. J. Commun. Syst. |
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. |
BMC Bioinform. |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Kaveh Shahabi, John P. Wilson |
CASPER: Intelligent capacity-aware evacuation routing. |
Comput. Environ. Urban Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Mahdi Aiash |
A Formally Verified Initial Authentication and Key Agreement Protocol in Heterogeneous Environments Using Casper/FDR. |
NSS |
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. |
DeSE |
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. |
EURASIP J. Wirel. Commun. Netw. |
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. |
TrustCom |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Julio Ariel Hurtado Alegria, María Cecilia Bastarrica |
Building software process lines with CASPER. |
ICSSP |
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. |
J. Inf. Process. Syst. |
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. |
IWDW |
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. |
MM&Sec |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Jeongkyu Park, Keung Hae Lee |
CASPER: Mining Personalized Services. |
UIC |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Chi-Yin Chow, Mohamed F. Mokbel, Walid G. Aref |
Casper*: Query processing for location services without compromising privacy. |
ACM Trans. Database Syst. |
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. |
Nucleic Acids Res. |
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) |
VLDB |
2006 |
DBLP BibTeX RDF |
|
24 | Boris Dragovic |
CASPEr: containment-aware security for pervasive computing environments. |
|
2006 |
RDF |
|
24 | Il-Gon Kim, Jin-Young Choi |
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
24 | Gavin Lowe |
Casper: A Compiler for the Analysis of Security Protocols. |
J. Comput. Secur. |
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. |
DATE |
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. |
CSFW |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Nick K. Treadgold, Tamás D. Gedeon |
Extending CasPer: A Regression Survey. |
ICONIP (1) |
1997 |
DBLP BibTeX RDF |
|
24 | Robert Strong |
CASPER: a speech interface for the macintosh. |
EUROSPEECH |
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. |
Comput. Syst. |
1992 |
DBLP BibTeX RDF |
|
24 | Per Erik Jansson, Lennart Kenne, Göran Widmalm |
CASPER: a computer program used for structural analysis of carbohydrates. |
J. Chem. Inf. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
24 | William A. Rux, Eric Baelen |
CASPER. |
APL |
1974 |
DBLP DOI BibTeX RDF |
|
19 | Abheeshta Putta, Maria Paasivaara, Casper Lassenius |
SAFe transformation in a large financial corporation. |
Empir. Softw. Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Casper Fibaek, Luke Camilleri, Andreas Luyts, Nikolaos Dionelis, Bertrand Le Saux |
PhilEO Bench: Evaluating Geo-Spatial Foundation Models. |
CoRR |
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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Stephen Casper, Lennart Schulze, Oam Patel, Dylan Hadfield-Menell |
Defending Against Unforeseen Failure Modes with Latent Adversarial Training. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
J. Syst. Softw. |
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. |
NOSSDAV |
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. |
SII |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Casper Bach Poulsen, Cas van der Rest |
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. |
Proc. ACM Program. Lang. |
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. |
Neuroinformatics |
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][ >>] |
|