(русский / in Russian) Разработка корпоративных систем

# You can also click the upper-left icon to select videos from the playlist.

source: НОУ ИНТУИТ     2013年12月29日
Разработка корпоративных систем
Курс и тесты в НОУ "ИНТУИТ" http://www.intuit.ru/studies/courses/549/405/info
Автор: Сергей Зыков
Предметом курса являются примеры построения реализаций корпоративных систем, с учетом характерных особенностей различных предметных областей. Акцент сделан на программную платформу Microsoft Dynamics и инструментарий Oracle.
Подобный подход позволил в сжатом объеме проиллюстрировать как высокую степень сложности, так и важность применяемых технологий разработки. В разделе рассматриваются практические примеры реализации корпоративных систем в конкретных холдингах нефтегазового, банковского и телекоммуникационного секторов.

Лекция 1: Особенности и проблемы создания нефтегазовой корпоративной системы 56:33
В лекции рассматриваются особенности и проблемы предметной области нефтегазового сектора. Основное внимание уделяется описанию постановки задачи построения корпоративных систем, разработки требований к ним, анализу существующих решений, выработке рекомендаций по их адаптации для соответствия выдвинутым требованиям, выбору инструментальных средств, проектированию информационой инфраструктуры, посановке целей программного решения, детализации его этапов и структуры, а также описанию результатов и проблем реалиации корпоративных систем в нефтегазовой корпорации "ИТЕРА".
Лекция 2: Методология создания нефтегазового портала 59:08
Лекция 3: Основы программной платформы Microsoft Dynamics 56:49
Лекция 4: Программная платформа Microsoft Dynamics CRM 1:01:12
Лекция 5: Платформа Microsoft Dynamics - улучшения и перспективы 52:15
Лекция 6: Платформа Microsoft Dynamics - отраслевые внедрения 57:07

Sage Days (2014)

# You can also click the upper-left icon to select videos from the playlist.

source: matsciencechannel     2014年8月18日

Introduction to Sage - Combinat by Schilling 58:24
Introduction to Sage - Combinat by Thiery 1:07:06
Classes, categories, parents and elements by Travis Scrimshaw 52:56
Right-angled Artin groups by Amritanshu Prasad 26:48
Gelfand-Tsetlin Patterns by S.Viswanath 23:54
Introduction to Sage : Mathematics Software for all by Karl - Dieter Crisman 56:31
Analytic Number Theory with Sage by Kamalakshya Mehatab 30:23

Udacity (videos of April & May)

source: Udacity
 4:26 Why Go Is So Difficult For AI A brief intro to why the game Go is so difficult for Artificial Intelligence. To learn more about Go please check out these videos:
Go - Basic Rules: https://youtu.be/5PTXdR8hLlQ
Go - Life & Death...
 4:36 Go - Basic Rules A brief intro to the rules of Go. To learn more about Go please check out these other Udacity videos:
Why Go is so Difficult for AI: https://youtu.be/ay6z_vXZzX8
Go - Life & Death: https://youtu.be... 
 4:12 Go - Life & Death A brief intro to the rules of Go. To learn more about Go please check out these other Udacity videos:
Why Go is so Difficult for AI: https://youtu.be/ay6z_vXZzX8
Go - Basic Rules: https://youtu.be...
 56:48 Robotics Q&A with Chris Anderson, Co-Founder and CEO of 3D Robotics Learn more about the robotics industry and Udacity's own Robotics Nanodegree Program in our live chat with our Robotics Service Lead Mike Salem and Chris Anderson, Co-Founder and CEO of 3D Robotics...
 1:24 Conheça a CI&T | Parceira Udacity
 3:19 Conheça a VivaReal | Parceira Udacity Inscreva-se em um Programa Nanodegree da Udacity e prepare-se para oportunidades nesta empresa inovadora. Saiba mais.
 3:40 Conheça a CI&T | Parceira Udacity Inscreva-se em um Programa Nanodegree da Udacity e prepare-se para oportunidades nesta empresa inovadora. Saiba mais.
 3:05 Conheça a 99 | Parceira Udacity Inscreva-se em um Programa Nanodegree da Udacity e prepare-se para oportunidades nesta empresa inovadora. Saiba mais. 
 1:07:35 On Intelligent Robots with Abbas Abdolmaleki Join us on March 21st at 6pm PST for a talk with Abbas Abdolmaleki, two-time Robocup World Champion. Brought to you by Udacity's Artificial Intelligence Nanodegree and Robotics Nanodegree programs.
 1:47 What is a Nanodegree? A Udacity Video Want to know exactly what a Udacity Nanodegree is and how it can change your life and career? Look no further! Learn more at udacity.com/nanodegree
 4:36 Why Go Is So Difficult For AI... You’ve probably heard of AlphaGo and the upcoming five-day festival of Go and artificial intelligence in China but did you every wonder why Go is such a difficult game for AI? Well, wonder no more!...
 1:04 Localization Essentials - Trailer Enroll in the course here: https://www.udacity.com/course/localization-essentials--u...
 36:25 Robotics Q&A with Abdelrahman Elogeel, Software Engineer at Amazon Robotics Learn more about the robotics industry and Udacity's own Robotics Nanodegree Program in our live chat with our Robotics Service Lead Mike Salem and Abdelrahman Elogeel, Software Engineer at Amazon ...
 1:40 Nanodegree Fundamentos de Data Science I - Trailer Aprenda a programar em Python e prepare-se para uma carreira em data science e machine learning! Este Nanodegree é ideal para quem deseja manipular, processar e limpar dados, permitindo análises ma...
 53:48 Robotics Q&A with Cory Kidd, Founder and CEO of Catalia Health Learn more about the robotics industry and Udacity's own Robotics Nanodegree Program in our live chat with our Robotics Service Lead Mike Salem and Cory Kidd, Founder and CEO of Catalia Health. Bri...
 53:52 Robotics Q&A with Jillian Ogle, Founder and CEO of Let's Robot Learn more about the robotics industry and Udacity's own Robotics Nanodegree Program in our live chat with our Robotics Service Lead Mike Salem and Jillian Ogle, Founder and CEO of Let's Robot. Bri...
 47:11 Robotics Q&A with Lewis Anderson, Co-Founder & CEO of Traptic Learn more about the robotics industry and Udacity's own Robotics Nanodegree Program in our live chat with our Robotics Service Lead Mike Salem and Lewis Anderson, Co-Founder and CEO of Traptic. Br...
 1:29 AIND Term 2 Term 2 is coming up. Are you ready? Starring Udacity's Artificial Intelligence Nanodegree Team.
Learn more about Term 2 in the Artificial Intelligence Nanodegree: https://medium.com/udacity/ai-nan...
 48:00 Robotics Q&A with Nick Kohut, CEO of Dash Robotics Learn more about the robotics industry and Udacity's own Robotics Nanodegree Program in our live chat with our Robotics Service Lead Mike Salem and Nick Kohut, CEO of Dash Robotics, makers of the K...
 24:03 Self-Driving Car Nanodegree: Q&A with Sebastian Thrun Join us for a Q&A with Sebastian Thrun on Friday, April 21st at 2pm PDT. Sebastian will be answering questions on the program, careers and the industry.
