Results 11 to 20 of about 333,973 (238)

Encoding Arguments

, 2017
Many proofs in discrete mathematics and theoretical computer science are based on the probabilistic method. To prove the existence of a good object, we pick a random object and show that it is bad with low probability.
Morin, Pat, Mulzer, Wolfgang, Reddad, Tommy   +2 more
core   +1 more source

Basic Properties of Metrizable Topological Spaces [PDF]

, 2009
We continue Mizar formalization of general topology according to the book [11] by Engelking. In the article, we present the final theorem of Section 4.1.
Pąk, Karol
core   +3 more sources

On Teaching Discrete Mathematics to Freshman Computer Science Students [PDF]

Journal of Higher Education Theory and Practice, 2019
Discrete Mathematics is an inevitable part of any undergraduate computer science degree programme. However, today's computer science student typically finds this to be at best a necessary evil with which they struggle to engage. Twenty years ago, we started to address this issue seriously in our university, and we have instituted a number of ...
Faron Moller, Liam O'Reilly
openaire   +3 more sources

Analysing the significance of small conformational changes and low occupancy states in serial crystallographic data

FEBS Open Bio, EarlyView.
This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill, Yelyzaveta Pulnova, Elke De Zitter, Helen M. Ginn, Briony A. Yorke   +4 more
wiley   +1 more source

A Survey on Continuous Time Computations [PDF]

, 2007
We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models.
A Ben-Hur, A Ben-Hur, A Ben-Hur, A Ben-Hur, A Kempe, A Rabinovich, A Turing, A Vergis, A. Church, APL Francisco, Asarin, B Trakhtenbrot, BJ Copeland, C Moore, C Moore, C Moore, C Moore, CE Shannon, CS Calude, D Dee, D Deutsch, D Graça, D Woods, DS Graça, DS Graça, E Asarin, E Asarin, E Asarin, E Post, EB Davies, G Etesi, G Lafferriere, G P ăun, H Abdi, HM Stoll, HT Siegelmann, HT Siegelmann, HT Siegelmann, I Artobolevskii, I Németi, J Earman, J Foy, J Mycka, J Mycka, J Mycka, J Mycka, J Šíma, J Šíma, JF Costa, JJ Hopfield, JJ Hopfield, JV Tucker, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Weihrauch, K-I Ko, K-I Ko, L Blum, L Faybusovich, L Faybusovich, L Lipshitz, LA Rubel, LA Rubel, LM Adleman, M Campagnolo, M Campagnolo, M Casey, M Casey, M Davis, M Gori, M Hogarth, M Hogarth, M Hoyrup, M Pour-El, MB Pour-El, MB Pour-El, MB Pour-El, MD Bowles, ML Campagnolo, ML Campagnolo, ML Hogarth, MO Rabin, MS Branicky, MS Branicky, N Müller, O Bournez, O Bournez, O Bournez, O Bournez, O Bournez, O. Finkel, P Bouyer, P Clote, P Collins, P Koiran, P Koiran, P Koiran, P Orponen, P Orponen, PW Shor, R Alur, R Alur, R Legenstein, RJ Lipton, RW Brockett, RW Brockett, S Aaronson, S Grigorieff, S Omohundro, S. C. Kleene, T Brihaye, T Brihaye, T Head, T Natschläger, TA Henzinger, TD Kieu, U Helmke, V Bush, VD Blondel, VD Blondel, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, WD Smith, Šíma   +138 more
core   +5 more sources

A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions

Advanced Engineering Materials, EarlyView.
This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice, Krzysztof S. Stopka, Michael D. Sangid   +2 more
wiley   +1 more source

Estimation of Laplacian spectra of direct and strong product graphs

, 2015
Calculating a product of multiple graphs has been studied in mathematics, engineering, computer science, and more recently in network science, particularly in the context of multilayer networks. One of the important questions to be addressed in this area
Sayama, Hiroki
core   +1 more source

A Thermodynamic 3D Model for the Simulation of Diffusion‐Controlled Alloying Processes in Heterogeneous Material Structures

Advanced Engineering Materials, EarlyView.
A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer, Leonhard Holländer, André Langohr, Hans Jürgen Maier   +3 more
wiley   +1 more source

Организация учебного процесса по дискретной математике и математической логике [PDF]

, 2013
In this paper we consider the method of teaching discrete mathematics and mathematical logic for future bachelors of "Mathematics and Computer Science".Рассматривается методика обучения дискретной математике и математической логике будущих бакалавров по ...
Bukusheva, A. V., Букушева, А. В.   +1 more
core  

Setup‐Optimized Sequencing in Job Shops: Modeling Workstation Productivity and Lateness Behavior

Advanced Engineering Materials, EarlyView.
Setup‐optimized sequencing in job‐shop production creates a trade‐off between productivity improvement and schedule reliability. A WIP‐explicit modeling framework links sequencing‐induced productivity gains and lateness dispersion through the production operating curve.
Friederike Stefanowski, Matthias Schmidt, Peter Nyhuis   +2 more
wiley   +1 more source