cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
MOESM1 of Extracellular matrix derived from human urine-derived stem cells enhances the expansion, adhesion, spreading, and differentiation of human periodontal ligament stem cells
Creators: name: Xiong, Xue
name: Yang, Xiao
name: Dai, Hongwei
name: Feng, Gang
name: Zhang, Yuanyuan
name: Zhou, Jianping
name: Zhou, Wenwen
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Space Science
subject: Molecular Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Evolutionary Biology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. Conformation for the primers working. The DNA gel shows a good specificity of the primers including ALP, RUNX2, OCN, POSTN, VEGF-A, CD31, LPL, PPARÎ³2, GADPH. The file is for review purpose only.
Pseudo-Anosov dilatations and the Johnson filtration
Creators: name: Malestein, Justin
name: Putman, Andrew
Publisher: name: arXiv
Year: 2013
Subjects: subject: Geometric Topology (math.GT)
subject: FOS: Mathematics

description: Answering a question of Farb-Leininger-Margalit, we give explicit lower bounds for the dilatations of pseudo-Anosov mapping classes lying in the kth term of the Johnson filtration of the mapping class group.
description: 20 pages, 3 figures; to appear in Groups Geom. Dyn
Formal Verification of Superscalar Microprocessors with Multicycle Functional Units, Exceptions, and Branch Prediction
Creators: name: Velev, Miroslav N
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We extend the Burch and Dill flushing technique [6] for formal verification of microprocessors to be applicable to designs where the functional units and memories have multi-cycle and possibly arbitrary latency. We also show ways to incorporate exceptions and branch prediction by exploiting the properties of the logic of Positive Equality with Uninterpreted Functions [4][5]. We study the modeling of the above features in different versions of dual-issue superscalar processors.
International IQ Certificate - Majid Sheikh Gholam Hosseini (IQ 220)
Creators: name: Sheikh gholam hosseini, Majid
Publisher: name: Zenodo
Year: 2025
Subjects: IQ, High IQ, Cognitive Ability, IQ 220, Ultra Genius

description: This certificate represents an Ultra-High-Level IQ assessment conducted by Majid Sheikh Gholam Hosseini. The test, specifically designed to evaluate cognitive abilities beyond conventional IQ tests, includes 10 standard IQ questions (numerical, spatial, logical, and verbal) and 3 advanced-level questions that assess philosophical reasoning, pattern-based thinking, and abstract cognitive abilities.

 

The final IQ score of 220 reflects exceptional intellectual abilities in areas such as:

 

Abstract numerical logic

Spatial reasoning and problem-solving

Philosophical analysis

Innovative thinking beyond standard test patterns

 

 

This test was designed to push cognitive boundaries, and the score achieved places the individual in the Top 0.0000001% globally, aligning with Ultra Genius intellectual classes like Mega Society and Giga Test.

 

