Source author record

André Neves

André Neves appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.DG math.AP math.GT math.SG Human-Computer Interaction math.DS Software Engineering

Catalog footprint

What is connected

13works

7topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

The Developers' Design Thinking Toolbox in Hackathons: A Study on the Recurring Design Methods in Software Development Marathons

Hackathons are time-bounded collaborative events of intense teamwork to build prototypes usually in the form of software, aiming to specific challenges proposed by the organizers. These events became a widespread practice in the IT industry, universities and many other scenarios, as a result of a growing open-innovation trend in the last decade. Since the main deliverable of these events is a demonstrable version of an idea, such as early hardware or software prototypes, the short time frame requires participants to quickly understand the proposed challenge or even identify issues related to a given domain. To create solutions, teams follow an ad-hoc but effective design approach, that many times seems informal since the background of the participants is rather centered on technical aspects (e.g., web and mobile programming) and does not involve any training in Design Thinking. To understand this creative process, we conducted 37 interviews (32 hackathons winners and 5 hackathon organizers) with people from 16 countries. We aimed to identify the design processes and recurring design methods applied by winners in these events. Also, we conducted a focus group with 8 people experienced in hackathons (participants and organizers) to discuss our findings. Our analysis revealed that although hackathon winners with IT background have no formal training on Design Thinking, they are aware of many design methods, typically following a sequence of phases that involve divergent and convergent thinking to explore the problem space and propose alternatives in a solution space, which is the rationale behind Design Thinking. We derived a set of recommendations based on design strategies that seem to lead to successful hackathon participation. These recommendations can also be useful to organizers who intend to enhance the experience of newcomers in hackathons.

preprint2020arXiv

Counting minimal surfaces in negatively curved 3-manifolds

We introduced an asymptotic quantity that counts area-minimizing surfaces in negatively curved closed 3-manifolds and show that quantity to only be minimized, among all metrics of sectional curvature less than or equal -1, by the hyperbolic metric.

preprint2020arXiv

Morse inequalities for the area functional

In this article we prove the strong Morse inequalities for the area functional in codimension one, assuming that the ambient dimension satisfies $3 \leq (n + 1) \leq 7$, in both the closed and the boundary cases.

preprint2016arXiv

Morse index and multiplicity of min-max minimal hypersurfaces

The Min-max Theory for the area functional, started by Almgren in the early 1960s and greatly improved by Pitts in 1981, was left incomplete because it gave no Morse index estimate for the min-max minimal hypersurface. We advance the theory further and prove the first general Morse index bounds for minimal hypersurfaces produced by it. We also settle the multiplicity problem for the classical case of one-parameter sweepouts.

preprint2016arXiv

The catenoid estimate and its geometric applications

We prove a sharp area estimate for catenoids that allows us to rule out the phenomenon of multiplicity in min-max theory in several settings. We apply it to prove that i) the width of a three-manifold with positive Ricci curvature is realized by an orientable minimal surface ii) minimal genus Heegaard surfaces in such manifolds can be isotoped to be minimal and iii) the "doublings" of the Clifford torus by Kapouleas-Yang can be constructed variationally by an equivariant min-max procedure. In higher dimensions we also prove that the width of manifolds with positive Ricci curvature is achieved by an index 1 orientable minimal hypersurface.

preprint2015arXiv

Min-max theory and the energy of links

Freedman, He, and Wang, conjectured in 1994 that the Mobius energy should be minimized, among the class of all nontrivial links in Euclidean space, by the stereographic projection of the standard Hopf link. We prove this conjecture using the min-max theory of minimal surfaces.

preprint2014arXiv

New applications of Min-max Theory

I will talk about my recent work with Fernando Marques where we used Almgren-Pitts Min-max Theory to settle some open questions in Geometry: The Willmore conjecture, the Freedman-He-Wang conjecture for links (jointly with Ian Agol), and the existence of infinitely many minimal hypersurfaces in manifolds of positive Ricci curvature. Some open questions are suggested in the last section.

preprint2014arXiv

The Willmore conjecture

The Willmore conjecture, proposed in 1965, concerns the quest to find the best torus of all. This problem has inspired a lot of mathematics over the years, helping bringing together ideas from subjects like conformal geometry, partial differential equations, algebraic geometry and geometric measure theory. In this article we survey the history of the conjecture and our recent solution through the min-max approach. We finish with a discussion of some of the many open questions that remain in the field.

preprint2013arXiv

Min-Max theory and the Willmore conjecture

In 1965, T. J. Willmore conjectured that the integral of the square of the mean curvature of a torus immersed in Euclidean three-space is at least 2π^2. We prove this conjecture using the min-max theory of minimal surfaces.

preprint2013arXiv

The Penrose inequality for asymptotically locally hyperbolic spaces with nonpositive mass

In the asymptotically locally hyperbolic setting it is possible to have metrics with scalar curvature at least -6 and negative mass when the genus of the conformal boundary at infinity is positive. Using inverse mean curvature flow, we prove a Penrose inequality for these negative mass metrics. The motivation comes from a previous result of P. Chruściel and W. Simon, which states that the Penrose inequality we prove implies a static uniqueness theorem for negative mass Kottler metrics.

preprint2012arXiv

Finite Time Singularities for Lagrangian Mean Curvature Flow

Given any embedded Lagrangian on a four dimensional compact Calabi-Yau, we find another Lagrangian in the same Hamiltonian isotopy class which develops a finite time singularity under mean curvature flow. This contradicts a weaker version of the Thomas-Yau conjecture regarding long time existence and convergence of Lagrangian mean curvature flow.