Eindhoven University of Technology

About: Eindhoven University of Technology is a education organization based out in Eindhoven, Noord-Brabant, Netherlands. It is known for research contribution in the topics: Catalysis & Computer science. The organization has 22309 authors who have published 52936 publications receiving 1584164 citations. The organization is also known as: Technische Hogeschool Eindhoven & TU/e.

Simulated Annealing: Theory and Applications

Abstract: 1 Introduction.- 2 Simulated annealing.- 3 Asymptotic convergence results.- 4 The relation with statistical physics.- 5 Towards implementing the algorithm.- 6 Performance of the simulated annealing algorithm.- 7 Applications.- 8 Some miscellaneous topics.- 9 Summary and conclusions.

Signatures of Majorana Fermions in Hybrid Superconductor-Semiconductor Nanowire Devices

Abstract: Majorana fermions are particles identical to their own antiparticles. They have been theoretically predicted to exist in topological superconductors. Here, we report electrical measurements on indium antimonide nanowires contacted with one normal (gold) and one superconducting (niobium titanium nitride) electrode. Gate voltages vary electron density and define a tunnel barrier between normal and superconducting contacts. In the presence of magnetic fields on the order of 100 millitesla, we observe bound, midgap states at zero bias voltage. These bound states remain fixed to zero bias, even when magnetic fields and gate voltages are changed over considerable ranges. Our observations support the hypothesis of Majorana fermions in nanowires coupled to superconductors.

The application of Petri-nets to workflow management

Abstract: Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures. This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.