This certificate is suitable for scientific and intellectual reference and provides insights into cognitive potential that go beyond traditional IQ measurement. It can be used in academic contexts for research or personal intellectual development. Please note that this certificate reflects an assessment based on independent cognitive evaluation, not an official standard IQ test.
MOESM2 of Extracellular matrix derived from human urine-derived stem cells enhances the expansion, adhesion, spreading, and differentiation of human periodontal ligament stem cells
Creators: name: Xiong, Xue
name: Yang, Xiao
name: Dai, Hongwei
name: Feng, Gang
name: Zhang, Yuanyuan
name: Zhou, Jianping
name: Zhou, Wenwen
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Molecular Biology
subject: Physiology
subject: Biotechnology
subject: Evolutionary Biology
subject: Ecology
subject: Developmental Biology
subject: Cancer
subject: Hematology
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 2. Spreading and morphology of cells grown on ECM. in 3D representation. Cells cultured on 4 surfaces were stained with phalloidin-Atto 555 and DAPI and were scanned for 3D layer by confocal laser scanning microscopy. Cells represent more like 2D morphologies. The file is for review purpose only.
The CMB in a Causal Set Universe
Creators: name: Zuntz, Joe
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We discuss Cosmic Microwave Background constraints on the causal set theory of quantum gravity, which has made testable predictions about the nature of dark energy. We flesh out previously discussed heuristic constraints by showing how the power spectrum of causal set dark energy fluctuations can be found from the overlap volumes of past light cones of points in the universe. Using a modified Boltzmann code we put constraints on the single parameter of the theory that are somewhat stronger than previous ones. We conclude that causal set theory cannot explain late-time acceleration without radical alterations to General Relativity.
description: 5 pages, 2 figures
Formal Verification of PowerPC(TM) Arrays using Symbolic Trajectory Evaluation
Creators: name: Manesh  Pandey
name: Raimi, Richard
name: Beatty, Derek L
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1973
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Verifying memory arrays such as on-chip caches and register files is a difficult part of designing a microprocessor. Current tools cannot verify the equivalence of the arrays to their behavioral or RTL models, nor their correct functioning at the transistor level. It is infeasible to run the number of simulation cycles required, and most formal verification tools breakdowndue to the enormous number of state-holding elements in the arrays. The formal method of symbolic trajectory evaluation (STE) appears to offer a solution, however. STE verifies that a circuit satisfies a formula in a carefully restricted temporal logic. For arrays, it requires only a number of variables approximately logarithmic in the numberof memory locations. The circuit is modeled at the switch level, so the verification is done on the actual design. We have used STE to verify two arrays from PowerPC microprocessors: a register file, and a data cache tag unit. The tag unit contains over 12,000 latches. We believe it is the largest circuit to have been formally verified, without abstracting away significant detail, in the industry. We also describe an automated technique for identifying state-holding elements in the arrays, a technique which should greatly assist the widespread application of STE.
Finite temperature behavior of strongly disordered quantum magnets coupled to a dissipative bath
Creators: name: Schehr, Gregory
name: Rieger, Heiko
Publisher: name: arXiv
Year: 2007
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: We study the effect of dissipation on the infinite randomness fixed point and the Griffiths-McCoy singularities of random transverse Ising systems in chains, ladders and in two-dimensions. A strong disorder renormalization group scheme is presented that allows the computation of the finite temperature behavior of the magnetic susceptibility and the spin specific heat. In the case of Ohmic dissipation the susceptibility displays a crossover from Griffiths-McCoy behavior (with a continuously varying dynamical exponent) to classical Curie behavior at some temperature $T^*$. The specific heat displays Griffiths-McCoy singularities over the whole temperature range. For super-Ohmic dissipation we find an infinite randomness fixed point within the same universality class as the transverse Ising system without dissipation. In this case the phase diagram and the parameter dependence of the dynamical exponent in the Griffiths-McCoy phase can be determined analytically.
description: 23 pages, 12 figures
Venus Equation of center, al-Khwarizmi by Suter (Heinrich) (1914) | Type-B (ID n° 415)
Creators: name: Suter, Heinrich
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2022
Subjects: Astronomy
History of astronomy
DISHAS
Astronomical table

description: This is a type B edition: A type-B edition corresponds to a critical edition of several table witnesses:
 it is based on several different editions, themselves based on tables from different primary sources.
 A type-B edition can be based on type-A, type-B or type-C editions.
You can find it on the DISHAS project website from this link: https://dishas.obspm.fr/table-edition/415
description: Source: Die Astronomischen Taflen des Muhanned Ibn Musa al-Khwarizmi, Suter (Heinrich), 1914
Formal Verification of Memory Circuits by Switch-Level Simulation
Creators: name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1985
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: A logic simulator can prove the correctness of a digital circuit if it can be shown that only circuits implementing the system specification will produce a particular response to a sequence of simulation commands. Three valued modeling, where the third state X indicates a signal with unknown digital value, can greatly reduce the number of patterns that need to be simulated for complete verification. As an extreme case, an N-bit random access memory (RAM) can be verified by simulating just O(N log N) patterns. This approach to verification is fast, requires minimal attention on the part of the user to the circuit details, and can utilize more sophisticated circuit models than other approaches to formal verification. The technique has been applied to a CMOS static RAM design using the COSMOS switch level simulator. By simulating many patterns in parallel, a massively parallel computer can verify a 4K RAM in under 6 minutes.
One modification of the martingale transform and its applications to paraproducts and stochastic integrals
Creators: name: Kovač, Vjekoslav
name: Škreb, Kristina Ana
Publisher: name: arXiv
Year: 2013
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics
subject: Primary 60G42, Secondary 42B15, 60G46, 60H05

