Results 111 to 120 of about 360,109 (345)
Probabilistic Program Abstractions [PDF]
arXiv, 2017 Abstraction is a fundamental tool for reasoning about complex systems. Program abstraction has been utilized to great effect for analyzing deterministic programs. At the heart of program abstraction is the relationship between a concrete program, which is difficult to analyze, and an abstract program, which is more tractable.
arxiv
Object-Oriented Programming and Parallelism [PDF]
, 1998 Initially, object-orientation and parallelism originated and developed as separate and relatively independent areas. During the last decade, however, more and more researchers were attracted by the benefits from a potential marriage of the two powerful ...
Radenski, Atanas
core +1 more source
Advanced Functional Materials, EarlyView.The seed pod valves of Australian Banksia attenuata plants are not simply bi‐layers which bend when dry. These experiments and models reveal complex mechanics, which allow seed release only after several steps of seed pod opening. Stiffness gradients prevent delamination of the valves during loading, and a shape‐memory function protects the seeds ...
Friedrich Reppe +7 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A microfluidic pump and microscale container for fast redox reactions are integrated into a micro‐Swiss‐roll structure via the micro‐origami. Therefore, the twin‐Swiss‐roll microbattery efficiently extracts water and soluble Zn2+ and Mn2+ ions in the wet soil, delivering a stable voltage exceeding 1 V and more than 40 times the energy of soil microbial
Hongmei Tang +12 more
wiley +1 more source
The Logic Programming Paradigm and Prolog [PDF]
arXiv, 2001 This is a tutorial on logic programming and Prolog appropriate for a course on programming languages for students familiar with imperative programming.
arxiv
Object-Oriented Paradigms for Modelling Vascular\ud Tumour Growth: a Case Study [PDF]
, 2012 Motivated by a family of related hybrid multiscale models, we have built an object-oriented framework for developing and implementing multiscale models of vascular tumour growth.
Byrne, H. M. +4 more
core
Advanced Functional Materials, EarlyView.A materials and device design concept that comprises a self‐assembled ultra‐thin epitaxial ion‐transporting layer, an amorphous oxide overcoat oxygen‐blocking layer, and a partial filament formed during an electroforming step is proposed for low‐current multilevel resistive switching devices.
Ming Xiao +17 more
wiley +1 more source
Requirements engineering-challenges from the agent-oriented approach
Journal of Computer Science and Technology, 2005 Many methodologies have been proposed to systematize the software development process. Many of them have been widely adopted. However, the majority has focused on analysis and design.
Luiz Marcio Cysneiros
doaj
Dynamic Neural Program Embedding for Program Repair [PDF]
arXiv, 2017 Neural program embeddings have shown much promise recently for a variety of program analysis tasks, including program synthesis, program repair, fault localization, etc. However, most existing program embeddings are based on syntactic features of programs, such as raw token sequences or abstract syntax trees.
arxiv