Daniel Brand - RankMe

71 papers A* 6A 10B 16C 2Misc 3Journal 29Unranked 5

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