Show filters Hide filters

Refine your search

Publication Year
1-12 out of 57 results
Change view
  • Sort by:
1:09:20 Institut des Hautes Études Scientifiques (IHÉS) English 2018
Found in:

P-adic K-theory of p-adic rings

The original proof of Grothendieck's purity conjecture in étale cohomology (the Thomason-Gabber theorem) relies on results on l-adic K-theory and its relation to étale cohomology when l is invertible. Using recent advances of Clausen-Mathew-Morrow and joint work with Bhatt and Morrow, our understanding in the complementary case of p-adic K-theory of p-adic rings has reached a similar level. In particular, we can express p-adic étale K-theory in terms of the cohomology theories of integral p-adic Hodge theory, such as the prismatic cohomology discussed in Bhatt's talk. Depending on time, I may indicate some possible applications.
  • Published: 2018
  • Publisher: Institut des Hautes Études Scientifiques (IHÉS)
  • Language: English
1:12:38 Institut des Hautes Études Scientifiques (IHÉS) English 2013
Found in:

Shimura varieties with infinite level, and torsion in the cohomology of locally symmetric spaces.

  • Published: 2013
  • Publisher: Institut des Hautes Études Scientifiques (IHÉS)
  • Language: English
1:12:15 Institut des Hautes Études Scientifiques (IHÉS) English 2018
Found in:

Spreading-out for families of rigid analytic spaces

Introduction by Jean-Louis Colliot-Thélène (Université Paris-Sud) Let K be a complete rank 1 valued field with ring of integers OK, A an adic nœtherian ring and φ: A → OK an adic morphism. We show that if g: X → Y is a proper flat morphism between rigid analytic spaces over K then locally on Y a flat formal model of g is the pullback of a proper flat morphism between formal schemes topologically of finite type over A. For this, if S is an affine nœtherian scheme, T0→S affine of finite type and X0→T0 proper flat, we construct a compatible system of versal n-th order deformations of X0→T0 over S. As an application, one can prove that for a proper smooth g and K of characteristic 0, the Hodge to de Rham spectral sequence for g degenerates and the R q g∗ΩpX/Y are locally free. This is reduced to the case where K is a finite extension of Qp and Y is a nilpotent thickening of Sp K, where the result over K was proved by Scholze and follows for Y by imitating the proof of Deligne over C using a construction of crystalline cohomology in this case.
  • Published: 2018
  • Publisher: Institut des Hautes Études Scientifiques (IHÉS)
  • Language: English
1:05:29 Institut des Hautes Études Scientifiques (IHÉS) English 2015
Found in:

Integral p-adic Hodge theory (2015)

I will describe joint work with M. Morrow and P. Scholze on the construction of a new integral cohomology theory for smooth projective schemes over the ring of integers of a p-adic field. The new theory realizes de Rham cohomology as a specialization of etale cohomology (integrally), and thus yields consequences about torsion by semicontinuity.
  • Published: 2015
  • Publisher: Institut des Hautes Études Scientifiques (IHÉS)
  • Language: English
1:05:02 Institut des Hautes Études Scientifiques (IHÉS) English 2018
Found in:

Prisms and deformations of de Rham cohomology

Prisms are generalizations of perfectoid rings to a setting where "Frobenius need not be an isomorphism". I will explain the definition and use it to construct a prismatic site for any scheme. The resulting prismatic cohomology often gives a one-parameter deformation of de Rham cohomology. For instance, it recovers the recently constructed A -cohomology for smooth schemes over perfectoid rings (and thus crystalline cohomology when in characteristic p). A relative variant yields cohomological Breuil-Kisin modules, and related ideas also give a co-ordinate free construction of q-de Rham cohomology.
  • Published: 2018
  • Publisher: Institut des Hautes Études Scientifiques (IHÉS)
  • Language: English
27:40 re:publica English 2016
Found in:

How Platform Cooperativism Can Unleash the Network

The distrust of the dominant extractive model of the "sharing economy" is growing. Labor and logistics companies such as Uber have been criticized for eliminating democratic values such as accountability, dignity, and rights for workers. Using various examples, Scholz will introduce what he calls platform cooperativism, an Internet based on communal ownership and democratic governance. Let's move the economy in a direction that benefits more citizens. Silicon Valley loves a good disruption; let’s give them one.
  • Published: 2016
  • Publisher: re:publica
  • Language: English
26:53 IWF (Göttingen) English 1985
Found in:

The Planar Double Pendulum

Computer experiments made it possible to describe the complex dynamics of this classical exemple in mechanics. To begin with, the various types of motion of the double pendulum are presented. With the help of the method of Poincaré sections, a qualitative survey of the complex dynamics follows, with special emphasis on irrational winding numbers (golden ratio).
  • Published: 1985
  • Publisher: IWF (Göttingen)
  • Language: English
26:34 IWF (Göttingen) German 1985
Found in:

Das ebene Doppelpendel

Physikalisches (Realaufnahmen) und mathematisches (Computer-Simulationen) Doppelpendel; ausführliche Diskussion der Bewegungsformen (periodisch, quasi-periodisch, chaotisch) in Abhängigkeit von zahlreichen Ausgangssituationen bei verschiedenen Energieniveaus. Aufbau und Interpretation zugehöriger Poincaré-Schnitte. Darstellung des Zerfalls der "letzten KAM-Linie".
  • Published: 1985
  • Publisher: IWF (Göttingen)
  • Language: German
