• CDuce

• Referenced in 49 articles [sw12434]
• overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences), precise...

• quivermutation

• Referenced in 40 articles [sw13691]
• oriented graph: it has vertices (nodes) and arrows between the vertices. To mutate with respect...

• Bow

• Referenced in 38 articles [sw10563]
• ends for document classification (rainbow), document retrieval (arrow) and document clustering (crossbow...

• DrScheme

• Referenced in 29 articles [sw01265]
• program. On demand, it draws arrows that point from bound to binding occurrences of identifiers...

• Arrow Gibbard Satterthwaite

• Referenced in 7 articles [sw28647]
• Arrow and Gibbard-Satterthwaite. This article formalizes two proofs of Arrow’s impossibility theorem...

• Cellerator

• Referenced in 8 articles [sw09926]
• computer algebra system to include biochemical arrows for signal transduction simulations. Summary: Cellerator describes single ... with a compact, optionally palette-driven, arrow-based notation to represent biochemical reactions and transcriptional...

• Yampa

• Referenced in 10 articles [sw13681]
• Reactive Programming (FRP). Yampa is structured using Arrows, which greatly reduce the chance of introducing...

• CALI

• Referenced in 6 articles [sw17609]
• Triangles, Rectangles, Diamonds, Circles, Ellipses, Lines and Arrows, and some gesture commands, such as, Delete...

• 3dprintmath

• Referenced in 6 articles [sw20130]
• topological spaces, functions, isometries by drawing shapes, arrows and thinking about moving them...

• Viptos

• Referenced in 4 articles [sw09423]
• Viptos allows developers to create block and arrow diagrams to construct TinyOS programs from ... that can be displayed as block (and arrow) diagrams and simulated...

• FEView

• Referenced in 5 articles [sw00280]
• color shading and field icons (such as arrows) on the geometric shapes. Also, a scalar...

• EditorArrow

• Referenced in 2 articles [sw09804]
• EditorArrow: an arrow-based model for editor-based programming. State-based interactive applications, whether they ... paper we cast these toolkits within the Arrow framework and present EditorArrow: a single, unified...

• rasterVis

• Referenced in 3 articles [sw09325]
• able to display vector fields using arrows, vectorplot, or with streamlines, streamplot. This webpage illustrates...

• JCMmode

• Referenced in 3 articles [sw28747]
• exterior domains as for integrated hollow core Arrow waveguides. We have implemented an error estimator...

• pycellerator

• Referenced in 1 article [sw34299]
• Pycellerator: an arrow-based reaction-like modelling language for biological simulations. Results: Cellerator reaction arrows ... input in text files. The arrows are parsed by Pycellerator and translated into differential equations...

• luatodonotes

• Referenced in 2 articles [sw12405]
• corresponding positions in the text with arrows (so-called leaders). Problems of this type have...

• cartography

• Referenced in 2 articles [sw16592]
• features like cartographic palettes, layout (scale, north arrow, title...), labels, legends or access to cartographic...

• AFT Arrow

• Referenced in 1 article [sw17985]
• Arrow is a fluid dynamic simulation tool used to calculate pressure drop and flow distribution...

• Arrow plot

• Referenced in 1 article [sw30012]
• Arrow plot: a new graphical tool for selecting up and down regulated genes and genes...

• cbsem

• Referenced in 1 article [sw38362]
• Reflective relations are given by arrows pointing from the composite to their indicators. Their values ... reflective-reflective scenario all indicators have loadings. Arrows are pointing to their indicators only from...