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

description: There exists no such thing as a perfect anonymity network with low latency, low bandwith consumption which provides strong anonymity. Popular anonymisation networks rightfully focus on Web browsing, because that is the most popular application on todays Internet. The most popular anonymisation network is, rightfully so, Tor. You might, however, not have the requirements that mandate the use of the Tor network and thus are looking for alternatives. In this talk, we present alternatives to the popular Tor anonymisation network and examine what they achieve and how they differ.

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

name: How Alice and Bob meet if they don't like onions: Survey of Network Anonymisation Techniques


Adam Chlipala

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: Most working engineers view machine-checked mathematical proofs as an academic curiosity, if they have ever heard of the concept at all. In contrast, activities like testing, debugging, and code review are accepted as essential. They are woven into the lives of nearly all developers. In this talk, I will explain how I see machine-checked proofs enabling new everyday activities for developers of computer software and hardware. These activities have the potential to lower development effort dramatically, at the same time as they increase our assurance that systems behave correctly and securely. I will give a cosmological overview of this field, answering the FAQs that seem to stand in the way of practicality; and I will illustrate the principles with examples from projects that you can clone from GitHub today, covering the computing stack from digital hardware design to cryptographic software and applications.

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: Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development

Chaos Computer Club e.V.

type: Organization

cs: Video

de: Video

fi: Video

uk: Відео

en: Video

fr: Vidéo

da: Video

nl: Video

es: Video


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

description: The German election in September 2017 brought a tectonic shift to the layout of German politics. With the AfD in parliament far-right illiberalism has reached the mainstream. We investigate the communicative developments underlying this rise. Using web-scraping and automated content analysis, we collected over 10.000 articles from mainstream-news and far-right blogs, along with over 90GBs of Tweets and thousands of Facebook-Posts. This allows us a deep insight into how public discourse works in 2017 Germany.

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

name: Pointing Fingers at 'The Media': The Bundestagswahl 2017 and Rise of the AfD


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

description: Digital Restrictions Management (DRM) is found everywhere from music to cars and, most recently, World Wide Web Consortium recommendations. How did we get here and where are we going with DRM? Who really owns not just your tools, but your experiences when someone (or something) else is controlling access to the data and access around them? We'll attempt to answer these questions, and more, in a historical overview, contemporary analysis, and look towards the future.

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

name: History and implications of DRM: From tractors to Web standards


Public FPGA based DMA Attacking

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

description: Most thought Direct Memory Access (DMA) attacks were a thing of the past after CPU vendors introduced IOMMUs and OS vendors blocked Firewire DMA. At least until the PCILeech direct memory access attack toolkit was presented a year ago and quickly became popular amongst red teamers and governments alike.

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


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

description: Master Quality Authenticated (MQA) is a new audio format promising studio sound at home and no DRM. We take a critical look both at the sound-quality aspects as well as on the DRM story of MQA.

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

name: MQA - A clever stealth DRM-Trojan: A critical look on a new audio Format


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

description: Erfahrungen und Details zu den zwei kritischen Medienprojekten FC/MC (alternatives Medienzentrum im Herzen der Stadt) und THERE IS NO TIME (Live-Talks am Rande des Sperrgebiets und über die Stadt verteilte Video-Empfangsstationen) und ihrer Kollaboration mit dem VOC zum G20 Gipfel in Hamburg.

@language: de

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

name: Ein Festival der Demokratie: Von Technik, Kollaborationen und Erreichtem zum G20-Gipfel 2017


Net Neutraliy Enforcement in the EU

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

description: After four years of advocacy and lobbying to enshrine net neutrality principles in law in Europe, we can now examine the first full year of enforcement of the new rules. We will compare the enforcment of net neutrality in the individual EU member states, showcase a few of the more creative net neutrality violations and demonstrate what civil society can do to keep the Internet neutral. Enforcing net neutrality also requires network measurement tools that can detect discrimination; we will discuss what progress Europe has made in this regard.

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


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

description: Jeder weiß ungefähr was man mit einem Mikroskop tun kann: Kleine Dinge ansehen. Aber wie geht das genau, was braucht man dafür und gibt es da nicht eine Möglichkeit, dass da digitale Bilder rauspurzeln? Das hier soll eine Einführung sein, und zwar in die Grundlagen von Mikroskopen, wo der Unterschied zu anderen Optiken (Fotografie, Teleskope) ist und wie man zu Hause mit einfachen Mitteln schöne Bilder machen kann. Was kann man sinnvolles an den Nachwuchs verschenken, was taugen Anstreck-Dinger für das Smartphone oder USB-Mikroskope, wie fange ich zu Hause mit Mikroskopie an und was kann man überhaupt so alles betrachten? Quasi Micsorcopy 101.

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

name: Es sind die kleinen Dinge im Leben II: was alles geht und wie man anfängt, mit Mikroskopen


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

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

name: ASLR on the line: Practical cache attacks on the MMU


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

description: International commitment to the appropriately ambitious Paris climate agreement and the United Nations Sustainable Development Goals in 2015 has pulled into the limelight the urgent need for major scientific progress in understanding and modelling the Anthropocene, the tightly intertwined social-techno-ecological planetary system that humanity now inhabits. The Anthropocene qualitatively differs from previous eras in Earth’s history in three key characteristics: (1) There is planetary-scale human agency. (2) There are social and economic networks of teleconnections spanning the globe. (3) It is dominated by planetary-scale social-ecological feedbacks. Bolting together old concepts and methodologies cannot be an adequate approach to describing this new geological era. Instead, we need a new paradigm in Earth System science that is founded equally on a deep understanding of the physical and biological Earth System – and of the economic, technological, social and cultural forces that are now an intrinsic part of it. It is time to close the loop and bring socially mediated dynamics and the technosphere explicitly into theory, analysis and computer models that let us study the whole Earth System.

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

name: Closing the loop: Reconnecting social-technologial dynamics to Earth System science


Resilienced Kryptographie

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

description: Die Sicherheitsdesaster bei der Schlüsselgenerierung in TPM Chips und bei der Minix 3 basierten Intel ME Implementierung zeigen, dass das Vertrauen in hardwaregestützte Coputersicherheit grundlegend hinterfragt werden muss. Die Robustness in feindlicher Umgebung kann mit anspruchsvolleren kryptographische Verfahren mathematisch abgesichert erhöht werden.

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


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

description: Did you ever want to run your own IoT cloud on your IoT devices? Or did you ever wonder what data your vacuum cleaning robot is transmitting to the vendor? Why a vacuum cleaning robot needs tcpdump? Nowadays IoT devices are getting more and more powerful and contain a lot of sensors. As most devices are connected directly to the vendor and transmit all data encrypted to the cloud, this may result in privacy issues. An IoT device with no internet connection lacks numerous features or is even unusable. We want to change that. We show you how to root a Xiaomi vacuum cleaning robot in order to get access to the underlying Linux operating system(Ubuntu 14.04 LTS), **without opening the device or tampering the warranty seals**. Furthermore, we will have a look into the vendors cloud interface and its commands, and will show you how to de-attach the device from the cloud and connect it to your local Smart Home system. Finally, we will demonstrate how to run Smart Home software directly on the vacuum cleaning robot itself.

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

name: Unleash your smart-home devices: Vacuum Cleaning Robot Hacking: Why is my vacuum as powerful as my smartphone?


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

description: Once full automation hits, we will have a lot of free time on our hands. This project demonstrates early explorations in computer generated music via robot hands, old computers and generative algorithms. While the robot performs, we sit next to it and invite people for a conversation about robots being “creative” and “stealing our jobs”.

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

name: Robot Music: The Robots Play Our Music and What Do We Do?


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

description: Network cards are often seen as black boxes: you put data in a socket on one side and packets come out at the other end - or the other way around. Let's have a deeper look at how a network card actually works at the lower levels by writing a simple user space driver from scratch for a 10 Gbit/s NIC.

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

name: Demystifying Network Cards: Things you always wanted to know about NIC drivers


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

description: Dutch intelligence agencies will soon be allowed to analyse bulk data of civilians on a massive scale, by intercepting internet traffic and through real-time access to all kinds of databases. They will also start hacking third-parties. My friends and I want to stop this. We started an action to enforce a referendum on the law. Surprisingly, it worked! How do we get most out of this opportunity?

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

name: Fuck Dutch mass-surveillance: let's have a referendum!: Forcing the Netherlands to publicly debate privacy and the intelligence agencies


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

description: In November 2016 the UK has passed the Investigatory Powers Act (aka Snooper’s Charter). This act unprecedentedly extends surveillance powers of the state – p.e. legalising the hacking of devices or forcing Internet Service Providers to collect web browsing histories – one does not even need to be suspected of a crime. This talk investigates the choice of words of the parliamentary debates and reveals how euphemistic and understating terminology discloses the extent of surveillance and justifies the causeless intrusion into everyone’s privacy.

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

name: This is NOT a proposal about mass surveillance!: Analysing the terminology of the UK’s  Snooper’s Charter


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

description: The representation of thunderstorms (deep convection) and rain showers in climate models represents a major challenge, as this process is usually approximated with semi-empirical parameterizations due to the lack of appropriate computational resolution. Climate simulations using kilometer-scale horizontal resolution allow explicitly resolving deep convection and thus allow for an improved representation of the water cycle. We present a set of such simulations covering Europe and global computational domains. Finally, we discuss challenges and prospects climate modelers face on heterogeneous supercomputers architectures.

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

name: On the Prospects and Challenges of Weather and Climate Modeling at Convection-Resolving Resolution


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

description: During 2016 Libre Space Foundation a non-profit organization developing open source technologies for space, designed, built and delivered UPSat, the first open source software and hardware satellite.

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

