bluuebunny/crossref_metadata_2025 huggingface dataset:
Prediction of the degree of the right heart chambers overload in patients with acute massive pulmonary embolism based on the results of MSCT diagnostics
Authors: Sukhova M. B. , Trofimova T. N. , Yakimov V. N. , Vedunova M. V. , Kryukova E. V.
Published: July 2023

The study group included 147 patients at the stage of preparation for emergency surgical treatment of acute massive PE in the period from March 2012 to December 2019 inclusive. As CT indicators of overload of the right chambers of the heart, the usual CT indicators that do not require the use of expert – class computed tomographs were taken – they were the superior vena cava, inferior vena cava, unpaired vein; reflux of the contrast drug into the inferior vena cava; reflux of the contrast drug into the hepatic veins. In the course of the study, a comparative analysis of the average pressure in the pulmonary artery with the above CT indicators was performed. The most stable statistical relationship with the indicators of mean pressure in the pulmonary artery was demonstrated by CT parameters – the diameter of the unpaired vein and the reflux of the contrast agent into the hepatic veins. Based on the results of the work, a method for calculating the actual values of the average pressure in the pulmonary artery based on the CT parameter of the diameter of the unpaired vein is proposed.
Reproducibility of CT and MRI texture features of hepatocellular carcinoma
Authors: Kаrmаzаnovsky G. G. , Shantarevich M. Y. , Stashkiv V. I. , Revishvili A. Sh.
Published: July 2023

Purpose: To compare the reproducibility of texture features during segmentation of CT and MR images of hepatocellular cancer (HCC) by two radiologists. Evaluate the possibility of images pre-processing to improve the reproducibility of texture features. Material and methods. We included 66 patients with preoperative CT and MR images, followed by surgical liver resection for HCC, indicating the tumor histologic grade. Two radiologists with 3 and 6 years of abdominal imaging experience independently segmented the entire tumor volume on CT and MR images. The calculation of texture features was performed without the use of images pre-processing and using a spatial resampling with fixed voxel size of 1 mm3 (RES), a Laplace Gaussian filter, and for CT images, also with a density threshold from 0 to 300 HU (0–300 HU). The agreement between measurements of radiologists in relation to texture features was carried out using the type 2 intra-class correlation coefficient (ICC). Results. The highest percentage of reproducible texture features with the use of image preprocessing was observed with CT in the arterial phase (0–300 HU + RES) (89.1%), and with MRI in the hepatobiliary phase (RES) (86.6%). At the same time, spatial resampling with fixed voxel size of 1 mm3 increased the percentage of reproducible texture features in the native, arterial, and delayed phases in CT, as well as in T2-WI, DWI, and in the hepatobiliary phase for MRI. Conclusion. Thus, both techniques, CT and MRI, make it possible to extract reproducible texture features, especially with the use of spatial resampling with fixed voxel size. In this case, preference should be given to a postcontrast images, including the hepatobiliary phase. In CT, it is also advisable to use a density threshold from 0 to 300 HU for the selected area of interest, which will avoid affecting the texture features of adjacent organs and adipose tissue and increase the reproducibility of textural features.
Pancho Villa en las publicaciones del mundo germanoparlante en la Entreguerra
Authors: Hausberger Bernd
Published: July 2023

A nivel internacional, Pancho Villa es posiblemente el personaje de la historia mexicana más conocido de todos los tiempos. En su momento recibió una considerable atención mediática y, tempranamente, se convirtió en héroe de cine. El ensayo intenta reconstruir y contextualizar el fenómeno Pancho Villa en los medios impresos germanoparlantes en los años de la Entreguerra. Por las notables continuidades -y paulatinas transformaciones- que se observan, el análisis arranca con una mirada a los años de la revolución armada y de la Primera Guerra Mundial, y termina con un epílogo sobre los primeros años nacionalsocialistas. Para empezar, el artículo ofrece una perspectiva cuantitativa, para dar al argumento una base más sólida. En el siguiente apartado, que intenta un análisis cualitativo, se puede demostrar que las publicaciones, por un lado, solían interpretar la revolución como un levantamiento de indios y, por el otro, insistían en la dependencia del desarrollo mexicano de la política estadounidense. El personaje de Pancho Villa fue tratado originalmente como bandido bárbaro sin mayor relevancia política, hasta que, con el tiempo, y con la ayuda de Hollywood, en 1934 se convirtió en portador de una leyenda ficcional.
Dos instituciones de la comunidad germana en el México de los años 20: el Casino Alemán y el Colegio Alemán
Authors: Pérez Montfort Ricardo
Published: July 2023

Este trabajo repasa los orígenes, las trayectorias y las características del Casino Alemán y el Colegio Alemán durante los años posrevolucionarios mexicanos, que coincidieron con el surgimiento y colapso de la República de Weimar entre 1920 y 1929. Se describen sus instalaciones y sus principales actividades durante un momento en que el restablecimiento de las relaciones entre México y Alemania pasaban por cierta buena convivencia. Aun cuando dicha avenencia vaticinaba un mejor entendimiento entre los gobiernos mexicanos y alemanes, se trata de los prolegómenos del ascenso del nazi-fascismo en Alemania, cuyo racismo e intolerancia impediría que ambos gobiernos siguieran dicho camino.
Las relaciones mediáticas entre Alemania y México: el caso de la Agencia Duems
Authors: Toledo García Itzel
Published: July 2023

