Filters








18 Hits in 6.5 sec

ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods [chapter]

David Geleßus, Michael Leuschel
2020 Lecture Notes in Computer Science  
Applications of B notebooks include executable documentation of formal models, interactive manuals, validation reports but also teaching of formal methods, logic, set theory and theoretical computer science  ...  We present a tool for using the B language in computational notebooks, based on the Jupyter Notebook interface and the ProB tool.  ...  Due to its foundations in set theory, the B language can also be used to express many general theoretical computer science concepts, such as finite automata.  ... 
doi:10.1007/978-3-030-48077-6_19 fatcat:ylwiumjy7zddreuqrhtxdude2u

The algebra and machine representation of statistical models [article]

Evan Patterson
2020 arXiv   pre-print
Statistical theories, being algebraic structures, are amenable to machine representation and are equipped with morphisms that formalize the relations between different statistical methods.  ...  Using tools from algebra, particularly categorical logic, a precise analogy is drawn between models in statistics and logic, enabling statistical models to be seen as models of theories, in the logical  ...  The ontology language and the semantic enrichment process are formalized using category-theoretic methods.  ... 
arXiv:2006.08945v1 fatcat:pum46cgefzek5ecchw6o5h5xt4

LPOP: Challenges and Advances in Logic and Practice of Programming [article]

David S. Warren, Yanhong A. Liu
2020 arXiv   pre-print
Its focus is challenges and advances in logic and practice of programming.  ...  This article describes the work presented at the first Logic and Practice of Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in conjunction with the Federated Logic Conference  ...  Acknowledgment Many thanks to Scott Stoller for helpful references and discussions and to Marc Denecker and Scott Stoller for helpful comments and suggestions.  ... 
arXiv:2008.07901v1 fatcat:bahezuktubemhfbabibbw6d75q

General Purpose Optimization Library (GPOL): A Flexible and Efficient Multi-Purpose Optimization Library in Python

Illya Bakurov, Marco Buzzelli, Mauro Castelli, Leonardo Vanneschi, Raimondo Schettini
2021 Applied Sciences  
Several interesting libraries for optimization have been proposed. Some focus on individual optimization algorithms, or limited sets of them, and others focus on limited sets of problems.  ...  Frequently, the implementation of one of them does not precisely follow the formal definition, and they are difficult to personalize and compare.  ...  The Traveling Salesman Problem The TSP is a popular NP-hard combinatorial problem, of high importance in theoretical and applied computer science and operations research.  ... 
doi:10.3390/app11114774 fatcat:w4wrvvcwfvbqtbpv67tc3uxln4

A Novel Method for Increasing the Overheat Ability of Radio Communication Devices with Frequency Hopping Spread Spectrum

Amin Salih Mohammed, Ihor Romanenko, Saravana Balaji B, Yevhen Kalashnikov, Nina Kuchuk
2020 International Journal of Interactive Mobile Technologies  
The investigated methods (techniques) for increasing the noise immunity of radio communication with the FHSS do not take into account the influence of transmitters and fail to predict the load of the radio  ...  complexity at the level of 10% is noted due to the increase in the number of computational procedures in the method.  ...  General approaches and separate methods of solving problems of this class are set out in the set of recommendations of the international radiocommunication union (IRU) [13] .  ... 
doi:10.3991/ijim.v14i11.13647 fatcat:plb5yttktbdtzpbh3pp4abyqgy

Development of a method of increasing the interference immunity of frequency-hopping spread spectrum radio communication devices

Oleksii Kuvshynov, Andrii Shyshatskyi, Olesia Zhuk, Robert Bieliakov, Yevgen Prokopenko, Oleksii Leontiev, Ruslan Zhyvotovskyi, Hryhorii Drobakha, Igor Romanenko, Sergii Petruk
2019 Eastern-European Journal of Enterprise Technologies  
From the above analysis, there is a contradiction between science and practice, which is as follows: -in science, existing methods for increasing the interference immunity of FHSS radio communication devices  ...  Setting objectives.  ... 
doi:10.15587/1729-4061.2019.160328 fatcat:cqqhv3zgtfedjnaho6da77zoo4

PIConGPU: Predictive Simulations of Laser-Particle Accelerators with Manycore Hardware

Axel Huebl, Michael Dr. Bussmann, Thomas Dr. Kluge, Ulrich Prof. Dr. Schramm, Thomas E. Prof. Dr. Cowan, Paul Prof. Dr. Gibbon, Burkhardt Prof. Dr. Kämpfer, Stefan PD Dr. Grafström
2019 Zenodo  
Such simulations require high numerical resolution and full geometric treatment for reliable predictions, which can only be addressed with high-performance computing.  ...  PIConGPU is designed with a modular and extensible implementation, allowing to compute on current and upcoming hardware from a single code base.  ...  Interdisciplinary research on the interface of computer science and theoretical physics is important for its success, corroborated by well-received publications and reusable components developed for PIConGPU  ... 
doi:10.5281/zenodo.3266819 fatcat:b73a3zvxvjecjplcsks7gf52cu

Bayesian calibration, process modeling and uncertainty quantification in biotechnology

