Potential infinity in alternative set theory
Seminář / přednáška Potential infinity in alternative set theory.
Decomposition of 2D and 3D shapes into rectangular blocks.
Seminář / přednáška Decomposition of 2D and 3D shapes into rectangular blocks..
Interpolation without equality
In one or another logic, and assuming the presence of the symbols ⊥ and ⊤ for falsity and truth, interpolation theorem IT is the following claim. If the formula φ→ψ is valid, as determined by the semantics of the logic in question, then there exists a formula μ, called interpolant of φ and ψ, such that φ→μ and μ→ψ are valid and μ is built up from the extralogical symbols that occur in both φ and ψ. In propositional logic extralogical symbols are just atoms, and examples of logics for which …
Artificial Immune Systems: Multiclass Classification and Hybrid Methods
Storm will explain the basics of Artificial Immune Systems, discuss some of the recent advances in the field, including multiclass and fine-grained classification, as well as potential future work
TDB
Přednáška — Han Gao ( ICS CAS).
test
test