Search Results - Arbis Subjects::Engineering and Technology::Computer Sciences::Theoretical Computer Science

Additive geometric kernel computation algorithms in 3D ; 3 boyutlu eklemeli geometrik çekirdek hesaplama algoritmaları

Authors: Asiler, Merve Sahillioğlu, Yusuf Department of Computer Engineering

Contributors: Asiler, Merve Sahillioğlu, Yusuf Department of Computer Engineering

Subject Terms: 3D kernel, Star-shape, Visibility coverage, Mesh guidance, Arbis Subjects::Engineering and Technology, Arbis Subjects::Engineering and Technology::Computer Sciences, Arbis Subjects::Engineering and Technology::Computer Sciences::Algorithms, Arbis Subjects::Engineering and Technology::Computer Sciences::Computer Graphics, Arbis Subjects::Engineering and Technology::Computer Sciences::Theoretical Computer Science

File Description: 103 pages; application/pdf

Relation: https://hdl.handle.net/11511/110437

Availability: https://hdl.handle.net/11511/110437

Finite Automata for Variable Assignment Languages and Their Algorithmic Inference ; Değişken Atama Dillerine Özgü Sonlu Durum Devingenleri ve Bunların Algoritmik Çıkarsanması

Authors: Garipler, Atakan Oğuztüzün, Mehmet Halit S. Department of Computer Engineering

Contributors: Garipler, Atakan Oğuztüzün, Mehmet Halit S. Department of Computer Engineering

Subject Terms: Model Learning, Automata Theory, Active Automata Learning, Constraint Acquisition, Representation of Constraint-based Systems, Arbis Subjects::Engineering and Technology::Computer Sciences::Theoretical Computer Science, Arbis Subjects::Engineering and Technology::Computer Sciences::Algorithms, Arbis Subjects::Social Sciences and Humanities::Informatics::Cognitive Science, Arbis Subjects::Engineering and Technology::Computer Sciences::Theoretical Computer Science::Formal Languages, Arbis Subjects::Engineering and Technology::Computer Sciences::Theoretical Computer Science::Formal Methods, Arbis Subjects::Engineering and Technology::Computer Sciences, Arbis Subjects::Engineering and Technology::Computer Sciences::Artificial Intelligence, Computer Learning and Pattern Recognition::Computer Learning

File Description: application/pdf

Relation: https://hdl.handle.net/11511/105452

Availability: https://hdl.handle.net/11511/105452

Routing Algorithms As An Application Of Graph Theory ; Grafik Teorisinin Bir Uygulaması Olarak Yönlendirme Algoritmaları

Authors: Yıldırım, Gökberk Özbudak, Ferruh Department of Cryptography

Contributors: Yıldırım, Gökberk Özbudak, Ferruh Department of Cryptography

Subject Terms: Bellman-Ford, Dijkstra, shortest path, routing algorithms, communication networks, directed graphs, minimum cycle path, Arbis Subjects::Engineering and Technology::Computer Sciences, Arbis Subjects::Engineering and Technology::Computer Sciences::Algorithms, Arbis Subjects::Engineering and Technology::Computer Sciences::Computer Networks, Arbis Subjects::Engineering and Technology::Computer Sciences::Theoretical Computer Science, Arbis Subjects::Engineering and Technology::Computer Sciences::Theoretical Computer Science::Other, Arbis Subjects::Engineering and Technology::Computer Sciences::Computer Networks::Communications and Network Protocols, Arbis Subjects::Engineering and Technology::Computer Sciences::Algorithms::Other, Arbis Subjects::Natural Sciences::Mathematics::Computer Science, Arbis Subjects::Natural Sciences::Mathematics::Other

File Description: application/pdf

Relation: https://hdl.handle.net/11511/102142

Availability: https://hdl.handle.net/11511/102142

Semantic dimensionality reduction during language acquisition: A window into concept representation ; Dil edinimi sırasındaki anlambilimsel boyut indirgeme: Kavram temsiline açılan pencere

Authors: Özcan, Rojda Bozşahin, Hüseyin Cem Department of Cognitive Sciences

Contributors: Özcan, Rojda Bozşahin, Hüseyin Cem Department of Cognitive Sciences

Subject Terms: Language acquisition, Semantics, Dimensionality reduction, De bruijn index, Language of thought, Arbis Subjects::Engineering and Technology::Computer Sciences::Artificial Intelligence, Computer Learning and Pattern Recognition, Arbis Subjects::Engineering and Technology::Computer Sciences::Theoretical Computer Science, Arbis Subjects::Social Sciences and Humanities::Philosophy::Systematic Philosopy and Logic, Arbis Subjects::Social Sciences and Humanities::Psychology::Developmental Psychology, Arbis Subjects::Social Sciences and Humanities::Psychology, Arbis Subjects::Social Sciences and Humanities::Informatics::Cognitive Science, Arbis Subjects::Social Sciences and Humanities::Informatics, Arbis Subjects::Natural Sciences::Mathematics, Arbis Subjects::Natural Sciences::Statistics, Arbis Subjects::Natural Sciences::Mathematics::Linear and Multilinear Algebra: Matrix Theory, Arbis Subjects::Social Sciences and Humanities::Behavioural Sciences

File Description: application/pdf

Relation: https://hdl.handle.net/11511/99545

Availability: https://hdl.handle.net/11511/99545

Repair of timed automata for non-vacuous satisfaction of requirements ; Zamanlı otomatların gerekliliklerin anlamlı sağlanması için tamiri

Authors: Taytak, Mert Alp Aydın Göl, Ebru Department of Computer Engineering

Contributors: Taytak, Mert Alp Aydın Göl, Ebru Department of Computer Engineering

Subject Terms: Vacuity, Timed automata, Repair, Reduction, Arbis Subjects::Engineering and Technology::Computer Sciences::Theoretical Computer Science::Formal Methods, Arbis Subjects::Engineering and Technology::Computer Sciences

File Description: application/pdf

Relation: https://hdl.handle.net/11511/105607

Availability: https://hdl.handle.net/11511/105607