Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
3,687
result(s) for
"C programming language"
Sort by:
Mechanized Semantics for the Clight Subset of the C Language
This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic,
struct
and
union
types, C loops and structured
switch
statements. Clight is the source language of the CompCert verified compiler. The formal semantics of Clight is a big-step operational semantics that observes both terminating and diverging executions and produces traces of input/output events. The formal semantics of Clight is mechanized using the Coq proof assistant. In addition to the semantics of Clight, this article describes its integration in the CompCert verified compiler and several ways by which the semantics was validated.
Journal Article
C++ crash course : a fast-paced introduction
\"A guide to C++ that begins by introducing all the core language features, then explores the Standard and Boost Libraries. Covers major features of modern C++, including types, expressions, containers, and more\"-- Provided by publisher.
Book
CrystalShift: A Versatile Command-Line Tool for Crystallographic Structural Data Analysis, Modification, and Format Conversion Prior to Solid-State DFT Calculations of Organic Crystals
CrystalShift is an open-source computational tool tailored for the analysis, transformation, and conversion of crystallographic data, with a particular emphasis on organic crystal structures. It offers a comprehensive suite of features valuable for the computational study of solids: format conversion, crystallographic basis transformation, atomic coordinate editing, and molecular layer analysis. These options are especially valuable for studying the mechanical properties of molecular crystals with potential applications in organic materials science. Written in the C programming language, CrystalShift offers computational efficiency and compatibility with widely used crystallographic formats such as CIF, POSCAR, and XYZ. It provides a command-line interface, enabling seamless integration into research workflows while addressing specific challenges in crystallography, such as handling non-standard file formats and robust error correction. CrystalShift may be applied for both in-depth study of particular crystal structure origins and the high-throughput conversion of crystallographic datasets prior to DFT calculations with periodic boundary conditions using VASP code.
Journal Article
AT89C52 Microcontroller-Based Electronic Locks Design
This paper describes a small, low cost, functional and practical design of electronic locks. The locks to AT89C52 microcontroller as the core, mainly composed of the microcontroller, LED digital tubes and relays. And through the C programming language, complete the functions of unlock password, prompt an error, LED display and timing, and even to achieve a function that when power-down the lock can remember passwords.
Journal Article
Serverification of Molecular Modeling Applications: The Rosetta Online Server That Includes Everyone (ROSIE)
The Rosetta molecular modeling software package provides experimentally tested and rapidly evolving tools for the 3D structure prediction and high-resolution design of proteins, nucleic acids, and a growing number of non-natural polymers. Despite its free availability to academic users and improving documentation, use of Rosetta has largely remained confined to developers and their immediate collaborators due to the code's difficulty of use, the requirement for large computational resources, and the unavailability of servers for most of the Rosetta applications. Here, we present a unified web framework for Rosetta applications called ROSIE (Rosetta Online Server that Includes Everyone). ROSIE provides (a) a common user interface for Rosetta protocols, (b) a stable application programming interface for developers to add additional protocols, (c) a flexible back-end to allow leveraging of computer cluster resources shared by RosettaCommons member institutions, and (d) centralized administration by the RosettaCommons to ensure continuous maintenance. This paper describes the ROSIE server infrastructure, a step-by-step 'serverification' protocol for use by Rosetta developers, and the deployment of the first nine ROSIE applications by six separate developer teams: Docking, RNA de novo, ERRASER, Antibody, Sequence Tolerance, Supercharge, Beta peptide design, NCBB design, and VIP redesign. As illustrated by the number and diversity of these applications, ROSIE offers a general and speedy paradigm for serverification of Rosetta applications that incurs negligible cost to developers and lowers barriers to Rosetta use for the broader biological community. ROSIE is available at http://rosie.rosettacommons.org.
Journal Article
Single-top Wt-channel production matched with parton showers using the POWHEG method
We present results for the next-to-leading order calculation of single-top
Wt
-channel production interfaced to Shower Monte Carlo programs, implemented according to the POWHEG method. A comparison with MC@NLO is carried out. Results obtained using the PYTHIA shower are also shown and the effect of typical cuts is briefly discussed.
Journal Article