The X-ray transform on Anosov manifolds

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

description: A closed Riemannian manifold is said to be Anosov if its geodesic flow on its unit tangent bundle is Anosov (also called uniformly hyperbolic in the literature). Typical examples are provided by negatively-curved manifolds. On such manifolds, the X-ray transform is simply defined as the integration of continuous functions along periodic geodesics. I will review some recent results on the analytic study of the X-ray transform (in particular, stability estimates). The techniques rely on microlocal tools introduced by Guillarmou and further investigated by Guillarmou-Lefeuvre, and on new finite and approximate Livsic theorems proved by Gouëzel-Lefeuvre. If time permits, I will explain how these results can be applied to prove the local rigidity of the marked length spectrum.

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


Gabriel P. Paternain

type: Person

cs: Matematika

de: Mathematik

fi: matematiikka

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

en: Mathematics

fr: Mathématiques

da: Matematik

es: Matemáticas

nl: Wiskunde

de: Mathematik, Naturwissenschaften

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

en: Mathematics, Natural Sciences

description: I will describe a new energy estimate for the geodesic vector field of a manifold of negative curvature. The estimate has several applications including injectivity of non-abelian X-ray transforms. This is joint work with Mikko Salo.

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: Carleman estimates for geodesic X-ray transforms

name: Banff International Research Station (BIRS) for Mathematical Innovation and Discovery

type: Organization

cs: Video

de: Video

fi: Video

uk: Відео

en: Video

fr: Vidéo

da: Video

nl: Video

es: Video


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

description: We consider the Dirichlet-to-Neumann map, defined in a suitable sense, for the equation −Δu+V(x,u)=0 on a compact Riemannian manifold with boundary. We show that, under certain geometrical assumptions, the Dirichlet-to-Neumann map determines V for a large class of non-linearities. The proof is constructive and is based on a multiple-fold linearization of the semi-linear equation near complex geometric optics solutions for the linearized operator, and the resulting non-linear interactions. This approach allows us to reduce the inverse problem boundary value problem to the purely geometric problem to invert a family of weighted ray transforms, that we call the Jacobi weighted ray transform.

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

name: Inverse problem for a semi-linear elliptic equation


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

description: Given an L2-normalized eigenfunction with eigenvalue λ2 on a Riemannian manifold (M,g) and a nonempty open set Ω⊂M, what lower bound can we prove on the L2-mass of the eigenfunction on Ω? The unique continuation principle gives a bound for any Ω which is exponentially small as λ→∞. On the other hand, microlocal analysis gives a λ-independent lower bound if Ω is large enough, i.e. it satisfies the geometric control condition. This talk presents a λ-independent lower bound for any set Ω in the case when M is a hyperbolic surface. The proof uses microlocal analysis, the chaotic behavior of the geodesic flow, and a new ingredient from harmonic analysis called the Fractal Uncertainty Principle. Applications include control for Schrödinger equation and exponential decay of damped waves. Joint work with Jean Bourgain, Long Jin, and Joshua Zahl.

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

name: Control of eigenfunctions on hyperbolic surfaces


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

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

name: Inversion of abelian and non-abelian ray transforms in the presence of statistical noise


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

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

name: Finsler geometry from the elastic wave equation


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

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

name: Determining a Lorentzian metric from the source-to-solution map for the relativistic Boltzmann equation


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

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

name: Recovering a Riemannian metric from area data


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

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

name: Interaction of Semilinear Conormal Waves


Radiation fields for wave equations

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

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


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

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

name: Applications of Microlocal Analysis in Compton Scattering Tomography and the Geodesic Ray Transform


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

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

name: Scattering from infinity for semi-linear wave equations with weak null condition


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

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

name: Seeing inside the Earth with micro earthquakes


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

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

name: Billiard flow and eigenfunction concentration on polyhedra


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

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

name: Classification of bases and the global set of elliptic Calabi-Yau threefolds and fourfolds, II


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

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

name: Classification of bases and the global set of elliptic Calabi-Yau threefolds and fourfolds, I


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

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

name: Enumerating elliptic fibrations in CY manifolds


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

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

name: Multiple Fibrations, in Calabi-Yau Geometries


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

description: I will introduce a large ensemble of F-theory geometries, generated by crepant base-changes. I will discuss how understanding the construction algorithm allows us to read off universal behavior in this ensemble, and comment on what this behavior means for F-theory.

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

name: Universality in a Large Ensemble of F-theory Geometries


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

description: I'm going to present algorithms that explicitly generate a large number of topologically distinct smooth toric threefold bases used in 4D F-theory compactification. We found inherent patterns in these bases although they are seemingly random. I'll also talk about the characterization of these bases using local geometric data and non-Higgsable gauge group structure. Finally, I'm going to briefly mention our current understanding of non-toric base threefolds.

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

name: Zoology of complex threefold bases in F-theory

name: Banff International Research Station (BIRS) for Mathematical Innovation and Discovery


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

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

name: Are there finitely many families of elliptic Calabi-Yau manifolds in fixed dimension?


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

description: I will discuss joint work with Gabriele Di Cerbo on boundedness of Calabi-Yau pairs. Given an elliptically fibered Calabi-Yau manifold, the base of the fibration naturally carries the structure of a Calabi-Yau pair, that is, there exists an effective divisor D on the base, with nice singularities, such that K+D=0. Recent works in the minimal model program suggest that rationally connected Calabi-Yau pairs should satisfy some boundedness properties, that is, they should be parametrized by a finite type scheme. I will show that Calabi-Yau pairs which are not birational to a product are indeed log birationally bounded, if the dimension is less than four. In dimension three, we can actually obtain some more general results, by relaxing some of technical assumptions (joint work in progress with Chen, Di Cerbo, Han, Jiang).

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

name: On the birational boundedness of the bases of elliptically fibered CY's in low dimension


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

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

name: Mordell-Weil and Tate-Shafarevich groups of elliptic fibrations, and the global structure of the F-theory gauge group


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

description: If two K3 surfaces X and Y over C admit a rational map of finite degree X→Y, Inose proved that their Picard numbers ρ(X) and ρ(Y) are equal. Suppose X admits an elliptic fibration π:X→P1. By a base change b:P1→P1, we obtain another elliptic surface π×b:X′:=X×P1P1→P1. If X′ is once again a K3 surface, we know ρ(X′)=ρ(X). However, it is difficult in general to find generators of the N\'eron-Severi goup of X′. Starting from various K3 surfaces X having a Shioda-Inose structure, we construct X′→P1 whose Mordell-Weil rank is large, and explore methods of finding generators of the Mordell-Weil group.

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

name: Shioda-Inose structure and elliptic K3 surfaces with high Mordell-Weil rank


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

description: We outline several number-theoretical contexts where K3 surfaces and elliptic fibrations arise naturally: Diophantine equations, Euclidean and hyperbolic quadratic forms, elliptic and Shimura modular curves and higher-dimensional analogues, record ranks for elliptic curves and related tasks, and complex reflection groups and their invariants. Several of these contexts call for explicit formulas for surfaces are known to exist only by transcendental means (Torelli theorem for K3 surfaces). One of these formulas also yields a family of elliptically fibered Calabi-Yau threefolds with Mordell-Weil rank 10.

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

name: K3 surfaces and elliptic fibrations in number theory


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

description: The global gauge group structure of F-theory compactifications is tied to the embedding of the Mordell—Weil lattice into the Neron—Severi group, also known as the Shioda map. While this has been previously explored in the case of purely non-abelian gauge algebras, I will extend it to the more general case by including u(1)s. In particular, I will discuss phenomenological implications, such as the natural realization of the full Standard Model gauge group or possible implications on the F-theory swampland. Furthermore, I will argue how similar structures are also present in genus-one fibrations without sections.

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

name: Mordell—Weil lattice and the global gauge group of F-theory


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

description: Together with Klaus Hulek we proved in 2011 that there is an effective algorithm which computes the Mordell-Weil group of X for ``most'' elliptic threefolds X with base P2. In the first part of the talk we explain what this statement means if one specializes to elliptic threefolds which are relevant for F-theory. Moreover, we explain several relations between singularity-theory invariants of the discriminant curve of an elliptic fibration and the Mordell-Weil rank of this fibration. In the second part we discuss extensions of these results to elliptic threefolds over arbitrary base surfaces and to certain classes of elliptic fourfolds.

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

name: Mordell-Weil for threefolds and fourfolds


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

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

name: Singular elliptic fibers at codimension two and representation theory of matter in F-theory models, I


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

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

name: Singular elliptic fibers at codimension two and representation theory of matter in F-theory models, II


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

description: While F-theory models readily admit relatively simple representations, it is difficult to construct models with “exotic” representations that go beyond these simple types. This talk will discuss ways of systematically constructing and understanding Weierstrass models with these exotic representations. For non-abelian groups, I will focus on “higher genus” representations, which involve 7-branes wrapping singular divisors. While models with higher genus representations involve intricate, complicated structures, they can be systematically constructed using techniques related to the normalization of singular varieties. I will also describe some results regarding non-abelian representations and matter spectra that cannot be realized in F-theory compactifications. I will then turn to the issue of matter in U(1) models with large charges. First, I will discuss a new strategy for constructing models with charge-3 matter that has interesting parallels with the techniques for constructing higher genus representations. I will also describe the construction of explicit models with charge-4 matter. The talk will conclude with some conjectures on matter with charges larger than 4.

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

name: Exotic Representations in Abelian and Non-abelian F-theory Models


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