name: UPSat - the first open source satellite: Going to space the libre way


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

description: Climate change has long ceased to be news to many people, but it is increasingly shaping humanity's reality. This talk sheds light on the changes in the climate system and their consequences. We introduce the basics and discuss possible actions in response.

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

name: A hacker's guide to Climate Change - What do we know and how do we know it?: An introduction to the basics of climate research and what we can do about climate change


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

description: Gesundheit als entscheidender Teil von Glück und Zufriedenheit ist bis in ihre kleinsten Teilbereiche „durchkapitalisiert“. Und dieser Prozess macht auch vor humanitärer Hilfe und Krisenintervention nicht halt. In diesem Talk gehen wir auf verschiedene Beispiele ein und erklären, wie CADUS mit seinem Makerspace versucht, dieses Problem auf vielen Ebenen zu hacken.

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

name: hacking disaster: mit Krisenintervention den Kapitalismus hacken


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

description: An overview of the SatNOGS project, a network of satellite ground station around the world, optimized for modularity, built from readily available and affordable tools and resources.

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

name: SatNOGS: Crowd-sourced satellite operations: Satellite Open Ground Station Network


keywords: Ethics, Society, Politics

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

description: Activists in Saudi Arabia have been able to celebrate important victories like the recent lifting of the ban on women driving in September 2017 but have to fight on a lot of other front lines at the same time. Websites are blocked on a large scale and many activists are sent to jail on the grounds of a loosely used cybercrime law. This talk will give some insight into the current social and political strife happening on the Saudi Internet from a first-hand-perspective using some of the data collected in a collaboration with the OONI project.

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

name: Catch me if you can: Internet Activism in Saudi Arabia


Bildung auf dem Weg ins Neuland

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

description: An unseren Schulen besteht ein großes Defizit hinsichtlich der Vermittlung digitaler Mündigkeit. Da mittlerweile weitgehender Konsens besteht, dass an Schulen bezüglich digitaler Technologien mehr passieren muss, reagiert die Bildungspolitik und integriert neue Medien in die Bildungspläne. Auf Basis unserer Erfahrungen, die wir im Rahmen vom Chaos Macht Schule gesammelt haben, diskutieren wir die aktuellen bildungspolitischen Entwicklungen.

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


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

description: Avatar² is an open source framework for dynamic instrumentation and analysis of binary firmware, which was released in June 2017. This talk does not only introduce avatar², but also focuses on the motivation and challenges for such a tool.

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

name: avatar²: Towards an open source binary firmware analysis framework


May contain DTraces of FreeBSD

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

description: Systems are getting increasingly complex and it's getting harder to understand what they are actually doing. Even though they are built by human individuals they often surprise us with seemingly bizarre behavior. DTrace lights a candle in the darkness that is a running production system giving us unprecedented insight into the system helping us to understand what is actually going on. We are going implement `strace`-like functionality, trace every function call in the kernel, watch the scheduler to its thing, observer how FreeBSD manages resources and even peek into runtime systems of high level programming languages. If you ever wondered what software is doing when you are not looking, this talk is for you.

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


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

description: How does developing future processors with yesterdays capabilities work out today? CPU development is something out of focus these days. In this lecture I would like to show the state-of-the-art processor development flow of POWER processors from the first initial ideas to post-silicon testing. Apart from x86 Intel products there have been initiatives across the hardware industry to form some alternative business model. I would like to show if and how this compares to real open principals.

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

name: openPower - the current state of commercial openness in CPU development: is there no such thing as open hardware?


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

description: In our paper we present a novel tool called BootStomp able to identify security vulnerabilities in Android bootloaders (such as memory corruptions) as well as unlocking vulnerabilities. During its evaluation, BootStomp discovered 6 previously unknown vulnerabilities across 4 different bootloaders. Finally BootStomp has been open-sourced to help the security community.

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

name: BootStomp: On the Security of Bootloaders in Mobile Devices


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

description: Systems that hide their firmware-- often deep in readout-protected flash or hidden in encrypted ROM chips-- have long stymied reverse engineers, who often have to resort to inventive methods to understand closed systems. To help reduce the effort needed to get a foothold into a new system, we present GlitchKit-- an open source hardware and firmware solution that significantly simplifies the process of fault-injecting your way into a new system -- and of fault-injecting firmware secrets out! This talk presents the development completed thus far, demonstrates the use of GlitchKit in simple attacks, and invites participation in the development of our open-source tools.

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

name: Opening Closed Systems with GlitchKit: 'Liberating' Firmware from Closed Devices with Open Source Hardware


The Noise Protocol Framework

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

description: The Noise Protocol Framework is a toolkit for 2-party secure-channel protocols. Noise is used by WhatsApp for client-server communication, by the WireGuard VPN protocol, and by the Lightning Network. In this talk I'll describe the rationale behind such a framework, and how you can use it to build simple, efficient, and customized secure-channel protocols.

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


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

description: Software vendors like to claim that their software is secure, but the effort and techniques applied to this end vary significantly across the industry. From an end-user's perspective, how do you identify those vendors who are effective at securing their software? From a vendor's perspective, how do you identify those techniques which are effective at improving security? Presenting joint work with Sarah Zatko, mudge, Patrick Stach, and Parker Thompson.

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

name: How risky is the software you use?: CITL: Quantitative, Comparable Software Risk Reporting


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

description: The Joint Threat Research Intelligence Group (JTRIG), a unit in one of Britain’s intelligence agencies, is tasked with creating sockpuppet accounts and fake content on social media, in order to use "dirty tricks" to "destroy, deny, degrade [and] disrupt" enemies by "discrediting" them. In this talk, we reveal some of that content, in relation to infiltrating activists groups around the world, including during the Arab spring and Iranian revolution.

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

name: Uncovering British spies’ web of sockpuppet social media personas


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

description: In this talk I describe the basic makeup of FPGAs and how I reverse engineered the Xilinx 7 Series and Lattice iCE40 Series together with the implications.

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

name: Reverse engineering FPGAs: Dissecting FPGAs from bottom up, extracting schematics and documenting bitstream formats


Shot Detection (23.06.2011)

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

description: In this course, we examine the aspects regarding building multimedia database systems and give an insight into the used techniques. The course deals with content-specific retrieval of multimedia data. Basic issue is the efficient storage and subsequent retrieval of multimedia documents. The general structure of the course is: - Basic characteristics of multimedia databases - Evaluation of retrieval effectiveness, Precision-Recall Analysis - Semantic content of image-content search - Image representation, low-level and high-level features - Texture features, random-field models - Audio formats, sampling, metadata - Thematic search within music tracks - Query formulation in music databases - Media representation for video - Frame / Shot Detection, Event Detection - Video segmentation and video summarization - Video Indexing, MPEG-7 - Extraction of low-and high-level features -Integration of features and efficient similarity comparison - Indexing over inverted file index, indexing Gemini, R *- trees

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

name: Technische Universität Braunschweig, Institut für Informationssysteme

addressCountry: DE

addressLocality: Braunschweig

addressRegion: Lower Saxony


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

description: Bitcoin arrived eight years ago, and has now spawned a dazzling array of follow-on technologies, including smart contracts, censorship-resistant computation, trustless databases (“blockchains”) and more. This talk attempts to highlight a few of the most significant developments in both technology and in society's response to it, including some nation-state governments banning cryptocurrencies and/or launching their own cryptocurrencies.

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

name: cryptocurrencies, smart contracts, etc.: revolutionary tech?: short answer: Yes!


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

description: Hacker des Chaos Computer Clubs (CCC) haben eine in mehreren Bundesländern zur Erfassung und Auswertung der kommenden Bundestagswahl verwendete Software auf Angriffsmöglichkeiten untersucht. Die Analyse ergab eine Vielzahl von Schwachstellen und mehrere praktikable Angriffsszenarien. Diese erlauben die Manipulation von Wahlergebnissen auch über die Grenzen von Wahlkreisen und Bundesländern hinweg. Die untersuchte Software „PC-Wahl“ wird seit mehreren Jahrzehnten für die Erfassung, Auswertung und Präsentation von Wahlen auf Bundes-, Landes- und Kommunalebene eingesetzt.

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

name: Der PC-Wahl-Hack: Analyse einer Wahlsoftware


Hardening Open Source Development

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

description: As authors it is our responsibility to build secure software and give each other the chance to verify and monitor our work. Various flaws in development toolchains that allow code execution just by viewing or working in malicious repositories question the integrity of development environments and as such our projects as a whole. This talk will discuss practical solutions for both technical and social challenges of collaboration.

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


The making of a chip

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

description: You are surrounded by ICs. Yet you probably don't know much about how such a chip is made. This talk is an introduction to the world of chip fabrication from photolithography over ion implantation to vapor deposition of the connections

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


34C3 - Lightning Talks Day 2

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

description: Lightning Talks are short lectures (almost) any congress participant may give! Bring your infectious enthusiasm to an audience with a short attention span! Discuss a program, system or technique! Pitch your projects and ideas or try to rally a crew of people to your party or assembly! Whatever you bring, make it quick!

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


34C3 - Lightning Talks Day 3

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

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


34C3 - Lightning Talks Day 4

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

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


Jahresrückblick des CCC 2017: tuwat

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

description: Staatstrojaner, Vorratsdaten, automatisierte Biometriesammlungen, PC-Wahl – wir geben einen Überblick über die Themen, die den Chaos Computer Club 2017 beschäftigt haben.

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


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

description: „Angriff der Meinungsroboter“ und „Gefangen in der Filterblase“ titelten die deutschen Medien. Doch was ist wirklich daran?

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

