486 research outputs found
Letter from [Minna A. Newman], Carson Estate Company to Mr. A. [Al] G. Hemming, February 1, 1946
No full textRefers to two enclosed leases: #3-B for "G. V. Voight" and #1 for John Hajime Masuzumi
Search-based optimal motion planning for automated driving
No full textThis paper presents a framework for fast and robust motion planning designed to facilitate automated driving. The framework allows for real-time computation even for horizons of several hundred meters and thus enabling automated driving in urban conditions. This is achieved through several features. Firstly, a convenient geometrical representation of both the search space and driving constraints enables the use of classical path planning approach. Thus, a wide variety of constraints can be tackled simultaneously (other vehicles, traffic lights, etc.). Secondly, an exact cost-to-go map, obtained by solving a relaxed problem, is then used by A∗-based algorithm with model predictive flavour in order to compute the optimal motion trajectory. The algorithm takes into account both distance and time horizons. The approach is validated within a simulation study with realistic traffic scenarios. We demonstrate the capability of the algorithm to devise plans both in fast and slow driving conditions, even when full stop is required.Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Intelligent Vehicle
Human-robot cooperative object manipulation with contact changes
No full textThis paper presents a system for cooperatively manipulating large objects between a human and a robot. This physical interaction system is designed to handle, transport, or manipulate large objects of different shapes in cooperation with a human. Unique points are the bi-manual physical cooperation, the sequential characteristic of the cooperation including contact changes, and a novel architecture combining force interaction cues, interactive search-based planning, and online trajectory and motion generation. The resulting system implements a mixed initiative collaboration strategy, deferring to the human when his intentions are unclear, and driving the task once understood. This results in an easy and intuitive human-robot interaction. It is evaluated in simulations and on a bi-manual mobile robot with 32 degrees of freedom.Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Learning & Autonomous Contro
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice
No full textConsistency with the formal Church’s thesis, for short CT, and the axiom of choice, for short AC, was one of the requirements asked to be satisfied by the intensional level of a two-level foundation for constructive mathematics as proposed by Maietti and Sambin (in Crosilla, Schuster (eds) From sets and types to topology and analysis: practicable foundations for constructive mathematics, Oxford University Press, Oxford, 2005). Here we show that this is the case for the intensional level of the two-level Minimalist Foundation, for short MF, completed in 2009 by the second author. The intensional level of MF consists of an intensional type theory à la Martin-Löf, called mTT. The consistency of mTT with CT and AC is obtained by showing the consistency with the formal Church’s thesis of a fragment of intensional Martin-Löf’s type theory, called MLtt1, where mTT can be easily interpreted. Then to show the consistency of MLtt1 with CT we interpret it within Feferman’s predicative theory of non-iterative fixpoints ID1ˆ by extending the well known Kleene’s realizability semantics of intuitionistic arithmetics so that CT is trivially validated. More in detail the fragment MLtt1 we interpret consists of first order intensional Martin-Löf’s type theory with one universe and with explicit substitution rules in place of usual equality rules preserving type constructors (hence without the so called ξ-rule which is not valid in our realizability semantics). A key difficulty encountered in our interpretation was to use the right interpretation of lambda abstraction in the applicative structure of natural numbers in order to model all the equality rules of MLtt1 correctly. In particular the universe of MLtt1 is modelled by means of ID1ˆ-fixpoints following a technique due first to Aczel and used by Feferman and Beeson
Automation in sensing and raw material characterization - A conceptual framework
No full textThe use of sensor technologies for material characterization is rapidly growing and innovative advancement is observed. However, the use of sensor combinations for a raw material characterization in mining is very limited and automation of the material identification process using a combined sensor signal is not defined. Potential sensor technologies for raw material characterization were evaluated based on the applicability and technological maturity. To ensure a rapid implementation of the Real-time mining (RTM) project concept, mature technologies such as Red Green Blue (RGB) imaging, Visible Near Infrared (VNIR) hyperspectral imaging, Short Wave Infrared (SWIR) hyperspectral imaging, Fourier-Transform Infrared Spectroscopy (FTIR), Laser Induced Breakdown Spectroscopy (LIBS) and Raman were selected. Each selected technology was assessed for automation in sensing and applicability (for characterization of the test case materials). Based on the results the sensor data were further considered for data fusion. The proposed sensor combinations approach encompasses three levels of data fusion: low-level, mid-level and high-level. The data of the different sensors are fused together in order to acquire a wide range of mineral properties within each lithotype and an improved classification and predictive models. The preferred level of data fusion and preferred sensor data combinations will be used to develop a multi-variate statistical interpretation rule which relates combination of sensors signals with raw material properties. Thus a tool which integrates the combined sensor signal with materials properties will be developed and used to automate the material characterization process.Accepted Author ManuscriptResource Engineerin
Vehicle rebalancing for Mobility-on-Demand systems with ride-sharing
No full textRecent developments in Mobility-on-Demand (MoD) systems have demonstrated the potential of road vehicles as an efficient mode of urban transportation Newly developed algorithms can compute vehicle routes in real-time for batches of requests and allow for multiple requests to share vehicles. These algorithms have primarily focused on optimally producing vehicle schedules to pick up and drop off requests. The redistribution of idle vehicles to areas of high demand, known as rebalancing, on the contrary has received little attention in the context of ride-sharing. In this paper, we present a method to rebalance idle vehicles in a ride-sharing enabled MoD fleet. This method consists of an algorithm to optimally partition the fleet operating area into rebalancing regions, an algorithm to determine a real-time demand estimate for every region using incoming requests, and an algorithm to optimize the assignment of idle vehicles to these rebalancing regions using an integer linear program. Evaluation with historical taxi data from Manhattan shows that we can service 99.8% of taxi requests in Manhattan using 3000 vehicles with an average waiting time of 57.4 seconds and an average in-car delay of 13.7 seconds. Moreover, we can achieve a higher service rate using 2000 vehicles than prior work achieved with 3000. Furthermore, with a fleet of 3000 vehicles, we reduce the average travel delay by 86%, the average waiting time by 37%, and the amount of ignored requests by 95% compared to earlier work at the expense of an increased distance travelled by the fleet.Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Learning & Autonomous Contro
Racemization of chiral sulfoxide using an immobilized oxovanadium catalyst
No full textThis is a pre-copyedited, author-produced version of an article accepted for publication in Bulletin of the Chemical Society of Japan following peer review. The version of record Nishio Tomoya, Shigemitsu Hajime, Kida Toshiyuki, et al. Racemization of chiral sulfoxide using an immobilized oxovanadium catalyst. Bulletin of the Chemical Society of Japan 98, 3651 (2024) is available online at: https://doi.org/10.1093/bulcsj/uoae144.Racemization of optically active compounds is an essential process in asymmetric transformations such as dynamic kinetic resolution and deracemization. In this study, the racemization of chiral sulfoxides under mild thermal conditions was realized using a novel silica-gel-supported oxovanadium catalyst. Specifically, we screened reaction conditions, analyzed the substrate scope, and conducted mechanistic studies of the silica-gel-supported oxovanadium-catalyzed racemization of sulfoxides. The racemization reaction has a wide substrate scope, including alkyl aryl sulfoxides and diaryl sulfoxides. The catalyst could be reused by exploiting its heterogeneous nature. Mechanistic studies suggested that racemization proceeds via the formation of a radical cation intermediate mediated by the oxovanadium(V)/(IV) redox cycle
Information content of cloud physical properties derived from satellite active remote sensors
No full textLand Lease #1 between Carson Estate Company and [John Hajime] Masuzumi, 1946-1949
No full textDescribes agreement terms beginning April 1, 1946, ending March 31, 1949. Lease for 35 acres of the Victoria D. de Carson tract; yearly rent is $875. Lease terms are beneath the affixed page of the document
Letter from W. [Wayne] M. Collins to Hajime Kishi, January 8, 1952
No full textThis letter from Wayne M. Collins, a lawyer, explains that Katsumi Kishi and Masao Kishi are native born Peruvian citizens and therefore cannot be deported to Japan. Mr. Wayne Collins goes on to explain that there should be no cause for alarm at any potential deportation.Collection of notes, articles, correspondence, photographs, and term papers collected by Yukio Mochizuki, a student at CSU Dominguez Hills, while researching Japanese American incarceration and Japanese Peruvian internment during World War II
- …
