{"results":[{"id":"ss_95ebc3b7f19a6ae4844ab127d6de00a3b048cf87","title":"Urban and Regional Planning","authors":[{"name":"P. Hall"},{"name":"M. Tewdwr-Jones"}],"abstract":"1. Planning, Planners and Plans 2. The Origins: The Urban Growth, From 1800 to 1940 3. The Seers: Pioneer Thinkers in Urban Planning, From 1880 to 1945 4. The Creation of the Postwar Planning Machine, From 1940 to 1952 5. National/Regional Planning, From 1945 to 2010 6. Planning for Cities and City Regions, From 1945 to 2010 7. Planning in Western Europe Since 1945 8. Planning in the United States Since 1945 9. The Planning Process","source":"Semantic Scholar","year":2019,"language":"en","subjects":["Geography"],"doi":"10.4135/9781412952422.n309","url":"https://www.semanticscholar.org/paper/95ebc3b7f19a6ae4844ab127d6de00a3b048cf87","is_open_access":true,"citations":299,"published_at":"","score":71.97},{"id":"doaj_10.1136/bmjopen-2025-100947","title":"Paternal postpartum depression and its associated factors among partners of postpartum women at Dessie Town, Northeast Ethiopia, 2023: a community-based cross-sectional study","authors":[{"name":"Amare Workie"},{"name":"Abdulaziz Assefa"},{"name":"Mandefro Assefaw"},{"name":"Aynalem Belay Abate"}],"abstract":"Background Paternal postpartum depression among fathers of newborns is a new concept in Ethiopia. It is an emerging public health concern because it produces insidious effects on the well-being of newborns as well as on the whole family. However, there is limited evidence on the prevalence of paternal postpartum depression and its associated factors among partners of postpartum women in Ethiopia.Design A community-based cross-sectional study was conducted.Setting This study was conducted in Dessie town, Amhara Regional State, Northeast Ethiopia.Participants 634 partners of postpartum women participated in the study between 10 January and 10 February 2023. The study included fathers whose spouses had given birth in the last 12 months and who had been of the randomly selected kebeles for at least 6 months. Fathers aged \u0026lt;18 years at the time of data collection were excluded from the study. Data were collected through the structured and pretested Amharic questionnaire through face-to-face interviews.Primary and secondary outcome measures A standardised and validated depression-screening instrument (Edinburgh Postnatal Depression Scale) was used to assess paternal postpartum depression. Variables with a P value\u0026lt;0.25 in the bivariable analyses were used as the cut point for eligibility in the multivariable binary logistic regression model. Finally, statistically significant associated factors or secondary outcomes were declared at a p value\u0026lt;0.05 and were reserved in the final model with 95% CI.Results 610 fathers were interviewed, with a response rate of 96.2%, and the prevalence of paternal postpartum depression was 19% (95% CI 16.0 to 22.3). This study showed that not being comfortable with income (adjusted OR (AOR)=2.32 (95% CI 1.16 to 4.66)], substance use (AOR=2.48 (95% CI 1.22 to 5.05)), prior parenting experience (AOR=1.89 (95% CI 1.02 to 3.50)), unplanned pregnancy (AOR=2.81 (95% CI 1.50 to 5.25)) and infant sleep problems (AOR=4.59 (95% CI 1.80 to 7.18)) were significantly associated with paternal depression.Conclusion and recommendations This study revealed that nearly one-fifth of fathers had paternal depression. Factors significantly associated with PPD were not being comfortable with family income, substance use, experience of childbirth, unplanned pregnancy and infant sleeping problems. This suggests the need to provide health education to decrease substance use and counselling on the utilisation of family planning to minimise unplanned pregnancy and support offered to multiparous fathers.","source":"DOAJ","year":2026,"language":"","subjects":["Medicine"],"doi":"10.1136/bmjopen-2025-100947","url":"https://bmjopen.bmj.com/content/16/1/e100947.full","is_open_access":true,"published_at":"","score":70},{"id":"doaj_10.5194/isprs-annals-X-5-W2-2025-375-2025","title":"Geospatial for Good: Empowering Citizens for Sustainable Urban and Rural Futures","authors":[{"name":"S. K. Malick"},{"name":"V. Chavan"},{"name":"V. Chavan"},{"name":"S. Ravan"},{"name":"S. Ravan"}],"abstract":"Geospatial technologies are rapidly emerging as pivotal tools for advancing sustainable urban and rural development through citizen empowerment in India and worldwide. This study systematically reviews peer-reviewed and grey literature to examine their integration with global frameworks, such as the SDGs, Paris Agreement, and Sendai Framework, while aligning with Indian initiatives like NAPCC, Smart Cities, Digital India, SVAMITVA, AMRUT, and the National Geospatial Policy 2022, with emphasis on the citizen as a crucial feedback factor. Employing thematic mapping and comparative analysis between the Global North and South, we evaluate applications in urban planning, mobility, energy, resilience, and health, highlighting platforms like PPGIS, VGI, Bhuvan, and 'Know Your DIGIPIN' for participatory data collection and decision-making.\u003c/p\u003e\r\n\u003cp\u003eOur analysis reveals regional disparities in India, with the southern zone leading in innovation (35% adoption) and the eastern region focussing on disaster management (15%), along with global successes in disaster relief, welfare targeting, and immunisation tracking. Quantitative impacts include India's geospatial market growth to ₹63,000 crores by 2025 and AMRUT 2.0's rapid water and sewerage coverage expansion in many major cities. However, persistent challenges include technical knowledge gaps in academia, insufficient institutional support for geospatial startups, and barriers like low digital literacy and language limitations that restrict broader participation.\u003c/p\u003e\r\n\u003cp\u003eWe recommend enhanced geospatial education, open data policies, vernacular interfaces, and inclusive citizen science frameworks to bridge these gaps, foster equitable participation, and realise geospatial intelligence's full potential for resilient, data-driven sustainability.","source":"DOAJ","year":2025,"language":"","subjects":["Technology","Engineering (General). Civil engineering (General)","Applied optics. Photonics"],"doi":"10.5194/isprs-annals-X-5-W2-2025-375-2025","url":"https://isprs-annals.copernicus.org/articles/X-5-W2-2025/375/2025/isprs-annals-X-5-W2-2025-375-2025.pdf","is_open_access":true,"published_at":"","score":69},{"id":"doaj_10.1016/j.scienta.2025.114464","title":"Transcriptome and 4D label-free quantitative phosphoproteome analyses reveal transcriptional and phosphorylation changes of key genes in fruiting body development of Pleurotus ostreatus","authors":[{"name":"Qi He"},{"name":"Yuqing Jiang"},{"name":"Xiangli Wu"},{"name":"Mengran Zhao"}],"abstract":"Transcriptomics and 4D label-free quantitative phosphoproteomics technologies were used to study the molecular basis of fruiting body development in Pleurotus ostreatus at both the transcriptional and post-translational levels. During the transition from the mycelium to the primordium stage, a greater number of differentially expressed genes (DEGs) were down-regulated, and phosphorylation levels decreased in most differentially phosphorylated proteins (DPPs). During the transition from primordium to fruiting body stage, was characterized by a predominance of up-regulated DEGs and enhanced phosphorylation levels in a larger proportion of DPPs. During the transition from primordium to fruiting body stage, a greater number of DEGs were up-regulated, and phosphorylation levels were enhanced in the DPPs. KEGG pathway enrichment analysis of key DPPs revealed that the mitogen-activated protein kinase (MAPK) signaling pathway, ribosome, spliceosome, and RNA transport were critical pathways influencing fruiting body development. Functional validation of the key gene PoMPK1 in the MAPK signaling pathway was performed using Agrobacterium tumefaciens-mediated genetic transformation. The results demonstrated that interference with the PoMPK1 gene promoted fruiting body development, indicating that PoMPK1 negatively regulates fruiting body development in P. ostreatus. This work provides a theoretical reference for the molecular mechanism of fruiting body development in P. ostreatus.","source":"DOAJ","year":2025,"language":"","subjects":["Plant culture"],"doi":"10.1016/j.scienta.2025.114464","url":"http://www.sciencedirect.com/science/article/pii/S0304423825005126","is_open_access":true,"published_at":"","score":69},{"id":"doaj_10.3390/land14091704","title":"Headwater Systems as Green Infrastructure: Prioritising Restoration Hotspots for Sustainable Rural Landscapes","authors":[{"name":"Selma B. Pena"}],"abstract":"This study aims to assess the role of headwater systems (HS) in enhancing ecological connectivity and supporting Green Infrastructure in the Centre Region of Portugal. Specifically, it identifies restoration opportunity areas within HS by analysing land-use changes over the past 70 years, modelling land-use scenarios to promote ecological resilience, and evaluating connectivity between HS and Natura 2000 sites. The methodology integrates spatial analysis of historical land-use data with connectivity modelling using least-cost path approaches. Results show substantial transformation in HS areas, notably the expansion of eucalyptus plantations and a decline in agricultural land. Approximately 58% of the HS are identified as requiring restoration, including areas within the Natura 2000 network. The connectivity assessment reveals that HS can function as effective ecological corridors, contributing to improved water regulation, soil conservation, gene flow, and wildfire mitigation. A total of 61 potential ecological linkages between Natura 2000 sites were identified. These findings highlight the strategic importance of integrating HS into regional and national Green Infrastructure planning and supporting the implementation of the EU Biodiversity Strategy for 2030. The study recommends prioritising headwater restoration through multi-scale planning approaches and active involvement of local stakeholders to ensure sustainable land-use management.","source":"DOAJ","year":2025,"language":"","subjects":["Agriculture"],"doi":"10.3390/land14091704","url":"https://www.mdpi.com/2073-445X/14/9/1704","is_open_access":true,"published_at":"","score":69},{"id":"arxiv_2512.16864","title":"RePlan: Reasoning-guided Region Planning for Complex Instruction-based Image Editing","authors":[{"name":"Tianyuan Qu"},{"name":"Lei Ke"},{"name":"Xiaohang Zhan"},{"name":"Longxiang Tang"},{"name":"Yuqi Liu"},{"name":"Bohao Peng"},{"name":"Bei Yu"},{"name":"Dong Yu"},{"name":"Jiaya Jia"}],"abstract":"Instruction-based image editing enables natural-language control over visual modifications, yet existing models falter under Instruction-Visual Complexity (IV-Complexity), where intricate instructions meet cluttered or ambiguous scenes. We introduce RePlan (Region-aligned Planning), a plan-then-execute framework that couples a vision-language planner with a diffusion editor. The planner decomposes instructions via step-by-step reasoning and explicitly grounds them to target regions; the editor then applies changes using a training-free attention-region injection mechanism, enabling precise, parallel multi-region edits without iterative inpainting. To strengthen planning, we apply GRPO-based reinforcement learning using 1K instruction-only examples, yielding substantial gains in reasoning fidelity and format reliability. We further present IV-Edit, a benchmark focused on fine-grained grounding and knowledge-intensive edits. Across IV-Complex settings, RePlan consistently outperforms strong baselines trained on far larger datasets, improving regional precision and overall fidelity. Our project page: https://replan-iv-edit.github.io","source":"arXiv","year":2025,"language":"en","subjects":["cs.CV"],"url":"https://arxiv.org/abs/2512.16864","pdf_url":"https://arxiv.org/pdf/2512.16864","is_open_access":true,"published_at":"2025-12-18T18:34:23Z","score":69},{"id":"arxiv_2501.11803","title":"Automating RT Planning at Scale: High Quality Data For AI Training","authors":[{"name":"Riqiang Gao"},{"name":"Mamadou Diallo"},{"name":"Han Liu"},{"name":"Anthony Magliari"},{"name":"Jonathan Sackett"},{"name":"Wilko Verbakel"},{"name":"Sandra Meyers"},{"name":"Rafe Mcbeth"},{"name":"Masoud Zarepisheh"},{"name":"Simon Arberet"},{"name":"Martin Kraus"},{"name":"Florin C. Ghesu"},{"name":"Ali Kamen"}],"abstract":"Radiotherapy (RT) planning is complex, subjective, and time-intensive. Advances with artificial intelligence (AI) promise to improve its precision and efficiency, but progress is often limited by the scarcity of large, standardized datasets. To address this, we introduce the Automated Iterative RT Planning (AIRTP) system, a scalable solution for generating high-quality treatment plans. This scalable solution is designed to generate substantial volumes of consistently high-quality treatment plans, overcoming a key obstacle in the advancement of AI-driven RT planning. Our AIRTP pipeline adheres to clinical guidelines and automates essential steps, including organ-at-risk (OAR) contouring, helper structure creation, beam setup, optimization, and plan quality improvement, using AI integrated with RT planning software like Varian Eclipse. Furthermore, a novel approach for determining optimization parameters to reproduce 3D dose distributions, i.e. a method to convert dose predictions to deliverable treatment plans constrained by machine limitations is proposed. A comparative analysis of plan quality reveals that our automated pipeline produces treatment plans of quality comparable to those generated manually, which traditionally require several hours of labor per plan. Committed to public research, the first data release of our AIRTP pipeline includes nine cohorts covering head-and-neck and lung cancer sites to support an AAPM 2025 challenge. To our best knowledge, this dataset features more than 10 times number of plans compared to the largest existing well-curated public dataset. Repo: https://github.com/RiqiangGao/GDP-HMM_AAPMChallenge.","source":"arXiv","year":2025,"language":"en","subjects":["cs.HC","cs.LG","cs.RO"],"url":"https://arxiv.org/abs/2501.11803","pdf_url":"https://arxiv.org/pdf/2501.11803","is_open_access":true,"published_at":"2025-01-21T00:44:18Z","score":69},{"id":"doaj_Identify+the+causal+pattern+of+sustainability+principles++Environment+Based+on+Leed+Regulations+with+Emphasis+on+Traditional+Iranian+Architecture+%28Case+Study%3A+Qom+City%29","title":"Identify the causal pattern of sustainability principles  Environment Based on Leed Regulations with Emphasis on Traditional Iranian Architecture (Case Study: Qom City)","authors":[{"name":"Hassan Haji Amiri"},{"name":"Arash Seghfi Asl"},{"name":"Mehdi Ashjaie"}],"abstract":"The question of resource constraints is an issue for all industrialized, developed and developing countries. Therefore, saving on fossil energy consumption and sustainable development have become very important and common issues internationally. So as to conserve energy resources, prevent contamination of the land and the environment, reduce fossil energy use and co-exist with natural and state-of-the-art environments, one of the most important measures in architecture and urban planning, and the architects and urban planners have to adhere to the principles and rules. Special in the field of construction. Over the years, various guidelines, standards, and standards have been developed to optimize energy consumption in buildings, including the most noteworthy metrics today (LEED). The purpose of the present study is to identify the causal pattern of environmental sustainability principles based on the Leid's Code. The present study is of applied purpose and of descriptive-analytical method. The statistical population of this study consisted of Qom architects and experts. The sample size was 25 individuals. In order to achieve the purpose of the study, fuzzy DEMATEL model was used. The results of this study showed that amongst the biodiversity sustainability criteria based on the Leading Model of the Sustainable Site Criterion was identified as the most influential criterion and the Regional Priority and Innovation Criteria in the design as the most influential criterion. Energy, climate and water efficiency and indoor air quality of materials and materials were also identified as intermediate criteria.","source":"DOAJ","year":2024,"language":"","subjects":["Geography (General)"],"url":"http://jgs.khu.ac.ir/article-1-3696-en.pdf","pdf_url":"http://jgs.khu.ac.ir/article-1-3696-en.pdf","is_open_access":true,"published_at":"","score":68},{"id":"doaj_10.38140/trp.v85i.8528","title":"The extent to which South Africa’s legal and policy frameworks empower traditional leadership to contribute to achieving SDG 11","authors":[{"name":"Fredua Agyemang "}],"abstract":"Sustainable Development Goal 11 (SDG 11) focuses on making cities and human settlements inclusive, safe, resilient, and sustainable. Although the goal primarily addresses urban development, its principles also extend to rural areas, but the extent to which South Africa’s legal and policy frameworks empower traditional authorities to contribute to the development of their communities, particularly towards achieving SDG11, remains insufficiently explored. This study investigates how South Africa’s national legislative frameworks on traditional leadership have been applied to support the advancement of SDG 11. It examines the legal provisions within the 1996 Constitution of the Republic of South Africa, and relevant legislation to determine whether these frameworks provide a strong legal basis for promoting SDG 11 through the empowerment of traditional leadership. This study employs a desktop research methodology involving a comprehensive review of relevant laws, policies, and case law. Secondary data were gathered from case studies, journal articles, books, case laws, and credible internet sources. The findings suggest that the traditional authority system is deeply embedded within the South African Constitution, as well as legislative and policy frameworks, and has been effectively leveraged to advance SDG 11. Key insights emphasise the constitutional and legal recognition of traditional authorities and highlight the enforcement of traditional leadership roles and functions through various legal cases, and SDG 11-aligned programmes in South Africa. The areas where the role and functions of traditional leadership intersect with SDG 11 and rural development include security and safety, community participation, land management and sustainable settlements, cultural heritage and community identity, disaster management, and environmental stewardship. The empowerment of traditional leadership in South Africa has significant implications for achieving SDG 11 and rural development. These implications include enhanced local governance and service delivery, increased accountability and transparency, balanced rural-urban linkages, promotion of environmental stewardship, and the fostering of inclusive development. It also strengthens rural resilience, preserves cultural heritage, promotes sustainable resource management, and improves community engagement. However, challenges related to power dynamics, equity, and the need for policy integration and cohesion must be addressed to ensure that traditional leadership empowerment contributes effectively to sustainable development in South Africa.","source":"DOAJ","year":2024,"language":"","subjects":["Cities. Urban geography","Urban groups. The city. Urban sociology"],"doi":"10.38140/trp.v85i.8528","url":"https://journals.ufs.ac.za/index.php/trp/article/view/8528","is_open_access":true,"published_at":"","score":68},{"id":"doaj_10.15575/ks.v5i3.28736","title":"The Relationship between Social Capital, Human Capital, and the Level of Welfare of Farmers in Ponorogo, Indonesia","authors":[{"name":"Achmad Tjachja Nugraha"},{"name":"Fikriyah Fikriyah"},{"name":"Izatul Ihsansi Hidayana"},{"name":"Salsa Alifia Najid"},{"name":"Gunawan Prayitno"}],"abstract":"Community empowerment is one of the solutions to overcome the problem of poverty in an area. Community empowerment can be carried out by utilizing local potential and developing aspects and social capital. Based on the theory of the poverty circle, several factors cause poverty, including income levels, education levels, and the amount of consumption. Ponorogo Regency is one of the top 10 food support districts in East Java, with progress in the agricultural sector capable of supporting regional food security. However, many underprivileged residents have a poverty rate 2022 of 9.32% of the total population. Based on these facts, this study aims to reveal the relationship between social capital, education level, and income level in Ponorogo Regency. This study uses multiple linear regression analysis with independent variables (Xn), including the level of public education (X1) and human capital (X2), as well as the dependent variable (Y), namely the level of welfare of the people of Ponorogo Regency. The analysis results show that in Ponorogo Regency, there is a correlation between social capital and the level of education and community welfare. The level of social welfare is influenced by education and human capital. The higher the education level and human capital, the higher the social welfare and social capital formed. The development of social capital in networks at the educational level of Ponorogo Regency is very closely related, especially to participation in the religious field. Likewise, the relationship with norms on social capital in which the community has no tendency for a certain level of education related to the desire to implement applicable norms. However, participation in traditional activities has a closer relationship only at the elementary to secondary education level. The analysis results also show that the people of Ponorogo Regency with any income level have a close relationship with all elements of social capital, namely trust, social networks, and norms. Low-income people are associated with an increase in social class.","source":"DOAJ","year":2023,"language":"","subjects":["Social Sciences"],"doi":"10.15575/ks.v5i3.28736","url":"https://journal.uinsgd.ac.id/index.php/ks/article/view/28736","is_open_access":true,"published_at":"","score":67},{"id":"doaj_10.1051/e3sconf/202340703004","title":"Environmental Protection Areas as a Strategy to Increase Flood Protection in Metropolitan Regions: A Case Study in Maricá, Rio de Janeiro, Brazil","authors":[{"name":"Vitória Ribeiro Gomes Maria"},{"name":"Figueiredo Ferreira Giulia"},{"name":"Ferreira de Araújo Daniele"},{"name":"Rinaldi de Mattos Rodrigo"},{"name":"Pires Veról Aline"},{"name":"Canedo de Magalhães Paulo"},{"name":"Moura Rezende Osvaldo"},{"name":"Gomes Miguez Marcelo"}],"abstract":"In peripheral countries, the lack of adequate urban planning associated with natural dynamics intensifies the existing vulnerabilities of the environment, causing physical and material losses. Therefore, this research aims to discuss the potential use of Environmental Protection Areas as a tool to drive urban growth with a low-impact development, helping to mitigate urban floods and bringing nature into the city landscape. The municipality of Maricá, located in the metropolitan region of Rio de Janeiro, Brazil, is taken as a case study. The method proposed to drive the regional environmental planning and management can be described as a three-stage method coupled with the adapted SWOT Matrix, following: the diagnosis, the prognosis, and the action plan. This process points to the definition of a Hydrological Interest Area that would allow not only the restoration of local vegetation and a better interaction of the population with the watercourses, but also the recovery of areas that have been gradually impacted by the urban expansion. The method presented in this research allows its application in different urban contexts, once it has the objective of recognizing the strengths, weaknesses, opportunities, and threats to allow the elaboration of sustainable actions and guidelines.","source":"DOAJ","year":2023,"language":"","subjects":["Environmental sciences"],"doi":"10.1051/e3sconf/202340703004","url":"https://www.e3s-conferences.org/articles/e3sconf/pdf/2023/44/e3sconf_apeem2023_03004.pdf","pdf_url":"https://www.e3s-conferences.org/articles/e3sconf/pdf/2023/44/e3sconf_apeem2023_03004.pdf","is_open_access":true,"published_at":"","score":67},{"id":"arxiv_2306.07353","title":"HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN Planning","authors":[{"name":"Damien Pellier"},{"name":"Alexandre Albore"},{"name":"Humbert Fiorino"},{"name":"Rafael Bailon-Ruiz"}],"abstract":"Real world applications as in industry and robotics need modelling rich and diverse automated planning problems. Their resolution usually requires coordinated and concurrent action execution. In several cases, these problems are naturally decomposed in a hierarchical way and expressed by a Hierarchical Task Network (HTN) formalism.   HDDL, a hierarchical extension of the Planning Domain Definition Language (PDDL), unlike PDDL 2.1 does not allow to represent planning problems with numerical and temporal constraints, which are essential for real world applications. We propose to fill the gap between HDDL and these operational needs and to extend HDDL by taking inspiration from PDDL 2.1 in order to express numerical and temporal expressions. This paper opens discussions on the semantics and the syntax needed for a future HDDL 2.1 extension.","source":"arXiv","year":2023,"language":"en","subjects":["cs.AI"],"url":"https://arxiv.org/abs/2306.07353","pdf_url":"https://arxiv.org/pdf/2306.07353","is_open_access":true,"published_at":"2023-06-12T18:21:23Z","score":67},{"id":"arxiv_2307.13549","title":"A Planning Ontology to Represent and Exploit Planning Knowledge for Performance Efficiency","authors":[{"name":"Bharath Muppasani"},{"name":"Vishal Pallagani"},{"name":"Biplav Srivastava"},{"name":"Raghava Mutharaju"},{"name":"Michael N. Huhns"},{"name":"Vignesh Narayanan"}],"abstract":"Ontologies are known for their ability to organize rich metadata, support the identification of novel insights via semantic queries, and promote reuse. In this paper, we consider the problem of automated planning, where the objective is to find a sequence of actions that will move an agent from an initial state of the world to a desired goal state. We hypothesize that given a large number of available planners and diverse planning domains; they carry essential information that can be leveraged to identify suitable planners and improve their performance for a domain. We use data on planning domains and planners from the International Planning Competition (IPC) to construct a planning ontology and demonstrate via experiments in two use cases that the ontology can lead to the selection of promising planners and improving their performance using macros - a form of action ordering constraints extracted from planning ontology. We also make the planning ontology and associated resources available to the community to promote further research.","source":"arXiv","year":2023,"language":"en","subjects":["cs.AI"],"url":"https://arxiv.org/abs/2307.13549","pdf_url":"https://arxiv.org/pdf/2307.13549","is_open_access":true,"published_at":"2023-07-25T14:51:07Z","score":67},{"id":"arxiv_2312.06490","title":"Automated Planning Techniques for Elementary Proofs in Abstract Algebra","authors":[{"name":"Alice Petrov"},{"name":"Christian Muise"}],"abstract":"This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and computer programs to construct mathematical proofs. In particular, we investigate the use of planning to construct elementary proofs in abstract algebra, which provides a rigorous and axiomatic framework for studying algebraic structures such as groups, rings, fields, and modules. We implement basic implications, equalities, and rules in both deterministic and non-deterministic domains to model commutative rings and deduce elementary results about them. The success of this initial implementation suggests that the well-established techniques seen in automated planning are applicable to the relatively newer field of automated theorem proving. Likewise, automated theorem proving provides a new, challenging domain for automated planning.","source":"arXiv","year":2023,"language":"en","subjects":["cs.AI"],"url":"https://arxiv.org/abs/2312.06490","pdf_url":"https://arxiv.org/pdf/2312.06490","is_open_access":true,"published_at":"2023-12-11T16:17:43Z","score":67},{"id":"arxiv_2309.08587","title":"Compositional Foundation Models for Hierarchical Planning","authors":[{"name":"Anurag Ajay"},{"name":"Seungwook Han"},{"name":"Yilun Du"},{"name":"Shuang Li"},{"name":"Abhi Gupta"},{"name":"Tommi Jaakkola"},{"name":"Josh Tenenbaum"},{"name":"Leslie Kaelbling"},{"name":"Akash Srivastava"},{"name":"Pulkit Agrawal"}],"abstract":"To make effective decisions in novel environments with long-horizon goals, it is crucial to engage in hierarchical reasoning across spatial and temporal scales. This entails planning abstract subgoal sequences, visually reasoning about the underlying plans, and executing actions in accordance with the devised plan through visual-motor control. We propose Compositional Foundation Models for Hierarchical Planning (HiP), a foundation model which leverages multiple expert foundation model trained on language, vision and action data individually jointly together to solve long-horizon tasks. We use a large language model to construct symbolic plans that are grounded in the environment through a large video diffusion model. Generated video plans are then grounded to visual-motor control, through an inverse dynamics model that infers actions from generated videos. To enable effective reasoning within this hierarchy, we enforce consistency between the models via iterative refinement. We illustrate the efficacy and adaptability of our approach in three different long-horizon table-top manipulation tasks.","source":"arXiv","year":2023,"language":"en","subjects":["cs.LG","cs.AI","cs.RO"],"url":"https://arxiv.org/abs/2309.08587","pdf_url":"https://arxiv.org/pdf/2309.08587","is_open_access":true,"published_at":"2023-09-15T17:44:05Z","score":67},{"id":"ss_50b5fd9ad039f88ead0c0a2fed74f328a98bea01","title":"Creating ‘resilience imaginaries’ for city-regional planning","authors":[{"name":"Vangelis Pitidis"},{"name":"J. Coaffee"},{"name":"Aphrodite Bouikidis"}],"abstract":"ABSTRACT Resilience narratives have gathered increased attention in city-regional planning over the last two decades, emphasizing holistic foresight, long-term strategic visioning, cross-sectoral integration and collaborative modes of planning. Combining such resilience narratives with the established idea of socio-spatial imaginaries, we introduce the novel concept of ‘resilience imaginaries’ and explore its application in the city-region of Thessaloniki, Greece. This paper illustrates that resilience imaginaries can be viewed as dynamic and politically contested visions for long-term city-regional development, collectively structured by civic stakeholders, institutionally expressed through city-regional governance transformations and materially manifested through city-regional planning interventions.","source":"Semantic Scholar","year":2022,"language":"en","subjects":null,"doi":"10.1080/00343404.2022.2047916","url":"https://www.semanticscholar.org/paper/50b5fd9ad039f88ead0c0a2fed74f328a98bea01","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/00343404.2022.2047916?needAccess=true","is_open_access":true,"citations":19,"published_at":"","score":66.57},{"id":"ss_c9050ace77b5d7bc97cef3c291f5b01c06a28401","title":"An integrated multifractal modelling to urban and regional planning","authors":[{"name":"P. Frankhauser"},{"name":"Cécile Tannier"},{"name":"Gilles Vuidel"},{"name":"H. Houot"}],"abstract":"","source":"Semantic Scholar","year":2018,"language":"en","subjects":["Geography","Computer Science"],"doi":"10.1016/j.compenvurbsys.2017.09.011","url":"https://www.semanticscholar.org/paper/c9050ace77b5d7bc97cef3c291f5b01c06a28401","pdf_url":"https://hal.archives-ouvertes.fr/hal-01614652/file/2018FrankhauserTannier.pdf","is_open_access":true,"citations":143,"published_at":"","score":66.28999999999999},{"id":"ss_6bdfdab8e658effba24ea03e3f1a31a4acd95043","title":"Does regional planning policy of Yangtze River Delta improve green technology innovation? Evidence from a quasi-natural experiment in China","authors":[{"name":"Hong Xu"},{"name":"L. Qiu"},{"name":"Bao-rong Liu"},{"name":"Bei Liu"},{"name":"H. Wang"},{"name":"Weipan Lin"}],"abstract":"","source":"Semantic Scholar","year":2021,"language":"en","subjects":["Medicine"],"doi":"10.1007/s11356-021-14946-8","url":"https://www.semanticscholar.org/paper/6bdfdab8e658effba24ea03e3f1a31a4acd95043","is_open_access":true,"citations":39,"published_at":"","score":66.17},{"id":"doaj_10.3389/fgene.2022.764534","title":"A Comparative Analysis of the Chloroplast Genomes of Four Polygonum Medicinal Plants","authors":[{"name":"Shuai Guo"},{"name":"Shuai Guo"},{"name":"Xuejiao Liao"},{"name":"Xuejiao Liao"},{"name":"Shiyu Chen"},{"name":"Shiyu Chen"},{"name":"Baosheng Liao"},{"name":"Yiming Guo"},{"name":"Ruiyang Cheng"},{"name":"Shuiming Xiao"},{"name":"Haoyu Hu"},{"name":"Jun Chen"},{"name":"Jin Pei"},{"name":"Yangjin Chen"},{"name":"Jiang Xu"},{"name":"Shilin Chen"},{"name":"Shilin Chen"}],"abstract":"Polygonum is a generalized genus of the Polygonaceae family that includes various herbaceous plants. In order to provide aid in understanding the evolutionary and phylogenetic relationship in Polygonum at the chloroplast (cp) genome-scale level, we sequenced and annotated the complete chloroplast genomes of four Polygonum species using next-generation sequencing technology and CpGAVAS. Then, repeat sequences, IR contractions, and expansion and transformation sites of chloroplast genomes of four Polygonum species were studied, and a phylogenetic tree was built using the chloroplast genomes of Polygonum. The results indicated that the chloroplast genome construction of Polygonum also displayed characteristic four types of results, comparable to the published chloroplast genome of recorded angiosperms. The chloroplast genomes of the four Polygonum plants are highly consistent in genome size (159,015 bp–163,461 bp), number of genes (112 genes, including 78 protein-coding genes, 30 tRNA genes, and 4 rRNA genes), gene types, gene order, codon usage, and repeat sequence distribution, which identifies the high preservation among the Polygonum chloroplast genomes. The Polygonum phylogenetic tree was recreated by a full sequence of the chloroplast genome, which illustrates that the P. bistorta, P. orientale, and P. perfoliatum are divided into the same branch, and P. aviculare belongs to Fallopia. The precise system site of lots base parts requires further verification, but the study would provide a basis for developing the available genetic resources and evolutionary relationships of Polygonum.","source":"DOAJ","year":2022,"language":"","subjects":["Genetics"],"doi":"10.3389/fgene.2022.764534","url":"https://www.frontiersin.org/articles/10.3389/fgene.2022.764534/full","is_open_access":true,"published_at":"","score":66},{"id":"doaj_10.2166/wst.2022.097","title":"Assessing the impacts of land use–land cover changes on direct surface runoff: a remote sensing approach in Khulna City","authors":[{"name":"Palash Chandra Das"},{"name":"Md. Esraz-Ul-Zannat"}],"abstract":"The increased risks of storm flood occurrences in large cities are the result of land use changes due to rapid urbanization. This study examines the influence of land use changes in Khulna City Corporation (KCC) area on surface runoff over a period of 15 years, from 2005 to 2020. Land use–land cover (LULC) maps for 2005, 2010, 2015, and 2020 were created employing support vector machine (SVM)-based supervised image classification using time-series satellite data, and the surface runoff was determined using Soil Conservation Service-Curve Number model. The major land use change drivers of surface runoff were determined through a correlation analysis. Surface runoff was observed to follow a similar trend as that of impervious urban areas, which went up by 5.44% from 2005 to 2020 (17.00 mm increment in average runoff) and the opposite trend was found in vegetation land cover, which declined by 13.34% in areal extent throughout the study period. In comparison with other types of land use, surface runoff changes were most significantly associated with the changes in urban impervious areas and vegetation land use-land cover (LULC) class. In fast-growing cities across the world, and especially in developing nations, the results of this study may serve as a guide for urban storm flood management and urban planning efforts. HIGHLIGHTS \nBetween 2005 and 2020, the urban area increased by 9.82%, while vegetation cover dropped by 13.24%.;\nDuring 2005–2020, the relative degree of average runoff depth on a particular day with a 100-year rainfall event rose by 5.44% (17.00 mm).;\nThe increase in runoff depth was found to be positively and negatively correlated with the expansion of urban impervious areas and changes in vegetation land cover class, respectively.;","source":"DOAJ","year":2022,"language":"","subjects":["Environmental technology. Sanitary engineering"],"doi":"10.2166/wst.2022.097","url":"http://wst.iwaponline.com/content/85/10/3122","is_open_access":true,"published_at":"","score":66}],"total":7786004,"page":1,"page_size":20,"sources":["DOAJ","arXiv","Semantic Scholar","CrossRef"],"query":"Regional planning"}