59:45 re:publica English 2013
Found in:

Digital Labor: New Opportunities, Old Inequalities

While it doesn't smell or look like labor at all; digital labor is part of the working lives of millions in the U.S., China, Russia, and India. Amazon Mechanical Turk is a thriving marketplace where "folks who have work meet up with folks who seek work," as CEO Jeff Bezos innocently framed it. Work, as it turns out, is in fact radically atomized and inane zombie labor. Mechanical Turk does not reveal the identity of the employer to the worker and even if workers click away for 60 hours a week, they may have no idea what they're working on.
  • Published: 2013
  • Publisher: re:publica
  • Language: English
34:40 re:publica German 2014
Found in:

Smart Grid - Smarte Überwachung vs. Energiewende von unten

Das Smart Grid der Energiekonzerne zur Optimierung der Stromnetze sammelt Daten aus unserem privatesten Lebensmittelpunkt: Unserer Wohnung. Was sind das für Daten? Wer könnte sie wofür nutzen? Wie können wir verhindern, dass selbst unser Offline-Alltag für Firmen und Behörden völlig transparent wird? Und wie können WIR diese Technik gegen die Energiekonzerne einsetzen?
  • Published: 2014
  • Publisher: re:publica
  • Language: German
25:30 FOSSGIS e.V. German 2014
Found in:

OpenJUMP - Überblick, Neuigkeiten, Zusammenarbeit/Schnittstellen mit proprietärer Software

OpenJUMP ist ein leichtgewichtiges und leicht zu erlernendes Open Source Desktop GIS. Durch seine Plattformunabhängkeit läuft es auf recht unterschiedlich ausgestatteter Hardware. Der Vortrag wird einen kurzen Überblick über die Funktionsbereiche (Erfassung/Bearbeitung, Analyse/Auswertung, Qualitätskontrolle) geben. Über Neuigkeiten und Aktuelles aus der Entwicklung wird ebenfalls berichtet. Der zweite Teil berichtet vom Einsatz im öffentlichen Sektor. Speziell geht es darum, wie es möglich ist Open Source Software an proprietäre Systeme anzukoppeln. In der Praxis nützt das schönste GI System nichts, wenn es nicht mit der Sachdatenanwendung interagieren kann. Leider kann man als Open Source Entwickler kein NDA (Non Disclosure Agreement) unterschreiben, um an die Schnittstellenbeschreibungen zu kommen. Das es dennoch möglich ist, zeigt ein OpenJUMP Plugin. Es dient zum bidirektionalen Datenaustausch bzw. der Kopplung mit einer, im kommunalen Bereich, weit verbreiteten Software. Die Lösung komplexer Aufgabenstellungen gelingt mit der geschickten Kombination aus mehreren Open Source GIS Tools. Die Berechnung der Einsatzreichweiten der freiwilligen Feuerwehren im Rahmen der Risiko- und Gefährdungsanalyse einer Kommune ist so ein Beispiel. Für die Erfassung und Bearbeitung diente OpenJUMP. Luftbilder, topographische Karten wurden durch den "GeoServer" als WMS bereit gestellt. Die Datenaufbereitung und das Routing erledigte dann die "PostGIS" Datenbank. Gegenüber einer einfachen statischen Bufferbildung förderte das erstaunliche Ergebnisse zu Tage.
  • Published: 2014
  • Publisher: FOSSGIS e.V.
  • Language: German
25:55 EuroPython English 2017
Found in:

Linespots: Predicting Bugs in your Code

Linespots: Predicting Bugs in your Code [EuroPython 2017 - Talk - 2017-07-14 - Arengo] [Rimini, Italy] In times of increased awareness of technical debts, reviewing and auditing code becomes more important. The main problem with code review is the amount of time that is being spent searching the needle in the haystack. You just don’t know what you are looking for and where to find it. One possible solution to the problem to the idea of bug prediction. If we could somehow know where bugs are in our code, focusing reviewing efforts on that area should, in theory, increase the effectiveness of our review. More bugs should be uncovered while less time is spent reviewing. This is what Linespots tries to offer. It is an algorithm developed during my thesis that analyses a project’s history and calculates a probability value for each line of code in the project, representing the likeliness of a bug existing in that line. Using the probabilities, reviewers can focus on the areas that are at a higher risk of containing bugs and spend less time on robust code. The research done so far showed, that by analyzing 0.5% lines of code with the highest risk values in a project, an average of 50% of the bugs fixed in the next 150 commits were correctly predicted by Linespots. This is an improvement by factor 10 compared to Bugspots, an algorithm developed at Google, which Linespots is based upon. Outline: Basics and functionality of Linespots Research results Pros and cons of Linespots Results of a case stud
  • Published: 2017
  • Publisher: EuroPython
  • Language: English
out of 5 pages
Loading...
Feedback
AV-Portal 3.5.0 (cb7a58240982536f976b3fae0db2d7d34ae7e46b)

Timings

 1735 ms - page object
   61 ms - search
  290 ms - highlighting
   22 ms - highlighting/38631
   22 ms - highlighting/20851
   27 ms - highlighting/38630
   29 ms - highlighting/20236
   27 ms - highlighting/38615
   21 ms - highlighting/20714
   14 ms - highlighting/14904
   10 ms - highlighting/14902
   42 ms - highlighting/33537
   23 ms - highlighting/33344
   37 ms - highlighting/14755
   16 ms - highlighting/33763