An Implementation of Bubbling

An Implementation of Intrusion Detection System Using Genetic Algorithm

An Implementation of Nested Pattern Matching in Interaction Nets

An implementation of range trees with fractional cascading in C++

An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification

An Implemented Formalism for Computing Linguistic Presuppositions and Existential Commitments

An implemented model of punning riddles

An Implicit Characterization of PSPACE

An Implicit Cover Problem in Wild Population Study

An Implicit Method Low Mach Flows

An Impossibility Result for Truthful Combinatorial Auctions with Submodular Valuations

An improbable concentration of basaltic meteorite falls (HED and mesosiderite) in the mid-20th century

An Improved 360 Degree and Order Model of Venus Topography

An Improved Algorithm based on Shannon-Happ Formula for Calculating Transfer Function from Signal Flow Graph and Its Visualization

An Improved Algorithm due to Laguerre for the Solution of Kepler's Equation

An improved algorithm for atmospheric wind retrievals from satellite soundings over the polar regions

An Improved Algorithm for Bipartite Correlation Clustering

An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications

An improved algorithm for quartic equation classification and Petrov classification.

An Improved Algorithm for Reconstructing a Simple Polygon from the Visibility Angles