bluuebunny/crossref_metadata_2025_split huggingface dataset:
Hole-retaining lobeplasty for Type I ear lobe deformities
Authors: Bhooshan Lekshmi S , Madhavi C 
Published: November 2023

AbstractBackground:The aesthetic aspect of Type I incomplete split ear lobe is underestimated. Most of the hole-retaining techniques described for large and split ear lobes are difficult to perform in Type I deformity.Aim:(1) To conduct a pilot study based on the postoperative review of the cases of Type I ear lobe deformities surgically managed with hole-retaining lobeplasty in a tertiary care centre in South India.(2) To assess the postoperative outcome of the hole retaining lobeplasty based on the Global aesthetic improvement scale and Patient satisfaction in Likert scale.Materials and Methods:A pilot study of hole-retaining lobeplasty technique was done based on the postoperative review of 6 patients with bilateral type1 incomplete split ear lobes who were operated in our institution with the same. The results were validated based on descriptive statistics and postoperative outcomes using GAIS score and Patient Satisfaction Score measured in a Likert scale.Results:None of the patients had any postoperative complications. At six months follow up, all patients had centrally placed, circular ear holes, well settled support flap and rounded lobe contour with an average GAIS score of 4.83 ± 0.38. All the patients were satisfied with their newly created ear hole and lobe contour, with an average Patient Satisfaction Score of 4.8 ± 0.4Conclusion:Hole- retaining lobeplasty is a simple, cost effective, single staged, day-case procedure for repair of Type I large ear holes, that can be easily duplicated by young plastic surgeons with is aesthetically better, circular and centrally placed ear hole with a more rounded ear lobe with support to prevent recurrence.
Oriented object detection in satellite images using convolutional neural network based on ResNeXt
Authors: Haryono Asep , Jati Grafika , Jatmiko Wisnu 
Published: November 2023

AbstractMost object detection methods use a horizontal bounding box that causes problems between adjacent objects with arbitrary directions, resulting in misaligned detection. Hence, the horizontal anchor should be replaced by a rotating anchor to determine oriented bounding boxes. A two‐stage process of delineating a horizontal bounding box and then converting it into an oriented bounding box is inefficient. To improve detection, a box‐boundary‐aware vector can be estimated based on a convolutional neural network. Specifically, we propose a ResNeXt101 encoder to overcome the weaknesses of the conventional ResNet, which is less effective as the network depth and complexity increase. Owing to the cardinality of using a homogeneous design and multibranch architecture with few hyperparameters, ResNeXt captures better information than ResNet. Experimental results demonstrate more accurate and faster oriented object detection of our proposal compared with a baseline, achieving a mean average precision of 89.41% and inference rate of 23.67 fps.
A topological counterpart of well-founded trees in dependent type theory
Authors: Maietti Maria Emilia , Sabelli Pietro 
Published: November 2023

Within dependent type theory, we provide a topological counterpart of well-founded trees (for short, W-types) by using a proof-relevant version of the notion of inductively generated suplattices introduced in the context of formal topology under the name of inductively generated basic covers. In more detail, we show, firstly, that in Homotopy Type Theory, W-types and proof relevant inductively generated basic covers are propositionally mutually encodable. Secondly, we prove they are definitionally mutually encodable in the Agda implementation of intensional Martin-Loef's type theory. Finally, we reframe the equivalence in the Minimalist Foundation framework by introducing well-founded predicates as the logical counterpart for predicates of dependent W-types. All the results have been checked in the Agda proof-assistant.Comment: To be published in the post-proceedings of the 39th Conference on Mathematical Foundations of Programming Semantics
Dependent Type Refinements for Futures
Authors: Somayyajula Siva , Pfenning Frank 
Published: November 2023

Type refinements combine the compositionality of typechecking with the expressivity of program logics, offering a synergistic approach to program verification. In this paper we apply dependent type refinements to SAX, a futures-based process calculus that arises from the Curry-Howard interpretation of the intuitionistic semi-axiomatic sequent calculus and includes unrestricted recursion both at the level of types and processes. With our type refinement system, we can reason about the partial correctness of SAX programs, complementing prior work on sized type refinements that supports reasoning about termination. Our design regime synthesizes the infinitary proof theory of SAX with that of bidirectional typing and Hoare logic, deriving some standard reasoning principles for data and (co)recursion while enabling information hiding for codata. We prove syntactic type soundness, which entails a notion of partial correctness that respects codata encapsulation. We illustrate our language through a few simple examples.Comment: 15 pages, MFPS 2023
Graded Differential Categories and Graded Differential Linear Logic
Authors: Lemay Jean-Simon Pacaud , Vienney Jean-Baptiste 
Published: November 2023

