Fashion design is a complex creative process that blends visual and textual expressions. Designers convey ideas through sketches, which define spatial structure and design elements, and textual descriptions, capturing material, texture, and stylistic details. In this paper, we present LOcalized Text and Sketch for fashion image generation (LOTS), an approach for compositional sketch-text based generation of complete fashion outlooks. LOTS leverages a global description with paired localized sketch + text information for conditioning and introduces a novel step-based merging strategy for diffusion adaptation. First, a Modularized Pair-Centric representation encodes sketches and text into a shared latent space while preserving independent localized features; then, a Diffusion Pair Guidance phase integrates both local and global conditioning via attention-based guidance within the diffusion model's multi-step denoising process. To validate our method, we build on Fashionpedia to release Sketchy, the first fashion dataset where multiple text-sketch pairs are provided per image. Quantitative results show LOTS achieves state-of-the-art image generation performance on both global and loca
We address the problem of maximizing the number of stalls in parking lots where vehicles park perpendicular to the driveways. Building on recent research on two-way driving lanes, we first formulate a mixed integer program to maximize the number of parking stalls using a flow-based approach. Parking lots are rasterized into a grid, and the proposed MIP model optimizes them in a generic manner, adapting to the grid resolution and stall size without requiring custom formulations. The constraints ensure the connectivity of parking stalls and driveways to the entrance/exit. This formulation is then extended to the case of one-way driving lanes. We then propose valid inequalities and a branch-and-cut algorithm for the one-way and two-way lane configurations. This approach eliminates flow variables, big-M type constraints, and improves solution times for medium-sized instances. The effectiveness of the suggested models is showcased on 325 parking lots from New York City. For instances in which the flow version could be solved in 15 minutes, the branch-and-cut algorithm improved the median runtimes by 87.43% for the one-way case and by 79.36% for the two-way case and resulted in better op
Against the backdrop of advancing science and technology, autonomous vehicle technology has emerged as a focal point of intense scrutiny within the academic community. Nevertheless, the challenge persists in guaranteeing the safety and reliability of this technology when navigating intricate scenarios. While a substantial portion of autonomous driving research is dedicated to testing in open-air environments, such as urban roads and highways, where the myriad variables at play are meticulously examined, enclosed indoor spaces like underground parking lots have, to a significant extent, been overlooked in the scholarly discourse. This discrepancy highlights a gap in derstanding the unique challenges these confined settings pose for autonomous navigation systems. This study tackles indoor autonomous driving, particularly in overlooked spaces like underground parking lots. Using CARLA's simulation platform, a realistic parking model is created for data gathering. An occupancy grid network then processes this data to predict vehicle paths and obstacles, enhancing the system's perception in complex indoor environments. Ultimately, this strategy improves safety in autonomous parking oper
ISO/IEC 17000:2020 defines conformity assessment as an "activity to determine whether specified requirements relating to a product, process, system, person or body are fulfilled". JCGM (2012) establishes a framework for accounting for measurement uncertainty in conformity assessment. The focus of JCGM (2012) is on the conformity assessment of individual units of product based on measurements on a cardinal continuous scale. However, the scheme can also be applied to composite assessment targets like finite lots of product or manufacturing processes, and to the evaluation of characteristics in discrete cardinal or nominal scales. We consider the application of the JCGM scheme in the conformity assessment of finite lots or processes of discrete units subject to a dichotomous quality classification as conforming and nonconforming. A lot or process is classified as conforming if the actual proportion nonconforming does not exceed a prescribed upper tolerance limit, otherwise the lot or process is classified as nonconforming. The measurement on the lot or process is a statistical estimation of the proportion nonconforming based on attributes or variables sampling, and meassurement uncert
We use Experimental Mathematics and Symbolic Computation (with Maple), to search for lots and lots of Perrin- and Lucas- style primality tests, and try to sort the wheat from the chaff. More impressively, we find quite a few such primality tests for which we can explicitly construct infinite families of pseudo-primes, rather, like in the cases of Perrin pseudo-primes and the famous Carmichael primes, only proving the mere existence of infinitely many of them.
With the progressive exhaustion of fossil energy and the enhanced awareness of environmental protection, more attention is being paid to plug in hybrid electric vehicles. Inappropriate siting and sizing of plug in hybrid electric vehicles parking lots could have negative effects on the development of plug in hybrid electric vehicles, the layout of the city traffic network, and the convenience of plug in hybrid electric vehicles drivers as well as lead to an increasing in the network losses and a degradation in voltage profiles at some nodes. Given this background, this paper aims to allocate parking lots in Industrial Micro-grids with the objective of minimizing system costs including investment cost, power loss and scheduling cost as possible objectives. A two-stage model has been designed for this purpose. The optimal siting and sizing of parking lots in order to minimize the investment cost of parking lots is performed in the first stage. At the second stage, the optimal plug in hybrid electric vehicles scheduling problem is solved considering market interactions to provide profit to the parking lots owner with taken into account various network constraints. Conclusions are duly
Establishing electrical parking lots will become more important by increasing the use of electric vehicles (EVs). These parking lots not only can be seen as high electrical power consumption loads which can cause the voltage drop at feeders but also they can be used as electrical power plants that can help the main power grid during the load peak hour or any congestion. Therefore, finding an optimum place for the building of these lots, in which the deviation of the voltage at the feeder, power loss in the grid, and cost be minimized, is essential. In this paper, a new method of vehicle-to-grid reactive power support (V2GQ) has been used to add the model of plug-in electric vehicle (PEV) as one part of the objective function to find the optimum place of parking lots. The non-sorting genetic algorithm II (NSGA2) is used here as an optimization algorithm to find the optimum voltage profile based on the location of parking lots. For validation of the purposed method, a 33-bus standard distribution network has been studied.
Precise and long-term stable localization is essential in parking lots for tasks like autonomous driving or autonomous valet parking, \textit{etc}. Existing methods rely on a fixed and memory-inefficient map, which lacks robust data association approaches. And it is not suitable for precise localization or long-term map maintenance. In this paper, we propose a novel mapping, localization, and map update system based on ground semantic features, utilizing low-cost cameras. We present a precise and lightweight parameterization method to establish improved data association and achieve accurate localization at centimeter-level. Furthermore, we propose a novel map update approach by implementing high-quality data association for parameterized semantic features, allowing continuous map update and refinement during re-localization, while maintaining centimeter-level accuracy. We validate the performance of the proposed method in real-world experiments and compare it against state-of-the-art algorithms. The proposed method achieves an average accuracy improvement of 5cm during the registration process. The generated maps consume only a compact size of 450 KB/km and remain adaptable to evol
The problem of multimodal intent and trajectory prediction for human-driven vehicles in parking lots is addressed in this paper. Using models designed with CNN and Transformer networks, we extract temporal-spatial and contextual information from trajectory history and local bird's eye view (BEV) semantic images, and generate predictions about intent distribution and future trajectory sequences. Our methods outperform existing models in accuracy, while allowing an arbitrary number of modes, encoding complex multi-agent scenarios, and adapting to different parking maps. To train and evaluate our method, we present the first public 4K video dataset of human driving in parking lots with accurate annotation, high frame rate, and rich traffic scenarios.
In a 2021 paper, Vladimir Tkachuk asked whether there is a non-separable LOTS $X$ such that $X^2\setminus\{\langle x,x\rangle\colon x\in X\}$ is functionally countable. In this paper we prove that such a space, if it exists, must be an Aronszajn line and admits a $\leq 2$-to-$1$ retraction to a subspace that is a Suslin line. After this, assuming the existence of a Suslin line, we prove that there is Suslin line that is functionally countable. Finally, we present an example of a functionally countable Suslin line $L$ such that $L^2\setminus\{\langle x,x\rangle\colon x\in L\}$ is not functionally countable.
Aperiodic tiling --- a form of complex global geometric structure arising through locally checkable, constant-time matching rules --- has long been closely tied to a wide range of physical, information-theoretic, and foundational applications, but its study and use has been hindered by a lack of easily generated examples. Through readily generalized, robust techniques for controlling hierarchical structure, we increase the catalogue of explicit constructions of aperiodic sets of tiles hundreds-fold, in lots, easily assembled and configured from atomic subsets of 211 tiles, enforcing 25,380 distinct "domino" substitution tiling systems. Among these, we notice three non-periodic, non-unique decomposition substitution tiling systems.
This article has been withdrawn in 2013. The class of LOTS (linearly ordered topological spaces) contains many important spaces, like the set of real numbers, the set of rational numbers and the ordinals. Such spaces have rich topological properties, which are not necessarily hereditary.
Vehicle-to-grid (V2G) technology has drawn great interest in the recent years and its efficiency depends on scheduling of charging process of plug-in electric vehicles (PEVs) as small portable power plants in smart parking lots. On the other hand, active shift from centralized to decentralized power generation and environmental concerns have caused an increase in the utilization of combined heat and power (CHP) units in power systems. The goal of this study is to develop and simulate a novel approach for combined heat and power unit commitment with PEVs for cost reduction in electric power system. A schedule for charging and discharging processes of PEVs with respect to load curve variations is proposed in this paper. A modified test system consisting of conventional TG (thermal power generating) units, CHP units, and PEVs is employed to investigate the impacts of PEVs on generation scheduling. For the modified test system, results obtained are encouraging and indicate both the feasibility of the proposed technique and its effectiveness on generation scheduling.
The amount of sun cast on roads and parking lots determines the charging opportunities for solar vehicles and impacts the efficiency of conventional vehicles. Estimates of solar energy potential on urban surfaces to assess parking and driving conditions need to account for the shadows cast by surrounding trees and buildings. However, though existing GIS tools can calculate solar potential on surfaces that have buildings and trees, these tools do not estimate the conditions beneath trees and do not consider the seasonal changes in deciduous trees. We introduce a new approach to address these factors using pixel substitution and a light penetration factor. In this paper, we describe how to integrate these techniques into a workflow for computing solar potential estimates for parking and driving conditions. We demonstrate the methodology in an urban setting in North Carolina that includes a mixture of urban structures and trees. We provide code samples so that this workflow is easily repeatable. The solar maps produced with our method are a useful resource for planning solar vehicle parking and routing, and identifying shaded conditions for conventional vehicles.
Sketches offer designers a concise yet expressive medium for early-stage fashion ideation by specifying structure, silhouette, and spatial relationships, while textual descriptions complement sketches to convey material, color, and stylistic details. Effectively combining textual and visual modalities requires adherence to the sketch visual structure when leveraging the guidance of localized attributes from text. We present LOcalized Text and Sketch with multi-level guidance (LOTS), a framework that enhances fashion image generation by combining global sketch guidance with multiple localized sketch-text pairs. LOTS employs a Multi-level Conditioning Stage to independently encode local features within a shared latent space while maintaining global structural coordination. Then, the Diffusion Pair Guidance stage integrates both local and global conditioning via attention-based guidance within the diffusion model's multi-step denoising process. To validate our method, we develop Sketchy, the first fashion dataset where multiple text-sketch pairs are provided per image. Sketchy provides high-quality, clean sketches with a professional look and consistent structure. To assess robustness
Linear mixed models are widely used for pharmaceutical stability trending when sufficient lots are available. Expiry support is typically based on whether lot-specific conditional-mean confidence limits remain within specification through a proposed expiry. These limits depend on the denominator degrees-of-freedom (DDF) method used for $t$-based inference. We document an operationally important boundary-proximal phenomenon: when a fitted random-effect variance component is close to zero, Satterthwaite DDF for conditional-mean predictions can collapse, inflating $t$ critical values and producing unnecessarily wide and sometimes nonmonotone pointwise confidence limits on scheduled time grids. In contrast, containment DDF yields stable degrees of freedom and avoids sharp discontinuities as variance components approach the boundary. Using a worked example and simulation studies, we show that DDF choice can materially change pass/fail conclusions even when observed data comfortably meet specifications. Containment-based inference with the full random-effects model provides a single modeling framework that avoids the discontinuities introduced by data-dependent model reduction at arbitra
This is a first stab at a mathematical framework in which one can study quantum field theories on spacetimes with quite general geometries. We will study these theories via their factorization algebras. The aim is to identify a minimalist formalism that makes sense of factorization algebras in any geometric context. This formalism extends the technology of factorization algebras to many new contexts, including those arising in arithmetic quantum field theories. In order to make sense of factorization algebras on a geometric object X, one needs two ingredients. First, one needs an additional piece of structure on X that we call an "isolability structure." This is the data required to say whether two (generalized) points of X are "distant." This is encoded as a functor from a certain combinatorial category of cographs. Second, one needs some sort of sheaf theory. The isolability structure then induces on the category of sheaves a kind of twofold symmetric monoidal structure. Factorization algebras are then defined in terms of this structure. This paper develops this formalism. We describe how some existing theories of factorization algebras fit into this framework, and we give a cons
Discussions of minimum parking requirement policies often include maps of parking lots, which are time consuming to construct manually. Open source datasets for such parking lots are scarce, particularly for US cities. This paper introduces the idea of using Near-Infrared (NIR) channels as input and several post-processing techniques to improve the prediction of off-street surface parking lots using satellite imagery. We constructed two datasets with 12,617 image-mask pairs each: one with 3-channel (RGB) and another with 4-channel (RGB + NIR). The datasets were used to train five deep learning models (OneFormer, Mask2Former, SegFormer, DeepLabV3, and FCN) for semantic segmentation, classifying images to differentiate between parking and non-parking pixels. Our results demonstrate that the NIR channel improved accuracy because parking lots are often surrounded by grass, even though the NIR channel needed to be upsampled from a lower resolution. Post-processing including eliminating erroneous holes, simplifying edges, and removing road and building footprints further improved the accuracy. Best model, OneFormer trained on 4-channel input and paired with post-processing techniques ach
Parking lot surveillance with integrated sensing and communication (ISAC) system is one of the potential application scenarios defined by 3rd Generation Partnership Project (3GPP). Traditional surveillance systems using cameras or magnetic sensors face limitations such as light dependence, high costs, and constrained scalability. Wireless sensing with reconfigurable intelligent surfaces (RISs) has the ability to address the above limitations due to its light independence and lower deployment overhead. In this study, we propose a difference imaging-based multi-RIS-aided collaborative ISAC system to achieve parking lot surveillance. In a parking lot, the presence of vehicles induces impacts on wireless environments due to scattering characteristic variation. By delineating the parking lot into a two-dimensional image with several grid units, the proposed system can capture the variation of their scattering coefficients in free and occupied states. The variation between these two states is sparse, which can be captured through compressed sensing (CS)-based imaging algorithms. Additionally, we collaboratively employ multiple RISs to enable higher surveillance performance. Experimental
The growing need for companies to reduce costs and maximize profits has led to an increased focus on logistics activities. Among these, inventory management plays a crucial role in minimizing organizational expenses by optimizing the storage and transportation of materials. In this context, this study introduces an optimization model for the lot-sizing problem based on a physical system approach. By establishing that the material supply problem is isomorphic to a one-dimensional mechanical system of point particles connected by elastic elements, we leverage this analogy to derive cost optimization conditions naturally and obtain an exact solution. This approach determines lot sizes that minimize the combined ordering and inventory holding costs in a significantly shorter time, eliminating the need for heuristic methods. The optimal lot sizes are defined in terms of the parameter $ γ= 2C_O / C_H $, which represents the relationship between the ordering cost per order ($ C_O $) and the holding cost per period for the material required in one period ($ C_H $). This parameter fully dictates the system's behavior: when $ γ\leq 1 $, the optimal strategy is to place one order per period,