Results 71 to 80 of about 6,088,727 (313)
Advanced Functional Materials, EarlyView.Sulfur‐capped mesoporous PtPbBi nanosheets (S‐PtPbBi MNSs) with an alloy/intermetallic compound heterophase and inhomogeneous tensile strain (≈3%) were synthesized by a thiol modification strategy, which exhibited excellent electrocatalytic performance for ethylene glycol oxidation reaction (EGOR).
Fukai Feng +14 more
wiley +1 more source
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 +2 more
doaj +1 more source
Advanced Functional Materials, EarlyView.A scalable nano‐/micro‐confinement strategy is developed, where polyacrylamide (PAM)‐LiCl hybrid desiccants are confined within hollow nanoparticles (HNPs) and assembled into raspberry‐like microbeads. The beads have a hydrogel‐rich core and an NP‐rich shell for fast absorption and desorption, releasing water 13.6 L kg⁻¹ day⁻¹.
Yunchan Lee +6 more
wiley +1 more source
A Curry-Howard Correspondence for Linear, Reversible Computation [PDF]
Logical Methods in Computer ScienceIn this paper, we present a linear and reversible programming language with inductives types and recursion. The semantics of the languages is based on pattern-matching; we show how ensuring syntactical exhaustivity and non-overlapping of clauses is ...
Kostia Chardonnet +2 more
doaj +1 more source
Ultraviolet–Visible Spin‐Resolved Chip‐Scale Spectroscopy
Advanced Functional Materials, EarlyView.By harnessing phase, wavelength, and spin multiplexing, the proposed meta‐spectrometer enables spin‐resolved spectral analysis within a compact footprint. The presented dual‐band (320–450 nm) spin‐resolved meta‐spectrometer features enhance optical functionality, allowing for the simultaneous discrimination of spectral content and spin states of light ...
Nasir Mahmood +9 more
wiley +1 more source
Students’ perspectives on using digital tools in programming courses
Discover EducationAs 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 +4 more
doaj +1 more source
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 +2 more
doaj +1 more source
Inductive genetic programming with decision trees [PDF]
Intelligent Data Analysis, 1997 This paper proposes an empirical study of inductive Genetic Programming with Decision Trees. An approach to development of fitness functions for efficient navigation of the search process is presented. It relies on analysis of the fitness landscape structure and suggests measuring its characteristics with statistical correlations.
Nikolay I. Nikolaev, Vanio Slavov
openaire +3 more sources
Advanced Functional Materials, EarlyView.The role of ionomers is investigated in advancing cobalt‐based oxygen evolution catalysts in pure‐water anion exchange membrane electrolysers. Using in situ electrochemical analysis, ex situ material characterization, and membrane potential sensing, it is observed surface reconstruction at high currents and mitigated it via ionomer coating, achieving ...
Sanghwi Han +6 more
wiley +1 more source
, 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