cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory
Creators: name: Yang, Guowu
name: Hung, William N. N.
name: Song, Xiaoyu
name: Perkowski, Marek
Publisher: name: arXiv
Year: 2007
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We propose an approach to optimally synthesize quantum circuits from non-permutative quantum gates such as Controlled-Square-Root-of-Not (i.e. Controlled-V). Our approach reduces the synthesis problem to multiple-valued optimization and uses group theory. We devise a novel technique that transforms the quantum logic synthesis problem from a multi-valued constrained optimization problem to a group permutation problem. The transformation enables us to utilize group theory to exploit the properties of the synthesis problem. Assuming a cost of one for each two-qubit gate, we found all reversible circuits with quantum costs of 4, 5, 6, etc, and give another algorithm to realize these reversible circuits with quantum gates.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
Front-end electronic readout system for the Belle II imaging Time-Of-Propagation detector
Creators: name: Kotchetkov, Dmitri
name: Hartbrich, Oskar
name: Andrew, Matthew
name: Barrett, Matthew
name: Bessner, Martin
name: Bhardwaj, Vishal
name: Browder, Thomas
name: Cercillieux, Julien
name: Conrad, Ryan
name: Danko, Istvan
name: Dubey, Shawn
name: Fast, James
name: Fulsom, Bryan
name: Ketter, Christopher
name: Kirby, Brian
name: Loos, Alyssa
name: Macchiarulo, Luca
name: Macek, Bostjan
name: Nishimura, Kurtis
name: Purohit, Milind
name: Rosenfeld, Carl
name: Sang, Ziru
name: Savinov, Vladimir
name: Varner, Gary
name: Visser, Gerard
name: Weber, Tobias
name: Wood, Lynn
Publisher: name: arXiv
Year: 2018
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The Time-Of-Propagation detector is a Cherenkov particle identification detector based on quartz radiator bars for the Belle II experiment at the SuperKEKB electron-positron collider. The purpose of the detector is to identify the type of charged hadrons produced in electron-positron collisions, and requires a single photon timing resolution below 100 picoseconds. A novel front-end electronic system was designed, built, and integrated to acquire data from the 8192 microchannel plate photomultiplier tube channels in the detector. Waveform sampling of these analog signals is done by switched-capacitor array application-specific integrated circuits. The processes of triggering, digitization of windows of interest, readout, and data transfer to the Belle II data acquisition system are managed by Xilinx Zynq-7000 programmable system on a chip devices.
Design of All-Accelerometer Inertial Measurement Unit for Tremor Sensing in Hand-held Microsurgical Instrument
Creators: name: Ang, Wei Tech
name: Khosla, Pradeep
name: Riviere, Cameron N.
Publisher: name: Carnegie Mellon University
Year: 2003
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: We present the design of an all-accelerometer inertial measurement unit (IMU). The IMU forms part of an intelligent hand-held microsurgical instrument that senses its own motion, distinguishes between hand tremor and intended motion, and compensates in real-time the erroneous motion. The new IMU design consists of three miniature dual-axis accelerometers, two of which are housed in a sensor suite at the distal end of the instrument handle, and one located at the proximal end close to the instrument tip. By taking the difference between the accelerometer readings, we decouple the inertial and gravitational accelerations from the rotation-induced (centripetal and tangential) accelerations, hence simplifies the kinematic computation of angular motions. We have shown that the error variance of the Euler orientation parameters θx, θy and θz is inversely proportional to the square of the distance between the three sensor locations. Comparing with a conventional three gyros and three accelerometers IMU, the proposed design reduces the standard deviation of the estimates of translational displacements by 29.3% in each principal axis and those of the Euler orientation parameters θx, θy and θz by 99.1%, 99.1% and 92.8% respectively.
On the Throughput of Secure Hybrid-ARQ Protocols for Gaussian Block-Fading Channels
Creators: name: Tang, Xiaojun
name: Liu, Ruoheng
name: Spasojevic, Predrag
name: Poor, H. Vincent
Publisher: name: arXiv
Year: 2007
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: The focus of this paper is an information-theoretic study of retransmission protocols for reliable packet communication under a secrecy constraint. The hybrid automatic retransmission request (HARQ) protocol is revisited for a block-fading wire-tap channel, in which two legitimate users communicate over a block-fading channel in the presence of a passive eavesdropper who intercepts the transmissions through an independent block-fading channel. In this model, the transmitter obtains a 1-bit ACK/NACK feedback from the legitimate receiver via an error-free public channel. Both reliability and confidentiality of secure HARQ protocols are studied by the joint consideration of channel coding, secrecy coding, and retransmission protocols. In particular, the error and secrecy performance of repetition time diversity (RTD) and incremental redundancy (INR) protocols are investigated based on good Wyner code sequences, which ensure that the confidential message is decoded successfully by the legitimate receiver and is kept in total ignorance by the eavesdropper for a given set of channel realizations. This paper first illustrates that there exists a good rate-compatible Wyner code family which ensures a secure INR protocol. Next, two types of outage probabilities, connection outage and secrecy outage probabilities are defined in order to characterize the tradeoff between the reliability of the legitimate communication link and the confidentiality with respect to the eavesdropper's link. For a given connection/secrecy outage probability pair, an achievable throughput of secure HARQ protocols is derived for block-fading channels. Finally, both asymptotic analysis and numerical computations demonstrate the benefits of HARQ protocols to throughput and secrecy.
description: Submitted to IEEE Transactions on Information Theory
Using the phase shift to asymptotically characterize the dipolar mixed modes in post-main-sequence stars
Creators: name: Jiang, C.
name: Christensen-Dalsgaard, J.
name: Cunha, M.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Mixed modes have been extensively observed in post-main-sequence stars by the Kepler and CoRoT space missions. The mixture of the p and g modes can be measured by the dimensionless coefficient $q$, the so-called coupling strength factor. In this paper we discuss the utility of the phase shifts $θ$ from the eigenvalue condition for mixed modes as a tool to characterize dipolar mixed modes from the theoretical as well as the practical point of view. Unlike the coupling strength, whose variation in a given star is very small over the relevant frequency range, the phase shifts vary significantly for different modes. The analysis in terms of $θ$ can also provide a better understanding of the pressure and gravity radial order for a given mixed mode. Observed frequencies of the Kepler red-giant star KIC 3744043 are used to test the method. The results are very promising.
description: 13 pages, 12 figures, 3 tables
Synthesis of Polyamino-Carboxylate Scaffolds for Biological and Biomedical Applications
Creators: name: Bas Concepcion, Jesbaniris
Publisher: name: University of Illinois at Chicago
Year: 2024