description: In this talk, we give an explicit description for the relation between algebraic Kummer surfaces of Jacobians of genus-two curves with principal polarization and those associated to (1, 2)-polarized abelian surfaces from three different angles: the point of view of 1) the binational geometry of quartic surfaces in P^3 using even-eights, 2) elliptic fibrations on K3 surfaces of Picard-rank 17 over P^1 using Nikulin involutions, 3) theta-functions of genus-two using two-isogeny. Finally, we will explain how these (1,2)-polarized Kummer surfaces naturally allow for an identification of the complex gauge coupling in Seiberg-Witten gauge theory with the axion-dilaton modulus in string theory using an old idea of Sen. (This is joint work with Adrian Clingher.)

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

name: Elliptic fibrations on K3 surfaces with large Picard rank


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

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

name: Canonical singularities, superconformal field theories, and more exotic geometric structures in elliptic fibrations and F-theory


6D SCFTs and Group Theory

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

description: Certain classes of superconformal field theories in six dimensions (6D SCFTs) are in one-to-one correspondence with certain classes of group homomorphisms. In this talk, we will see that this correspondence allows us to classify homomorphisms that were previously unknown in the mathematics literature and understand aspects of 6DSCFTs that were previously unknown in the physics literature. We speculate on the implications for the future study of 6D SCFTs and these group homomorphisms.

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


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

description: In the past six years, several efforts have been directed towards developing a dictionary in between the physics of six-dimesional theories and the algebraic geometry of elliptically-fibered Calabi-Yau three-folds, building upon methods in string theory. This has lead to novel results in enumerative geometry as well, in particular, the Gopakumar-Vafa invariants of the topological string of such Calabi-Yau varieties translate to an operator counting in the six-dimensional theory. This gives an unorthodox perspective on topological strings, unveiling novel modular properties and a connection to Weyl invariant Jacobi forms. This connection follows from six-dimensional physics and can be ultimately traced back to the BPS strings subsector of these models. In this talk we are going to discuss certain aspects and applications of this correspondence, as well as its interplay with recent results about universal features of the BPS strings.

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

name: Six-dimensional Theories, Topological Strings, and Modular Invariance


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

description: We explore 6-dimensional compactifications of F-theory exhibiting (2,0) superconformal theories coupled to gravity that include discretely charged superconformal matter. Those theories are constructed as smooth non-simply connected Calabi-Yau quotients with a†singular base whereas additional discrete charged singlets get introduced by the resolution of the base.

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

name: F-theory on Quotient Threefolds and Their Discrete Charged Superconformal Matter


The frozen phase of F-theory

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

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


Conference Summary, I

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

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


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

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

name: Conference Summary, II: Chow Groups, Fluxes, and Massless Matter in F-Theory


Global aspects of T-branes

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

description: T-branes are bound states of ordinary D-branes, characterized by non-commuting expectation values for the worldvolume scalars. They defy usual geometric intuition and feature a variety of unconventional brane-model-building phenomena. In this talk I will discuss some general global properties of the vacuum solutions corresponding to T-branes, and show how supersymmetry puts strong constraints on the manifolds supporting them. Moreover, I will consider stability issues of such bound states at large volume, and give conditions to prevent their decay.

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


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

description: Natural environments can have dynamics spanning multiple timescales, and the evidence animals use to make decisions is often relevant to future decisions. To understand decision-making under these conditions we analyze how a model ideal observer accumulates evidence to freely make choices across a sequence of correlated trials. We use principles of probabilistic inference to show that an ideal observer incorporates information obtained on one trial as an initial bias on the next. This bias decreases the time, but not the accuracy of the next decision. Furthermore, in finite sequences of trials the rate of reward is maximized when the observer deliberates longer for early decisions, but responds more quickly towards the end of the sequence. Our model also explains experimentally observed patterns in decision times and choices, providing a mathematically principled foundation for evidence-accumulation models of sequential decisions.

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

name: Adaptive evidence accumulation across multi-trial timescales


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

description: "Reinforcement learning (RL) provide a potentially powerful framework for designing control strategies that enable robots and simulated digital creatures to learn to move with skill and grace. However, there are significant drawbacks from a design perspective: reward functions can be unintuitive, solutions are prone to local minima and hyperparameter choices, there is no direct support for iterative design, and the transfer of motions from simulation to the real world is uncertain. We present a number of insights and refinements in support of learning realistic, controllable movements. These include motion mimicry, multi-step iterative design, sample-based transfer learning, and hybrid learning that mixes supervised learning with policy gradients. We demonstrate simulated human and animal skills that can reproduce a large variety of highly dynamic motions. We further show successful sim2real transfer of dynamic locomotion to Cassie, a large bipedal robot produced by Agility Robotics. Lastly, we highlight recent work by others that builds on key aspects of these ideas, including learning skills from video and the control of full-body muscle-driven motions."

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

name: Reinforcement Learning for Agile Locomotion: From Algorithms to Design Tools

name: Banff International Research Station (BIRS) for Mathematical Innovation and Discovery


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

description: Predictive simulations hold the potential to greatly expedite advances in understanding healthy and pathological movement. We developed a computationally efficient framework to predict human movement based on optimization of a performance criterion. The framework generates three-dimensional muscle-driven simulations, without relying on experimental data, in about 36 minutes on a standard laptop—more than 20 times faster than existing simulations—by using direct collocation, implicit differential equations, and algorithmic differentiation. The simulations produce physiologically realistic gaits with varied gait speed, and changes in gait caused by muscle strength deficits or prosthesis use. We extended this framework to generate simulations that are robust to uncertainty (e.g., sensorimotor noise) to further increase the realism of our simulations. We expect these predictions to enable optimal design of treatments aiming to restore gait function.

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

name: Fast and physiologically realistic predictive simulations of healthy and pathological human movement


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

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

name: The nervous system controls afferented muscles, which makes it a simultaneously over- and over-determined problem


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

description: Continual perceptual processing, such as required for decisions that necessitate the accumulation of evidence over time, is essential for efficient behavior. The behavior emerging from a wide range of such decisions turns out to be well-described by a surprisingly simple model family - the diffusion decision model. Taking a decision-theoretical perspective, I will discuss why diffusion models might have this property across perceptual and value-based decisions. I furthermore will highlight scenarios in which such simple models will become insufficient.

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

name: Simple mechanisms for not-so-simple decisions


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

description: The language of linear control has one word: K. As in u = Kx. As in dx/dt = Ax + Bu. A state based nonlinear control has, instead of Kx, F(x). But that is too broad. Is there a natural language of nonlinear control in which simple non-linear controls are simple to express and more complicated, but useful, control laws are efficiently expressed. Perhaps, also, this controller operates on sensors rather than states. In my guestimation there must be some better languages than, say, a) C++, or b) Taylor series, or c) Neural nets. A better language would be less general than those, but would A) not so easily express useless controllers, and B) more efficiently express pretty good controllers. I don't really have any ideas about what this language could be. But I feel like it must be out there. Why?Because animals learn to control things. And animals don't have access to the big data needed, for, say deep neural nets. So, animals must be working with a simpler, learnable or evolvable, language of control.What are candidates for that? This seems like a good crowd to ask this to.

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

name: Is there a good language for motor control?


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

description: Animals are motivated to act so as to maximize their subjective reward rate, which depends on factors such as the subjective value and probability of a favorable outcome, the metabolic cost of action, as well as temporal variables such as deliberation and handling time. I’ll show mathematically that in a wide range of conditions, maximizing reward rates can be accomplished by having a criterion of decision accuracy that decreases over time as one deliberates. I’ll then present data from neural recordings in monkeys, suggesting that this is implemented in the brain through an “urgency signal” from the basal ganglia, which causes neural activity in sensorimotor decision circuits to build-up over time, pushing the system to decide while also influencing the vigor of the chosen action. Finally, I’ll review evidence suggesting how individual settings of urgency may explain traits such as impulsivity as well as motivation-related symptoms of clinical disorders such as depression and Parkinson’s disease.

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

name: The neural control of urgency and vigor for maximizing reward rates


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

description: Spring-like tissues attached to the swinging legs of animals are thought to improve running economy by simply reducing the effort of leg swing. Here we show that a spring, or ‘exotendon,’ connecting the legs of a human runner improves economy instead through a more complex mechanism that produces savings during both swing and stance. The spring increases the energy optimal stride frequency; when runners adopt this new gait pattern, savings occur in both phases of gait. Remarkably, the simple device improves running economy by 6.4 ± 2.8%, comparable to savings achieved by motorized assistive robotics that directly target the costlier stance phase of gait. Our results highlight the importance of considering both the dynamics of the body and the adaptive strategies of the user when designing systems that couple human and machine. Authors: Cole S. Simpson, Cara G. Welker, Scott D. Uhlrich, Sean M. Sketch, Rachel W. Jackson, Scott L. Delp, Steve H. Collins, Jessica C. Selinger, and Elliot W. Hawkes

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

name: Energy Optimality in Human Running: From "real-world" running preferences to their role in human-machine interaction


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

description: A simple, abstract model for rhythmic locomotion is a stable periodic orbit of a vector field. Stability often requires feedback and control. This talk will discuss how an organism might estimate parameters in a model controller. Noise in the system is inevitable. The resulting fluctuations give information useful for estimating the parameters. However, the time required may be implausibly slow in systems with Gaussian noise, prompting the search for alternative models. What are experiments that might give further insight into these issues?

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

name: Parameter Estimation for Rhythmic Locomotion


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

description: In this two-part talk, I will first describe our human locomotion experiments and optimization calculations, demonstrating that energy optimality can predict many aspects of humans locomotion behavior. Energy optimality not only (roughly) explains steady locomotion behavior in a straight line, but also unsteady locomotion with changing speeds, non-straight-line locomotion in complex curves, and other less conventional tasks. Next, I will describe our attempts to characterize the controller humans use to walk and run stably. To infer the controller, we use human responses to natural intrinsic noise and externally applied perturbations during walking and running. We will show that some human responses to such perturbations can also be explained (roughly) by energy-optimal perturbation recovery.

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

