cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Whittier House letterhead, February, 1928
Creators: name: No Name Supplied
Publisher: name: No Publisher Supplied
Year: 1928

description: Whittier House scrapbooks document Whittier House programs, events, and anniversary celebrations through newspaper clippings, lecture fliers, newsletters, event programs, and ticket stubs.  Newspaper clippings are primarily from the Jersey Journal.  There is also Whittier House fundraising materials, including pamphlets, appeal letters, brochures, and postcards.  The Whittier House Social Settlement, the first settlement house in New Jersey, was established in Jersey City, N.J. (Hudson County) in 1894.  Founded by Cornelia Foster Bradford, who would remain with the organization as headworker until 1926, Whittier House was based on the settlement house, Toynbee Hall, in England.  Whittier House provided various recreational and educational programs, along with much needed social services, for the immigrant populations of Jersey City.  Many of these successful services were used as models for large-scale social reform movements through the state.  In 1935, the Whittier House was taken over by the Boys' Club of Jersey City.
title: Menta Piperia :
title: Directrices para la ejecución del examen de la distinción, la homogeneidad y la estabilidad.
titleType: Subtitle
Creators: name: International Union For The Protection Of New Varieties Of Plants,
Publisher: name: International Union for the Protection of New Varieties of Plants,
Year: 0
Subjects: Plants
New Varieties of Plants
Peppermint

description: La finalidad de estas directrices (“directrices de examen”) es elaborar los principios que figuran en la Introducción General (documento TG/1/3) y sus documentos TGP conexos, con objeto de que sirvan de orientación práctica y detallada para el examen armonizado de la distinción, homogeneidad y estabilidad (DHE) y en particular, para identificar los caracteres apropiados para el examen DHE y producir descripciones armonizadas de variedades.
Deminutiocandona Karanovic 2003
Creators: name: Meisch, Claude
name: Smith, Robin J.
name: Martens, Koen
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Ostracoda
Podocopida
Candonidae
Deminutiocandona

description: Deminutiocandona Karanovic, 2003
Deminutiocandona aenigma Karanovic, 2007: AU
Deminutiocandona aporia Karanovic, 2007: AU
Deminutiocandona apposita Karanovic, 2007: AU
Deminutiocandona atope Karanovic, 2007: AU
Deminutiocandona bicauda Karanovic, 2007: AU
* Deminutiocandona mica Karanovic, 2003: AU
Deminutiocandona murrayi Karanovic, 2007: AU
Deminutiocandona neara Karanovic, 2007: AU
Deminutiocandona quasimica Karanovic, 2007: AU
Deminutiocandona stomachosa Karanovic, 2007: AU
description: Published as part of Meisch, Claude, Smith, Robin J. & Martens, Koen, 2024, An updated subjective global checklist of the extant non-marine Ostracoda (Crustacea), pp. 1-144 in European Journal of Taxonomy 974 on page 51, DOI: 10.5852/ejt.2024.974.2767, http://zenodo.org/record/14500383
Letter from Boris Drasin to Max Blitzer
Creators: name: Drasin, Boris
name: Blitzer, Max
Publisher: name: No Publisher Supplied
Year: 1934

description: In this letter, Boris Drasin expresses his interest in becoming a resident of Jersey Homesteads to Max Blitzer.  Jersey Homesteads (later Roosevelt) was established in the 1930s as an agro-industrial cooperative community.  It was established specifically for urban Jewish garment workers, many of whom had emigrated from Europe. The Jersey Homesteads settlers devised this proposal to protect their rights in the community, and to foster better communication between the settlers and the government. They organized the Jersey Homesteads Protective Association to represent the interests of all the settlers. The Association's purpose was four-fold: to safeguard the interest of the settlers; to conduct all negotiations with the government on matters that concern Homestead; to safeguard the interests of every individual settler; and to support and help the development of the cooperative character of the settlement.  The administration consisted of fifteen members who were elected at the annual meeting with all the members, and settlers were eligible for membership when they passed a government inspection.
Jersey Homesteads press release - March 10, 1935
Creators: name: United States Department Of The Interior
name: Division Of Subsistence Homesteads
Publisher: name: No Publisher Supplied
Year: 1935

description: The press release announces the approval of "the budget and progress schedule for Jersey Homesteads" by Secretary of the Interior Ickes.  Jersey Homesteads (later Roosevelt) was established in the 1930s as an agro-industrial cooperative community.  It was established specifically for urban Jewish garment workers, many of whom had emigrated from Europe. The Jersey Homesteads settlers devised this proposal to protect their rights in the community, and to foster better communication between the settlers and the government. They organized the Jersey Homesteads Protective Association to represent the interests of all the settlers. The Association's purpose was four-fold: to safeguard the interest of the settlers; to conduct all negotiations with the government on matters that concern Homestead; to safeguard the interests of every individual settler; and to support and help the development of the cooperative character of the settlement.  The administration consisted of fifteen members who were elected at the annual meeting with all the members, and settlers were eligible for membership when they passed a government inspection.
Extended unitarity and absence of skin effect in periodically driven systems
Creators: name: Chakrabarty, Aditi
name: Datta, Sanjoy
Publisher: name: arXiv
Year: 2024
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: One of the most striking features of non-Hermitian quasiperiodic systems with arbitrarily small asymmetry in the hopping amplitudes and open boundaries is the accumulation of all the bulk eigenstates at one of the edges of the system, termed in literature as the skin effect, below a critical strength of the potential. In this Letter, we uncover that a time-periodic drive in such systems can eliminate the SE up to a finite strength of this asymmetry. Remarkably, the critical value for the onset of SE is independent of the driving frequency and approaches to the static behavior in the thermodynamic limit. We find that the absence of SE is intricately linked to the emergence of extended unitarity in the delocalized phase, providing dynamical stability to the system. Interestingly, under periodic boundary condition, our non-Hermitian system can be mapped to a Hermitian analogue in the large driving frequency limit that leads to the extended unitarity irrespective of the hopping asymmetry and the strength of the quasiperiodic potential, in stark contrast to the static limit. Additionally, we numerically verify that this behavior persists Based on our findings, we propose a possible experimental realization of our driven system, which could be used as a switch to control the light funneling mechanism.
description: 6 pages, 14 figures, 10 supplemental figures
Dentocypria Savatenalinton 2017
Creators: name: Meisch, Claude
name: Smith, Robin J.
name: Martens, Koen
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Ostracoda
Podocopida
Candonidae
Dentocypria