In Linear Logic ($\mathsf{LL}$), the exponential modality $!$ brings forth a distinction between non-linear proofs and linear proofs, where linear means using an argument exactly once. Differential Linear Logic ($\mathsf{DiLL}$) is an extension of Linear Logic which includes additional rules for $!$ which encode differentiation and the ability of linearizing proofs. On the other hand, Graded Linear Logic ($\mathsf{GLL}$) is a variation of Linear Logic in such a way that $!$ is now indexed over a semiring $R$. This $R$-grading allows for non-linear proofs of degree $r \in R$, such that the linear proofs are of degree $1 \in R$. There has been recent interest in combining these two variations of $\mathsf{LL}$ together and developing Graded Differential Linear Logic ($\mathsf{GDiLL}$). In this paper we present a sequent calculus for $\mathsf{GDiLL}$, as well as introduce its categorical semantics, which we call graded differential categories, using both coderelictions and deriving transformations. We prove that symmetric powers always give graded differential categories, and provide other examples of graded differential categories. We also discuss graded versions of (monoidal) coalgebra modalities, additive bialgebra modalities, and the Seely isomorphisms, as well as their implementations in the sequent calculus of $\mathsf{GDiLL}$.Comment: In the proceedings of MFPS2023. Removed appendix from previous version to respect page limit. Minor corrections: the previous statement of one of our examples was incorrect, we thank Flavien Breuvart for explaining this to us. This has now been fixed. The rest of the paper remains unchanged
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
Authors: Kaddar Younesse , Staton Sam 
Published: November 2023

Stochastic memoization is a higher-order construct of probabilistic programming languages that is key in Bayesian nonparametrics, a modular approach that allows us to extend models beyond their parametric limitations and compose them in an elegant and principled manner. Stochastic memoization is simple and useful in practice, but semantically elusive, particularly regarding dataflow transformations. As the naive implementation resorts to the state monad, which is not commutative, it is not clear if stochastic memoization preserves the dataflow property -- i.e., whether we can reorder the lines of a program without changing its semantics, provided the dataflow graph is preserved. In this paper, we give an operational and categorical semantics to stochastic memoization and name generation in the context of a minimal probabilistic programming language, for a restricted class of functions. Our contribution is a first model of stochastic memoization of constant Bernoulli functions with a non-enumerable type, which validates data flow transformations, bridging the gap between traditional probability theory and higher-order probability models. Our model uses a presheaf category and a novel probability monad on it.Comment: To be published in the MFPS 2023 Proceedings as part of the Electronic Notes in Theoretical Informatics and Computer Science (ENTICS) series
KARAKTERISTIK KEPEMIMPINAN SITUASIONAL TERHADAP KINERJA KARYAWAN OLD TOWN WHITE COFFEE
Authors: Anggraini Trisna Ayu , Manafe Leonard Adrie 
Published: November 2023

Penelitian ini menjelaskan tentang gaya kepemimpinan situasional Old Town White Coffee Surabaya. Penelitian ini menggunakan pendekatan pandangan subjektif. Informan dalam penelitian ini adalah 9 (sembilan) orang. Pemilahan informasi dilakukan dengan wawancara. Hasil wawancara menunjukkan: 1) Pemimpin telah menerapkan gaya kepemimpinnan situasional, dari indikator gaya kepemimpinan seperti mengarahkan, menjual, berpartisipasi dan mendelegasi. 2) unsur pendukung penerapan gaya kepemimpinan situasional adalah pemimpin secara konsisten berusaha menjadi audiens yang layak untuk memiliki pilihan untuk dapat menerima semua karyawan dalam menjalankan kewajibannya, bertindak tegas dan adil, memberikan inspirasi sebagai jenis keinginan untuk dorongan. Bawahan untuk bekerja lebih keras, adanya sumber daya manusia yang terbiasa menjadi pemandu untuk kewajiban masing-masing. 3) Pengaruh gaya kepemimpinan situasional kepala Old Town White Coffee Surabaya terhadap perubahan kinerja kerja karyawan yang mungkin lebih unggul dari sebelumnya, dari tingkat eksekusi dan rasa sosial kepada pelanggan. 4) Besar pengaruh gaya kepemimpinan situasional terhadap kinerja karyawan Old Town White Coffee Surabaya lebih dipengaruhi oleh indikator Telling Style dilihat dari wawancara yang sudah dieksekusi oleh peneliti.Kata kunci : Gaya Kepemimpinan Situasional, Kinerja, Old Town White Coffee Surabaya
CONHECIMENTO DAS DISCENTES DE UMA INSTITUIÇÃO PÚBLICA SOBRE A IMPORTÂNCIA DA REALIZAÇÃO DO EXAME CITOPATOLÓGICO –PAPANICOLAU
Authors: Da Silva Oliveira Taylane , de Sousa Meneses Brandão Socorro  Adriana , Luz Moura Roseane , Alvarenga Aragão Janaina , Santos Batista Lustosa Mariana , Silva Figueiredo Luciano , Santos Batista Patrícia Maria , Dos Santos Lopes Miriam 
Published: November 2023