description: In this paper we introduce a variant of Burkholder's martingale transform associated with two martingales with respect to different filtrations. Even though the classical martingale techniques cannot be applied, we show that the discussed transformation still satisfies some expected $\mathrm{L}^p$ estimates. Then we apply the obtained inequalities to general-dilation twisted paraproducts, particular instances of which have already appeared in the literature. As another application we construct stochastic integrals $\int_{0}^{t}H_s d(X_s Y_s)$ associated with certain continuous-time martingales $(X_t)_{t\geq 0}$ and $(Y_t)_{t\geq 0}$. The process $(X_t Y_t)_{t\geq 0}$ is shown to be a "good integrator", although it is not necessarily a semimartingale, or even adapted to any convenient filtration.
description: 18 pages; v3: accepted for publication, references updated, research support acknowledged
Circumscribing Late Dark Matter Decays Model Independently
Creators: name: Yuksel, Hasan
name: Kistler, Matthew D.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: A number of theories, spanning a wide range of mass scales, predict dark matter candidates that have lifetimes much longer than the age of the universe, yet may produce a significant flux of gamma rays in their decays today. We constrain such late decaying dark matter scenarios model-independently by utilizing gamma-ray line emission limits from the Galactic Center region obtained with the SPI spectrometer on INTEGRAL, and the determination of the isotropic diffuse photon background by SPI, COMPTEL and EGRET observations. We show that no more than ~5% of the unexplained MeV background can be produced by late dark matter decays either in the Galactic halo or cosmological sources.
description: 6 pages, 4 figures; minor revisions, title changed, to be published in PRD
title: SWAS observations of water in molecular outflows
Creators: name: Franklin, J
name: Snell, Ronald L.
name: Kaufman, MJ
name: Melnick, GJ
name: Neufeld, DA
name: Hollenbach, DJ
name: Bergin, EA
Publisher: name: University of Massachusetts Amherst
Year: 2008
Subjects: subject: ISM : abundances
subject: ISM : jets and outflows
subject: ISM : molecules
subject: stars : formation
subject: stars : winds
subject: outflows
subject: Astrophysics and Astronomy

