uk: Комп'ютерні науки

description: This talk is about taking pictures from above with a big latex balloon, helium, strings, duct tape and CHDK, and making a nice video with the pictures using python, GStreamer and OpenCV. Some friends of mine and I got pretty busy last year on a crazy balloon photography project. I want to share that experience, say what worked (helium, CHDK, GStreamer) and what didn't (crazy kite-balloon ideas, arduino connectivity, and some other things, all due to a lack of time). Hopefully, that would motivate hackers to get out of their basement and go do cool things under the Sun.

uk: вхід без авторизації

name: Hacking in the real world: Photography from above


Serafeim Zanikolas

type: Person

cs: Informatika

de: Informatik

fi: tietojenkäsittelytiede

uk: Комп'ютерні науки

en: Computer Science

fr: Informatique

da: Datalogi

es: Ciencias de la Computación

nl: Informatica

cs: Technické vědy

de: Ingenieurwissenschaften

fi: tekniikka

uk: Інженерія

en: Engineering Sciences

fr: Ingénierie

da: Ingeniørvidenskab

es: Ingeniería

nl: Engineering

description: Debian has a number of legacy tools (that's a euphemism for ugly hacks) that are not addressed due to inertia, fear of breaking stuff, and the difficulty of reaching consensus for changes with cross-package impact. I'll talk about dealing with the above issues in the context of ongoing work as part of Debian Enhancement Proposal 9. Specifically, the talk will cover how (not) to make proposals for cross-package changes, and how to map behaviour in a technical spec to feature-centered assertions in a test suite.

TIB AV-Portal

type: Service

type: WebContent

type: MediaObject

@language: en

cs: přihlášení není vyžadováno

de: keine Anmeldung erforderlich

uk: вхід без авторизації

en: no login required

nl: geen login vereist

name: How to replace a legacy tool with 100k installations: ... and 50 reverse package dependencies in Debian

FOSDEM VZW

type: Organization

cs: Video

de: Video

fi: Video

uk: Відео

en: Video

fr: Vidéo

da: Video

nl: Video

es: Video


uk: Комп'ютерні науки

description: The open source OpenQuake seismic calculation engine is developed and maintained by the GEM foundation which is a public-private partnership that drives a collaborative effort aimed at developing and deploying tools and resources for earthquake risk assessment worldwide. Seismic hazard calculations can be massive making it necessary to partition and distribute them across a compute network. The OpenQuake engine partitions seismic calculation and uses - celery - rabbitmq - redis to push the tasks into the compute network and to collect the results. There were a number of lessons learned while scaling up OpenQuake to perform seismic calculation for the whole of Europe and I will touch upon the most important ones.

uk: вхід без авторизації

name: How we scaled up OpenQuake: Partitioning and executing seismic calculation in a compute network


uk: Комп'ютерні науки

description: Nexenta has had their own distribution since their inception. Now with the move to an illumos core we are launching a new distribution with an illumos kernel and debian packaging.

uk: вхід без авторизації

name: Illumian, a new illumos based distribution


uk: Комп'ютерні науки

description: FOSDEM (Free and Open Source Development European Meeting) is a European event centered around Free and Open Source software development. It is aimed at developers and all interested in the Free and Open Source news in the world. Its goals are to enable developers to meet and to promote the awareness and use of free and open source software.

uk: вхід без авторизації

name: Implementing Domain Specific Languages with LLVM


Internet of Threads

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

description: In this talk we will explain how some common attacks against vulnerable software work and will explain how the security measures used by the Gentoo Hardened project act against them along with the drawbacks they impose.

uk: вхід без авторизації

name: Introduction to hardening, the Gentoo Hardened approach


uk: Комп'ютерні науки

description: The GNU FM software allows music lovers to share their listening habits and to discover new music. It allows artists to find new audiences for their music and to earn a little money. Libre.fm is a public installation of GNU FM which anyone can make use of, and which currently has roughly 50,000 users and over 80,000 streamable tracks by 7,500 artists. By letting Libre.fm know what music you like and dislike it's able to construct personalised radio streams filled with great freely licensed music tailored specifically to your tastes. In this talk we'll discuss what we've achieved so far, our plans for the future and how you can help out. GNU FM implements the Last.fm protocols, making it an easy drop-in replacement for clients that already support the submission of listening statistics to Last.fm, and for clients capable of playing Last.fm radio streams. A number of players have already added out of the box support for Libre.fm, including the GNOME music player Rhythmbox.

uk: вхід без авторизації

name: Libre.fm and GNU FM: Supporting free culture artists with free software


LibreOffice: on-line and in your pocket

uk: Комп'ютерні науки

description: Hear how LibreOffice is tackling our users demands both for an 'app', a web office suite, and a traditional fat client, and how we have fun while improving the software. As the world moves simultaneously either to the cloud or towards 'apps' - come hear how LibreOffice is tackling our users' needs in both of these (apparently conflicting) directions with the same code-base. See a demo of the LibreOffice On-Line prototypem, grasp the technologies, understand the benefits and problems of this model of web provision, and hear how you can play with / adapt gtk+ / broadway to your application. Hear about our handset / tablet developments, and our ongoing work to get smaller and faster. See how almost all the work we do for these products helps the normal fat-client office experience too. Finally, of course some degree of catch up with the progress of LibreOffice as a code-base and community as we ship our version 3.5 will be presented, along with pointers for how to get involved in development.

uk: вхід без авторизації


Linux containers and OpenVZ

uk: Комп'ютерні науки

description: The talk is about operating system virtualization technology known as OpenVZ. This is an effective way of partitioning a Linux machine into multiple isolated Linux containers. All containers are running on top of one single Linux kernel, which results in excellent density, performance and manageability. The talk gives an overall description of OpenVZ building blocks, such as namespaces, cgroups and various resource controllers. A few features, notably live migration and virtual swap, are described in greater details. Results of some performance measurements against VMware, Xen and KVM are given. Finally, we will provide a status update on merging bits and pieces of OpenVZ kernel to upstream Linux kernel, and share our plans for the future. The talk is suitable for general audience, but will be of most interest to people interested in Linux kernel, resource management, virtualization, and cloud computing. The talk is about operating system virtualization technology known as OpenVZ. This is an effective way of partitioning a Linux machine into multiple isolated Linux containers. All containers are running on top of one single Linux kernel, which results in excellent density, performance and manageability. The talk gives an overall description of OpenVZ building blocks, such as namespaces, cgroups and various resource controllers. A few features, notably live migration and virtual swap, are described in greater details. Results of some performance measurements against VMware, Xen and KVM are given. Finally, we will provide a status update on merging bits and pieces of OpenVZ kernel to upstream Linux kernel, and share our plans for the future. The talk is suitable for general audience, but will be of most interest to people interested in Linux kernel, resource management, virtualization, and cloud computing.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Wouldn't it be great if our phones, tablets, laptops and other mobile gadgets could use the same IP (v4 and/or v6) address regardless of which network they are connected to? And all that without a fixed tunnel causing path stretch, while offering some advanced traffic management features? This talk will present the LISPmob project, which implements a network layer mobility solution based on the Locator/ID Separation Protocol. LISP stands for not just the programming language, but for the Locator/ID Separation Protocol as well, which is a soon-to-be-finalized IETF standard. LISP can be used to improve network layer mobility, by assigning a static Endpoint IDentifier (EID) to hosts, which are mapped to a Routing LOCator (RLOC) identifying the network point of attachment. Both EIDs and RLOCs are IP addresses. Transport layer connections use EIDs, while packets are traveling in dynamic point-to-point tunnels using RLOCs for encapsulation between hosts, thus avoiding path stretch. The LISP Mobile Node specification enables maintaining the same IP address regardless of network attachment point, and address family combination. For example, a device can use an IPv4 address on an IPv4-only, IPv6-only, or dual stack network. Since a roaming event does not change the IP address used by transport layer, ongoing connections (such as a SIP call) are maintained. Additionally, nodes with several available interfaces can define active-backup, or active-active load balanced incoming traffic policies. The LISPmob Project is an implementation of the above specification for Linux, consisting of two kernel modules and a user space daemon.

uk: вхід без авторизації

name: LISPmob: enhanced network layer mobility solution


uk: Комп'ютерні науки

description: Trac is a free, web-based project management and bug-tracking tool. It is written in the Python programming language. Until mid-2005, it was available under the GNU General Public License; since version 0.9, it has been released under a modified BSD license. Fast, highly flexible, its users can configure a lot of thing, and extend its functionalities with dozens of plug-ins. Mail2trac is one of them. The main purpose of mail2trac is to present a new interface of extension allowing trac's admins to propose to their users to interact with trac using mail. In this early version, it already propose this interface, and allow to create and respond to tickets via email. Let us show you mail2trac, its work-flow and its future.

uk: вхід без авторизації

name: mail2trac: a pluggable email handler for Trac


uk: Комп'ютерні науки

description: Minemu: protecting buggy programs from memory corruption attacks Dynamic taint analysis is a powerful technique to detect memory corruption attacks. Yet with typical overheads of an order of magnitude, it is not something you would choose to deploy in any production environment. Minemu is a fast taint-tracking emulator for Linux which aims to be fast enough to be run on production systems. Minemu is a fast, process-based taint-tracking emulator for Linux (x86, 32bit). By keeping track of where untrusted data (such as data from the network) is copied to inside your program, and by subsequently checking whether this data is used to take control of the program, Minemu effectively protects against most memory corruption attacks, both for known and unknown vulnerabilities. Tracking the flow of untrusted data during the execution of a program is slow because we effectively have to do an extra memory operation for each original memory operation. However, by using a special memory layout and utilizing SSE registers, Minemu tries to keep the overhead to a minimum.

uk: вхід без авторизації

name: Minemu: Protecting buggy software from memory corruption attacks


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Multi OS Continuous Packaging with Project-Builder.org


Multiarch - why it's important

uk: Комп'ютерні науки

description: Multiarch is a properly generic solution to the installation and use of library packages from one than one architecture at a time, which changes the way running non-native binaries and crossbuilding are dealt with in a fundamental way. It is both powerful and intrusive and has taken a long time to make happen. This talk explains what it is, how it works, and what you can do with it. We will also discuss future adoption by other distros.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: MultiPath TCP, a major extension to TCP, allows the simultaneous use of a smartphone's 3G and WiFi interface to increase throughput and better resilience. We implement MultiPath TCP in the Linux Kernel, publicly available at TCP, the most used Transport Protocol on the Internet, does not allow the simultaneous usage of multiple Interfaces. Smartphones with 3G and WiFi interfaces would benefit from a simultaneous use of both interfaces. MultiPath TCP is a major extension to TCP, allowing the use of multiple Interfaces for a single data-stream, without the need to modify the applications. This allows an increased throughput and better resilience to failures. The IP Networking Lab of the Université Catholique de Louvain is implementing MultiPath TCP in the Linux Kernel. The publicly available source-code modifies/adds about 10000 lines to the Linux Kernel's TCP-stack. The implementation has shown very good performance. For example, a throughput of up to 15 Gbps across two 10 Gig interfaces, whereas regular TCP can only use a single interface and thus 10 Gbps. We are now considering inclusion in the mainline kernel and would like to encourage people to test our implementation and/or submit patches to help improving it.

uk: вхід без авторизації

name: MultiPath TCP: Linux Kernel Implementation: An open source implementation of MultiPath TCP in the Linux Kernel


Native Linux KVM Tool

uk: Комп'ютерні науки

uk: вхід без авторизації


Managing your network with Netmagis

uk: Комп'ютерні науки

description: Netmagis is a network management tool not unlike Netdot but with some original features - Host and network management : Netmagis features host and network declaration, DNS and DHCP generation. Netmagis shows an interactive address MAP allowing to see free addresses. It also supports IPv6 addresses. - Network Metrology : Netmagis is a complete plateform which also integrates network equipement polling via SNMP to generate automatically RRD trafic graphs - Network Configuration and Topology and network equipement configuration collection (with rancid) and analysis to build a graph. From the graph, network maps are derived allowing vizualization of the topology. - Network modifications : the topology module includes a web interface which the network operator to change the VLAN on an interface of an equipement. - MAC address association : the polling system also polls equipements regularly to store IP-MAC association and MAC-PORT-VLAN association into a database to track and localize hosts. - Rights management and delegation : netmagis also possesses a detailed right models allowing delegation of several network management functions. - License :Netmagis uses a BSD license

uk: вхід без авторизації


One Year of openQA

uk: Комп'ютерні науки

description: Testing is an important task. But testing daily development-snapshots of a Linux-distribution would mean testing the same things every day, which would be pretty tiresome to testers. Yet, no one likes to break his system with untested code. This presentation will be about my solution to this problem, using automated testing with KVM or VirtualBox for openQA.openSUSE.org to guarantee some minimum quality. This will show some unique features like audio-testing, GUI-testing, and support for multiple distributions like Debian, Archlinux and Fedora. It will also have installation videos which are cool, fun and useful.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: OpenRemote is an open source project operating in the field of Domotics. OpenRemote develops and distributes a standard based platform that is extensible and flexible with applications to Home Automation, Energy Management and Healthcare. This community based project integrates varied field protocols (such as KXN, X10 and Z-Wave) in a common framework and allows for easy creation of visual panels. Open Remote supports the leading standard platforms iOS, Android and web. OpenRemote offers a variety of cloud-based tools which are aimed at simplifying the work of professionals as well as hobbyists.

uk: вхід без авторизації

name: Open Remote: Open Source Home Automation


PMD5: What can it do for you ?

uk: Комп'ютерні науки

description: This lightning talk will be an overview of the important features of PMD 5.0, from which a beta should be release before then.Introducing briefly what PMD does (static code control and analysis) and how it does it (using XPath to query over Abstract Syntax Tree provided by pre-compilation), the talk will focus on the more important enhancement of this version: multi language support, mostly achieved by the great work of Ryan Gustavson between 2009 - 2010. With this features, PMD can be easily extend to support a large set of languages, including already XML based languages and ECMAScript (more commonly designated by the name JavaScript)

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Powerful tools for Linux C C developers based on Eclipse


Q A with the FOSDEM staff

uk: Комп'ютерні науки

uk: вхід без авторизації


QA tools for FOSS distributions

uk: Комп'ютерні науки

description: FOSS distributions are increasingly over pressure to deliver stable releases including the most up to date upstream software. Time-based release strategies has exacerbated this problem putting even more pressure on QA teams. The recently concluded Mancoosi project has developed a number of tools to automatically analyse large packages collections for a range of problems, from installability checks to speculative analysis of software repositories. In this talk I'll present four command line tools to identify and correct potential problems as soon as possible during the release cycle.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Re-thinking system and distro development


uk: Комп'ютерні науки

description: The Wishbone bus is an open source hardware computer bus specification intended to let different logic blocks within an integrated circuit communicate with each other. This talk will introduce a set of memory mapped data structures that allow designers to describe their own logic blocks, thus allowing for the auto-discovery of devices on a Wishbone bus. The Wishbone bus is an open source hardware computer bus intended to let different logic blocks within an integrated circuit communicate with each other. This talk will introduce a set of memory mapped data structures that allow designers to describe their own logic blocks. Thus, for compliant chip designs, the operating system can enumerate the Wishbone bus inside the integrated circuits and load the appropriate drivers, similar to PCI or USB. The proposed specification is already being used in a set of FPGA based cards being developed at the Open Hardware Repository. By defining a new bus type within the Linux kernel, the driver for each board can register as a Wishbone controller and benefit from automatic enumeration. The bus controller can use the information it retrieves to load or activate the appropriate set of drivers to manage either the whole board or the various peripherals that are attached to the internal Wishbone bus. Such a scheme greatly simplifies managing the variety of FPGA binary images, by allowing automatic division of the problem space. Even when a single driver is needed for the whole device-set within the internal bus, a standardized identification mechanism reliefs system administrators from manually matching FPGA images and software drivers.

uk: вхід без авторизації

name: The Self-Describing Wishbone Bus (SDWB): A specification for enabling auto-discovery of Wishbone cores


Managing Data in MediaWiki

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Succeeding in the Google Summer of Code as a large project


uk: Комп'ютерні науки

uk: вхід без авторизації

name: The Growl Project: Making users happy one notification at a time


The Wild West of UNIX I O

uk: Комп'ютерні науки

uk: вхід без авторизації


Threat Modeling Revolutionized

uk: Комп'ютерні науки

uk: вхід без авторизації


Transifex: Localizing your application

uk: Комп'ютерні науки

description: Transifex is an open-source localization platform. It helps developers manage the localization process for their software. Especially in the open-source world, localizing the software is very important. This talk will explain briefly what localization is, what are the issues that arise and how Transifex can help projects manage the translation workflow. Transifex is an open-source localization platform. It is already used by a lot of open-source projects, including fedora and meego, with great success. The talk will focus on explaining what localization is and why it is important. It will also describe how Transifex works and how it can help the developers integrate translations in their workflow and the translators to cooperate better to help with the translations.

uk: вхід без авторизації


Unhosted

uk: Комп'ютерні науки

description: FOSDEM (Free and Open Source Development European Meeting) is a European event centered around Free and Open Source software development. It is aimed at developers and all interested in the Free and Open Source news in the world. Its goals are to enable developers to meet and to promote the awareness and use of free and open source software.

uk: вхід без авторизації


Univention Corporate Server

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

description: So you have your system set up to work perfectly. But moving to new machines, adding or changing configs etc is hard and takes way too much time. Thus, you hacked up a common CVS/SVN/Git/whatever repository and soft-link into $HOME. There is a better way and it's called vcsh. I will demonstrate, in order: - the need for config management - how fake bare git repos work - what vcsh can do - show a demo - take questions if I have time

uk: вхід без авторизації

name: vcsh - manage config files in $HOME via fake bare git repositories


Virtualization with KVM

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Voice Applications for the Modern Open Source Hacker


Wayland: A new graphics architecture

uk: Комп'ютерні науки

description: Wayland is a new window system architecture aiming to be a good fit for everything from embedded and mobile devices to full-blown desktop environments. Wayland builds on most of the graphics driver, desktop and UI infrastructure we have today, but distills out just the display server functionality we actually use today. The toolkits, device drivers, compositors and desktop environments we use today all play their parts, but the X server is essentially reduced to an awkward, 500kloc IPC mechanism. In the talk we will look at where Wayland comes from, how our graphics stack has evolved to make Wayland feasible and the basics of how Wayland works. We are working towards a 1.0 release of the protocol libraries and the reference compositor, Weston, and we'll take a look at what will be in the release.

uk: вхід без авторизації


Model your UI ... Live! Wazaabi

uk: Комп'ютерні науки

description: UI development usually consists in building software components that rely on a business data model. But business data models need to change frequently to adapt user requirement updates. This implies to adapt frequently the UI components. Nowadays, existing solutions provide a way to support these changes by providing code generation and data binding. But, these solutions are still slow. Then, the development cost increases rapidly if you have frequently requirement updates and/or many UI components. Wazaabi aims to reduce this cost by providing a solution based on models which doesn't require code generation. Based on Eclipse EMF, Wazaabi provides an open source framework that implements a dynamic declarative UI mechanism. The Wazaabi framework is directly based on the business data model and will evolve with it. This presentation aims to give a look inside this framework. Wazaabi is an open source framework for declarative live UI-model. In this term two different concepts are included. * The declarative UI, means that Wazaabi enables the designer to describe the UI declaratively. * Model means that the declaration build an instance of a model of the GUI. A model is a conceptual representation of the UI. * Live model means that we do not generate code from the Model as it is usually the case with the MDA approach. In Wazaabi the UI is a running instance of the model and an engine is responsible for rendering the model in the target UI technology (SWT, SWING, JSF, etc.)

uk: вхід без авторизації


Welcome to FOSDEM 2012

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Why the community should welcome Average Jane and Joe


uk: Комп'ютерні науки

description: The people who believe in free software and open education have a lot in common, but few shared projects. Wikiotics has run for three years as a one such hybrid project and in the process spent a lot of time talking about education at free software conferences and about free software at education ones. If you have ever wondered why there aren't more projects like Wikipedia out there, come hear about some of the difficulties and opportunities for Foss/Edu collaboration. Openness, sharing, collaboration, and everyone's right to use, for any purpose. With these shared values, the partnership between free software and education should be natural, yet too often these communities operate without ever interacting. At Wikiotics, a language instruction project built from our own free software, we have faced puzzled looks at every turn. As the only education project at free software conferences and the only free software project at education ones, we have talked to many people from both communities about our common values and learned a lot about the barriers to working together and the incredible potential for social change when we collaborate. Come hear a little bit about our strategies for overcoming them.

uk: вхід без авторизації

name: Wikiotics: An interactive wiki for language teachers and students


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Working with contributor communities round table


XQuery 3 0 Rocks

uk: Комп'ютерні науки

description: XQuery has been designed by the W3C as a general purpose XML processing language. Although XQuery is mainly known as a query language for XML collections, it is a fully fledged programming language useful in a variety of architectures and environments. With an extremely powerful support for database queries, scripting, and full-text search, XQuery is providing a unified framework for building web applications. The aim of this talk is to briefly introduce some of the new language features in XQuery 3.0 and demo how XQuery & HTML5 can work together to build applications that are 300% awesome.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації

name: You're doing it wrong: Making the most of communities


uk: Комп'ютерні науки

uk: вхід без авторизації

name: The ZIO Framework: A modular environment for laboratory I/O


uk: Комп'ютерні науки

description: Hot Topic Title: “The Role of Mathematics and Computer Science in Developing Countries“ Discussion: "How to support local initiatives" Experts discuss the role and potential of mathematics and computer science in developing countries and emerging economies at the 2nd Heidelberg Laureate Forum. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 2nd HLF - Hot Topic – Panel Discussion Part 5 - The Role of Mathematics and Computer Sciences in Developing Countries: How to support local initiatives


uk: Комп'ютерні науки

description: Hot Topic Title: “The Role of Mathematics and Computer Science in Developing Countries“ Presentation: "Mathematics and Computer Sciences in Niger: Role, Difficulties and Prospects" - For the slides, please visit: http://www.slideshare.net/HLForum/ht-adamou-2014slideshare Abstract: "Mathematics and Computer Science are of paramount importance in both teaching and scientific research, and the expectations of their applications and implications in other areas of everyday social, political and economic life, are very huge. However, just as in a lot of developing countries, in Niger these disciplines encounter enormous difficulties that are first of pedagogical order due to the lack of well qualified teachers in sufficient numbers, then of adversely order by society for the complexity in learning and especially for the professional market deemed in most cases demotivating. In this talk, we present the status of the art of these key disciplines, their role and problems that impede their development in Niger. We also talk about the ways and means undertaken in recent years to overcome the various impediment and thus promote these disciplines to properly contribute to social economic development of the country and even worldwide level."

uk: вхід без авторизації

name: 2nd HLF - Hot Topic Presentations - The Role of Mathematics and Computer Sciences in Developing Countries: Role, difficulties and perspectives in Niger


uk: Комп'ютерні науки

description: Hot Topic Title: “The Role of Mathematics and Computer Science in Developing Countries“ Presentation: "Viewpoint from Bangladesh" - For the slides, please visit: http://www.slideshare.net/HLForum/ht-kaykobad-2014slideshare Abstract: "This presentation reiterates the stand of the academicians in the World Class University Conferences held at Shanghai that success of developing countries in facing challenge and competition of the 21st century will largely depend upon their ability to create world class universities. Now that horizon of every branch of science has been increasing, newer and newer branches are being added to the knowledge, the world needs many more knowledge workers than ever before. There has been an unfortunate trend of good science students continuing education in other branches implying that there will be lesser knowledge workers to push the boundaries of science and technology. This will necessitate popularizing STEM subjects among young students. Many developing countries are yet to appreciate importance of investing the prescribed 6% of GDP in education or 20% of budget allocation. For over populated countries like Bangladesh this may not be possible to increase allocation immediately. However, our initiative of Mathematics, Informatics, Physics, Chemistry and science Olympiads throughout the country, massive participation of students and guardians alike and winning medals from international events by our students do indicate that introduction of healthy Olympiad competitions may encourage young students to continue with science subjects and earn excellence. Academicians should also find ways and means of popularizing science not only among science students and faculty members but also among people of other walks of life through introduction of cost effective events like Olympiads. In fact we are looking for days when IMO, IOI, IPhO, IChO champions will be considered as superstars in a scale of Wimbledon champions or golden boot winners at least by science students and faculty members. Since developing countries are short of resources and infrastructures they must initiate innovative events to mobilize infinite energy and spirit of young people towards learning science and technology, and divert them from trivial pursuits. Ever increasing power of computers has created opportunity for tackling mathematical problems that are yet to be resolved. Revolutionary progress of computer science has created a great opportunity for developing countries to change their fate by harvesting benefits of this versatile technology that can ensure optimal utilization of their scarce resources and minimize wastage." The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 2nd HLF - Hot Topic Presentations - Mathematics and Computer Science in Developing Nations: Viewpoint from Bangladesh


uk: Комп'ютерні науки

description: Hot Topic Title: “The Role of Mathematics and Computer Science in Developing Countries“ Presentation: "Viewpoint from India" - For the slides, please visit: http://www.slideshare.net/HLForum/ht-narayanan-2014slideshare The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 2nd HLF - Hot Topic Presentations - Mathematics and Computer Science in Developing Nations: Viewpoint from India


uk: Комп'ютерні науки

description: Hot Topic Title: “The Role of Mathematics and Computer Science in Developing Countries“ Presentation: "Science, technology engineering and mathematics for develpment of Cambodia" - For the slides, please visit: http://www.slideshare.net/HLForum/ht-nguonphan-2014slideshare Abstract: "Cambodia’s vision by 2030 is to become a country with upper-middle income. But its education system has failed to produce relevant and qualified workforce required by the economy, which causes a skill mismatch and shortage in the labor market. The economy is currently mainly based on agriculture, garment and textile, tourism and construction where science, technology, engineering and mathematics (STEM) have been left behind. However, in recent years the royal government has realize the importance to move from resource-driven growth that rely on cheap labor and capital to high productivity and innovation based growth where STEM plays the main role. This presentation discussed the status and implementation of STEM for the development of Cambodia." The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 2nd HLF - Hot Topic Presentations - Mathematics and Computer Science in Developing Nations: Science, technology engineering and mathematics for development of Cambodia


uk: Комп'ютерні науки

description: Hot Topic Title: “The Role of Mathematics and Computer Science in Developing Countries“ Presentation: "How Herbicides Advanced Applied Math in Ecuador" - For the slides, please visit: http://www.slideshare.net/HLForum/ht-benner-mena2014slideshare Abstract: "In this talk we discuss the recent development of Applied Mathematics in Ecuador. It started with setting up a partnership PhD program between Technische Universität of Berlin (Germany) and Escuela Politecnica Nacional (Ecuador) supported by the German Academic Exchange Service (DAAD). A major turning point for an improvement in the situation of Applied Mathematics in Ecuador was getting a funded research project "Simulation of the Glyphosate Aerial Spray Drift at the Ecuador - Colombia border". We briefly discuss the goals, results, difficulties and achievements of the project and how this helped to change situation of Applied Mathematics in Ecuador." The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 2nd HLF - Hot Topic Presentations - The Role of Mathematics and Computer Sciences in Developing Countries: How herbicides advanced applied math in Ecuador


uk: Комп'ютерні науки

description: The 3rd Heidelberg Laureate Forum (HLF) hosted a multi-faceted session riveted on Big Data and revolving around the challenges produced by computational science. During the panel discussion, the speakers and workshop presenters took the stage with the moderator of the Hot Topic. Selected young researchers introduced the results from each workshop to set the tone for the following debate. All aspects of the session, from presentations to workshops, culminated in the discussion as the audience posed questions to the panel. Participants: Michele Catanzaro (Host of the Hot Topic at the 3rd HLF) Kristin Tolle (Microsoft Research Outreach) Alessandro Acquisti (Carnegie Mellon University) Jeremy Gillula (Electronic Frontier Foundation) Ciro Cattuto (ISI Foundation) Megan Price (Human Rights Data Analysis Group) Peter Y. A. Ryan (University of Luxembourg) Abdul Wasay (young researcher) Bryan Davis (young researcher) Yusra Ibrahim (young researcher) The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum will take place from September 18 to 23, 2016. The HLF was initiated by the German foundation Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science, and the Heidelberg Institute for Theoretical Studies (HITS). The Forum is organized by the HLFF in cooperation with KTS and HITS as well as the Association for Computing Machinery (ACM), the International Mathematical Union (IMU), and the Norwegian Academy of Science and Letters (DNVA). www.heidelberg-laureate-forum.org

uk: вхід без авторизації

name: 3rd HLF - Hot Topic Presentations - Brave New Data World: Panel Discussion


uk: Комп'ютерні науки

description: Alessandro Acquisti (Carnegie Mellon University) (Re)Framing the Privacy Debate “I present a series of results from studies and experiments investigating the economics of privacy, the behavioral economics of privacy, and privacy in online social networks. The results illustrate surprising trade-offs that emerge from the protection and sharing of personal information, and the inadequacy of “notice and consent” mechanisms for privacy protection. Based on these studies, I will advocate a change in the way we frame, and think about, the privacy debate.” The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum will take place from September 18 to 23, 2016. The HLF was initiated by the German foundation Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science, and the Heidelberg Institute for Theoretical Studies (HITS). The Forum is organized by the HLFF in cooperation with KTS and HITS as well as the Association for Computing Machinery (ACM), the International Mathematical Union (IMU), and the Norwegian Academy of Science and Letters (DNVA). www.heidelberg-laureate-forum.org

uk: вхід без авторизації

name: 3rd HLF - Hot Topic Presentations - Brave New Data World: (Re)Framing the Privacy Debate


uk: Комп'ютерні науки

description: Jeremy Gillula (Electronic Frontier Foundation) Big Data and the Surveillance-Industrial Complex “Big data has tremendous potential for societal benefit, enabling everything from instant access to desired information via vast search engines, to new understanding of genetic diseases, to better weather forecasting. But one application of big data consistently fails to produce meaningful results while simultaneously introducing tremendous dangers to society as well: the application of big data to the individualized tracking and targeting of people, primarily for the purposes of serving advertisements. By tracking people’s web browsing, location history, and social interactions, private companies invade the privacy of each and every one of us every day, often without our knowledge or consent. Worse yet, government agencies like the US National Security Agency take advantage of this sort of tracking to aid their bulk surveillance programs. By piggybacking on the unique identifiers, advertisers and tracking services place in people’s browsers, these agencies are able to spy on Internet users without detection on a scale that would otherwise be impossible. In my remarks, I explain in more detail why this application of big data fails to produce meaningful results (both for advertising companies and intelligence agencies), how it endangers privacy, and what computer scientists can do to get better results without sacrificing privacy.” The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum will take place from September 18 to 23, 2016. The HLF was initiated by the German foundation Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science, and the Heidelberg Institute for Theoretical Studies (HITS). The Forum is organized by the HLFF in cooperation with KTS and HITS as well as the Association for Computing Machinery (ACM), the International Mathematical Union (IMU), and the Norwegian Academy of Science and Letters (DNVA). www.heidelberg-laureate-forum.org

uk: вхід без авторизації

name: 3rd HLF - Hot Topic Presentations - Brave New Data World: Big Data and the Surveillance - Industrial Complex


uk: Комп'ютерні науки

description: Kristin Tolle (Microsoft Research Outreach) Saving Lives through Data Interoperability “With the availability of open data comes the responsibility for using it in a way that is consistent with individual privacy and security concerns. Often times it is data interoperability that enables privacy breaches — that an innocuous dataset can be combined with others to triangulate information about groups and individuals. However, this same capability is extremely valuable when lives and livelihoods are threatened by natural disasters. As part of the National Flood Interoperability Experiment, I’ve had a firsthand look at how data interoperability could potentially save lives. Bringing together data generated by multiple sources can aid first responders to be more proactive than reactive and potentially enable direct notification to individuals who are at greatest risk.” The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum will take place from September 18 to 23, 2016. The HLF was initiated by the German foundation Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science, and the Heidelberg Institute for Theoretical Studies (HITS). The Forum is organized by the HLFF in cooperation with KTS and HITS as well as the Association for Computing Machinery (ACM), the International Mathematical Union (IMU), and the Norwegian Academy of Science and Letters (DNVA).

uk: вхід без авторизації

name: 3rd HLF - Hot Topic Presentations - Brave New Data World: Saving lives through Data Interoperability


uk: Комп'ютерні науки

description: Scientists and Society face the ethical challenges of computational science together. The 3rd Heidelberg Laureate Forum (HLF) hosted a multi-faceted discussion riveted on Big Data and resolving challenges produced by computational science. The Hot Topic, ‘Brave New Data World’, was broken down into presentations from leading authorities, moderated workshops and an open debate among the participants. The Heidelberg Laureate Forum Foundation (HLFF) strives to create the opportunity for progressive discourse to flourish, which is most effectively championed by the conglomeration of diverse mindsets. The Hot Topic dove into enigmatic questions that are woven throughout computational science. How secure is our data? How is intellectual property evolving? Should we blindly accept massive data mining? How is computational science most effectively used for good? How should we regulate this ‘brave new data world’? Set to address these issues were: Alessandro Acquisti of Carnegie Mellon University, Kristin Tolle of Microsoft Research Outreach and Jeremy Gillula of the Electronic Frontier Foundation. The Hot Topic was coordinated by Michele Catanzaro, author of “Networks: A Very Short Introduction” and a highly accomplished freelance science journalist. Michele saw the 3rd HLF as an ideal environment and “fertile ground for making scientists provocative and constructive allies to the public”. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum will take place from September 18 to 23, 2016. The HLF was initiated by the German foundation Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science, and the Heidelberg Institute for Theoretical Studies (HITS). The Forum is organized by the HLFF in cooperation with KTS and HITS as well as the Association for Computing Machinery (ACM), the International Mathematical Union (IMU), and the Norwegian Academy of Science and Letters (DNVA). www.heidelberg-laureate-forum.org

uk: вхід без авторизації

name: 3rd HLF Hot Topic "Brave New Data World"


uk: Комп'ютерні науки

description: Analyzing the challenges posed by Artificial Intelligence at the 4th Heidelberg Laureate Forum – Experts discuss the costs and benefits created by developments brought on by Artificial Intelligence. In recent years, Artificial Intelligence (AI) has established itself at the forefront of technological innovation. That is precisely why AI was the focus of the Hot Topic at the 4th Heidelberg Laureate Forum (HLF). The session was comprised of a panel discussion with leading researchers debating the current scientific trends in AI and its applications. Today, AI is no longer a brash, cryptic concept taken directly from the pages of science fiction. The developments owed to the technology based on AI have altered what we thought possible and has done so in a much quicker fashion than was predicted. The power behind these advancements is already very evident with self-driving cars or algorithms that profile our Internet activity in order to tailor ads and search results. Though fascinating, this progress comes with a price of control and privacy loss that incites ethical questions. The Hot Topic session took place on September 20, 2016. Panelists: Vint Cerf is Google’s Vice President and „Chief Internet Evangelist“. He won the ACM A.M. Turing Award in 2004 for his pioneering work on the Internet and he is recognized as one of the “fathers of the Internet”. Thomas Dreier is the Director of the Centre for Applied Legal Studies at the Karlsruhe Institute of Technology (KIT). His research fields are legal aspects of the information society and of new technologies as well as copyright law. Dirk Helbing is Professor of Computational Social Science at the ETH in Zurich. He works on modeling social processes with mathematical means and is one of the signatories of the “Digital Manifesto” in which several German scientists have expressed their concerns about the social applications of modern digital technologies. James A. Hendler is Professor of Computer, Web and Cognitive Sciences at the Rensselaer Polytechnic Institute in the state of New York. He will give an introduction into current AI technologies. Raj Reddy from Carnegie Mellon University won the ACM A.M. Turing Award in 1994. He was the founding director of CMU’s robotics lab, and his latest research centers around “Technology in Service of Society”. Holger Schwenk is a research scientist at Facebook Artificial Intelligence Research Paris. He received his PhD in Computer Science from the University Paris 6 in 1996, and prior to joining Facebook in 2015, he was professor for computer science at the University of Le Mans where he led a large group on statistical machine translation. Noel Sharkey, an Emeritus Professor of Artificial Intelligence and Robotics at the University of Sheffield, chairs the International Committee for Robot Arms Control and is a co-founder of the Foundation for Responsible Robotics. The Hot Topic has been coordinated and was moderated by Christoph Drösser who holds a diploma in mathematics and was a longtime science editor and reporter for DIE ZEIT, Germany’s major weekly paper. He now works as a freelance writer in San Francisco, USA. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum took place from September 18 to 23, 2016. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing as of 2017), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize).

