Formal specification languages

Rosetta-lang

Within computing, the Rosetta system-level specification language is a design language for complex, heterogeneous systems. Specific language design objectives include: * Constraint representation * Heterogeneous system representation and specification composability * Well-defined formal semantics and support for formal analysis * Scalability to large designs Rosetta was undergoing standardization at various times. (Wikipedia).

Video thumbnail

We Love Opera! What is a prima donna?

A quick definition of the opera term "prima donna." It's not what you think! Want to go to the opera, but you're not sure you'll understand what's going on? "We Love Opera" is a video series from Socratica that will help you understand what opera is all about. Opera can be exciting, fu

From playlist Opera Glossary

Video thumbnail

The Nightingale and the Rose by Oscar Wilde - Audiobook read by John Gielgud

The Nightingale and the Rose by Oscar Wilde read by Sir John Gielgud

From playlist Old Audiobooks

Video thumbnail

We Love Opera! What is an operetta? Is it the same as an opera?

What's the difference between an opera and an operetta? Here's a quick answer. Want to go to the opera, but you're not sure you'll understand what's going on? "We Love Opera" is a video series from Socratica that will help you understand what opera is all about. Opera can be exciting, f

From playlist Opera Glossary

Video thumbnail

The Jezabels - Rosebud

Music video by The Jezabels performing Rosebud. The Jezabels

From playlist New Wave/Electro Pop/Indie Pop: 2009 - 2017 (original!)

Video thumbnail

We Love Opera! What is a recitative in an opera?

A quick definition of the opera term "recitative." It's a little break from the more complicated singing. Want to go to the opera, but you're not sure you'll understand what's going on? "We Love Opera" is a video series from Socratica that will help you understand what opera is all abo

From playlist Opera Glossary

Video thumbnail

Friends Talk with David Lang

Institute for Advanced study's Artist in Residence David Lang speaks about musical structure, conventions and those who push the boundaries of what music can accomplish

From playlist Artist in Residence

Video thumbnail

Robbert Dijkgraaf tribute to Robert Langlands

This speech was held immediately after the announcement of the Abel Prize in March 2018. The speaker is Robbert Dijkgraaf, a theoretical physicist and string theorist, but also the director at Institute for Advanced Study in Princeton. Thumbnail photo: Andrea Kane

From playlist The Abel Prize announcements

Video thumbnail

Japan is Going to Bring a Sample of Phobos Back to Earth. The Martian Moon eXploration Mission

Mars has been the destination for so many of our spacecraft, and for good reason, it’s probably the most Earthlike place in the Solar System, with water ice on its surface and reservoirs of the liquid beneath the surface. If we’re going to find life, Mars might be the place. But the tiny

From playlist Mars

Video thumbnail

Weekly Space Hangout - May 29, 2015: Dr. Bradley M. Peterson

Host: Fraser Cain (@fcain) Special Guest: This week we welcome Dr. Bradley M. Peterson, whose research is directed towards determination of the physical nature of active galactic nuclei. Guests: Jolene Creighton (@jolene723 / fromquarkstoquasars.com) Charles Black (@charlesblack / sen.com/

From playlist Weekly Space Hangout

Video thumbnail

Open Source & Feelings 2015 - Re-inventing the Rosetta Stone Together by Mariko Kosaka

Re-inventing the Rosetta Stone Together by Mariko Kosaka Many tech projects are anglocentric. The de facto language used to develop and document a project is English, and it is often overlooked that a project is used largely by non-English speaking communities. We programmers like to thi

From playlist Open Source & Feelings 2015

Video thumbnail

The amazing adventures of Rosetta and Philae

Watch the amazing cartoon adventures of Rosetta and Philae, now back-to-back in one special feature-length production. Find out how Rosetta and Philae first got inspired to visit a comet, and follow them on their incredible ten-year journey through the Solar System to their destination, f

From playlist Comet Interceptor

Video thumbnail

A Journey To The Origins Of The Solar System | Rosetta Comet Chaser | Spark

In 2014, for the first time in the history of space exploration, the European Space Agency landed a probe on the surface of a comet. After 10 years of travel, the probe landed on the frozen surface of Comet 67P/Churyumov-Gerasimenko to learn more about the origins of the Solar System. ---

From playlist 4K Science Documentaries

Video thumbnail

We Love Opera! Who is the mezzo soprano in the opera?

Which singers in an opera are the mezzo sopranos? Here's a quick answer. Want to go to the opera, but you're not sure you'll understand what's going on? "We Love Opera" is a video series from Socratica that will help you understand what opera is all about. Opera can be exciting, funny,

From playlist Opera Glossary

Video thumbnail

Rosetta Ends a Life of Discovery and Exploration | HowStuffWorks NOW

Sure, Rosetta may have ended its operating life by crashing head-first into a comet hole, but it sure did teach us a thing or two about comets. Let's explore… MUSIC: ’CGI Snake’ by Chris Zabriskie VIDEO CLIPS: Philae Lander on Comet 67P/Churyomov-Gerasimenko https://www.youtube.com/watc

From playlist HowStuffWorks NOW

Video thumbnail

ScienceCasts: Rosetta Comet Comes Alive

Visit http://science.nasa.gov/ for more. Later this year, Europe's Rosetta probe will orbit and land on comet 67P/Churyumov--Gerasimenko. New images of the comet show that it will be a lively place when Rosetta arrives.

From playlist Rosetta

Video thumbnail

Jamovi 1.8/2.0 Tutorial: Rosetta Stats Module (Episode 40)

In this Jamovi tutorial, I discuss an add-on module called Rosetta Stats! It's a small start-up collaboration of folks designing a multi-platform, open-source interfaceable textbook online (https://sci-ops.gitlab.io/rosetta-stats/ OR https://github.com/psytext/rosettastats) The module and

From playlist Jamovi Tutorials

Video thumbnail

We Love Opera! What is falsetto, and do they use that in opera singing?

Why does that guy have such a high voice? I thought male opera singers had deep, powerful voices! Want to go to the opera, but you're not sure you'll understand what's going on? "We Love Opera" is a video series from Socratica that will help you understand what opera is all about. Oper

From playlist Opera Glossary

Video thumbnail

5 Things You Need to Know About Rosetta, the Comet Chaser -- The Countdown #40

We've put robots on both the moon and mars, but scientists have never tried to soft-land a robot on a comet--until now. In this episode of The Countdown, we cover everything you need to know about the European Space Agency's groundbreaking Rosetta mission. -- SUBSCRIBE, future astronaut

From playlist The Countdown

Related pages

Coalgebra | Specification language | SystemVerilog | Complete lattice | SystemC | Type system | Semantics (computer science) | Prototype Verification System | Constraint programming | Scalability | Homomorphism