O câncer do colo do útero é um dos mais frequentes tumores na população feminina e é causado pela infecção persistente por alguns tipos do papiloma vírus humano (HPV). Objtivou-se identificar o nível de conhecimento das discentes de uma universidade pública sobre a importância da realização do exame cito patológico-Papanicolau. Tratou-se de uma pesquisa quantitativa, descritiva, exploratória, transversal. O estudo foi conduzido na Universidade Estadual do Piauí – UESPI, polo Professor Barros Araújo, do município de Picos-PI, a população foram as discentes desse campus, dos diversos cursos.Quanto à função do exame citológico, 90% responderam o rastreamento de lesões precursoras ao câncer de colo de útero. Em relação à frequência que se deve realizar o exame, 48% das participantes responderam, de forma anual. No que diz respeito ao rastreamento do Papanicolau, 59% responderam, mulheres com 25 anos, gestantes ou não gestantes, que já iniciaram atividade sexual. 87% das participantes responderam que a razão para a realização do Papanicolau é a prevenção de câncer de colo uterino. 67% responderam que a principal causa que impede as mulheres de realizarem o Papanicolau é a falta de informação. As acadêmicas participantes da pesquisa possuem conhecimento satisfatório em relação ao exame e seu grau de importância para a prevenção do câncer de útero, bem como, desconhecem a periodicidade da realização.
Tailored Dispersion and Nonlinear Effects in Flint Glass Honeycomb PCF for Optical Communication
Authors: Halder Amit , Tanshen Md. Riyad , Hossain Mir Afzal , Akter Mst. Shanjida , Sikdar Md. Ashik 
Published: November 2023

This paper describes a highly nonlinear flint glass-based honeycomb photonic crystal fiber (FGH-PCF) with a wavelength of 1550 nm. The PCF’s distinctive honeycomb lattice structure, combined with the nonlinear capabilities of flint glass, enables a wide range of nonlinear optical applications. To adjust the PCF's dispersion and nonlinear effects, numerical simulations and optimization approaches were used. To achieve maximum performance, fabrication procedures were carefully regulated. Dispersion values of −436.6 ps/(nm.km) for x polarization and −448.1 ps/(nm.km) for y polarization were verified by experimental characterization. The PCF displayed low confinement losses of 2.289 dB/cm (x polarization) and 4.935 dB/cm (y polarization), as well as birefringence of 2.202×10-3. The PCF measured 558.8 and 547.9 W-1 km-1 for x and y polarization, respectively, indicating a high nonlinear coefficient. The highly nonlinear FGH-PCF shows promising potential for nonlinear optical applications such as four-wave mixing, supercontinuum generation, frequency conversion, and parametric amplification. This research paves the way for compact and efficient nonlinear devices in modern optical communication systems and other cutting-edge technologies.

Received: 19 September 2023 | Revised: 17 November 2023 | Accepted: 20 November 2023

Conflicts of Interest
The authors declare that they have no conflicts of interest to this work.

Data Availability Statement
Data sharing is not applicable to this article as no new data were created or analyzed in this study.
Produção científica sobre apropriação social do conhecimento científico no âmbito das Ciências Sociais e Humanas: uma revisão da literatura no período de 2002-2022
Authors: Macucule Augusto Júnior , Valentim Marta Lígia Pomim 
Published: November 2023