uk: вхід без авторизації

name: 4th HLF – Hot Topic: Artificial Intelligence – Panel Discussion 1


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 4th HLF – Hot Topic: Artificial Intelligence – Panel Discussion 2


uk: Комп'ютерні науки

description: Analyzing the challenges posed by Artificial Intelligence at the 4th Heidelberg Laureate Forum – Experts discuss the costs and benefits created by developments brought on by Artificial Intelligence. In recent years, Artificial Intelligence (AI) has established itself at the forefront of technological innovation. That is precisely why AI was the focus of the Hot Topic at the 4th Heidelberg Laureate Forum (HLF). The session was comprised of a panel discussion with leading researchers debating the current scientific trends in AI and its applications. Today, AI is no longer a brash, cryptic concept taken directly from the pages of science fiction. The developments owed to the technology based on AI have altered what we thought possible and has done so in a much quicker fashion than was predicted. The power behind these advancements is already very evident with self-driving cars or algorithms that profile our Internet activity in order to tailor ads and search results. Though fascinating, this progress comes with a price of control and privacy loss that incites ethical questions. The Hot Topic session took place on September 20, 2016. Speaker: Dirk Helbing is Professor of Computational Social Science at the ETH in Zurich. He works on modeling social processes with mathematical means and is one of the signatories of the “Digital Manifesto” in which several German scientists have expressed their concerns about the social applications of modern digital technologies. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum took place from September 18 to 23, 2016. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing as of 2017), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize).