Los gobiernos posrevolucionarios mexicano y alemán mantuvieron un lazo político amigable a lo largo de los años veinte, además realizaron esfuerzos importantes para mejorar la conexión económica y para lograr un acercamiento cultural. Aunado a ello, ambos gobiernos consideraron importante tener una relación mediática estable y para lograrlo fue fundamental la labor de la agencia de noticias Agencia Duems. Este artículo explora el trabajo realizado por dicha agencia para mostrar una imagen positiva sobre el México posrevolucionario y la República de Weimar en la prensa alemana y la mexicana, así como para asegurar una relación fructífera entre ambas naciones.
Juego de espejos: la representación de mujeres en libros de viajeros germanoparlantes en México en la década de 1920
Authors: Barreiro Emma Julieta
Published: July 2023

Una primera mirada a la representación de las mujeres en los libros Wanderjahre in Mexiko (1925), de Emil Landenberger; Mexiko (1925), de Alfons Goldschmidt; Land des Frühlings (1928), de B. Traven; y Von Vulkanen, Pyramiden und Hexen. Mexikanische Impressionen (1930), de Marianne West, muestra una variedad de formas de percepción y descripción de las figuras femeninas como componente esencial de la naturaleza y la sociedad mexicana durante la década de 1920. Los estereotipos y tipos representados nos hablan de las diferenciaciones que se hacen entre mujeres y otros sectores sociales. Cuestiones de raza, género, o educación y tradición, se despliegan en este mirar y encuentro con un Otro femenino que despierta desde asombro, respeto y solidaridad o, en algunos casos, hasta atracción erótica. Vemos un juego de espejos que nos habla tanto de la representación de las mujeres mexicanas como de las alemanas de esa época, y nos motiva a extender nuestra mirada sobre un panorama hasta ahora poco estudiado desde un punto de vista comparativo.
Good Corporate Governance Dan Financial Distress Pada Perusahaan Manufaktur Di Indonesia
Authors: Ninda Febriyanti Fahira , Khalifaturofi'ah Sholikha Oktavi
Published: July 2023

Good Corporate Governance is important for companies to overcome financial difficulties. This study intends to analyze good corporate governance and its influence on predicting the condition of companies in financial distress. Good corporate governance is proxied by institutional ownership, managerial ownership, directors, the board of commissioners, and the audit committee. By using logistic regression for 21 manufacturing companies from 2015 to 2019, it was found that the board of directors and audit committee had a negative effect on financial distress. The board of commissioners has a positive effect on financial distress. The other variables, namely institutional and managerial ownership, have no effect on financial distress. To avoid financial distress in manufacturing companies, it is necessary to have a large board of directors and an audit committee, but not a board of commissioners. The fewer the boards of commissioners, the easier it will be for companies to control financial conditions to avoid financial distress.
Pengaruh etos kerja, lingkungan kerja, dan kompensasi terhadap kinerja karyawan di PT Inlingua International Indonesia
Authors: Hantrisna Hantrisna
Published: July 2023

The purpose of this research is to analyze the influence of work ethic, work environment, and compensation on employee performance. This research is conducted at PT Inlingua International Indonesia. The type of collecting this data is primary data because the data was acquired by spreading questionnaires to 50 employees of PT Inlingua International Indonesia as the respondents. The analysis methods are simple regression and multiple regression tests. The result of this research showed that work ethics, work environment, and compensation influence employee performance.

Tujuan dari penelitian ini adalah untuk menganalisis pengaruh etos kerja, lingkungan kerja, dan kompensasi terhadap kinerja karyawan. Penelitian ini dilakukan di PT Inlingua Internasional Indonesia. Jenis pengumpulan data ini adalah data primer karena data diperoleh dengan menyebarkan kuesioner kepada 50 karyawan PT Inlingua International Indonesia sebagai responden. Metode analisis yang digunakan adalah regresi sederhana dan uji regresi berganda. Hasil penelitian menunjukkan bahwa etos kerja, lingkungan kerja, dan kompensasi berpengaruh terhadap kinerja karyawan.
Pengaruh Perceived Quality dan Usefulness terhadap Continuance Usage Intention Melalui Customer Satisfaction (Studi Kasus pada Grabfood)
Authors: Wijaya Joseph , Nawawi M. Tony
Published: July 2023

Tujuan dari penelitian ini adalah untuk mengetahui pengaruh perceived quality dan perceived usefulness terhadap continuance usage intention melalui customer satisfaction pada pelanggan GrabFood di Jakarta. Jenis desain penelitian yang digunakan pada penelitian ini adalah desain penelitian deskriptif. Teknik pengambilan sampel dilakukan dengan cara purposive sampling dan jumlah sampel yang diteliti sebanyak 100 responden yang merupakan pengguna GrabFood di Jakarta. Metode pengumpulan data dilakukan dengan menyebarkan kuesioner yang disebar secara online dengan google form. Teknik analisis data dengan menggunakan metode partial least square-structural equation modeling (PLS-SEM) dan program SmartPLS versi 4. Hasil penelitian ini menunjukan bahwa perceived quality berpengaruh secara positif dan signifikan terhadap customer satisfaction, perceived usefulness berpengaruh secara positif dan signifikan terhadap customer satisfaction, customer satisfaction berpengaruh secara positif dan signifikan terhadap continuance usage intention,  perceived quality berpengaruh secara positif dan signifikan terhadap continuance usage intention, perceived usefulness berpengaruh secara positif dan signifikan terhadap continuance usage intention, perceived quality berpengaruh secara positif dan signifikan terhadap continuance usage intention melalui customer satisfaction dan perceived usefulness berpengaruh secara positif dan signifikan terhadap continuance usage intention melalui customer satisfaction.

 