name: Social Bots, Fake News und Filterblasen: Therapiestunde mit einem Datenjournalisten und vielen bunten Visualisierungen


Dude, you broke the Future!

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

description: We're living in yesterday's future, and it's nothing like the speculations of our authors and film/TV producers. As a working science fiction novelist, I take a professional interest in how we get predictions about the future wrong, and why, so that I can avoid repeating the same mistakes. Science fiction is written by people embedded within a society with expectations and political assumptions that bias us towards looking at the shiny surface of new technologies rather than asking how human beings will use them, and to taking narratives of progress at face value rather than asking what hidden agenda they serve. In this talk, author Charles Stross will give a rambling, discursive, and angry tour of what went wrong with the 21st century, why we didn't see it coming, where we can expect it to go next, and a few suggestions for what to do about it if we don't like it.

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


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

description: In der EU wird gerade über eine Verordnung verhandelt, die für die Vertraulichkeit der elektronischen Kommunikation verbindliche und zeitgemäße Regeln schaffen soll. Diese „ePrivacy-Verordnung“ könnte in absehbarer Zeit die letzte Möglichkeit sein, dem informationellen Kontrollverlust EU-weit politisch etwas entgegenzusetzen.

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

name: Lobby-Schlacht um die ePrivacy-Verordnung: Die EU hat die Wahl: Schutz von Menschen oder von Geschäftsmodellen?


KRACKing WPA2 by Forcing Nonce Reuse

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

description: We introduce key reinstallation attacks (KRACKs). These attacks abuse features of a protocol to reinstall an already in-use key, thereby resetting nonces and/or replay counters associated to this key. We show that our novel attack technique breaks several handshakes that are used in a WPA2-protected network.

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


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

description: Inke Arns will present speculative projections of the future and current developments in the field of digital technologies by artists and inventors from different countries in Africa, the African diaspora and many other actors in the USA and Europe.

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

name: Afro TECH: Afrofuturism, Telling tales of speculative futures


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

description: In recent years, the group Forensic Architecture began using novel research methods to undertake a series of investigations into human rights abuses. The group uses architecture as an optical device to investigate armed conflicts and environmental destruction, as well as to cross-reference a variety of evidence sources, such as new media, remote sensing, material analysis, witness testimony, and crowd-sourcing. In this talk, Eyal Weizman provides, for the first time, an in-depth introduction to the history, practice, assumptions, potentials, and double binds of this practice.

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

name: Forensic Architecture: Forensic Architecture is an independent research agency that undertakes historical and theoretical examinations of the history and present in articulating notions of public truth.


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

description: Artists !Mediengruppe Bitnik talk about recent works around bots and the online ecosystems that has been forming around them. Through the lens of their recent works around algorithms and bots, !Mediengruppe Bitnik offer a look into some of the technologies shaping our day-to-day.

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

name: Ecstasy 10x yellow Twitter 120mg Mdma: Shipped from Germany for 0.1412554 Bitcoins


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

description: The DPRK has largely succeeded at hiding its consumer technology. While versions of the desktop operating system, Red Star, have leaked, the mobile equivalent hasn't, and there remains little knowledge of the content available on the intranet. Let's fix that!

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

name: DPRK Consumer Technology: Facts to fight lore


Tracking Transience

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

description: Hasan Elahi is an interdisciplinary artist working with issues in surveillance, privacy, migration, citizenship, technology, and the challenges of borders. An erroneous tip called into law enforcement authorities in 2002 subjected Elahi to an intensive investigation by the FBI and after undergoing months of interrogations, he was finally cleared of suspicions. After this harrowing experience, Elahi conceived “Tracking Transience” and opened just about every aspect of his life to the public. Predating the NSA’s PRISM surveillance program by half a decade, the project questions the consequences of living under constant surveillance and continuously generates databases of imag- ery that tracks the artist and his points of transit in real-time. Although initially created for his FBI agent, the public can also monitor the artist’s communication records, banking transactions, and transportation logs along with various intelligence and government agencies who have been confirmed visiting his website.

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


QualityLand: Lesung

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

description: Willkommen in QualityLand, in einer nicht allzu fernen Zukunft: Alles läuft rund - Arbeit, Freizeit und Beziehungen sind von Algorithmen optimiert.

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


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

description: The institutions of Resolution Disputes [iRD] call attention to media resolutions. While a ’resolution’ generally simply refers to a standard (measurement) embedded in the technological domain, the iRD reflect on the fact that a resolution is indeed a settlement (solution), but at the same time a space of compromise between different actors (objects, materialities and protocols) who dispute their stakes (framerate, number of pixels etc.) within the growing digital territories.

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

name: institutions for Resolution Disputes: Rosa Menkman investigates video compression, feedback, and glitches


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

description: Wie steht es um die Sicherheitsversprechen, die mit dem Einsatz von neuen Überwachungsinstrumenten abgegeben werden? Welche Unterminierung der Sicherheit kann durch Überwachung eigentlich entstehen?

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

name: Trügerische Sicherheit: Wie die Überwachung unsere Sicherheit gefährdet


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

description: Darsha Hewitt is a Canadian artist working in new media and sound. She is known for her examinations of communication technology in the domestic sphere and her use of DIY aesthetics and practices as an artistic method. She makes electromechanical sound installations, drawings, audio-visual works, how-to videos and experimental performances with handmade electronics. Through deconstruction and experimentation with failed and obsolete technology, her work demystifies hidden systems within machines as a way to trace-out structures of economy, power and control embedded throughout capitalist culture.

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

name: Deconstructing a Socialist Lawnmower: Obsolete Technologies + Critical Material Studies in Media Art


Die Lauschprogramme der Geheimdienste

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

description: Der NSA-BND-Untersuchungsausschuss des Deutschen Bundestags ist zu Ende. Da bietet es sich an, nun auf die gesammelten Geheimdienstskandale und die Reaktionen auf die Enthüllungen zurückzublicken.

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


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

description: This talk considers the visceral relationship one can have towards intangible media, notably sound and network data transmissions. Sarah presents a selection of her work demonstrating these synesthetic relationships, ranging from experiments in bio and fiber arts to interface design and educational tools for demystifying computer networking technology.

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

name: Visceral Systems: Approaches to working with sound and network data transmissions as a sculptural medium.


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

description: Depending on the definition, autonomous weapon systems do not and might never exist, so why should we care about killer robots? It is the decline of human control as an ongoing trend in military systems and the incapacity of computing systems to „understand“ human beings and the nature of war that is worrisome.

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

name: Regulating Autonomous Weapons: The time travelling android isn’t even our biggest problem


34c3 - Eröffnung: tuwat

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

description: Daß sich mit Kleinkomputern trotzalledem sinnvolle Sachen machen lassen, die keine zentralisierten Großorganisationen erfordern, glauben wir.

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


34c3 - Abschluss

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

description: DE: Damit wir als Komputerfrieks nicht länger unkoordiniert vor uns hinwuseln, tun wir wat und treffen uns!

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


Privacy Shield - Lipstick on a Pig?

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

description: In 2015 the Court of Justice of the European Union (CJEU) has overturned the EU-US data sharing system called „Safe Harbor“ over US mass surveillance, as disclosed by Edward Snowden. Only months later the European Commission agreed with the US government to replace it with the so-called “Privacy Shield”, despite the existence of PRISM and Upstream surveillance. Why the new deal is nothing but the old “Safe Harbor”, what we can learn for the documents exchanged between the EU and the US and why it will very likely be overturned as soon as it reached the CJEU again.

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


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

description: A talk on waiting for the technological rapture in the church of big data. The paralysing effect of hiding the human hand in software through anthropomorphising computers and dehumanising ourselves.

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

name: Why Do We Anthropomorphize Computers?...: ...and dehumanize ourselves in the process?


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

description: The Snowden Refugees’ actions to protect the world’s most significant whistle blower of the 21st Century, amounts to an expression of Political Opinion. Since September 2016, the Snowden Refugees have been systematically targeted and persecuted by the Hong Kong government based on that political opinion.

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

name: The Snowden Refugees under Surveillance in Hong Kong: A Rapidly Emerging Police State and Imminent Deportation to Sri Lanka and Philippines


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

description: Jeder kennt sie, kaum jemand versteht sie wirklich, die vielleicht berühmteste Gleichung der Welt: E=mc^2 Was hat es damit auf sich, was ist die spezielle- und was die allgemeine Relativitätstheorie? Wie kann man sicher sein, dass das wirklich stimmt? Bleibt die Zeit stehen, wenn man sich mit Lichtgeschwindigkeit bewegt? Was ist das Zwillings-Paradoxon und dehnt sich das Universum aus, oder werden wir einfach nur immer kleiner?

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

name: Relativitätstheorie für blutige Anfänger: Raum, Zeit, Licht und Gravitation, wie hängt das zusammen?


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

description: Wie umgehen mit politischer Ohnmacht? Das Informationsfreiheitsgesetz bietet einige Ansätze: Es macht es auch für juristische Laien möglich, gegen Behörden vorzugehen, die das Recht brechen. Wir kämpfen gegen die Ohnmacht: Dieses Jahr haben wir alle Gesetzentwürfe aller Bundesministerien und Lobby-Stellungnahmen dazu befreit. Wir haben uns mit der Berliner Partypolizei angelegt - prost! - und 13 Behörden verklagt, darunter die Polizei Köln, das Innenministerium und das Verteidigungsministerium. Und wir haben einen Weg gefunden, zwei Behörden zu verklagen, die eigentlich sonst keine Auskunft geben ...

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

name: Schreibtisch-Hooligans: Informationsfreiheit trotz CSU


iOS kernel exploitation archaeology

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

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


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