Objetivo. A produção científica sobre apropriação social do conhecimento apresenta conceitos e compreensões diversificadas e não há consenso na literatura científica existente sobre a temática. Objetiva-se compreender as variações conceituais sobre ‘apropriação do conhecimento científico’ no âmbito das Ciências Sociais e Humanas, a partir de uma revisão bibliográfica em bases de dados nacionais e internacionais.
Design/Metodologia/Abordagem. A pesquisa é de natureza qualiquantitativa, do tipo bibliográfica e, para tanto, utilizou-se de uma revisão sistemática de literatura, abrangendo o período entre 2002 e 2022.
Resultados/Discussão. A apropriação social do conhecimento em termos conceituais apresenta uma variação relacionada ao contexto geográfico, epistêmico e político. Estão associados ao conceito de apropriação social do conhecimento, termos como: cultura científica, produção social do conhecimento, difusão social do conhecimento, percepção pública da Ciência, entre outros. A variação conceitual sobre apropriação social do conhecimento necessita ser compreendida tendo em vista a produção, disseminação e usos do conhecimento por distintos usuários da informação e do conhecimento.
Conclusões. A produção de conhecimento ocorre nas universidades, nos centros de pesquisa e em organizações públicas e privadas comprometidas com a disseminação e apropriação do conhecimento científico. Vale destacar que o processo cíclico pelo qual ocorre a apropriação social do conhecimento depende da política científica e tecnológica dos países.
Palavras-chave: apropriação social do conhecimento; variação conceitual; unidades de produção e apropriação do conhecimento; divulgação científica; Ciências Sociais e Humanas.
The Nazi Spy Pastor
Authors: Watson J. Francis 
Published: November 2023

One man could have enabled the most audacious terrorist threat against America prior to 9/11 and helped the Nazis win World War II—the Nazi spy pastor, Carl Krepper. His riveting story brings to light a forgotten chapter in the history of the Second World War.
As America continues to wrestle with issues surrounding the threat of sabotage and terrorism, this eye-opening work details a very real threat faced by our country in the Second World War, and the key aspects of the underground war that was fought in this country by Nazi agents. The Nazi Spy Pastor: Carl Krepper and the War in America presents the fascinating true story of a secret plot to be executed on American soil—a German sabotage operation with intended targets in New York, New Jersey, Pennsylvania, Tennessee, and Illinois. This book chronicles, for the first time, the remarkable life of Carl Krepper—naturalized American citizen, Lutheran pastor, and the Nazi deep-cover operative who could have made possible the greatest terrorist threat on American soil prior to the attacks on September 11th.
Historian J. Francis Watson draws on newly declassified archival and documentary materials to tell the full story of how a devoted clergyman lost his way and betrayed his calling, instead advocating an ideology that supported genocide and the deaths of innocent victims in America, and how he came to play a key role in the Pastorius sabotage plot. The book covers fascinating cloak-and-dagger details of submarine infiltrations, safe houses, and secret codes, detailing Krepper's life, his work as a Nazi agent, and the FBI sting operation that finally brought about his arrest in December of 1944. This little-known, real-life espionage story will serve students of World War II history and appeal to readers interested in immigration and the integration of immigrant populations as well as the histories of New York and New Jersey.
Tremelimumab (Imjudo) in Combination With Durvalumab (Imfinzi)
Authors: CADTH  
Published: November 2023

CADTH recommends that tremelimumab (Imjudo) in combination with durvalumab (Imfinzi) should be reimbursed by public drug plans for the treatment of patients with unresectable hepatocellular carcinoma (HCC) if certain conditions are met.
Imjudo in combination with Imfinzi should only be covered to treat adult patients who have confirmed liver cancer that cannot be removed by surgery, are classified as Child-Pugh score class A, and require systemic therapy. Patients should be in relatively good health (i.e., have a good performance status, as determined by a specialist).
Imjudo in combination with Imfinzi should only be reimbursed as first-line treatment and should not be given in combination with other systemic anticancer drugs. Imjudo in combination with Imfinzi should be prescribed by clinicians with expertise and experience in treating unresectable HCC. In addition, the price for Imjudo in combination with Imfinzi should be reduced.
ЦИФРОВИЗАЦИЯ ТРАНСПОРТНОЙ ИНФРАСТРУКТУРЫ РЕСПУБЛИКИ КАЗАХСТАН
Authors: Тайсаринова Айслу , Гармаш Ольга , Умирзакова Динара 
Published: November 2023

