Results 71 to 80 of about 822,562 (319)
Verication and synthesis of addition programs under the rules of statement correctness
Моделирование и анализ информационных систем, 2010 Deductive verication and synthesis of binary addition programs are performed on the base of the rules of program correctness for statements of the predicate programming P language. The paper presents the sketch of verication and synthesis of the programs
V. I. Shelekhov
doaj
A FIT-FOR-PURPOSE ALGORITHM FOR ENVIRONMENTAL MONITORING BASED ON MAXIMUM LIKELIHOOD, SUPPORT VECTOR MACHINE AND RANDOM FOREST [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2019 Due to concerns of recent earth climate changes such as an increase of earth surface temperature and monitoring its effect on earth surface, environmental monitoring is a necessity.
A. Jamali
doaj +1 more source
Budge: a programming language and a theorem prover [PDF]
arXiv, 2022 We present a simple programming language based on G\"odel numbering and prime factorization, enhanced with explicit, scoped loops, allowing for easy program composition. Further, we will present a theorem prover that allows expressing and working with formal systems.
arxiv
Towards Reuse on the Meta-Level [PDF]
, 2018 Modern software development peaks in complex product lines and utilizes features of programming languages to their extend. On the other hand, model driven development shines by abstraction from implementation details to ease communication between ...
Boßelmann, Steve, Wirkner, Dominic
core +2 more sources
Molecular Oncology, EarlyView.Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley +1 more source
Translating Recursive Probabilistic Programs to Factor Graph Grammars [PDF]
arXiv, 2020 It is natural for probabilistic programs to use conditionals to express alternative substructures in models, and loops (recursion) to express repeated substructures in models. Thus, probabilistic programs with conditionals and recursion motivate ongoing interest in efficient and general inference.
arxiv
arXiv, 2021 We introduce a new type of programming challenge called programming puzzles, as an objective and comprehensive evaluation of program synthesis, and release an open-source dataset of Python Programming Puzzles (P3). Each puzzle is defined by a short Python program $f$, and the goal is to find an input which makes $f$ return True.
arxiv
Kinerja Sistem Informasi Dengan Dengan Metode Unified Modelling Language [PDF]
, 2013 The size of the software to achieve its success is the ability to meet the needs of users with accurate data processing and display that can support a decision.
Yuniarthe, Y. (Yodhi)
core
Bid Optimization in Broad-Match Ad auctions
, 2009 Ad auctions in sponsored search support ``broad match'' that allows an advertiser to target a large number of queries while bidding only on a limited number.
Even-dar, Eyal +4 more
core +4 more sources
Critters in the Classroom: A 3D Computer-Game-Like Tool for Teaching Programming to Computer Animation Students [PDF]
, 2007 The brewing crisis threatening computer science education is a well documented fact. To counter this and to increase enrolment and retention in computer science related degrees, it has been suggested to make programming "more fun" and to offer ...
Anderson, Eike F., McLoughlin, L.
core +1 more source