David Braun

According to our database, David Braun authored at least 26 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry.

David Braun, Nicolas Magaud, Pascal Schreck

J. Autom. Reason., March, 2024

DAC-JAX: A JAX Implementation of the Descript Audio Codec.

David Braun

CoRR, 2024

2023

A Concept for Optimal Warehouse Allocation Using Contextual Multi-Arm Bandits.

Giulia Siciliano, David Braun, Korbinian Zöls, Johannes Fottner

Proceedings of the 25th International Conference on Enterprise Information Systems, 2023

Reinforcement Learning based Guidance Policy Optimization for a Swarm of Cooperative Sensor Platforms Tracking a Single Target.

Samuel Layer-Reiss, Alexander Zwenig, Carolyn Kalender, David Braun

Proceedings of the 26th International Conference on Information Fusion, 2023

2021

Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach.

Pascal Schreck, Nicolas Magaud, David Braun

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

DawDreamer: Bridging the Gap Between Digital Audio Workstations and Python Interfaces.

David Braun

CoRR, 2021

Two New Ways to Formally Prove Dandelin-Gallucci's Theorem.

David Braun, Nicolas Magaud, Pascal Schreck

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

A multiomics discriminatory analysis approach to identify drought-related signatures in maize nodal roots.

Sidharth Sen, Tyler McCubbin, Shannon K. King, Laura A. Greeley, Shuai Zeng, Cheyenne Baker, Rachel Mertz, Nicole D. Niehues, Jonathon T. Stemmle, Felix B. Fristchi, David Braun, Scott C. Peck, Melvin J. Oliver, Robert E. Sharp, Trupti Joshi

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2020

2019

Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective. (Combinatorial approach for the automation in Coq of formal proofs in incidence projective geometry).

David Braun

PhD thesis, 2019

Two cryptomorphic formalizations of projective incidence geometry.

David Braun, Nicolas Magaud, Pascal Schreck

Ann. Math. Artif. Intell., 2019

2018

Formalizing Some "Small" Finite Models of Projective Geometry in Coq.

David Braun, Nicolas Magaud, Pascal Schreck

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2016

Towards a Certified Version of the Encyclopedia of Triangle Centers.

Julien Narboux, David Braun

Math. Comput. Sci., 2016

2014

A big data urban growth simulation at a national scale: Configuring the GIS and neural network based Land Transformation Model to run in a High Performance Computing (HPC) environment.

Bryan C. Pijanowski, Amin Tayyebi, Jarrod Doucette, Burak K. Pekin, David Braun, James Plourde

Environ. Model. Softw., 2014

2011

Google web toolkit for OGCE gadget based architecture.

Zhenpeng Zhao, Jungha Woo, David Braun

Proceedings of the 2011 ACM SC Workshop on Gateway Computing Environments, 2011

Key performance indicator based calculations as a decision support for the tactical level.

Stefan Möllmann, David Braun, Hagen Engelmann, Wolfgang Raskob

Proceedings of the 8th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2011

2010

Teaching Sustainability Analysis in Electrical Engineering Lab Courses.

David Braun

IEEE Trans. Educ., 2010

2009

Puffin: a fast and efficient web service-based condor job manager.

Jungha Woo, Jalaja Padma, Jae-Woo Lee, David Braun, Carol X. Song

Proceedings of the 5th Grid Computing Environments Workshop, 2009

2008

UP2P: a peer-to-peer overlay architecture for ubiquitous communications and networking.

David Braun, John F. Buford, Robert S. Fish, Alexander D. Gelman, Alan Kaplan, Rajesh Khandelwal, Sathya Narayanan, Eunsoo Shim, Heather Yu

IEEE Commun. Mag., 2008

2007

Peer-to-peer streaming for networked consumer electronics [Peer-to-Peer Multimedia Streaming].

Sathya Narayanan, David Braun, John F. Buford, Robert S. Fish, Alexander D. Gelman, Alan Kaplan, Rajesh Khandelwal, Eunsoo Shim, Heather Yu

IEEE Commun. Mag., 2007

2005

Parameter estimation for two synthetic gene networks: a case study.

David Braun, Subhayu Basu, Ron Weiss

Proceedings of the 2005 IEEE International Conference on Acoustics, 2005

A framework to access networked appliances in wide area networks.

Mahfuzur Rahman, David Braun, Dennis Bushmitch

Proceedings of the 2nd IEEE Consumer Communications and Networking Conference, 2005

2004

Applicability of low water-mark mandatory access control security in Linux-based advanced networked consumer electronics.

Jinhong K. Guo, Stephen Johnson, David Braun, Il-Pyung Park

Proceedings of the 1st IEEE Consumer Communications and Networking Conference, 2004

2002

An IP address configuration algorithm for multi-router zeroconf networks.

Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun

Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

IP address configuration algorithms for routerless and single-router zeroconf networks.

Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun

Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

Name-to-address translation algorithms for zeroconf networks.

Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun

Proceedings of the IEEE International Conference on Communications, 2002

1995

What is character?

David Braun

J. Philos. Log., 1995