Results 41 to 50 of about 420,700 (347)
Language Support for Generic Programming in Object-Oriented Languages: Design Challenges
Труды Института системного программирования РАН, 2018 It is generally considered that object-oriented (OO) languages provide weaker support for generic programming (GP) as compared with functional languages such as Haskell or SML. There were several comparative studies which showed this. But many new object-
Julia Belyakova
doaj +1 more source
From Logic to Functional Logic Programs [PDF]
arXiv, 2022 Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming framework.
arxiv
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Sleep spindles are an electrophysiological fingerprint of the sleeping human brain. They can be described in terms of duration, frequency, amplitude, and density, and vary widely according to age and sex. Spindles play a role in sleep and wake functions and are altered in several neurological and psychiatric disorders.
Julien Coelho +8 more
wiley +1 more source
Variations on agent-oriented programming
Computational Science and Techniques, 2017 Occurrence of the agent paradigm and its further applications have stimulated the emergence of new concepts and methodologies in computer science. Today terms like multi-agent system, agent-oriented methodology, and agent-oriented programming (AOP) are ...
Dalia Baziukė, Natalija Juščenko
doaj +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.Summary Data‐driven forecasting of ship motions in waves is investigated through feedforward and recurrent neural networks as well as dynamic mode decomposition. The goal is to predict future ship motion variables based on past data collected on the field, using equation‐free approaches.
Matteo Diez +2 more
wiley +1 more source
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs [PDF]
EPTCS 79, 2012, pp. 124-142, 2012 We present an approach to program reasoning which inserts between a program and its verification conditions an additional layer, the denotation of the program expressed in a declarative form. The program is first translated into its denotation from which subsequently the verification conditions are generated. However, even before (and independently of)
arxiv +1 more source
RhoA and Rac1 as Mechanotransduction Mediators in Colorectal Cancer
Advanced Biology, EarlyView.Analysing RhoA and Rac1 protein levels in Colorectal cancer (CRC) samples under mechanical strain highlights their potential as diagnostic markers. Monitoring their activity could offer valuable insights into how cancer spreads, paving the way for new approaches to better understand and diagnose colorectal cancer.
Sharda Yadav +5 more
wiley +1 more source
Penerapan Konsep Object Oriented Programming Untuk Aplikasi Pembuat Surat
Protek: Jurnal Ilmiah Teknik Elektro, 2019 Jenis penelitian ini adalah eksperimental yaitu dengan melakukan perancangan, pembuatan dan pengujian model sistem. Aplikasi penilaian persentasi mahasiswa ini bertujuan untuk membuat surat surat keputusan penugasan dosen pengajar dan membuat penomoran ...
Muh Rais
doaj +1 more source
Verification of MPI programs [PDF]
arXiv, 2021 In this paper, we outline an approach to verifying parallel programs. A new mathematical model of parallel programs is introduced. The introduced model is illustrated by the verification of the matrix multiplication MPI program.
arxiv
An Introduction to Object-Oriented Programming. [PDF]
, 1990 Abstract : Like many new ideas, object oriented programming (OOP) does not yet have a universally accepted definition. Even the terminology of OOP can vary greatly from one system or language to another. This paper introduces OOP to the newcomer in a language-independent manner.
openaire +2 more sources