Apply to the Self-Driving Car Nanodegree Pr...
 44:41 Udacity Robotics Nanodegree Program | AMA European Webinar Chris Lei, Robotics Product Manager, and Ryan Keenan, Robotics Curriculum Lead, along with special guests from our partners, Electric Movement, will be joining Andy & Leah from the Udacity Europe t...
 0:48 Mobile Developer Education with Facebook and Udacity There is a world of opportunity out there, but in order to build successful mobile experiences at scale, those experiences need to be simple and personalized. That’s why Udacity is so excited to an...
 36:37 Udacity Talks Episode 9: Jamie Hyneman | Former Mythbuster, M5 Industries Don’t miss this very special episode of Udacity Talks. Our guest is Jamie Hyneman, former co-host of MythBusters, and the owner of M5 Industries. He joins Udacity founder Sebastian Thrun for a tour...
 3:14 Your new Udacity classroom! Enjoy this guided tour of the new Udacity classroom! We’ve implemented some upgrades we think you’ll find really valuable. We want the new classroom to be an incredible learning environment for you...
 34:07 Udacity Talks Episode 5: Anand Rajaraman | Founding Partner, rocketship.vc Anand Rajaraman is a serial entrepreneur, venture capitalist, and academic based in Silicon Valley. He co-founded two successful startups: Junglee (acquired by Amazon.com) and Kosmix (acquired by W...
 38:30 Udacity Talks Episode 4: Eric Darnell | Chief Creative Officer, Baobab Studios Eric Darnell’s career spans 25 years as a computer animation director, screenwriter, story artist, film director, and executive producer. He was the director and screenwriter on all four films in t...
 34:45 Udacity Talks Episode 3: Jess Lee | Co-Founder & CEO, Polyvore Jess Lee is CEO and Co-Founder of Polyvore, recently acquired by Yahoo. Prior to co-founding Polyvore, Jess was a product manager at Google, where she worked on Google Maps and launched features li...
 16:23 Artificial Intelligence - Q&A with Sebastian Thrun: April 2017 Sebastian Thrun, father of the self-driving car, Adjunct Professor of Computer Science and former Director of the Artificial Intelligence Laboratory at Stanford University, answers questions on Art...

Institute for Quantum Computing (videos of March 2017)

source: Institute for Quantum Computing
57:03 Thomas Vidick - Rigorous RG algorithms and area laws for low energy eigenstates in 1D March 27, 2017
1:16:48 Daniel Grimmer - Thermalization in Rapid Repeated Guassian Interaction - March 22nd, 2017 We investigate the open dynamics of a quantum system undergoing short discrete repeated interactions. We assume the joint dynamics of the system and the ancilla are unitary and the interaction is o...
54:01 Rakesh Tiwari - Robust quantum optimizer with full connectivity - March 20, 2017 Quantum phenomena have the potential to speed up the solution of hard optimization problems. For example quantum annealing, based on the quantum tunnelling effect, has recently been shown to scale ...
52:28 Martin Laforest - Quantum Applications IQC Senior Manager, Scientific Outreach, Dr. Martin Laforest talks about the applications of quantum devices. He delves into what we know quantum devices will be used for (that will affect everyone...
0:53 Airborne quantum communication demonstration: the experiment The first radio call from PhD candidate Christopher Pugh on a Twin Otter plane alerted the research team led by Professor Thomas Jennewein from the Institute for Quantum Computing (IQC) on the grou...

Real-Time Trajectory Replanning for MAVs using Uniform B-splines and 3D Circular Buffer

source: cvprtum    2017年2月25日
Real-Time Trajectory Replanning for MAVs using Uniform B-splines and 3D Circular Buffer
Authors: Vladyslav Usenko, Lukas von Stumberg, Andrej Pangercic and Daniel Cremers
Paper: https://arxiv.org/abs/1703.01416
Code: https://github.com/vsu91/ewok
Web-page: https://vision.cs.tum.edu/research/ro...
Abstract:
In this work we present a real-time approach for local trajectory replanning for MAVs. Current trajectory generation methods for multicopters achieve high success rates in cluttered environments, but assume the environment is static and require prior knowledge of the map. In our work we utilize the results of such planners and extend them with local replanning algorithm that can handle unmodeled (possibly dynamic) obstacles while keeping MAV close to the global trajectory. To make our approach real-time capable we maintain information about the environment around MAV in an occupancy grid stored in 3D circular buffer that moves together with a drone, and represent the trajectories using uniform B-splines. This representation ensures that trajectory is sufficiently smooth and at the same time allows efficient optimization.

Interpretable Models of Antibiotic Resistance with the Set Covering Machine Algorithm

source: GoogleTechTalks     2017年2月16日
A Google TechTalk, 13 Feb 2017, presented by Alexandre Drouin.
ABSTRACT: Antimicrobial resistance is an important public health concern that has implications in the practice of medicine worldwide. Accurately predicting resistance phenotypes from genome sequences shows great promise in promoting better use of antimicrobial agents. For instance, treatment plans could be tailored for specific individuals, likely resulting in better clinical outcomes for patients with bacterial infections.
Sparse machine learning algorithms are appealing tools in this context, since they make use of a concise set of features, which can be further interpreted by domain experts. However, in extremely high dimensional settings, which are common in genomics, the main challenge remains resistance to overfitting.
In recent work, the Set Covering Machine (SCM) algorithm has been used to obtain concise, expert interpretable, models of antibiotic resistance for 6 pathogenic bacterial species. Known and validated resistance mechanisms were recovered within minutes of computation. An empirical benchmark showed that the SCM compared favorably to more complex learning algorithms (e.g., L1-SVM), both in terms of accuracy and sparsity. Moreover, a theoretical analysis of the method revealed that the SCM has an uncharacteristically strong resistance to overfitting in genomic contexts.
In this talk, I will present the SCM algorithm, along with an efficient implementation for genomic data (https://github.com/aldro61/kover). I will rely on theoretical results and an application to antibiotic resistance to demonstrate that this algorithm is well-suited for predictive modeling in genomics."
ABOUT THE SPEAKER: Alexandre Drouin is a PhD candidate in Machine Learning and Computational Biology at the Université Laval, advised by Prof. François Laviolette.

Crystal: Fast as C, Slick as Ruby (Brian J. Cardiff)

source: GoogleTechTalks     2017年2月2日
A Google TechTalk, 1/20/17, presented by Brian J. Cardiff
ABSTRACT: Crystal is a new programming language that focuses on developer productivity, type safety and execution performance. It is statically checked and compiles to native (machine) code. It combines a type inference algorithm, compile-time macros, compile-time type introspection, automatic union types and Ruby-like syntax, allowing quick prototyping and generating efficient computer programs. It provides a Garbage Collector, uses LLVM as its backend and doesn’t run on a Virtual Machine.
In this talk we will show some examples and patterns that arise from combining all these language features.
For more information about Crystal: http://crystal-lang.org
About the speaker: Brian J. Cardiff
Brian is part of the original three-person core team that started Crystal language. He has over 15 years of experience as a professional software developer, most of them at Manas, the company behind Crystal. He has an extensive knowledge on programming languages, which include being a teacher at University of Buenos Aires on Paradigms of Programming Languages for several years. His contributions to Crystal have helped shape its type system and type inference algorithm, one of the key features of the language. Brian also has a keen interest in visualizations and user interaction, which is reflected in the Crystal playground, the built-in interactive code editor that ships with the compiler.

Brian Cox presents Science Matters - Machine Learning and Artificial intelligence

source: The Royal Society     2017年1月10日
We're beginning to see more and more jobs being performed by machines, even creative tasks like writing music or painting can now be carried out by a computer.
But how and when will machines be able to explain themselves? Should we be worrying about an artificial intelligence taking over our world or are there bigger and more imminent challenges that advances in machine learning are presenting here and now?
Join Professor Brian Cox, the Royal Society Professor of Public Engagement, as he brings together experts on AI and machine learning to discuss key issues that will shape our future.
Panelists will include:
Professor Jon Crowcroft FRS, Marconi Professor of Networked Systems at the University of Cambridge
Professor Joanna Bryson, Reader in AI Ethics, University of Bath
Professor Sabine Hauert, Lecturer in Robotics at the University of Bristol

"The Elements of Decision Alignment" - Mark S. Miller, Google

source: UCIBrenICS    2017年1月21日
“The Elements of Decision Alignment: Large programs as complex organizations”
Friday, January 20, 2017
FACULTY HOST:
Cristina Videira Lopes
ABSTRACT:
When one object makes a request of another, why do we expect that the second object’s behavior correctly satisfies the first object’s wishes? The need to cope with such principal-agent problems shapes programming practice as much as it shapes human organizations and economies. However, the literature about such plan coordination issues among humans is almost disjoint from the literature about these issues among objects. Even the terms used are unrelated.
Instead, these fields have much to learn from each other—both from their similarities and from the causes of their differences. We propose a framework for thinking about decision alignment as a bridge between these disciplines.
This is joint work with Bill Tulloh.

ABOUT THE SPEAKER:
Mark S. Miller is the main designer of the E and Dr. SES distributed object-capability programming languages, inventor of Miller Columns, a pioneer of agoric (market-based secure distributed) computing, an architect of the Xanadu hypertext publishing system, a representative to the EcmaScript committee, and one of Yedalog’s creators.

The Trials and Tribulations of Narrative in VR: The Stanford Ocean Acidification Experience

source: Stanford    2016年12月5日
From the October 24th mediaX Sensing and Tracking for 3D Narratives Conference, Jeremy Bailenson, Professor of Communication at Stanford University looks at the Ocean Acidification Project that allows users to stand in heavy traffic and follow carbon dioxide molecules from car tailpipes to the sea, where they are absorbed. Deep below the waves, users can move amid coral as it loses its vitality and observe the effects of increasingly acidic water on marine life.

From the Frame to the Sphere: Storytelling in Virtual Reality

source: Stanford    2016年12月5日
From the October 24th mediaX Sensing and Tracking for 3D Narratives Conference, Julia Sourikoff, Head of the Virtual Reality & 360 Division at Tool of North America examines how virtual reality is driving a renaissance in creativity with profound implications on the nature of storytelling. Control is shifting from author to audience and forcing creators to develop a new language for immersive media.

Randomness: A Visual Study

source: Institute for Quantum Computing    2016年12月7日
On November 30, 2016, more than 100,000 people worldwide participated in the BIG Bell Test, providing unpredictable measurements in the form of ones and zeros. Scientists around the world used the data in their Bell tests to perform real-time measurements.
Former Artist in Residence at the Institute for Quantum Computing (IQC) used three different sources of random data, including the data collected by the BBT, to create Randomness: A Visual Study. The resulting visualization, which used nearly 50 000 000 ones and zeros gathered globally, is a unique creation.
Learn more: https://uwaterloo.ca/institute-for-qu...

UC Games and Virtual Environments Workshop (March 12, 2015)

# click the up-left corner to select videos from the playlist

source: UCIBrenICS     2015年4月30日
IVECG Symposium 2015

Walt Scacchi - IVECG Symposium 11:25
Josh Tanenbaum - IVECG Symposium 9:46
Crista Lopes - IVECG Symposium 11:28
Aditi Majumder - IVECG Symposium 16:58
Jim Whitehead - IVECG Symposium 10:52
Victor Zordan - IVECG Symposium 9:03
Sheldon Brown - IVECG Symposium 11:27
Pat Seed - IVECG Symposium 17:11
Colin Milburn - IVECG Symposium 5:27
Debra Lieberman - IVECG Symposium 15:41
Tim Labor - IVECG Symposium 10:47
Marcelo Kallmann - IVECG Symposium 7:01
Jesse Colin Jackson - IVECG Symposium 11:41
Bonnie Ruberg - IVECG Symposium 8:12
Tom Boellsdorff & Braxton Soderman - IVECG Symposium 15:24
Amanda Philips - IVECG Symposium 10:23

Space-based quantum-secured communication prototype demonstration

source: Institute for Quantum Computing    2016年12月22日
In September, members of IQC's Quantum Photonics Lab traveled to Smith Falls and Ottawa to transmit a quantum key securely from a source on the ground to a receiver on an aircraft, the first of it's kind in Canada.

In search of software perfection - 2016 Milner Award lecture by Dr Xavier Leroy.

source: The Royal Society     2016年11月28日
2016 Milner Award lecture by Dr Xavier Leroy, a senior research scientist at Inria where he leads the Gallium research team.
In the general public, "software" has become synonymous with "crashes" and "security holes". Yet, there exists life-critical software systems that achieve extraordinary levels of reliability. For example, fly-by-wire systems, involving considerable amounts of software, have been used in commercial airplanes for nearly 40 years without any incident caused by a software bug.
What does it take to achieve this kind of software perfection? This lecture will describe some of the approaches involved, with special emphasis on the use of formal verification tools - that is, programs that check other programs for the absence of whole classes of bugs. These tools provide highly valuable guarantees that complement, and sometimes subsume, the assurance obtained by more traditional techniques such as testing. Beware however: a bug in the verification tool or in the compiler that produce the actual executable from verified sources could ruin these guarantees. How can we rule out this risk? Using the CompCert verified C compiler as an example, the lecture will discuss a radical, mathematically-grounded answer: the formal verification, using proof assistants, of the tools that participate in the construction and verification of critical software.
The lecture was recorded on November 24 2016 at the Royal Society. For more events like this, see our schedule - http://ow.ly/KhTi306gTN1

Google Test Automation Conference

source: GoogleTechTalks    2016年11月16日
The Google Test Automation Conference (GTAC) is an annual test automation conference hosted by Google. It brings together engineers from industry and academia to discuss advances in test automation and the test engineering computer science field. It is a great opportunity to present, learn, and challenge modern testing technologies and strategies. The first GTAC was held at the Google London office in 2006.
GTAC 2016 will be held on Nov 15-16 at Google Sunnyvale.

What is in Common Between Quantum Computer and Solar System? (by Boris Altshuler)

source: GoogleTechTalks      2016年11月10日
A Google TechTalk, 10/21/16, presented by Boris Altshuler.
ABSTRACT: Quantum Computers (QC) consist of a large number of interacting quantum bits. Solutions of computational problems are encoded in bit-strings which result from problem-specific manipulations. In contrast with Classical Computers, the state of a QC is characterized by a quantum superposition of the bit-strings (a wave function) rather than by a particular bit-string representing a computational basis. Instead of usual focus on quantum algorithms, here we will discuss QC using concepts from many-body physics as quantum dynamical systems. Recent progress in understanding the dynamics of quantum systems with large number of degrees of freedom is based on the concept of Many-Body Localization: the eigenstates can be localized in the Hilbert space in a way similar to the conventional real space Anderson Localization of a single quantum particle by a quenched disorder. Depending on the temperature (total energy) or other tunable parameters the system can find itself either in the localized or in the many-body extended phase. In the former case, the system of interacting quantum particles/spins cannot be described in terms of conventional Statistical Mechanics: the notion of the thermal equilibrium loses its meaning. Moreover the violation of the conventional thermodynamics does not disappear with the Anderson transition to an extended state. In a finite range of the tunable parameters we expect the non-ergodic extended phase: the many-body wave-functions being extended are multifractal in the Hilbert space making thermal equilibrium unreachable in any reasonable time scale. It means the system by itself keeps some memory of its original quantum state. This property can be extremely useful for quantum computation, which cannot be implemented without connection between the remote parts of the Hilbert space, i.e. states localized in the computational basis are useless. The ergodic states should also be avoided: in the Hilbert space of high dimension they easily lose the quantum information. We will discuss evidences for the existence of delocalized non-ergodic systems and speculate about their properties by comparing them with non-integrable classical dynamical systems such as Solar Systems.

Speaker Info:
Boris Altshuler works in the field of Condensed Matter theory. He made substantial contributions to the understanding of the effects of disorder, quantum interference and interactions between electrons on the properties of bulk, low-dimensional, and mesoscopic conductors. Boris was educated in Russia. He graduated from the Leningrad (now St. Petersburg) State University and joined Leningrad Institute for Nuclear Physics first as a graduate student and later as a member of the research stuff. His PhD thesis advisor was Arkadii Aronov. After moving to USA Boris was on faculty of the Massachusetts Institute of Technology and later of the Princeton University. He was also a Fellow of NEC laboratories America (Princeton, NJ). Now he is a professor of Physics at Columbia University. Boris Altshuler is a recipient of a number of scientific awards - the most significant are 1993 Hewlett-Packard Europhysics Prize (Agilent Prize) and 2003 Oliver Buckley Prize of American Physical Society. He is a member of the National Academy of Sciences and of the American Academy of Arts and Sciences. He is also a foreign member of The Norwegian Academy of Science and Letters and of the Academy of Romanian Scientists.

Data Mining Apps (Mini Lecture Series by Bart Baesens at the KU Leuven (University of Leuven), Belgium.

# click the up-left corner to select videos from the playlist

source: Bart Baesens    2013年11月25日

Mini Lecture: Social Network Analysis for Fraud Detection 33:52
Mini Lecture: Business Process Analytics in Practice 23:41
Mini Lecture: Churn Prediction: Analysis and Applications 32:19
Mini Lecture: Profit-driven Data Analytics: Classification Performance Measurement 25:01
Meet the Instructor - Bart Baesens 2:59
[Webinar] State of the Art Credit Risk Analytics | with Bart Baesens | #SuccessSeries 51:29

Networked Urbanism: Geographies of Information - Therese Tierney

source: Unit Fellows    2016年10月27日
The Unit for Criticism & Interpretive Theory at UIUC presents Therese Tierney on Networked Urbanism: Geographies of Information as part of the Fall 2016 Distinguished Faculty Lecture. The lecture was presented on October 24th in Gregory Hall, at the University of Illinois Urbana-Champaign.

Grammatical Framework: Formalizing the Grammars of the World

source: GoogleTechTalks    2016年9月15日
A Google TechTalk, 9/7/2016, presented by Professor Aarne Ranta, University of Gothenburg.
Speaker's errata:
4:57: “sixteen forms” should be “twenty-six”
19:32: “more than 2000 members” should be “200” as on the slide

ABSTRACT: GF (Grammatical Framework) is a grammar formalism that was first released at Xerox Research in 1998 and later became an open-source collaborative project. GF is thus at least a decade younger than the major grammar formalisms (LFG, HPSG, TAG, CCG) and has grown up in an era when computational linguistics is dominated by statistical methods rather than grammars. Its background is in fact quite different from the major grammar formalisms, as its roots are in theorem provers and compiler construction rather than theoretical linguistics.
The original mission of GF was to make it easy to implement multilingual controlled language systems, where a semantic interlingua serves as a hub between multiple languages. In such a system, translation works as parsing the source language into an interlingua followed by generation into the target language. Unlike in many other interlingual systems, the interlingua is not fixed but can be easily changed e.g. to adapt to application domains. Thus GF has been used to implement software specification systems, spoken dialogue systems, mathematical teaching tools, tourist phrasebooks, and many other applications, in which up to 30 parallel languages are involved.
In recent years, GF has also scaled up to wide-coverage parsing and translation, resulting for instance in the mobile app GF Offline Translator. While not quite as good in open-domain tasks as state-of-the-art statistical systems, the GF translator has some advantages: compact size (15 languages available offline in 30 megabytes), inspectability (via syntax trees and other grammatical information), and domain-adaptability. The traditional weakness of grammars, their labour intensiveness, is relieved by software techniques that make the development of grammars in GF orders of magnitude faster than with traditional methods.
Another emerging usage of GF is dependency parsing. The booming initiative of Universal Dependencies (UD) has turned out to be very similar to the interlingua used in the wide-coverage GF translator, so that GF trees can be automatically converted to UD trees. Since GF trees support generation in addition to parsing, the mapping makes it possible to bootstrap UD treebanks for new languages. More generally, the use of UD data in combination with GF grammars suggests a way to build hybrid systems that combine data-driven UD parsing with the precise semantic analysis and generation of GF.

ABOUT THE SPEAKER: Aarne Ranta is Professor of Computer Science at the University of Gothenburg. He defended his PhD at the University of Helsinki in 1990. After seven years as Junior Fellow of the Academy of Finland, he worked at Xerox Research Centre Europe in Grenoble in 1997-1999, starting the development of Grammatical Framework (GF), after which he joined the Department of Computing Science of Chalmers University of Technology and University of Gothenburg. Ranta’s research interests have covered type theory, functional programming, compiler construction, and, as his main field, computational linguistics. His has followed the mission to formalize the grammars of the world and make them available for computer applications. In this work, he has been helped by 10 PhD graduates and by a community of over 200 GF contributors. Ranta is currently on a partial leave from the university to work for the start-up company Digital Grammars AB, which develops reliable language technology for producers of information.