Results 81 to 90 of about 1,438,260 (332)
Signatures of small-world and scale-free properties in large computer programs [PDF]
Phys. Rev. E 68, 017102 (2003), 2003 A large computer program is typically divided into many hundreds or even thousands of smaller units, whose logical connections define a network in a natural way. This network reflects the internal structure of the program, and defines the ``information flow'' within the program.
arxiv +1 more source
Theorem proving support in programming language semantics [PDF]
, 2007 We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core +3 more sources
Advanced Biology, EarlyView.The paper explores the creation and characterization of vesicles through biocatalytic Polymerization‐Induced Self‐Assembly (bioPISA), focusing on achieving size uniformity using centrifugation techniques. It examines the effects of stirring speed on vesicle morphology and analyses the internal polymer‐rich structure using fluorescence correlation ...
Andrea Belluati +7 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.The study presents an efficient simulation approach for the polymer laser powder bed fusion process polymers process, validated with polyamide 12, polyamide 6, and polyetherketoneketone. It shows that inter layer time affects part density, with 90s yielding dense parts.
Claas Bierwisch +4 more
wiley +1 more source
A Different Perspective on the Solid Lubrication Performance of Black Phosphorous: Friend or Foe?
Advanced Engineering Materials, EarlyView.Researchers investigate black phosphorous (BP) as a standalone solid lubricant coating through ball‐on‐disc linear‐reciprocating sliding experiments in dry conditions. Testing on different metals shows BP doesn't universally reduce friction and wear. However, it achieves 33% friction reduction on rougher iron surfaces and 23% wear reduction on aluminum.
Matteo Vezzelli +5 more
wiley +1 more source
Refinement Reflection: Complete Verification with SMT [PDF]
, 2017 We introduce Refinement Reflection, a new framework for building SMT-based deductive verifiers. The key idea is to reflect the code implementing a user-defined function into the function's (output) refinement type. As a consequence, at uses of the function, the function definition is instantiated in the SMT logic in a precise fashion that permits ...
arxiv +1 more source
A Tool for Assisted Correction of Programming Exercises in Java Based in Computational Reflection
Journal on Computational Thinking (JCThink), 2018 INTRODUCTION: This work reports on the creation and use of a tool to verify compliance in java programming exercises. The solution is based on the hypothesis that computational reflection can provide a way to automatically assess the programing competences of students.
openaire +2 more sources
Scientists in the MIST: Simplifying Interface Design for End Users [PDF]
, 2006 We are building a Malleable Interactive Software Toolkit (MIST), a tool set and infrastructure to simplify the design and construction of dynamically-reconfigurable (malleable) interactive software.
Bhatia, Saurabh +4 more
core +1 more source
Mechanisms of De‐icing by Surface Rayleigh and Plate Lamb Acoustic Waves
Advanced Engineering Materials, EarlyView.Ice accretion impacts daily life, renewable energy generation, maintenance, and security in industries and aeronautics. Acoustic waves (AW) are a promising method for ice removal, although de‐icing mechanisms require further investigation to optimize energy efficiency.
Shilpi Pandey +15 more
wiley +1 more source
Computing as the 4th “R”: a general education approach to computing education [PDF]
, 2011 Computing and computation are increasingly pervading our lives, careers, and societies - a change driving interest in computing education at the secondary level. But what should define a "general education" computing course at this level?
Cutts, Q., Esper, S., Simon, B.
core +1 more source