456,934 research outputs found
Artifact of GrayC: Greybox Fuzzing of Compilers and Analysers for C
No full textThis is the official artifact of the paper: GrayC: Greybox Fuzzing of Compilers and Analysers for C (ISSTA 2023).
=======> DOWNLOAD THE ARTIFACT IN THE DOCKER IMAGE TO START <=======
The main GitHub Repository is: https://github.com/srg-imperial/GrayC/tree/main/ISSTA-2023-AE.
All Docker images versions and data are here: Artifact-GrayC and the last DOCKER IMAGE IS THIS: GrayC-v3.tar
Data Availability: the other files contain data and all our source code as part of the Open Science Policy.
Note 1: This work was supported by EPSRC (EP/R011605/1 and EP/R006865/1).
Note 2: The first two authors both contributed equally to this research.
Note 3: Karine Even-Mendoza: A major part of this work was done as an Imperial College London employee.
Note 4: Please ignore all other anonymised versions of GrayC and use only this de-anonymised one.GitHub Repository of GrayC: https://github.com/srg-imperial/GrayC/tree/main/ISSTA-2023-AE
EVEN, ALSO and ONLY in Vietnamese
No full textThe article analyzes the system of focus-sensitive particles and, to a lesser extent, clefts in Vietnamese. EVEN/ALSO/ONLY foci are discussed across syntactic categories, and Vietnamese is found to organize its system of focus-sensitive particles along three dimensions of classification: (i) EVEN vs. ALSO vs. ONLY; (ii) particles c-commanding foci vs. particles c-commanding backgrounds; (iii) adverbial focus-sensitive particles vs. particles c-commanding argument foci only. Towards the end of the paper, free-choice constructions and additional sentence-final particles conveying ONLY and ALSO semantics are briefly discussed. The peculiar Vietnamese system reflects core properties of the analogous empirical domain in Chinese, a known source of borrowings into Vietnamese over the millennia
The Rocky Ride of Break-even-inflation rates.
No full textThe correlation matrix between break-even inflation rate movements and real interest rate movements across several countries shows puzzling features. Correlation is significantly positive for nearly all cross-border pairs whereas it is nil, positive or negative unsystematically within countries. By means of a correlation matrix decomposition, we provide an explanation for this puzzle.Inflation-linked bonds ; Break-even inflation rates
Manajemen even : promosi penjualan, pameran, seminar, pertemuan bisnis, dan konferensi pers
No full textSinopsis : Pesatnya perkembangan manajemen seputar penyelenggaraan even, misalnya pameran, promosi penjualan, seminar bisnis, dll memerlukan penangan yang profesional. Penyelenggaraan even tersebut sebagian sukses, namun ada juga yang gagal. Masalah yang sering kali muncul karena kurangnya pengetahuan dan pengalaman seputar penyelenggaraan even, termasuk kurangnya kemamouan untuk menganalisis masalah dan hambatan internal seperti kebijakan perusahaan yang tidak populer, rendahnya kepercayaan, serta rekrutmen sumberdaya manusia yang buruk. Buku ini membahas cara bagaimana menjadi peserta dalam sebuah pameran dagang, mengatur pertemuan bisnis, menyusun rencana promosi penjualan, seminar dan konferensi pers. Dimana kegiatan tersebut diperlukan komunikasi dengan banyak orang. Untuk itu di buku ini pun dijelaskan pengetahuan tentang komunikasi yang baik.128 hal.; 21 c
Break-even analysis for a green crab fishery in PEI, Canada
No full textThe Department of Fisheries and Oceans in Canada is experimenting with a commercial fishery on the European green crab (Carcinus maenas), an invasive species in North America, to help reduce the negative impact this animal has on ecosystems and native shellfish populations. We determined the break-even price that fishers would require for green crabs under different fishing scenarios (i.e. different gear and catch per trap per day). We also determined, for a 21 day season, the minimum catch per trap per day for fishermen to break even at market prices of 1/lb, and $3.50/lb. Several scenarios were profitable, but our results suggest the price of crab (dockside) would have to be sufficiently high to motivate fishers to continue the fishing pressure needed to reduce populations of this invasive species. The most economically profitable scenario was a fyke net by-catch fishery, similar to what currently exists on Prince Edward Island during the eel fishing season
Inductive reasoning in the justification of the result of adding two even numbers
No full textIn this paper we present an analysis of the inductive reasoning of twelve secondary students in a mathematical problem-solving context. Students were proposed to justify what is the result of adding two even numbers. Starting from the theoretical framework, which is based on Pólya’s stages of inductive reasoning, and our empirical work, we created a category system that allowed us to make a qualitative data analysis. We show in this paper some of the results obtained in a previous study
The rocky ride of break-even inflation rates
No full textThe correlation matrix between break-even inflation rate movements and real interest rate movements across several countries shows puzzling features. Correlation is significantly positive for nearly all cross-border pairs whereas it is nil, positive or negative unsystematically within countries. By means of a correlation matrix decomposition, we give an explanation for this puzzle.Inflation-linked bonds
Author headings for the official publications of the State of Kansas
No full textIncludes bibliographical references (page x).This list of author headings covers all official agencies as found in the laws of the territory and the laws of the state of Kansas from May 30, 1854 through July 1955; also agencies created by Executive Order, and administrative divisions, or boards, created within a department of the state. Agencies included are:
1. All departments, bureaus, divisions, commissions, courts, legislative bodies and special committees created by the laws or joint resolutions of the territory or state of Kansas, or by Executive Order*
2. Subdivisions of the respective departments, bureaus, commissions and committees even though not expressly created by acts of the legislature, but which are included in the official reports of the agencies*
3. Legislative bodies and their committees, if created by law, or if their reports were published.
4. Societies supported wholly, or in part, by the state.
5. All state and territorial institutions (including educational, charitable, correctional and penal)
Jane C. Charlton, Williamsburgh, Virginia, to Sarah C. Watts, New London, Virginia, 13 September 1807
No full textJane C. Charlton, Williamsburgh, sic, Virginia, to Sarah C. Watts, New London, Virginia. Glad to hear about her return home; gives local news including details about the arrival of Eliza Wright and her subsequent illness, and the departure of the Savages and the Smiths; expresses her sadness at the "loss of your society" and how much she misses her and the other girls; Mrs. Faulcon left for Carolina; tells of Miss Donoville, sic, Deneufville and Mr. Pryor tying the "gordianknot," and states the "Wmsbg. will be quite gay at that time, as they are to have a great wedding"; influenza rampant; tells of a party given by Mr. and Mrs. Mason, describing the handsome men, the dancing, and the fact that even Mrs. Anderson, Mrs. Paradice, sic, and her mother were there; "War" is still the main topic of discussion, with revenge at the "epidemical" stage, even affecting the ladies; mentions E. Coleman and his politicing. 3 pages. Autograph letter signed. Including typescript. 2 pages
A 16-month study of the development of genetic emphysema in tight-skin mice
No full textThe tight-skin (tsk) mouse has been recently proposed as a model of genetically determined emphysema. In the present study, the development of this lung lesion was investigated morphometrically in both male and female tsk mice from 4 days to 16 months of age. "Pallid" (pa) mice with a closely related genetic background served as controls. Despite small differences in the mean linear intercept seen at 1 and at 16 months, both male and female tsk mice were found to be similarly susceptible to the development of the emphysematous lesion. Three main phases were observed in the evolution of the emphysema. The first phase, from 4 days to 2 months after birth, included enlargement of the peripheral lung units, already evident at 4 and at 15 days, and destruction of the lung parenchyma, which occurred between 15 days and 1 month and rapidly progressed for as long as 2 months. A second phase of stabilization or of mild progression of the emphysematous lesion occurred between 2 and 8 months of age. A third phase, in the advanced age between 8 and 16 months, included a further exacerbation of the parenchymal destruction. At 16 months of age, the lungs of the pa mice also showed some patchy areas of air-space enlargement with destruction of the alveolar septa
- …