The purpose of this study was to determine the effect of perceived quality and perceived usefulness on continuance usage intention through customer satisfaction on GrabFood customers in Jakarta. The type of research design used in this study is a descriptive research design. The sampling technique was carried out by means of purposive sampling and the number of samples studied was 100 respondents who are GrabFood users in Jakarta. The data collection method was carried out by distributing questionnaires which were distributed online with the Google form. The data analysis technique uses the partial least square-structural equation modeling (PLS-SEM) method and the SmartPLS version 4 program. The results of this study indicate that perceived quality has a positive and significant effect on customer satisfaction, perceived usefulness has a positive and significant effect on customer satisfaction, customer satisfaction has a positive and significant effect on continuance usage intention, perceived quality has a positive and significant effect on continuance usage intention , perceived usefulness has a positive and significant effect on continuance usage intention, perceived quality has a positive and significant effect on continuance usage intention through customer satisfaction and perceived usefulness has a positive and significant effect on continuance usage intention through customer satisfaction.
Identifikasi Purchase Intention pada Livestream Shopping Shopee di Jakarta Barat
Authors: Setiawan Vieriando , Ruslim Tommy Setiawan
Published: July 2023

Berbelanja di e-commerce sekarang sudah mulai dipermudah dengan adanya fitur penjualan secara live streaming sangat mempermudah masyarakat untuk berbelanja barang branded yang mereka inginkan. Livestream shopping sudah banyak digunakan di e-commerce manapun karena memudahkan konsumen dalam berbelanja barang yang ingin mereka beli tanpa terkecuali juga barang yang dijual adalah barang mewah atau branded. Luxury brand bukan hanya sekedar nama merek tetapi juga bisa menjadi simbol bagi para pemakai dari luxury brand tersebut. Maka dari itu tidak jarang pada status sosial dinilai dari luxury brand yang mereka gunakan. Tujuan dari dalam penelitian ini adalah untuk mengetahui pengaruh dari perceived luxury value terhadap purchase intention pada livestream shopping Shopee di daerah Jakarta Barat. Penelitian ini menggunakan 123 sampel dengan menggunakan purposive sampling dan pengolahan data menggunakan metode PLS-SEM dengan menyebarkan kuesioner dalam bentuk form. Hasil dalam penelitian ini menunjukan bahwa Financial value memiliki pengaruh yang positif dan signifikan terhadap Purchase Intention konsumen Shopee di Jakarta barat. Functional value memiliki pengaruh yang positif dan signifikan terhadap Purchase Intention konsumen Shopee di Jakarta barat. Individual value tidak memiliki pengaruh yang signifikan terhadap Purchase Intention konsumen Shopee di Jakarta barat. Social value memiliki pengaruh yang positif dan signifikan terhadap Purchase Intention konsumen Shopee di Jakarta barat.

 

Shopping in e-commerce has now begun to be made easier with the live streaming sales feature which makes it very easy for people to shop for the branded goods they want. Livestream shopping has been widely used in any e-commerce because it makes it easier for consumers to shop for the goods they want to buy without exception, also the goods being sold are luxury or branded goods. Luxury brand is not just a brand name but can also be a symbol for users of the luxury brand. Therefore it is not uncommon for social status to be judged by the luxury brands they use. The purpose of this research is to determine the effect of perceived luxury value on purchase intention at livestream shopping Shopee in the West Jakarta area. This study used 123 samples using purposive sampling and data processing using the PLS-SEM method by distributing questionnaires in the form. The results in this study indicate that financial value has a positive and significant influence on Purchase Intention of Shopee consumers in West Jakarta. Functional value has a positive and significant influence on Purchase Intention of Shopee consumers in West Jakarta. Individual values do not have a significant influence on Purchase Intention of Shopee consumers in West Jakarta. Social value has a positive and significant influence on Purchase Intention of Shopee consumers in West Jakarta.
Inspiring pre-service teachers of early years education to create an inquiry environment for children to learn mathematics
Authors: Bojarska-Sokołowska Agnieszka
Published: July 2023

The paper presents a~teaching proposal for the Mathematics Education course for university students of Education with a specialisation in Early Childhood Education, in order to motivate pre-service teachers to self-discovery and to encourage individual mathematical problem solving. The proposal was pre-tested in practice. Interactive activities were carried out in which pre-service teachers individually solved mathematical problems at thematic stations and had the opportunity to learn by manipulating objects and discovering solutions to problems. The study was conducted using an action research approach. The results of the study are described in four areas of the researcher's activity: preparing the learning environment (organising the research), observing the subjects, communicating with the subjects (interviewing the pre-service teachers) and using the results.
Potencialidades das narrativas de professores na pesquisa em Educação para a formação e o desenvolvimento profissional docentes
Authors: Santos Luciane Mulazani dos , Silva Arline Thomé da
Published: July 2023

Este artigo tem como objetivo apresentar potencialidades do uso de narrativas de professores na pesquisa em Educação ‒ como método de investigação, como processo de reflexão pedagógica e como processo de formação do pesquisador. Baseia-se em uma pesquisa qualitativa de mestrado que utilizou procedimentos metodológicos da História Oral para constituir narrativas de professores e discutir aspectos de sua profissão. Apresentam-se trechos das narrativas que, analisados a partir de duas categorias a priori e uma emergente, evidenciam como a formação e o desenvolvimento docentes podem ser discutidos a partir dos movimentos de constituição, leitura, análise de narrativas e de reflexão sobre elas.
Default Logic as a Species of Causal Reasoning
Authors: Bochman Alexander
Published: July 2023