description: This is the pre-published version harvested from ArXiv. The published version is located at
description: We present detections of the ground-state 110→ 101 transition of ortho-H2O at 557 GHz in 18 molecular outflows based on data from the Submillimeter Wave Astronomy Satellite (SWAS). These results are combined with ground-based observations of the J = 1–0 transitions of 12CO and 13CO obtained at the Five College Radio Astronomy Observatory (FCRAO). Data from Infrared Space Observatory (ISO) for a subset of the outflows are also discussed. Assuming that the SWAS water-line emission originates from the same gas traced by CO emission, we find that the outflowing gas in most outflows has an ortho-H2O abundance relative to H2 of between ~10−7 and 10−6. Analysis of the water abundance as a function of outflow velocity reveals a strong dependence. The abundance of ortho-H2O increases with velocity, and at the highest outflow velocities some of the outflows have relative ortho-H2O abundances of order 10−4. However, the mass of very high velocity gas with such elevated H2O abundances represents less than 1% of the total outflow gas mass. The ISO LWS observations of high-J rotational lines of CO and the 179.5 μm transition of ortho-H2O provide evidence for a warmer outflow component than required to produce either the SWAS or FCRAO lines. The ISO line-flux ratios can be reproduced with C-shock models with shock velocities of order 25 km s−1 and preshock densities of order 105 cm−3; these C-shocks have postshock relative water abundances greater than 10−4. The mass associated with the ISO emission is also quite small compared with the total outflow mass and is similar to that responsible for the highest velocity water emission detected by SWAS. Although the gas responsible for the ISO emission has elevated levels of water, the bulk of the outflowing gas has an abundance of ortho-H2O well below what would be expected if the gas has passed through a C-shock with shock velocities greater than 10 km s−1. Gas-phase water can be depleted in the postshock gas due to freezeout onto grain mantles; however, the rate of freezeout is too slow to explain our results. Therefore, we believe that only a small fraction of the outflowing molecular gas has passed through shocks strong enough to fully convert the gas-phase oxygen to water. This result has implications for the acceleration mechanism of the molecular gas in these outflows.
Formal Verification of Differential Privacy for Interactive Systems
Creators: name: Tschantz, Michael Carl.
name: Dilsun  Kaynar
name: Datta, Anupam
Publisher: name: Carnegie Mellon University
Year: 1974
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Differential privacy is a promising approach to privacy preserving data analysis with a well-developed theory for functions. Despite recent work on implementing systems that aim to provide differential privacy, the problem of formally verifying that these systems have differential privacy has not been adequately addressed. This paper presents the first results towards automated verification of source code for differentially private interactive systems. We develop a formal probabilistic automaton model of differential privacy for systems by adapting prior work on differential privacy for functions. The main technical result of the paper is a sound proof technique based on a form of probabilistic bisimulation relation for proving that a system modeled as a probabilistic automaton satisfies differential privacy. The novelty lies in the way we track quantitative privacy leakage bounds using a relation family instead of a single relation. We illustrate the proof technique on a representative automaton motivated by PINQ, an implemented system that is intended to provide differential privacy. To make our proof technique easier to apply to realistic systems, we prove a form of refinement theorem and apply it to show that a refinement of the abstract PINQ automaton also satisfies our differential privacy definition. Finally, we begin the process of automating our proof technique by providing an algorithm for mechanically checking a restricted class of relations from the proof technique.
Probing new physics with long-lived charged particles produced by atmospheric and astrophysical neutrinos
Creators: name: Ando, Shin'ichiro
name: Beacom, John F.
name: Profumo, Stefano
name: Rainwater, David
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: As suggested by some extensions of the Standard Model of particle physics, dark matter may be a super-weakly interacting lightest stable particle, while the next-to-lightest particle (NLP) is charged and meta-stable. One could test such a possibility with neutrino telescopes, by detecting the charged NLPs produced in high-energy neutrino collisions with Earth matter. We study the production of charged NLPs by both atmospheric and astrophysical neutrinos; only the latter, which is largely uncertain and has not been detected yet, was the focus of previous studies. We compute the resulting fluxes of the charged NLPs, compare those of different origins, and analyze the dependence on the underlying particle physics setup. We point out that even if the astrophysical neutrino flux is very small, atmospheric neutrinos, especially those from the prompt decay of charmed mesons, may provide a detectable flux of NLP pairs at neutrino telescopes such as IceCube. We also comment on the flux of charged NLPs expected from proton-nucleon collisions, and show that, for theoretically motivated and phenomenologically viable models, it is typically sub-dominant and below detectable rates.
description: 27 pages, 6 figures; accepted for publication in JCAP
Bloch sphere colourings and Bell inequalities
Creators: name: Kent, Adrian
name: Pitalúa-García, Damián
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We consider here the predictions of quantum theory and local hidden variables for the correlations obtained by measuring a pair of qubits by projections defined by randomly chosen axes separated by a given angle θ. The predictions of local hidden variable models for projective measurements on qubits correspond to binary colourings of the Bloch sphere with antipodal points oppositely coloured. We prove Bell inequalities separating the predictions of all local hidden variable models from the singlet correlations predicted by quantum theory for all θin the range 0 < θ< π/3. We raise and explore the possibility of proving stronger Bell inequalities directly from optimization results on sphere colourings. In particular, we explore strong and weak forms of the hemispherical colouring maximality hypothesis (HCMH) that, for a continuous range of θ> 0, the maximum LHV anti-correlation is obtained by assigning to each qubit a colouring with one hemisphere black and the other white. Our results show that hemispherical colourings are near-optimal for small θ; we also describe numerical tests consistent with the HCMH that bound the range of θ. Finally, we note proofs of related results for binary colourings of R^n.
description: Typos and a couple of incorrect statements fixed; references added; title updated; discussion extended; reformatted. Lemmas and theorem unaltered. Published version
title: ADCO, Premier cartulaire de Saint-Étienne de Dijon (XIIe siècle), Cart. 21 (G 125), 71 folios, f. 00069
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2015
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Premier cartulaire de Saint-Étienne de Dijon (XIIe siècle), Archives départementales de la Côte-d'Or, Cart. 21 (G 125), 71 folios, f. 00069, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Premier cartulaire de Saint-Étienne de Dijon (XIIe siècle), Archives départementales de la Côte-d'Or, Cart. 21 (G 125), 71 folios, f. 00069, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
Note on Noether charge and holographic transports
Creators: name: Fan, Zhong-Ying
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We clarify the relation between the Noether charge associated to an arbitrary vector field and the equations of motions by revisiting Wald formalism. For a time-like Killing vector, aspects of the Noether charge suggest that it is dual to the heat current in the boundary for general holographic theories. For a space-like Killing vector, we interpret the Noether charge (at the transverse direction) as shear stress of the dual fluid so we can compute the ratio of shear viscosity to entropy density by simply using the infrared data on the black hole event horizon. We test the new method for Einstein gravity and Gauss-Bonnet gravity and find that it produces correct results for both cases even in the presence of additional matter fields.
description: v2, add an appendix discuss viscosity bound and causality violation
Formal Verification of an ARM Processor
Creators: name: Vishnu A Patankar
name: Jain, Alok
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1973
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM processors, uses features such as a 5-stage instruction pipeline, predicated execution, forwarding logic and multi-cycle instructions. The instruction set of the processor was defined as a set of abstract assertions. An implementation mapping was used to relate the abstract states in these assertions to detailed circuit states in the gate-level implementation of the processor. Symbolic Trajectory Evaluation was used to verify that the circuit fulfills each abstract assertion under the implementation mapping. The verification was done concurrently with the design implementation of the processor. Our verification did uncover 4 bugs that were reported back to the designer in a timely manner.
title: ADCO, Cart. 186 (11 H 71), f. 0329r
Creators: name: de la Côte d'Or, Archives départementales
name: CBMA/CG21/F.PETOT/2012
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la Côte-d'Or, C
art. 186 (11 H 71). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la
 Côte-d'Or, Cart. 186 (11 H 71), f. 0329r, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-