description: Noninvasive techniques for disease imaging and targeted therapy allow for personalized treatment regimens. Radiometal-based imaging and therapeutic agents are expanding due to the increasing availability of 64Cu, 89Zr, 55Co, and other isotopes. When coupled to an antibody or other targeting group using an appropriate bifunctional chelator, clinicians can view the localization of the radiopharmaceutical and monitor disease progression using Positron Emission Tomography. Each isotope requires a different chelator to properly bind the radiometal. When translating a compound from the benchtop to the clinic, any change in chelator requires a completely new set of tests to determine safety and efficacy. Here, we developed a panel of chelators capable of binding radiometals used in both imaging and therapeutics. These multi-use chelators pave the way for the application of a single compound for both cancer detection and targeted therapy, thereby speeding clinical development and enhancing patient outcomes.
SAT-Based Complete Don't-Care Computation for Network Optimization
Creators: name: Mishchenko, Alan
name: Brayton, Robert K.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This paper describes an improved approach to Boolean network optimization using internal don't-cares. The improvements concern the type of don't-cares computed, their scope, and the computation method. Instead of the traditionally used compatible observability don't-cares (CODCs), we introduce and justify the use of complete don't-cares (CDC). To ensure the robustness of the don't-care computation for very large industrial networks, a optional windowing scheme is implemented that computes substantial subsets of the CDCs in reasonable time. Finally, we give a SAT-based don't-care computation algorithm that is more efficient than BDD-based algorithms. Experimental results confirm that these improvements work well in practice. Complete don't-cares allow for a reduction in the number of literals compared to the CODCs. Windowing guarantees robustness, even for very large benchmarks on which previous methods could not be applied. SAT reduces the runtime and enhances robustness, making don't-cares affordable for a variety of other Boolean methods applied to the network.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
High-Throughput Identification of Electrides from all Known Inorganic Materials
Creators: name: Burton, Lee A.
name: Ricci, Francesco
name: Rignanese, Gian-Marco
name: Hautier, Geoffroy
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: In this paper, we present the results of a large-scale, high-throughput computational search for electrides among all known inorganic materials. Analyzing a database of density functional theory results on more than 60,000 compounds, we identify 69 new electride candidates. We report on all these candidates and discuss the structural and chemical factors leading to electride formation. Among these candidates, our work identifies the first partially-filled 3d transition metal containing electrides Ba3CrN3 and Sr3CrN3; an unexpected finding that contravenes conventional chemistry.
description: 5 page manuscript in letter format, 27 page Supplementary Information
title: Rapport de voyage, De Grasse (1924) : Ligne des Antilles, 1952, voyage n°13
Creators: name: Choplin, Guy
name: De Saint-Sauveur, Charles
name: Lejeune, Jacques
name: Monnier, Albert
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: Journaux de bord
subject: Compagnie Générale Transatlantique
subject: Transports maritimes - Histoire
subject: Marine marchande