We will show that Reiter's default logic can be viewed as a particular instantiation of causal reasoning. This will be demonstrated by establishing back and forth translations between default theories and causal theories of the causal calculus under a particular nonmonotonic semantics of causal theories that will be called a default semantics. Moreover, it will be shown that Pearl's structural equation models can be viewed as default causal theories in this sense. We will discuss also some global consequences this representation could have for establishing a general role of causation in nonmonotonic reasoning.
On Simple Expectations and Observations of Intelligent Agents: A Complexity Study
Authors: Chakraborty Sourav , Ghosh Avijeet , Ghosh Sujata , Schwarzentruber François
Published: July 2023

Public observation logic (POL) reasons about agent expectations and agent observations in various real world situations. The expectations of agents take shape based on certain protocols about the world around and they remove those possible scenarios where their exceptions and observations do not match. This in turn influences the epistemic reasoning of these agents. In this work, we study the computational complexity of the satisfaction problems of various fragments of POL. In the process, we also highlight the inevitable link that these fragments have with the well-studied Public announcement logic.
Weighted Merging of Propositional Belief Bases
Authors: Everaere Patricia , Fellah Chouaib , Konieczny Sébastien , Pino Pérez Ramón
Published: July 2023

In standard propositional belief merging, one implicit assumption is that all sources have exactly the same importance. But there are many situations where the sources have different importance/reliability/expertise that have to be taken into account in the merging process.

In this work we study the problem of weighted merging operators, which aimed to take these weights into account in a sensible way.

We give a syntactical characterization of these operators, and then we state a representation theorem in terms of plausibility preorders on interpretations.

We also propose a general method to build weighted distance-based merging operators, and provide some concrete examples, using two different weight functions.
Leveraging Large Language Models to Generate Answer Set Programs
Authors: Ishay Adam , Yang Zhun , Lee Joohyung
Published: July 2023

Large language models (LLMs), such as GPT-3 and GPT-4, have demonstrated exceptional performance in various natural language processing tasks and have shown the ability to solve certain reasoning problems. However, their reasoning capabilities are limited and relatively shallow, despite the application of various prompting techniques. In contrast, formal logic is adept at handling complex reasoning, but translating natural language descriptions into formal logic is a challenging task that non-experts struggle with. This paper proposes a neuro-symbolic method that combines the strengths of large language models and answer set programming. Specifically, we employ an LLM to transform natural language descriptions of logic puzzles into answer set programs. We carefully design prompts for an LLM to convert natural language descriptions into answer set programs in a step by step manner. Surprisingly, with just a few in-context learning examples, LLMs can generate reasonably complex answer set programs. The majority of errors made are relatively simple and can be easily corrected by humans, thus enabling LLMs to effectively assist in the creation of answer set programs.
Practical Abstraction for Model Checking of Multi-Agent Systems
Authors: Jamroga Wojciech , Kim Yan
Published: July 2023

Model checking of multi-agent systems (MAS) is known to be hard, both theoretically and in practice. A smart abstraction of the state space may significantly reduce the model,and facilitate the verification. In this paper, we propose and study an intuitive agent-based abstraction scheme, based on the removal of variables in the representation of a MAS. This allows to achieve a desired reduction of a state space without generating the global model of the system. Moreover, the process is easy to understand and control even for domain experts with little knowledge of computer science. We formally prove the correctness of the approach, and evaluate the gains experimentally on a family of a postal voting models.
On Training Neurons with Bounded Compilations
Authors: Kennedy Lance , Kindo Issouf , Choi Arthur
Published: July 2023

Knowledge compilation offers a formal approach to explaining and verifying the behavior of machine learning systems, such as neural networks. Unfortunately, compiling even an individual neuron into a tractable representation such as an Ordered Binary Decision Diagram (OBDD), is an NP-hard problem. In this paper, we consider the problem of training a neuron from data, subject to the constraint that it has a compact representation as an OBDD. Our approach is based on the observation that a neuron can be compiled into an OBDD in polytime if (1) the neuron has integer weights, and (2) its aggregate weight is bounded. Unfortunately, we first show that it is also NP-hard to train a neuron, subject to these two constraints. On the other hand, we show that if we train a neuron generatively, rather than discriminatively, a neuron with bounded aggregate weight can be trained in pseudo-polynomial time. Hence, we propose the first efficient algorithm for training a neuron that is guaranteed to have a compact representation as an OBDD. Empirically, we show that our approach can train neurons with higher accuracy and more compact OBDDs.
Revisiting Inferential Benchmarks for Knowledge Graph Completion
Authors: Liu Shuwen , Cuenca Grau Bernardo , Horrocks Ian , Kostylev Egor V.
Published: July 2023

Knowledge Graph (KG) completion is the problem of extending an incomplete KG with missing facts. A key feature of Machine Learning approaches for KG completion is their ability to learn inference patterns, so that the predicted facts are the results of applying these patterns to the KG. Standard completion benchmarks, however, are not well-suited for evaluating models' abilities to learn patterns, because the training and test sets of these benchmarks are a random split of a given KG and hence do not capture the causality of inference patterns. We propose a novel approach for designing KG completion benchmarks based on the following principles: there is a set of logical rules so that the missing facts are the results of the rules' application; the training set includes both premises matching rule antecedents and the corresponding conclusions; the test set consists of the results of applying the rules to the training set; the negative examples are designed to discourage the models from learning rules not entailed by the rule set. We use our methodology to generate several benchmarks and evaluate a wide range of existing KG completion systems. Our results provide novel insights on the ability of existing models to induce inference patterns from incomplete KGs.
Complex Event Recognition with Allen Relations
Authors: Mantenoglou Periklis , Kelesis Dimitrios , Artikis Alexander
Published: July 2023

