Compare commits
32 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
5302b32929 | ||
|
|
d5586e57fc | ||
|
|
d0acc42d81 | ||
|
|
f3188ac35a | ||
|
|
ad1b6a558b | ||
|
|
7eadd56eaa | ||
|
|
53c1357df7 | ||
|
|
8d862ede26 | ||
|
|
44bbfbed91 | ||
|
|
f65f0b1ddf | ||
|
|
1d6d6b6fbe | ||
|
|
62779ec260 | ||
|
|
be3edb60f9 | ||
|
|
b9403e091b | ||
|
|
2c916d9a87 | ||
|
|
310b71e203 | ||
|
|
fcb1333aed | ||
|
|
c39267b3b4 | ||
|
|
4291ed453c | ||
|
|
ab2ff3177a | ||
|
|
c2a4d40da3 | ||
|
|
aa75d3ad73 | ||
|
|
1f0c224a7d | ||
|
|
eb29a28284 | ||
|
|
7648203767 | ||
|
|
64e1d82d04 | ||
|
|
f7450d1875 | ||
|
|
884a7e358b | ||
|
|
2016977f30 | ||
|
|
f88127c0d2 | ||
|
|
a637eec888 | ||
|
|
ddd6bf9149 |
489
Trees/SAT_Construction.ipynb
Normal file
489
Trees/SAT_Construction.ipynb
Normal file
File diff suppressed because one or more lines are too long
271
Trees/SAT_Construction2.ipynb
Normal file
271
Trees/SAT_Construction2.ipynb
Normal file
File diff suppressed because one or more lines are too long
261
Trees/SAT_Construction2_Answers.ipynb
Normal file
261
Trees/SAT_Construction2_Answers.ipynb
Normal file
File diff suppressed because one or more lines are too long
586
Trees/SAT_Construction_Answers.ipynb
Normal file
586
Trees/SAT_Construction_Answers.ipynb
Normal file
File diff suppressed because one or more lines are too long
1061
Trees/SAT_Crossword.ipynb
Normal file
1061
Trees/SAT_Crossword.ipynb
Normal file
File diff suppressed because one or more lines are too long
911
Trees/SAT_Crossword_Answers.ipynb
Normal file
911
Trees/SAT_Crossword_Answers.ipynb
Normal file
File diff suppressed because one or more lines are too long
275
Trees/SAT_Graph_Coloring.ipynb
Normal file
275
Trees/SAT_Graph_Coloring.ipynb
Normal file
File diff suppressed because one or more lines are too long
279
Trees/SAT_Graph_Coloring_Answers.ipynb
Normal file
279
Trees/SAT_Graph_Coloring_Answers.ipynb
Normal file
File diff suppressed because one or more lines are too long
270
Trees/SAT_Sudoku.ipynb
Normal file
270
Trees/SAT_Sudoku.ipynb
Normal file
File diff suppressed because one or more lines are too long
433
Trees/SAT_Sudoku_Answers.ipynb
Normal file
433
Trees/SAT_Sudoku_Answers.ipynb
Normal file
File diff suppressed because one or more lines are too long
251
Trees/SAT_Tseitin.ipynb
Normal file
251
Trees/SAT_Tseitin.ipynb
Normal file
File diff suppressed because one or more lines are too long
310
Trees/SAT_Tseitin_Answers.ipynb
Normal file
310
Trees/SAT_Tseitin_Answers.ipynb
Normal file
File diff suppressed because one or more lines are too long
264
Trees/SAT_Z3.ipynb
Normal file
264
Trees/SAT_Z3.ipynb
Normal file
File diff suppressed because one or more lines are too long
335
Trees/SAT_Z3_Answers.ipynb
Normal file
335
Trees/SAT_Z3_Answers.ipynb
Normal file
File diff suppressed because one or more lines are too long
BIN
Trees/cb_2018_us_state_500k.zip
Normal file
BIN
Trees/cb_2018_us_state_500k.zip
Normal file
Binary file not shown.
@@ -33,6 +33,36 @@ const citation = `
|
|||||||
`;
|
`;
|
||||||
|
|
||||||
const news = [
|
const news = [
|
||||||
|
{
|
||||||
|
// date: "03/6/25",
|
||||||
|
// content: (
|
||||||
|
// <HeroNewsItemContent>
|
||||||
|
// New {" "}
|
||||||
|
// <UDLLink href="https://dl4ds.github.io/sp2025/lectures/">
|
||||||
|
// slides and video lectures
|
||||||
|
// </UDLLink>{" "}
|
||||||
|
// that closely follow the book from Thomas Gardos of Boston University.
|
||||||
|
// </HeroNewsItemContent>
|
||||||
|
// ),
|
||||||
|
},
|
||||||
|
{
|
||||||
|
date: "02/19/25",
|
||||||
|
content: (
|
||||||
|
<HeroNewsItemContent>
|
||||||
|
Three new blogs {" "}
|
||||||
|
<UDLLink href="https://rbcborealis.com/research-blogs/odes-and-sdes-for-machine-learning/">
|
||||||
|
[1]
|
||||||
|
</UDLLink>
|
||||||
|
<UDLLink href="https://rbcborealis.com/research-blogs/introduction-ordinary-differential-equations/">
|
||||||
|
[2]
|
||||||
|
</UDLLink>
|
||||||
|
<UDLLink href="https://rbcborealis.com/research-blogs/closed-form-solutions-for-odes/">
|
||||||
|
[3]
|
||||||
|
</UDLLink>{" "}
|
||||||
|
on ODEs and SDEs in machine learning.
|
||||||
|
</HeroNewsItemContent>
|
||||||
|
),
|
||||||
|
},
|
||||||
{
|
{
|
||||||
date: "01/23/25",
|
date: "01/23/25",
|
||||||
content: (
|
content: (
|
||||||
@@ -272,8 +302,8 @@ export default function HeroSection() {
|
|||||||
<HeroImgWrap>
|
<HeroImgWrap>
|
||||||
<Img src={img} alt="Book Cover" />
|
<Img src={img} alt="Book Cover" />
|
||||||
</HeroImgWrap>
|
</HeroImgWrap>
|
||||||
<HeroLink href="https://github.com/udlbook/udlbook/releases/download/v5.00/UnderstandingDeepLearning_11_21_24_C.pdf">
|
<HeroLink href="https://github.com/udlbook/udlbook/releases/download/v5.0.1/UnderstandingDeepLearning_03_26_25_C.pdf">
|
||||||
Download full PDF (21 November 2024)
|
Download full PDF (26 March 2025)
|
||||||
</HeroLink>
|
</HeroLink>
|
||||||
<br />
|
<br />
|
||||||
<HeroDownloadsImg
|
<HeroDownloadsImg
|
||||||
|
|||||||
@@ -151,9 +151,20 @@ export default function MediaSection() {
|
|||||||
</ul>
|
</ul>
|
||||||
</MediaContent>
|
</MediaContent>
|
||||||
<TopLine>Video lectures</TopLine>
|
<TopLine>Video lectures</TopLine>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
<MediaLink href="https://www.youtube.com/playlist?list=PLRdABJkXXytCz19PsZ1PCQBKoZGV069k3">
|
<MediaLink href="https://www.youtube.com/playlist?list=PLRdABJkXXytCz19PsZ1PCQBKoZGV069k3">
|
||||||
Video lectures
|
Video lectures
|
||||||
</MediaLink>{" "} for chapter 1-12 from Tamer Elsayed
|
</MediaLink>{" "} for chapters 1-12 from Tamer Elsayed
|
||||||
|
</li>
|
||||||
|
{/* <li>
|
||||||
|
<MediaLink href="https://dl4ds.github.io/sp2025/lectures/">
|
||||||
|
Video lectures and slides
|
||||||
|
</MediaLink>{" "} that closely follow the book from Thomas Gardos of Boston University.
|
||||||
|
</li> */}
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
|
||||||
</Column2>
|
</Column2>
|
||||||
</MediaRow2>
|
</MediaRow2>
|
||||||
</MediaWrapper>
|
</MediaWrapper>
|
||||||
|
|||||||
@@ -709,6 +709,50 @@ const responsibleAI = [
|
|||||||
},
|
},
|
||||||
];
|
];
|
||||||
|
|
||||||
|
const ODESDE = [
|
||||||
|
{
|
||||||
|
text: "ODEs and SDEs in machine learning",
|
||||||
|
link: "https://rbcborealis.com/research-blogs/odes-and-sdes-for-machine-learning/",
|
||||||
|
details: [
|
||||||
|
"ODEs",
|
||||||
|
"SDEs",
|
||||||
|
"ODEs and gradient descent",
|
||||||
|
"SDEs in stochastic gradient descent",
|
||||||
|
"ODEs in residual networks",
|
||||||
|
"ODEs and SDES in diffusion models",
|
||||||
|
"Physics-informed machine learning",
|
||||||
|
],
|
||||||
|
},
|
||||||
|
{
|
||||||
|
text: "Introduction to ODEs",
|
||||||
|
link: "https://rbcborealis.com/research-blogs/introduction-ordinary-differential-equations/",
|
||||||
|
details: [
|
||||||
|
"What are ODEs?",
|
||||||
|
"Terminology and properties",
|
||||||
|
"Solutions",
|
||||||
|
"Boundary conditions",
|
||||||
|
"Existence of solutions",
|
||||||
|
],
|
||||||
|
},
|
||||||
|
{
|
||||||
|
text: "Closed-form solutions for ODEs",
|
||||||
|
link: "https://rbcborealis.com/research-blogs/closed-form-solutions-for-odes/",
|
||||||
|
details: [
|
||||||
|
"Validating proposed solutions",
|
||||||
|
"Class 1: Right-hand side is a function of t only",
|
||||||
|
"Class 2: Linear homogeneous",
|
||||||
|
"Class 3: right-hand side is function of x alone",
|
||||||
|
"Class 4: Right-hand side is a separable function of x and t",
|
||||||
|
"Class 5: Exact ODEs",
|
||||||
|
"Class 6: linear inhomogeneous ODEs",
|
||||||
|
"Class 7: Euler homogeneous",
|
||||||
|
"Vector ODEs",
|
||||||
|
"The matrix exponential"
|
||||||
|
],
|
||||||
|
},
|
||||||
|
]
|
||||||
|
|
||||||
|
|
||||||
export default function MoreSection() {
|
export default function MoreSection() {
|
||||||
return (
|
return (
|
||||||
<>
|
<>
|
||||||
@@ -859,6 +903,23 @@ export default function MoreSection() {
|
|||||||
</li>
|
</li>
|
||||||
))}
|
))}
|
||||||
</MoreOuterList>
|
</MoreOuterList>
|
||||||
|
<TopLine>ODEs and SDEs in machine learning</TopLine>
|
||||||
|
<MoreOuterList>
|
||||||
|
{ODESDE.map((item, index) => (
|
||||||
|
<li key={index}>
|
||||||
|
<MoreLink href={item.link} target="_blank" rel="noreferrer">
|
||||||
|
{item.text}
|
||||||
|
</MoreLink>
|
||||||
|
<MoreInnerP>
|
||||||
|
<MoreInnerList>
|
||||||
|
{item.details.map((detail, index) => (
|
||||||
|
<li key={index}>{detail}</li>
|
||||||
|
))}
|
||||||
|
</MoreInnerList>
|
||||||
|
</MoreInnerP>
|
||||||
|
</li>
|
||||||
|
))}
|
||||||
|
</MoreOuterList>
|
||||||
</Column1>
|
</Column1>
|
||||||
|
|
||||||
<Column2>
|
<Column2>
|
||||||
|
|||||||
Reference in New Issue
Block a user