description: Chapitrage : Rapports d'inspecteurs - Rapport général / du capitaine - Rapport du commissaire - Rapport du second - Rapport de l'officier de sécurité - Rapport de l'officier de navigation - Rapport du médecin - Rapport contentieux
description: Source: French Lines & Compagnies, 1997 004 4980-18
description: Coverage: 1952-11-29/1953-01-03
Proposal for measuring the parity anomaly in a topological superconductor ring
Creators: name: Liu, Chun-Xiao
name: Cole, William S.
name: Sau, Jay D.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: A topological superconductor ring is uniquely characterized by a switch in the ground state fermion number parity upon insertion of one superconducting flux quantum - a direct consequence of the topological `parity anomaly.' Despite the many other tantalizing signatures and applications of topological superconductors, this fundamental, defining property remains to be observed experimentally. Here we propose definitive detection of the fermion parity switch from the charging energy, temperature, and tunnel barrier dependence of the flux periodicity of two-terminal conductance of a floating superconductor ring. We extend the Ambegaokar-Eckern-Sch{ö}n formalism for superconductors with a Coulomb charging energy to establish new explicit relationships between thermodynamic and transport properties of such a ring and the topological invariant of the superconductor. Crucially, we show that the topological contribution to the conductance oscillations can be isolated from Aharonov-Bohm oscillations of non-topological origin by their different dependence on the charging energy or barrier transparency.
description: 11 pages, 3 figures
Design of a Modular Tactile Sensor and Actuator Based on an Electrorheological Gel
Creators: name: Voyles, Richard M.
name: Fedder, Gary
name: Khosla, Pradeep
Publisher: name: Carnegie Mellon University
Year: 1996
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: We present the design of a modular tactile sensor and actuator system for observing human demonstrations of contact tasks. The system consists of three interchangeable parts: an intrinsic tactile sensor for measuring net force/torque, an extrinsic tactile sensor for measuring contact distributions, and a tactile actuator for displaying tactile distributions. The novel components are the extrinsic sensor and tactile actuator which are “inside-out symmetric” to each other and employ an electrorheological gel for actuation.
Dynamic Programming: A comprehensive review of Algorithms, Applications and Advances
Creators: name: Anika Saini
name: Jitendra Parmar
Publisher: name: Zenodo
Year: 2018

description: Dynamic Programming (DP) stands as a foundational optimization approach with vast programs across numerous fields. This evaluate gives a comprehensive exploration of DP, encompassing its ancient evolution, fundamental ideas, algorithmic strategies, and significant applications. From conventional issues just like the Fibonacci series to complex optimization challenges in economics, bioinformatics, and robotics, DP demonstrates its versatility. The paper examines optimization strategies, compares memorization and tabulation, and delves into kingdom-area reduction strategies. Applications in economics, bioinformatics, and robotics illustrate the real-world impact of DP. Advancing beyond conventional DP issues, the evaluation explores current traits. Approximate DP and its connection to reinforcement learning, parallel and distributed methods, and adaptive online variations imply the evolving landscape. The demanding situations of scalability, reminiscence efficiency, and multi-goal optimization are addressed, dropping mild on ability answers. The integration of DP with device learning opens new avenues for research and application.Dynamic Programming (DP) stands as a foundational optimization approach with vast programs across numerous fields. This evaluate gives a comprehensive exploration of DP, encompassing its ancient evolution, fundamental ideas, algorithmic strategies, and significant applications. From conventional issues just like the Fibonacci series to complex optimization challenges in economics, bioinformatics, and robotics, DP demonstrates its versatility. The paper examines optimization strategies, compares memorization and tabulation, and delves into kingdom-area reduction strategies. Applications in economics, bioinformatics, and robotics illustrate the real-world impact of DP. Advancing beyond conventional DP issues, the evaluation explores current traits. Approximate DP and its connection to reinforcement learning, parallel and distributed methods, and adaptive online variations imply the evolving landscape. The demanding situations of scalability, reminiscence efficiency, and multi-goal optimization are addressed, dropping mild on ability answers. The integration of DP with device learning opens new avenues for research and application.
B stars seen at high resolution by XMM-Newton
Creators: name: Cazorla, Constantin
name: Naze, Yael
Publisher: name: arXiv
Year: 2017
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We report on the properties of 11 early B stars observed with gratings on board XMM-Newton and Chandra, thereby doubling the number of B stars analysed at high resolution. The spectra typically appear soft, with temperatures of 0.2--0.6 keV, and moderately bright (log[L_{X}/L_{BOL}]~ -7) with lower values for later type stars. In line with previous studies, we also find an absence of circumstellar absorption, negligible line broadening, no line shift, and formation radii in the range 2 - 7 R*. From the X-ray brightnesses, we derived the hot mass-loss rate for each of our targets and compared these values to predictions or values derived in the optical domain: in some cases, the hot fraction of the wind can be non-negligible. The derived X-ray abundances were compared to values obtained from the optical data, with a fair agreement found between them. Finally, half of the sample presents temporal variations, either in the long-term, short-term, or both. In particular, HD44743 is found to be the second example of an X-ray pulsator, and we detect a flare-like activity in the binary HD79351, which also displays a high-energy tail and one of the brightest X-ray emissions in the sample.
description: published in A&A
Avoiding closed timelike curves with a collapsing rotating null dust shell
Creators: name: Mena, Filipe C.
name: Natario, Jose
name: Tod, Paul
Publisher: name: arXiv
Year: 2007
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We present an idealised model of gravitational collapse, describing a collapsing rotating cylindrical shell of null dust in flat space, with the metric of a spinning cosmic string as the exterior. We find that the shell bounces before closed timelike curves can be formed. Our results also suggest slightly different definitions for the mass and angular momentum of the string.
description: 6 pages; v2: references added; v3: remark added for final published version
Exact Sampling of Determinantal Point Processes without Eigendecomposition
Creators: name: Launay, Claire
name: Galerne, Bruno
name: Desolneux, Agnès
Publisher: name: arXiv
Year: 2018
Subjects: subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences

description: Determinantal point processes (DPPs) enable the modeling of repulsion: they provide diverse sets of points. The repulsion is encoded in a kernel $K$ that can be seen as a matrix storing the similarity between points. The diversity comes from the fact that the inclusion probability of a subset is equal to the determinant of a submatrice of $K$. The exact algorithm to sample DPPs uses the spectral decomposition of $K$, a computation that becomes costly when dealing with a high number of points. Here, we present an alternative exact algorithm in the discrete setting that avoids the eigenvalues and the eigenvectors computation. Instead, it relies on Cholesky decompositions. This is a two steps strategy: first, it samples a Bernoulli point process with an appropriate distribution, then it samples the target DPP distribution through a thinning procedure. Not only is the method used here innovative, but this algorithm can be competitive with the original algorithm or even faster for some applications specified here.
description: Last update: Correction of typos and journal reference
Fast projectile stopping power of quantal multi-component strongly coupled plasmas
Creators: name: Ballester, D.
name: Tkachenko, I. M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: Astrophysics (astro-ph)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The Bethe-Larkin formula for the fast projectile stopping power is extended to multi-component plasmas. The results are to contribute to the correct interpretation of the experimental data, which could permit to test the existing and future models of thermodynamic, static, and dynamic characteristics of strongly coupled Coulomb systems.
description: 4 pages, to appear in PRL
Design and Implementation of Controlled Elicitation for Machine Translation of Low-density Languages
Creators: name: Probst, Katharina
name: Brown, Ralf D.
name: Carbonell, Jaime G.
name: Lavie, Alon
name: Levin, Lori
name: Peterson, Erik
Publisher: name: Carnegie Mellon University
Year: 2001
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: NICE is a machine translation project for low-density languages. We are building a tool that will elicit a controlled corpus from a bilingual speaker who is not an expert in linguistics. The corpus is intended to cover major typological phenomena, as it is designed to work for any language. Using implicational universals, we strive to minimize the number of sentences that each informant has to translate. From the elicited sentences, we learn transfer rules with a version space algorithm. Our vision for MT in the future is one in which systems can be quickly trained for new languages by native speakers, so that speakers of minor languages can participate in education, health care, government, and internet without having to give up their languages.
Statistical Timing Based Optimization using Gate Sizing
Creators: name: Agarwal, Aseem
name: Chopra, Kaviraj
name: Blaauw, David
Publisher: name: arXiv
Year: 2007
Subjects: subject: Hardware Architecture (cs.AR)
subject: FOS: Computer and information sciences

description: The increased dominance of intra-die process variations has motivated the field of Statistical Static Timing Analysis (SSTA) and has raised the need for SSTA-based circuit optimization. In this paper, we propose a new sensitivity based, statistical gate sizing method. Since brute-force computation of the change in circuit delay distribution to gate size change is computationally expensive, we propose an efficient and exact pruning algorithm. The pruning algorithm is based on a novel theory of perturbation bounds which are shown to decrease as they propagate through the circuit. This allows pruning of gate sensitivities without complete propagation of their perturbations. We apply our proposed optimization algorithm to ISCAS benchmark circuits and demonstrate the accuracy and efficiency of the proposed method. Our results show an improvement of up to 10.5% in the 99-percentile circuit delay for the same circuit area, using the proposed statistical optimizer and a run time improvement of up to 56x compared to the brute-force approach.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
title: 03_0624
Creators: name: Wesley Baldwin, John
name: Baldwin, John W.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: L'ensemble de ces notes ont été crée par John Baldwin lors d'une de ses premières périodes de résidence à Paris. Ces documents comprennent tous les magistri qu’il avait pu rencontrer dans ses sources. Aux XIIème et XIIIème siècles, les universités n'existant pas encore, le titre de magister s'il évoque certainement une compétence n'est pas rattaché de façon systématique au passage par les écoles. De surcroît, les magistris sont le plus souvent désignés par leur seul prénom. La lecture de ces données est donc difficile et suppose un long travail pour tenter d'identifier un individu auquel on pourrait rattacher plusieurs mentions. John Baldwin avait donc renoncé à utiliser ces données pour donner un prolongement à sa magnifique étude sur les gradués d'université et leur emploi par les Capétiens et les Plantagenêts. Néanmoins, il a conservé ces données et elles sont potentiellement très utile dans le cadre de Studium, comme le sont toutes les mentions dans les volumes des Fasti Ecclesiae Gallicanae de chanoines portant ce titre de magister sans autres précisions. L'ampleur des dépouillements rend ces données très utiles et nous devons une grande reconnaissance à John Baldwin pour avoir pris la peine de faire photocopier ses fiches et de nous les avoir transmises amicalement.
Les données ainsi que les images des fiches sont accessibles sur le site Internet à l'adresse suivante : http://studium-baldwin.lamop.fr/.
Les transcriptions des fiches ont été effectuées par des étudiants de Paris 1 Panthéon - Sorbonne mais elles n'ont pas été corrigées par la suite.
description: Relation: https://lamop.hypotheses.org/
LSB: A Lightweight Scalable BlockChain for IoT Security and Privacy
Creators: name: Dorri, Ali
name: Kanhere, Salil S.
name: Jurdak, Raja
name: Gauravaram, Praveen
Publisher: name: arXiv
Year: 2017
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: BlockChain (BC) has attracted tremendous attention due to its immutable nature and the associated security and privacy benefits. BC has the potential to overcome security and privacy challenges of Internet of Things (IoT). However, BC is computationally expensive, has limited scalability and incurs significant bandwidth overheads and delays which are not suited to the IoT context. We propose a tiered Lightweight Scalable BC (LSB) that is optimized for IoT requirements. We explore LSB in a smart home setting as a representative example for broader IoT applications. Low resource devices in a smart home benefit from a centralized manager that establishes shared keys for communication and processes all incoming and outgoing requests. LSB achieves decentralization by forming an overlay network where high resource devices jointly manage a public BC that ensures end-to-end privacy and security. The overlay is organized as distinct clusters to reduce overheads and the cluster heads are responsible for managing the public BC. LSB incorporates several optimizations which include algorithms for lightweight consensus, distributed trust and throughput management. Qualitative arguments demonstrate that LSB is resilient to several security attacks. Extensive simulations show that LSB decreases packet overhead and delay and increases BC scalability compared to relevant baselines.
Describing Appliance User Interfaces Abstractly with XML
Creators: name: Nichols, Jeffrey
name: Myers, Brad
name: Litwack, Kevin
name: Higgins, Michael
name: Hughes, Joseph
name: Harris, Thomas
Publisher: name: Carnegie Mellon University
Year: 2004
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper describes an XML-based language for describing the functions of appliances, such as televisions, VCRs, copiers, microwave ovens, and even manufacturing equipment. Our description language is designed to be concise, easy to use, and contain no presentation information. It has been used to describe more than twenty diverse appliances. The functional descriptions written in our language are used to automatically generate remote control interfaces for appliances. We have used these descriptions to generate both graphical and speech interfaces on handheld computers, mobile phones, and desktop computers.
Automated Synthesis of Assertion Monitors using Visual Specifications
Creators: name: Gadkari, Ambar A.
name: Ramesh, S.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors from visual specifications given in CESC (Clocked Event Sequence Chart). CESC is a visual language designed for specifying system level interactions involving single and multiple clock domains. It has well-defined graphical and textual syntax and formal semantics based on synchronous language paradigm enabling formal analysis of specifications. In this paper we provide an overview of CESC language with few illustrative examples. The algorithm for automated synthesis of assertion monitors from CESC specifications is described. A few examples from standard bus protocols (OCP-IP and AMBA) are presented to demonstrate the application of monitor synthesis algorithm.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
title: Capabilities, autonomy, and education: a comprehensive anti-perfectionist capability approach to justice
Creators: name: Latkovskis, Imants
Publisher: name: University of Glasgow
Year: 2021

description: This thesis explores the relationship between the capability approach to justice and liberal philosophy. I argue that the most compelling articulation of the capability approach—one given by Martha Nussbaum—suffers from an unattractive kind of inconsistency. On the one hand, Nussbaum is committed to formulating a robust account of a dignified human life which can give rise to a range of individual entitlements which ought to be guaranteed to all individuals. On the other hand, Nussbaum is committed to political liberalism which requires state institutions to uphold strict neutrality between a variety of reasonable conceptions of the good. Nussbaum’s first commitment results in the formulation of a list of ten central human capabilities. However, I argue that the content and justification of this list cannot be successfully established in a way that is consistent with Nussbaum’s second commitment. Therefore, in this thesis, I propose a novel capability approach: a two-step approach which consists of two principles arranged in lexical priority. First, governments have a moral obligation to secure individuals with a meta-capability of autonomy. That is to say, governments must provide the conditions which are conducive to individuals exercising a range of agentic competencies which are constitutive of autonomous judgement. Second, governments have a moral obligation to provide opportunities for individuals to exercise this meta-capability in six domains of well-being: health, politics, knowledge, relationships, self-expression, and work. I argue that exercising autonomous choice in the pursuit of welfare is necessary for a good life, regardless of the specific choices individuals eventually make, and even if they choose to forgo some supposedly valuable choices altogether. My proposal has two striking features which set it apart from other articulations of the capability approach (most notably Nussbaum’s). First, my proposal is comprehensive in that it relies on a particular view about what is a valuable way of life. In my view, a way of life is valuable if it is pursued autonomously, that is to say, if it involves an individual (a) exercising a set of agentic competencies and (b) standing in appropriate relations with other people. And second, by virtue of being based in this particular comprehensive claim, my account of justice is anti-perfectionist. That is to say, my proposal does not aim to compel people to make valuable choices. Rather, it aims to equip people with the means to live the kind of life they find valuable and worth living. I then apply this capability approach to the domain of education, and I argue it can be useful in formulating an ambitious and transformative approach to education. In particular, I develop a program of civic education aimed at responding to the problems associated with disinformation and ‘post-truth’ trends in politics.
Electric Dipole Moments in the Minimal Scotogenic Model
Creators: name: Abada, Asmaa
name: Toma, Takashi
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: In this work we consider a minimal version of the scotogenic model capable of accounting for an electron electric dipole moment within experimental sensitivity reach in addition to providing a dark matter candidate and radiatively generating neutrino masses. The Standard Model is minimally extended by two sterile fermions and one inert scalar doublet, both having odd parity, while the Standard Model particles have an even parity, imposed by a Z2 symmetry. The neutrino Yukawa couplings provide additional sources of CP violation, and thus a possible impact on electric dipole moments of charged leptons. This model provides two possible dark matter candidates (one bosonic and one fermionic) and our results show that, independently of the ordering of the generated light neutrino spectrum, one can have sizeable electron electric dipole moment within ACME sensitivity reach in the case of fermionic dark matter candidate.
description: 22 pages, 7 figures, version published in JHEP, section 3.2, Fig.3-7 and appendix are updated
Descartes: A programming-language approach to interactive display interfaces
Creators: name: Shaw, Mary
name: Borison, Ellen
name: Horowitz, Michael
name: Lane, Tom
name: Nichols, David
name: Pausch, Randy
Publisher: name: Carnegie Mellon University
Year: 1983
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper shows how the principles of programming methodology and language design can help solve the problem of specifying and creating interactive display interfaces for software systems. Abstraction techniques, such as abstract data types, can support both the specification of display interfaces and the implementation of those interfaces in a variety of styles. These abstraction techniques also guide the organization of software systems that will use display interfaces. We are developing a system that includes specifications, interface description tools, prototype organizations, and runtime support. The emphasis is on flexibility and on the separation of policy from particular instances. Preliminary results from implementations in a prototype domain indicate the feasibility of the approach.
Constructive Foundation of Quantum Mechanics
Creators: name: Smilga, Walter
Publisher: name: arXiv
Year: 2018
Subjects: subject: General Physics (physics.gen-ph)
subject: FOS: Physical sciences

description: I describe a constructive foundation for Quantum Mechanics, based on the discreteness of the degrees of freedom of quantum objects and on the Principle of Relativity. Taking Einstein's historical construction of Special Relativity as a model, the construction is carried out in close contact with a simple quantum mechanical Gedanken experiment. This leads to the standard axioms of Quantum Mechanics. The quantum mechanical description is identified as a tool that allows describing objects with discrete degrees of freedom in space-time covariant with respect to coordinate transformations. An inherent property of this description is a quantum mechanical interaction mechanism. The construction gives detailed answers to controversial questions, such as the measurement problem, the informational content of the wave function, and the completeness of Quantum Mechanics.
description: The final publication is available at Springer via http://dx.doi.org/10.1007/s10701-016-0050-7
Metaheuristic optimization for artificial neural networks and deep learning architectures
Creators: name: Pagano, Davide
Publisher: name: Zenodo
Year: 2024

description: Classical minimization methods, like the steepest descent or quasi-Newton techniques, have been proved to struggle in dealing with optimization problems with a high-dimensional search space or subject to complex nonlinear constraints, in addition to requiring continuous cost functions. For these reasons, in the last decade, the interest on metaheuristic nature-inspired algorithms has been growing steadily, due to their flexibility and effectiveness.

In this talk I will present a new python package which implements several metaheuristic algorithms (MHAs) for optimization problems. Unlike other available tools, it can be used not only for unconstrained problems, but also for problems subjected to inequality constraints and for integer or mixed-integer problems. Within the HEP community, a particularly interesting use case of MHAs is for the optimization of artificial neural networks (ANNs) and deep learning (DL) architectures, in terms of weights, hyper-parameters, and so on. This is indeed known to be one of the most challenging problems in machine learning and traditional gradient-based learning algorithms sometimes suffer from stucking at local minima and from the need of continuous cost functions. For these reasons, several authors have investigated the use of MHAs, even by combining some of them (hybrid MAHs), in optimizing the parameters involved in the training process of ANNs and, more recently, of DLs. In this talk I will also give an overview on this subject and show how to use the new package to integrate MHAs with ANN and DL architectures.
The hexagon Wilson loop and the BDS ansatz for the six-gluon amplitude
Creators: name: Drummond, J. M.
name: Henn, J.
name: Korchemsky, G. P.
name: Sokatchev, E.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: As a test of the gluon scattering amplitude/Wilson loop duality, we evaluate the hexagonal light-like Wilson loop at two loops in N=4 super Yang-Mills theory. We compare its finite part to the Bern-Dixon-Smirnov (BDS) conjecture for the finite part of the six-gluon amplitude. We find that the two expressions have the same behavior in the collinear limit, but they differ by a non-trivial function of the three (dual) conformally invariant variables. This implies that either the BDS conjecture or the gluon amplitude/Wilson loop duality fails for the six-gluon amplitude, starting from two loops. Our results are in qualitative agreement with the analysis of Alday and Maldacena of scattering amplitudes with infinitely many external gluons.
description: 8 pages, 3 figures; typos corrected
title: Focal nodular hyperplasia in a fatty liver
Creators: name: Ogorevc, Nace
Publisher: name: EURORAD
Year: 2024
Subjects: subject: Abdominal imaging
subject: Abdomen
subject: MR
subject: Ultrasound
subject: Ultrasound-Colour Doppler
subject: Contrast agent-intravenous
subject: Clinical Case

description: Clinical History: A 49-year-old female was admitted to our hospital with subacute onset of unspecific abdominal discomfort. No abnormalities were discovered on clinical examination or laboratory studies. She had no known medical diseases or surgery in the past.

description: 49 years, female
Additional file 2 of BTB/POZ zinc finger protein ZBTB16 inhibits breast cancer proliferation and metastasis through upregulating ZBTB28 and antagonizing BCL6/ZBTB27
Creators: name: He, Jin
name: Wu, Mingjun
name: Xiong, Lei
name: Gong, Yijia
name: Yu, Renjie
name: Peng, Weiyan
name: Li, Lili
name: Li, Li
name: Tian, Shaorong
name: Wang, Yan
name: Tao, Qian
name: Xiang, Tingxiu
Publisher: name: figshare
Year: 2020
Subjects: subject: Biophysics
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: Plant Biology

description: Additional file 2: Figure S2. The correlations between ZBTB16 and EMT markers from the GCE database.
Higgs-boson-pair production $H(\rightarrow b\overline{b})H(\rightarrowγγ)$ from gluon fusion at the HL-LHC and HL-100 TeV hadron collider
Creators: name: Chang, Jung
name: Cheung, Kingman
name: Lee, Jae Sik
name: Lu, Chih-Ting
name: Park, Jubin
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We perform the most up-to-date comprehensive signal-background analysis for Higgs-pair production in $HH \to b\bar b γγ$ channel at the HL-LHC and HL-100 TeV hadron collider, with the goal of probing the self-coupling $λ_{3H}$ of the Higgs boson. We simulate all the standard-model signal and background processes with the simulation tools almost as sophisticated as what experimentalists are using. We find that even for the most promising channel $HH \to b\bar{b}γγ$ at the HL-LHC with a luminosity of 3000 fb$^{-1}$, the significance is still not high enough to establish the Higgs self-coupling at the standard model (SM) value. Instead, we can only constrain the self-coupling to $-1.0 < λ_{3H} < 7.6 $ at $ 95\% $ confidence level after considering the uncertainties associated with the top-Yukawa coupling and the estimation of backgrounds. Here we also extend the study to the HL-100 TeV hadron collider. With a luminosity of 3 ab$^{-1}$, we find there exists a bulk region of $2.6 \lsim λ_{3H} \lsim 4.8 $ in which one cannot pin down the trilinear coupling. Otherwise one can measure the coupling with a high precision. At the SM value, for example, we show that the coupling can be measured with about 20 \% accuracy. While assuming 30 ab$^{-1}$, the bulk region reduces to $3.1 \lsim λ_{3H} \lsim 4.3$ and the trilinear coupling can be measured with about 7 \% accuracy at the SM value. With all the simulated background events and results, our study can be useful to probe the Higgs potential of various models with extended Higgs sector, such as two-Higgs-doublet model, MSSM, etc.
description: 35 pages, 21 figures, 15 tables; New section V. FURTHER IMPROVEMENTS ENVISAGED added, Tables VI and XII updated, references added; New Appendix C added
Dependability Benchmarking: making choices in an n-dimensional problem space
Creators: name: Madeira, Henrique
name: Koopman, Philip
Publisher: name: Carnegie Mellon University
Year: 2001
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Dependability benchmarks should provide cost-effective ways to evaluate the behavior of components and computer systems in the presence of faults, allowing the quantification of dependability attributes or the characterization of the systems into well defined dependability classes. Beyond existing evaluation techniques, a dependability benchmark should represent an agreement accepted by the computer industry or/and by the user community, and specify the measures, the methods, and techniques required to perform measurements. This paper discusses the different dimensions involved in the dependability benchmarking problem and presents basic components required to specify dependability benchmarks. Although several obstacles still persist and are currently the subject of research, the definition of all the dimensions of the problem and the agreement of the community on a basic set of components that constitute a possible framework for dependability benchmarking seem to us a first step in the proposal of actual dependability benchmarks.
Characterization of quantum angular-momentum fluctuations via principal components
Creators: name: Rivas, Ángel
name: Luis, Alfredo
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We elaborate an approach to quantum fluctuations of angular momentum based on the diagonalization of the covariance matrix in two versions: real symmetric and complex Hermitian. At difference with previous approaches this is SU(2) invariant and avoids any difficulty caused by nontrivial commutators. Meaningful uncertainty relations are derived which are nontrivial even for vanishing mean angular momentum. We apply this approach to some relevant states.
description: 10 pages, Two column. New section II and some clarifying comments
Information Age Agriculture: Commodity Concept and Automation
Creators: name: Hennessy, David
name: Hennessy, David
Publisher: name: Unknown
Year: 2019
Subjects: subject: Crop Production/Industries
subject: Labor and Human Capital
subject: Production Economics
subject: Research and Development/Tech Change/Emerging Technologies
subject: agricultural labor
subject: automation
subject: Bayes’ rule
subject: precision agriculture
subject: product differentiation
subject: smart capital

description: What constitutes a commodity is circumscribed by the pertaining technology and by incentives. Biotechnology innovations allow for more consistent production while sensors and other information technologies have allowed for improved discernment of material attributes. These two innovation classes are underpinning deep structural change in how agricultural products are produced, transformed and marketed. Since the beginnings of the Industrial Revolution, standardization of materials and equipment have enabled machinery to replace labor that can deal with non-standard decisions. Witless machines are now being replaced by discerning machines, allowing capital to compete with labor in new ways. When there are two underlying raw materials types, this paper provides a Bayesian information processing model of production and processing where three parameters matter. The state of biotechnology determines product consistency, and so the prior information that a resource receives when handling raw materials. Handling resources vary in the quality of the signal that is read from the materials. Finally, incentives determine tolerance for miscategorization of raw materials types. We show that produce consistency and discernment substitute when the costs of mis-categorizing are symmetric. Then low discernment costs promote differentiation while low costs for consistent materials promote commodity production. When mis-categorization costs are asymmetric and penalize more heavily mis-categorization into the more prevalent type then discernment and consistency can complement at low consistency levels but will substitute at higher consistency levels. Furthermore,commodity production will occur whenever consistency is close to 100% or to 50%. A Slingshot Effect can occur for materials consistency whereby improved biotechnology first increases demand for both discernment and consistency, through complementarity, but then eliminates demand for discernment and further boosts demand for consistency because the pair have become substitutes. Finally when sorting frictions, i.e., switching costs, decrease due to the advent of automation technologies then product differentiation is promoted. The model adapts to pure production cost settings where raw material types are replaced by input needs.
Surfaces in three-dimensional Lie groups in terms of spinors
Creators: name: Taimanov, I. A.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics

description: This is a survey of results on surfaces in noncommutative three-dimensional Lie groups obtained by using the Weierstrass (spinor) representation of surfaces. It is based on the talk given at the conference "Geometry related to the theory of integrable systems" (RIMS, Kyoto, September 2007).
description: 18 pages