uk: вхід без авторизації

name: 4th HLF – Hot Topic: Artificial Intelligence – Presentation Dirk Helbing


uk: Комп'ютерні науки

description: Analyzing the challenges posed by Artificial Intelligence at the 4th Heidelberg Laureate Forum – Experts discuss the costs and benefits created by developments brought on by Artificial Intelligence. In recent years, Artificial Intelligence (AI) has established itself at the forefront of technological innovation. That is precisely why AI was the focus of the Hot Topic at the 4th Heidelberg Laureate Forum (HLF). The session was comprised of a panel discussion with leading researchers debating the current scientific trends in AI and its applications. Today, AI is no longer a brash, cryptic concept taken directly from the pages of science fiction. The developments owed to the technology based on AI have altered what we thought possible and has done so in a much quicker fashion than was predicted. The power behind these advancements is already very evident with self-driving cars or algorithms that profile our Internet activity in order to tailor ads and search results. Though fascinating, this progress comes with a price of control and privacy loss that incites ethical questions. The Hot Topic session took place on September 20, 2016. Speaker: Holger Schwenk is a research scientist at Facebook Artificial Intelligence Research Paris. He received his PhD in Computer Science from the University Paris 6 in 1996, and prior to joining Facebook in 2015, he was professor for computer science at the University of Le Mans where he led a large group on statistical machine translation. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum took place from September 18 to 23, 2016. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing as of 2017), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize).

