Results 91 to 100 of about 6,127,131 (339)

A Denotational Semantics for Communicating Unstructured Code [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
An important property of programming language semantics is that they should be compositional. However, unstructured low-level code contains goto-like commands making it hard to define a semantics that is compositional. In this paper, we follow the ideas
Nils Jähnig, Thomas Göthel, Sabine Glesner   +2 more
doaj   +1 more source

E-Generalization Using Grammars [PDF]

, 2017
We extend the notion of anti-unification to cover equational theories and present a method based on regular tree grammars to compute a finite representation of E-generalization sets.
Burghardt, Jochen
core  

Comparative Study of Experimental Methods for Measuring Thermal Properties of 100Cr6 Steel Powders

Advanced Engineering Materials, EarlyView.
This study investigates the thermal properties of 100Cr6 steel in both bulk and powder forms. Measuring the very low thermal conductivity typically exhibited by powders poses significant challenges. To address this, two novel measurement techniques—temperature gradient and finite laser pulse response—are introduced and evaluated by comparison with the ...
Junsheng Zhuo, Hagen P. Kohl, Dongmei Liu, Lisa Matthäus, Arne Bochmann, Aaron Berger, Sebastian Weber, Stefan Nolte, Stephanie Lippmann   +8 more
wiley   +1 more source

Prediction of wear life of shield disc cutter in complex formations based on genetic programming

Gong-kuang zidonghua, 2018
In process of shield tunneling in complex formation, wear of disc cutter is extremely serious and service life is hard to predict, and influence factors of the disc cutter wear are multi-dimensional and uncertain.
QIAO Jinli, MENG Qiujie, LIU Jianqin, JIN Jianxing   +3 more
doaj   +1 more source

Photo‐Assisted Zn‐Iodine Battery via Bifunctional Cathode with Iodine Host and Solar Response Boost

Advanced Functional Materials, EarlyView.
A bifunctional cathode based on BiOI materials is developed for photo‐assisted Zn‐iodine batteries, serving as both an iodine host and a solar‐responsive material. This design enables dual reaction routes involving vacancy‐based iodine storage and reversible two steps iodine redox.
Hai Xu, Wanli Gao, Hui Dou, Xiaogang Zhang, Martin Pumera   +4 more
wiley   +1 more source

Students’ perspectives on using digital tools in programming courses

Discover Education
As programming emerges as a critical skill in the digital age and digital tools continue to evolve, understanding students’ perspectives on the integration of such technologies into their education is crucial.
Mohsen Asgari, Fong-Chun Tsai, Linda Mannila, Filip Strömbäck, Kazi Masum Sadique   +4 more
doaj   +1 more source

A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models

BMC Bioinformatics, 2011
Background Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequence alignments (MSA), including all positions.
Carbone Alessandra, Bernardes Juliana S, Zaverucha Gerson   +2 more
doaj   +1 more source

Lambda Calculus for Engineers [PDF]

, 2007
In pure functional programming it is awkward to use a stateful sub-computation in a predominantly stateless computation. The problem is that the state of the subcomputation has to be passed around using ugly plumbing.
Hartel, P.H., Vree, W.G.
core   +1 more source

Inductive Mercury Programming

, 2007
We investigate using the Mercury language to implement and design ILP algorithms, presenting our own ILP system IMP . Mercury provides faster execution than Prolog. Since Mercury is a purely declarative language, run-time assertion of induced clauses is prohibited.
Fisher, Barnaby, Cussens, James
openaire   +3 more sources

Facile Synthesis of CuxS Electrocatalysts for CO2 Conversion into Formate and Study of Relations Between Cu and S with the Selectivity

Advanced Functional Materials, EarlyView.
Copper sulfide based electrocatalysts for CO2 conversion are selective for production of formate as major product. Transformations under electrochemical conditions result in significant sulfur loss, and this study examines the nature of how persistent, residual sulfur (observed as surface SO42– species and S dissolved in the electrolyte) can sustain ...
Sasho Stojkovikj, Gumaa A. El‐Nagar, Siddharth Gupta, Metodija Najdoski, Violeta Koleva, Theocharis Tzanoudakis, Frederik Firschke, Peter Bogdanoff, Matthew T. Mayer   +8 more
wiley   +1 more source