description: Dentocypria Savatenalinton, 2017
Dentocypria aequiloba Savatenalinton, 2017: OL
Dentocypria chantaranothaii Savatenalinton, 2017: OL
Dentocypria crenulata (Sars, 1903) Bisquert-Ribes et al. 2023: NT, OL, PA
Cypria crenulata Sars, 1903
Dentocypria dumonti (Martens, 1982) Bisquert-Ribes et al. 2023: AT
Physocypria dumonti Martens, 1982
* Dentocypria mesquitai Savatenalinton, 2017: OL
Dentocypria smithi Savatenalinton, 2017: OL
description: Published as part of Meisch, Claude, Smith, Robin J. & Martens, Koen, 2024, An updated subjective global checklist of the extant non-marine Ostracoda (Crustacea), pp. 1-144 in European Journal of Taxonomy 974 on pages 51-52, DOI: 10.5852/ejt.2024.974.2767, http://zenodo.org/record/14500383
Myosotis stricta Roem. & Schult.
Creators: name: Konrad Lauber
name: Gerhart Wagner
name: Andreas Gygax
Publisher: name: Haupt Verlag
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Boraginales
Boraginaceae
Myosotis
Myosotis stricta

description: Myosotis stricta Roem. & Schult.
Artbeschreibung: Ähnlich wie M. ramosissima, aber meist zahlreiche Stängel aus gemeinsamer Basis vorhanden. Blütenstand im untersten Teil meist beblättert, Haare auf der Blattunterseite oft mit hakiger Spitze. Fruchtstiel ca. 1 mm lang, viel kürzer als der Kelch. Kelch zur Fruchtzeit geschlossen, aufrecht abstehend. Reife Teilfrüchte dunkelbraun.
Blütezeit: 3-5
Standort und Verbreitung in der Schweiz: Trockene, sandige Böden, Föhrenwälder / kollin-montan / VS, GR (Unterengadin u.a.), sonst zerstreut
Verbreitung global: Eurasiatisch
Ökologische Zeigerwerte nach Landolt & al. (2010)
BodenfaktorenKlimafaktorenSalztoleranzFeuchtezahl Fsehr trockenLichtzahl LhellSalzzeichen--Reaktionszahl Rsauer (pH 3.5-6.5)Temperaturzahl Tkollin (Laubmischwälder mit Eichen)Nährstoffzahl NnährstoffarmKontinentalitätszahl Ksubkontinental (niedrige relative Luftfeuchtigkeit, grosse Temperaturschwankungen, eher kalte Winter)
Volksname Deutscher Name: Sand-Vergissmeinnicht, Kleinblütiges Vergissmeinnicht Nom français: Myosotis raide Nome italiano: Nontiscordardimé a fiore piccolo
description: Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Boraginaceae, pp. 800-822 in Flora Helvetica, Bern :Haupt Verlag on page 812
Superconducting magnetoelectric effects in mesoscopic hybrid structures
Creators: name: Ahari, Mostafa Tanhayi
name: Tserkovnyak, Yaroslav
Publisher: name: arXiv
Year: 2024
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: In superconductors that lack inversion symmetry, a supercurrent flow can lead to nondissipative magnetoelectric effects. We offer a straightforward formalism to obtain a supercurrent-induced magnetization in superconductors with broken inversion symmetry, which may have orbital, layer, sublattice, or valley degrees of freedom, multiband noncentrosymmetric superconductors. The nondissipative magnetoelectric effect may find applications in fabricating quantum computation platforms or efficient superconducting spintronic devices. We explore how the current-induced magnetization can be employed to create and manipulate Majorana zero modes in a simple hybrid structure.
Whittier House Letterhead, September, 1928
Creators: name: No Name Supplied
Publisher: name: No Publisher Supplied
Year: 1928