uk: вхід без авторизації

name: 4th HLF – Hot Topic: Artificial Intelligence – Presentation Holger Schwenk


uk: Комп'ютерні науки

description: Analyzing the challenges posed by Artificial Intelligence at the 4th Heidelberg Laureate Forum – Experts discuss the costs and benefits created by developments brought on by Artificial Intelligence. In recent years, Artificial Intelligence (AI) has established itself at the forefront of technological innovation. That is precisely why AI was the focus of the Hot Topic at the 4th Heidelberg Laureate Forum (HLF). The session was comprised of a panel discussion with leading researchers debating the current scientific trends in AI and its applications. Today, AI is no longer a brash, cryptic concept taken directly from the pages of science fiction. The developments owed to the technology based on AI have altered what we thought possible and has done so in a much quicker fashion than was predicted. The power behind these advancements is already very evident with self-driving cars or algorithms that profile our Internet activity in order to tailor ads and search results. Though fascinating, this progress comes with a price of control and privacy loss that incites ethical questions. The Hot Topic session took place on September 20, 2016. Speaker: James A. Hendler is Professor of Computer, Web and Cognitive Sciences at the Rensselaer Polytechnic Institute in the state of New York. He will give an introduction into current AI technologies. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum took place from September 18 to 23, 2016. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing as of 2017), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize).

