Pinaka: Fast & accurate software verifier, developed at IIT Hyderabad

IITH team at SVCOMP 2020

SVCOMP is a Software Verification Competition which is the ultimate battleground for researchers around the world to prove the mettle of their verifiers on more than 10000 benchmark programs.

Pinaka, a symbolic execution engine designed and developed at IITH by Akash Banerjee, Eti Chaudhary and Dr. Saurabh Joshi participated in SVCOMP and placed 3rd in ReachSafety-Floats subcategory, 8th in ReachSafety category and 6th in Termination category. Pinaka was also one of the most accurate verifiers with only 3 errors in more than 6500 benchmarks it was run on.

More Details: https://sv-comp.sosy-lab.org/2020/

3D Printed Patient Specific Medical Implants technology transferred to the Industry

CSIR-Central Scientific Instruments Organisation (CSIR-CSIO) has transferred the knowhow of “3D Printed Patient Specific Medical Implants” to the industry. The requirement of such implants may arise due to trauma, diseases like cancer or fungal infection, revision surgeries etc.

Patient Specific Implant (PSI) are required when current commercially available implant for the site are either not available or doesn’t fulfill the anatomical requirement. In those cases PSI are designed for one particular patient from the CT-Scan data and then manufactured using 3D printing technology in Titanium or other biocompatible materials. The technology has been developed by CSIR-CSIO.

PSI are also beneficial for joint salvaging surgeries e.g. when human joints are good but bone near joints area is infected or traumatized. CSIR-CSIO has developed the know-how & expertise of PSI development for load bearing & non-load bearing anatomical sites.

To read the full study, please visit:

https://vigyanprasar.gov.in/isw/3D-Printed-Patient-Specific-Medical-Implants-technology-transferred-to-the-Industry.html

Genome Information to Help Precise and Personalized Healthcare

Researcher from India and USA, who work to understand the genetic basis of diseases among various ethnic populations from different parts of the world, participated in a workshop organized by CSIR-Centre for Cellular and Molecular Biology (CCMB), Hyderabad. The workshop focussed on understanding genome information in a better way. Improved information on genome can help fine-tune genome-assisted healthcare, and could even lead to precise, personalized, more effective and economical approaches to healthcare.

The three-day workshop, which started on January 16, is being attended by around 200 researchers, many of whom are promising PhD scholars from research institutes, universities, hospitals and life science companies in India and USA. This workshop is arranged by the Indo-US Science and Technology Forum, supported by the Department of Science and Technology, India, and Department of State, USA, with an aim to create fruitful collaborations between the two countries.

To read more, please visit:

https://vigyanprasar.gov.in/isw/Genome-Information-to-Help-Precise-and-Personalized-Healthcare.html

Study cautions about the use of designer receptors to control the brain

Chemogenetics is a technique that uses chemicals to understand how neurons are activated. It manipulates genes to place the neurons under the control of special receptors called DREADDS. Short for Designer Receptors Activated by Designer Drugs, these receptors only bind to an inert chemical called Clozapine-N-Oxide (CNO). In a recent study, researchers from the Tata Institute of Fundamental Research (TIFR), Mumbai, and Jawaharlal Nehru Center for Advanced Scientific Research (JNCASR), Bengaluru, point out specific flaws in this technique. The study was published in the journal eNeuro and funded by the Department of Science and Technology and Scientific and Engineering Research Board.

To read the full study, please visit:

https://researchmatters.in/news/study-cautions-about-use-designer-receptors-control-brain

New spray gel developed by INST could help take the bite out of frostbite

Scientists at the Institute of Nano Science and Technology (INST) in Mohali, an autonomous institution under the Department of Science & Technology, have developed a cold-stable spray gel that could be administered on-site for the immediate treatment of frostbite injuries and heal the wound. They have titled it 'Nano-Spray Gel.' 


Source: https://dst.gov.in/pressrelease/new-spray-gel-developed-inst-could-help-take-bite-out-frostbite

Upcoming Conference Alerts: January 2020 (Mumbai)

Upcoming Conference Alerts in Mumbai

JANUARY     2020

26/01/2020

International Conference on Business Management, Humanities and Social Science (ICBMHSS)

Mumbai, India

26/01/2020

International Conference on Electronics & Communication Engineering (ICECE)

Mumbai, India

26/01/2020

International Conference on Geography, Environmental History, & Economic History (ICGEE)

Mumbai, India

26/01/2020

International Conference on Industrial and Production Engineering (ICIPE)

Mumbai, India

26/01/2020

International Conference on Knowledge & Learning Analytics (ICKLA)

Mumbai, India

26/01/2020

International Conference on Renewable, Environment and Agriculture (ICREA)

Mumbai, India

26/01/2020

International Conference on Recent Innovations in Mechanical Engineering (ICRIME)

Mumbai, India

26/01/2020

International Conference on Robotics, Machine Learning and Artificial Intelligence (ICRMLAI)

Mumbai, India

26/01/2020

International Conference on Software Engineering and Information Technology (ICSEIT)

Mumbai, India

26/01/2020

International Conference on Sport, Exercise, & Kinesiology (ICSEK)

Mumbai, India

30/01/2020

7th HR Conference 2020

Mumbai, India

31/01/2020

International Conference on Advances in Mechanical, Civil, and Construction Engineering (ICAMCCE)

Mumbai, India

31/01/2020

International Conference on Advances in Mathematics, Physics and Applied Science (ICAMPA)

Mumbai, India

31/01/2020

International Conference on Big Data, IoT, Cyber Security and Information Technology (ICBDICSIT)

Mumbai, India

31/01/2020

International Conference on Humanities, Social Science and Business Management (ICHSSBM)

Mumbai, India

31/01/2020

International Conference on Industrial, Production & Systems Engineering (ICIPSE)

Mumbai, India

31/01/2020

International Conference on Robotics, Communication Technology, Electronics, and Electrical Engineering (ICRRCTEEE)

Mumbai, India

31/01/2020

International Conference on Smart Technology, Artificial Intelligence and Computer Engineering(ICSTAICE)

Mumbai, India

Watch the first-ever video of individual atoms bonding and breaking

If atoms did not connect to one another, everything we know would not exist. The Sun, the Earth, animals, plants, us — we are all based on that single chemical process when two atoms bond and form matter.

Source: https://www.inverse.com/article/62367-watch-first-video-of-atoms-bonding-breaking

Read here: https://bit.ly/2RqqdZm