description: Neue Standards wie IIIF (http://iiif.io) ermöglichen es, digitalisiertes Kulturgut (Gemälde, Bücher, Handschriften, Fotografien, Karten u.s.w.) interoperabel und maschinenlesbar verfügbar zu machen. Darauf aufsetzend können nicht nur ansehnliche Präsentationen erstellt werden, insbesondere ermöglicht IIIF es, institutionsübergreifend Daten verknüpfbar zu machen und virtuelle Arbeitsoberflächen einrichtungsunabhängig zu realisieren. Dem Linked Data Prinzip folgend, sind alle Daten standardisiert identifizierbar und nutzbar. Es existieren bereits viele leistungsfähige Open Source Anwendungen für IIIF. Der Talk führt in IIIF ein und zeigt viele anschauliche Beispiele, die bedeutende Werke aus namhaften Einrichtungen weltweit enthalten.

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

name: International Image Interoperability Framework (IIIF) – Kulturinstitutionen schaffen interoperable Schnittstellen für digitalisiertes Kulturgut


Defeating (Not)Petya's Cryptography

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

description: In this presentation we will outline our findings about (Not)Petya's crypto flaws and how we were able to exploit them to decrypt infected computers.

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


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

description: SafetyNet Attestation is the primary platform security service on Android. Until recently you had to use third party tools or implemented your own app integrity checks and device rooting checks. Today you can use Android's SafetyNet Attestation infrastructure to ensure the integrity of your application and the user's device. Unfortunately, SafetyNet Attestation is not well documented by Google. This talk is split into three parts. Part one provides a deep dive into SafetyNet Attestation how it works. Part two is a guide on how to implement and use it for real world applications. This is based on the lessons learned from implementing SafetyNet Attestation for an app with a large install base. The talk will provide you with everything you need to know about Android’s SafetyNet Attestation and will help you to implement and use it in your app. Part three presents attacks and bypasses against SafetyNet Attestation. The attack method targets not only SafetyNet but other similar approaches. New tools and techniques will be released at this talk.

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

name: Inside Android’s SafetyNet Attestation: Attack and Defense


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

description: In this talk we will present a deep-dive analysis of the anatomy of QNX: a proprietary, real-time operating system aimed at the embedded market used in many sensitive and critical systems, particularly within the automotive industry. We will present the first reverse-engineering and analysis of the exploit mitigations, secure random number generators and memory management internals of QNX versions up to and including 6.6 and the brand new 64-bit QNX 7.0 (released in March 2017) and uncover a variety of design issues and vulnerabilities.

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

name: Taking a scalpel to QNX: Analyzing & Breaking Exploit Mitigations and Secure Random Number Generators on QNX 6.6 and 7.0


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

description: In 2015, artist Ai Weiwei was bugged in his home, presumably by government actors. This situation raised our awareness on the lack of research in our community about operating and detecting spying microphones. Our biggest concern was that most of the knowledge came from fictional movies. Therefore, we performed a deep study on the state-of-the-art of microphone bugs, their characteristics, features and pitfalls. It included real life experiments trying to bug ourselves and trying to detect the hidden mics. Given the lack of open detection tools, we developed a free software SDR-based program, called Salamandra, to detect and locate hidden microphones in a room. After more than 120 experiments we concluded that placing mics correctly and listening is not an easy task, but it has a huge payoff when it works. Also, most mics can be detected easily with the correct tools (with some exceptions on GSM mics). In our experiments the average time to locate the mics in a room was 15 minutes. Locating mics is the novel feature of Salamandra, which is released to the public with this work. We hope that our study raises awareness on the possibility of being bugged by a powerful actor and the countermeasure tools available for our protection.

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

name: Spy vs. Spy: A Modern Study Of Microphone Bugs Operation And Detection


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

description: Internet access in Cuba is notoriously restrictive. ETECSA, the government-run teleco, offers 60 wireless hotspots in parks and hotels, allowing foreigners and citizens alike to "visit" the Internet for only $1/hour… That’s what most tourists know about the Internet in Cuba, but of course, that can't be the whole story! In this talk, we'll take a deeper look at what life is like for Cuban hackers, and we’ll get to tour a vibrant set of community-driven networks that typical tourists never see. The story that emerges is an inspiring view of what communities can (and can’t) accomplish in the face of adversity.

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

name: The Internet in Cuba: A Story of Community Resilience: Get a unique tour of some of the world’s most unusual networks, led by a Cuban hacker


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

description: Alles was wir jeden Tag tun erzeugt Treibhausgase. Für eine vernünftige/moralische/ökologische Entscheidung, um mit anderen Handlungsoptionen brauchbar vergleichen zu können, muss man wissen - wieviel? Ungefähr zumindest? Für Einsteiger. Keine Formeln, wenig Mathematik/Physik.

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

name: Treibhausgasemissionen einschätzen: Wieviel CO2 macht <...>? Ungefähr?


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

description: Lots of research are arising from the fairly unexplored world of automative communications. Cars are no longer becoming computers, they are fully connected networks where every ECU exchanges and operates the vehicles at some point. Here is an introduction of my immersion and discussions with my car, and how I finally managed to drift (a bit) with my mom's FWD Fiat 500c.

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

name: How to drift with any car: (without your mom yelling at you)


Inside Intel Management Engine

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

description: Positive Technologies researchers Maxim Goryachy and Mark Ermolov have discovered a vulnerability that allows running unsigned code. The vulnerability can be used to activate JTAG debugging for the Intel Management Engine processor core. When combined with DCI, this allows debugging ME via USB.

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


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

description: Formal hardware verification (hardware model checking) can prove that a design has a specified property. Historically only very simple properties in simple designs have been provable this way, but improvements in model checkers over the last decade enable us to prove very complex design properties nowadays. riscv-formal is a framework for formally verifying RISC-V processors directly against a formal ISA specification. In this presentation I will discuss how the complex task of verifying a processor against the ISA specification is broken down into smaller verification problems, and other techniques that I employed to successfully implement riscv-formal.

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

name: End-to-end formal ISA verification of RISC-V processors with riscv-formal


Intel ME: Myths and reality

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

description: Many claims were made recently about purpose and capabilities of the Intel ME but with all the buzz it is not always clear what are facts and what is just speculation. We'll try to clear the fog of misunderstanding with research based on investigations of ME firmware and practical experiments on ME-equipped hardware.

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


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

description: How I hacked Sasmung eMMC chips: from an indication that they have a firmware - up until code execution ability on the chip itself, relevant to a countless number of devices. It all started when Samsung Galaxy S3 devices started dying due to a bug in their eMMC firmware. I will cover how I figured out there's a firmware inside the chip, how I obtained it, and my journey to gaining code execution on the chip itself — up until the point in which I could grab a bricked Galaxy S3, and fix it by software-only means.

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

name: eMMC hacking, or: how I fixed long-dead Galaxy S3 phones: A journey on how to fix broken proprietary hardware by gaining code execution on it


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

description: Do you want to learn how modern binary code obfuscation and deobfuscation works? Did you ever encounter road-blocks where well-known deobfuscation techniques do not work? Do you want to see a novel deobfuscation method that learns the code's behavior without analyzing the code itself? Then come to our talk and we give you a step-by-step guide.

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

name: Lets break modern binary code obfuscation: A semantics based approach


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

description: What does it mean to be free in a world where surveillance is the dominant business model? Behind the scenes databrokers are turning our data into thousands of scores. This digital reputation is increasingly influencing our chances to find a job, a loan or even a date. Researchers are pointing out that, as people become aware of this reputation economy, it is generating a culture where self-censorship and risk aversion are the new normal.

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

name: Social Cooling - big data’s unintended side effect: How the reputation economy is creating data-driven conformity


Die fabelhafte Welt des Mobilebankings

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

description: Bisher wurden Angriffe gegen App-basierte TAN-Verfahren und Mobilebanking von betroffenen Banken eher als akademische Kapriole abgetan. Sie seien, wenn überhaupt, nur unter Laborbedingungen und dazu unter wiederkehrend hohem manuellen Aufwand zu realisieren. Um diese Sichtweise zu korrigieren, haben wir das Programm Nomorp entwickelt, das in der Lage ist, zentrale Sicherungs- und Härtungsmaßnahmen in weltweit 31 Apps vollautomatisch zu deaktivieren und somit Schadsoftware Tür und Tor öffnet. Unter den Betroffenen stellen deutsche Unternehmen mit 20 Finanz-Apps die größte Fraktion.

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


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

description: The ship „Iuventa“ of the organization „Jugend Rettet“ was seized on August 2nd 2017 by the Italian authorities. The accusations: facilitating illegal immigration, organized crime and possession of weapons. What followed was a smear campaign that had seldomly been seen before. Against „Jugend Rettet“ and all the other NGOs that do search and rescue (SAR) in the mediterranean sea.

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

name: The seizure of the Iuventa: How search and rescue in the mediterranean was criminalized


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

description: Eine wissenschaftliche Perspektive auf die achtlose Anwendung der Algorithmen des maschinellen Lernens und der künstlichen Intelligenz, z.B. in personalisierten Nachrichtenempfehlungssystemen oder Risikosoftware im US-Justizsystem.

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

name: Beeinflussung durch Künstliche Intelligenz: Über die Banalität der Beeinflussung und das Leben mit Algorithmen


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

description: Over the past year, we have been developing open source wheelchair add-ons through user research, ideation, design, prototyping and testing. We present the outcome and insights from the process.

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

name: Making Experts Makers and Makers Experts


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

description: An overview and history of various tools and languages that allow you to use code rather than CAD software to design circuits.

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

name: Designing PCBs with code: Is designing circuits with code instead of CAD the future of electronic design automation?


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

description: This talk deals with embedded systems security and ARM processors architecture. Most of us know that we can perform security with the ARM TrustZone framework. I will show that most ARM processors include debug components (aka CoreSight components) that can be used to create efficient security mechanisms.

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

name: TrustZone is not enough: Hijacking debug components for embedded security


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

description: Wouldn’t it be awesome to have a microscope which allows scientists to map atomic details of viruses, film chemical reactions, or study the processes in the interior of planets? Well, we’ve just built one in Hamburg. It’s not table-top, though: 1 billion Euro and a 3km long tunnel is needed for such a ‘free electron laser’, also called 4th generation synchrotron light source. I will talk about the basic physics and astonishing facts and figures of the operation and application of these types of particle accelerators.

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

name: Free Electron Lasers: ...or why we need 17 billion Volts to make a picture.


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

description: Die Geschichte des ZAMIR Transnational Network und meines Zagreb-Diary (http://www.wamkat.de/diaries1/zagreb-diary) zwischen 1991 und 1995 im früheren Jugoslawien. Es war das erste Computernetzwerk in einer Kriegsregion, das alle Friedens-, Frauen-, Menschenrechts- und humanitäre Aktivisten und alle anderen Menschen in dem Kriegsgebiet miteinander und der Außenwelt verbunden hat.

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

name: Zamir Transnational Network und Zagreb Dairy: Das erste computer netzwerk in Krieg (Jugoslavia 1992-1997)


keywords:
Ethics
Society & Politics

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

description: Expect current examples of IoT fails that I collected during my work as a journalist in regards of privacy and security. What do such fails mean for society? What are possible solutions and what can customers do?

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

name: Internet of Fails: Where IoT has gone wrong


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

description: Quantitative science evaluation, such as university rankings, rely on man-made algorithms and man-made databases. The modelling decisions underlying this data-driven algorithmic science evaluation are, among other things, the outcome of a specific power structure in the science system. Power relations are especially visible, when negotiated during processes of boundary work. Therefore, we use the discourse on 'citation cartels', to shed light on a specific perception of fairness in the scientific system, as well as on the actors who are in charge. While doing so, we draw analogies to the discourse on search engine optimization.

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

name: Algorithmic science evaluation and power structure: the discourse on strategic citation and 'citation cartels'


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

description: The Blinkenrocket is a DIY SMD Soldering Kit that was designed to teach different manufacturing and soldering skills. A lot of work on both Hardware and Software was done in CCC erfas namely shackspace, chaosdorf and metalab. The kit is used in workshops since 1.5 years at the chaos macht schule events and is very successful in its purpose. Creating this project was plenty of work and there is so much to show and tell around it, it will blow your mind.

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

name: Blinkenrocket!: How to make a community project fly


Convergent/Divergent

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

description: Whether you realize it or not, if you've built a rich web application in Ember.js, and you're sending data between clients and a server, you've build a distributed system. This talk will discuss the challenges of building such a system, specifically the challenges related to preserving consistency when dealing with concurrent actors. We will begin with a primer on the various types of consistency, covering topics such as eventual consistency and causal consistency, and then move on to discuss recent industrial and academic research that aims to solve some of these problems without synchronization, specifically discussing operational transformations and convergent and commutative replicated data types.

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


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

description: I know this is out of left field, but I’d like to teach you all some Angular, and in the process, bring you to a love of Ember Components unseen since Leo sank into his watery grave for Kate. We all make fun of directives and transclusion, but Ember has very equivalent features, which much more elegant APIs. Once we have a basic understanding of what directives and components bring to the table, I’ll explain why Ember Components are awesome, unbelievably useful, and unparalleled in expressiveness.

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

name: Ember Components Transclude My Directives


Ember Data and the Way Forward

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

description: Have you considered using Ember Data for your project, but were scared away? Have you tried using it and got stuck? Do you actually use it every day and wonder what the internets have against it? In the last year Ember Data was refreshed, rebooted and is now better focused, slimmer and more approachable. This talk will walk you through the ideas behind the new Ember Data, help you decide whether it is right for you, and teach you how to easily extend it to suit your needs.

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


Ember is for the Children

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

description: This talk chronicles my adventures in teaching underrepresented and underserved youth in the Bay Area, CA how to program using Ember. Unemployment for people 16-24 is around 17% almost double the national average. This number is even higher for minorities > 30% depending on which demographic you choose. Hacker academies are seen as a solution to this issue, but is often cost prohibitive. I wanted to pilot a program that would teach people how to program for free alongside professional engineers to learn best practices. The results went beyond what I and those were involved expected.

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


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

description: Coming to Ember from Rails means entering a world where familiar terms mean unfamiliar things - "router", "controller", etc. I'll be focusing on some specific examples where assuming the "Rails meaning" really threw me off track when learning Ember, and demonstrating how approaching things with an open mind can improve your code.

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

name: Empty Your Cup Reflections on Learning Ember


Extending Ember with Analytics

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

description: Definitely tune into my presentation if you're interested in ways to best integrate your application with analytics and reporting suites such as Google Analytics and Adobe SiteCatalyst. Our company is going to be utilizing SiteCatalyst so that may end up being more of the focus area, but I should be going into details and best practices about ways to track pageviews, user interactions, and other web tracking considerations.

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


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

description: The Ember.js community is ablaze with excitement over HTMLBars. Not only will it give us great syntax in our templates, but it will also usher in next-generation rendering performance in an upcoming 1.x stable release. Erik and Kris will walk through the design decisions and usage examples of how HTMLBars will alter the landscape of HTML templating solutions.

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

name: HTMLBars - The Next-Generation of Templating in Ember.js


Ember Conf 2014 - Keynote

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

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


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

description: I've spent the last six months mapping the entire data model of App Store and iTunes. The application I've created is like no other search engine in existence. It's 2014 and we're still searching for documents. Today, I'm debuting the next-generation of search, and it's built entirely with Ember and Ember Data. You're going to see how I did it, and why Ember Data was the prefect tool for the job. Expect code samples, anchored by examples of real use within a polished Ember application. I expect the audience to leave my talk energized, seeing the power of Ember Data, wanting to try it out for themselves on the web of APIs that are now within their reach.

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

name: Modeling the App Store and iTunes with Ember Data


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

description: Broccoli is the newest JavaScript-based build tool everyone's talking about. It helps you concatenate your scripts, compile your Sass files, and package up your ES6 modules—all while offering a concise declarative syntax, and blazing fast rebuilds. Building on that foundation, ember-cli is a project to bring an opinionated, Broccoli-based build stack to Ember developers, tuned with their specific needs in mind. Learn how to use Broccoli and ember-cli to define modern build workflows for your Ember applications, harnessing preprocessors such as Sass and CoffeeScript without losing sub-second rebuild times.

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

name: No more 'grunt watch': Modern build workflows with Broccoli


Mr Router Embraces the Controller

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

description: Query params, model dependent state, and the subtleties of the route vs controller paradigm.

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


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

description: Over the past few years, we have seen the success of great web applications. As we strive to provide better user experiences we are continuously pushing the bar, unfortunately sometimes at the cost of productivity, maintainability and most importantly happiness. When products slow or fail under the pain of un-managed technical debt, everyone loses. This talk showcases how ember helps manage this complexity today, where it falls shorts, and most importantly we will explore what the future of ember may look like.

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

name: Software Productivity and Ember: Ember CLI


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

description: This lecture provides an introduction to the fields of information retrieval and web search. We will discuss how relevant information can be found in very large and mostly unstructured data collections; this is particularly interesting in cases where users cannot provide a clear formulation of their current information need. Web search engines like Google are a typical application of the techniques covered by this course.

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

name: Probabilistic retrieval models (20.4.2011)

name: Technische Universität Braunschweig, Institut für Informationssysteme


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

description: Ember is a framework for creating ambitious web applications. Ambitious applications need tests. Although many find it difficult to weed through the various sources of information, it is possible to thoroughly test your Ember application today. We've aggregated the collective experiences, trials and errors regarding testing Ember applications from leaders in the Ember community to create The Unofficial, Official Ember Testing Guide. We'll walk through it live, cover specific testing scenarios and solve real testing dilemmas. You'll leave this session knowing what to test, how to approach it with confidence, and the resources available to fall back on when you need it.

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


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

description: The fact that Ember is different to everything else out there means that there are things you can do with Ember within a couple of hours that would take days to accomplish in other frameworks. The Ember community is going to have a lot of fun over the next few years discovering all the innovative ways that they can use the platform. We will highlight some of the awesome hacks that we have found and hopefully inspire you to look deeper into your own app and see what crazy things you could be doing.

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

name: Using Ember to Make the Seemingly Impossible Easy


The {{x-foo}} in You

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

description: TDeclarative, evented, data-bound components will change the way you build abstractions in browser applications. The best part is, you're already an expert, you just might not know it yet. We'll discuss how to: Use a component Know when not to use a component Communicate with the world outside the component Refactor large components Test components in isolation Make components accessible.

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


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

description: Your web application is built, and now you need to maintain and update the content to keep people coming back. Learn how Live Nation Labs used Ember to create modular admin tools that allowed content creators to be self-sufficient. This talk is a case study in how we set up our admin tool at Live Nation Labs to make it easy for engineers to drop in new admin components to maintain the ever growing feature set on livenation.com and our suite of mobile apps.

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

name: Admin Your App: Or Why Internal Tools Matter


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

description: Animations and transitions are fundamental to the unique character and feel of your product. With a few key ideas, you'll be able to build any custom behavior you want into your Ember application. Learn about reusable, well-encapsulated techniques that work reliably, play well with integration tests, and give native-app-like performance on mobile devices.

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

name: Animations and Transitions in an Ember App


Array Computed Properties

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

description: Computed properties are an important feature for any ember.js developer to master. This talk offers an overview of a particular subset of computed properties: array computed properties, which allow for partial recomputation. This is the feature that saves, for instance, `Ember.computed.filterBy` from having to completely recompute the filtered array when an item is added to its dependent array.

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


Contributing to Ember: The Inside Scoop

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

description: Confused about how the release process works? Curious what the heck feature flags are? Wondering which commit prefix you should use for your latest pull request? This talk will answer these questions (and many more). It will include insights into the release process, feature flagging, the build process, which commit prefixes to use, and how to create custom builds with features enabled by default.

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


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

description: A breakdown of the general architecture that was used for building CloudHdr. The entire system is composed of 3 main "service" apps, and a collection of Ember apps each aimed at a different vertical slice of user facing functionality. Topics include auth from the Ember apps to services, cross domain issues for data transfer, and handling file uploads.

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

name: Ember & SOA: Stumbling towards SOA: The story of CloudHDR


Bezugsrahmen LV95

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

description: In diesem Podcast werden die neuen Landeskoordinaten für die Schweiz der Bezugsrahmen LV95 erklärt.

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

name: Eidgenössische Technische Hochschule Zürich (ETH Zürich)

addressCountry: CH

addressLocality: Zurich

addressRegion: Zurich


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

description: In diesem Podcast wird der Aufbau des Schweizerischen Landeskoordinatensystems mit den Komponenten Bezugssystem, Projektionssystem und Bezugsrahmen erklärt.

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

name: CH1903 LV03 - Wie ist das Schweizerische Landeskoordinatensystem aufgebaut?


Datenanalyse: Ein Überblick

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

description: Dieses Video gibt einen generellen Überblick über die Datenanalyse und zeigt die verschiedenen Möglichkeiten der Analyse von Daten auf. Weiter wird erklärt, was bei der Vektordatenanalyse unter Abfrage und unter Manipulation verstanden wird.

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


Datenbankmodelle

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

description: Dieser Podcast stellt die charakteristischen Eigenschaften von Datenbankmodellen vor (relational, objektorientiert und objekt-relational).

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


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

description: Dieser Podcast erklärt, was man unter einer Datenbankschnittstelle und einer Datenbanksprache versteht. Anhand von SQL wird der Aufbau einer Datenbanksprache erklärt.

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

name: Datenbankschnittstelle und Datenbanksprache: Beispiel SQL


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

description: In diesem Podcast geht es um die Modellierung der Daten, erklärt anhand des 4 Schalen Modells.

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

name: Datenmodellierung: Von der Realität zum Modell


Datentypen

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

description: Dieses Video erklärt die verschiedenen Datentypen für Sachdaten (Attribute).

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


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

description: In diesem Video wird erklärt, was man unter Geodaten versteht und welche Anforderungen Geodaten erfüllen sollten.

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

name: Definition und Anforderungen an Geodaten


Digitale Höhenmodelle: Ein Überblick

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

description: Dieser Podcast gibt einen kurzen Überblick über digitale Höhenmodelle und deren Aufbau.

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


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

description: Dieser Podcast erklärt die Begriffe Georeferenzierung, Geocodierung und (Ortho-)Rektifizierung und gibt einen Einblick in die Technik der Transformation.

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

name: Georeferenzierung, Geocodierung und (Ortho-) Rektifizierung


Gewichtete Verschneidung

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

description: In diesem Video wird erklärt, was man unter einer Gewichteten Verschneidung versteht und was bei deren Anwendung beachtet werden muss.

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


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

description: In diesem Podcast wird erklärt, was ein Geoinformationssystem (GIS) ist, wie dieses aufgebaut ist und welche Aufgaben/Funktionen die einzelnen Bestandteile innehaben.

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

name: GIS - Was ist eigentlich ein Geo-Informationssystem?


GIS: Ein historischer Abriss

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

description: Dieser Podcast gibt einen Überblick über die Entwicklungsgeschichte von GIS. Es zeigt die ersten experimentellen Anfänge der 60er Jahre bis heute (2012).

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


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

description: Dieser Podcast stellt die Funktionsweise von GNSS vor und beschreibt mögliche Fehlerquellen, welche die Genauigkeiten des Signals beeinträchtigen.

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

name: GNSS - Global Navigation Satellite System


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

description: Dieser Podcast erklärt anhand von Beispielen die konzeptionellen Modellierungssprache INTERLIS.

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

name: INTERLIS - Eine konzeptionelle Modellierungssprache


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

description: Dieser Podcast beschreibt die Grundelemente Punkt, Linie und Fläche der kartographischen Gestaltungsmittel und deren mögliche graphische Variationen.

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

name: Kartographische Gestaltungsmittel: Grundelemente, graphische Variationen und Symbole


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

description: Dieser Podcast beschreibt das kartographische Gestaltungsmittel Schrift, welche das wichtigste, erläuternde Element einer Karte darstellt.

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


Karten, deren Bestandteile und Elemente

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

description: Dieser Podcast zeigt, wie Karten sowohl in formaler als auch in sachlicher Hinsicht in verschiedene Bestandteile gegliedert werden können und geht näher auf die wichtigsten Kartenrandangaben ein.

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


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

description: In diesem Podcast werden wichtige Informationen zur Anordnung und Ausrichtung von einzelnen Karteelementen erklärt.

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


Möglichkeiten der Datenerfassung

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

description: Dieser Podcast gibt einen Überblick über die wichtigsten Erfassungsmethoden von Geodaten und zeigt, wie die Erfassungsmethoden gruppiert werden können.

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


Prozessmodellierung

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

description: Dieser Podcast erklärt die softwareunabhängige Modellierung von Prozessen. Dabei wird auf die einzelnen Bestandteile und deren Verwendung eingegangen.

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


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

description: Dieser Podcast gibt einen kurzen Überblick über die möglichen Operatoren für die Rasterdatenanalyse.

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

name: Rasterdatenanalyse: Operatoren und Funktionen


Rasterdatenmodell

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

description: In diesem Podcast geht es um das Modell der Rasterdaten, deren Aufbau und Geometrie

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


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

description: Dieser Podcast erklärt den Aufbau des räumlichen Datenmodells TIN (Triangulated Irregular Netzwork).

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

name: Räumliches Datenmodell: TIN - Grundlagen


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

description: Dieser Podcast erklärt die Problematik der Vermaschung von TINs und - als eine mögliche Lösung - die Delaunay-Triangulation.

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

name: Räumliches Datenmodell: TIN - Triangulation


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

description: Dieser Podcast erklärt die thematische und die geometrische Manipulation mittels einfach illustrierten Beispielen und geht auf die Unterschiede zwischen diesen beiden Arten der Manipulation ein.

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

name: Thematische und Geometrische Manipulationen


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

description: Dieser Podcast geht auf die drei verschiedenen Möglichkeiten der Abfrage bei der Vektordatenanalyse ein. Die thematische, die geometrische und die topologische Abfrage werden mittels einfachen Beispielen erläutert.

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

name: Thematische, Geometrische und Topologisch Abfragen


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

description: Dieser Podcast erklärt anhand von Beispielen die konzeptionellen Modellierungssprache UML.

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

name: UML - Eine konzeptionelle Modellierungssprache


Vektordatenmodell

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

description: In diesem Podcast geht es um das Modell der Vektordaten, deren Aufbau und Geometrie.

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


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

description: Dieser Podcast beschreibt die Vor- und Nachteile der drei räumlichen Datenmodelle Vektor, Raster und TIN.

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

name: Vor- und Nachteile der räumlichen Datenmodelle Vektor, Raster & TIN


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

description: Dieser Podcast stellt die Begriffe Web Map Services (WMS) und Web Feature Services (WFS) gegenüber.

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

name: WebMapServices (WMS) & WebFeature Services (WFS)

name: Eidgenössische Technische Hochschule Zürich (ETH Zürich)


Souto de MouraFrampton

de: Architektur, Innenarchitektur

uk: Архітектура, дизайн інтер'єру

en: Architecture, Interior Architecture

description: Was modernism the last important epoch in the history of architecture? Or is a similarly revolutionary, all-encompassing movement currently in the making? What is it that provokes discussion today? Modernism continues to cast its shadow over the present, regardless of whether we try to escape its influence or make a stand against it. Is it even possible to flee from this shadow? By means of postmodernism, as was once the case? By retreating to a new historicism like we do today? Or might the real interest be found in once again picking up modernism’s trail? Might this lead to undiscovered sources of inspiration or might the same apply to modernism as Frank Zappa once said about jazz: modernism isn’t dead, it just smells funny? Did modernism choke on its own dogmatism, or did it have the life sucked from it by all of the bloodless and spiritless copying? In this series of departmental lectures in the 2016 spring semester, three architects and one architectural theorist will specifically address what has happened to the traces modernism left behind. For them, modernism is not a dark shadow to be avoided but a source of inspiration as well as a potentially fruitful source of friction.

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


Are We Still Modern?

uk: Архітектура, дизайн інтер'єру

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


Fabrication Matters

uk: Архітектура, дизайн інтер'єру

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


uk: Архітектура, дизайн інтер'єру

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

name: Instrumentalities: From Representation to Generation


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

description: This lecture provides an introduction to the fields of information retrieval and web search. We will discuss how relevant information can be found in very large and mostly unstructured data collections; this is particularly interesting in cases where users cannot provide a clear formulation of their current information need. Web search engines like Google are a typical application of the techniques covered by this course.

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

name: Relevance feedback, Classification (1.6.2011)

name: Technische Universität Braunschweig, Institut für Informationssysteme


de: Physik, Astronomie

fi: fysiikka, tähtitiede

uk: Фізика, Астрономія

en: Physics, Astronomy

fr: Physique, Astronomie

da: Fysik, Astronomi

es: Física, Astronomía

nl: Natuurkunde, Astronomie

de: Mathematik, Naturwissenschaften

uk: Математика, природничі науки

en: Mathematics, Natural Sciences

description: Quantum foundations, no-go theorems, hidden variables, quantum contextuality - Solstice of Foundations is a summer school on quantum foundations that took place at ETH Zurich in June 2017. It was followed by a workshop in quantum contextuality. Generously sponsored by the Pauli Center for Theoretical Physics, FQXi - the Foundational Questions Institute, QSIT - The National Centre of Competence in Research “Quantum Science and Technology”, and ETH Zurich.

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

name: Axiomatic derivations of quantum theory - Lecture 1


uk: Фізика, Астрономія

uk: Математика, природничі науки

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

name: Axiomatic derivations of quantum theory - Lecture 2


uk: Фізика, Астрономія

uk: Математика, природничі науки

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

name: Axiomatic derivations of quantum theory - Lecture 3


Bell non-locality - Lecture 1

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


Bell non-locality - Lecture 2

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


Causality - Lecture 1

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


Causality - Lecture 2

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


Causality - Lecture 3

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


Contextuality - Lecture 2

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


Epistemic models - Lecture 1

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


Epistemic models - Lecture 2

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


uk: Фізика, Астрономія

uk: Математика, природничі науки

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

name: Experimental quantum foundations - Lecture 1


uk: Фізика, Астрономія

uk: Математика, природничі науки

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

name: Experimental quantum foundations - Lecture 2


uk: Фізика, Астрономія

uk: Математика, природничі науки

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

name: Interpretations of quantum theory - Lecture 1


uk: Фізика, Астрономія

uk: Математика, природничі науки

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

name: Interpretations of quantum theory - Lecture 2


No-go theorems - Lecture 1

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


No-go theorems - Lecture 2

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


Quantum mechanics in a new key

uk: Фізика, Астрономія

uk: Математика, природничі науки

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


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

description: Recently Haah introduced a new class of local quantum error correcting code embedded on a cubic lattice without any string logical operator. We present new codes with same property by relaxing the condition on the local particle dimension. The resulting code is well-defined when the local Hilbert space dimension is prime. These codes can be divided into two different classes: the local stabilizer generators are either symmetric or antisymmetric with respect to the inversion operation. We lower bound the number of encoded qudits by computing the commutation relation between the logical operators confined on a plane.

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

name: 3D local qupit quantum code without string logical operator

University of Southern California (USC)

addressCountry: US

addressLocality: Los Angeles

addressRegion: California


Latent Semantic Indexing (11.5.2011)

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

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


(1,∞)-Categories and model categories

cs: Matematika

de: Mathematik

fi: matematiikka

uk: Математика

en: Mathematics

fr: Mathématiques

da: Matematik

es: Matemáticas

nl: Wiskunde

uk: Математика, природничі науки

description: The (∞,1)-category associated to a model category, Dwyer-Kan localisation, the rectification theorem comparing diagrams in model categories and in (∞,1)-categories.

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


uk: Математика, природничі науки

description: Simplicial categories, quasi-categories, Segal categories and complete Segal spaces. Comparison theorems. Limits and colimits in (∞,1)-categories

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


Closed differential forms

uk: Математика, природничі науки

description: Derived de Rham complex, relations with negative cyclic homology. Examples: classifying stacks BG, smooth schemes.

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


Derived critical loci

uk: Математика, природничі науки

description: The (-1)-symplectic geometry of derived critical loci, the Darboux theorem for (-1)-shifted symplectic structures, and more generally negatively shifted symplectic structures.

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


uk: Математика, природничі науки

description: Definitions and standard properties. Basic examples: derived fibered products

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

name: Derived schemes and derived Artin 1-stacks


Differential forms

uk: Математика, природничі науки

description: The global cotangent complex, differential forms and descent. Relation to Hochschild homology and derived loop stacks.

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


uk: Математика, природничі науки

description: Derived loop spaces, derived Hilb and Quot, derived mapping scheme, derived stack of stable maps, derived stack of vector bundles and local systems.

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

name: Examples of derived schemes and derived Artin 1-stacks


Higher derived Artin stacks

uk: Математика, природничі науки

description: Definitions. Examples and standard properties. Examples: Eilenberg Mac-Lane stacks, higher stacks related to rationnal homotopy theory.

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


Lagrangian structures

uk: Математика, природничі науки

description: Definitions, Lagrangian intersections. Relation with Hamiltonian actions and symplectic reduction.

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


Quasi-coherent sheaves and complexes

uk: Математика, природничі науки

description: Definitions of quasi-coherent complex on a derived Artin stack, t-structure, direct and inverse images, base change formula.

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


Reminders on model categories

uk: Математика, природничі науки

description: Everything you have to know about model categories in a concise presentation: definitions, model structures on diagrams, Bousfield localisations, mapping spaces, homotopy limits and colimits.

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


uk: Математика, природничі науки

description: Oriented and CY objects, existence of shifted symplectic structures on derived mapping stacks towards a shifted symplectic target. Examples: derived moduli of sheaves on CY varieties, derived moduli of local systems on oriented manifolds.

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

name: Shifted symplectic structures on derived mapping stacks


Shifted symplectic structures

uk: Математика, природничі науки

description: Definitions. Existence on BG, shifted cotangent stacks TX[n] and Parf.

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


uk: Математика, природничі науки

description: The derived stack Parf of perfect complexes, the derived stack M_B of dg-modules over a dg-algebra B of finite type.

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

name: Some examples of higher derived Artin stacks


uk: Математика, природничі науки

description: General results: model structures, cell decomposition, Postnikov towers, homotopy push-outs, Koszul dg-algebras.

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

name: The homotopy theory of commutative dg-algebras I


uk: Математика, природничі науки

description: Cotangent complexes, derivations and obstruction theory. Application to mapping spaces of commutative dg-algebras.

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

name: The homotopy theory of commutative dg-algebras II

name: Eidgenössische Technische Hochschule Zürich (ETH Zürich)


uk: Математика, природничі науки

description: Flat, smooth, étale and open morphisms of commutative dg-algebras.

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

name: The homotopy theory of commutative dg-algebras III


The (1,∞)-topos of derived stacks

uk: Математика, природничі науки

description: The small étale (1,∞)-site of derived affine schemes, derived stacks, truncations and relations with underived stacks. Basic examples: classifying stacks, derived fibered products, derived mapping stacks.

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


(1,∞)-Topos and model topos

uk: Математика, природничі науки

description: Topologies on (1,∞)-categories and model categories, stacks, Giraud's axioms and descent.

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


keywords:
Structure from Motion
Archäologie
Architektur
Historische Bauforschung
interaktiver Lehrfilm

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

description: Structure from Motion (SfM) ist eine vielseitig einsetzbare Methode in der Dokumentation und Vermessung von Oberflächen. Sie findet in unterschiedlichen Fachbereichen, wie z.B. der Geografie oder Bauforschung, Verwendung. In diesem Film wird speziell auf die Nutzung von "Structure from Motion in der Archäologie" eingegangen. Es wird zum einen demonstriert, wie mit dieser Methode archäologische Oberflächen, z.B. auf Ausgrabungen, hochauflösend dokumentiert und vermessen werden können, zum anderen wird der Film die maßstabsgetreue 3D Dokumentation von Objekten, wie sie typischerweise in der Archäologie vorkommen, in Theorie und praktisch erläutern.

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

name: Structure from Motion in der Archäologie - ein Lehrfilm

Freie Universität Berlin

addressLocality: Berlin

addressRegion: Berlin


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

description: We introduce a family of codes which are a generalisation of the Bacon-Shor code using the quantum double models introduced by Kitaev. In particular, we show that such codes are possible for non-Abelian quantum double models, as well as three-dimensional quantum double models. Our codes possess a structure which generalises the gauge subsystem of the Bacon-Shor code to non-Abelian models. This means that we retain the ability to infer error syndromes using two body measurements, as well as a generalised subsystem error correction procedure.

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

name: A Class of Quantum Double Subsystem Codes


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

description: Operator quantum error correction (OQEC) extends the standard formalism of quantum error correction (QEC) to codes in which only a subsystem within a subspace of states is used to store information in a noise-resilient fashion. Motivated by recent work on approximate QEC, which makes it possible to construct subspace codes beyond the framework of perfect error correction, we investigate the problem of approximate operator quantum error correction (AOQEC). We demonstrate easily checkable sufficient conditions for the existence of approximate subsystem codes. Furthermore, we prove the efficacy of the transpose channel as a simple-to-construct recovery map that works nearly as well as the optimal recovery channel, with optimality defined in terms of worst-case fidelity over all code states. This work generalizes our earlier approach of using the transpose channel for approximate subspace correction to the case of approximate OQEC, thus bringing us closer to a full analytical understanding of approximate codes.

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

name: Approximate Operator Quantum Error Correction


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

description: We generalize the Knill-Laflamme condition to the problem of using a given noisy channel N to approximately simulate another given channel M. In particular, this yields a way to compute a near-optimal error for approximate subsystem quantum error correction. For approximate QEC, this also yield a near-optimal recovery channel. We use this result to derive a simple necessary and sufficient condition for lowest order perturbative QEC. That is, given a noise model function of a small parameter, to determine whether a given code can correct it up to lowest order in the fidelity.

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

name: Approximate simulation of quantum channels


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

description: Bacon-Shor codes are quantum subsystem codes which are constructed by combining together two quantum repetition codes, one protecting against Z (phase) errors and the other protecting against X (bit flip) errors. In many situations, for example flux qubits, the noise is biased such that Z errors are much more common than X errors; in these cases it is natural to consider an asymmetric Bacon-Shor code where the code protecting against Z errors is longer than the code protecting against X errors. This work provides fault-tolerant gadget constructions to achieve universal fault-tolerant quantum computation using asymmetric Bacon-Shor codes and controlled-Z gates as the only two-qubit gates. The qubits can be arranged in a constant-width ribbon and all gates performed on single qubits or neighboring pairs of qubits. In the presence of biased noise, these constructions allow for powerful reductions in the error rate with modest resource overhead.

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

name: Fault-tolerant quantum computation with asymmetric Bacon-Shor codes


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

description: We obtain an upper bound on the time available for quantum computation for a given quantum computer and decohering environment with quantum error correction implemented. First, we derive an explicit quantum evolution operator for the logical qubits and show that it has the same form as that for the physical qubits but with a reduced coupling strength to the environment. Using this evolution operator, we find the trace distance between the real and ideal states of the logical qubits in two cases. For a super-Ohmic bath, the trace distance saturates, while for Ohmic or sub-Ohmic baths, there is a finite time before the trace distance exceeds a value set by the user.

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

name: Bound on quantum computation time: Quantum error correction in a critical environment


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

description: We study the performance of locally decodable sparse quantum codes. The most familiar example of such a code is Kitaev’s toric code. During the last ten years, a number of different constructions of these codes appeared, for example: surfaces codes, finite geometry codes or Latin square codes. These codes are defined by stabilizer group with generators of low weight. If the stabilizer matrix has row weight m and column weight l, we talk about a (l,m) code. Our main result is an upper bound on achievable rates of stabilizer (l,m) codes, as a function of m and l. Achievable rates are rates for which decoding is possible with high probability.

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

name: Bounds on achievable rates of sparse quantum codes used over the quantum erasure channel


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

description: A globally controlled architecture for a quantum computer is highly appealing as one does not then require the technological capability of addressing each and every qubit within the device. Although several fully global controlled designs for a universal quantum computer have been proposed in the literature - and although it has been proven that a fully global fault tolerant (FT) quantum error correction scheme is possible in principle, no actual scheme for the latter has yet been advanced. In this work we go part way towards the latter and present a fault-tolerant semi-global control strategy for universal quantum computers. We show that an N-dimensional array of qubits where only (N − 1)-dimensional addressing resolution is available is compatible with FT universal quantum computation. What is more, we show that measurements and individual control of qubits are required only at the boundaries of the FT computer. Our model alleviates the heavy physical conditions on current qubit candidates imposed by addressability requirements and represents an option for improving their scalability.

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

name: Bulk fault-tolerant quantum information processing with boundary addressability


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

description: Trapped strings of cold ions provide an ideal system for quantum information processing. The quantum information can be stored in individual ions and these qubits can be individually prepared; the corresponding quantum states can be manipulated and measured with nearly 100% detection efficiency. With a small ion‐trap quantum computer based on up to fourteen trapped Ca+ ions as qubits we have generated genuine quantum states in a preprogrammed way. In particular, using high fidelity global and local quantum gate operations, with GHZ states of up to fourteen ions we have investigated noise and error sources during quantum information processing. Decoherence of multi‐qubit GHZ states was measured and is quantitatively described a noise model. Using optimized sequences of high fidelity gate operations enabled the implementation of repetitive quantum error correction. Future applications towards analog and digital quantum simulations will be indicated and briefly discussed.

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

name: Quantum Information Processing and Quantum Error Correction with Trapped Ca+ Ion


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

description: One of the major challenges in quantum computation has been to preserve the coherence of a quantum system against dephasing effects of the environment. The information stored in photon polarization, for example, is immediately lost due to such dephasing and it is crucial to preserve the input states when one tries to transmit quantum information encoded in the photons through some communication channel. We simulate random birefringent noise along realistic lengths of optical fiber and study preservation of polarization qubits through such fibers enhanced with Carr-Purcell-Meiboom-Gill (CPMG) dynamical decoupling. The sequence, implemented with waveplates along the birefringent fiber, helps to maintain very high fidelity over a given length of the fiber. Moreover, errors arising due to the time-dependent control pulses can be completely eliminated as here one only needs to incorporate the wave plates in the prescribed way. This simple and fairly practical model is valid for preserving any general polarization state of the single photons besides providing a direction towards achieving scalable and useful quantum computation with photonic qubits.

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

name: Correcting noise in optical fibers via dynamic decoupling


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

description: I will talk about the problem of decoding a topological code, that consists of identifying the optimal recovery operation given the syndrome of an error, or equivalently of inferring the most likely world-line homology given a defect configuration. I will describe a new decoding algorithm [Phys. Rev. Lett. 104 050504 arXiv:0911.0581 and arXiv:1006.1362] for Kitaev's toric code (KTC) that runs in a time proportional to the log of the number of particles, an improvement over the previously known polynomial-time decoding algorithm. This algorithm also achieves a higher threshold on the depolarizing channel. Moreover, we have recently shown that all two dimensional topological stabilizer codes can be mapped onto each other by local transformations [arXiv:1103.4606, arXiv:1107.2707]. This local mapping enables us to use any decoding algorithm suitable for one of these codes to decode other codes in the same topological phase. We illustrate this idea with the topological color code that is found to be locally equivalent to two copies of KTC and we extend it to decode the topological subsystem color code.

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

name: Decoding algorithms for topological codes


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

description: Key ideas from the canonical theory of quantum error correction via coding and syndrome measurement can be "pushed down" to the level of physical models with stationary Hamiltonian couplings in various ways; in this talk I will review our group's work on an approach inspired by emerging ideas in coherent-feedback quantum control, which seem well-suited to the implementation settings of nanophotonic cavity-QED and superconducting circuit-QED. I will introduce some basic ideas of continuous syndrome measurement and embedded control dynamics, and discuss a class of intuitive master equations for autonomous quantum memories that can be derived via a modeling approximation that we call the small-volume limit. I will discuss some computational challenges involved in constructing and integrating such master equations for memories based on complex codes, and close with some general remarks on coherent feedback as a tool for interaction synthesis and disturbance attenuation in quantum engineering.

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

name: Design and analysis of autonomous quantum memories based on coherent feedback control


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

description: Codeword stabilized (CWS) construction defines a quantum code by combining a classical binary code with some underlying graph state. In general, CWS codes are non-additive but become additive stabilizer codes if derived from a linear binary code. Generic CWS codes typically require complex error correction; however, we show that the CWS framework is an efficient tool for constructing good stabilizer codes with simple decoding. We start by proving the lower Gilbert-Varshamov bound on the parameters of an additive CWS code which can be obtained from a given graph. We also show that cyclic additive CWS codes belong to a previously overlooked family of single-generator cyclic stabilizer codes; these codes are derived from a circulant graph and a cyclic binary code. Finally, we present several families of simple stabilizer codes with relatively good parameters, including a family of the smallest toric-like cyclic CWS codes which have length, dimension, and distance as follows: $[[t2+(t+1)2,1,2t+1]]$, t=1,2, ...

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

name: Stabilizer quantum codes via the CWS framework


Detecting Incapacity

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

description: Using unreliable or noisy components for reliable communication requires error correction. But which noise processes can support information transmission, and which are too destructive? For classical systems any channel whose output depends on its input has the capacity for communication, but the situation is substantially more complicated in the quantum setting. We find a generic test for incapacity based on any suitable forbidden transformation---a protocol for communication with a channel passing our test would also allow us to implement the associated forbidden transformation. Our approach includes both known quantum incapacity tests -positive partial transposition (PPT) and antidegradability (no cloning)- as special cases, putting them both on the same footing. We also find a physical principle explaining the nondistillability of PPT states: Any protocol for distilling entanglement from such a state would also give a protocol for implementing the forbidden time-reversal operation.

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


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

description: This lecture provides an introduction to the fields of information retrieval and web search. We will discuss how relevant information can be found in very large and mostly unstructured data collections; this is particularly interesting in cases where users cannot provide a clear formulation of their current information need. Web search engines like Google are a typical application of the techniques covered by this course.

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

name: Fuzzy retrieval model, Coordination level matching, Vector space retrieval model (13.4.2011)

name: Technische Universität Braunschweig, Institut für Informationssysteme


Dynamical Decoupling a tutorial

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

description: Dynamical decoupling (DD) is an open-loop method for decoherence reduction based on the frequent application of strong pulses, designed to cancel terms in the system-bath interaction Hamiltonian. DD has been tested and successfully implemented in numerous experimental systems. After introducing the basics of DD, this tutorial will review recent developments concerning optimized pulse sequences, capable of canceling the system-bath interaction to arbitrary given order. The integration of DD with computation will also be addressed, from the complementary perspectives of "decouple while compute" and "decouple then compute". The former requires a commuting set of pulses and gates, which can be designed using tools borrowed from quantum error correction. The latter allows DD to be integrated with fault tolerant quantum computation.

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


Dynamical decoupling noise spectroscopy

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

description: Decoherence is one of the most important obstacles that must be overcome in quantum information processing. It depends on the qubit-environment coupling strength, but also on the spectral composition of the noise generated by the environment. If the spectral density is known, fighting the effect of decoherence can be made more effective. Applying sequences of inversion pulses to the qubit system, we generate effective filter functions that probe the environmental spectral density. Comparing different pulse sequences, we recover the complete spectral density function and distinguish different contributions to the overall decoherence.

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