نتائج البحث

Magic Numbers in Periodic Sequences

• Authors : Kreczman, Savinien; Prigioniero, Luca; Rowland, Eric

Subjects: Automatic sequences; Constant-recursive sequences; Magic numbers

• Source: urn:isbn:978-3-03-133179-4Combinatorics on Words - 14th International Conference, WORDS 2023, Proceedings, 206—219 (2023); 14th International Conference on WORDS 2023, Umeå, Swe [Swe],

تفاصيل العنوان

Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT

• Authors : Henkel, Elisabeth; Hoenicke, Jochen; Schindler, Tanja

Subjects: Quantified Formulas; SMT; Tree Interpolation

• Source: urn:isbn:978-3-03-138498-1Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Proceedings, 248–265 (2023); International Conference on Automated Deduction,

تفاصيل العنوان

Study of Topological Spaces that Don’t Rely on Points as their Basis

• Authors : Nidaa Hasan

Subjects: point-free topology, locale theory, frames, lattices of opens, spatiality, topological spaces, the categorical approach, theoretical computer science, logics, pointless topology; Science

• Source: Wasit Journal for Pure Sciences, Vol 3, Iss 3 (2024)

تفاصيل العنوان

From Graphs to the Science Computer of a Space Telescope: The Power of Petri Nets in Systems Engineering

• Authors : Graczyk, Rafal; Bujwan, Waldemar; Darmetko, Marcin

Subjects: On-Board Computer; Performance Modeling; Petri Net

• Source: urn:isbn:978-3-03-106652-8Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings (2022); Lecture Notes in

تفاصيل العنوان

3D Digital Heritage and Historical Storytelling: Outcomes from the Interreg EMR Terra Mosana Project

• Authors : Van Ruymbeke, Muriel; Nofal, Eslam; Billen, Roland ...

Subjects: 3D digital experiences; Digital heritage; Digital narratives

• Source: urn:isbn:978-3-03-105433-4Culture and Computing - 10th International Conference, C and C 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Proceedings, 262-276 (2022);

تفاصيل العنوان

Structural and combinatorial properties of 2-swap word permutation graphs

• Authors : Adamson, Duncan; Flaherty, Nathan; Potapov, Igor ...

Subjects: Combinatorics on words; Parikh vector; Graph algorithms

تفاصيل العنوان

Requirements Information in Backlog Items: Content Analysis

• Authors : van Can, Ashley T.; Dalpiaz, Fabiano;

Subjects: Agile Requirements Engineering; Backlog Items; Content Analysis

تفاصيل العنوان

Presentation_1_Good continuation in 3D: the neurogeometry of stereo vision.pdf

• Authors : Maria Virginia Bolelli; Giovanna Citti; Alessandro Sarti

Subjects: Theoretical Computer Science; Applied Computer Science; Quantum Information

تفاصيل العنوان

Video Games are Already Inclusive

• Authors : Dr. Kristopher Alexander

Subjects: Other theoretical computer science and computational mathematics; n.e.c; Adult and continuing education

تفاصيل العنوان

Delftse foundations of computation

• Authors : Hugtenburg, Stefan; Delft University of Technology, Faculty of Electrical Engineering, Mathematics and Computer Science; Yorke-Smith, Neil

Subjects: propositional logic; predicate logic; proof techniques

• Source: TU Delft OPEN Textbooks

تفاصيل العنوان