Source: Proceedings of the Bremen Workshop on Light Scattering 2024 ; Bremen Workshop on Light Scattering 2024 ; https://hal.science/hal-04541363 ; Bremen Workshop on Light Scattering 2024, Mar 2024, Brême,

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

اقرأ أكثر حفظ في قائمتي

Conference

Towards a Taxonomy for Reversible Computation Approaches

Authors : Glück, Robert; Lanese, Ivan; Mezzina, Claudio Antares ...

Subjects: Reversible computing; Models and languages; TaxonomyGiessen; Germany

Source: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, ProceedingsReversible Computation - RC 2023

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

اقرأ أكثر حفظ في قائمتي

Conference

Variance computation for system matrices and transfer function from input/output subspace system identification

Authors : Gres, Szymon; Döhler, Michael; Mevel, Laurent ...

Subjects: Subspace methods; Linear time-invariant systems; Transfer functionBerlin; Germany

Source: IFAC 2020, 21st International Federation of Automatic Control World Congress ; IFAC 2020 - 21st International Federation of Automatic Control World Congress ; https://inria.hal.science/hal-02902996 ;

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

اقرأ أكثر حفظ في قائمتي

Conference

Obstructions to faster diameter computation: Asteroidal sets

Authors : Ducoffe, Guillaume;

Subjects: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]; [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]; [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]Postdam; Germany

Source: 17th International Symposium on Parameterized and Exact Computation (IPEC 2022)https://hal.science/hal-0390629117th International Symposium on Parameterized

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

اقرأ أكثر حفظ في قائمتي

Conference

Boosting Definability Bipartition Computation Using SAT Witnesses

Authors : Lagniez, Jean-Marie; Marquis, Pierre;

Subjects: [INFO]Computer Science [cs]Dresden; Germany

Source: The 18th European Conference on Logics in Artificial Intelligence (JELIA'23) ; https://hal.science/hal-04236282 ; The 18th European Conference on Logics in Artificial Intelligence (JELIA'23), Sep

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

اقرأ أكثر حفظ في قائمتي

Conference

Fast Computation of the Roots of Polynomials Over the Ring of Power Series

Authors : Neiger, Vincent; Rosenkilde, Johan; Schost, Éric ...

Subjects: Polynomial root finding; power series; list decodingKaiserslautern; Germany

Source: ISSAC '17 ; https://hal.inria.fr/hal-01457954 ; ISSAC '17, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087642⟩ ; http://www.issac-conference.org/2017/

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

اقرأ أكثر حفظ في قائمتي

Academic Journal

How Is Computational Thinking Assessed in European K-12 Education? A Systematic Review

Authors : Babazadeh, Masiar; Negrini, Lucio

Subjects: Computation; Thinking Skills; Evaluation MethodsGreece; Spain; United Kingdom

Source: International Journal of Computer Science Education in Schools. Sep 2022 5(4).16

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Conference

Distributed Computation with Continual Population Growth

Authors : Cho, Da-Jung; Függer, Matthias; Hopper, Corbin ...

Subjects: microbiological circuits; majority consensus; birth-death processesvirtual; Germany

Source: DISC 2020 - 34th International Symposium on DIStributed Computing ; https://hal.science/hal-02946883 ; DISC 2020 - 34th International Symposium on DIStributed Computing, 2020, virtual,

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

اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Fostering the Computation Competence of Low Achievers through Cooperative Learning in Inclusive Classrooms: A Longitudinal Study

Tablet or Paper and Pen? Examining Mode Effects on German Elementary School Students' Computation Skills with Curriculum-Based Measurements

The DADI model: Computation of the mass absorption cross section of two coalesced soot nanoparticles from atomistic information.

Towards a Taxonomy for Reversible Computation Approaches

Variance computation for system matrices and transfer function from input/output subspace system identification

Obstructions to faster diameter computation: Asteroidal sets

Boosting Definability Bipartition Computation Using SAT Witnesses

Fast Computation of the Roots of Polynomials Over the Ring of Power Series

How Is Computational Thinking Assessed in European K-12 Education? A Systematic Review

Distributed Computation with Continual Population Growth

اتصل بنا

اتبع