project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Asymptotic Proportion of Hard Instances of the Halting Problem
Creators: name: Valmari, Antti
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computational Complexity (cs.CC)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences
subject: F.1.1
subject: 68Q17

description: Although the halting problem is undecidable, imperfect testers that fail on some instances are possible. Such instances are called hard for the tester. One variant of imperfect testers replies "I don't know" on hard instances, another variant fails to halt, and yet another replies incorrectly "yes" or "no". Also the halting problem has three variants: does a given program halt on the empty input, does a given program halt when given itself as its input, or does a given program halt on a given input. The failure rate of a tester for some size is the proportion of hard instances among all instances of that size. This publication investigates the behaviour of the failure rate as the size grows without limit. Earlier results are surveyed and new results are proven. Some of them use C++ on Linux as the computational model. It turns out that the behaviour is sensitive to the details of the programming language or computational model, but in many cases it is possible to prove that the proportion of hard instances does not vanish.
description: 18 pages. The differences between this version and arXiv:1307.7066v1 are significant. They have been listed in the last paragraph of Section 1. Excluding layout, this arXiv version is essentially identical to the Acta Cybernetica version
An empirical evaluation for the intrusion detection features based on machine learning and feature selection methods
Creators: name: Alkasassbeh, Mouhammd
Publisher: name: arXiv
Year: 2017
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Cryptography and Security (cs.CR)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Despite the great developments in information technology, particularly the Internet, computer networks, global information exchange, and its positive impact in all areas of daily life, it has also contributed to the development of penetration and intrusion which forms a high risk to the security of information organizations, government agencies, and causes large economic losses. There are many techniques designed for protection such as firewall and intrusion detection systems (IDS). IDS is a set of software and/or hardware techniques used to detect hacker's activities in computer systems. Two types of anomalies are used in IDS to detect intrusive activities different from normal user behavior. Misuse relies on the knowledge base that contains all known attack techniques and intrusion is discovered through research in this knowledge base. Artificial intelligence techniques have been introduced to improve the performance of these systems. The importance of IDS is to identify unauthorized access attempting to compromise confidentiality, integrity or availability of the computer network. This paper investigates the Intrusion Detection (ID) problem using three machine learning algorithms namely, BayesNet algorithm, Multi-Layer Perceptron (MLP), and Support Vector Machine (SVM). The algorithms are applied on a real, Management Information Based (MIB) dataset that is collected from real life environment. To enhance the detection process accuracy, a set of feature selection approaches is used; Infogain (IG), ReleifF (RF), and Genetic Search (GS). Our experiments show that the three feature selection methods have enhanced the classification performance. GS with bayesNet, MLP and SVM give high accuracy rates, more specifically the BayesNet with the GS accuracy rate is 99.9%.
Multiplicity fluctuations in relativistic gases. From simple models to experiment
Creators: name: Begun, Viktor V.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The aim of this paper is to give a short overview for the set of publications considering recently found effect of non-equivalence of multiplicity fluctuations in relativistic gases with globally conserved charge and energy.
description: To appear in the proceedings of The International Workshop Relativistic Nuclear Physics: from Nuclotron to LHC energies, Bogolyubov Institute for Theoretical Physics, Kiev, Ukraine, June 18-22, 2007
Formal Specification and Analysis of the Group Domain of Interpretation using NPATR and the NRL Protocol Analyzer
Creators: name: Meadows, Catherine
name: Syverson, Paul
name: Iliano  Cervesato
Publisher: name: Carnegie Mellon University
Year: 2009
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Although research has been going on in the formal analysis of cryptographic protocols for a number of years, they are only slowly being integrated into the protocol design process. In this paper we describe how we furthered the integration of analysis and design by working closely with the Multicast Security Working Group in the Internet Engineering Task Force on the analysis of a proposed Internet Standard, the Group Domain Of Interpretation (GDOI) Protocol. We describe the challenges that had to be met before the analysis could be successfully completed, and some of the challenges that still remain. Perhaps not surprisingly, some of the most challenging work was in understanding the security requirements for group protocols in general. We give a detailed specification of the requirements for GDOI, describe our formal analysis of the protocol with respect to these requirements, and show how our analysis impacted the development of GDOI.
Cubic-matrix splines and second-order matrix models
Creators: name: Tung, M. M.
name: Soler, L.
name: Defez, E.
name: Hervas, A.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 41A15;39B42