description: Whittier House scrapbooks document Whittier House programs, events, and anniversary celebrations through newspaper clippings, lecture fliers, newsletters, event programs, and ticket stubs.  Newspaper clippings are primarily from the Jersey Journal.  There is also Whittier House fundraising materials, including pamphlets, appeal letters, brochures, and postcards.  The Whittier House Social Settlement, the first settlement house in New Jersey, was established in Jersey City, N.J. (Hudson County) in 1894.  Founded by Cornelia Foster Bradford, who would remain with the organization as headworker until 1926, Whittier House was based on the settlement house, Toynbee Hall, in England.  Whittier House provided various recreational and educational programs, along with much needed social services, for the immigrant populations of Jersey City.  Many of these successful services were used as models for large-scale social reform movements through the state.  In 1935, the Whittier House was taken over by the Boys' Club of Jersey City.
Additional file 10: Figure S8. of A transcriptome-based protein network that identifies new therapeutic targets in colorectal cancer
Creators: name: StĂŠphanie Durand
name: Trillet, Killian
name: Uguen, Arnaud
name: Saint-Pierre, Aude
name: Jossic-Corcos, Catherine Le
name: Corcos, Laurent
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: Molecular Biology
subject: Pharmacology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Gene-Drug interaction network. Interactions were retrieved in STITCH v5 (Search Tools for Interactions of Chemicals) between deregulated genes in CRC and 4 drugs: 3 chemotherapeutic drugs used in CRC treatment (5-Fluorouracile (5-FU), Oxaliplatin (OXA) and Camptothecin (CPT), and Lovastatin (LOVA). To facilitate network visualization, we have hidden edges between genes. Node size and node color reflect the interaction degree and the clustering coefficient characterizing nodes in 111 genes based-network presented in Additional file 8. The thickness of edges was correlated with score confidence (large for high score) retrieved in STITCH database (version 5) and the blue color of edges indicated a physical interaction in the source database. The bold line of shape node characterizes genes deregulated in more than 75% of CRC. (PDF 93 kb)
Myosotis sylvatica Hoffm.
Creators: name: Konrad Lauber
name: Gerhart Wagner
name: Andreas Gygax
Publisher: name: Haupt Verlag
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Boraginales
Boraginaceae
Myosotis
Myosotis sylvatica

description: Myosotis sylvatica Hoffm.
Artbeschreibung: 20-40 cm hoch, aufrecht oder aufsteigend, +/- dicht behaart. Blätter eiförmig bis lanzettlich, die unteren plötzlich in den Stiel verschmälert, die oberen sitzend. Kelch im oberen Drittel gespalten, mit abstehenden, hakig gebogenen Haaren, am Grund abgerundet, mit den Früchten abfallend. Krone blau mit gelben Schlundschuppen, beim Aufblühen oft rosa, Saum flach ausgebreitet. Durchmesser 6-10 mm. Fruchtstiele bis 5 mm lang. Teilfrüchte spitz, bis 1,6 mm lang.
Blütezeit: 5-7
Standort und Verbreitung in der Schweiz: Feuchte Wiesen, Wälder, Hochstaudenfluren / montan-subalpin(-alpin) / CH
Verbreitung global: Europäisch
Ökologische Zeigerwerte nach Landolt & al. (2010)
BodenfaktorenKlimafaktorenSalztoleranzFeuchtezahl Ffeucht; Feuchtigkeit stark wechselnd (mehr als ± 2 Stufen)Lichtzahl LhalbschattigSalzzeichen--Reaktionszahl Rschwach sauer bis neutral (pH 4.5-7.5)Temperaturzahl Tmontan (Wälder mit Buche, Weisstanne, in den Zentralalpen mit Waldföhre)Nährstoffzahl Nmässig nährstoffarm bis mässig nährstoffreichKontinentalitätszahl Ksubozeanisch bis subkontinental (mittlere Luftfeuchtigkeit, mässige Temperaturschwankungen und mässig tiefe Wintertemperaturen)
Volksname Deutscher Name: Wald-Vergissmeinnicht Nom français: Myosotis des forêts Nome italiano: Nontiscordardimé dei boschi
description: Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Boraginaceae, pp. 800-822 in Flora Helvetica, Bern :Haupt Verlag on page 812
Diacypris Herbst 1961
Creators: name: Meisch, Claude
name: Smith, Robin J.
name: Martens, Koen
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Ostracoda
Podocopida
Cyprididae
Diacypris

description: Diacypris Herbst, 1961
Nom. nov. pro Pseudocypris Herbst, 1958 nec Daday, 1908
Diacypris compacta (Herbst, 1958) Herbst 1961: AU
Pseudocypris compacta Herbst, 1958
Diacypris dictyote DeDeckker, 1981: AU
* Diacypris dietzi (Herbst, 1958) Herbst 1961: AU
Pseudocypris dietzi Herbst, 1958
Diacypris fodiens (Herbst, 1958) Herbst 1961: AU
Pseudocypris fodiens Herbst, 1958
Diacypris occidentalis McKenzie, 1978: AU
Diacypris paracompacta McKenzie, 1978: AU
Diacypris parva Hartmann, 1978: AU
Diacypris phoxe De Deckker, 1981: AU
Diacypris spinosa De Deckker, 1981: AU
Diacypris thomsoni (Chapman, 1963) Chapman 1976: AU
Eucypris thomsoni Chapman, 1963
Diacypris whitei (Herbst, 1958) Herbst 1961: AU
Pseudocypris whitei Herbst, 1958
description: Published as part of Meisch, Claude, Smith, Robin J. & Martens, Koen, 2024, An updated subjective global checklist of the extant non-marine Ostracoda (Crustacea), pp. 1-144 in European Journal of Taxonomy 974 on page 52, DOI: 10.5852/ejt.2024.974.2767, http://zenodo.org/record/14500383
Sanitary report as to Russian-Hebrew colonies in New Jersey
Creators: name: Elstein, Leo F.
Publisher: name: No Publisher Supplied
Year: 1892

description: This report was a part of the 16th Annual Report of the Board of Health. The main purpose of it was to examine the level of sanitation at the Russian Jewish communities in New Jersey.  It also gives a brief description of the industries of each colony and how the colony was founded.
Additional file 1: Figure S1. of Polysplenia syndrome with duodenal and pancreatic dysplasia in a Holstein calf: a case report
Creators: name: Kondoh, Daisuke
name: Kawano, Tomomi
name: Kikuchi, Tomoaki
name: Hatate, Kaoru
name: Watanabe, Kenichi
name: Sasaki, Motoki
name: Yamagishi, Norio
name: Inokuma, Hisashi
name: Kitamura, Nobuo
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Hematology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Schematic comparison of abdominal organs between calf presented herein (A) and general cattle (B and C), in association with Fig. 1. 1–22, corresponding to Fig. 1; 23, right kidney; 24, spleen; 25, Grooves of rumen. Figure S2. Comparison of computerized tomography (CT) images between calf presented herein (A and C) and general cattle (B and D), in association with Fig. 2. 1–6 and asterisks; corresponding to Fig. 2. Figure S3. Schematic comparison of digestive tracts between calf presented herein (A) and general cattle (B), in association with Fig. 3. Numbers are corresponding to Fig. 3. Figure S4. Schematic comparison of organs surrounding pancreas between calf presented herein (A) and general cattle (B), in association with Fig. 5. 1–13, corresponding to Fig. 3 (except 11, coalesced mesojejunum and mesocolon); 14–16, Body, right robe and left lobe of pancreas, respectively. (PDF 1156 kb)
Sphenarches Meyrick 1886
Creators: name: Pathania, Prakash C.
name: Das, Apurva
name: Chandra, Kailash
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Pterophoridae
Sphenarches

description: Genus Sphenarches Meyrick, 1886
Type species: Sphenarches synophrys Meyrick, 1886; Transactions of the Entomological Society of London, 1886: 17.
description: Published as part of Pathania, Prakash C., Das, Apurva & Chandra, Kailash, 2021, Catalogue of superfamily Pterophoroidea Kuznetsov & Stekolnikov (Lepidoptera) of India, pp. 201-236 in Zootaxa 4915 (2) on page 219, DOI: 10.11646/zootaxa.4915.2.2, http://zenodo.org/record/4454312
Diaphanocypris Wurdig & Pinto 1990
Creators: name: Meisch, Claude
name: Smith, Robin J.
name: Martens, Koen
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Ostracoda
Podocopida
Cyprididae
Diaphanocypris

description: Diaphanocypris Würdig & Pinto, 1990
* Diaphanocypris meridana (Furtos, 1936) Würdig & Pinto 1990: NA, NT
Herpetocypris meridana Furtos, 1936
Syn.: Dolerocypris sagitta Klie, 1939 (fide Würdig & Pinto 1990)
Syn.: Herpetocypris bonettoi Ferguson, 1967 (fide Nagler et al. 2014)
Syn.: Herpetocypris muhitis Tressler, 1950 (fide Cohuo et al. 2017)
Diaphanocypris pedroensis (Tressler, 1950) Nagler et al. 2014: NT
Strandesia pedroensis Tressler, 1950
description: Published as part of Meisch, Claude, Smith, Robin J. & Martens, Koen, 2024, An updated subjective global checklist of the extant non-marine Ostracoda (Crustacea), pp. 1-144 in European Journal of Taxonomy 974 on page 52, DOI: 10.5852/ejt.2024.974.2767, http://zenodo.org/record/14500383
The Swedes and Finns in New Jersey: Bulletin No. 4
Creators: name: Federal Writers Project
Publisher: name: No Publisher Supplied
Year: 1938

description: This booklet on the founding of New Sweden (now the present-day New Jersey area) was prepared for use in the public schools by the Federal Writers' Project of the Works Progress Administration in New Jersey. It discusses later (late-19th century-20th century) Swedish immigration patterns in New Jersey.  It also identifies Swedish influences on place names, customs, language, and New Jersey symbols.
Employment Practices in Selected Retail Stores
Creators: name: No Name Supplied
Publisher: name: No Publisher Supplied
Year: 1956

description: This text is a survey of data that was collected from stores in Newark, East Orange, Montclair, Bloomfield, Paterson, Passaic, Elizabeth, Plainfield, Trenton, Camden, and Atlantic City.  It looks at the hiring practices regarding minorities.  Although this study focuses on African Americans, it also takes note of who does not hire Jews or Italian Americans. It also lists the types of jobs that the difference ethnicities generally hold.
Additional file 10: Figure S8. of A transcriptome-based protein network that identifies new therapeutic targets in colorectal cancer
Creators: name: StĂŠphanie Durand
name: Trillet, Killian
name: Uguen, Arnaud
name: Saint-Pierre, Aude
name: Jossic-Corcos, Catherine Le
name: Corcos, Laurent
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: Molecular Biology
subject: Pharmacology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: Mental Health

description: Gene-Drug interaction network. Interactions were retrieved in STITCH v5 (Search Tools for Interactions of Chemicals) between deregulated genes in CRC and 4 drugs: 3 chemotherapeutic drugs used in CRC treatment (5-Fluorouracile (5-FU), Oxaliplatin (OXA) and Camptothecin (CPT), and Lovastatin (LOVA). To facilitate network visualization, we have hidden edges between genes. Node size and node color reflect the interaction degree and the clustering coefficient characterizing nodes in 111 genes based-network presented in Additional file 8. The thickness of edges was correlated with score confidence (large for high score) retrieved in STITCH database (version 5) and the blue color of edges indicated a physical interaction in the source database. The bold line of shape node characterizes genes deregulated in more than 75% of CRC. (PDF 93 kb)
Renting Policies and Practices of Motels to Non-Whites in New Jersey
Creators: name: Jones, Isham B
Publisher: name: No Publisher Supplied
Year: 1955

description: This report looks at the renting practices at various motels in New Jersey regarding African Americans.  A large number of hotels continued their discriminatory policies.  It has charts showing how many motels had never had African Americans as guests, quotes from motel owners, length of stays at motels, and rates per night.  Finally, the report looks at the implications of the study.
Equivalence of semiclassical and response theories for second-order nonlinear ac Hall effects
Creators: name: Jia, Jinxiong
name: Xiang, Longjun
name: Qiao, Zhenhua
name: Wang, Jian
Publisher: name: arXiv
Year: 2024
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: It has been known that the semiclassical theory and the response theory can equivalently give the Drude and the intrinsic anomalous Hall conductivities in the linear order of electric field. However, recent theoretical advances implied that the second-order nonlinear conductivities calculated with both approaches are no longer equivalent, which leads to various experimental explanations even in a similar experimental setup conducted in \href{https://www.science.org/doi/10.1126/science.adf1506}{[\textit{Science \textbf{381}, 181 (2023)}]} and \href{https://www.nature.com/articles/s41586-023-06363-3}{[\textit{Nature \textbf{621}, 487 (2023)}]}, respectively. Herein, by extending the AC semiclassical theory up to the second order of electric field, we show that the semiclassical theory is still equivalent to the response theory in the second order of electric field when the relaxation is taken into account on the same footing. In particular, we show that the familiar second-order nonlinear current responses, including the nonlinear Drude current and the Berry curvature (quantum metric) dipole driven extrinsic (intrinsic) nonlinear Hall current, can be derived by both approaches. Further, we show that the quantum-corrected intrinsic nonlinear longitudinal current, as recently proposed by the response theory or in a similar manner, can also be reproduced by the semiclassical theory. Beyond those known second-order current responses, with both approaches, we uncover two previously overlooked nonlinear displacement currents unique to the AC electric field. As a consequence of this equivalence,...
description: published in Physical Review B
Passaic: The Story of a Struggle Against Starvation Wages and for the Right to Organize
Creators: name: No Name Supplied
Publisher: name: No Publisher Supplied
Year: 1926

description: This book provides a socialist/communist viewpoint of labor unions and strikes in various manufacturing industries throughout northeastern New Jersey. Weisbord describes the poor living and working conditions of blue-collar immigrant workers that precipitated strikes in the Paterson area. He also critiques reactions from politicians, law enforcement, and manufacturing owners. He concludes that Paterson's efforts at union organization could serve as a successful model for other threatened workers to follow.
Nonea erecta Bernh.
Creators: name: Konrad Lauber
name: Gerhart Wagner
name: Andreas Gygax
Publisher: name: Haupt Verlag
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Boraginales
Boraginaceae
Nonea
Nonea erecta

description: Nonea erecta Bernh.
Artbeschreibung: Ähnlich wie N. lutea, aber bis 60 cm hoch, stets verzweigt, Blüten rot- bis schwarzbraun, 10-14 mm lang, Kelch zur Fruchtzeit nur 9-12 mm lang und nur im äusseren Drittel geteilt, Teilfrüchte mit geripptem Basalring.
Blütezeit: 5-8
Standort und Verbreitung in der Schweiz: Wegränder, Äcker / kollin(-montan) / VS (Rhonetal), GR (Ofenpass)
Verbreitung global: Ursprünglich west- und zentralasiatisch
Ökologische Zeigerwerte nach Landolt & al. (2010)
BodenfaktorenKlimafaktorenSalztoleranzFeuchtezahl Fmässig trockenLichtzahl LhalbschattigSalzzeichen--Reaktionszahl Rneutral bis basisch (pH 5.5-8.5)Temperaturzahl Twarm-kollinNährstoffzahl NnährstoffreichKontinentalitätszahl Ksubkontinental (niedrige relative Luftfeuchtigkeit, grosse Temperaturschwankungen, eher kalte Winter)
Volksname Deutscher Name: Braunes Mönchskraut Nom français: Nonnée sombre Nome italiano: Nonnea perenne
description: Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Boraginaceae, pp. 800-822 in Flora Helvetica, Bern :Haupt Verlag on page 812
Sphenarches anisodactylus
Creators: name: Pathania, Prakash C.
name: Das, Apurva
name: Chandra, Kailash
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Pterophoridae
Sphenarches
Sphenarches anisodactylus

description: 87. Sphenarches anisodactylus (Walker, 1864) (Plate 6, Fig. 2)
Oxyptilus anisodactylus Walker, 1864; List of specimens of lepidopterous insects in the collection of the British Museum, 30: 934.
Pterophorus diffusalis Walker, 1864; List of specimens of lepidopterous insects in the collection of the British Museum, 30: 945.
Sphenarches synophrys Meyrick, 1886; Transactions of the Entomological Society of London, 1886: 17.
Platyptilia pygmaeana Strand, 1913; Archiv für Naturgeschichte, A.12: 64.
Sphenarches chroesus Strand, 1913; Archiv für Naturgeschichte, 78: 66.
Megalorhipida rishwani Makhan, 1994; Revista de Lepidopterología, SHILAP, 22: 353.
TL: Sri Lanka.
Distribution: India (Andaman Island, Bihar, Chad, Gujarat, Himachal Pradesh, Karnataka, Meghalaya, Punjab, Tamil Nadu, Uttarakhand, Uttar Pradesh), Australia, Bahamas, Bhutan, Bismarck Islands, Bonin Island, Brazil, Cameroun, China, Ivory Coast, Dominica, Ethiopia, Fiji Islands, Gambia, Ghana, Grenada, Guadeloupe, Guam, Guinea, Indonesia, Japan, Kenya, Madagascar, Malawi, Malaysia, Nepal, New Caledonia, New Guinea, New Hebrides, Nigeria, Palau, Panama, Paraguay, Peru, Puerto Rico, Reunion Island, Seychelles, Solomon Islands, Sri Lanka, St. Thomas, Swaziland, Taiwan, Tanzania, Thailand, Tonga Islands, U.S.A., Vietnam, Virgin Islands, Zaire.
Host: Larvae feed on Cajanus cajan, flowers and pods of Lablab purpureus, flowers of Vigna unguiculata, Phaseolus vulgaris (Fabaceae); Thalia geniculata (Marantaceae); L udwigia adscendens (Onagraceae); flower buds of Clerodendrum viscosum (Verbenaceae) (Robinson et al. 2001); Fletcher (1909) also reported Dolichos lablab (Fabaceae), Cucurbita (Cucurbitaceae). Other recorded hostplants include Caperonia regales, C. castaneifolia (Euphorbiaceae), Thalia geniculata L. (Marantaceae), Centratherum punctatum, Eupatorium betonicaeforme (Asteraceae), Cajanus bicolor, Mimosa pudica (Fabaceae), Lagenaria leucantha var. clavata, L. siceraria, L. leucantha var. gourda, L. vulgaris, Curcubita pepo, Luffa aegyptiaca (Cucurbitaceae), Pelargonium sp., Geranium maculatum (Geraniaceae), Hibiscus mutabilis, Theobroma cacao (Malvaceae), Passiflora foetida (Passifloraceae), Antirrhinum majus (Plantaginaceae), Lantana camara (Verbenaceae), Averrhoe bilimbi, Biophytum sensitivum (Oxalidaceae), and Brillantaisia lamium (Acanthaceae).
Illustrations: Wing venation and genitalia (Gielis 1993: figs 105, 166, 229).
description: Published as part of Pathania, Prakash C., Das, Apurva & Chandra, Kailash, 2021, Catalogue of superfamily Pterophoroidea Kuznetsov & Stekolnikov (Lepidoptera) of India, pp. 201-236 in Zootaxa 4915 (2) on page 219, DOI: 10.11646/zootaxa.4915.2.2, http://zenodo.org/record/4454312
Dolekiella Gido 2007
Creators: name: Meisch, Claude
name: Smith, Robin J.
name: Martens, Koen
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Ostracoda
Podocopida
Limnocytheridae
Dolekiella

description: Dolekiella Gidó et al., 2007
* Dolekiella europaea Gidó et al., 2007: PA
description: Published as part of Meisch, Claude, Smith, Robin J. & Martens, Koen, 2024, An updated subjective global checklist of the extant non-marine Ostracoda (Crustacea), pp. 1-144 in European Journal of Taxonomy 974 on page 52, DOI: 10.5852/ejt.2024.974.2767, http://zenodo.org/record/14500383
Additional file 1: Figure S1. of Polysplenia syndrome with duodenal and pancreatic dysplasia in a Holstein calf: a case report
Creators: name: Kondoh, Daisuke
name: Kawano, Tomomi
name: Kikuchi, Tomoaki
name: Hatate, Kaoru
name: Watanabe, Kenichi
name: Sasaki, Motoki
name: Yamagishi, Norio
name: Inokuma, Hisashi
name: Kitamura, Nobuo
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Hematology
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Schematic comparison of abdominal organs between calf presented herein (A) and general cattle (B and C), in association with Fig. 1. 1–22, corresponding to Fig. 1; 23, right kidney; 24, spleen; 25, Grooves of rumen. Figure S2. Comparison of computerized tomography (CT) images between calf presented herein (A and C) and general cattle (B and D), in association with Fig. 2. 1–6 and asterisks; corresponding to Fig. 2. Figure S3. Schematic comparison of digestive tracts between calf presented herein (A) and general cattle (B), in association with Fig. 3. Numbers are corresponding to Fig. 3. Figure S4. Schematic comparison of organs surrounding pancreas between calf presented herein (A) and general cattle (B), in association with Fig. 5. 1–13, corresponding to Fig. 3 (except 11, coalesced mesojejunum and mesocolon); 14–16, Body, right robe and left lobe of pancreas, respectively. (PDF 1156 kb)
The Process of Community: Class, Culture, and Ethnicity in Nineteenth-Century Newark
Creators: name: Stephenson, Charles
name: Stellhorn, Paul A.
Publisher: name: No Publisher Supplied
Year: 1976

description: This paper by Charles Stephenson, an Assistant Professor of History at the State University College at Brockport, New York, is from 'New Jersey's Ethnic Heritage: Papers Presented at the Eighth Annual New Jersey History Symposium, December 4, 1976.' Stephenson discusses the relationships between social class and ethnicity.    Tables and statistics are included.
Atyphella abdominalis Ho 2019, comb. nov.
Creators: name: Ho, - Z.
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Lampyridae
Atyphella
Atyphella abdominalis

description: Atyphella abdominalis (Olivier 1886) comb. nov.
Figs 180−187
Luciola abdominalis Olivier 1886: 184; 1902: 73. Schultze 1916: 43. Pic 1924: 711. McDermott 1966: 99.
Type. Not located MNHN in 2013 by Ballantyne.
Material examined. PHILIPPINES. Mt Banahao, 2 males. Male 1 labelled 1. Mt Banahao P. I. Baker (printed); 2. C. F. Baker collection (printed); 3 17140 (hand written); Luciola abdominalis E. Oliv. (hand written) with ‘ Pic’ in bottom left corner of label. Male 2 label 1 as above; 2. 2819 (hand written in ink). (USNM). This information correlates with that given by the original description of Olivier (1886).
Diagnosis. The only species of Atyphella known from the Philippines and the only species with pale coloured elytra having a small dark coloured area at their apices (Fig. 180; see Table 9 and Ballantyne et al. 2016 Table 5); differs from Aquil. costata most obviously in dorsal colour pattern as costata has orange coloured elytra and is only known from northern Australia; pronotum with a median dark marking (Fig. 181) which expands laterally along the anterior margin; MS and MN paler than elytra which are light brownish yellow with a small dark apical area, and are without well-defined interstitial lines; head with rounded frons vertex junction; apical labial palpomere broadly triangular with 2 teeth along the inner margin; basal abdominal ventrites very dark brown almost black (Fig. 182); abdominal tergites all very dark brown except for pale T8 (Fig. 184). Olivier (1886) described this species from one specimen and this characterisation is based on Pic (1924) and specimens identified by him in USNM, which we feel are consistent with Olivier’s original description. Aedeagal sheath and aedeagus (Figs 185−187).
description: Published as part of Ho, - Z., 2019, The Luciolinae of S. E. Asia and the Australopacific region: a revisionary checklist (Coleoptera: Lampyridae) including description of three new genera and 13 new species, pp. 1-174 in Zootaxa 4687 (1) on page 59, DOI: 10.11646/zootaxa.4687.1.1, http://zenodo.org/record/3508098
Nonea lutea DC.
Creators: name: Konrad Lauber
name: Gerhart Wagner
name: Andreas Gygax
Publisher: name: Haupt Verlag
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Boraginales
Boraginaceae
Nonea
Nonea lutea

description: Nonea lutea (Desr.) DC.
Artbeschreibung: 10-40 cm hoch, mehrere unverzweigte Stängel. Ganze Pflanze flaumig, drüsig und borstig behaart. Blätter lanzettlich, +/- ganzrandig, sitzend, nach oben in die Tragblätter übergehend. Blütenstand traubig. Blüten gelb, 7-12 mm lang, Durchmesser 5-7 mm. Kelch bis zur Mitte geteilt, 6-8 mm lang, zur Fruchtzeit auf 12-18 mm verlängert und schief abstehend. Teilfrüchte netzig-runzelig und behaart, mit glattem Basalring.
Blütezeit: 4-6
Standort und Verbreitung in der Schweiz: Weinberge, Schuttplätze, Brachen / kollin / GR, VS, M
Verbreitung global: Ursprünglich südosteuropäisch-westasiatisch
Ökologische Zeigerwerte nach Landolt & al. (2010)
BodenfaktorenKlimafaktorenSalztoleranzFeuchtezahl Fmässig trockenLichtzahl LhellSalzzeichen--Reaktionszahl Rschwach sauer bis neutral (pH 4.5-7.5)Temperaturzahl Tsehr warm-kollin (nur an wärmsten Stellen, Hauptverbreitung in Südeuropa)Nährstoffzahl Nmässig nährstoffarm bis mässig nährstoffreichKontinentalitätszahl Ksubozeanisch bis subkontinental (mittlere Luftfeuchtigkeit, mässige Temperaturschwankungen und mässig tiefe Wintertemperaturen)
Volksname Deutscher Name: Gelbes Mönchskraut Nom français: Nonnée jaune Nome italiano: Nonnea gialla
description: Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Boraginaceae, pp. 800-822 in Flora Helvetica, Bern :Haupt Verlag on page 812
Dolerocypria Tressler 1937
Creators: name: Meisch, Claude
name: Smith, Robin J.
name: Martens, Koen
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Ostracoda
Podocopida
Candonidae
Dolerocypria

description: Dolerocypria Tressler, 1937
Syn.: Thalassocypris Hartmann, 1955 (fide Keyser 1976)
Dolerocypria convoluta Maddocks, 1993: NT
Dolerocypria elongata (Hartmann, 1955) Keyser 1976: NT
Thalassocypris elongata Hartmann, 1955
Dolerocypria ensigera Maddocks, 1992: PAC
Dolerocypria fastigata Keyser, 1976: NA
Dolerocypria heylenae Wouters, 2001: PAC
Dolerocypria iliffei Maddocks, 2005: PAC
Dolerocypria mukaishimensis Okubo, 1980: PA
* Dolerocypria taalensis Tressler, 1937: OL, PA, PAC
description: Published as part of Meisch, Claude, Smith, Robin J. & Martens, Koen, 2024, An updated subjective global checklist of the extant non-marine Ostracoda (Crustacea), pp. 1-144 in European Journal of Taxonomy 974 on page 52, DOI: 10.5852/ejt.2024.974.2767, http://zenodo.org/record/14500383
Additional file 1: Table S1. of A transcriptome-based protein network that identifies new therapeutic targets in colorectal cancer
Creators: name: Durand, Stéphanie
name: Trillet, Killian
name: Uguen, Arnaud
name: Saint-Pierre, Aude
name: Jossic-Corcos, Catherine Le
name: Corcos, Laurent
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: Space Science
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Genetics
subject: Molecular Biology
subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Developmental Biology
subject: Cancer

description: List of genes from the five different RT² Profiler™ PCR Array Human Systems used in this study, classified in functional groups. See manufacturer’s information website ( http://www.sabiosciences.com/PCRArrayPlate.php ): A, Apoptosis (PAHS-012A); B, Cancer Pathway Finder (PAHS-033A); C, Lipoprotein Signaling & Cholesterol Metabolism (PAHS-080Z); D, Drug Metabolism (PAHS-002A); E, Wnt Signaling Pathway (PAHS-043A). Gene expression level deregulations uncovered in this study were indicated by red or green color for an up-regulation or a down-regulation, respectively, in CRC as compared to NT. (DOCX 25 kb)
Jersey Homesteads -- A Triple Co-operative
Creators: name: Conkin, Paul Keith
Publisher: name: No Publisher Supplied
Year: 1959

description: Chapter 11, pages 256-276, ofTitle: "Tomorrow a new world: the New Deal communuity program."Publisher: Ithaca, NY, Published for the American Historical Association (by) Cornell University Press, 1959.Author; Conkin, Paul Keith.
Atyphella carolinae Olivier 1911
Creators: name: Ho, - Z.
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Lampyridae
Atyphella
Atyphella carolinae

description: Atyphella carolinae Olivier 1911b
Atyphella carolinae Olivier 1911b: 173. Wittmer 1958: 67. Blair 1940: 134. Ballantyne & Lambkin 2000: 15.
Luciola (Luciola) carolinae (Olivier). McDermott 1966: 100. Ballantyne & Buck 1979: 121.
Magnalata carolinae (Olivier). Ballantyne & Lambkin 2009: 68, figs 225, 226, 233, 234, 237.
Type. Male. REPUBLIC OF PALAU. (NHML).
Diagnosis. Repeated with slight modifications from Ballantyne & Lambkin 2009: 68. Males exist in three colour variations: 1. Dorsal surface of elytra and pronotum entirely brown to dark brown (Ballantyne & Lambkin 2009 fig. 225), or pronotum may be mottled brownish orange (Ballantyne & Lambkin 2009 fig. 226). 2. Pronotum, MS and MN orange with extensive darker brown markings, elytra dark brown. 3. Pronotum MS and MN orange with no darker markings; elytra dark brown. Colour pattern 1 similar to Luciola hypocrita (Olivier), which has a black dorsal surface, very shiny elytra (elytral surface dull in carolinae), no flat hypomeral areas (posterior half flat in carolinae), a pale ventral surface, no apparent LO in V7, paired LOs in V6 (full LOs in both these ventrites in carolinae), and posterolateral eye excavations (no eye excavations in carolinae). Distinguished from Atyphella aphrogeneia Ballantyne et Buck 1979 by the variations in pronotal colouration, the pronotal width/humeral width ratio, and the apical elytral modifications in Aty. aphrogeneia (the apical area of both suture and lateral margin as well as the elytral apex are swollen).
description: Published as part of Ho, - Z., 2019, The Luciolinae of S. E. Asia and the Australopacific region: a revisionary checklist (Coleoptera: Lampyridae) including description of three new genera and 13 new species, pp. 1-174 in Zootaxa 4687 (1) on pages 59-61, DOI: 10.11646/zootaxa.4687.1.1, http://zenodo.org/record/3508098
Omphalodes verna Moench
Creators: name: Konrad Lauber
name: Gerhart Wagner
name: Andreas Gygax
Publisher: name: Haupt Verlag
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Boraginales
Boraginaceae
Omphalodes
Omphalodes verna

description: Omphalodes verna Moench
Artbeschreibung: 5-20 cm hoch, mit weit kriechendem Rhizom. Blätter breit-eiförmig bis herzförmig, spitz, kurz behaart, Spreite bis 7 cm lang, die grundständigen lang gestielt, die oberen kleiner und +/- sitzend. Blüten in lockeren Trauben, 1-3 cm lang gestielt, nach der Blüte abwärts gebogen. Krone blau mit weissen Schlundschuppen, Röhre ca. 2 mm lang, die 5 Zipfel flach ausgebreitet, Durchmesser 8-15 mm. Teilfrüchte mit nabelförmiger Einsenkung, behaart.
Blütezeit: 4-6
Standort und Verbreitung in der Schweiz: Auenwälder, Pärke, verwildert und z.T. eingebürgert / kollin-montan /
Verbreitung global: Stammt aus Südosteuropa
Ökologische Zeigerwerte nach Landolt & al. (2010)
BodenfaktorenKlimafaktorenSalztoleranzFeuchtezahl FfeuchtLichtzahl LschattigSalzzeichen--Reaktionszahl Rschwach sauer bis neutral (pH 4.5-7.5)Temperaturzahl Twarm-kollinNährstoffzahl Nmässig nährstoffarm bis mässig nährstoffreichKontinentalitätszahl Ksubozeanisch (hohe Luftfeuchtigkeit, geringe Temperaturschwankungen, eher milde Winter)
Volksname Deutscher Name: Nabelnuss, Grosses Vergissmeinnicht Nom français: Omphalodès Nome italiano: Borrana
description: Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Boraginaceae, pp. 800-822 in Flora Helvetica, Bern :Haupt Verlag on page 812
"YUSUF VA ZULAYHO" TUKUMIDAGI DOSTONLAR
Creators: name: Xidirova, Turgʻunoy
Publisher: name: Zenodo
Year: 2024

description: Adabiyot olamida 150 dan ortiq namunasi boʻlgan “Yusuf va Zulayho”dostonining Rabgʻuziy, Durbek, Abdurahman Jomiy va boshqa ayrim yozuvchilar tomonidan yaratilgan variantlarini solishtirib oʻxshash va farqli jihatlarini koʻrib chiqamiz.
The New Jersey African American history curriculum guide, grades 9 to 12.by Larry A. Greene, Lenworth Gunther.
Creators: name: Greene, Larry A.
name: Gunther, Lenworth
Publisher: name: No Publisher Supplied
Year: 1996

description: The New Jersey African American history curriculum guide is a resource for New Jersey high school teachers who wish to incorporate African American experiences into their teaching of U.S. history. The guide provides narratives, keywords, suggested activites, and bibliographies.
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
Creators: name: Liu, Ye
name: Xue, Yue
name: Wu, Daoyuan
name: Sun, Yuqiang
name: Li, Yi
name: Shi, Miaolei
name: Liu, Yang
Publisher: name: arXiv
Year: 2024
Subjects: subject: Software Engineering (cs.SE)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: With recent advances in large language models (LLMs), this paper explores the potential of leveraging state-of-the-art LLMs,such as GPT-4, to transfer existing human-written properties (e.g.,those from Certora auditing reports) and automatically generate customized properties for unknown code. To this end, we embed existing properties into a vector database and retrieve a reference property for LLM-based in-context learning to generate a new property for a given code. While this basic process is relatively straightforward, ensuring that the generated properties are (i) compilable, (ii) appropriate, and (iii) verifiable presents challenges. To address (i), we use the compilation and static analysis feedback as an external oracle to guide LLMs in iteratively revising the generated properties. For (ii), we consider multiple dimensions of similarity to rank the properties and employ a weighted algorithm to identify the top-K properties as the final result. For (iii), we design a dedicated prover to formally verify the correctness of the generated properties. We have implemented these strategies into a novel LLM-based property generation tool called PropertyGPT. Our experiments show that PropertyGPT can generate comprehensive and high-quality properties, achieving an 80% recall compared to the ground truth. It successfully detected 26 CVEs/attack incidents out of 37 tested and also uncovered 12 zero-day vulnerabilities, leading to $8,256 in bug bounty rewards.
description: Accepted by NDSS Symposium 2025. Please cite the conference version of this paper, e.g., "Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, Yang Liu. PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. In 32nd Annual Network and Distributed System Security Symposium (NDSS 2025)."