A Preliminary Study on Open-Source Memory Vulnerability Detectors

Wildlife crimes pertaining to lesser-known species do not usually garner adequate focus or interest by enforcement and conservation agencies. Additionally, illegal wildlife trade fuelled by religious beliefs in sorcery and superstition is an oft-neglected field of research. To draw attention to these two broad issues, we provide a baseline analysis of open-source reports on Golden Jackal Canis aureus poaching and trade in India. We highlight the pervasiveness of an active local and transnational ‘jackal horn’ trade, which is severely under-reported and insufficiently researched. News reports and government seizure data reveal that, between 2013 and 2019, 126 skins, eight tails, more than 370 ‘jackal horns’, 16 skulls and two live jackals have been seized. The demand for the illusionary ‘jackal horn’ appears to be driven by extensive online endorsement and unsubstantiated claims made by religious practitioners, targeted primarily at south Asian markets. This preliminary study is an urgent call for concerted efforts to monitor the illegal trafficking and trade of this common species, with a particular focus on the demand and supply chains.

Download Full-text

Preliminary study for a full colour low cost open source 3D printer, based on the combination of fused deposition modelling (FDM) or fused filament fabrication (FFF) and inkjet printing

International Journal on Interactive Design and Manufacturing (IJIDeM) ◽

10.1007/s12008-017-0432-x ◽

2017 ◽

Vol 12 (3) ◽

pp. 979-993 ◽

Cited By ~ 6

Author(s):

Fabrizio Regina ◽

Fulvio Lavecchia ◽

Luigi Maria Galantucci

Keyword(s):

Open Source ◽

Inkjet Printing ◽

Low Cost ◽

Fused Deposition Modelling ◽

3D Printer ◽

Fused Filament Fabrication ◽

Fused Deposition ◽

Preliminary Study

Download Full-text

Open-Source Memory Compiler for Automatic RRAM Generation and Verification

10.1109/mwscas47672.2021.9531908 ◽

2021 ◽

Author(s):

Dimitrios Dimitris Antoniadis ◽

Peilong Feng ◽

Andrea Mifsud ◽

Timothy G. Constandinou

Keyword(s):

Open Source ◽

Source Memory

Download Full-text

Relational nullable types with Boolean unification

Proceedings of the ACM on Programming Languages ◽

10.1145/3485487 ◽

2021 ◽

Vol 5 (OOPSLA) ◽

pp. 1-28

Author(s):

Magnus Madsen ◽

Jaco van de Pol

Keyword(s):

Open Source ◽

Programming Languages ◽

Type System ◽

Type Systems ◽

Type Inference ◽

System A ◽

Wide Range ◽

Programming Patterns ◽

Null Value ◽

Preliminary Study

We present a simple, practical, and expressive relational nullable type system. A relational nullable type system captures whether an expression may evaluate to null based on its type, but also based on the type of other related expressions. The type system extends the Hindley-Milner type system with Boolean constraints, supports parametric polymorphism, and preserves principal types modulo Boolean equivalence. We show how to support full Hindley-Milner style type inference with an extension of Algorithm W. We conduct a preliminary study of open source projects showing that there is a need for relational nullable type systems across a wide range of programming languages. The most important findings from the study are: (i) programmers use programming patterns where the nullability of one expression depends on the nullability of other related expressions, (ii) such invariants are commonly enforced with run-time exceptions, and (iii) reasoning about these programming patterns requires not only knowledge of when an expression may evaluate to null, but also when it may evaluate to a non-null value. We incorporate these observations in the design of the proposed relational nullable type system.

Download Full-text