name: Predicting how people will move: Energy and stability in walking and running


Uncertainty in Motion Perception

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

description: Perception of motion involves the integration of information from visual, vestibular, and proprioceptive sensory organs. Early models representing how the brain combines sensory cues use state-space dynamical models to reproduce perceptual phenomena such as velocity storage, wherein participants perceive a constant angular velocity as a decaying exponential angular velocity. While sensory signal states are the focus of these early models, our recent observations suggest that the variance of both sensory signals and the internally represented motion state are as important in representing how the brain optimally integrates sensory information to generate perceptions of motion.

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


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

description: Complex ecological behaviors are often driven by an internal model, which integrates sensory information over time and facilitates long-term planning. Inferring the internal model is a crucial ingredient for interpreting neural activities of agents and is beneficial for imitation learning. We introduce methods to infer an agent's internal model and dynamic beliefs for a dynamic foraging and game-like navigation tasks. We model agents as rational according to their (possibly defective) understanding of the task and the relevant causal variables that cannot be fully observed. Using a novel gradient-based constrained EM algorithm, we show that it's possible to invert Partially Observable Markov Decision Process (POMDP) from behavior with unknown transition dynamics, partially unknown observation functions and parametrically unknown rewards. We allow that the agent may have wrong assumptions about the task, and our method learns these assumptions from the agent's actions. We validate our method on simulated agents performing suboptimally on a foraging task, and successfully recover the agent's actual model. We show how to extend this approach to a larger range of ecological tasks. The result is a powerful method for eliciting trajectories of latent belief states from behavior that can serve as a powerful tool for interpreting neural activity.

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

name: Inverse Belief Dynamics from Ecological Task Behavior


Energy optimization in human walking

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

description: Perhaps the most general principle underlying human movement is that people prefer to move in ways that minimize their energetic cost. Although aspects of this preference are likely established over evolutionary and developmental timescales, we recently discovered that the nervous system can continuously optimize cost in real-time. Here I will present our new research focused on uncovering the mechanisms underlying the initiation of this optimization, as well as its process. Our collective findings indicate that energetic cost is not just an outcome of movement, but also plays a central role in continuously shaping it.

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


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

description: Most research in human locomotion is limited to steady-state and constant-speed conditions. However, moving about in everyday life requires us to constantly adapt our locomotion strategies in response to intrinsic noise-like transients, uncertainties and external environmental irregularities. In this talk, I will discuss our work on understanding and predicting such adaptive locomotion behaviors in three separate studies: (1) The energetics of walking while changing speeds predicts overground walking behavior over short distances, (2) control strategies for running stably inferred from running variability stabilize running in simulation and (3) metabolic energy optimality predicts the behavior people converge to at steady-state on a split-belt treadmill. Part 2 (if there is time): Computer vision-based pose estimation for movement science Traditional sensor-based experimental measures used in movement science limit the scope and scale of the science. Recent developments in computer vision promise to transform movement science by enabling tracking of in-the-wild movement behaviors. In this talk, I will discuss how we are using such computer vision-based tools in three movement science applications: (1) providing automatic exercise feedback for individuals performing deadlifts, (2) automated infant neuromotor risk assessment using a big data approach and (3) tracking infant emotion and understanding its role in predicting neuromotor risk.

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

name: Transients, variability, stability and energy in human locomotion


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

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

name: It takes less effort to be smooth: a force rate cost for the optimal control of reaching


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

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

name: Mesh-based Tools to Analyze Deep Reinforcement Learning Policies for Underactuated Biped Locomotion


Interview with Joaquin van Peborgh

keywords:
climate studie
platform
open source
open data
collaboration

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: Joaquin will showcase the OpenClimate platform, the data schema and data aggregation work done, and our roadmap and opportunities of collaboration for the open source and open data community. Following this presentation, he was asked a few questions by OEMC’s Working Package 8 OpenGeoHub’s communication experts

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


keywords:
earth observation
data cube
multi-source
continental
open data
open source

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

description: Martijn will present OpenGeoHub’s efforts at creating a harmonized, multi-source spatiotemporal data cube for Europe, and how this data cube was used to produce consistent continental annual land use/ land cover maps. He will also show you around the EcoDataCube platform that hosts the data cube and the land cover maps!

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

name: Constructing and leveraging a continental-scale open earth observation data cube: The EcoDataCube platform


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

description: Joaquin van Peborgh is Director of Product at OpenEarth Foundation. During the Open-Earth-Monitor Science Webinar, he Joaquin showcased the OpenClimate platform, the data schema and data aggregation work done, and our roadmap and opportunities of collaboration for the open source and open data community.

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

name: OpenClimate Network an open source nested climate accounting platform


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

description: We show that the total area of two distinct Gaussian curvature 1 surfaces with the same conformal factor on the boundary, which are also conformal to the Euclidean unit disk, must be at least 4π. In other words, the areas of these surfaces must cover the whole unit sphere after a proper rearrangement. We refer to this lower bound of total areas as the Sphere Covering Inequality. This inequality and it’s generalizations are applied to a number of open problems related to Moser-Trudinger type inequalities, mean field equations and Onsager vortices, etc, and yield optimal results. In particular we confirm the best constant of a Moser-Truidinger type inequality conjectured by A. Chang and P. Yang in 1987. This is a joint work Changfeng Gui.

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

name: The Sphere Covering Inequality and Its Applications


Co-axial monodromy

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

description: Consider a Riemannian metric of constant curvature 1 with finitely many conic singularities on the sphere. Mondello and Panov recently described in the generic case what angles at the singularities are possible. We complete this description by finding the necessary and sufficient condition on the angles in the remaining case.

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


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

description: Liouville equations have interest in spectral theory, as they arise when extremizing so-called Functional Determinants. These are constructed out of spectra of conformally covariant operators, and are explicit in dimension two and four, due to formulas by Polyakov and Branson-Oersted. We discuss some existence, uniqueness, non-uniqueness results and some open problems.

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

name: Lioville Equations and Functional Determinants


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

description: Contrary to the Yamabe case, metric of prescribed Q-curvature in dimension 4 and higher, can blow-up both on isolated points and on higher dimensional submanifolds, as discovered by Adimurthi, F. Robert and M. Struwe. We will show, in a radially symmetric situation, that both kind of blow-up behaviour can happen at the same time.

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

name: A new gluing phenomenon for metrics of prescribed Q-curvature in dimension 6

name: Banff International Research Station (BIRS) for Mathematical Innovation and Discovery


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

