Using ASP with recent extensions for causal explanations

Using Association Rules for Better Treatment of Missing Values

Using Astrometrica to Teach an Introduction to Asteroid and Comet Astrometry

Using Astronomy, Mathematics and Archaeology to spread science

Using ATL to define advanced and flexible constraint model transformations

Using Automated Dependency Analysis To Generate Representation Information

Using Bayesian Blocks to Partition Self-Organizing Maps

Using Belief Theory to Diagnose Control Knowledge Quality. Application to cartographic generalisation

Using biased coins as oracles

Using Bounded Model Checking to Focus Fixpoint Iterations

Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation

Using CAS to Manage Role-Based VO Sub-Groups

Using Chandra Event Histogram Data to Characterize the High-Energy Particle Background

Using Chandra to Elucidate the Starburst-Agn Connection

Using Chandra to Understand the TeV Emission from M87

Using Channel Output Feedback to Increase Throughput in Hybrid-ARQ

Using Chinese Text Processing Technique for the Processing of Sanskrit Based Indian Languages: Maximum Resource Utilization and Maximum Compatibility

Using Classical Test Theory and Item Response Theory to Evaluate the LSCI

Using Classical Test Theory and Item Response Theory to Evaluate the LSCI

Using Cluster Gas Fractions to Estimate Total BH Mechanical Feedback Energy