Technische Universität Darmstadt

About: Technische Universität Darmstadt is a education organization based out in Darmstadt, Germany. It is known for research contribution in the topics: Neutron & Finite element method. The organization has 17316 authors who have published 40619 publications receiving 937916 citations. The organization is also known as: Darmstadt University of Technology & University of Darmstadt.

Incorporating human factors in order picking planning models: framework and research opportunities

Abstract: Order picking (OP) activities, essential to logistics operations, are laborious and time-intensive. Humans are central actors in the OP process and determine both OP effectiveness and efficiency. Many researchers have developed models for planning OP activities and increasing the efficiencies of such systems by suggesting different warehouse layouts, OP routes or storage assignments. These studies have, however, ignored workers’ characteristics, or human factors, suggesting that they cannot be substantiated, which led to only partially realistic results. This paper proposes a conceptual framework for integrating human factors into planning models of OP activities and hypothesises that doing so improves the performance of an OP system and workers’ welfare. The framework is based on a systematic literature review that synthesises findings documented in the OP and human factors literature. The results of the paper may assist researchers and practitioners in designing OP systems by developing planning models ...

Differential Effects of Provider Recommendations and Consumer Reviews in E-Commerce Transactions: An Experimental Study

Abstract: Despite the importance of online product recommendations OPRs in e-commerce transactions, there is still little understanding about how different recommendation sources affect consumers' beliefs and behavior, and whether these effects are additive, complementary, or rivals for different types of products. This study investigates the differential effects of provider recommendations PRs and consumer reviews CRs on the instrumental, affective, and trusting dimensions of consumer beliefs and shows how these beliefs ultimately influence continued OPR usage and product purchase intentions. This study tests a conceptual model linking PRs and CRs to four consumer beliefs perceived usefulness, perceived ease of use, perceived affective quality, and trust in two different product settings search products versus experience products. Results of an experimental study show that users of PRs express significantly higher perceived usefulness and perceived ease of use than users of CRs, while users of CRs express higher trusting beliefs and perceived affective quality than users of PRs, resulting in different effect mechanisms toward OPR reuse and purchase intentions in e-commerce transactions. Further, CRs were found to elicit higher perceived usefulness, trusting beliefs, and perceived affective quality for experience goods, while PRs were found to unfold higher effects on all of these variables for search goods.

Standards for plant synthetic biology: a common syntax for exchange of DNA parts.

Abstract: Inventors in the field of mechanical and electronic engineering can access multitudes of components and, thanks to standardization, parts from different manufacturers can be used in combination with each other. The introduction of BioBrick standards for the assembly of characterized DNA sequences was a landmark in microbial engineering, shaping the field of synthetic biology. Here, we describe a standard for Type IIS restriction endonuclease-mediated assembly, defining a common syntax of 12 fusion sites to enable the facile assembly of eukaryotic transcriptional units. This standard has been developed and agreed by representatives and leaders of the international plant science and synthetic biology communities, including inventors, developers and adopters of Type IIS cloning methods. Our vision is of an extensive catalogue of standardized, characterized DNA parts that will accelerate plant bioengineering.

Heusler, Weyl and Berry

Abstract: Heusler compounds, initially discovered by Fritz Heusler more than a century ago, have grown into a family of more than 1,000 compounds, synthesized from combinations of more than 40 elements. Recently, by incorporating heavy elements that can give rise to strong spin–orbit coupling, non-trivial topological phases of matter, such as topological insulators, have been discovered in Heusler materials. Moreover, interplay between the symmetry, spin–orbit coupling and magnetic structure allows for the realization of a wide variety of topological phases through Berry curvature design. The topological properties of Heusler compounds can be manipulated by various external perturbations, resulting in exotic properties, such as the chiral anomaly and large anomalous, spin and topological Hall effects. In addition, the non-zero Berry curvature that arises as a result of non-collinear order gives rise to a non-zero anomalous Hall effect. Besides this k-space Berry curvature, Heusler compounds with non-collinear magnetic structures also possess real-space topological states in the form of magnetic antiskyrmions, which have not yet been observed in other materials. In this Review, we discuss Heusler compounds from a topological perspective and the connection between the topology and the symmetry properties, spin gapless semiconductors, magnetic compensated ferrimagnets, non-collinear order in ferromagnetic and antiferromagnetic Heusler compounds, the anomalous Hall effect and, finally, magnetic antiskyrmions. Together with the new topological viewpoint and the high tunability, novel physical properties and phenomena await discovery in Heusler compounds.

Comparing LTL Semantics for Runtime Verification

Abstract: When monitoring a system w.r.t. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is, models of temporal logic formulae are usually infinite words of events, whereas at runtime only finite but incrementally expanding prefixes are available. In this work, we review LTL-derived logics for finite traces from a runtime-verification perspective. In doing so, we establish four maxims to be satisfied by any LTL-derived logic aimed at runtime verification. As no pre-existing logic readily satisfies all of them, we introduce a new four-valued logic Runtime Verification Linear Temporal Logic RV-LTL in accordance to these maxims. The semantics of Runtime Verification Linear Temporal Logic (RV-LTL) indicates whether a finite word describes a system behaviour which either (i) satisfies the monitored property, (ii) violates the property, (iii) will presumably violate the property, or (iv) will presumably conform to the property in the future, once the system has stabilized. Notably, (i) and (ii) correspond to the classical semantics of LTL, whereas (iii) and (iv) are chosen whenever an observed system behaviour has not yet lead to a violation or acceptance of the monitored property. Moreover, we present a monitor construction for RV-LTL properties in terms of Moore machines signalizing the semantics of the so far obtained execution trace w.r.t. the monitored property.