Compositional learning of mutually recursive procedural systems

org/10.17877/DE290R-22738 dc.language.iso en de dc.relation.ispartofseries International journal on software tools for technology transfer;Vol. 23. 2021, issue 4, pp 521-543 dc.rights.uri http://creativecommons [...] secondarypublication true de eldorado.secondarypublication.primarycitation International journal on software tools for technology transfer. Vol. 23. 2021, issue 4, pp. 521-543 en eldorado.secondarypublication …

MIBAD - an FPGA-based readout system for the LHCb Beam Conditions Monitor

readout for the post-upgrade era. The development of the system, encompassing hardware, firmware, and software, is detailed. The main emphasis of this work is the implementation of the beam abort decision logic [...] des BCMs nach dem Upgrade vorgestellt. Alle Aspekte der Entwicklung, also Hardware, Firmware und Software werden behandelt. Den Schwerpunkt der Arbeit bildet die Implementierung der Routine für die Bewertung …

Orbit correction and response analysis at DELTA

that corrects the transverse orbit position using a set of steerer magnets. The orbit correction software acts as the feedback's controller. Until 2021, the ring used a program based on a customized singular [...] RSFA will supply non-invasive measurements of these optical functions. The new orbit correction software and algorithm are described and evaluated in simulations as well as experimental studies. DELTA …

Simplicity-oriented lifelong learning of web applications

available over the Internet, anytime, anywhere in the world. Due to today’s rapid development practices, software changes are released faster than ever before, creating the risk of losing control over the quality [...] quality control , Domain-specific languages Subjects based on RSWK Domänenspezifische Sprache , Softwaretest , Qualitätssicherung Citation URI http://hdl.handle.net/2003/42438 http://dx.doi.org/10.17877 …

Belief revision, non-monotonic reasoning and secrecy for epistemic agents

Alternative Title(s) Abstract Software agents are increasingly used to handle the information of individuals and companies. They also exchange this information with other software agents and humans. This raises …

studis:accounts [Fachschaft Informatik]

Computer in den Lernräumen) Nutzung der Pooldrucker (100 Seiten pro Semester kostenlos) Kostenlose Microsoft-Software über das „Microsoft Azure Dev Tools“-Programm (Weitere Infos auf der Website der IRB ). Um …

den Lernräumen) * Nutzung der Pooldrucker (100 Seiten pro Semester kostenlos) * Kostenlose Microsoft-Software über das „Microsoft Azure Dev Tools“-Programm (Weitere Infos auf der [[https://irb.cs.tu-dortmund …

The RERS challenge: towards controllable and scalable benchmark synthesis

org/10.17877/DE290R-22815 dc.language.iso en de dc.relation.ispartofseries International journal on software tools for technology transfer;Bd 23. 2021, S. 917-930 dc.rights.uri http://creativecommons.org/ [...] secondarypublication true de eldorado.secondarypublication.primarycitation International journal on software tools for technology transfer. Band 23. 2021, Seiten 917-930 en eldorado.secondarypublication.p …

A coordinate ascent method for solving semidefinite relaxations of non-convex quadratic integer prog

experimentally that this approach outperforms the state-of-the-art non convex mixed-integer programming software COUENNE. Recently, Dong has studied the same class of quadratic problems, and has proposed a se [...] performance of Q-MIST when compared with CSDP and outperforms other specialized global optimization software, such as BARON. en Quadratic integer programming Semidefinite programming Coordinate-wise optimization …

E-Science-Tage 2017

ionen sind, z. B Software oder auf Repositorien publizierte Forschungsdaten. Repositorium - Eldorado Mit dem seit Mitte 1997 betriebenen Repositorium „Eldorado“, das auf der Software DSpace ba- siert, [...] wissenschaftlichen Zeit- schriften oder Monographien, andererseits im Rahmen von (Zwischen)-Berichten, Software, Kunstwerken oder anderem. All dies stellt ebenso wie die erhaltenen Primärdaten den For- schungsoutput [...] Normdaten und kontrollierten Vokabula- ren erleichtert die Umsetzung des linked data-Prinzips. Software-Architektur Das MMS besteht aktuell aus sechs Services, die auf eine mit einem application programming …