description: We discuss the direct use of cubic-matrix splines to obtain continuous approximations to the unique solution of matrix models of the type $Y''(x) = f(x,Y(x))$. For numerical illustration, an estimation of the approximation error, an algorithm for its implementation, and an example are given.
description: 5 pages
First Passage Time for Tempered Stable Process and Its Application to Perpetual American Option and Barrier Option Pricing
Creators: name: Kim, Young Shin
Publisher: name: arXiv
Year: 2018
Subjects: subject: Pricing of Securities (q-fin.PR)
subject: FOS: Economics and business

description: In this paper, we will discuss an approximation of the characteristic function of the first passage time for a Levy process using the martingale approach. The characteristic function of the first passage time of the tempered stable process is provided explicitly or by an indirect numerical method. This will be applied to the perpetual American option pricing and the barrier option pricing. Numerical illustrations are provided for the calibrated parameters using the market call and put prices.
A Validation Study on Artificial Intelligence Content Detection Tools
Creators: name: Kakarla, Vishnuprasad
name: Carlisle, Phoenix
Publisher: name: figshare
Year: 2025
Subjects: classificationCode: 460299
subject: Artificial intelligence not elsewhere classified

description: This is a paper that explores AI content detection tools and if they are as accurate as they claim to be and is currently not published in any journal but will be submitted to a journal soon, pending the fixation of additional changes.
Carte de distribution des sites de l’Age du Bronze
Creators: name: Devèze, Ph.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2021
Subjects: subject: Amathonte
subject: Prospection
subject: Préhistoire

description: Carte de distribution des sites de l’Age du Bronze. Le tireté indique les limites du périmètre exploré
description: Source: Études Chypriotes XVI, 2005, p. 254
description: Prospection de territoire d'Amathonte
Association of estrogen, progesterone and follicle stimulating hormone receptor polymorphisms with in vitro fertilization outcomes
Creators: name: Ganesh, Vijaya
name: Vettriselvi Venkatesan
name: Koshy, Teena
name: Reddy, Sanjeeva Nellapalli
name: Suruli Muthumuthiah
name: Paul, Solomon Franklin Durairaj
Publisher: name: Taylor & Francis
Year: 2018
Subjects: subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Cancer

