Results 11 to 20 of about 183,807 (295)
Stream Differential Equations: Specification Formats and Solution Methods [PDF]
Logical Methods in Computer Science, 2017 Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science.
Helle Hvid Hansen +2 more
doaj +3 more sources
Combining psychoanalytic concepts and computer science methodologies: an empirical study of the relationship between emotions and the Lacanian discourses [PDF]
Frontiers in PsychologyThis research aimed to examine the interdisciplinary interaction between psychoanalysis and computer science, suggesting a mutually beneficial exchange.
Minas Gadalla +2 more
doaj +2 more sources
MathematicsSince its articulation in 2009, Computational Social Science (CSS) has grown into a mature interdisciplinary paradigm, shaped first by mobile media-generated digital traces and more recently by generative AI.
Hua Li, Qifang Wang, Ye Wu
doaj +2 more sources
Practice-oriented training of future Computer Science teachers
Науковий Вісник Південноукраїнського Національного Педагогічного Університету імені К. Д. Ушинського, 2023 The article reveals the purpose of practical work on the methods of teaching Computer Science, investigates their place in the curriculum, the processes of their organization during the professional training of students in the educational and ...
Pavlova Nataliia
doaj +1 more source
Ideological and political assessment system based on data visualization [PDF]
E3S Web of Conferences, 2021 Data visualization is a very important research topic of current computer science and technology. It is a theoretical method and technology that uses the technology of computer processing massive and complex data to transform the data results produced in
Wang Ning
doaj +1 more source
Application of Computer Technology in Legal Practice [PDF]
E3S Web of Conferences, 2021 Based on the practice of law, the modern technology of electronic computer means and the practice that can be accepted by everyone who has been processed by electronic means have been obtained by the scientific and technological means that are now widely
Tan Yuanyuan, Li Ying
doaj +1 more source
From social networks to knowledge graphs: A plea for interdisciplinary approaches
Social Sciences and Humanities Open, 2022 Contextual information is a crucial factor in interdisciplinary research on social networks. At the same time, missing linked data and missing methods for large-scale knowledge networks are a serious limitation.
Jens Dörpinghaus +4 more
doaj +1 more source
Computational Modeling, Formal Analysis, and Tools for Systems Biology. [PDF]
PLoS Computational Biology, 2016 As the amount of biological data in the public domain grows, so does the range of modeling and analysis techniques employed in systems biology. In recent years, a number of theoretical computer science developments have enabled modeling methodology to ...
Ezio Bartocci, Pietro Lió
doaj +1 more source
Sport i Turystyka, 2023 Esports is a complex multi-component phenomenon, which is confirmed by the presence of a large number of scientific works devoted to various subject areas.
Svitlana Рiatysotska +4 more
doaj +1 more source
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods [PDF]
, 2020 We present a tool for using the B language in computational notebooks, based on the Jupyter Notebook interface and the ProB tool. Applications of B notebooks include executable documentation of formal models, interactive manuals, validation reports but also teaching of formal methods, logic, set theory and theoretical computer science. In addition to B
David Geleßus, Michael Leuschel
openaire +1 more source