Results 1 to 10 of about 10,254,775 (266)
We explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar's effect handler abstraction. Effect handlers provide an abstraction for modular effectful programming: a handler acts as an interpreter for a ...
Lindley, Sam +2 more
+6 more sources
Valuation of health benefits of green-blue areas for the purpose of ecosystem accounting: a pilot in Flanders, Belgium [PDF]
In recent years, a vast amount of scientific literature has highlighted the benefits of nearby green space for physical and mental health, but the large variation in scope, methods and indicators used in these studies hampers the assessment of these ...
Leo De Nocker +3 more
doaj +3 more sources
Internet access is so easy that every level of society can access information from the website. If internet access is used positively, it will produce positive things for its users as well.
Asyiq Maulana +2 more
doaj +1 more source
Experimental and computational investigations of some new cabamothioate compounds [PDF]
The new derivatives of S-aryl (trichloroacetyl) carbamothioate were prepared from a two-component reaction of 2-naphthalenethiol or thiophenol derivatives and trichloroacetyl isocyanate in CH2Cl2 at room temperature at high yields.
Nahid Shajari +2 more
doaj +1 more source
AbstractA normative framework for modeling causal and counterfactual reasoning has been proposed by Spirtes, Glymour, and Scheines (1993; cf. Pearl, 2000). The framework takes as fundamental that reasoning from observation and intervention differ. Intervention includes actual manipulation as well as counterfactual manipulation of a model via thought ...
Steven A, Sloman, David A, Lagnado
openaire +2 more sources
Use the ensemble methods when detecting DoS attacks in Network Intrusion Detection Systems [PDF]
Building a good IDS model from a certain dataset is one of the main tasks in machine learning. Trainingmultiple classifiers at the same time to solve the same problem and then combining their outputs to improveclassification quality, called ensemble ...
Hoang Thanh, Tran Lang
doaj +1 more source
Proposal for Designing of New BIOS Program [PDF]
In this paper, a proposal for designing and implementation of general BIOS program have been done. This program consider as a modified version derived from previous versions with configure and adding a new activities differs from the others BIOS programs
Hussein Abdulameer Abdulkadhim +2 more
doaj +1 more source
A study on the effect of S doping and K+ adsorption to the electronic properties of graphene has been conducted by DFTB (Density Functional Tight Binding) calculation.
Yuniawan Hidayat +4 more
doaj +1 more source
An encryption-encoding architecture for security enhancement in 5G communication networks [PDF]
This article introduces a hybrid architecture of cryptography and coding technique to provide security in 5G communication networks. There are various types of attacks in 5G communication systems.
Das Anwesha +3 more
doaj +1 more source
The synthesized compound AlCuO2 was established and structurally characterized as the semiconductor. It is noted that there are no available data for theoretical studies, as well as computational studies.
Md. Tawhidul Islam +3 more
doaj +1 more source