Contemporary applications require the processing of large, high-velocity streams of symbolic events derived from sensor data. A complex event recognition (CER) system processes these symbolic events online and reports the satisfaction of complex event patterns with minimal latency. We extend an Event Calculus dialect optimised for online CER with Allen’s interval algebra, in order to provide more accurate event patterns. We demonstrate the effectiveness of our system on real data streams from maritime situational awareness.
From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games
Authors: Angilica Denise , Avolio Mario , Beraldi Giovanni , Ianni Giovambattista , Pacenza Francesco
Published: July 2023

Automating acts on touch surfaces opens a range of possibilities for researching and experimenting with hybrid AI approaches.

In this paper, we propose a delta robot capable of playing match-3 games and ball-sorting puzzles by acting on mobile phones. The robot recognizes objects of different colors and shapes through a vision module, is capable of making strategic decisions based on declarative models of the game's rules and of the game playing strategy, and features an effector that executes moves on physical devices.

Our solution integrates multiple AI methods, including vision processing and answer set programming. Helpful and reusable infrastructure is provided: the vision task is facilitated, while robot motion control is inherently simplified by the usage of a delta robot layout.

We illustrate the components of our robotic application and how they were integrated. Then, we briefly showcase how recognition and general knowledge can be modeled and implemented, by overviewing the implementation of representative games.

We argue that our application provides potential for KR and robotics to be combined in creative ways, and offers itself as a general controlled environment where to experiment with forms of hybrid reasoning, while relieving from implementation details.
Weak-Ensconcement for Shielded Base Contraction
Authors: Mercado Alejandro J. , Grimaldi Daniel , Rodriguez Ricardo O.
Published: July 2023

In this article, we provide the weak version of ensconcement which characterizes an interesting family of Shielded base contractions. In turn, this characterization induces a class of AGM contractions satisfying certain postulates that we reveal here. Finally, we show a connection among the class of contractions given by our weak ensconcement and other kinds of base contraction operators. In doing so, we also point out a flaw in the original theorems that link the epistemic entrenchment with ensconcement (which are well established in the literature), and then we provide two possible solutions.
A²CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles
Authors: Wang Ruolin , Xu Yuejiao , Peng Jie , Ji Jianmin
Published: July 2023

This paper addresses the challenge of generating safety-critical scenarios with multiple adversarial vehicles for testing autonomous vehicles.

Such scenarios must be plausible and collision-avoidable while resulting in a collision with the vehicle-under-test.

However, the tremendous number of scenarios and the low ratio of plausible scenarios makes previous methods squander primary resources on implausible scenarios, degenerating their efficiency.

We propose a two-stage framework called the ASP-based Avoidable Collision Scenario Testbench (A²CoST) to overcome this obstacle and improve efficiency.

In the former stage, we apply Answer Set Programming (ASP) for generating plausible logical scenarios.

In the latter stage, we use a search algorithm to refine logical scenarios into safety-critical concrete scenarios.

We also compute collision-free trajectories in these concrete scenarios while the vehicle-under-test fails to avoid the collision.

We empirically show the A²CoST significantly decreases the time consumption for simple scenarios while still effectively generating complex critical scenarios.

The comparison with real-world traffic data further demonstrates the value of A²CoST in generating plausible scenarios.

The source codes of our method and the baselines are opened at https://github.com/Autonomous-Driving-Safety-Project/AACoST.
Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning
Authors: Wilhelm Marco
Published: July 2023

The principle of maximum entropy (MaxEnt principle) constitutes a valuable methodology for probabilistic commonsense reasoning by adding missing information to probabilistic conditional belief bases in an information theoretically optimal way. In this paper, we integrate linear arithmetic constraints over the integers and reals into propositional probabilistic conditionals in order to be able to formalize uncertain beliefs about arithmetic expressions. The satisfiability of (sets of) constraints is decided modulo theory such that probabilistic reasoning stays finite although the constraints range over infinite domains. Therewith, we provide a novel extension of the MaxEnt principle to beliefs about infinite domains.
Pengaruh Konsentrasi Tepung Labu Kuning dan Tepung Edamame terhadap Sifat Kimia dan Sensoris Flakes
Authors: Azizah Helga Nur , Kurniawati Elly
Published: July 2023

Flakes termasuk golongan makanan ringan yang ekstrudat memiliki kadar air yang rendah. Flakes dapat menjadi solusi untuk sarapan instan karena penyajiannya mudah dan cepat. Penambahan tepung labu kuning dan tepung edamame dalam pembuatan flakes dapat menjadi solusi pangan yang memiliki protein dan serat pangan tinggi. Penelitian ini bertujuan untuk mengetahui pengaruh konsentrasi tepung labu kuning dan tepung edamame terhadap sifat kimia dan sensoris flakes. Terdapat 7 perlakuan diantaranya full tepung labu kuning, dan penambahan tepung edamame sebanyak 2,5%; 5,0%; 7,5%; 10%; 12,5%; dan 15%. Hasil penelitian menunjukkan flakes yang paling diminati adalah flakes dengan konsentrasi tepung labu kuning 7,5%.
Characteristics of Argopuro Robusta Coffee with Processing Methods Honey Process and Pineapple Addition
Authors: Amilia Winda , Rifa'i Mas Anang Fuad , Choirun Miftahul , Rusdianto Andrew Setiawan , Mahardika Nidya Shara
Published: July 2023

