Results 41 to 50 of about 9,322,932 (385)
Program Transformation for Program Verification
EPiC Series in Computing, 2018 We present a transformational approach to program verification and software model checking that uses three main ingredients:(i) Constraint Logic Programming (CLP),(ii) metaprogramming and program specialization, and(iii) proof by transformation.
PETTOROSSI, ALBERTO, Proietti, M.
openaire +6 more sources
Theory of linear and integer programming
Wiley-Interscience series in discrete mathematics and optimization, 1986 Introduction and Preliminaries. Problems, Algorithms, and Complexity. LINEAR ALGEBRA. Linear Algebra and Complexity. LATTICES AND LINEAR DIOPHANTINE EQUATIONS. Theory of Lattices and Linear Diophantine Equations.
A. Schrijver
semanticscholar +1 more source
Neural network interpretation techniques for analysis of histological images of breast abnormalities [PDF]
Гинекология, 2023 Background. Neural networks are actively used in digital pathology to analyze histological images and support medical decision-making. A common approach is to solve the classification problem, where only class labels are the only model responses. However,
Anna V. Fomina +3 more
doaj +1 more source
How functional programming mattered [PDF]
, 2015 In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is
Abelson +121 more
core +1 more source
Static analysis of function calls in Erlang [PDF]
e-Informatica Software Engineering Journal, 2013 Functions and their relations can affect numerous properties and metrics of a functional program. To identify and represent the functions and their calling connections, software analysers commonly apply semantic function analysis, which derives the ...
Dániel Horpácsi, Judit Kőszegi
doaj +1 more source
Programming Visuals, Visualising Programs
Science & Technology Studies, 2018 This article examines the role of visualisations in astrophysics programming work, showing that visualisations are not only outputs for those producing them, but can help those developing them understand how to do their work. Studies of visualization in programming have mainly been of social and cultural factors influencing scientific research.
Wes Sharrock +2 more
openaire +3 more sources
JACM, 1995 We present randomized approximation algorithms for the maximum cut (MAX CUT) and maximum 2-satisfiability (MAX 2SAT) problems that always deliver solutions of expected value at least.87856 times the optimal value.
M. Goemans, David P. Williamson
semanticscholar +1 more source
Rangifer, 1984 <p>NOR's chairman Ole K. Sara opened the conference, followed by a presentation of NOR by the secretary general Sven Skjenneberg. After he and Mauri Nieminen had presented news about reindeer research in the Nordic countries, the lectures and discussions in the conference sessions focused on 1) Pasture and pasture plants; 2) Stress; 3) Diseases ...
openaire +7 more sources
A machine learning approach to analyze customer satisfaction from airline tweets
Journal of Big Data, 2019 Customer’s experience is one of the important concern for airline industries. Twitter is one of the popular social media platform where flight travelers share their feedbacks in the form of tweets.
Sachin Kumar, Mikhail Zymbler
doaj +1 more source
Journal of Advanced Transportation, 2022 Multimodal transport refers to the transportation of goods under a single contract but performed with at least two different modes of transport. This research designs a new method for solving the Transportation Problem (TP) by introducing multimodal ...
Gurupada Maity +2 more
doaj +1 more source