Results 201 to 210 of about 45,170 (264)
WS-SSA: workflow scheduling in cloud computing using salp swarm algorithm. [PDF]
Sharawy AA +3 more
europepmc +1 more source
Research on scheduling optimization of ship plate processing workshop based on improved NSGA-II algorithm. [PDF]
Dong L +6 more
europepmc +1 more source
Polymers and Plastic Waste: Properties, Mechanics, Chemical and Thermal Recycling. [PDF]
Gnatowski A, Kijo-Kleczkowska A.
europepmc +1 more source
Considerations for improving generalizability and robustness of predictive models in perihilar cholangiocarcinoma. [PDF]
Zhang Z, Wu G.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The book Construction Machines shows the theory and design of these machines. This book provides knowledge to professional on how to model, calculate and design machines for construction operations. Carrying out construction works is unthinkable without construction machines.
Muck, Draško, Mikulić, Dinko
exaly +2 more sources
Muck, Draško, Mikulić, Dinko
exaly +2 more sources
Design constructs of a knowledge machine
2010 IEEE International Conference on Systems, Man and Cybernetics, 2010Knowledge machines hold the promise of the next generation computers. These new machines span the domain of information and enter the realm of knowledge. From a philosophic perspective, the processing of information gives rise to knowledge. Knowledge endures longer than information. Transitions and ripples in the information domain are frequent and can
Syed Vickar Ahamed +2 more
openaire +1 more source
Constructive machine translation evaluation
Machine Translation, 1993When surveying the many methods currently employed in MT evaluation,1 it is not immediately obvious that the methods used serve to increase the knowledge of the properties being measured. This report describes aconstructive machine translation evaluation method, aimed at addressing this issue ...
openaire +1 more source
A Simply Constructed Adding Machine
The Mathematical Gazette, 1952Statistics is now obtaining a foothold in the curricula of some sixth forms in schools, and with its introduction as an option into parts of the General Certificate of Education, it is likely to be taught more in the future. One of the great difficulties which is being encountered is the amount of computation necessary in even the simplest applications
openaire +2 more sources
Machine-Assisted Program Construction and Modification
1989In this paper we present two calculi, one for the construction of programs in the spirit of Martin-Lof, and the other for the verification of program transformations. Both are derived from a general axiomatization of Dynamic Logic and thus provide a unifying framework suitable for combining the derivation, modification and verification of programs.
Heisel, Maritta +2 more
openaire +2 more sources
Experimental construction of an element of thinking machine
Kybernetik, 1962The construction of an element of thinking machine is described, as studied by E. R. Caianiello, in analogy with brain functions.
Piero Mazzetti +2 more
openaire +2 more sources