This study aims to determine the physical quality characteristics and the effect of adding pineapple concentration on the hedonic test of the Robusta Argopuro coffee method honey process. The research method used a completely randomized design with a single factor in 3 treatments using pineapple pulp concentrations (30%, 50%, and 80%) with 3 replications. The results of the study did not find live insects and the appearance of a moldy or rotting odor in the coffee greenbean with a defect value of 9.5 is included in the quality category 1. The seed size test results in a large seed size classification. The water content test produced the highest value of 9.97 at 80% concentration and the lowest 9.33 at 0% concentration and the hedonic test of aroma, color, sweetness, acidity, fruity, bitter, body, aftertaste, balance, and, overall produced the highest values ​​in a row, namely 3.46 at a concentration of 0%; 3.56 at 50% concentration; 3.09 at 80% concentration; 3.22 at 80% concentration. 3.06 at 80% concentration; 3.24 at 50% concentration; 3.20 at 80% concentration; 3.38 at 30% concentration, 3.34 at 80% concentration; and 3.47 at 80% concentration. On the results of the physical quality test of coffee greenbean complies with SNI 01-2907-2008 standard. %. Argopuro robusta coffee brew honey process with the addition of pineapple pulp at a concentration of 80% produced the highest hedonic value.
Pendampingan Penentuan Industri Unggulan dan Program Pembangunan Industri Kabupaten Solok
Authors: Fithri Prima , Alfadhlani Alfadhlani , Patrisina Reinny , Armijal Armijal
Published: July 2023

The industrial development process needs to be well planned so that the process can be carried out in a systematic, comprehensive, futuristic and measurable manner. The planned national industrial development policy has been outlined in the National Industrial Development Master Plan (RIPIN) 2015-2035. Based on data from the Central Bureau of Statistics for Solok Regency in 2022, it is known that the role of the agricultural sector in the regional economy is illustrated by its contribution to the Regency's Gross Regional Domestic Product (GRDP) Solok is still very dominant, while the contribution of the industrial sector is still around 5%. Therefore the Solok Regency Industrial Development Plan is needed to accelerate the achievement of the abovementioned target. It is even hoped that it can exceed the target. In addition, it intends to have a systematic and measurable plan for achieving the future industrial development vision in Solok Regency. The Solok Regency Industrial Development Plan for 2022-2042 has been prepared with a complete study, referring to relevant documents and field visits related to community business potential and existing resource potential. Five leading industries had been determined due to a study in Solok Regency.
PERUBAHAN PENGGUNAAN LAHAN KAWASAN SEKITAR MINAPOLITAN PPS NIZAM ZACHMAN, KELURAHAN PENJARINGAN JAKARTA UTARA
Authors: Hatorangan Fajar - , Situmorang Rahel , Ramadhani Anindita
Published: July 2023

Pelabuhan Perikanan Samudera Nizam Zachman Jakarta (PPSNZJ) adalah Pelabuhan dengan tipe A yang merupakan pelabuhan perikanan terbesar yang melayani kegiatan ekspor – impor hasil olahan ikan. Sesuai dengan Keputusan Menteri Kelautan dan Perikanan nomor 41 tahun 2009,  maka sejak tahun 2009, pelabuhan ini ditetapkan sebagai kawasan minapolitan, yang memiliki aktivitas industry, proses produksi dan distribusi sehingga memberikan dampak terhadap pemanfaat lahan di kawasan sekitarnya. Perubahan penggunaan lahan yang terjadi di kelurahan Penjaringan memberikan indikasi adanya pengaruh dari kegiatan ekstensifikasi pelabuhan yang menjadi titik tumbuh.Penelitian ini bertujuan untuk melihat perubahan pengunaan lahan yang terjadi pada tahun 2010 sampai tahun 2020. Metode pada penelitian ini menggunakan pendekatan kuantitatif dengan metode analisis deskriptif, dengan memetakan perubahan pengunaan lahan kelurahan Penjaringan tahun 2010 dan tahun 2020. Hasil analisis menunjukan perubahan penggunaan lahan cenderung berubah kepada fungsi permukiman dengan pertambahan luas 50,7 Ha, yang terjadi akibat adanya pertambahan penduduk dengan alasan pekerjaan dan kemudahan aksesibilitas untuk mencapai lokasi kawasan minapolitan. Hasil penelitian ini juga menunjukkan adanya perubahan penggunaan lahan yang terjadi pada tahun 2020, dengan tingkat kesesuaian dengan RDTR DKI Jakarta 2030 sebesar 37%, dan yang tidak sesuai sebesar 63%.
KARAKTERISTIK PELAYANAN MIKROLET 09A (TANAH ABANG – KEBAYORAN LAMA)
Authors: Maula Raudhatul , Situmorang Rahel , Suharto Benny Benyamin
Published: July 2023

The 2015 Jabodetabek Transportation Master Plan indicates that Mikrolet are not included in the planned public transport. Tanah Abang - Kebayoran Lama route is a busy route with community activities because it passes through many city activity centers (trade, housing, as well as public and social services). This study examines the needs of the community regarding Mikrolet public transportation services in accordance with the characteristics of microbus services 09A. This research method is carried out by processing the data obtained from the questionnaire and presenting it descriptively, then the results are compared with the service characteristics of other public transportation modes. The results of this study, Mikrolet has characteristics that other modes of public transportation do not have, namely waiting time, affordability of fares, and flexibility of movement.
Analisis Perancangan Alat Bantu pada Mesin Slitter Menggunakan Metode AHOQ
Authors: Helmy Ramadhani Putra Yongki  , Risma Fitriani
Published: July 2023

