@misc{51133,
  abstract     = {{In order to standardize spray flame synthesis (SFS) studies, intensive work has been done in recent years on the design of burner types. Thus, in 2019, the so-called SpraySyn1 burner was introduced (SS1), which was subsequently characterized in numerical and experimental studies. Based on this research, a modification of the nozzle design was proposed, which has now been considered in the successor model, SpraySyn2 (SS2). As little is known about the effect of the nozzle adaptation on the particle formation, we operated both burners under identical operating conditions to produce maghemite. The final powder comparison showed that SS2 yielded considerable higher specific surface areas (associated with smaller primary particle sizes), lower polydispersity, and higher phase purity. To obtain further information on the size distributions of aggregates and agglomerates generated by SS2, aerosol samples were extracted by hole in a tube (HIAT) sampling and characterized by scanning mobility particle sizing (SMPS). Samples were extracted along the centerline at different heights above the burner (HAB) above the visible flame tip (>7 cm), and quenching experiments were performed to extract the aerosol samples at different dilution rates. Thereby, it was demonstrated that performing detailed quenching experiments is crucial for obtaining representative HIAT-SMPS data. In particular, agglomerates/aggregate sizes were overestimated by up to ~70 % if samples were not sufficiently diluted. If sufficient dilution was applied, distribution widths and mean particle mobility diameters were determined with high accuracy (sample standard derivation <5 %). Our data suggested the evolution of primary particle sizes was mostly completed <7 cm HAB and it was shown aggregates/agglomerates present above the visible flame were compact in structure (non- fractal). The mean diameter of the particle ensemble grew along the centerline from 6.9 nm (7 cm) to 11.4 nm (15 cm), while distribution widths grew from 1.42 to 1.52.}},
  booktitle    = {{Applications in Energy and Combustion Science}},
  editor       = {{Tischendorf, Ricardo and Massopo, Orlando and Schmid, Hans-Joachim and Pyrmak, Olek and Dupont, Sophie and Fröde, Fabian and Pitsch, Heinz and Kneer, Reinhold}},
  keywords     = {{Flame Spray Pyrolysis, SpraySyn2, Spray flame synthesis, Maghemite nanoparticles, Gas to particle-conversion, Hole in a tube sampling}},
  publisher    = {{Elsevier}},
  title        = {{{Maghemite nanoparticles synthesis via spray flame synthesis and particle characterization by hole in a tube sampling and scanning mobility particle sizing (HIAT-SMPS)}}},
  doi          = {{https://doi.org/10.1016/j.jaecs.2023.100235}},
  year         = {{2024}},
}

@inproceedings{48855,
  abstract     = {{Computing sets of high quality solutions has gained increasing interest in recent years. In this paper, we investigate how to obtain sets of optimal solutions for the classical knapsack problem. We present an algorithm to count exactly the number of optima to a zero-one knapsack problem instance. In addition, we show how to efficiently sample uniformly at random from the set of all global optima. In our experimental study, we investigate how the number of optima develops for classical random benchmark instances dependent on their generator parameters. We find that the number of global optima can increase exponentially for practically relevant classes of instances with correlated weights and profits which poses a justification for the considered exact counting problem.}},
  author       = {{Bossek, Jakob and Neumann, Aneta and Neumann, Frank}},
  booktitle    = {{Learning and Intelligent Optimization}},
  isbn         = {{978-3-030-92120-0}},
  keywords     = {{Dynamic programming, Exact counting, Sampling, Zero-one knapsack problem}},
  pages        = {{40–54}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Exact Counting and~Sampling of Optima for the Knapsack Problem}}},
  doi          = {{10.1007/978-3-030-92121-7_4}},
  year         = {{2021}},
}

@article{2990,
  author       = {{Ackermann, Marcel R. and Blömer, Johannes and Sohler, Christian}},
  issn         = {{1549-6325}},
  journal      = {{ACM Trans. Algorithms}},
  keywords     = {{k-means clustering, k-median clustering, Approximation algorithm, Bregman divergences, Itakura-Saito divergence, Kullback-Leibler divergence, Mahalanobis distance, random sampling}},
  number       = {{4}},
  pages        = {{59:1----59:26}},
  title        = {{{Clustering for Metric and Nonmetric Distance Measures}}},
  doi          = {{10.1145/1824777.1824779}},
  year         = {{2010}},
}

@inproceedings{37053,
  abstract     = {{Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent Software (HdS) like drivers, operating systems, and firmware. For early estimation and verification, the application of SystemC in combination with Instruction Set Simulators and Software Emulators like QEMU is widely accepted. In this article, we present an advanced design flow for HW, (RT)OS and HdS refinement and verification with focus on the transition from abstract RTOS verification to full system RTOS/HdS emulation. In the context of assertion-based verification, we introduce a set of generic real-time properties which can be reused and verified at different abstraction levels and discuss their application. The properties are presented by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS models.}},
  author       = {{Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}},
  booktitle    = {{Proceedings of HLDVT2010}},
  keywords     = {{Hardware, Microprogramming, Application software, Timing, Protocols, Virtual prototyping, Real time systems, Sampling methods, Operating systems, Emulation}},
  location     = {{Anaheim, FL, USA}},
  publisher    = {{IEEE}},
  title        = {{{Verification of Real-Time Properties for Hardware-Dependant Software}}},
  year         = {{2010}},
}