Address space

Applied sciences
Computer engineering
High-performance computing
Real-time computing

About
Privacy
Disclaimer

Graph Chatbot

Related publications (27)

Between the Lines: On the Explicit and Implicit in Writing and Building

Matthew Skjonsberg

Narratives employed when writing about a place and building a place have a central theme in common: both weave between the human, personal and emotional experience of place and the physical, spatial and atmospheric place – a dialogue between the inner and ...

2018

Illustrative Prospective of Solar Energy in Urban Planning: Collection of International Case Studies

Christian Roecker, Maria Cristina Munari Probst, Émilie Nault, Giuseppe Peronato, Pietro Florio

This reports presents a collection of 34 case studies on solar energy in urban planning, addressing how the planning process has been developed, how the stakeholders have been involved, which instruments have been applied, which energy technology and envir ...

IEA SHC Task 512017

JammJoint: A Variable Stiffness Device Based on Granular Jamming for Wearable Joint Support

Auke Ijspeert, Jamie Paik, Simon Lukas Hauser, Matthew Aaron Robertson

In robotics, controlling the stiffness of the joints that contribute to the robots’ degree of freedom dictates the adaptability, versatility, and safety of the whole system.We can achieve variable stiffness or impedance in a robotic system purely by the co ...

2017

Grand Challenges for Global Brain Sciences

Sean Lewis Hill, Miguel Nicolelis, Corrado Cali

The next grand challenges for society and science are in the brain sciences. A collection of 60+ scientists from around the world, together with 10+ observers from national, private, and foundations, spent two days together discussing the top challenges th ...

2016

Renormalization of Horava gravity

Sergey Sibiryakov, Diego Blas Temino, Mario Herrero Valea

We prove perturbative renormalizability of projectable Horava gravity. The key element of the argument is the choice of a gauge which ensures the correct anisotropic scaling of the propagators and their uniform falloff at large frequencies and momenta. Thi ...

American Physical Society2016

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

Proteome Digestion Specificity Analysis for Rational Design of Extended Bottom-up and Middle-down Proteomics Experiments

Yury Tsybin, Kristina Srzentic, Unige Anna Laskay

Mass spectrometry (MS)-based bottom-up proteomics (BUP) is currently the method of choice for large-scale identification and characterization of proteins present in complex samples, such as cell lysates, body fluids, or tissues. Technically, BUP relies on ...

Amer Chemical Soc2013

Page 2 of 2