Results 81 to 90 of about 6,301,735 (343)

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

Electrically Binary and Ternary Convertible CMOS Inverter and Logic Gate Using Complementary Field‐Effect Transistors Based on Vertically Stacked MoS2/WSe2 n‐/p‐ Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
In this work, a reconfigurable T‐CMOS inverter based on vertically stacked MoS2 and WSe2 MOSFETs with a gate‐tunable MoS2 resistor, enabling stable ternary logic, is demonstrated. The T‐CMOS inverter supports electrical switching between ternary and binary modes and is further extended to implement ternary NAND (NMIN) and NOR (NMAX) logic gates ...
Changwook Lee, Dongyoung Kim, Eunyeong Yang, Jiwon Ma, Kibum Kang, Jiwon Chang   +5 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 Curry-Howard Correspondence for Linear, Reversible Computation [PDF]

Logical Methods in Computer Science
In 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, Alexis Saurin, Benoît Valiron   +2 more
doaj   +1 more source

Automated Lemma Synthesis in Symbolic-Heap Separation Logic

, 2017
The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer programs.
Chin, Wei-Ngan, Khoo, Siau-Cheng, Le, Ton Chanh, Ta, Quang-Trung   +3 more
core   +1 more source

Commercial Sodium‐Ion Batteries: Understanding Mechanism and Function Using In Operando Neutron Diffraction and X‐Ray Tomography Studies

Advanced Functional Materials, EarlyView.
In operando neutron diffraction reveals the real‐time structural evolution of O3‐type NaxNi1/3Mn1/3Fe1/3O2 in commercial sodium‐ion batteries that is coupled with electrochemical and tomography data. The study establishes a direct link between current‐dependent phase transitions, lattice kinetics, and electrochemical behavior, offering mechanistic ...
B. D. K. K. Thilakarathna, Daniel Brocklebank, Patrick Kin Man Tung, Vanessa K. Peterson, Neeraj Sharma   +4 more
wiley   +1 more source

Tables and the Development of Computational Thinking in Programming with Emil for Primary School

Informatics in Education
Tables are fundamental tools for handling data and play a crucial role in developing both computational thinking (CT) and mathematical thinking (MT). Despite this, they receive limited attention in research and design.
Mária Čujdíková, Ivan Kalaš
doaj   +1 more source

Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types

, 2012
Type systems certify program properties in a compositional way. From a bigger program one can abstract out a part and certify the properties of the resulting abstract program by just using the type of the part that was abstracted away.
Abel, Andreas
core   +3 more sources

High‐Density Boron Nitride Nanotube Composites via Surfactant‐Stabilized Lyotropic Liquid Crystals for Enhanced Space Radiation Shielding

Advanced Functional Materials, EarlyView.
High‐density BNNT films, enabling mechanical robustness and high space radiation shielding effectiveness, are fabricated using surfactant‐stabilized BNNT liquid crystal. Simulations indicate that a 50 g cm−2 BNNT film can reduce radiation exposure by 56% compared to zero shielding, potentially doubling the duration of astronaut missions on the lunar ...
Young‐Kyeong Kim, Ik Jae Lim, Hongjin Lim, Yongbi Joo, Jueun Park, Md Monir Hossain, Hyunjin Cho, Nam‐Ho You, Seokhoon Ahn, Hunsu Lee, Sang Seok Lee, Yongho Joo, Se Youn Moon, Hee Il Yoo, Calista Lum, Cheol Park, Siyoung Q. Choi, Se Gyu Jang   +17 more
wiley   +1 more source

GenEth: a general ethical dilemma analyzer

Paladyn, 2018
We argue that ethically significant behavior of autonomous systems should be guided by explicit ethical principles determined through a consensus of ethicists. Such a consensus is likely to emerge in many areas in which intelligent autonomous systems are
Anderson Michael, Anderson Susan Leigh
doaj   +1 more source