ANYmal is a quadrupedal robot designed for autonomous operation in challenging environments. Driven by special compliant and precisely torque controllable actuators, the system is capable of dynamic running and high-mobile climbing. Thanks to incorporated laser sensors and cameras, the robot can perceive its environment to continuously create maps and accurately localize. Based on this information
About the lab The EPFL DATA lab performs research and teaching at the intersection of systems, programming languages, and theory. We create and study database systems and large-scale data analysis ("big data") systems. On the systems side, our current focus is on building efficient and scalable massively parallel realtime analytics engines. Our technical contributions particularly focus on the opt
The DOT Calculus (Dependent Object Types) Nada Amin Scala Days June 18, 2014 1 DOT: Dependent Object Types I DOT is a core calculus for path-dependent types. I Goals I simplify Scala’s type system by desugaring to DOT I simplify Scala’s type inference by relying on DOT I prove that DOT is type-safe 2 Types in Scala and DOT 3 Types in Scala modular named type scala.collection.BitSet compound type C
Trading with Market Impact H. Mete SONER, Department of Mathematics ETH Zürich Swiss Finance Institute Mathematical Finance beyond classical models Zurich, September 16, 2015 0 Collaborators I have benefited the collaboration of many people including : Albert Altarovici, Peter Bank, Umut Çetin, Yan Dolinsky, Selim Gökay, Ludovic Moreau, Dylan Possamaï, Max Reppen, Alexandre Roch, Moritz Voss and Ni
[R] Antwort: Re: Antwort: Re: Antwort: Re: Installing from source on Windows 7: tibble [RE OPENED] G.Maubach at weinwolf.de G.Maubach at weinwolf.de Thu Jun 30 08:35:50 CEST 2016 Previous message: [R] Antwort: Re: Antwort: Re: Installing from source on Windows 7: tibble [SOLVED] Next message: [R] Antwort: Re: Antwort: Re: Antwort: Re: Installing from source on Windows 7: tibble [RE OPENED] Message
Prof Brian Ripley ripley at stats.ox.ac.uk Sat Oct 10 08:02:22 CEST 2015 Previous message: [Rd] A where() functions that does what exists() does but return the environment when object lives? Next message: [Rd] MiKTeX's withdrawal of texi2dvi.exe Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] MiKTeX has abruptly removed texi2dvi.exe from its distribution. (MiKTeX broke its updating
Improving OLTP concurrency through Early Lock Release Manos Athanassoulis† manos.athanassoulis@epfl.ch Ryan Johnson†‡ ryan.johnson@epfl.ch Anastasia Ailamaki† anastasia.ailamaki@epfl.ch Radu Stoica† radu.stoica@epfl.ch †Ecole Polytechnique Fédérale de Lausanne Data-Intensive and Applications Laboratory CH-1015, Lausanne ‡Carnegie Mellon University Pittsburgh, PA EPFL-REPORT-152158 ABSTRACT Since t
You are here Homepage chevron_right ETH Zurich chevron_right Sustainability chevron_right Education chevron_right Summer and winter schools In the area of sustainability, ETH Zurich offers a range of summer and winter schools. These deal with interdisciplinary and socially relevant topics, and involve several departments of ETH Zurich and external partner organizations. The participating students
How can scientists lead a fruitful dialogue with people and institutions outside the scientific community? This is the topic of the CCES Winter School "Science Meets Practice". The Winter School provides insights into theoretical and methodological foundations as well as hands-on experience in communicating and interacting with stakeholders outside academia, and is primarily aimed at PhD students
The correlation between the consumption of modern forms of energy and long-term economic growth is well-documented, as well as the historic correlation between growth and adverse environmental impacts such as climate change. National policymakers seeking greener growth trajectories are therefore often interested in developing low-carbon energy and development strategies (LCEDS) that decouple energ
EPFL scientists have developed a new type of composite thread that varies in stiffness depending on its temperature. Applications range from multifunctional robots to knitted casts, and even tunable medical devices. A new type of thread has been developed at EPFL that varies in stiffness depending on its temperature. This new structure could be used in future robots, orthopedics and even medical d
Mission Data nowadays come in overwhelming volume. In order to cope with this deluge, we explore and use the benefits of geometry and symmetry in higher dimensional data. But volume is not the only problem: data models are also increasingly complex, mixing various components. We thus use redundant dictionaries as a dimensionality reduction tool to dig out information from complicated high-dimensio
LTS2 is a team of researchers led by Prof. Pierre Vandergheynst working within the Institute of Electrical Engineering of the EPFL, one of the two Swiss federal institutes of technology. The main part of our research activities focuses on modern challenges in data processing. The joint expertise of the acoustic group extends the LTS2 research landscape to audio engineering and electroacoustics. —
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday Focusing on path-dependent types, the paper develops foundations for Scala from first principles. Starting from a simple calculus D-<: of dependent functions, it adds records, intersections and recursion to arrive at DOT, a calculus for dependent object types. The paper shows an en
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く