Актуальность работы обусловлена отсутствием высокого уровня развития логистической отрасли и низкой степенью трансформации в странах Центральной Азии и Казахстана. Основной предмет исследования - сбор и анализ данных, полезных для обоснования вложений в развитие транспортной инфраструктуры. Для достижения цели изучения политики цифровизации в странах Центральной Азии (ЦА) были поставлены следующие задачи: проведение анализа политики цифровизации в странах Центральной Азии с акцентом на внедрение цифровых технологий в транспортную инфраструктуру данного региона. Для выполнения поставленных задач были использованы методы опросов и метод анализа кейсов. Был использован метод анализа основных показателей производительности - времени простоя на границах без учета цифровизации, а также метод сравнительного анализа стоимости операционных расходов. Данные методы позволяют получить достоверные данные о политике цифровизации как для стран ЦА, так и для Казахстана, в частности. В результате исследования выявлено, что цифровизация вносит корректировки в стоимость поставки на участке Шёлкового пути между Гуанчжоу и Алматы в размере 14,1%. В качестве вывода к данной работе была предложена архитектура по формированию региональной платформы для сбора и анализа информации о состоянии логистики, которая позволит сделать информацию для всех заинтересованных сторон более системной и доступной.
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ПРИБЛИЖЕННЫЕ ЧИСЛЕННО-АНАЛИТИЧЕСКИЕ РЕШЕНИЯ СТАТИЧЕСКИХ ЗАДАЧ ИЗГИБА ПРЯМОУГОЛЬНОЙ ОРТОТРОПНОЙ ПЛАСТИНЫ
Authors: Тойбаев Серикбай , Тогжанова Күлжан , Ангарбеков Улан , Смагулова Назгуль , Жәнкіш Мархаббат 
Published: November 2023

В данной статье рассматриваются прямоугольная ортотропная пластина в случаях действие по поверхности сосредоточенной силы, равномерной нагрузкой и нагрузкой изменяющейся по параболе в направленияхпри различных закреплениях по контуру. Для статического прогиба срединной плоскости получено приближенное аналитическое решение методом декомпозиции и проведен численный расчет. Данные решения задач и полученные формулы внутренних силовых факторов, напряжений пластины удобно для практического использования и могут быть использованы при проектировании промышленных зданий.
ЭФФЕКТИВНОСТЬ ИСПОЛЬЗОВАНИЯ ТЕПЛОНАСОСНЫХ УСТАНОВОК В СХЕМАХ ОБОРОТНОГО ВОДОСНАБЖЕНИЯ С ГРАДИРНЯМИ
Authors: Абильдинова Сауле , Достемес Мирас , Камарова Сауле 
Published: November 2023

В статье рассмотрена комбинированная схема теплоснабжения с применением тепловых насосов, использующих низкопотенциальное тепло оборотной системы охлаждения конденсаторов паровых турбин ТЭС. Комбинированная схема оборотного водоснабжения с включением тепловых насосов позволяет дополнительно производить тепло для теплофикации и уменьшить тепловые выбросы в окружающую среду. Представлены результаты исследования эффективности применения теплонасосных технологии на промышленных тепловых электростанциях с паровыми турбинами типа ПТ-80-130. Дана технико-экономическая оценка схемы включения теплового насоса для использования низкопотенциального тела охлаждающей воды оборотного водоснабжения ТЭС с градирнями. Доказана перспективность применения теплового насоса в целях энергосбережения и утилизации сбросного тела от градирен в атмосферу, как имеющей низкие капитальные затраты и приемлимый срок окупаемости. Внедрение тепловых насосов в схему теплоснабжения электростанции снижает удельный расход топлива при выработке тепловой энергии. К научной новизне работы относится обоснование выбора конкретного хладагента для теплового насоса и анализ его технико-экономических показателей на хладагенте R-134a, подтверждающие эффективность его применения в оборотной системе охлаждения конденсаторов турбин ТЭЦ.
ОЦЕНКА МЕТОДОВ ИНТЕРВАЛЬНОГО РЕГУЛИРОВАНИЯ ДВИЖЕНИЯ ПОЕЗДОВ НА ОСНОВЕ МОДЕЛИРОВАНИЯ В СРЕДЕ OPENTRACK
Authors: Орунбеков Максат 
Published: November 2023

Статья анализирует результаты сравнения и определения пропускной способности железнодорожной линии Жетиген-Алтынколь при интервальном регулировании движения поездов с применением технологий, фиксированных и подвижных блок-участков. Анализ проведен посредством микроскопического моделирования OpenTrack с использованием параметров действующего железнодорожного участка Курозек-Екпинди-Жарсу линии Жетиген-Алтынколь, подвижного состава, локомотива серии ТЭ33А и системы интервального регулирования. Полученные результаты исследований показали эффективность применения технологий подвижных блок-участков, позволяющих сократить межпоездные интервалы по сравнению с системой фиксированных блок-участков. Сокращение межпоездных интервалов способствует повышению пропускной способности участка и является залогом экономической эффективности.