uk: вхід без авторизації

name: 4th HLF – Hot Topic: Artificial Intelligence – Presentation James A. Hendler


uk: Комп'ютерні науки

description: Analyzing the challenges posed by Artificial Intelligence at the 4th Heidelberg Laureate Forum – Experts discuss the costs and benefits created by developments brought on by Artificial Intelligence. In recent years, Artificial Intelligence (AI) has established itself at the forefront of technological innovation. That is precisely why AI was the focus of the Hot Topic at the 4th Heidelberg Laureate Forum (HLF). The session was comprised of a panel discussion with leading researchers debating the current scientific trends in AI and its applications. Today, AI is no longer a brash, cryptic concept taken directly from the pages of science fiction. The developments owed to the technology based on AI have altered what we thought possible and has done so in a much quicker fashion than was predicted. The power behind these advancements is already very evident with self-driving cars or algorithms that profile our Internet activity in order to tailor ads and search results. Though fascinating, this progress comes with a price of control and privacy loss that incites ethical questions. The Hot Topic session took place on September 20, 2016. Speaker: Noel Sharkey, an Emeritus Professor of Artificial Intelligence and Robotics at the University of Sheffield, chairs the International Committee for Robot Arms Control and is a co-founder of the Foundation for Responsible Robotics. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum took place from September 18 to 23, 2016. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing as of 2017), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize).