Intisari— PT. XYZ merupakan perusahaan yang memproduksi produk sesuai dengan pesanan perusahaan lain, sehingga produk yang dihasilkan sangat bervariasi dari segi bentuk maupun ukuran. Dari banyaknya variasi produk yang dihasilkan, seluruh produk yang dibuat harus melewati proses pemotongan raw material menggunakan mesin slitter. Dalam proses pemotongan ini, pekerja memiliki berbagai keluhan dan permasalahan dalam mengoperasikan mesin slitter. Maka dari itu diperlukan analisis perancangan alat bantu dengan menggunakan model integrasi antara AD dan HOQ atau sering disebut Axiomatic House of Quality (AHOQ). Penelitian ini dilakukan menggunakan metode AHOQ dengan teknik observasi, wawancara, dan analisis data. Dari AHOQ yang sudah didapatkan terdapat 3 macam kombinasi alternatif konsep desain. Dari 3 macam tersebut terdapat 4 komponen DP yaitu penahan, roda, sistem lipat, dan dimensi alat bantu. Terdapat 2 alternatif dari setiap komponen kecuali pada DP dimensi alat bantu. Pada setiap kombinasi alternatif memiliki masing-masing kelebihan dan kekurangan tanpa mengurangi fungsi utama yang diinginkan oleh para operator mesin slitter.

Abstract— – PT. XYZ is a company that produces products according to orders from other companies, so the products produced vary greatly in terms of shape and size. Of the many variations of products produced, all products made must go through the process of cutting raw materials using a slitter machine. In this cutting process, workers have complaints with the slitter machine. Based on the explanation above, it is necessary to analyze the design of tools using the integration model between AD and HOQ or often called the Axiomatic House of Quality (AHOQ). This research was conducted using the AHOQ method with observation, interviews, and data analysis techniques. From the AHOQ that has been obtained, there are 3 kinds of alternative combinations of design concepts. Of the 3 types, there are 4 DP components, namely retainers, wheels, folding systems, and dimensions of tools. There are 2 alternatives for each component except for the DP dimension of the tool. Each alternative combination has its own advantages and disadvantages without compromising the main function desired by the slitter machine operators.
Measurement of Work Posture Score Using Rapid Upper Limb Assessment and Quick Exposure Check in Tofu Industry
Authors: Ade Sri Mariawati  , Lely Herlina  , Naufal Bimo Wicaksana
Published: July 2023

Intisari— Kegiatan produksi pada industri kecil menengah (IKM) Tahu X meliputi berbagai macam proses mulai dari proses perendaman bahan baku tahu kedelai hingga proses pemasaran tahu. Dalam pengerjaanya, pabrik masih menggunakan metode tradisional dan tenaga manusia sebagai operatornya. Berdasarkan pengamatan, postur kerja saat bekerja dapat menimbulkan berbagai keluhan musculoskeletal pada pekerja. Penelitian ini bertujuan untuk mengetahui bagian tubuh manakah yang berpotensi mengalami cidera musculoskeletal dengan memanfaatkan metode Rapid Upper Limb Assesment (RULA) dan Quick Exposure Check (QEC) serta memberikan rancangan perbaikan yang sesuai dengan hasil yang ditemukan. Metode penelitian ini dilakukan dengan mengolah informasi berupa data postur tubuh pekerja di stasiun kerja tertentu yang kemudian diolah menggunakan metode standar RULA dan QEC. Hasil yang diperoleh adalah adanya postur kerja yang berbahaya yaitu pada Stasiun Penyaringan dan Stasiun Pencetakan dengan nilai RULA masing-masing adalah 7 dan 6 dengan kategori resiko tinggi, dan nilai QEC masing-masing 60,79% dan 64,2% dengan kategori resiko sedang. Setelah diberikan usulan perbaikan terdapat penurunan pada skor RULA di Stasiun Penyaringan dan Stasiun Pencetakan menjadi masing-masing adalah 5 dan 5 dengan kategori resiko sedang.

Abstract— Production activities at small and medium industries (SMEs) Tofu X include various processes ranging from soaking the raw materials of soybean tofu to the marketing process of tofu. The factory still uses traditional methods and human labour as the operator in the process. Based on observations, work postures can cause various musculoskeletal complaints in workers. This study aims to determine which parts of the body have the potential to experience musculoskeletal injuries by utilizing the Rapid Upper Limb Assessment (RULA) and Quick Exposure Check (QEC) methods and provide an improvement plan that is by the results found. This research method is carried out by processing information in the form of body posture data of workers at specific workstations, which are then processed using the standard RULA and QEC methods. The results obtained are the presence of dangerous work postures at the Screening Station and Printing Station with RULA values of 7 and 6 in the high-risk category, and the QEC values, respectively, 60.79% and 64.2% in the medium-risk category. After being given the improvement model, there was a decrease in the RULA score at the Screening Station and Printing Station to 5 and 5, respectively, with a moderate risk category.
A CONSTRUÇÃO HISTÓRICA DA SEXUALIDADE: PORQUE ELA AINDA É UM TABU?
Authors: De Souza Andréia , Gagliotto Giseli Monteiro
Published: July 2023

