David Braun

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 11

Top Topics

Transformation Model

Projective Geometry

Partially Observable Environments

Top Venues

Math. Comput. Sci.

Ann. Math. Artif. Intell.

Publications

David Braun
DAC-JAX: A JAX Implementation of the Descript Audio Codec. CoRR (2024)
David Braun, Nicolas Magaud, Pascal Schreck
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry. J. Autom. Reason. 68 (1) (2024)
Giulia Siciliano, David Braun, Korbinian Zöls, Johannes Fottner
A Concept for Optimal Warehouse Allocation Using Contextual Multi-Arm Bandits. ICEIS (1) (2023)
Samuel Layer-Reiss, Alexander Zwenig, Carolyn Kalender, David Braun
Reinforcement Learning based Guidance Policy Optimization for a Swarm of Cooperative Sensor Platforms Tracking a Single Target. FUSION (2023)
Pascal Schreck, Nicolas Magaud, David Braun
Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach. CoRR (2022)
David Braun
DawDreamer: Bridging the Gap Between Digital Audio Workstations and Python Interfaces. CoRR (2021)
David Braun, Nicolas Magaud, Pascal Schreck
Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. ISSAC (2021)
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
A multiomics discriminatory analysis approach to identify drought-related signatures in maize nodal roots. BIBM (2020)
David Braun, Nicolas Magaud, Pascal Schreck
Two cryptomorphic formalizations of projective incidence geometry. Ann. Math. Artif. Intell. 85 (2-4) (2019)
David Braun, Nicolas Magaud, Pascal Schreck
Formalizing Some "Small" Finite Models of Projective Geometry in Coq. AISC (2018)
Julien Narboux, David Braun
Towards a Certified Version of the Encyclopedia of Triangle Centers. Math. Comput. Sci. 10 (1) (2016)
Bryan C. Pijanowski, Amin Tayyebi, Jarrod Doucette, Burak K. Pekin, David Braun, James Plourde
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. Environ. Model. Softw. 51 (2014)
Stefan Möllmann, David Braun, Hagen Engelmann, Wolfgang Raskob
Key performance indicator based calculations as a decision support for the tactical level. ISCRAM (2011)
Zhenpeng Zhao, Jungha Woo, David Braun
Google web toolkit for OGCE gadget based architecture. SC-GCE (2011)
David Braun
Teaching Sustainability Analysis in Electrical Engineering Lab Courses. IEEE Trans. Educ. 53 (2) (2010)
Jungha Woo, Jalaja Padma, Jae-Woo Lee, David Braun, Carol X. Song
Puffin: a fast and efficient web service-based condor job manager. SC-GCE (2009)
David Braun, John F. Buford, Robert S. Fish, Alexander D. Gelman, Alan Kaplan, Rajesh Khandelwal, Sathya Narayanan, Eunsoo Shim, Heather Yu
UP2P: a peer-to-peer overlay architecture for ubiquitous communications and networking. IEEE Commun. Mag. 46 (12) (2008)
Sathya Narayanan, David Braun, John F. Buford, Robert S. Fish, Alexander D. Gelman, Alan Kaplan, Rajesh Khandelwal, Eunsoo Shim, Heather Yu
Peer-to-peer streaming for networked consumer electronics [Peer-to-Peer Multimedia Streaming]. IEEE Commun. Mag. 45 (6) (2007)
Mahfuzur Rahman, David Braun, Dennis Bushmitch
A framework to access networked appliances in wide area networks. CCNC (2005)
David Braun, Subhayu Basu, Ron Weiss
Parameter estimation for two synthetic gene networks: a case study. ICASSP (5) (2005)
Jinhong K. Guo, Stephen Johnson, David Braun, Il-Pyung Park
Applicability of low water-mark mandatory access control security in Linux-based advanced networked consumer electronics. CCNC (2004)
Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun
An IP address configuration algorithm for multi-router zeroconf networks. ISCC (2002)
Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun
IP address configuration algorithms for routerless and single-router zeroconf networks. ISCC (2002)
Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun
Name-to-address translation algorithms for zeroconf networks. ICC (2002)
David Braun
What is character? J. Philos. Log. 24 (3) (1995)