uk: вхід без авторизації

name: 4th HLF – Hot Topic: Artificial Intelligence – Presentation Noel Sharkey


uk: Комп'ютерні науки

description: Analyzing the challenges posed by Artificial Intelligence at the 4th Heidelberg Laureate Forum – Experts discuss the costs and benefits created by developments brought on by Artificial Intelligence. In recent years, Artificial Intelligence (AI) has established itself at the forefront of technological innovation. That is precisely why AI was the focus of the Hot Topic at the 4th Heidelberg Laureate Forum (HLF). The session was comprised of a panel discussion with leading researchers debating the current scientific trends in AI and its applications. Today, AI is no longer a brash, cryptic concept taken directly from the pages of science fiction. The developments owed to the technology based on AI have altered what we thought possible and has done so in a much quicker fashion than was predicted. The power behind these advancements is already very evident with self-driving cars or algorithms that profile our Internet activity in order to tailor ads and search results. Though fascinating, this progress comes with a price of control and privacy loss that incites ethical questions. The Hot Topic session took place on September 20, 2016. Speaker: Raj Reddy from Carnegie Mellon University won the ACM A.M. Turing Award in 1994. He was the founding director of CMU’s robotics lab, and his latest research centers around “Technology in Service of Society”. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum took place from September 18 to 23, 2016. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing as of 2017), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize).

uk: вхід без авторизації

name: 4th HLF – Hot Topic: Artificial Intelligence – Presentation Raj Reddy


uk: Комп'ютерні науки

description: Analyzing the challenges posed by Artificial Intelligence at the 4th Heidelberg Laureate Forum – Experts discuss the costs and benefits created by developments brought on by Artificial Intelligence. In recent years, Artificial Intelligence (AI) has established itself at the forefront of technological innovation. That is precisely why AI was the focus of the Hot Topic at the 4th Heidelberg Laureate Forum (HLF). The session was comprised of a panel discussion with leading researchers debating the current scientific trends in AI and its applications. Today, AI is no longer a brash, cryptic concept taken directly from the pages of science fiction. The developments owed to the technology based on AI have altered what we thought possible and has done so in a much quicker fashion than was predicted. The power behind these advancements is already very evident with self-driving cars or algorithms that profile our Internet activity in order to tailor ads and search results. Though fascinating, this progress comes with a price of control and privacy loss that incites ethical questions. The Hot Topic session took place on September 20, 2016. Speaker: Thomas Dreier is the Director of the Centre for Applied Legal Studies at the Karlsruhe Institute of Technology (KIT). His research fields are legal aspects of the information society and of new technologies as well as copyright law. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The 4th Heidelberg Laureate Forum took place from September 18 to 23, 2016. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing as of 2017), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize).

uk: вхід без авторизації

name: 4th HLF – Hot Topic: Artificial Intelligence – Presentation Thomas Dreier


uk: Комп'ютерні науки

description: Barbara Liskov: “The power of abstraction” Abstraction is at the center of much work in Computer Science. It encompasses finding the right interface for a system as well as finding an effective design for a system implementation. Furthermore, abstraction is the basis for program construction, allowing programs to be built in a modular fashion. This talk will discuss how the abstraction mechanisms we use today came to be and how they are supported in programming languages. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF – Laureate Lectures: Barbara Liskov


uk: Комп'ютерні науки

description: Fred Brooks: “What Makes the Illusion Work? Studies in Effective Immersive Virtual Environments” A virtual environment (VE) is a technological display to the senses that undertakes to make the user believe (to some degree) and behave as if he is present elsewhere. The vision, proposed by Sutherland in 1965, has driven a half-century of research and development, some at Chapel Hill. A major scientific challenge is how to measure the effectiveness of a VE system, the degree to which it causes the user to behave as if the illusion is real. We have pursued many measurement methods, arriving finally at physiological measurement of subconscious user responses, a measure that is objective, valid, quantitative, and contemporaneous. Our parameter studies of VE systems show, among other things, that system latency is a major factor, whereas the quality of illumination simulation has little effect. Display to the senses of feel, added to visual and aural, also makes a substantial difference. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF – Laureate Lectures: Fred Brooks


uk: Комп'ютерні науки

