• Uppaal

  • Referenced in 653 articles [sw04702]
  • structure and real-valued clocks, communicating through channels or shared variables [WPD94, LPW97b]. Typical application...
  • McEliece

  • Referenced in 251 articles [sw02076]
  • first time that such side-channel attacks are practically evaluated...
  • Reo

  • Referenced in 88 articles [sw06353]
  • services based on the notion of mobile channels. Reo enforces an exogenous channel-based coordination...
  • micrOMEGAs

  • Referenced in 72 articles [sw01425]
  • lightest odd particle. All annihilation and coannihilation channels are included in the computation ... this is done, all annihilation and coannihilation channels are included automatically in any model...
  • KEM-DEM

  • Referenced in 59 articles [sw03093]
  • universally composable secure channel based on the KEM-DEM framework. For ISO standards on public ... investigates a more general hybrid protocol, secure channel, using KEM and DEM, such that ... realize a universally composable (UC) secure channel. To obtain the main result, this paper also...
  • LDPC

  • Referenced in 82 articles [sw03321]
  • ability to transmit data at rates approaching channel capacity with very low error probability. This...
  • channelflow

  • Referenced in 74 articles [sw07526]
  • incompressible Navier-Stokes flow in channel geometries, written in C++. The core engine of Channelflow...
  • SIMSON

  • Referenced in 43 articles [sw13385]
  • solve the Navier-Stokes equations for incompressible channel and boundary layer fows. The report describes ... incompressible Navier-Stokes equations in a channel flow geometry. That algorithm has been reimplemented ... implemented. In Simson the channel and boundary layer solvers have been combined together with many...
  • MicrOMEGAs 2.0

  • Referenced in 48 articles [sw01426]
  • this is done, all annihilation and coannihilation channels are included automatically in any model. Cross...
  • TREX

  • Referenced in 46 articles [sw01388]
  • variables, and communicating through unbounded lossy FIFO channels and shared variables. This model...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • structure and real-valued clocks, communicating through channels or shared variables [WPD94, LPW97b]. Typical application...
  • Lucid

  • Referenced in 39 articles [sw21485]
  • stations connected by a number of communication channels or arcs. The processing stations may have...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • parallel with shared variables acting as communication channels for the passing of partial bindings. Only...
  • iCTX-Type

  • Referenced in 21 articles [sw22440]
  • Types of Conotoxins in Targeting Ion Channels. Conotoxins are small disulfide-rich neurotoxic peptides, which ... bind to ion channels with very high specificity and modulate their activities. Over the last ... generally categorized into three types: potassium-channel type, sodium-channel type, and calcium-channel types...
  • SKINNY

  • Referenced in 34 articles [sw17435]
  • from very efficient threshold implementations for side-channel protection. Regarding performances, it outperforms all known...
  • MONACO

  • Referenced in 34 articles [sw20793]
  • They include a flow through a diverging channel using an adapted unstructured triangulated grid...
  • PlanetMath

  • Referenced in 33 articles [sw23729]
  • decommissioned, and we have created Gitter discussion channels for each mathematics subject category, in order...
  • MadEvent

  • Referenced in 31 articles [sw07194]
  • generation with MadGraph.We present a new multi-channel integration method and its implementation...
  • iCDI-PseFpt

  • Referenced in 15 articles [sw30067]
  • iCDI-PseFpt: identify the channel-drug interaction in cellular networking with PseAAC and molecular fingerprints ... controlled by cell signalings via various ion channels. Therefore, ion channels have become an excellent ... drug target, and study of ion channel-drug interaction networks is an important topic ... whether a drug and a protein ion channel are interacting with each other...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • simple notation for different kinds of channels that can be used both as assumptions...