This paper presents Cmod, a novel tool that provides a sound module system for C. Cmod works by enforcing a set of four rules that are based on principles of modular reasoning and on current programming practice. Cmod’s rules flesh out the convention that .h header files are module interfaces and .c source files are module implementations. Although this convention is well-known, developing Cmod...

A general proof of the equivalence theorem in electroweak theories with the symmetry breaking sector described by the chiral Lagrangian is given in the Rξ gauge by means of the Ward-Takahashi identities. The precise form of the theorem contains a modification factor Cmod associated with each external Goldstone boson similar to that in the standard model. Cmod is exactly unity in our previously ...

DISSCO (Digital Instrument for Sound Synthesis and Composition) represents a unified and comprehensive approach to sound synthesis and composition—unified in the sense that its components share a common formal approach and use similar tools, comprehensive in the sense that they deliver a final product (a musical “event”) that does not require further processing. DISSCO consists of two parts: LA...

The sustainability of the construction industry requires new perspectives on existing techniques. For example, fibre concrete has been an integral part for many years and its contribution to enhancing properties use is undeniable, but there are still some questions that need be answered. present paper showed possibilities statistical evaluation crack mouth displacement (CMOD) tests performed 24...

Many modern languages have sophisticated linguistic support for modular programming. In these languages, the different components of a system can be developed independently, and when combined together the resulting program will be type correct. The C programming language does not contain direct support for modules, but over time programmers have developed a discipline of modular programming whi...

Wind speeds have long been estimated from C-band VV-polarized SAR data by using the CMOD algorithms such as CMOD4, CMOD5, and CMOD_IFR2. Some SAR data with HH-polarization without any observations in VV-polarization mode should be converted to VV-polarized value in order to use the previous algorithms based on VV-polarized observation. To satisfy the necessity of polarization ratio (PR) for the...

For the past decades researchers are showing immense interest to investigate the natural advantage of preparation of composites from minerals such as bauxite particles, and proved their effectiveness as cost effective reinforcing agents in fabrication of high performance composites. This study, is a new attempt in using the Iraqi natural bauxite powder with different proportions (2wt%, 4wt%, an...

This paper presents an investigation on the crack propagation testing for three grades of structural steel material. The methodology uses experimental analysis with a test setup based ASTM E647 standard and compact tension (CT) piece, and, finite element analyses (FEA) ANSYS separating, morphing adaptive remeshing (SMART) tool. FEA CT modelling is first used to develop front face compliance fun...

this study investigates propagation of mode i crack in b70 pre-stressed concrete sleepers by fracture mechanics approach. a new experimental analysis is done for notched b70 pre-stressed concrete sleepers with replica test and image analysis. a scanning electron microscope test (sem) and an image analysis are applied for the replica test in order to determine crack length and crack mouth openin...