description: Joseph Sifakis: “On the Nature of Computing” Computing is a domain of knowledge. Knowledge is truthful information that embedded into the right network of conceptual interrelations can be used to understand a subject or solve a problem. According to this definition, Physics, Biology but also Mathematics, Engineering, Social Sciences and Cooking are all domains of knowledge. This definition encompasses both, scientific knowledge about physical phenomena and engineering knowledge applied to design and build artefacts. For all domains of knowledge, Mathematics and Logic provide the models and their underlying laws; they formalize a priori knowledge which is independent of experience. Computing with Physics and Biology is a basic domain of knowledge. In contrast to the other basic domains, it is rooted in a priori knowledge and deals with the study of information processing – both what can be computed and how to compute it. To understand and master the world, domains of knowledge share two common methodological principles. They use abstraction hierarchies to cope with scale problems. To cope with complexity, they use modularity. We point out similarities and differences in the application of these two methodological principles and discuss inherent limitations common to all domains. In particular, we attempt a comparison between natural systems and computing systems by addressing two issues: 1) Linking physicality and computation; 2) Linking natural and artificial intelligence. Computing and Physical Sciences share a common objective: the study of dynamic systems. A big difference is that physical systems are inherently synchronous. They cannot be studied without reference to time-space while models of computation ignore physical time and resources. Physical systems are driven by uniform laws while computing systems are driven by laws enforced by their designers. Another important difference lies in the discrete nature of Computing that limits its ability to fully capture physical phenomena. Linking physicality and computation is at the core of the emerging Cyber physical systems discipline. We discuss limitations in bridging the gap between physical and discrete computational phenomena, stemming from the identified differences. Living organisms intimately combine intertwined physical and computational phenomena that have a deep impact on their development and evolution. They share common characteristics with computing systems such as the use of memory and languages. Compared to conscious thinking, computers are much faster and more precise. This confers computers the ability to successfully compete with humans in solving problems that involve the exploration of large spaces of solutions or the combination of predefined knowledge e.g. AlphaGo's recent winning performance. We consider that Intelligence is the ability to formalize human knowledge and create knowledge by applying rules of reasoning. Under this definition, a first limitation stems from our apparent inability to formalize natural languages and create models for reasoning about the world. A second limitation comes from the fact that computers cannot discover induction hypotheses as a consequence of Gödel's incompleteness theorems. We conclude by arguing that Computing drastically contributes to the development of knowledge through cross-fertilization with other domains as well as enhanced predictability and designability. In particular, it complements and enriches our understanding of the world with a constructive and computational view different from the declarative and analytic adopted by physical sciences. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF – Laureate Lectures: Joseph Sifakis


uk: Комп'ютерні науки

description: Leslie Lamport: “The PlusCal Algorithm Language” An algorithm is not a program, so why describe it with a programming language? PlusCal is a tiny toy-like language that is infinitely more expressive than any programming language because an expression can be any mathematical formula. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF – Laureate Lectures: Leslie Lamport


uk: Комп'ютерні науки

description: Ngô Bảo Châu: “The Riemann zeta function and its generalizations” Since the publication of Riemann’s memoir on prime numbers less than a given magnitude, the zeta function has never ceased to fascinate mathematicians. We will discuss its many appearances and generalizations in number theory. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF – Laureate Lectures: Ngô Bảo Châu


4th HLF – Laureate Lectures: Raj Reddy

uk: Комп'ютерні науки

description: Raj Reddy: “Too Much Information and Too Little Time” This talk is about having to cope with too much information within human time limitations given that we are not changing at exponential rates like semiconductors. Humans make errors, tend to forget, are impatient and look for least effort solutions. Such limitations, sometimes, lead to catastrophic results. At the same time, humans learn with experience, tolerate error and ambiguity, use vast amounts of knowledge, and communicate using speech and language. Such features are still lacking in most of our systems. Most systems don’t get better with experience. Future opportunities lie in creating tools for coping with 21st century world of “too much information and too little time”. In this talk we will present two families of intelligent agents, viz., “cognition amplifiers” and “guardian angels” to help with problem of scarcity of attention. A Cognition Amplifier is a personal autonomic intelligent agent that anticipates what you want to do and helps you to do it with less effort. A Guardian Angel is a personal autonomic intelligent agent that discovers and warns you about unanticipated, possibly catastrophic, events that could impact your safety, security, and wellbeing. Both Cogs and Gats are enduring, autonomic, nonintrusive intelligent agents which are always-on, always working, and always-learning. Future breakthroughs will emerge from those who understand human limitations and can cater to such human needs. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Richard Edwin Stearns: “Strategies for Extensive Form Games” We want to describe sets of mixed strategies using linear equations such that 1. The number of variables is small compared to the game size. 2. Every mixed strategy has an equivalent strategy in the set. 3. Implementing the strategies is easy. It is known how to do this for players with perfect recall using equations for behavior strategies or equations for path probabilities. We generalize the perfect recall techniques to cover players without perfect recall. Although the number of variables needed is not always small, it will be small if the recall is close enough to perfect. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF – Laureate Lectures: Richard Edwin Stearns


uk: Комп'ютерні науки

description: Robert Tarjan: “Binary Search Trees” The binary search tree is one of the most fundamental data structures in computer science, with many applications. Binary search trees support binary search in a set of totally ordered items, and ideally reduce search time from linear to logarithmic. A central question is how to keep such a tree balanced in the presence of updates. The first solution was offered by Adelson-Velskii and Landis in 1962. In spite of a huge volume of work during the intervening 64 years, the design space is rich, and basic questions remain open, notably how best to make a search tree adapt to its usage pattern. In this talk I’ll explore relatively recent new work and interesting open problems. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF – Laureate Lectures: Robert Tarjan


uk: Комп'ютерні науки

description: Sir Andrew Wiles: “Equations in arithmetic” I will describe some of the interactions between modern number theory and the problem of solving equations in rational numbers or integers'. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF – Laureate Lectures: Sir Andrew Wiles


uk: Комп'ютерні науки

description: Sir Tony Hoare: “A finite geometric representation of computer program behaviour” Scientists often illustrate the behaviour of a dynamic system by a geometric diagram, in which one dimension represents the passage of time, and the other(s) represent distribution of objects in space. We develop a non-metric finite plane geometry as an intuitive representation of the behaviour of a computer program running on a modern distributed network of concurrent processors. Our hope is to prove a collection of algebraic laws that are used for the implementation and optimisation of programs. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF – Laureate Lectures: Sir Tony Hoare


Was sind Landmarken?

@language: de

uk: вхід без авторизації

name: Moderation Skorupka, Sascha (Leitung, Regie, Redaktion)

Leibniz Universität Hannover (LUH)

addressCountry: DE

addressLocality: Hanover

addressRegion: Lower Saxony


uk: Комп'ютерні науки

description: Vladimir Voevodsky: “UniMath” UniMath is a library of formalized mathematics that is based on the Univalent Foundations and written in what we call the UniMath language which is a small subset of the language of the Coq proof assistant. I wrote the core of the library under the name Foundations in 2010-11 to try out whether the Univalent Foundations can be used with Coq to formalize some real mathematics. After discovering that it can we, Benedikt Ahrens, Dan Grayson and myself, formed a GitHub organization called UniMath. Today UniMath has 12 authors, about 7 of them, including all three of the founders, are active in expanding and improving the library. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF – Laureate Lectures: Vladimir Voevodsky


uk: Комп'ютерні науки

description: John E. Hopcroft: “Exciting Computer Science Research Directions” We have entered the information age and this has changed the nature of computer science and created many exciting research problems. Two of these are extracting information from large data sources and learning theory. This talk will focus on two problems: first, how to find hidden structure in social networks and second some subareas of research in deep learning. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF - Laureate Lectures: John E. Hopcroft


4th HLF - Lecture: Raúl Rojas

uk: Комп'ютерні науки

description: Raúl Rojas: “Konrad Zuse‘s Early Computing Machines (1935-1945)” The exhibition "Konrad Zuse‘s Early Computing Machines (1935-1945)" about the machines built by the German inventor Konrad Zuse tells a story. It covers the years 1935 to 1945, which was the most creative phase of his life. Raúl Rojas gives an overview of the life and work of Konrad Zuse. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Sir Michael Atiyah: “The Soluble and the Insoluble” What do we mean by a solution to a problem? This is both a philosophical question, and a practical one, which depends on what one is trying to achieve and the means, time and money available. The explosion in computer technology keeps changing the goal posts. I will reflect on these issues, primarily from the viewpoint of an elderly mathematician. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 4th HLF - Laureate Lectures: Sir Michael Atiyah