description: The \emph{carr\'e du champ} method and its nonlinear counterpart is a powerful technique to prove uniqueness in some nonlinear elliptic PDEs and establish optimal constants in interpolation inequalities or optimal rates of decay in related evolution problems. It is related with entropy methods in PDEs inspired by generalizations of Boltzmann's entropy. Optimality cases can be identified by considering asymptotic regimes and appropriate linearizations. The method applies to symmetry results in presence of weights. It does not rely on symmetrization but raises various issues of regularity and rely on integrations by parts which are not always straightforward to justify. This lecture will be devoted to an overview of the main results.

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

name: Uniqueness and symmetry based on nonlinear flows


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

description: We present results on the existence of (-1)-homogeneous axisymmetric solutions of incompressible stationary Navier-Stokes equations which are smooth on the unit sphere minus the north and south poles. In particular we classify such solutions with no swirl, and analyze their limiting behavior as viscosity tends to zero.

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

name: Homogeneous axisymmetric solutions of incompressible stationary Navier-Stokes equations and vanishing viscosity limit


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

description: We deduce new uniqueness results for solutions to singular Liouville-type equations both on spheres and on bounded domains, as well as new self-contained proofs of previously known results. To this end, we derive a singular Sphere Covering Inequality based on the singular Alexandrov-Bol isoperimetric inequality and symmetric rearrangements.

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

name: Uniqueness of solutions to singular Liouville-type equations


Non-concavity of Robin eigenfunctions

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

description: On a convex bounded Euclidean domain, the ground state eigenfunction for the Laplacian with Neumann boundary conditions is a constant, while the Dirichlet ground state is log-concave. The Robin eigenvalue problem can be considered as interpolating between the Dirichlet and Neumann cases, so it seems natural that the Robin ground state eigenfunctions should have similar concavity properties. In this talk, I show that this is false, by analysing the perturbation problem from the Neumann case. In particular, we prove that on polyhedral convex domains, except in very special cases (which we completely classify) the variation of the ground state with respect to the Robin parameter is not a concave function. We conclude from this that the Robin ground state eigenfunction is not log-concave (and indeed even has some super level sets which are non-convex) for small Robin parameter o polyhedral convex domains outside a special class, and hence also on arbitrary convex domains which approximate these in Hausdorff distance. The results presented in this talk are from my recent paper obtained in joint work with Ben Andrews (ANU in Canberra) and Julie Clutterbuck (Monash in Melbourne).

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


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

description: We consider the classical Lane Emden equation in bounded domains of the plane with Dirichlet boundary conditions and we present some results concerning the Morse index of solutions to this problem, when the exponent of the nonlinearity is large. Via these Morse index computations and a precise asymptotic analysis we can deduce a uniqueness result for positive solutions in convex domains and also some existence results of non-radial sign-changing solutions in the ball. Based on joint papers with M. Grossi, I. Ianni and F. Pacella.

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

name: Uniqueness and existence results via Morse index for Lane Emden problems


Entire solutions for Liouville systems

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

description: I will consider a system of two coupled Liouville equations on the plane. The system admits so-called scalar solutions, namely such that the two components coincide. These solutions actually solve a scalar Liouville equation on the plane, hence they are very well known and they have been completely classified. On the other hand, much less is known about non-scalar solutions. Using bifurcation theory, I will show the existence of some branches of (non-scalar) solutions bifurcating from a scalar solution.

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


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

description: We discuss existence issues for a Dirichlet problem in bounded domains with polynomial nonlinearities of critical growth in presence of an Hardy potential. Linear perturbations can produce positive solutions and we aim to construct sign-changing solutions, shaped as a tower of "bubbles" centered at 0 with alternating signs. The construction is optimal in the radial case as a very fine asymptotic analysis shows for radial towers of "bubbles", recovering and improving what is known in the non-singular case.

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

name: A critical equation with Hardy potential


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

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

name: Liouville problems with sign changing potentials


keywords:
Transnational Corporations
Global Production Networks
Geography
Globalisation
Turkey
Germany

de: Rechts-, Wirtschafts- und Sozialwissenschaften

uk: Право, економіка та суспільні науки

en: Law, Economics and Social Sciences

de: Wirtschaftswissenschaften

uk: Бізнес та економіка

en: Business and Economics

description: This video introduces the GPN concept, which was developed to explain the complex and networked nature of production activities worldwide. TNCs and their strategic partners, which are central to GPN thinking, are also captured in this context.

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

name: Transnational Corporations and Global Production Networks


The State Really Does Matter

keywords: Globalisation Turkey Germany State

uk: Право, економіка та суспільні науки

uk: Бізнес та економіка

de: Sozialwissenschaften/Soziologie

uk: Суспільні науки та соціологія

en: Social Sciences/Sociology

description: In this video, in the context of increasing globalization debates, it is mentioned how nation-states still have an impact on the economy. In this context, the main roles that nation-states play in today's global economy are illustrated.

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


keywords:
Globalisation
Turkey
Regional Development
Geography

uk: Право, економіка та суспільні науки

uk: Суспільні науки та соціологія

de: Geowissenschaften (ohne Geographie)

uk: Науки про Землю(крім географії)

en: Geosciences (excl. Geography)

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

description: In this video, regional inequalities in Turkey and the reflections of these inequalities in space are addressed. The policies followed and the tools used by the Turkish government to eliminate regional inequalities are introduced.

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

name: Globalization and Regional Development in Turkey


keywords:
Globalisation
Germany
Regional disparities
Geography

uk: Право, економіка та суспільні науки

uk: Науки про Землю(крім географії)

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

description: In this video, regional disparities in Germany are addressed. It discusses exemplarily which factors influence the disparities and with which measures politics responds to regional disparities.

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

name: Regional Disparities in Germany - Part I


uk: Суспільні науки та соціологія

uk: Право, економіка та суспільні науки

uk: Бізнес та економіка

uk: Науки про Землю(крім географії)

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

description: In this video, the efforts of the German government to eliminate regional inequality and establish equal living conditions in Germany are presented. In this respect, the limits faced by the German government were emphasized.

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

name: Regional Disparities in Germany - Part II


German-Turkish Relations Background

keywords:
Globalisation
Germany
Turkey
Geography
Political relations

uk: Право, економіка та суспільні науки

uk: Науки про Землю(крім географії)

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

description: In this video, German-Turkish relations are discussed from a historical perspective. An overview of the background of this multidecade bilateral relationship is presented.

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


keywords:
Global production networks
Germany
Turkey
Geography
Logistics
Trade

uk: Право, економіка та суспільні науки

uk: Бізнес та економіка

description: This video explains the role of logistics in Global Production Networks. Examples of logistics between Germany and Turkey are given.

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

name: Logistics - Making Trade Between Germany and Turkey Work


keywords:
Globalisation
Germany
Turkey
Geography
Foreign Direct Investments

uk: Право, економіка та суспільні науки

uk: Бізнес та економіка

description: In this video, the investments of German companies in Turkey are analyzed with empirical findings. The locations where German companies are spatially concentrated in their investments in Turkey, the location selection criteria of these companies and the factors affecting their investments are presented.

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

name: German-Turkish Investment Relations - Part I


uk: Право, економіка та суспільні науки

uk: Бізнес та економіка

description: This video focuses on the other aspect of German-Turkish investment relations, Turkish investments in Germany. The locations where Turkish companies are spatially concentrated in their investments in Germany, the factors that these companies consider when choosing a location, and the factors affecting their investments are presented.

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

name: German-Turkish Investment Relations - Part II


keywords:
Globalisation
Germany
Turkey
Geography
Foreign Direct Investments
Retail

uk: Право, економіка та суспільні науки

uk: Бізнес та економіка

uk: Суспільні науки та соціологія

description: German retailers' investments in Turkey and Turkish retailers' investments in Germany are both covered in this video. The differences between these investments and the driving forces behind them are illustrated in the context of retail globalization and the investments of Turkish immigrants in Germany.

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

name: German-Turkish Investment Relations - The Case of Retail


keywords:
Globalisation
Germany
Turkey
Geography
Foreign Direct Investments
Risk management

uk: Бізнес та економіка

uk: Право, економіка та суспільні науки

uk: Суспільні науки та соціологія

description: In this video, risk and risk management are addressed through an analysis of German corporations' investments in Turkey. The risks confronted by German companies in their investments in Turkey and their strategies to mitigate these risks are illustrated by empirical findings.

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

name: German-Turkish Investment Relations - The role of risk management


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

description: Previously, we showed that for all continuations of NLS blowup solutions, the phase is lost after the singularity. In this talk I will show that ``loss of phase'' can occur even if the NLS solution does not collapse. Therefore, if two NLS solutions travel a sufficiently long distance (time) before interacting, it is not possible to predict whether they would intersect in- or out-of-phase. Hence, a deterministic prediction of the interaction outcome becomes impossible. ``Fortunately'', because the relative phase between the two solutions becomes uniformly distributed in [0,2π], the statistics of the interaction outcome is universal. The statistics can be efficiently computed using a novel Uncertainty-Quantification method, even when the distribution of the noise source is unknown. I will end by arguing that although the NLS has a time-reversal symmetry, its solutions can experience a loss of reversibility.

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

name: Loss of phase, universality of stochastic interactions, uncertainty quantification, and loss of reversibility


Instability of peaked waves

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

description: It is well-known that peakons in the Camassa-Holm equation and other integrable generalizations of the KdV equation are H1-orbitally stable thanks to the presence of conserved quantities and properties of peakons as constrained energy minimizers. By using the method of characteristics, we prove that piecewise C1 perturbations to peakons grow in time in spite of their stability in the H1-norm. We also show that the linearized stability analysis near peakons contradicts the H1-orbital stability result for the Camassa-Holm equation, hence the passage from the linear to nonlinear theory is false.

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

name: Banff International Research Station (BIRS) for Mathematical Innovation and Discovery


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

description: A surprisingly large number of physically relevant dispersive partial differential equations are integrable. Using the connection between the spectrum and the eigenfunctions of the associated Lax pair and the linear stability problem, we investigate the stability of the spatially periodic traveling wave solutions of such equations, extending the results to orbital stability in those case where solutions are linearly stable. The talk will emphasize recent results for the focusing NLS equation, as this situation is more complicated than that of other equations previously studied, for which the Lax pair is self adjoint.

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

name: The stability of periodic solutions of integrable equations


Long time dynamics of water waves

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

description: In this talk I'm going to present a series of recent results about the long time complex dynamics of the water waves equations for a bi-dimensional fluid under the action of gravity and eventually capillary forces, with space periodic boundary conditions. This is an infinite dimensional Hamiltonian system with a quasi-linear nonlinearity. We shall discuss both long time existence results based on Birkhoff normal form arguments as well as bifurcation of small amplitude time quasi-periodic solutions (which are in particular global in time).

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


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

description: This is a joint work with T.Elgindi and N.Masmoudi. Recently Elgindi proved the existence of a continuum of C1,α self similar solutions to 3D axisymmetric Euler equations with vanishing swirl. The aim of the talk will be to show that those solutions are stable under perturbations with swirl. I will in a first part of my presentation talk about recent result we obtained on one dimensional models for which we proved the stability of smooth and C1,α selfsimilar solutions. In a second part I will explain how those one dimensional models helped us understanding the full 3D axisymmetric Euler.

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

name: Stable Self-similar blowup for 3D axisymmetric Euler


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

description: We discuss the defocusing energy-critical nonlinear wave equation in four dimensions. For deterministic and smooth initial data, solutions exist globally and scatter. In contrast, since deterministic and rough initial data can lead to norm inflation, the energy-critical NLW is ill-posed at low regularities. In this talk, we show that the global existence and scattering behavior persists under random and rough perturbations of the initial data. In particular, norm inflation only occurs for exceptional sets of rough initial data. As part of the argument, we discuss techniques from restriction theory, such as wave packet decompositions and Bourgain's bush argument.

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

name: Almost sure scattering for the energy-critical nonlinear wave equation


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

description: Prandtl's equations arise in the description of boundary layers in fluid dynamics. Solutions might form singularities in finite time, with the first reliable numerical studies performed by Van Dommelen and Shen in the early eighties, and a rigorous proof done later in the nineties in the seminal work of E and Engquist in two dimensions. This singularity formation is intimately linked with a phenomenon: the separation of the boundary layer. The precise structure of the singularity has however not been confirmed yet mathematically. This talk will first describe the dynamics of the inviscid model. We will describe how to compute the maximal time of existence of a solution, study certain self-similar profiles, and show that one in particular gives rise to the generic formation of the van Dommelen and Shen singularity. Then, for the original viscous model, the second part of the talk will focus on the obtention of detailed asymptotics for the solution at a relevant particular location. This is a collaboration with T.-E. Ghoul, S. Ibrahim and N. Masmoudi.

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

name: On singularities of the unsteady Prandtl's equations


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

description: In a joint work with S. Ibrahim, we use the idea of ground states and excited states in nonlinear dispersive equations (e.g. Klein-Gordon and Schr\"odinger equations) to characterize solutions in the N-body problem with strong force under some energy constraints. Indeed, relative equilibria of the N-body problem play a similar role as solitons in PDE. I will introduce the ground state and excited energy for the general N-body problem and give a conditional dichotomy of the global existence and singularity below the excited energy. This dichotomy is given by the sign of a threshold function. I will also talk about a restricted 3-body problem (Hill's lunar type problem) that has a very nice analogy to the nine-set theorem studied by Nakanishi-Schlag on NLKG.

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

name: A PDE approach to the N-body problem with strong force


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

description: In order to justify certain model equations proposed in the biophysics literature for charge transport on polymers like DNA and protein, we consider a general class of discrete nonlinear Schroedinger equations on lattices, and prove that in the continuum limit, the limiting dynamics are given by a nonlinear Schroedinger equation (NLS) with a fractional Laplacian. In particular, a range of fractional powers arise from long-range lattice interactions in this limit, whereas the usual NLS with the non-fractional Laplacian arises from short-range interactions. We also obtain equations of motion for the expected position and momentum, the fractional counterpart of the well-known Newtonian equations of motion for the standard Schroedinger equation, and use a numerical method to suggest that the nonlocal Laplacian introduces decoherence, but that effect can be mitigated by the nonlinearity. Joint work with Gigliola Staffilani, Enno Lenzmann, and Yanzhi Zhang. Time permitting, I will talk about recent work defining biophysical machines that out-perform Turing machines, in joint work with Onyema Osuagwu and Daniel Inafuku.

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

name: Fractional Schroedinger Equations and Biological Computation


Derivation of the Ion equation

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

description: We consider the 2 fluid Euler-Poisson equation in 3d space and show that, when the mass of electron tends to 0, the solutions can be well approximated by the strong limit which solves the (1 fluid) Euler-Poisson equation for ions and an initial layer which disperses the excess electron density and velocity in short time. This is a singular limit, somewhat akin to the low-Mach number problem studied by Klainerman-Majda, Ukai and Metivier-Schochet, but in this case, the dispersive layer comes from a quasilinear equation involving coefficients depending on space and time (in fact depending on the strong limit), and the analysis relies on a local energy decay.

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


Archijeunes Kolloquium - Begrüssung

de: Biologie

uk: Біологія

en: Biology

de: Umweltschutz

uk: Охорона навколишнього середовища

en: Environmental Protection

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

de: Raumplanung

uk: Містобудування та територіальне планування

en: Spatial Planning

@language: de

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

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

addressCountry: CH

addressLocality: Zurich

addressRegion: Zurich


uk: Охорона навколишнього середовища

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

description: Baukultur ist eine auf die Zukunft gerichtete Aufgabe. An ihr wird sich die Gesellschaft von morgen zeigen. Bauen muss als Kultur verstanden werden, weil für morgen geplant wird und hierbei die Erwartungen von heute und die Prägungen aus der Vergangenheit berücksichtigt werden müssen; auch weil Städte in die Welt hineinwirken und Generationen sich in der Materialität und Symbolik des Gebauten treffen. Baukultur ist nichts Schönes und nichts Gutes, sondern die Zumutung an einen Berufsstand und an eine Gesellschaft, die Komplexität des gemeinsamen Lebens zu gestalten. Der Beitrag wird die soziologische Perspektive der Baukultur beleuchten. Es wird insbesondere auf die gesellschaftliche Bedeutung von Architektur, die Rolle von Städten für Baukultur und das sich wandelnde Wissen um Räume im Generationenvergleich eingegangen.

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

name: Die Qualität des Sozialen. Gesellschaftswissenschaftliche Perspektiven auf Baukultur.


Wissen vom Konkreten

uk: Охорона навколишнього середовища

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

description: Anknüpfend an die Philosophie der Erziehung von Alfred North Whitehead soll zwischen verschiedenen Rhythmen in der Erziehung unterschieden werden, bei denen sich Phasen strenger Übung oder Disziplinierung mit solchen freier Kreativität und Problemlösung abwechseln. Whitehead hat in diesem Zusammenhang auch von «Weisheit» gesprochen. Dieser Begriff gilt heute als verstaubt oder zu hoch gegriffen, um in Erziehungskontexten verwendet zu werden. Er hatte jedoch in der europäischen Wissensordnung ursprünglich eine relativ einfache Bedeutung. So nennt Aristoteles die Künstler Pheidias und Polyklet weise, weil sie Werke von höchster ästhetischer Qualität hervorbringen und gleichzeitig wissen, nach welchen Prinzipien sie das tun.

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


Wege zur Baukultur

uk: Охорона навколишнього середовища

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

description: Was den Zauber des Wortes Baukultur ausmacht, ist seine Aura, die zugleich elitär und demokratisch ist. Elitär, weil Kultur mit Kultus, mit einer ritualisierten und ästhetisierten Form des Umgangs mit der Umwelt zu tun hat, und demokratisch, weil heute auch jene gesellschaftliche Formen zur Kultur gehören, die früher als Zeichen der Unkultur galten – etwa die von Adolf Loos noch so heftig kritisierte Tätowierung. Ist Baukultur «high culture» – das Ergebnis von Expertenwissen und somit der Gegenpol zum Alltäglichen? Oder ist gerade der Alltag mit seiner «low culture» jene Realität, die über Existenz oder Nichtexistenz der Baukultur entscheidet?

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


uk: Охорона навколишнього середовища

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

description: Stadt- und Raumplanung aus der Sicht von Baukultur zu denken ist eine mehrfache Herausforderung, stellen diese Disziplinen doch schon für sich ein abstraktes, komplexes und schwer zu vermittelndes Aufgaben- und Berufsfeld dar. Bei der Planung geht es um nichts Geringeres als um die ganzheitliche und übergeordnete Koordination und Entwicklung von Agglomerationen, Städten, Dörfern und Quartieren. Es gilt, langfristig und kontinuierlich in grösseren Zusammenhängen und auf unterschiedlichen Massstabsebenen gleichzeitig zu denken und zu gestalten. Stadt- und Raumplanung lässt sich nicht an einem Gebäude, einer Veranstaltung, einer Person oder einem Instrument festmachen. Es ist ein kontinuierlicher Prozess, dessen Ergebnisse kaum sichtbar sind, sondern sich vielmehr in schwer zu fassenden Begrifflichkeiten wie «hohe Lebensqualität» oder eben auch «Baukultur» wiederfinden.

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

name: Ästhetische Fürsorge. Baukultur aus Sicht von Stadt- und Raumplanung


uk: Охорона навколишнього середовища

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

description: VerkehrsingenieurInnen planen, regeln, entwerfen, bauen und betreiben Verkehrsinfrastrukturen. Die Art und Weise, wie ihre Arbeiten entstehen, ist Teil der Baukultur einer Gesellschaft, mit der diese die unterschiedlichen Ansprüche und Erwartungen ihrer Mitglieder verhandelt. Je nach Kontext sind diese Prozesse lang oder kurz, reich oder arm an Blockademöglichkeiten, deren Ergebnisse gesellschaftlich billig oder teuer und deren Kosten- und Nutzenverteilung einseitig oder weitverteilt. Verkehrsplanung ist ein Teil der Verkehrsingenieur- und Sozialwissenschaften.

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

name: Verkehrsplanung als Prozess und Wissenschaft


Gebäude – Energie – Umwelt

keywords: Energie Umwelt

uk: Охорона навколишнього середовища

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

description: Das Design von Gebäuden hat sich im Laufe der Zeit stark verändert – von traditionellen Bauweisen bis hin zu sehr komplexen Gebäuden, die aus vielfältigen Strukturen, Gebäudehüllen, Systemen und Technologien bestehen. Wenig Aufmerksamkeit wurde dabei der Energieeffizienz geschenkt. Doch angesichts des stetigen Wachstums der Weltbevölkerung, steigender Lebenserwartungen und der Notwendigkeit, die CO2-Emissionen gemäss den Klimaschutzverträgen zu reduzieren, gehören die Reduzierung des Energiebedarfs und die Integration dezentraler erneuerbarer Energiequellen zu den grössten Herausforderungen der modernen Gesellschaft.

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


Der gespaltene Baumeister

uk: Охорона навколишнього середовища

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

description: Anhand der geschichtlichen Entwicklung des «Baumeisters» wird aufgezeigt, wie das Konstruieren das Bauen seit Menschengedenken geprägt hat und wie das entsprechende Wissen über tausende von Jahren überliefert und in den letzten Jahrhunderten verwissen- schaftlicht wurde. Diese letzte Phase hat zur Spaltung des Baumeisterberufes in Architekt und Ingenieur geführt und die jeweiligen Spezialisierungen haben diametral entgegen- gesetzte Betrachtungs- und Herangehensweisen nach sich gezogen.

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


Nachhaltiges Bauen

uk: Охорона навколишнього середовища

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

description: Nachhaltigkeit ist ein inflationär benutzter Begriff. Es bedarf daher einer genauen, alltagstauglichen und einprägsamen Definition. Der Beitrag zeigt auf, was die Essenz des Begriffes «Nachhaltiges Bauen» ist, mit welchem Konzept die Entwicklung des Bauwerkes strukturiert werden kann und wie die Schlüsselelemente eines nachhaltigen Gebäudes aussehen. Diese Auseinandersetzung soll Klarheit über den Inhalt des Begriffes bringen und einen kritischen und sachlichen Diskurs fördern.

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


Digitales Studio

uk: Охорона навколишнього середовища

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

description: Das Bauen steht in Zukunft vor grossen Herausforderungen: Weltweit ist die Menschheit im Rahmen der Urbanisierung mit einem stark wachsenden Bedarf an Gebäuden konfrontiert. Dadurch wird es immer relevanter, nachhaltig und kostengünstig zu bauen. Lösungen können nur zusammen mit einer radikalen Digitalisierung von Architektur und Bauindustrie gefunden werden. Diese manifestiert sich in zwei Schwerpunkten: 1. Digitale Fabrikation: Auf den Baustellen und Fabriken der Zukunft werden Pläne verschwinden, und dafür Roboter in verschiedenster Form erscheinen. 2. Computergestütztes Entwerfen: Parallel zur Fabrikation werden sich auch Entwurfs- und Planungsprozesse zunehmend digitalisieren. Mit den neuesten Entwicklungen der künstlichen Intelligenz wird Software immer aktiver den Entwurfsprozess beeinflussen.

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


uk: Охорона навколишнього середовища

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

description: Die Definitionen von Stadt und Städtebau, die in der Geschichte, aber auch im gegenwärtigen Diskurs existieren, sind extrem unterschiedlich und zum Teil widersprüchlich. Sie offenbaren die schillernde Vielfalt ihrer Gegenstände, aber auch das unterschiedliche Verständnis, das in verschiedenen Epochen über sie herrschte. Insofern zeichnen sie so etwas wie eine historische Entwicklung des Begriffs der Stadt und der Disziplin des Städtebaus nach.

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

name: Die Stadt als Projekt. Eine Auslegeordnung


uk: Охорона навколишнього середовища

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

description: Die Denkmalpflege, egal ob sie als Amtsinstitution und aktive Pflegemassnahme oder als wissenschaftliche Disziplin an Universitäten beschrieben wird, befasst sich, anders als die Architekturgeschichte, nicht mit dem gedachten/geplanten und gegebenenfalls gebauten Idealzustand von Bauwerken, sondern mit den über die Zeit durch Wind und Wetter, Pflege oder Vernachlässigung, durch Umbau oder Nutzungswechsel veränderten Bauten und Räumen in ihrem jeweiligen Jetztzustand. Sie hat nicht nur mit der Form und der Substanz der Denkmale, sondern auch mit dem Ereignisanteil der Veränderungsgeschichte zu tun. Selbst Ereignisse, die keine direkte, formende Wirkung auf ein Bauwerk oder einen Stadtraum hatten, werden mit Denkmalen in Bezug gebracht und verändern deren Wert und Bedeutung. Wenn HIER etwas geschehen ist, werden die Bauwerke gewissermassen zu Augenzeugen des Geschehens und als solche angesprochen.

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

name: Form – Substanz – Ereignis. Denkmale und Kulturerbe als Gegenstand im Schulunterricht


Die Architektur der Tür

uk: Охорона навколишнього середовища

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

description: Ausgehend von einem Grundelement der Architektur thematisiert der Beitrag das Zusammenwirken von Raum, Körper und Massstab – und damit die Wirkung, Wahrnehmung und Benutzung von Raum. Die Türe eignet sich dafür besonders, weil sie Wahrnehmung und Handhabung zugleich betrifft. Es wird gezeigt, wie sich in der kleinen Architektur des Öffnens und Schliessens eine Idee zu ihrer Form, ihrer Materialität und damit ihrer Konstruktion findet. Anhand eigener Bauten sowie historischer Beispiele werden folgende Themen zur Türe erörtert: Massstab und Tür, Tür und Raumwahrnehmung, Tür als anthropomorphes Werkzeug, Tür als Bedeutungsträger. Davon ausgehend folgen Überlegungen zum aktuellen Wohnungsbau und unserem Projekt «vacancy – no vacancy. Ein performatives Haus der Zukunft», das als Mock-up auf dem Dach des HIL-Gebäudes zur Erforschung des Wohnens gebaut und bewohnt wird. Der Vortrag zur Tür steht letztlich auch für die Dinghaftigkeit und «Handwerklichkeit» der Disziplin.

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


uk: Охорона навколишнього середовища

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

description: Die Herausforderungen unserer Epoche sind vielfältig und teilweise unberechenbar. Was bedeutet das für die Jugendlichen unserer Epoche? Viele Aspekte sind schwer zu definieren, da die wichtigen Fragen sich oft in den Lücken verschiedener Disziplinen verstecken. Es braucht eine neue Ausrichtung in der Ausbildung. Dies gilt besonders für die Baukultur, die sich kaum mehr auf irgendeine Form von architektonischer Nostalgie verlassen kann. Welche Ausbildung wäre heute am besten geeignet, um die dringlichen Fragen der Klimaänderung, des Energiewandels, der Biodiversität, der Massenernäh- rung, des Wohnens, der Arbeits- und Wirtschaftslage sowie der Ressourcenknappheit zu beantworten?

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

name: Baukultur in einer veränderten Landschaft


uk: Охорона навколишнього середовища

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

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

name: Archijeunes Kolloquium - Podiumsdiskussion


Natürlich Essen ohne Zusatz?

uk: Науки про Землю(крім географії)

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

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


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

name: Von der Steinzeit bis zum Siliziumzeitalter


Ordnung muss sein!

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


Nanopartikel – zum (Fr)essen gern?

uk: Науки про Землю(крім географії)

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

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


Fleisch aus Pflanzen

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

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


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

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

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

name: Leichtgewichte auf der Strasse und in der Luft


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

name: Kleine Pillen mit grosser Wirkung: Schmerztablette und Masernimpfung - Was ist drin und warum wirkt es?


4D-Druck: Kommt Zeit, kommt Form

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

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

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


Palmöl – besser als sein Ruf

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


Schadstoffen geht die Luft aus

uk: Науки про Землю(крім географії)

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

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


de: Chemie

fi: kemia

uk: Хімія

en: Chemistry

fr: Chimie

da: Kemi

es: Química

nl: Scheikunde

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

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

name: Poly- und Perfluorierte Alkylsubstanzen (PFAS): Gefahren für Mensch und Umwelt


Bierschaum als Inspirationsquelle

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


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

name: Faszination Materialwissenschaft: Wie ihr lernt, auf Wasser zu gehen


Die Nano-Revolution

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

uk: Науки про Землю(крім географії)

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

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


Plastik vom Acker

description: Plastik ist in Verruf. Es häufen sich die Bilder eingeschnürter Schildkröten und verschmutzter Strände in den Medien. Doch wir benutzen es täglich im Smartphone, Auto oder als Verpackung. Wie können wir den Lebensstandard erhalten, ohne dabei unseren Planeten zu ruinieren? Dringend nötig sind neue Materialien, die weniger negative Umwelteinflüsse haben. Ein Ansatz sind Polymere aus erneuerbaren Rohstoffen, kurz «Bioplastik» – etwa aus Pflanzenresten. Was steckt hinter PEF, PLA oder PHA? Sind sie wirklich nachhaltiger als PET? Und können sie in grossen Mengen kostengünstig produziert werden?

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


Kommen Handys in den Himmel?

description: Was passiert mit deinem kaputten Handy oder der alten Playstation? Elektrische Geräte sind wertvolle Rohstoffminen. Wusstest du, dass dein Handy Gold und Kupfer enthält? Reise mit einem alten Handy durch eine Recyclinganlage. Und erfahre, wie man es zerlegt und viele seiner Teile wiederverwertet. So entsteht aus Elektroschrott ein neues Produkt. An einen Ort gehören Handys deswegen auf keinen Fall: in den Haushaltsmüll.

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


Bio-Implantate: die neue Generation

description: Neue Biowerkstoffe stützen das körpereigene Gewebe und fördern eine natürliche Regeneration. Inspiriert von der filigranen Form eines Spinnennetzes, wird ein faserartiges Gewebe aus Kunststoff hergestellt. Die bioabsorbierbaren Materialien erfüllen ihren Zweck bis zu einer vollständigen Reparatur und lösen sich dann im Körper auf. Diese neuartigen Werkstoffe können zusätzlich mit Biomolekülen bestückt werden, um eine Entzündung zu hemmen. Beispiele sind die Behandlung eines Bandscheibenvorfalls, der Ersatz von Haut oder die Beschichtung einer Herzpumpe.

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


de: Humanmedizin/Gesundheitswissenschaften

uk: Медицина / Науки про здоров'я

en: Human Medicine / Health Sciences

description: Sind Nanoroboter die neuen Wunderheiler in der personalisierten Medizin? Woraus bestehen sie und wie werden sie im Körper platziert? Die Roboter sind nur wenige Mikro- oder gar Nanometer gross: ein Tausendstel einer Haaresbreite. Sie können zum Beispiel erkranktes Gewebe erkennen und Daten nach draussen kommunizieren. Die kleinsten Helfer werden dabei von aussen gesteuert über Signale wie Ultraschall, Magnetfelder oder Infrarotlicht. Sie stellen Diagnosen und verteilen Medikamente.

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

name: Nanoroboter als kleinste medizinische Helferlein


description: Lebende Materialsysteme können sich an ihre Umgebung anpassen und daraus saubere Energie ernten. Sie zeigen viele lebensähnliche Eigenschaften, so werden sie wie menschliche Muskeln trainierbar sein. Ausserdem besitzen sie die Fähigkeit zur Selbstreparatur. Diese findet sich bei Lebewesen auf allen Stufen vom Molekül bis zum Gesamtorganismus. Zu den ersten selbstreparierenden Produkten zählt eine von Lianen inspirierte Schaumbeschichtung für Schlauchboote. Woraus bestehen lebende Materialien? Welche Produkte wird es bald geben?

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

name: Schlauchboote, die sich selbst reparieren


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

name: Day 1 - Welcome and Session 1: Keynote Talks


Session 2: Industry Insights

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


Session 3: Keynote Talks

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


Panel Session 1 and Day 1 - Closing

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


Panel Session 2 and Day 2 - Closing

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


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

name: Day 3 - Welcome and Session 7: Keynote Talks


Session 5: Industry Insights

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

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


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

name: Day 2 - Welcome and Session 4: Keynote Talks


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

name: Session 6 - Keynote Talks: MOBBOT: Digital Spraying Technologies and AI and Construction robotics in the wild


Das OER-Portal twillo kennenlernen

keywords:
twillo
Tutorial
Workspace
Funktionen
OER
OER-Portal Niedersachsen
fächerübergreifend
publizieren
OER-Portal twillo
OER-Kompetenz

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

uk: Бібліотекознавство, документознавство

en: Information and Library Sciences

de: Geisteswissenschaften

uk: Гуманітарні науки

en: Humanities

description: Auf twillo können Sie offene Bildungsmaterialien für die Hochschullehre finden und teilen. In diesem Video erhalten Sie einen Überblick über die Inhalte und Funktionen des Portals.

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


keywords:
Zitieren
Wissenschaftliches Arbeiten
Urheberrecht

de: Erziehungswissenschaften

uk: Педагогічні науки

en: Educational Sciences

uk: Право, економіка та суспільні науки

description: Die Videos "Wissenschaftliches Arbeiten - Funktion und Sinn des Zitierens - Teil 1 und Teil 2 befassen sich mit der Frage, warum es - vor allem auch in wissenschaftlichen Arbeiten von Studierenden - notwendig und auch sinnvoll ist zu zitieren. Unterschiedliche Funktionen des Zitierens werden dargestellt.

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

Leibniz Universität Hannover (LUH)

addressCountry: DE

addressLocality: Hanover

addressRegion: Lower Saxony

name: Institut für Berufswissenschaften im Bauwesen


uk: Педагогічні науки

uk: Право, економіка та суспільні науки

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

en: no login required

name: Wissenschaftliches Arbeiten - Funktion und Sinn des Zitierens - Teil 2


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

description: EuroPython 2022 - `typing.Protocol`: type hints as Guido intended - presented by Luciano Ramalho [The Auditorium on 2022-07-15] Duck typing and static typing are not opposites. Go is a successful statically checked language with support for duck typing through interfaces that work like `typing.Protocol` does. A `Protocol` subclass defines an interface that past and future classes can implement without any coupling to the interface: they simply provide the required methods. That's statically checked duck typing: a powerful combination! In this talk we'll get back to basics looking at how duck typing is used in Python since the beginning, how `__dunder__` methods leverage that idea to support what we recognize as *Pythonic* code. Then we'll see how `typing.Protocol` fills the gap in the original PEP 484—Type Hints, and finally lets us properly annotate code that leverages the flexibility and loose coupling of duck typing. Finally, we'll look at the experience of the Go community to learn what makes a good Protocol. Spoiler alert: your favorite Python ABC may not be the basis of a useful Protocol! This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License http://creativecommons.org/licenses/by-nc-sa/4.0/

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

en: Video


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

en: Computer Science

description: A Consistent style and standard and the consistent use of the same tools in all your code, makes it easier to reason about, reduces context switching, thus reducing waste (in the LEAN sense). A clean environment is good for your health and safety, enabling you to deliver quality faster. This talk goes deeper into how to modernize your legacy codebase to reduce your technical debt, to make it easier for you to tackle the real challenges without ever having to discuss a style guide again. It will provide tips, tricks and tools to make your “hypermodernization” effort as smooth and easy as possible.

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

name: A Tale of two Kitchens, hyper modernizing your codebase


AI for Content Moderation at PayPal

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

en: Engineering Sciences

description: Online content moderation at scale is a non trivial task especially with an ever changing landscape of hate, hate speech with changing geopolitical scenarios. Moderation platforms need to support multiple typologies like - hate, sexually explicit, violence, bullying, spam and other toxic material. Add multi-language support for all typologies and it becomes an uphill task. In this talk we will cover the below topics: 1. Why is Text Content Moderation is hard? Why we need AI? 2. What are the available open-source datasets to train models? 3. What are the available pre-trained models for content moderation? 4. Why pre-trained models do not always work? 5. Data labelling strategies and how to leverage open data and models? 6. How to build multi-language support and challenges?

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


An Introduction to Apache TVM

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

description: This talk will present an introduction to Apache TVM using its Python API, and will include a demonstration using examples of deep learning models being executed in CPUs and Microcontrollers. Apache TVM is a very flexible compilation stack for deep learning models, supporting many input formats such as TensorFlow, TFLite, Keras, PyTorch, ONNX, etc. as well as many target hardware like CPUs, GPUs and neural networks accelerators. This talk will present a walkthrough of TVM Python API from installation to usage, demonstrating its features using a series of quick practical projects. The high-level agenda is: - TVM in a nutshell (a brief description of what is TVM) - How to install - Introduction to TVM Python API - Practical demos: Compiling and tuning a model - Compiling and running a model on an embedded target - Final Remarks"

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


Async Django

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

description: This talk will cover: 1. What is the difference between asynchrony and concurrency? 2. Python and Django tools for asynchronous programming. 3. Examples of efficient and inefficient "async" Django views. 4. How does Django handle requests asynchronously - the path from `NGINX` to the database 5. How should we handle thread-blocking operations? 6. A brief history and roadmap of Django's async support

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


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

description: Have you ever been in a situation where you check your pipelines to see if he’s finished running the tests and you find that he hasn’t even started because you forgot to run the linters locally? I contribute to the development of PyCon Italia (https://pycon.it), Strawberry GraphQL (https://strawberry.rocks) and Poetry Package Manager and coding with these organizations I discovered fantastic tools such as pre-commit (https://pre-commit.com/), Poetry (https://python-poetry.org) and many others. In this talk I would like to share with you my findings, think about the pros and cons and understand a little bit better why you should start using them.

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

name: Automate cleaning code in few easy steps!


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

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

name: Automate the Boring Stuff with Slackbot(ver.2)


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

description: EuroPython 2022 - Automated Refactoring Large Python Codebases - presented by Jimmy Lai [Liffey A on 2022-07-15] Like many companies with multi-million-line Python codebases, Carta has struggled to adopt best practices like Black formatting and type annotation. The extra work needed to do the right thing competes with the almost overwhelming need for new development, and unclear code ownership and lack of insight into the size and scope of type problems add to the burden. We’ve greatly mitigated these problems by building an automated refactoring pipeline that applies Black formatting and backfills missing types via incremental Github pull requests. Our refactor applications use LibCST and MonkeyType to modify the Python syntax tree and use GitPython/PyGithub to create and manage pull requests. It divides changes into small, easily reviewed pull requests and assigns appropriate code owners to review them. After creating and merging more than 3,000 pull requests, we have fully converted our large codebase to Black format and have added type annotations to more than 50,000 functions. In this talk, you’ll learn to use LibCST to build automated refactoring tools that fix general Python code quality issues at scale and how to use GitPython/PyGithub to automate the code review process. Slides: https://www.slideshare.net/jimmy_lai/europython-2022-automated-refactoring-large-python-codebases This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License http://creativecommons.org/licenses/by-nc-sa/4.0/

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


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

description: There are many aspects of open sourcing a product which are often overlooked yet greatly impact the community and activities around the project. One of the first things people think about is the licence [1], which is very important, but what people don’t often think about is the governance of it, which impacts the speed, decision making processes, and the kind of engagement one can get from contributors to the project who don’t work in the company. Not every project is open sourced for the same purpose. On one side of the “openness” spectrum some projects are out there to give a bit of visibility to what a team is doing or to showcase a research or another product, and on the other spectrum the creators of a project put it out there to create a user and contributing community so that eventually the community would be active enough for the original creators to become a minority in the contributing and governance team. Depending on what the goals are, one needs to create or use a governance model which matches those goals and needs. One can look at the following categories from this perspective [2]: - ""Do-ocracy"" - Founder-leader - Self-appointing council or board - Electoral - Corporate-backed - Foundation-backed Then we talk about some practices which can fend people off when they try to join a community, giving concrete detailed examples on how it can look like while interacting with contributors and users online, such as [3]: - Lack of onboarding - Nothing in writing - Leadership is a mystery - No path to success - Poor communication - Lack of transparency - Not seeing ourselves in others [1] Licences and Standards, https://opensource.org/licenses [2] Understanding open source governance models, https://www.redhat.com/en/blog/understanding-open-source-governance-models [3] Brain Proffitt, Seven Deadly Sins of Open Source Communities"

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

name: Best practices to open source a product and creating a community around it


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

description: Personalized Playlist Recommendations on Spotify are great – some of them let us discover new songs, some others help us to rediscover songs. However, rediscovery seems to be limited on the more recent past, i.e. going only a month backwards. This is a problem if you like to rediscover some of your favorite songs you might have listened to a longer while ago. Sometimes we add them to our ""liked songs"" where they likely fade away. However, you once explicitly declared those tracks as favorites. So, what is it that we can do about this missing piece in personalized playlist recommendations? Well, the first thing we do is to request our personal usage data from Spotify according to GDPR. Second, we analyze and enrich it with track audio features offered by Spotify’s rich Web API. We derive the music taste profile of ourselves from 12 months of streaming history and use this taste profile to retrieve favorite songs we haven’t listened to for more than a year. In my talk, I present you the Python package I build for this purpose, possible extensions and enable you to create your own personalized playlist to rediscover your past!

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

name: Build your own Playlist Recommender System with Python using your GDPR Data


Build-A-Database with Python

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

description: This talk will help unlock the internal workings of a Database by breaking down the abstractions that make it. We will use Python as our weapon of choice to slowly discuss how you would go about building the different components of a database. 1) Talking to your Database: We start by building out an interface and a language that helps us communicate with our database. We will use the Prompt toolkit to build a REPL & use a simple SQL-based language with basic regular expressions that can parse it to instruction to execute. 2) Working with Data: Now that we can communicate with our database using instructions. we start the actual work in building out the Datastore, We initially store all the data in a simple in-memory dictionary and then move to persist this data to disk. We now read the data from the disk to memory every time we query the data and write back the data to the disk but this makes things very slow :( This problem is our entry into the beautiful world of Indexes so by building a very basic Btree index to store references in memory to quickly access only what we require from the data on disk we can actually speed up our access times for basic row access queries from O(N) to O(1) where N is the number of rows in a table 3) Future: We can now proudly demo our new and polished database that can store data, persist it, and can run queries that are quite fast thanks to our Btree Indexes. We also discuss how this Database can be improved in the future by supporting full ACID Transactions, allowing concurrency, and handling locks

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


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

description: EuroPython 2022 - Building a Just-in-Time Python FaaS Platform with Unikraft - presented by Felipe Huici, Alexander Jung [Liffey Hall 1 on 2022-07-13] Unikraft [1] is a unikernel (specialized virtual machine) project. Unikraft is able to target a specific application (e.g., a web server such as NGINX) and transparently build an entire software stack, from the operating system all the way up to systems libraries, that includes only the parts that the application needs and nothing more. Such specialization results in extremely short boot times (a few milliseconds compared to hundreds or thousands for Linux VMs), small image sizes and memory consumption (e.g., a few MBs vs. hundreds of MBs) and a minimal attack surface, to name a few benefits. The short boot times also allow us to bring Unikraft VMs up just-in-time, as a request for a service arrives, and to bring the instance back down (or suspend it) when the request is over, allowing for even greater efficiency. In addition, Unikraft images are single address space: in cloud environments strong isolation is provided by the hypervisor, so for single application/single tenant VMs it does not make sense to have a kernel/user-space divide. The end result is higher efficiency in performance, with Unikraft yielding noticeably higher throughout than Linux [2]. Regarding application support, we have put great effort towards making Unikraft as POSIX compatible as possible. Unikraft provides a syscall shim-layer and support for the musl libc, allowing us to run unmodified versions of Python. In terms of orchestration, we have integrated Unikraft with major frameworks such as Kubernetes and Prometheus. This, along with extensive debugging facilities should make Unikraft easy to both use and develop for. [1] https://unikraft.org/ [2] https://dl.acm.org/doi/10.1145/3447786.3456248 (best paper award) This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License http://creativecommons.org/licenses/by-nc-sa/4.0/

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


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

description: Ever wondered how hardware is made, or curious about making your own? We share our experiences manufacturing a programmable gamepad for use in IoT/MicroPython workshops. We will cover the entire production process, including: - Designing the PCB (Printed Circuit Board) - Choosing microcontroller and parts - Finding, ordering and assembling components - Pulling together firmware, drivers and software Mistakes were indeed made along the way. Let's turn them into valuable lessons!

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

name: Circuit board design to finished product: hobbyist’s guide to hardware manufacturing


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

description: During this talk, I will walk you through my journey to create the Lego bricks recognition application in Python. I will start with dataset creation and introduce some Lego-specific concepts and resources. Then, I will explain a few different Machine Learning approaches to solve Lego bricks recognition task – classification, detection, and metric learning. Finally, I will show what has worked, what hasn’t, and how you can play with it yourself.

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

name: Classifying LEGO Bricks with Machine Learning


Clean Architectures in Python

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

description: Architectural considerations are often overlooked by developers or completely delegated to a framework. We should start once again discussing how applications are structured, how components are connected and how to lower coupling between different parts of a system, to avoid creating software that cannot easily be maintained or changed. The ""clean architecture"" model predates Robert Martin, who recently brought it back to the attention of the community, and is a way of structuring applications that leverages layers separation and internal APIs to achieve a very tidy, fully-tested, and loosely coupled system. The talk introduces the main ideas of the architecture, showing how the layers can be implemented in Python, following the content of the book ""Clean Architectures in Python"" edited by Leanpub. The book recently reached 25,000 downloads and many readers found it useful to start learning how to test software and how to structure an application without relying entirely on the framework.

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


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

description: EuroPython 2022 - Code coverage through unit tests running in sub-processes/threads: Locally and automated on GitHub - presented by Saransh Chopra [Liffey A on 2022-07-13] The *“Code coverage”* value of a codebase depicts how much of the production/development code is covered by the running unit tests. In the world of open-source, all the maintainers try their best to keep this percentage high, and this process is often automated through tools like `GitHub Actions` and `Codecov`. Hence, code coverage becomes a good metric (not always) to check if a particular codebase is well tested and reliable. Open source maintainers often prefer to run these unit tests in sub-processes or threads as it allows them to run in parallel and reduce the `CI` (continuous integration) run time on pull requests. They also make it easier to stop the tests midway if they are taking too much time (probabilistic tests). In this talk, we will first try to use `coverage.py` in the default mode on the unit tests running in a sub-process or a thread. After going through the results, we will build a solution to cover the “un-covered” code in the local repository. As a final step, we will also configure a `CI` (continuous integration) pipeline using `GitHub Actions` and `Codecov` to automate this process in our remote repository. This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License http://creativecommons.org/licenses/by-nc-sa/4.0/

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


Common Python Mistakes with Kubernetes

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

description: EuroPython 2022 - Common Python Mistakes with Kubernetes, How They Can Cause Vulnerabilities and How to Solve Them! - presented by Flo Pachinger [Liffey Hall 2 on 2022-07-14] In this session, we will have a look at common mistakes in Python, that can cause serious code vulnerabilities, specifically for Kubernetes deployments of the code. We will subsequently have a look at what those vulnerabilities actually can result in and how your containerized application can get ""compromised"" as a result. We will also discuss how developer and security teams struggle to talk in a common language to prevent and mitigate these vulnerabilities. Lastly, we will see how you can prevent and mitigate these vulnerabilities in real-life using tools like Falco, TUF, Open Policy Agent and Bandit. We will also see how a CI/CD pipeline should look like, to build, test and deploy something in real-life. During this session you will learn a ton, see cool demos and all of the samples will be available to the attendees afterwards. My session will benefit the ecosystem by pointing out common mistakes that can be made when writing Python code and deploying this via Kubernetes. This can cause serious breaches when exploited by attackers. The goal of the session is to both educate attendees on these vulnerabilities, as well as on how to fix them. I will be talking about multiple open source projects that can secure code and deployment. I will not cover any commercial products. Falco TUF Open Policy Agent Bandit (not CNCF) GitLab (not CNCF) This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License http://creativecommons.org/licenses/by-nc-sa/4.0/

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


CPython Developer Panel

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

description: A panel discussion of core Python developers will take place on Wednesday at 2pm. Hear what's on their mind, what they're working on and what the future holds for Python. With Pablo Galindo Salgado, Steve Dower, Batuhan Taskaya, Ken Jin, Irit Katriel and Dr.Mark ""HotPy"" Shannon. Chaired by the esteemed Łukasz ""Any color you like so long as it's black"" Langa.

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


Correlating messy data with "correlate"

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

description: Data correlation! What could be more computer science-y! Ever needed to find matching items between two sets of data? Maybe even messy real-world data, with inexact string matches? Come find out how the novel scoring algorithm and clever heuristics at the heart of **correlate** solve this problem with ease!"

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


CPython bugs & risky features

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

description: In this talk we will look into a few bug cases or doubtful features in CPython some of which are still present (and known to bugs.python.org) and may impose a security risk for admins or organizations. We will learn why running Python interpreter in random directory can be harmful which is related to interpreter libs loading, a possibility for installed modules to inject code into any Python script execution (even if the installed library is not imported), a socket.inet_aton issue that actually comes from glibc and risks involved with those cases and possible mitigations of those risks.

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


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

description: A useful Jupyter notebook that takes input from the user to generate results is a great candidate to become a web application, but usually data scientists don't have the front-end skills required to build one and deploy them. Using notebooks with ipywidgets can be a great solution to build teams' internal tools because we get the user-friendly widgets and don't need to worry about the deployment since it's all in Jupyter.

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

name: Creating great user interfaces on Jupyter Notebooks with ipywidgets


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

description: Our generation of young people in school (aged 5-18) have noticed the connection between Computer pRogramming, Technology, Bitcoinism Success, Climate Change and Billionaires. On mass young people are clamouring to master the skill of Computer pRogramming. It has been dubbed the ‘4th’ R’ (computer pRogramming) along with Reading, wRiting and aRithmetic. So, governments worldwide have launched initiatives to have it taught in schools from Kindergarten to all the way to high school. And now young people are successfully mastering this skill. This talk will describe a case study whereby Computer Programming (Python) was introduced for the first time to a group of young people and how the young people are using it to explore and understand real world problems and data such as those relating to climate change, world population growth and carbon dioxide emissions with Python visualisation libraries such as Matplotlib, Numpy and Pandas. We will talk about the joys and challenges and discoveries made by the young people. We will conclude with suggestions on how to proceed in this area."

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

name: Creating the Next Generation of Billionaires - Part 4


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

description: This talk aims to encourage beginner developers not to underestimate the skills and benefits they can bring to various non-IT environments. I joined a team focused on drought research at the Czech Academy of Science in 2016 with a fresh degree in Geoinformatics and minimal experience with coding. Thanks to this very little initial knowledge, we were able to build a robust system providing drought monitoring and forecast for Czechia and also the whole of central Europe. We were able to fight through text files, user inputs, and geodata of all sorts and say goodbye to manual processing thanks to Python and its geospatial and data processing libraries. On the technical side, the presentation should introduce some of the handy geospatial and data processing tools to get your hands on any task, from producing colorful maps to analyzing time trends in satellite imagery. It should also be a guide on identifying needs and building the most necessary data manipulation processes from scratch. This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License http://creativecommons.org/licenses/by-nc-sa/4.0/

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

name: Czech Drought Monitoring system – a journey from manual work to global drought monitoring and machine learning, powered by Python