1,509 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
The Effect of Taxes and Bans on Passive Smoking
Using US data, they reach two conclusions: first, excise taxes have a significant effect on passive smoking; second, smoking bans have on average no effects on non smokers. While bans in public transportation or in schools decrease the exposure of non smokers, bans in recreational public places can in fact perversely increase their exposure by displacing smokers to private places where they contaminate non smokers, and in particular young children. Bans affect socioeconomic groups differently: they find that smoking bans increase the exposure of poorer individuals, while it decreases the exposure of richer individuals, leading to widening health disparities. 
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
The effects of taxes and bans on passive smoking
This paper evaluates the effect of excise taxes and bans on smoking in public places on the exposure to tobacco smoke of non-smokers. We use a novel way of quantifying passive smoking: we use data on cotinine concentration- a metabolite of nicotine- measured in a large population of non-smokers over time. Exploiting state and time variation across US states, we reach two important conclusions. First, excise taxes have a significant effect on passive smoking. Second, smoking bans have on average no effects on non smokers. While bans in public transportation or in schools decrease the exposure of non smokers, bans in recreational public places can in fact perversely increase their exposure by displacing smokers to private places where they contaminate non smokers, and in particular young children. Bans affect socioeconomic groups differently: we find that smoking bans increase the exposure of poorer individuals, while it decreases the exposure of richer individuals, leading to widening health disparities.
- …