4th HLF - Lindau Lecture: Brian Schmidt

uk: Комп'ютерні науки

description: Our Universe was created in 'The Big Bang' and has been expanding ever since. I will describe the vital statistics of the Universe, including its size, weight, shape, age, and composition. I will also try to make sense of the Universe's past, present, and future – and describe what we know and what we do not yet know about the Cosmos. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Jay Gambetta (IBM) and Chris Monroe (University of Maryland) sit down for a Q&A with journalists at the 5th Heidelberg Laureate Forum, September 2017. Gambetta and Monroe addressed fundamental issues revolving around quantum computing and shed light on its potential. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Press conference with experts on the topic of Quantum Computing: Panel with Jay Gambetta and Chris Monroe


uk: Комп'ютерні науки

description: Headlines in the popular media are constantly anticipating an imminent revolution in computing thanks to the advent of quantum computers, which in principle can calculate much faster than ordinary classical computers. Prototype quantum computers already exist: companies such as IBM and Google have developed devices that operate with just a few quantum bits, while the Canadian company D-Wave sells commercial machines. But what expectations are realistic? Making quantum bits stable enough to carry out reliable computation in their precarious quantum states is still immensely challenging to current technologies. Equally difficult, although less publicized, is the challenge of devising algorithms that can perform useful quantum computing tasks. Scaling up quantum computers from a few quantum bits to the several tens or hundreds needed to significantly out-perform classical devices is far from trivial, not least in terms of the handling of errors. And there are still profound theoretical problems for the field. It is not yet clear what will be the best type of architecture for large-scale quantum computing. And there is still disagreement about precisely what it is that makes a quantum computer faster – an issue that bears on unsolved questions about the fundamentals of quantum theory. This session will bring together leading researchers in the field, ranging from theorists concerned with the basic principles of quantum computing and algorithmic development to experts in the physical implementation of these ideas. In talks and panel debates they will explore what the real prospects are for quantum computers in the coming years, what are the hurdles yet to be overcome – and what opportunities exist for young researchers entering this exciting field. The Experts Scott Aaronson is the David J. Bruton Centennial Professor of Computer Science at the University of Texas at Austin, USA. His research interests include quantum computing and theoretical computer science more broadly. He writes the influential blog Shtetl-Optimized. Jay Gambetta is the Manager of the Theory of Quantum Computing and Information Section at IBM’s Thomas J. Watson Research Center, Yorktown Heights, New York, USA. Seth Lloyd, a self-styled “quantum mechanic”, is the Nam Pyo Suh Professor at the Department of Mechanical Engineering, Massachusetts Institute of Technology, Cambridge, Massachusetts, USA. John Martinis is a Professor of Physics at University of California at Santa Barbara, and a Research Scientist at the Google Quantum AI Laboratory, where he is head of the quantum hardware team whose goal is to build a useful quantum computer. Chris Monroe is a Distinguished University Professor and Zorn Professor of Physics at the University of Maryland, USA, and co-founder and Chief Scientist at IonQ, Inc. He is a leading researcher in the use of individual atoms for realizing quantum computers and quantum simulators. He has also pioneered modular architectures for scaling up atomic quantum computers using photonic networks. The Host Philip Ball is a science writer and author, and a former editor for physical sciences at Nature. His next book, to be published in 2018, is an examination of current views on the interpretation of quantum mechanics. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Hot Topic 2017: Quantum Computing


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interview with journalists: Elna Schütz


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interview with journalists: Guillermo P Curbera


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interview with journalists: Shubashree Desikan


uk: Комп'ютерні науки

description: Laureates at the 5th HLF sit down with Tom Geller, Tom Geller Productions, to discuss their career, mentoring and their experience at the Heidelberg Laureate Forum (HLF). These renowned scientists have been honored with most prestigious awards in mathematics and computer science: Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal and Nevanlinna Prize. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Alexei Efros


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Daniel Spielman


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Efim Zelmanov


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Frederick Brooks


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Jeff Dean


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: John E. Hopcroft


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Joseph Sifakis


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Leslie Lamport


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Madhu Sudan


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Manuel Blum


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Martin Hellman


uk: Комп'ютерні науки

description: Laureates at the 5th HLF sit down with Tom Geller, Tom Geller Productions, to discuss their career, mentoring and their experience at the Heidelberg Laureate Forum (HLF). These renowned scientists have been honored with most prestigious awards in mathematics and computer science: Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal and Nevanlinna Prize. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University. More information to the Heidelberg Laureate Forum: Website: http://www.heidelberg-laureate-forum.org/ Facebook: https://www.facebook.com/HeidelbergLaureateForum Twitter: https://twitter.com/hlforum Flickr: https://www.flickr.com/hlforum More videos from the HLF: https://www.youtube.com/user/LaureateForum Blog: https://scilogs.spektrum.de/hlf/

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Richard Edwin Stearns


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Robert Endre Tarjan


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Shigefumi Mori


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Sir C. Antony R. Hoare


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Sir Michael Francis Atiyah


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Stephen A. Cook and William Morton Kahan


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Stephen Smale


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Vinton Gray Cerf


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 5th HLF – Interviews with mathematics and computer science laureates: Whitfield Diffie


uk: Комп'ютерні науки

description: Computer vision has made impressive gains through the use of deep learning models, trained with large-scale labeled data. However, labels require expertise and curation and are expensive to collect. Can one discover useful visual representations without the use of explicitly curated labels? In this talk, I will present several case studies exploring the paradigm of self-supervised learning – using raw data as its own supervision. Several ways of defining objective functions in high-dimensional spaces will be discussed, including the use of General Adversarial Networks (GANs) to learn the objective function directly from the data. Applications in image synthesis will be shown, including automatic colorization, paired and unpaired image-to-image translation (aka pix2pix and cycleGAN), and, terrifyingly, #edges2cats. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Self-Supervised Visual Learning and Synthesis


uk: Комп'ютерні науки

description: We provide context for and explain the recent Approximate Gaussian Elimination algorithm of Kyng and Sachdeva. Gaussian Elimination is the first algorithm most of us learn for solving systems of linear equations. While it is simple and elegant, it can also be impractically slow. Kyng and Sachdeva show that, after carefully modifying elimination to randomly drop and rescale entries, it can provide very fast approximate solutions to systems of equations in Laplacian matrices. Our implementation of a refinement of this algorithm is now among the best Laplacian solvers in practice. We will explain what Laplacian matrices are, what it means to approximately solve a system of linear equations over the reals, and how one analyzes this algorithm using recent results in Random Matrix Theory. We will also discuss what is means for an algorithm to be the "best in practice." The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Approximate Elimination


uk: Комп'ютерні науки

description: The talk is a very general survey of Asymptotic Group Theory. We will focus on growth of groups, growth of graphs and links to Combinatorics and Number Theory. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Asymptotic Group Theory


uk: Комп'ютерні науки

description: Over the past several years, Deep Learning has caused a significant revolution in the scope of what is possible with computing systems. These advances are having significant impact across many fields of computer science, as well as other fields of science, engineering, and human endeavor. For the past five years, the Google Brain team (g.co/brain) has conducted research on deep learning, on building large-scale computer systems for machine learning research, and, in collaboration with many teams at Google, on applying our research and systems to dozens of Google products. In this talk, I'll describe some of the recent advances in machine learning and how they are applicable towards many of the U.S. National Academy of Engineering's Global Challenges for the 21st Century (http://engineeringchallenges.org/). I will also touch on some exciting areas of research that we are currently pursuing within our group. This talk describes joint work with many people at Google. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Deep Learning and the Grand Engineering Challenges