Daniel Brand

Publication Activity (10 Years)

Years Active: 1975-2023
Publications (10 Years): 25

Top Topics

Human Reasoning

Nonnegative Matrix Factorization

Top Venues

Top. Cogn. Sci.

Publications

Tina Frenzel, Daniel Brand, Marco Ragni
Are Facial Expressions Predictors for the Sense of Agency in a Dot Control Task? CogSci (2023)
Daniel Brand, Marco Ragni
Effect of Response Format on Syllogistic Reasoning. CogSci (2023)
Sara Todorovikj, Daniel Brand, Marco Ragni
Towards Bridging the Gap Between Conditional and Syllogistic Reasoning. CogSci (2023)
Hannah Dames, Daniel Brand, Marco Ragni
Evidence for Multiple Mechanisms Underlying List-Method Directed Forgetting. CogSci (2022)
Daniel Brand, Nicolas Riesterer, Marco Ragni
Model-Based Explanation of Feedback Effects in Syllogistic Reasoning. Top. Cogn. Sci. 14 (4) (2022)
Sara Todorovikj, Felix Kettner, Daniel Brand, Matthias Beggiato, Marco Ragni
Predicting Individual Discomfort in Autonomous Driving. CogSci (2022)
Daniel Brand, Maximilian Mittenbühler, Marco Ragni
Generalizing Syllogistic Reasoning: Extending Syllogisms to General Quantifiers. CogSci (2022)
Daniel Brand, Hannah Dames, Leonardo Puricelli, Marco Ragni
Rule-Based Categorization: Measuring the Cognitive Costs of Intentional Rule Updating. CogSci (2022)
Daniel Brand, Nicolas Riesterer, Marco Ragni
Unifying Models for Belief and Syllogistic Reasoning. CogSci (2021)
Nicolas Riesterer, Daniel Brand, Hannah Dames, Marco Ragni
Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion". Top. Cogn. Sci. 12 (1) (2020)
Nicolas Riesterer, Daniel Brand, Marco Ragni
Uncovering the Data-Related Limits of Human Reasoning Research: An Analysis based on Recommender Systems. CoRR (2020)
Daniel Brand, Nicolas Riesterer, Hannah Dames, Marco Ragni
Analyzing the Differences in Human Reasoning via Joint Nonnegative Matrix Factorization. CogSci (2020)
Nicolas Riesterer, Daniel Brand, Marco Ragni
Do Models Capture Individuals? Evaluating Parameterized Models for Syllogistic Reasoning. CogSci (2020)
Nicolas Riesterer, Daniel Brand, Marco Ragni
Predictive Modeling of Individual Human Cognition: Upper Bounds and a New Perspective on Performance. Top. Cogn. Sci. 12 (3) (2020)
Nicolas Riesterer, Daniel Brand, Hannah Dames, Marco Ragni
Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion". CogSci (2019)
Marco Ragni, Hannah Dames, Daniel Brand, Nicolas Riesterer
When Does a Reasoner Respond: Nothing Follows? CogSci (2019)
Chia-Yu Chen, Jungwook Choi, Daniel Brand, Ankur Agrawal, Wei Zhang, Kailash Gopalakrishnan
AdaComp : Adaptive Residual Gradient Compression for Data-Parallel Distributed Training. AAAI (2018)
Naigang Wang, Jungwook Choi, Daniel Brand, Chia-Yu Chen, Kailash Gopalakrishnan
Training Deep Neural Networks with 8-bit Floating Point Numbers. NeurIPS (2018)
Nicolas Riesterer, Daniel Brand, Marco Ragni
The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning. KI (2018)
Ngoc-Huy Truong, Daniel Brand, Carine Ewert, Laura Wächter, Rul von Stülpnagel
Developers' Needs and Severity Conceptions of Usability Problems. Mensch & Computer (2018)
Naigang Wang, Jungwook Choi, Daniel Brand, Chia-Yu Chen, Kailash Gopalakrishnan
Training Deep Neural Networks with 8-bit Floating Point Numbers. CoRR (2018)
Minsik Cho, Daniel Brand
MEC: Memory-efficient Convolution for Deep Neural Network. CoRR (2017)
Minsik Cho, Daniel Brand
MEC: Memory-efficient Convolution for Deep Neural Network. ICML (2017)
Chia-Yu Chen, Jungwook Choi, Daniel Brand, Ankur Agrawal, Wei Zhang, Kailash Gopalakrishnan
AdaComp : Adaptive Residual Gradient Compression for Data-Parallel Distributed Training. CoRR (2017)
Daniel Brand, Kevin Büchele, Alexander Meschtscherjakov
Pointing at the HUD: Gesture Interaction Using a Leap Motion. AutomotiveUI (adjunct) (2016)
Ewout van den Berg, Daniel Brand, Rajesh Bordawekar, Leonid Rachevsky, Bhuvana Ramabhadran
Efficient GPU implementation of convolutional neural networks for speech recognition. INTERSPEECH (2015)
Minsik Cho, Daniel Brand, Rajesh Bordawekar, Ulrich Finkler, Vincent KulandaiSamy, Ruchir Puri
PARADIS: An Efficient Parallel Algorithm for In-place Radix Sort. Proc. VLDB Endow. 8 (12) (2015)
Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards
A novel analysis space for pointer analysis and its application for bug finding. Sci. Comput. Program. 75 (11) (2010)
Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards
Flexible pointer analysis using assign-fetch graphs. SAC (2008)
Daniel Brand, Marcio Buss, Vugranam C. Sreedhar
Evidence-Based Analysis and Inferring Preconditions for Bug Detection. ICSM (2007)
John A. Darringer, Reinaldo A. Bergamaschi, Subhrajit Bhattacharya, Daniel Brand, Andreas Herkersdorf, Joseph K. Morrell, Indira Nair, Patricia Sagmeister, Youngsoo Shin
Early analysis tools for system-on-a-chip design. IBM J. Res. Dev. 46 (6) (2002)
John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan
LSS: A system for production logic synthesis. IBM J. Res. Dev. 44 (1) (2000)
Daniel Brand
A Software Falsifier. ISSRE (2000)
Daniel Brand, Reinaldo A. Bergamaschi, Leon Stok
Don't cares in synthesis: theoretical pitfalls and practical solutions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (4) (1998)
Leon Stok, David S. Kung, Daniel Brand, Anthony D. Drumm, Andrew J. Sullivan, Lakshmi N. Reddy, Nathaniel Hieter, David J. Geiger, Han Hsun Chao, Peter J. Osler
BooleDozer: Logic synthesis for ASICs. IBM J. Res. Dev. 40 (4) (1996)
Daniel Brand, Chandramouli Visweswariah
Inaccuracies in power estimation during logic synthesis. ICCAD (1996)
Daniel Brand, Reinaldo A. Bergamaschi, Leon Stok
Be careful with don't cares. ICCAD (1995)
Reinaldo A. Bergamaschi, Daniel Brand, Leon Stok, Michel R. C. M. Berkelaar, Shiv Prakash
Efficient use of large don't cares in high-level and logic synthesis. ICCAD (1995)
Daniel Brand, Robert F. Damiano, Lukas P. P. P. van Ginneken, Anthony D. Drumm
In the Driver's Seat of BooleDozer. ICCD (1994)
Daniel Brand, Vijay S. Iyengar
Identification of redundant delay faults. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (5) (1994)
Daniel Brand, Anthony D. Drumm, Sandip Kundu, Prakash Narain
Incremental synthesis. ICCAD (1994)
Daniel Brand, Tsutomu Sasao
Minimization of AND-EXOR Expressions Using Rewrite Rules. IEEE Trans. Computers 42 (5) (1993)
Daniel Brand
Exhaustive simulation need not require an exponential number of tests. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12 (11) (1993)
Daniel Brand
Verification of large synthesized designs. ICCAD (1993)
Daniel Brand, Vijay S. Iyengar
Identification of Single Gate Delay Fault Redundancies. ICCD (1992)
Daniel Brand
Exhaustive simulation need not require an exponential number of tests. ICCAD (1992)
Daniel Brand, Vijay S. Iyengar
Synthesis of Pseudo-Random Pattern Testable Designs. ITC (1989)
Daniel Brand
Hill climbing with reduced search space (logic optimization). ICCAD (1988)
Daniel Brand, Vijay S. Iyengar
Timing Analysis Using Functional Analysis. IEEE Trans. Computers 37 (10) (1988)
Daniel Brand
On typing in prolog. ACM SIGPLAN Notices 21 (1) (1986)
William H. Joyner Jr., Louise Trevillyan, Daniel Brand, Theresa A. Nix, Steven C. Gundersen
Technology adaption in logic synthesis. DAC (1986)
Daniel Brand
Detecting Sneak Paths in Transistor Networks. IEEE Trans. Computers 35 (3) (1986)
John A. Darringer, Daniel Brand, William H. Joyner Jr., Louise Trevillyan, John V. Gerbi
Production logic synthesis. ACM Conference on Computer Science (1985)
John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan
LSS: A System for Production Logic Synthesis. IBM J. Res. Dev. 28 (5) (1984)
Daniel Brand, Pitro Zafiropulo
On Communicating Finite-State Machines J. ACM 30 (2) (1983)
Daniel Brand
Redundancy and Don't Cares in Logic Synthesis. IEEE Trans. Computers 32 (10) (1983)
Daniel Brand, William H. Joyner Jr.
Verification of HDLC. IEEE Trans. Commun. 30 (5) (1982)
Pitro Zafiropulo, Colin H. West, Harry Rudin, D. D. Cowan, Daniel Brand
Towards Analyzing and Synthesizing Protocols. IEEE Trans. Commun. 28 (4) (1980)
William C. Carter, William H. Joyner Jr., Daniel Brand
Symbolic simulation for correct machine design. DAC (1979)
Daniel Brand
A note on data abstractions. ACM SIGPLAN Notices 13 (1) (1978)
William H. Joyner Jr., William C. Carter, Daniel Brand
Using Machine Descriptions in Program Verification. Jerusalem Conference on Information Technology (1978)
Daniel Brand
Path Calculus in Program Verification. J. ACM 25 (4) (1978)
Daniel Brand, William H. Joyner Jr.
Verification of Protocols Using Symbolic Execution. Comput. Networks 2 (1978)
William C. Carter, William H. Joyner Jr., Daniel Brand
Microprogram verification considered necessary. AFIPS National Computer Conference (1978)
Daniel Brand
Analytic Resolution in Theorem Proving. Artif. Intell. 7 (4) (1976)
Daniel Brand
Proving Programs Incorrect. ICALP (1976)
Daniel Brand
Proving Theorems with the Modification Method. SIAM J. Comput. 4 (4) (1975)