From Playability to a Hierarchical Game Usability Model
From Proof Nets to the Free *-Autonomous Category
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic
From quantum to classical: watching a single photon become a wave
From Regular to Context Free to Mildly Context Sensitive Tree Rewriting Systems: The Path of Child Language Acquisition
From Regular to Strictly Locally Testable Languages
From Requirements to code: an Architecture-centric Approach for producing Quality Systems
From RESTful Services to RDF: Connecting the Web and the Semantic Web
From Royal Road to Epistatic Road for Variable Length Evolution Algorithm
From Satellite Ion Flux Data to SEU Rate Estimation
From Self-Interpreters to Normalization by Evaluation
From semiotics of hypermedia to physics of semiosis: A view from system theory
From Sequential to Concurrent: Correctness and Relative Efficiency
From Simple to Complex Craters: The Mechanics of Late-time Crater Adjustments
From Single Pulse to Multi-Pulse: looking for Gamma-ray Bursts intimate properties
From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm
From Skew-Cyclic Codes to Asymmetric Quantum Codes
From Social Simulation to Integrative System Design
From solar-system planets to exoplanets
From source to crust: Tracing magmatic evolution in a kimberlite and a melilitite using microsample geochemistry