kxyvr

10 ms·

31.
by kxyvr 3y ago
This is great news. We can always use better treatments. I had a case of metastatic melanoma (III-A) in my early 20's and the drug of choice at that time was interferon, which was not a particularly pleasant experience. There were e
32.
by kxyvr 3y ago
In a vacuum, you shouldn't care. Broadly, Hessenberg matrices arise in a variety of contexts, so understanding their properties helps these algorithms proceed more effectively. For example, upper Hessenberg matrices arise during an Ar
33.
by kxyvr 3y ago
As mentioned in a sibling comment, Lebesgue integration can be helpful with probability theory because we can wrap some information into the measure rather than the function. Though, to be sure, this can often be done in a similar manner u
34.
by kxyvr 3y ago
Along a similar line, the only book that I've found that has goes through a careful derivation of the divergence theorem using Lebesgue integration is, "A Concise Introduction to the Theory of Integration," Second Edition by
35.
by kxyvr 3y ago
For the mathematically inclined, the best I've seen is An Introduction to Continuum Mechanics by Morton Gurtin from 1981. At one point, it could be purchased from Google books directly as a pdf.
36.
by kxyvr 3y ago
No. It's used differently. Here's another way to understand Kalman filters that doesn't require statistics, but does require some knowledge of feedback controllers. Consider a model of a system of the form x'=Ax+Bu
37.
by kxyvr 3y ago
I'm slow on replies, but thanks for the references. I'll have a look.
38.
by kxyvr 3y ago
Thanks for sending by the mathlib examples. They're not particularly intelligible for me, but it's something to work towards. Generally speaking, I work in the intersection between optimization, differential equations, and contro
39.
by kxyvr 3y ago
I am a mathematician and would love to mechanize my proofs. The issue is that systems like Coq construct proofs in a radically different way than how we were trained. I've struggled with Coq even with a somewhat more than a passing k
40.
by kxyvr 3y ago
I work professionally in computational optimization, so here are some of my observations coming from the world of mechanics. In my experience, it's because the client is trying to reuse an existing simulation code for something that re
41.
by kxyvr 3y ago
I appreciate the work on this. That's not particularly easy code to write, so thanks to whoever is working through this.
42.
by kxyvr 3y ago
At least in the past, there were some issues with the licensing of dependencies. For example, both Julia and MATLAB were dependent on a variety of routines from SuiteSparse such as the Choleski factorization and the QR factorization. Thes
43.
by kxyvr 3y ago
This kind of comment makes me genuinely angry. It's exact opposite. Repeating this lie led to painful death. My wife is an ICU physician. I traveled with her around the country during the COVID pandemic to help provide moral support
44.
by kxyvr 3y ago
It wasn't an expensive disaster for IBM, but it was for MD Anderson Cancer Center, which spent $62 million on a project using Watson that didn't work: https://www.medscape.com/viewarticle/876070 Certainly, no
45.
by kxyvr 4y ago
As someone who has been through this, I'll offer some random, unsolicited advice: 1. Much is dictated by level of care. Meaning, there is a spectrum from independent living, assisted living, and nursing home. Independent living is t
46.
by kxyvr 4y ago
1. Principles of Mathematical Analysis by Walter Rudin (baby Rudin) - I'd studied real analysis in the past, but this book is direct and rigorous and provided a good framework to move forward into things like functional analysis in a
47.
by kxyvr 4y ago
I spent about a decade working for one of the NNSA labs. I think they're a good place to work, but it's a very different work environment than startup culture. Most of what I'm seeing in the discussion is pretty accurate.
48.
by kxyvr 4y ago
Joanna Papakonstantinou wrote a PhD thesis on the historical development of BFGS and the secant method back in 2009: https://scholarship.rice.edu/handle/1911/61898 Part of that thesis discusses the Babylonian use
49.
by kxyvr 4y ago
To add to this, Pew has an article that talks about a variety of topics including funding of higher education: https://www.pewtrusts.org/en/research-and-analysis/issue-bri... If you look at Figure 4, within the la
50.
by kxyvr 4y ago
I'll contend that this depends. For example, in mixed-integer linear programs, the function evaluations are trivial, but the combinatorial search is expensive. Alternatively, for nonlinear, continuous optimization problems with const
51.
by kxyvr 4y ago
Many already do, but not necessarily explicitly. If an optimizer accepts user defined functions for its evaluation and derivatives, these computations can be done using a GPU even though the optimizer itself knows nothing about the GPU. F
52.
by kxyvr 4y ago
I just went through this process with Gentoo on a framework laptop. Here are some random, likely incomplete notes to make this work. It uses a swap file on an encrypted filesystem 1. Create a swap file. Our rule of thumb is ram + sq
53.
by kxyvr 4y ago
I'll ask here in case anyone knows: I actually needed to move from Wayland to X11 on the new Framework laptop because of problems with the touchpad, which I believe uses libinput in Wayland. It appeared as though small motions of the
54.
by kxyvr 4y ago
Candidly, it took way too long to find their model. Information about each of the challenges can be found here: https://crowd-innovation.bmwgroup.com/servlet/hype/IMT?docum... A pdf of the formulation can be fo
55.
by kxyvr 4y ago
How well is this law actually enforced? As an example, I quickly pulled a physician job at a random HCA hospital in Denver: https://careers.hcahealthcare.com/jobs/9031565-pulmonary-sla... I see no salary ranges. I pu
56.
by kxyvr 4y ago
Yes, I believe women have been prosecuted for self-inducing abortions using an abortifacient even prior to the current court ruling. For example: https://newrepublic.com/article/111368/the-rise-diy-abortion... h
57.
by kxyvr 4y ago
As far as I know, Texas has not removed tenure. In 2015, Wisconsin significantly weakened their system and Georgia did as well in 2021. There was a paper published last year that discusses the impact of the political decisions on Wisconsi
58.
by kxyvr 4y ago
For someone that understands this topic better than I, what's the difference between the target audience or information from this site compared to something like https://www.matweb.com ?
59.
by kxyvr 4y ago
Not a problem! And, yes, federal contracts are incredibly confusing and full of terminology that most people outside of that line of business do not use. That said, one more resource that may be helpful is your local SBA (Small Business A
60.
by kxyvr 4y ago
There is. My recollection is that it's easiest to use the adjugate like they do on this question: https://math.stackexchange.com/questions/38701/how-to-calcul... Though, there are other ways to derive it. M

More ›