1,479 research outputs found
Prolog+CG: A Maintainer's Perspective
Prolog+CG is an implementation of Prolog with Conceptual Graphs as first-class datastructures, on a par with terms. As such, it lends itself well to applications in which reasoning with Conceptual Graphs and/or ontologies plays a role. It as originally developed by Prof. Dr. Adil Kabbaj, who in 2004 turned over maintainership of Prolog+ CG to the present author. In this paper, Prolog+CG is described in terms of its history, evolution, and maintenance. A special web-enabled version of Prolog+CG is also described. Possible interoperability with CGIF and the CharGer tool are explored. Finally, we offer some general observations about the tenets that make Prolog+CG a success.</p
Voluntary corporate governance disclosure by post-apartheid South African corporations
Purpose – The purpose of this paper is to investigate as to whether post-Apartheid South African (SA) listed corporations voluntarily comply with and disclose recommended good corporate governance (CG) practices and, if so, the major factors that influence such voluntary CG disclosure behaviour. Design/methodology/approach – The paper constructs a broad voluntary CG disclosure index containing 50 CG provisions from the 2002 King Report using a sample of 169 SA listed corporations from 2002 to 2006. The authors also conduct regression analysis to identify the main drivers of voluntary CG disclosure. Findings – The results suggest that while compliance with, and disclosure of, good CG practices varies substantially among the sampled companies, CG standards have generally improved over the five-year period examined. The authors also find that block ownership is negatively associated with voluntary CG disclosure, while board size, audit firm size, cross-listing, the presence of a CG committee, government ownership and institutional ownership are positively related to voluntary CG disclosure. Practical implications – These findings have important implications for policy-makers and regulators. Evidence of improving CG standards implies that efforts by various stakeholders at improving CG standards in SA companies have had some positive impact on CG practices of SA firms. However, the substantial variation in the levels of compliance implies that enforcement may need to be strengthened further. Originality/value – There is a dearth of evidence on the level of compliance with the King Report. This study fills this gap by providing evidence for the first time on the level of compliance achieved, as well as contributing generally to the literature on compliance with codes of good governance and voluntary disclosure.<br/
Cg-TIMP, an inducible tissue inhibitor of metalloproteinase from the Pacific oyster Crassostrea gigas with a potential role in wound healing and defense mechanisms(1)
We have cloned and characterized a cDNA encoding Cg-TIMP, the first tissue inhibitor of metalloproteinase identified in mollusks. The isolated cDNA encodes a protein of 221 residues that has a domain organization similar to that of vertebrate TIMPs including a signal sequence, and the 12 cysteines characteristic of the TIMP signature. Analysis of Cg-TIMP expression in adult oyster tissues, by Northern blot and in situ hybridization, indicates that Cg-TIMP was only expressed in hemocytes which are the key components of defense mechanisms in mollusks. We also observed that Cg-TIMP mRNA accumulated during shell damage and bacterial challenge. This pattern of expression suggests that Cg-TIMP may be an important factor in wound healing and defense mechanisms.LR: 20061115; PUBM: Print; GENBANK/AF321279; JID: 0155157; 0 (DNA, Complementary); 0 (RNA, Messenger); 0 (TIMP protein, Crassostrea gigas); 0 (Tissue Inhibitor of Metalloproteinases); ppublishSource type: Electronic(1
Subwavelength spinning of particles in vector cosine-Gaussian field with radial polarization
A new type of radially polarized (RP) cosine-Gaussian (CG) field is proposed. Through the analytical model, it is found that such RP CG beam exhibits completely different focusing properties from the reported RP plane waves. More importantly, a stable three-dimensional trap of Rayleigh particle accompanied by a subwavelength spin motion can be easily achieved using this RP CG beam.Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.ImPhys/Optic
Het effect van een anisotropiecoëfficiënt in de Poissonvergelijking op de convergentie van de CG-methode en de ICCG(0)-methode
Allerlei diffusieverschijnselen in de natuurkunde kunnen omschreven wordenmet de Poissonvergelijking op een gebied met te kiezen randvoorwaarden. Er zijn echter ook verschijnselen waarin er een gelaagdheid optreedt zodat er in verticalerichting minder makkelijk diffusie kan plaatsvinden. Dit leidt tot een vergelijkingmet toevoeging van een anisotropiecoëfficiënt epsilon, die dicht bij 0 ligt.Via (onder andere) de Finite Volume Method kunnen deze vergelijkingengediscretiseerd worden, wat leidt tot een stelsel Au = f. Hierbij is A symmetrischen positief deniet (alle eigenwaarden zijn positief). Er zijn tallozemethoden om dit stelsel op te lossen. Een hiervan is de CG-methode, eeniteratieve methode, met als uitbreiding de ICCG(0)-methode. De convergentievan de CG-methode blijkt af te hangen van de eigenwaarden van dematrix A. Hoe dichter de eigenwaarden bij elkaar liggen, hoe sneller deconvergentie. De geschaalde eigenwaarden1 van A liggen min of meer geconcentreerdrond 1. Het is voor een snelle convergentie van belang dat dekleinste eigenwaarden niet al te dicht bij 0 liggen. Dit leidt namelijk tottrage convergentie. Er zijn manieren om de eigenwaarden dichter bij elkaarte brengen. We noemen dat preconditionering. De ICCG(0)-methode is eenvorm van preconditionering en zorgt er (onder andere) voor dat de kleinsteeigenwaarden dichter bij 1 komen te liggen. In dit onderzoek wordt onderzochtwat er gebeurt met de eigenwaarden, zowel in de CG-methode als inde ICCG(0)-methode, als de anisotropiecoëfficiënt heel klein wordt. Hetblijkt dat de ondergrens voor de eigenwaarden van A lineair afhankelijk isvan epsilon. Dit leidt tot een zeer trage convergentie van de CG-methode in hetgeval epsilon klein is. Er blijkt echter ook dat preconditionering met behulp vande ICCG(0)-methode voldoende is om de ondergrens voor de eigenwaardenonafhankelijk te maken van epsilon. Dit betekent dat ook in situaties waarinanisotropie optreedt, ICCG(0) een geschikte methode is om de vergelijkingAu = f op te lossen
Effectiveness of using call graphs to detect propagated vulnerabilities
Nowadays software development greatly relies upon using third-party source code. A logical consequence is that vulnerabilities from such sources can be propagated to applications making use of those. Tools like Dependabot can alert developers about packages they use, which entail vulnerabilities. Such alerts oftentimes turn out to be false positives because the vulnerable functionality of the package is not used. Current research by the FASTEN Project revolves around analysing dependency networks using a finer granularity; moving from package-level to method-level analysis with the help of call graphs. Such analysis can theoretically be used to gain better insights into how vulnerable a dependency for an application is. This report aims to display the practical effectiveness of using call graphs to detect propagated vulnerabilities. To evaluate the effectiveness, results generated through method-level analysis were studied with regards to whether a vulnerability in the corresponding project is reproducible. Furthermore, possible improvements to call graphs to detect vulnerabilities more accurately are described in this study. An experiment, based on call graph analysis, was conducted to detect propagated vulnerabilities in a set of public software repositories. The used data about the repositories and vulnerabilities was provided by the FASTEN Project. Each vulnerability detection was manually verified and studied on its impact based on public information about the corresponding vulnerability. The results of this experiment show that none of the potential propagated vulnerabilities could be reproduced. This implies that a greater set of repositories needs to be analysed to draw meaningful conclusions for the effectiveness of call graphs to detect propagated vulnerabilities. The proposed improvements to call graphs display a fraction of the great potential of the precision that could be reached through such fine-grained analysis.https://github.com/jakub014/CG-dependency-analyzer The codebase for the experiment conducted in this study.CSE3000 Research ProjectComputer Science and Engineerin
MILU-CG method and the numerical study on the flow around a rotating circular cylinder
A hybrid finite difference method and vortex method (HDV), which is based on domain decomposition and proposed by the authors (1992), is improved by using a modified incomplete LU decomposition conjugate gradient method (MILU-CG), and a high order implicit difference algorithm. The flow around a rotating circular cylinder at Reynolds number R-e = 1000, 200 and the angular to rectilinear speed ratio alpha is an element of (0.5, 3.25) is studied numerically. The long-time full developed features about the variations of the vortex patterns in the wake, and drag, lift forces on the cylinder are given. The calculated streamline contours agreed well with the experimental visualized flow pictures. The existence of critical states and the vortex patterns at the states are given for the first time. The maximum lift to drag force ratio can be obtained nearby the critical states
Aerodynamic flight control to provide flight control augmentation for aft cg future launch vehicles
This document reports on the past six years of the extensive and comprehensive flight mechanics — stability and control, special research project conducted at the NASA Marshall Space Flight Center where the author was the designated Principal Investigator and only investigator. The author has proposed, designed, wind-tunnel tested, and analyzed the static and dynamic stability and control characteristics of both forward and aft located, all-movable, blunt-trailing-edge, flight control augmentors (FCA\u27s) for futm-e aft-cg large Saturn-class launch vehicles (LV\u27s) that would not be controllable with engine gimbaling alone. To the author\u27s knowledge, all-movable FCA\u27s have never been used on a large Saturn-class LV. A review of our national heritage of LV\u27s that have used aerodynamic surfaces (V-2, Pershing, Redstone, Saturn I, Saturn IB, Saturn V, X-15) and current usage of these surfaces by other nations has been conducted. Stability derivatives and control derivatives have been calculated from both wind tunnel test programs data and the U.S. Air Force DATCOM computer code. The enhanced static and dynamic flight stability of the aft-cg experimental LV, when treated with the author-designed FCA\u27s, has been assessed and quantified using static margin and short-period damping as criteria. The increased control effectiveness of the blunt-trailing-edge FCA design was found to provide the maximum flight control augmentation. A titanium matrix composite was selected as the FCA material and a design review was held at the manufacturer, Textron Specialty Materials Company. The change in aeroelastic effects of the aft-cg LV were considered. From the NASTRAN generated modal data, significant mode shapes and response spectra have been analyzed and presented for both the original and aft-cg experimental LV
Recommended from our members
The East Midlands in 2010
The East Midlands in 2010 is the updated evidence base that supports the regional economic strategy, A Flourishing Region. It presents a statistical portrait of the region covering demography, housing, economy & productivity, the labour market, deprivation & economic inclusion, transport, infrastructure & development, the environment and the spatial structure of the economy along with a series of sub-regional profiles
- …