description: Despite the advances in in vitro fertilization (IVF), the implantation success rate for infertile women remains approximately only 15%. In this study, we sought to determine whether implantation failure after repeated IVF treatments is influenced by the presence of common variants in estrogen α, progesterone and follicle stimulating hormone receptor genes. The study population included three groups of women: group 1 were 50 women who had the transfer of ≥3 high-quality embryos during the IVF procedure without ever having had a clinical pregnancy; group 2 were 50 women who achieved a clinical pregnancy after ≤3 high-quality embryos transfers and group 3 were 50 control subjects who achieved a clinical pregnancy without any fertility therapy that resulted in a one live-born infant. Genotype analysis was performed using polymerase chain reaction and Sanger sequencing for rs6165, rs6166, rs2234693, rs9340799. While progesterone receptor single nucleotide polymorphism (SNP) was genotyped based on the amplicon size, the repeats for the ESR1 TA-repeat polymorphism were calculated based on the fragment length. A higher frequency of the heterozygote AG genotype was observed in the infertile groups when compared to controls. Significantly, an allele combination of T of rs2234693, A of rs9340799; S of ESR1 (TA), A of rs6166, G of rs6165 and del of PROGINS had a higher frequency in women who had a successful IVF outcome compared to women who had an unsuccessful IVF outcome, indicating a possible protective combined genotype that could reduce a negative outcome during IVF. This study has demonstrated that combining several candidate genes is needed to assess which may play a role in fertility. Abbreviations: CI: confidence interval; COH: controlled ovarian hyperstimulation; DNA: deoxyribonucleic acid; ESR: estrogen receptors; FSH: follicle stimulating hormones; FSHR: FSH receptor; IVF: in vitro fertilization; PGR: progesterone receptors; SNP: single nucleotide polymorphism
Formal Program Verification Using Symbolic Execution
Creators: name: Dannenberg, Roger B
name: Ernst, George W.
Publisher: name: Carnegie Mellon University
Year: 2002
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Symbolic execution provides a mechanism for formally proving programs correct. A notation is introduced which allows a concise presentation of rules of inference based on symbolic execution. Using this notation, rules of inference are developed to handle a number of language features, including loops and procedures with multiple exits. An attribute grammar is used to formally describe symbolic expression evaluation, and the treatment of function calls with side effects is shown to be straightforward. Because symbolic execution is related to program interpretation, it is an easy-to-comprehend, yet powerful technique. The rules of inference are useful in expressing the semantics of a language and form the basis of a mechanical verification condition generator.
The Lower Dimensional Busemann-Petty Problem in the Complex Hyperbolic Space
Creators: name: Dann, Susanna
Publisher: name: arXiv
Year: 2013
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics

description: The lower dimensional Busemann-Petty problem asks whether origin-symmetric convex bodies in R^n with smaller volume of all k-dimensional sections necessarily have smaller volume. The answer is negative for k>3. The problem is still open for k=2,3. We study this problem in the complex hyperbolic n-space and prove that the answer is affirmative only for sections of complex dimension one and negative for sections of higher dimensions.
description: updated version
Active Brownian particles near straight or curved walls: Pressure and boundary layers
Creators: name: Duzgun, Ayhan
name: Selinger, Jonathan V.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: Unlike equilibrium systems, active matter is not governed by the conventional laws of thermodynamics. Through a series of analytic calculations and Langevin dynamics simulations, we explore how systems cross over from equilibrium to active behavior as the activity is increased. In particular, we calculate the profiles of density and orientational order near straight or circular walls, and show the characteristic width of the boundary layers. We find a simple relationship between the enhancements of density and pressure near a wall. Based on these results, we determine how the pressure depends on wall curvature, and hence make approximate analytic predictions for the motion of curved tracers, as well as the rectification of active particles around small openings in confined geometries.
Exploring an ultracold Fermi-Fermi mixture: Interspecies Feshbach resonances and scattering properties of 6Li and 40K
Creators: name: Wille, E.
name: Spiegelhalder, F. M.
name: Kerner, G.
name: Naik, D.
name: Trenkwalder, A.
name: Hendl, G.
name: Schreck, F.
name: Grimm, R.
name: Tiecke, T. G.
name: Walraven, J. T. M.
name: Kokkelmans, S. J. J. M. F.
name: Tiesinga, E.
name: Julienne, P. S.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: We report on the observation of Feshbach resonances in an ultracold mixture of two fermionic species, 6Li and 40K. The experimental data are interpreted using a simple asymptotic bound state model and full coupled channels calculations. This unambiguously assigns the observed resonances in terms of various s- and p-wave molecular states and fully characterizes the ground-state scattering properties in any combination of spin states.
description: 4 pages, 4 figures, 1 table
Quantum Racah matrices up to level 3 and multicolored link invariants
Creators: name: Bai, C.
name: Jiang, J.
name: Liang, J.
name: Mironov, A.
name: Morozov, A.
name: Morozov, An.
name: Sleptsov, A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Geometric Topology (math.GT)
subject: Quantum Algebra (math.QA)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: This paper is a next step in the project of systematic description of colored knot and link invariants started in previous papers. In this paper, we managed to explicitly find the inclusive Racah matrices, i.e. the whole set of mixing matrices in channels $R_1\otimes R_2\otimes R_3\longrightarrow Q$ with all possible $Q$, for $|R|\leq 3$. The calculation is made possible by use of the highest weight method. The result allows one to evaluate and investigate colored polynomials for arbitrary 3-strand knots and links and to check the corresponding eigenvalue conjecture. Explicit answers for Racah matrices and colored polynomials for 3-strand knots up to 10 crossings are available at http://knotebook.org. Using the obtained inclusive Racah matrices, we also calculated the exclusive Racah matrices with the help of trick earlier suggested in the case of knots. This method is proved to be effective and gives the exclusive Racah matrices earlier obtained by another method.
description: 29 pages, 3 figures
Formal Modeling and Analysis of the HLA RTI
Creators: name: Allen, Robert
name: Garlan, David
Publisher: name: Carnegie Mellon University
Year: 2003
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The HLA RTI is a complex artifact, supporting several classes of interaction (e.g., federation management, object management, time management). A critical challenge in producing an RTI architectural framework (and its associated simulation interface specifications) is to develop confidence that its specification is well-formed and complete. In this paper we describe on-going work in formally modelling the HLA both to document the standard more precisely, as well as to analyze it for anomalies, omissions, inconsistencies, and ambiguities. The technical basis for this work is the use of a formal architectural description language, called Wright, and its accompanying toolset.
Additional file 1 of Adipose-derived mesenchymal stem cells from obese mice prevent body weight gain and hyperglycemia
Creators: name: Qi, Yicheng
name: Liu, Wen
name: Wang, Xiangsheng
name: Lu, Nan
name: Yang, Minglan
name: Liu, Wei
name: Ma, Jing
name: Zhang, Wenjie
name: Li, Shengxian
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Space Science
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Pharmacology
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Computational Biology

