Profile_bird

Hey there! eprintsecs is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving eprintsecs's tweets.

Already using Twitter
from your phone? Click here.

eprintsecs

  1. On separation principle for a class of networked control systems - http://is.gd/57YxC
  2. Mixed $\mu$ robust finite word length controller design - http://is.gd/57YiZ
  3. A tunable radial basis function model for nonlinear system identification using particle swarm optimisation - http://is.gd/57XYI
  4. The Semantic Web Revolution - Unleashing the World’s most Valuable Information - http://is.gd/57UYC
  5. Embracing the tyranny of distance: Space as an enabling constraint - http://is.gd/57PTB
  6. Semi-blind gradient-Newton CMA and SDD algorithm for MIMO space-time equalisation - http://is.gd/57EMP
  7. On the equivalence of Finite Element and Finite Integration formulations - http://is.gd/57CDW
  8. Compact Electromagnetic Bandgap Structures for Notch Band in Ultra-Wideband Applications - http://is.gd/57CvY
  9. Wireless Devices and Sensor Networks - http://is.gd/57Crn
  10. Kriging assisted design of a synchronous superconducting generator with YBCO windings - http://is.gd/57CmX
  11. Robust Optimization Utilizing the Second-order Design Sensitivity Information - http://is.gd/57Cbl
  12. Efficient Numerical Modelling of Field Diffusion in High-Temperature Superconducting Wires - http://is.gd/57BXP
  13. SMT-Based Bounded Model Checking for Embedded ANSI-C Software - http://is.gd/570AD
  14. Earth System Modelling with Windows Workflow Foundation - http://is.gd/56Rc9
  15. Scan Based Methodology for Reliable State Retention Power Gating Designs - http://is.gd/54OQW
  16. On an Extensible Rule-based Prover for Event-B - http://is.gd/54CvI
  17. Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints - http://is.gd/54AD3
  18. Hybrid Circuit Analysis of a Suspended Gate Silicon Nanodot Memory (SGSNM) cell - http://is.gd/54yDD
  19. On an Extensible Rule-based Prover for Event-B - http://is.gd/54fJi
  20. Language and Tool Support for Class and State Machine Refinement in UML-B - http://is.gd/549C8