Automobillogistik
Stand und Zukunftstrends
Page
%P
-
Article
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
We present an automatic theorem prover for projective incidence geometry. This prover does not consider coordinates. Instead, it follows a combinatorial approach based on the concept of rank. This allows to de...
-
Article
Detection of reproducible QTL associated with bioenergy traits in sorghum across several growing environments
Sweet sorghum (Sorghum bicolor L. Moench) is a promising bioenergy crop. To increase the productivity of this crop, marker-assisted breeding will be important to advance its genetic improvement. This study aimed ...
-
Article
Resident-Reported Impact of a Novel Oncology Curriculum for Internal Medicine Residents
The Accreditation Council of Graduate Medical Education mandates that all internal medicine residents gain exposure to internal medicine subspecialties including hematology and oncology. While many residents m...
-
Article
Open AccessChimeric forecasting: combining probabilistic predictions from computational models and human judgment
Forecasts of the trajectory of an infectious agent can help guide public health decision making. A traditional approach to forecasting fits a computational model to structured data and generates a predictive d...
-
Article
Successful treatment of “candy cane” syndrome through endoscopic gastrojejunal anastomosis revision
Candy cane syndrome is an underappreciated complication reported in bariatric patients following Roux-en-Y gastric bypass. It results from an excessively long blind afferent Roux limb at the gastrojejunostomy ...
-
Article
Correction to: PIXL: Planetary Instrument for X-Ray Lithochemistry
A Correction to this paper has been published: https://doi.org/10.1007/s11214-021-00801-2
-
Article
PIXL: Planetary Instrument for X-Ray Lithochemistry
Planetary Instrument for X-ray Lithochemistry (PIXL) is a micro-focus X-ray fluorescence spectrometer mounted on the robotic arm of NASA’s Perseverance rover. PIXL will acquire high spatial resolution observation...
-
Chapter
Still for Direct Reference
Michael Devitt argues against direct reference, and in favor of an alternative theory of meaning, in “Against Direct Reference,” “Still against Direct Reference,” and Coming to Our Senses. This paper criticizes D...
-
Article
Open AccessMetabolomic adaptations and correlates of survival to immune checkpoint blockade
Despite remarkable success of immune checkpoint inhibitors, the majority of cancer patients have yet to receive durable benefits. Here, in order to investigate the metabolic alterations in response to immune c...
-
Article
Two cryptomorphic formalizations of projective incidence geometry
Incidence geometry is a well-established theory which captures the very basic properties of all geometries in terms of points belonging to lines, planes, etc. Moreover, projective incidence geometry leads to a...
-
Article
Cerebral patterns of neuropsychological disturbances in hepatitis C patients
Neuropsychiatric symptoms and cognitive impairment have been consistently reported in patients with hepatitis C virus (HCV) infection. Since the mechanisms behind remain to be established, the present study at...
-
Chapter
Wirkungen von Supply-Chain-Management-Maßnahmen bei Automobilzulieferern und -herstellern. Ergebnisse einer empirischen Studie
Supply chain management methods play an important role in the automotive industry. While automotive manufacturers often gain profits from supply chain management methods, automotive suppliers are in many cases...
-
Article
Open AccessAcquired mechanisms of immune escape in cancer following immunotherapy
Immunotherapy has revolutionized the management of numerous cancers; however, a substantial proportion that initially respond subsequently acquire means of immune escape and relapse. Analysis of recent clinica...
-
Chapter and Conference Paper
Formalizing Some “Small” Finite Models of Projective Geometry in Coq
We study two different descriptions of incidence projective geometry: a synthetic, mathematics-oriented one and a more practical, computation-oriented one, based on the combinatorial concept of rank of a set o...
-
Chapter
Stand und Zukunft des Supply Chain Managements in der Automobilindustrie – Ergebnisse einer empirischen Studie
Supply Chain Management (SCM) besitzt gerade in der Automobilindustrie eine hohe Bedeutung. Die geringe Fertigungstiefe, der hohe Kostendruck und die hohen Anforderungen an die Qualität von Prozessen und Produ...
-
Chapter
Die Planung werksinterner Routenzugsysteme bei der Gebrüder Weiss GmbH
Routenzugsysteme setzen sich seit mehreren Jahren zunehmend in der werksinternen Logistik durch. Gründe hierfür sind die in vielen Bereichen gestiegene Variantenvielfalt, die angestrebte Synchronisation von Pr...
-
Book
-
Article
Towards a Certified Version of the Encyclopedia of Triangle Centers
Triangle centers such as the center of gravity, the circumcenter, the orthocenter are well studied by geometers. Recently, under the guidance of Clark Kimberling, an electronic encyclopedia of triangle centers...
-
Article
Desiring, desires, and desire ascriptions
Delia Graff Fara (2013) maintains that many desire ascriptions underspecify the content of the relevant agent’s desire. She argues that this is inconsistent with certain initially plausible claims about desiring,...
-
Article
Contextualism about ‘might’ and says-that ascriptions
Contextualism about ‘might’ says that the property that ‘might’ expresses varies from context to context. I argue against contextualism. I focus on problems that contextualism apparently has with attitude ascr...