description: Additional file 1: Supplement Table 1. Primer sequences used in quantitative RT-PCR.
Very ample and Koszul segmental fibrations
Creators: name: Beck, Matthias
name: Delgado, Jessica
name: Gubeladze, Joseph
name: Michałek, Mateusz
Publisher: name: arXiv
Year: 2013
Subjects: subject: Combinatorics (math.CO)
subject: Commutative Algebra (math.AC)
subject: FOS: Mathematics
subject: 52B20, 13P10, 14M25

description: In the hierarchy of structural sophistication for lattice polytopes, normal polytopes mark a point of origin; very ample and Koszul polytopes occupy bottom and top spots in this hierarchy, respectively. In this paper we explore a simple construction for lattice polytopes with a twofold aim. On the one hand, we derive an explicit series of very ample 3-dimensional polytopes with arbitrarily large deviation from the normality property, measured via the highest discrepancy degree between the corresponding Hilbert functions and Hilbert polynomials. On the other hand, we describe a large class of Koszul polytopes of arbitrary dimensions, containing many smooth polytopes and extending the previously known class of Nakajima polytopes.
description: 15 pages, 3 figures
Torsion Limits From $t\bar{t}$ Production at the LHC
Creators: name: Marroquim, Fernando
name: de Andrade, Fernando
name: Vale, Maria A. B. do
name: Nepomuceno, Andre
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Torsion models constitute a well known class of extended quantum gravity models. In this work, one investigates the phenomenological consequences of a torsion field interacting with top quarks at the LHC. A torsion field could appear as a new heavy state characterized by its mass and couplings to fermions. This new state would form a resonance decaying into a top anti-top pair. The latest ATLAS $t\bar t$ production results from LHC 13 TeV data are used to set limits on torsion parameters. The integrated luminosity needed to observe torsion resonance at the next LHC upgrades are also evaluated, considering different values for the torsion mass and its couplings to Standard Model fermions. Finally, prospects for torsion exclusion at the future LHC phases II and III are obtained using fast detector simulations.
Formal Modeling and Analysis of the HLA Component Integration Standard
Creators: name: Allen, Robert J
name: Garlan, David
name: Ivers, James
Publisher: name: Carnegie Mellon University
Year: 1985
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards define rules of interaction and shared communication infrastructure that permit composition of systems out of independently-developed parts. A problem with these standards is that it is often difficult to understand exactly what they require and provide, and to analyze them in order to understand their deeper properties. In this paper we use our experience in modeling the High Level Architecture (HLA) for Distributed Simulation to show how one can capture the structured protocol inherent in an integration standard as a formal architectural model that can be analyzed to detect anomalies, race conditions, and deadlocks.