Laura Marie Helleckes, Michael Osthege, Wolfgang Wiechert, Eric von Lieres, Marco Oldiges
2022 PLoS Computational Biology 18(3)  
and accounted for.  ...  In this work, we present a bottom-up conceptual and computational approach that solves many problems of understanding and implementing non-linear, empirical calibration modeling for quantification of analytes  ...  Acknowledgments First developments of data structures for multi-replicate modeling were made by Michael Osthege in the Theoretical Systems Biology group of Prof.  ... 
doi:10.18154/rwth-2022-04546 fatcat:fo22pjo3mranba4bxe3df4ctja

Bayesian calibration, process modeling and uncertainty quantification in biotechnology

Laura Marie Helleckes, Michael Osthege, Wolfgang Wiechert, Eric von Lieres, Marco Oldiges, Dina Schneidman-Duhovny
2022 PLoS Computational Biology  
and accounted for.  ...  In this work, we present a bottom-up conceptual and computational approach that solves many problems of understanding and implementing non-linear, empirical calibration modeling for quantification of analytes  ...  Acknowledgments First developments of data structures for multi-replicate modeling were made by Michael Osthege in the Theoretical Systems Biology group of Prof.  ... 
doi:10.1371/journal.pcbi.1009223 pmid:35255090 pmcid:PMC8939798 fatcat:4u7zvzjpardkvo5xfaga3zr23a

Rapid digital architecture design of orthogonal matching pursuit

Benjamin Knoop, Jochen Rust, Sebastian Schmale, Dagmar Peters-Drolshagen, Steffen Paul
2016 2016 24th European Signal Processing Conference (EUSIPCO)  
The growing availability of computing power allows for the implementation of algorithms of increasing computational complexity.  ...  For instance, a complex-valued digital architecture for the Orthogonal Matching Pursuit (OMP) algorithm with rank-1 updating has successfully been implemented and tested, which can be utilised for the  ...  ., consists of a full-custom 18 × 25 bit two's-complement multiplier, a 48 bit accumulator and a powerful arithmetic logic unit (ALU) to compute ten different logic functions of two operands and dual 24  ... 
doi:10.1109/eusipco.2016.7760570 dblp:conf/eusipco/KnoopRSPP16 fatcat:bo3c4fo6njeo3hjjsnwo72jbwe

Performance of Domain-Wall Encoding for Quantum Annealing [article]

Jie Chen, Tobias Stollenwerk, Nicholas Chancellor
2021 arXiv   pre-print
We compare this encoding with the traditional one-hot methods and find that they outperform the one-hot encoding for three different problems at different sizes both of the problem and of the variables  ...  jupyter notebooks [54, 55] .  ...  computation [29] ).  ... 
arXiv:2102.12224v2 fatcat:iam5sd6ik5g6tewxq5mq6cvwxy

An Algebraic Framework for Structured Epidemic Modeling [article]

Sophie Libkind, Andrew Baas, Micah Halter, Evan Patterson, James Fairbanks
2022 arXiv   pre-print
These algebraic structures, grounded in applied category theory, simplify and expedite modeling tasks such as model specification, stratification, analysis, and calibration.  ...  Scientists must modify existing models and create novel ones in light of new biological data and policy changes such as social distancing and vaccination.  ...  Acknowledgements The authors thank Xiaoyan Li, Nathaniel Osgood, David Smith, and Sean Wu for valuable insights into the methods and workflows of professional epidemiological modelers.  ... 
arXiv:2203.16345v3 fatcat:6j7znr4vefd3tpq7l3uklnk7ga

Dagstuhl Reports, Volume 6, Issue 1, January 2016, Complete Issue [article]

2016
The standards are known to be influenced by the NSA and GCHQ, and contain a recommended set of parameters that was generated by the NSA, instead of specifying that users generate their own.  ...  This seems to be a worse problem in some communities than others (e.g. security seems to value simplicity and clarity while PL and theory seems to value complexity more) We do observe that funding bodies  ...  Automata and formal languages Well quasi-orders have many-fold connections to automata theory and formal language theory.  ... 
doi:10.4230/dagrep.6.1 fatcat:vq74ezrwifbkhex6twvtdzbpaa

The question of questions: resolving (non-)exhaustivity in Wh-questions

Morgan C. Moyer
2020
Ginzburg (1995) and Asher & Lascarides (1998) noted that who-questions favor MA, while others (why, how, and where-questions) favor MS.  ...  Different questions appear to call for different kinds of answers.  ...  Method To determine a correlation between studies, first the proportion 'logical' and proportion 'global' were computed for each subject and compiled into one dataframe.  ... 
doi:10.7282/t3-bgfk-jt70 fatcat:qvauwfwogfgt3juucszvh4mmgi

Narratives and Models in the Assessment of Unproven Technology

Maximilian Roßmann
2021
I thank Jeroen Oomen, Anitra Baliga and my three reviewers for their constructive and comprehensive feedback on the later versions.  ...  Acknowledgements I thank Christine Rösch for leading the microalgae study and making the workshop possible.  ...  Figure 4 : 4 Figure 4: Computational Narrative in Jupyter Notebook (The code illustrates the survey evaluation for Roßmann, see Roßmann, 2018).  ... 
doi:10.5445/ir/1000133413 fatcat:c4ij477yubh5nfuiszubortnu4
« Previous Showing results 1 — 15 out of 18 results