Results 131 to 140 of about 11,527 (191)
The final frontier: can Kerala lay out a roadmap to a 'zero snakebite deaths initiative' for India? [PDF]
Menon JC +6 more
europepmc +1 more source
Snakebite envenoming in India: it is time we look beyond the concept of the Big Four species. [PDF]
Menon JC +8 more
europepmc +1 more source
Predictors and nomogram for amputation risk in pit viper snakebite envenoming at hospital admission. [PDF]
Fu G, He F, Xiong K.
europepmc +1 more source
Domain-generalized person re-identification via refined neuron dropout and reciprocal-expansion re-ranking. [PDF]
Wang YK, Pan TM, Chen TY.
europepmc +1 more source
A Chromosome-level Genome Assembly of the Western Nose-Horned Viper (Vipera ammodytes ammodytes). [PDF]
Rao WQ +9 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the 18th ACM conference on Computer and communications security, 2011
Recent research demonstrates that malware can infect peripherals' firmware in a typical x86 computer system, e.g., by exploiting vulnerabilities in the firmware itself or in the firmware update tools. Verifying the integrity of peripherals' firmware is thus an important challenge.
Yanlin Li +2 more
openaire +1 more source
Recent research demonstrates that malware can infect peripherals' firmware in a typical x86 computer system, e.g., by exploiting vulnerabilities in the firmware itself or in the firmware update tools. Verifying the integrity of peripherals' firmware is thus an important challenge.
Yanlin Li +2 more
openaire +1 more source
2007
Recent developments producing new Internet conferencing (IC) and multipoint desktop conferencing (MDC) systems have emerged, which may supersede text-based and audio/video conferencing (AVC) software. The newer IC or MDC systems also integrate interactive tools and have the advantage of operating at a fraction of the cost when compared to AVC systems ...
openaire +1 more source
Recent developments producing new Internet conferencing (IC) and multipoint desktop conferencing (MDC) systems have emerged, which may supersede text-based and audio/video conferencing (AVC) software. The newer IC or MDC systems also integrate interactive tools and have the advantage of operating at a fraction of the cost when compared to AVC systems ...
openaire +1 more source
Proceedings of the 30th international on Design automation conference - DAC '93, 1993
Fast and correct timing verification is a critical issue in VLSI design. Several timing verification algorithms have been proposed in the last few years. However, due to the huge computation time needed to eliminate false paths, existing algorithms have difficulty in performing timing verification for large circuits.
Hoon Chang, Jacob A. Abraham
openaire +1 more source
Fast and correct timing verification is a critical issue in VLSI design. Several timing verification algorithms have been proposed in the last few years. However, due to the huge computation time needed to eliminate false paths, existing algorithms have difficulty in performing timing verification for large circuits.
Hoon Chang, Jacob A. Abraham
openaire +1 more source
2019 6th IEEE History of Electrotechnology Conference (HISTELCON), 2019
A short history of the VIPER microprocessor, designed in the 1980’s with the aim of achieving a formal verification for the correctness of its design, for use in security and safety critical applications. Whilst arguably technically successful, it wasn’t commercially, and this led to legal action over the extent to which the formal verification had ...
openaire +1 more source
A short history of the VIPER microprocessor, designed in the 1980’s with the aim of achieving a formal verification for the correctness of its design, for use in security and safety critical applications. Whilst arguably technically successful, it wasn’t commercially, and this led to legal action over the extent to which the formal verification had ...
openaire +1 more source

