David Braun - RankMe

26 papers B 1C 3Misc 1Journal 10Unranked 10

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