O presente artigo é resultado de uma pesquisa de cunho qualitativo e bibliográfico, realizada através de um levantamento de bibliografias já apresentadas em livros, artigos e teses, tendo como objetivo central tratar da história da sexualidade, em como ela vem se constituindo até os dias atuais e porque ela ainda é vista por muitas pessoas da sociedade ocidental como um tabu. Assim, cientes da importância que tem a sexualidade no processo de desenvolvimento do ser humano, este artigo justifica-se pela relevância em mostrar para a sociedade que muitos tabus que ainda permanecem quando o assunto é sexualidade vem com a história que traz consigo crenças e valores enraizados que precisam ser desmistificados para que a sexualidade possa ganhar mais espaço na sociedade, minimizando resistências e pré-conceitos.
TIC’S COMO TENDÊNCIA METODOLÓGICA PARA O ENSINO DE MATEMÁTICA: UM RELATO DE EXTENSÃO UNIVERSITÁRIA
Authors: Da Silva José Marcos , Di Domenico Adriana Sbardelotto , Devai Lucelia Batista Melo , Vismara Lilian  de Souza , Pereira Luciana Boemer Cesar
Published: July 2023

O presente artigo tem por objetivo relatar as atividades de extensão realizadas a partir do projeto “Tecnologias de informação e comunicação no ensino da matemática” vinculado a Universidade Tecnológica Federal do Paraná, Campus Dois Vizinhos, que consistiram em: Curso de aplicativos para o ensino da matemática do 6º ao 9º ano; Oficina de aplicativos na formação de docentes do ensino e; Oficina de TIC’s como tendência metodológica para o ensino da matemática. Como resultado do curso de aplicativos, os professores de matemática participantes, do Núcleo Regional de Educação de Dois Vizinhos, relataram que houve um avanço nas suas habilidades computacionais e digitais, tanto no uso da metodologia de ensino, quanto para outras finalidades desenvolvidas diariamente. A oficina ofertada  para o curso de Formação de Docentes, proporcionou a obtenção de conhecimentos aos jovens participantes, que serão futuros professores, estes apreciaram com entusiasmo e se propuseram a utilizar os aplicativos em suas práticas educativas. Na Oficina de TIC’s como tendência metodológica para o ensino da matemática, com acadêmicos do Curso de Licenciatura em Educação do Campo - Habilitação Ciências da Natureza e Matemática, houveram algumas divergências sobre o ponto de vista de utilização das tecnologias móveis em sala de aula; contudo, os participantes concluíram que quando utilizada de forma adequada pelo professor, podem contribuir de forma satisfatória no ensino e aprendizagem. Diante dessas experiências, pode-se apontar que as TIC’s podem contribuir com o ensino, e que cabe ao professor a seleção das tecnologias mais adequadas, devendo-se buscar sempre àquelas que melhorem o desenvolvimento das aulas e a aprendizagem dos alunos.
UM PRÁTICO EM SEU LABORATÓRIO: O PAPEL IDEOLÓGICO DO MÉTODO CIENTÍFICO NO URBANISMO DA CIDADE MODELO CORBUSIANA
Authors: Quintanilha Rogério Penna
Published: July 2023

O presente artigo procura compreender como se dá a relação de Le Corbusier com o método científico durante a composição de sua cidade modelo e como este processo se insere ideologicamente dentro de um discurso que procura superar conflitos urbanos tradicionais como as relações entre o individual e o coletivo, o artificial e o natural e o objetivo e o subjetivo. No caso estudado, o projeto da Cidade Contemporânea para 3 Milhões de Habitantes, embora essas contradições permaneçam latentes dentro do projeto urbano, Le Corbusier reclama para si a legitimidade da isenção científica atribuída a um experimento laboratorial guiado apenas pela razão do qual se afasta toda especificidade e de onde se extraem leis gerais reproduzíveis e eternamente válidas. No entanto, como acontece em todo modelo, Le Corbusier seleciona os pressupostos de seu experimento a fim de atingir um resultado esperado, fazendo da ciência, em vez de um método, o ponto fundamental que permite à sua argumentação transitar por raciocínios por vezes contraditórios. Como em toda obra de Le Corbusier, o projeto Cidade Contemporânea é justificado por um longo discurso publicado em livro (LE CORBUSIER, 2000) onde o autor se coloca como um prático em seu laboratório. Em postura semelhante ao seu debate artístico publicado em Depois do cubismo, livro em que lança as bases do movimento artístico do purismo do qual participou como pintor, Le Corbusier lança as bases de seu projeto através de um raciocínio dedutivo, ou seja, partindo de premissas verdadeiras que só podem levar a uma resposta verdadeira e única. Neste caso, as premissas iniciais tratam das funções desempenhadas pela cidade – habitar, trabalhar, recrear-se e circular – de modo que a cidade seja formalmente uma derivação racional de sua  função. No entanto, embora este discurso aproxime o arquiteto do funcionalismo, teoria estética inaugurada por Sócrates, a prática de projeto conduz ao seu oposto teórico, o formalismo Platônico. Exemplos dessa contraditoriedade são a preferência pela forma pura-geométrica dos prismas, pelo retângulo áureo como proporção do tecido urbano e pela idéia de verdade geral que, evidentemente, não pode ser deduzida a partir de funções uma vez que estas são variáveis e a verdade é, como conceito, eterna. Assim, Le Corbusier busca artifícios discursivos para conciliar a racionalidade do funcionalismo socrático com a eternidade do funcionalismo platônico em um processo ideológico que procura legitimar-se a si mesmo e passa pela reconciliação entre o indivíduo e o coletivo, o homem e o universo, a arquitetura e a busca da verdade arquitetônica.