amene-gafsi commited on
Commit
4ede6ca
·
verified ·
1 Parent(s): caae2e1

Add new SentenceTransformer model

Browse files
1_Pooling/config.json ADDED
@@ -0,0 +1,10 @@
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "word_embedding_dimension": 384,
3
+ "pooling_mode_cls_token": false,
4
+ "pooling_mode_mean_tokens": true,
5
+ "pooling_mode_max_tokens": false,
6
+ "pooling_mode_mean_sqrt_len_tokens": false,
7
+ "pooling_mode_weightedmean_tokens": false,
8
+ "pooling_mode_lasttoken": false,
9
+ "include_prompt": true
10
+ }
README.md ADDED
@@ -0,0 +1,886 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ ---
2
+ tags:
3
+ - sentence-transformers
4
+ - sentence-similarity
5
+ - feature-extraction
6
+ - generated_from_trainer
7
+ - dataset_size:900
8
+ - loss:MultipleNegativesRankingLoss
9
+ base_model: sentence-transformers/all-MiniLM-L6-v2
10
+ widget:
11
+ - source_sentence: 'Which of the following statements accurately describes the relationship
12
+ between gene compaction and locus volume in genomic loci?
13
+
14
+
15
+ A) Increased locus volume correlates with higher gene compaction.
16
+
17
+
18
+ B) A high level of compaction is associated with a high volume of the genomic
19
+ locus.
20
+
21
+
22
+ C) Gene compaction is directly proportional to locus volume.
23
+
24
+
25
+ D) Loci with low volume exhibit high levels of compaction.
26
+
27
+
28
+ **Correct Answer: D) Loci with low volume exhibit high levels of compaction.**'
29
+ sentences:
30
+ - 'The QoS negotiation is supported by the PRACK request, that starts resource reservation
31
+ in the calling party network, and it is answered by a 2XX response code. Once
32
+ this response has been sent, the called party has selected the codec too, and
33
+ starts resource reservation on its side. Subsequent UPDATE requests are sent to
34
+ inform about the reservation progress, and they are answered by 2XX response codes.
35
+ In a typical offer/answer exchange, one UPDATE will be sent by the calling party
36
+ when its reservation is completed, then the called party will respond and eventually
37
+ finish allocating the resources. It is then, when all the resources for the call
38
+ are in place, when the caller is alerted.
39
+
40
+ If the individual has undergone stenting, an anticoagulant will be a necessity
41
+ to prevent build-up around the stent(s), as the body will perceive the foreign
42
+ body as a wound and attempt to heal it. Some patients who had alternate corrective
43
+ surgery, such as the Mustard or Senning procedure, may have issues with SA and
44
+ VA nodal transmissions in later life. Typical symptoms include palpitations and
45
+ problems with low heart rates. This is commonly solved with a Pacemaker unit,
46
+ providing scar tissue from the original operation does not block its functionality.
47
+ More recently, ACE inhibitors have been prescribed to patients in the hope of
48
+ relieving stress on the heart.
49
+
50
+ Using this method which results in a relatively high control of size and shape,
51
+ semiconductor nanostructures could be synthesized in the form of dots, tubes,
52
+ wires and other forms which show interesting optic and electronic size-dependent
53
+ properties. Since the synergistic properties resulting from the intimate contact
54
+ and interaction between the core and shell, CSSNCs can provide novel functions
55
+ and enhanced properties which are not observed in single nanoparticles.The size
56
+ of core materials and the thickness of shell can be controlled during synthesis.
57
+ For example, in the synthesis of CdSe core nanocrystals, the volume of H2S gas
58
+ can determine the size of core nanocrystals.'
59
+ - 'In mathematics, the Chang number of an irreducible representation of a simple
60
+ complex Lie algebra is its dimension modulo 1 + h, where h is the Coxeter number.
61
+ Chang numbers are named after Chang (1982), who rediscovered an element of order
62
+ h + 1 found by Kac (1981). Kac (1981) showed that there is a unique class of regular
63
+ elements σ of order h + 1, in the complex points of the corresponding Chevalley
64
+ group. He showed that the trace of σ on an irreducible representation is −1, 0,
65
+ or +1, and if h + 1 is prime then the trace is congruent to the dimension mod
66
+ h+1. This implies that the dimension of an irreducible representation is always
67
+ −1, 0, or +1 mod h + 1 whenever h + 1 is prime.
68
+
69
+ Mosquito bite allergies are informally classified as 1) the skeeter syndrome,
70
+ i.e., severe local skin reactions sometimes associated with low-grade fever; 2)
71
+ systemic reactions that range from high-grade fever, lymphadenopathy, abdominal
72
+ pain, and/or diarrhea to, very rarely, life-threatening symptoms of anaphylaxis;
73
+ and 3) severe and often systemic reactions occurring in individuals that have
74
+ an Epstein-Barr virus-associated lymphoproliferative disease, Epstein-Barr virus-negative
75
+ lymphoid malignancy, or another predisposing condition such as eosinophilic cellulitis
76
+ or chronic lymphocytic leukemia. The term papular urticaria is commonly used for
77
+ a reaction to mosquito bites that is dominated by widely spread hives.'
78
+ - 'All LIRR bilevel passenger rail cars have two wide quarter-point doors on each
79
+ side, for high level platforms only. The bilevel cars used by NJ Transit and Exo
80
+ have four doors on each side, two quarter-point doors at high level platform height
81
+ and one at each end vestibule, with traps used to reach low level platforms. The
82
+ bilevel cars used by MBTA have side doors with traps at each end vestibule.
83
+
84
+ For 128 bits of security and the smallest signature size in a Rainbow multivariate
85
+ quadratic equation signature scheme, Petzoldt, Bulygin and Buchmann, recommend
86
+ using equations in F 31 {\displaystyle \mathbb {F} _{31}} with a public key size
87
+ of just over 991,000 bits, a private key of just over 740,000 bits and digital
88
+ signatures which are 424 bits in length.
89
+
90
+ A 2020 study identified a habitat-specific and relatively abundant core microbiome
91
+ in the manuka phyllosphere, which was persistent across all samples. In contrast,
92
+ non-core phyllosphere microorganisms exhibited significant variation across individual
93
+ host trees and populations that was strongly driven by environmental and spatial
94
+ factors. The results demonstrated the existence of a dominant and ubiquitous core
95
+ microbiome in the phyllosphere of manuka.
96
+
97
+ It seems that weak polarizations are ordinarily unable to form a component of
98
+ a vector soliton. However, due to the cross-polarization modulation between strong
99
+ and weak polarization components, a "weak soliton" could also be formed. It thus
100
+ demonstrates that the soliton obtained is not a "scalar" soliton with a linear
101
+ polarization mode, but rather a vector soliton with a large ellipticity.
102
+
103
+ The GAMtools command gamtools compaction can be used to calculate an estimation
104
+ of chromatin compaction. Compaction is a value assigned to a gene that represents
105
+ how large the gene is. The level of compaction is inversely proportional to the
106
+ locus volume. Genomic loci with a low volume are said to have a high level of
107
+ compaction, and loci with a high volume have a low level of compaction.'
108
+ - source_sentence: "What condition must be satisfied for the observation of Landau\
109
+ \ levels in a system?\n\nA) The mean thermal energy must be greater than the energy\
110
+ \ level separation, kT > ħωc. \nB) The mean thermal energy must be equal to the\
111
+ \ energy level separation, kT = ħωc. \nC) The mean thermal energy must be smaller\
112
+ \ than the energy level separation, kT ≪ ħωc. \nD) The mean thermal energy must\
113
+ \ be independent of the energy level separation, kT ≠ ħωc. \n\n**Correct Answer:\
114
+ \ C) The mean thermal energy must be smaller than the energy level separation,\
115
+ \ kT ≪ ħωc.**"
116
+ sentences:
117
+ - 'The effects of Landau levels may only be observed when the mean thermal energy
118
+ kT is smaller than the energy level separation, kT ≪ ħωc, meaning low temperatures
119
+ and strong magnetic fields. Each Landau level is degenerate because of the second
120
+ quantum number ky, which can take the values where N is an integer. The allowed
121
+ values of N are further restricted by the condition that the center of force of
122
+ the oscillator, x0, must physically lie within the system, 0 ≤ x0 < Lx. This gives
123
+ the following range for N, For particles with charge q = Ze, the upper bound on
124
+ N can be simply written as a ratio of fluxes, where Φ0 = h/e is the fundamental
125
+ magnetic flux quantum and Φ = BA is the flux through the system (with area A =
126
+ LxLy).
127
+
128
+ The study of X-ray astronomy continued to be carried out using data from a host
129
+ of satellites that were active from the 1980s to the early 2000s: the HEAO Program,
130
+ EXOSAT, Ginga, RXTE, ROSAT, ASCA, as well as BeppoSAX, which detected the first
131
+ afterglow of a gamma-ray burst (GRB). Data from these satellites continues to
132
+ aid our further understanding of the nature of these sources and the mechanisms
133
+ by which the X-rays and gamma rays are emitted. Understanding these mechanisms
134
+ can in turn shed light on the fundamental physics of our universe. By looking
135
+ at the sky with X-ray and gamma-ray instruments, we collect important information
136
+ in our attempt to address questions such as how the universe began and how it
137
+ evolves, and gain some insight into its eventual fate.'
138
+ - 'In a centrosymmetric ligand field, such as in octahedral complexes of transition
139
+ metals, the arrangement of electrons in the d-orbital is not only limited by electron
140
+ repulsion energy, but it is also related to the splitting of the orbitals due
141
+ to the ligand field. This leads to many more electron configuration states than
142
+ is the case for the free ion. The relative energy of the repulsion energy and
143
+ splitting energy defines the high-spin and low-spin states. Considering both weak
144
+ and strong ligand fields, a Tanabe–Sugano diagram shows the energy splitting of
145
+ the spectral terms with the increase of the ligand field strength.
146
+
147
+ In nature, limonene is formed from geranyl pyrophosphate, via cyclization of a
148
+ neryl carbocation or its equivalent as shown. The final step involves loss of
149
+ a proton from the cation to form the alkene. The most widely practiced conversion
150
+ of limonene is to carvone. The three-step reaction begins with the regioselective
151
+ addition of nitrosyl chloride across the trisubstituted double bond. This species
152
+ is then converted to the oxime with a base, and the hydroxylamine is removed to
153
+ give the ketone-containing carvone.
154
+
155
+ {\displaystyle x_{1}y_{1},\,x_{1}y_{2},\,x_{2}y_{1},\,x_{2}y_{2},\,x_{1}/x_{2}.}
156
+ All the above conjectures and theorems are consequences of the unproven extension
157
+ of Baker''s theorem, that logarithms of algebraic numbers that are linearly independent
158
+ over the rational numbers are automatically algebraically independent too. The
159
+ diagram on the right shows the logical implications between all these results.'
160
+ - 'Over 50% of the languages tracked have 100% UTF-8 use. Many standards only support
161
+ UTF-8, e.g. JSON exchange requires it (without a byte order mark (BOM)). UTF-8
162
+ is also the recommendation from the WHATWG for HTML and DOM specifications, and
163
+ stating "UTF-8 encoding is the most appropriate encoding for interchange of Unicode"
164
+ and the Internet Mail Consortium recommends that all e‑mail programs be able to
165
+ display and create mail using UTF-8.
166
+
167
+ The radiant temperature is related to the amount of radiant heat transferred from
168
+ a surface, and it depends on the material''s ability to absorb or emit heat, or
169
+ its emissivity. The mean radiant temperature depends on the temperatures and emissivities
170
+ of the surrounding surfaces as well as the view factor, or the amount of the surface
171
+ that is “seen” by the object. So the mean radiant temperature experienced by a
172
+ person in a room with the sunlight streaming in varies based on how much of their
173
+ body is in the sun.
174
+
175
+ In the American Saddlebred show ring, the gait is performed with speed and action,
176
+ appearing unrestrained, while the slow gait is expected be performed with restraint
177
+ and precision. The rack is also closely associated with the Racking Horse breed.The
178
+ rack, like other intermediate gaits, is smoother than the trot because the hooves
179
+ hitting the ground individually rather than in pairs minimizes the force and bounce
180
+ the horse transmits to the rider. To achieve this gait the horse must be in a
181
+ "hollow position".
182
+
183
+ Ultrasensitivity can be achieved through several mechanisms: Multistep mechanisms
184
+ (examples: cooperativity) and multisite phosphorylation Buffering mechanisms (examples:
185
+ decoy phosphorylation sites) or stoichiometric inhibitors Changes in localisation
186
+ (such as translocation across the nuclear envelope) Saturation mechanisms (also
187
+ known as zero-order ultrasensitivity) Positive feedback Allovalency Non-Zero-Order
188
+ Ultrasensitivity in Membrane Proteins Dissipative Allostery'
189
+ - source_sentence: "What is the primary significance of the process described in the\
190
+ \ reduction of sulfate to sulfide in relation to sulfur isotopes?\n\nA) It indicates\
191
+ \ that sulfate-reducing microorganisms can thrive in high-temperature environments.\
192
+ \ \nB) It demonstrates how sulfur disproportionation can lead to the enrichment\
193
+ \ of seawater sulfate. \nC) It provides evidence for the historical burial of\
194
+ \ reduced sulfur in the Earth's crust. \nD) It explains the mechanisms by which\
195
+ \ sulfate is converted to organic matter in marine environments. \n\n**Correct\
196
+ \ Answer: C) It provides evidence for the historical burial of reduced sulfur\
197
+ \ in the Earth's crust.**"
198
+ sentences:
199
+ - 'Scoring. Score each element from left to right, top to bottom in the matrix,
200
+ considering the outcomes of substitutions (diagonal scores) or adding gaps (horizontal
201
+ and vertical scores).
202
+
203
+ This set of ionic and electrical functional alterations thus generates the fields
204
+ of electromagnetic potentials or electromagnetic dipoles. These can be defined
205
+ also as single equivalent dipoles. == References ==
206
+
207
+ A double pendulum is a simple pendulum hanging under another one; the epitome
208
+ of the compound pendulum system. It shows abundant dynamic behavior. The motion
209
+ of a double pendulum seems chaotic.
210
+
211
+ This is a fully journaled, distributed file system used by Isilon. OneFS uses
212
+ FlexProtect and Reed–Solomon encodings to support up to four simultaneous disk
213
+ failures.
214
+
215
+ Subclassing of Class is disallowed. Following the standard definition of metaclasses
216
+ we can conclude that Class and Struct are the only metaclasses in Ruby.
217
+
218
+ Nile University - master''s The American University in Cairo - master''s Zewail
219
+ City of Science and Technology - B.Sc Cairo University - Faculty of Engineering
220
+ - Masters of Science
221
+
222
+ In mechanical engineering, the cylinders of reciprocating engines are often classified
223
+ by whether they are single- or double-acting, depending on how the working fluid
224
+ acts on the piston.
225
+
226
+ A clock constraint defines a set of valuations. Two kinds of such sets are considered
227
+ in the literature. A zone is a non-empty set of valuations satisfying a clock
228
+ constraint.
229
+
230
+ This might sound paradoxical but becomes clear when one takes into account that
231
+ POC increases during the period of PI. In summary, all these findings are consistent
232
+ with POC-theory.
233
+
234
+ Austria has only daylight QRA readiness. Austrian Air Force Air Surveillance Command
235
+ is located at Salzburg. Fighter Squadron 1 & 2 with Eurofighter Typhoon are at
236
+ Zeltweg Air Base.
237
+
238
+ Data for 126,251 water points across 37 countries that are being monitored with
239
+ Akvo FLOW in 2015 show that 20% are not functional, and 10% are functional but
240
+ have problems.
241
+
242
+ If conditions are not corrected, the cycle will usually repeat. This is called
243
+ surge. Depending on the engine this can be highly damaging to the engine and creates
244
+ worrying vibrations for the crew.'
245
+ - 'In the Liber Abaci, Fibonacci says the following introducing the affirmative
246
+ Modus Indorum (the method of the Indians), today known as Hindu–Arabic numeral
247
+ system or base-10 positional notation. It also introduced digits that greatly
248
+ resembled the modern Arabic numerals. As my father was a public official away
249
+ from our homeland in the Bugia customshouse established for the Pisan merchants
250
+ who frequently gathered there, he had me in my youth brought to him, looking to
251
+ find for me a useful and comfortable future; there he wanted me to be in the study
252
+ of mathematics and to be taught for some days. There from a marvelous instruction
253
+ in the art of the nine Indian figures, the introduction and knowledge of the art
254
+ pleased me so much above all else, and I learnt from them, whoever was learned
255
+ in it, from nearby Egypt, Syria, Greece, Sicily and Provence, and their various
256
+ methods, to which locations of business I travelled considerably afterwards for
257
+ much study, and I learnt from the assembled disputations.
258
+
259
+ This is because sulfate''s reduction to sulfide is typically accompanied by a
260
+ negative isotope effect, which (depending on the sulfate-reducing microorganism''s
261
+ enzymatic machinery, temperature, and other factors) can be tens of per mille.
262
+ This effect can be compounded through sulfur disproportionation, a process by
263
+ which some microbes reduce sulfate to sulfides and thiosulfate, both of which
264
+ can be 34S-depleted by tens of per mille relative to the starting sulfate pool.
265
+ Depleted sulfides and thiosulfate can then be repeatedly oxidized and reduced
266
+ again, until the final, total sulfide pool that is measured has δ34S values of
267
+ -70 or -80‰. The formation of a "lighter" S-isotope pool leaves behind an enriched
268
+ pool, and so the enrichment of seawater sulfate is taken as evidence that some
269
+ large amount of reduced sulfur (in the form, perhaps, of metal-sulfide minerals)
270
+ was buried and incorporated into the crust.'
271
+ - 'In clinical trials SPINA-GT was significantly elevated in patients with Graves''
272
+ disease and toxic adenoma compared to normal subjects. It is also elevated in
273
+ diffuse and nodular goiters, and reduced in untreated autoimmune thyroiditis.
274
+ In patients with toxic adenoma it has higher specificity and positive likelihood
275
+ ratio for diagnosis of thyrotoxicosis than serum concentrations of thyrotropin,
276
+ free T4 or free T3. GT''s specificity is also high in thyroid disorders of secondary
277
+ or tertiary origin.Calculating SPINA-GT has proved to be useful in challenging
278
+ clinical situations, e.g. for differential diagnosis of subclinical hypothyroidism
279
+ and elevated TSH concentration due to type 2 allostatic load (as it is typical
280
+ for obesity and certain psychiatric diseases). For this purpose, its usage has
281
+ been recommended in sociomedical assessment.
282
+
283
+ Relevant concepts: (geodesic, exponential map, injectivity radius) The exponential
284
+ map exp: TpM → Mis defined as exp(X) = γ(1) where γ: I → M is the unique geodesic
285
+ passing through p at 0 and whose tangent vector at 0 is X. Here I is the maximal
286
+ open interval of R for which the geodesic is defined. Let M be a pseudo-Riemannian
287
+ manifold (or any manifold with an affine connection) and let p be a point in M.
288
+ Then for every V in TpM there exists a unique geodesic γ: I → M for which γ(0)
289
+ = p and γ ˙ ( 0 ) = V . {\displaystyle {\dot {\gamma }}(0)=V.} Let Dp be the subset
290
+ of TpM for which 1 lies in I.'
291
+ - source_sentence: "Which of the following statements accurately describes a characteristic\
292
+ \ of chlorins in organic chemistry?\n\nA) Chlorins are stable compounds that do\
293
+ \ not react with oxygen. \nB) Chlorins are derived from porphyrins through a\
294
+ \ process of complete hydrogenation. \nC) The parent chlorin compound undergoes\
295
+ \ air oxidation to form porphine. \nD) Chlorins do not have any structural similarities\
296
+ \ to chlorophyll. \n\nCorrect Answer: C) The parent chlorin compound undergoes\
297
+ \ air oxidation to form porphine."
298
+ sentences:
299
+ - 'In 2000, Gurtej Singh Sandhu and Trung T. Doan of Micron Technology initiated
300
+ the development of atomic layer deposition high-κ films for DRAM memory devices.
301
+ This helped drive cost-effective implementation of semiconductor memory, starting
302
+ with 90-nm node DRAM. Intel Corporation has reported using ALD to deposit high-κ
303
+ gate dielectric for its 45 nm CMOS technology.ALD has been developed in two independent
304
+ discoveries under names atomic layer epitaxy (ALE, Finland) and molecular layering
305
+ (ML, Soviet Union). To clarify the early history, the Virtual Project on the History
306
+ of ALD (VPHA) has been set up in summer 2013. it resulted in several publications
307
+ reviewing the historical development of ALD under the names ALE and ML.
308
+
309
+ During the dry period (late gestation, non-lactating), dairy cattle have relatively
310
+ low calcium requirements, with a need to replace approximately 30 g of calcium
311
+ per day due to utilization for fetal growth and fecal and urinary losses. At parturition,
312
+ the requirement for calcium is greatly increased due to initiation of lactation,
313
+ when mammary drainage of calcium may exceed 50g per day. Due to this large increase
314
+ in demand for calcium, most cows will experience some degree of hypocalcemia for
315
+ a short period following parturition as the metabolism adjusts to the increased
316
+ demand. When the mammary drain of plasma calcium causes hypocalcemia severe enough
317
+ to compromise neuromuscular function, the cow is considered to have clinical milk
318
+ fever.
319
+
320
+ In probability theory and statistics, a Gaussian process is a stochastic process
321
+ (a collection of random variables indexed by time or space), such that every finite
322
+ collection of those random variables has a multivariate normal distribution, i.e.
323
+ every finite linear combination of them is normally distributed. The distribution
324
+ of a Gaussian process is the joint distribution of all those (infinitely many)
325
+ random variables, and as such, it is a distribution over functions with a continuous
326
+ domain, e.g. time or space. The concept of Gaussian processes is named after Carl
327
+ Friedrich Gauss because it is based on the notion of the Gaussian distribution
328
+ (normal distribution). Gaussian processes can be seen as an infinite-dimensional
329
+ generalization of multivariate normal distributions.'
330
+ - 'The Tutte polynomial factors into connected components. If G {\displaystyle G}
331
+ is the union of disjoint graphs H {\displaystyle H} and H ′ {\displaystyle H''}
332
+ then T G = T H ⋅ T H ′ {\displaystyle T_{G}=T_{H}\cdot T_{H''}} If G {\displaystyle
333
+ G} is planar and G ∗ {\displaystyle G^{*}} denotes its dual graph then T G ( x
334
+ , y ) = T G ∗ ( y , x ) {\displaystyle T_{G}(x,y)=T_{G^{*}}(y,x)} Especially,
335
+ the chromatic polynomial of a planar graph is the flow polynomial of its dual.
336
+ Tutte refers to such functions as V-functions.
337
+
338
+ If a periodic function is instead represented using the quotient space domain
339
+ R / ( P Z ) {\displaystyle \mathbb {R} /(P\mathbb {Z} )} then one can write: φ
340
+ P: R / ( P Z ) → R {\displaystyle \varphi _{P}:\mathbb {R} /(P\mathbb {Z} )\to
341
+ \mathbb {R} } φ P ( x ) = ∑ τ ∈ x s ( τ ) . {\displaystyle \varphi _{P}(x)=\sum
342
+ _{\tau \in x}s(\tau )~.} The arguments of φ P {\displaystyle \varphi _{P}} are
343
+ equivalence classes of real numbers that share the same fractional part when divided
344
+ by P {\displaystyle P} .'
345
+ - 'In mathematics, the Goncharov conjecture is a conjecture introduced by Goncharov
346
+ (1995) suggesting that the cohomology of certain motivic complexes coincides with
347
+ pieces of K-groups. It extends a conjecture due to Zagier (1991).
348
+
349
+ The renewal effect is seen when a participant is first conditioned in a context
350
+ (context A) and then shows extinction in another context (B). Returning to context
351
+ A may renew the conditioned response. This evidence demonstrates that appropriate
352
+ responses underlying extinction may be linked to contextual information.
353
+
354
+ Modern measurement systems are characterized by multi-channeling, synchronicity,
355
+ and accuracy. Due to the advanced protocol features of EtherCAT, efficient synchronous
356
+ data throughput is assured. The network features based on Ethernet enable a measurement
357
+ network with distributed measurement modules.
358
+
359
+ These rules reverse the conversion described above. They convert from a let expression
360
+ to a lambda expression, without altering the structure. Not all let expressions
361
+ may be converted using these rules. The rules assume that the expressions are
362
+ already arranged as if they had been generated by de-lambda.
363
+
364
+ In organic chemistry, chlorins are tetrapyrrole pigments that are partially hydrogenated
365
+ porphyrins. The parent chlorin is an unstable compound which undergoes air oxidation
366
+ to porphine. The name chlorin derives from chlorophyll.
367
+
368
+ So by the lemma, we have for some partial isometry U, which is unique if Ker(A*)
369
+ ⊂ Ker(U). Take P to be (A*A)1/2 and one obtains the polar decomposition A = UP.
370
+
371
+ MISRA C:1998, C:2004, C:2012, C++:2008. Klocwork by Rogue Wave Software (now owned
372
+ by Perforce Software). MISRA C:2012, C:2012 Amendment 1, C++:2008.
373
+
374
+ Transmitters usually have directional devices installed along with the filters
375
+ that block any reflected power in the event the antenna malfunctions. The antenna
376
+ must have a power rating that will handle the sum of energy of all connected transmitters
377
+ at the same time. Transmitter combining systems are lossy.'
378
+ - source_sentence: "Which of the following statements accurately describes a key implication\
379
+ \ of the parameter μ in population dynamics?\n\nA) If μ equals 1, the population\
380
+ \ will certainly grow indefinitely. \nB) If μ is less than 1, the population\
381
+ \ will face a high probability of extinction. \nC) If μ is greater than 1, the\
382
+ \ population will go extinct with certainty. \nD) If μ is equal to 0, the population\
383
+ \ will persist indefinitely.\n\n**Correct Answer: B) If μ is less than 1, the\
384
+ \ population will face a high probability of extinction.**"
385
+ sentences:
386
+ - 'The input is two reduced divisors D 1 = ( u 1 , v 1 ) {\displaystyle D_{1}=(u_{1},v_{1})}
387
+ and D 2 = ( u 2 , v 2 ) {\displaystyle D_{2}=(u_{2},v_{2})} in their Mumford representation
388
+ of the hyperelliptic curve C: y 2 + h ( x ) y = f ( x ) {\displaystyle C:y^{2}+h(x)y=f(x)}
389
+ of genus g {\displaystyle g} over the field K {\displaystyle K} . The algorithm
390
+ works as follows Using the extended Euclidean algorithm compute the polynomials
391
+ d 1 , e 1 , e 2 ∈ K {\displaystyle d_{1},e_{1},e_{2}\in K} such that d 1 = gcd
392
+ ( u 1 , u 2 ) {\displaystyle d_{1}=\gcd(u_{1},u_{2})} and d 1 = e 1 u 1 + e 2
393
+ u 2 {\displaystyle d_{1}=e_{1}u_{1}+e_{2}u_{2}} . Again with the use of the extended
394
+ Euclidean algorithm compute the polynomials d , c 1 , c 2 ∈ K {\displaystyle
395
+ d,c_{1},c_{2}\in K} with d = gcd ( d 1 , v 1 + v 2 + h ) {\displaystyle d=\gcd(d_{1},v_{1}+v_{2}+h)}
396
+ and d = c 1 d 1 + c 2 ( v 1 + v 2 + h ) {\displaystyle d=c_{1}d_{1}+c_{2}(v_{1}+v_{2}+h)}
397
+ .'
398
+ - 'Micro-encapsulation allows for metabolism within the membrane, exchange of small
399
+ molecules and prevention of passage of large substances across it. The main advantages
400
+ of encapsulation include improved mimicry in the body, increased solubility of
401
+ the cargo and decreased immune responses. Notably, artificial cells have been
402
+ clinically successful in hemoperfusion.
403
+
404
+ If μ < 1, then the expected number of individuals goes rapidly to zero, which
405
+ implies ultimate extinction with probability 1 by Markov''s inequality. Alternatively,
406
+ if μ > 1, then the probability of ultimate extinction is less than 1 (but not
407
+ necessarily zero; consider a process where each individual either has 0 or 100
408
+ children with equal probability.
409
+
410
+ The decision to tolerate up to 10 μg/liter of “nonrelevant” metabolites in groundwater
411
+ and drinking water is politically highly contentious in Europe. Some consider
412
+ the higher limit acceptable as no imminent health risk can be proven, whereas
413
+ others regard it as a fundamental deviation from the precautionary principle.
414
+ == References ==
415
+
416
+ Informally, dynamical systems describe the time evolution of the phase space of
417
+ some mechanical system. Commonly, such evolution is given by some differential
418
+ equations, or quite often in terms of discrete time steps. However, in the present
419
+ case, instead of focusing on the time evolution of discrete points, one shifts
420
+ attention to the time evolution of collections of points.
421
+
422
+ Commercial Crew Development (CCDev) is a human spaceflight development program
423
+ that is funded by the U.S. government and administered by NASA. CCDev will result
424
+ in US and international astronauts flying to the International Space Station (ISS)
425
+ on privately operated crew vehicles. Operational contracts to fly astronauts were
426
+ awarded in September 2014 to SpaceX and Boeing.
427
+
428
+ To do so, one needs precise disease definitions and a probabilistic analysis of
429
+ symptoms and molecular profiles. Physicists have been studying similar problems
430
+ for years, utilizing microscopic elements and their interactions to extract macroscopic
431
+ states of various physical systems. Physics inspired machine learning approaches
432
+ can thus be applied to study disease processes and to perform biomarker analysis.
433
+
434
+ During the second stage, the light-independent reactions use these products to
435
+ capture and reduce carbon dioxide. Most organisms that use oxygenic photosynthesis
436
+ use visible light for the light-dependent reactions, although at least three use
437
+ shortwave infrared or, more specifically, far-red radiation.Some organisms employ
438
+ even more radical variants of photosynthesis.'
439
+ - 'Structuring elements are particular cases of binary images, usually being small
440
+ and simple. In mathematical morphology, binary images are subsets of a Euclidean
441
+ space Rd or the integer grid Zd, for some dimension d. Here are some examples
442
+ of widely used structuring elements (denoted by B): Let E=R2; B is an open disk
443
+ of radius r, centered at the origin. Let E=Z2; B is a 3x3 square, that is, B={(-1,-1),(-1,0),(-1,1),(0,-1),(0,0),(0,1),(1,-1),(1,0),(1,1)}.
444
+ Let E=Z2; B is the "cross" given by: B={(-1,0),(0,-1),(0,0),(0,1),(1,0)}.In the
445
+ discrete case, a structuring element can also be represented as a set of pixels
446
+ on a grid, assuming the values 1 (if the pixel belongs to the structuring element)
447
+ or 0 (otherwise). When used by a hit-or-miss transform, usually the structuring
448
+ element is a composite of two disjoint sets (two simple structuring elements),
449
+ one associated to the foreground, and one associated to the background of the
450
+ image to be probed. In this case, an alternative representation of the composite
451
+ structuring element is as a set of pixels which are either set (1, associated
452
+ to the foreground), not set (0, associated to the background) or "don''t care".'
453
+ pipeline_tag: sentence-similarity
454
+ library_name: sentence-transformers
455
+ metrics:
456
+ - cosine_accuracy@1
457
+ - cosine_accuracy@3
458
+ - cosine_accuracy@5
459
+ - cosine_accuracy@10
460
+ - cosine_precision@1
461
+ - cosine_precision@3
462
+ - cosine_precision@5
463
+ - cosine_precision@10
464
+ - cosine_recall@1
465
+ - cosine_recall@3
466
+ - cosine_recall@5
467
+ - cosine_recall@10
468
+ - cosine_ndcg@10
469
+ - cosine_mrr@10
470
+ - cosine_map@100
471
+ model-index:
472
+ - name: SentenceTransformer based on sentence-transformers/all-MiniLM-L6-v2
473
+ results:
474
+ - task:
475
+ type: information-retrieval
476
+ name: Information Retrieval
477
+ dataset:
478
+ name: baseline
479
+ type: baseline
480
+ metrics:
481
+ - type: cosine_accuracy@1
482
+ value: 0.68
483
+ name: Cosine Accuracy@1
484
+ - type: cosine_accuracy@3
485
+ value: 0.78
486
+ name: Cosine Accuracy@3
487
+ - type: cosine_accuracy@5
488
+ value: 0.78
489
+ name: Cosine Accuracy@5
490
+ - type: cosine_accuracy@10
491
+ value: 0.8
492
+ name: Cosine Accuracy@10
493
+ - type: cosine_precision@1
494
+ value: 0.68
495
+ name: Cosine Precision@1
496
+ - type: cosine_precision@3
497
+ value: 0.25999999999999995
498
+ name: Cosine Precision@3
499
+ - type: cosine_precision@5
500
+ value: 0.15599999999999994
501
+ name: Cosine Precision@5
502
+ - type: cosine_precision@10
503
+ value: 0.07999999999999999
504
+ name: Cosine Precision@10
505
+ - type: cosine_recall@1
506
+ value: 0.68
507
+ name: Cosine Recall@1
508
+ - type: cosine_recall@3
509
+ value: 0.78
510
+ name: Cosine Recall@3
511
+ - type: cosine_recall@5
512
+ value: 0.78
513
+ name: Cosine Recall@5
514
+ - type: cosine_recall@10
515
+ value: 0.8
516
+ name: Cosine Recall@10
517
+ - type: cosine_ndcg@10
518
+ value: 0.7440207339387845
519
+ name: Cosine Ndcg@10
520
+ - type: cosine_mrr@10
521
+ value: 0.7256944444444444
522
+ name: Cosine Mrr@10
523
+ - type: cosine_map@100
524
+ value: 0.7280566718520438
525
+ name: Cosine Map@100
526
+ ---
527
+
528
+ # SentenceTransformer based on sentence-transformers/all-MiniLM-L6-v2
529
+
530
+ This is a [sentence-transformers](https://www.SBERT.net) model finetuned from [sentence-transformers/all-MiniLM-L6-v2](https://huggingface.co/sentence-transformers/all-MiniLM-L6-v2) on the json dataset. It maps sentences & paragraphs to a 384-dimensional dense vector space and can be used for semantic textual similarity, semantic search, paraphrase mining, text classification, clustering, and more.
531
+
532
+ ## Model Details
533
+
534
+ ### Model Description
535
+ - **Model Type:** Sentence Transformer
536
+ - **Base model:** [sentence-transformers/all-MiniLM-L6-v2](https://huggingface.co/sentence-transformers/all-MiniLM-L6-v2) <!-- at revision c9745ed1d9f207416be6d2e6f8de32d1f16199bf -->
537
+ - **Maximum Sequence Length:** 256 tokens
538
+ - **Output Dimensionality:** 384 dimensions
539
+ - **Similarity Function:** Cosine Similarity
540
+ - **Training Dataset:**
541
+ - json
542
+ <!-- - **Language:** Unknown -->
543
+ <!-- - **License:** Unknown -->
544
+
545
+ ### Model Sources
546
+
547
+ - **Documentation:** [Sentence Transformers Documentation](https://sbert.net)
548
+ - **Repository:** [Sentence Transformers on GitHub](https://github.com/UKPLab/sentence-transformers)
549
+ - **Hugging Face:** [Sentence Transformers on Hugging Face](https://huggingface.co/models?library=sentence-transformers)
550
+
551
+ ### Full Model Architecture
552
+
553
+ ```
554
+ SentenceTransformer(
555
+ (0): Transformer({'max_seq_length': 256, 'do_lower_case': False}) with Transformer model: BertModel
556
+ (1): Pooling({'word_embedding_dimension': 384, 'pooling_mode_cls_token': False, 'pooling_mode_mean_tokens': True, 'pooling_mode_max_tokens': False, 'pooling_mode_mean_sqrt_len_tokens': False, 'pooling_mode_weightedmean_tokens': False, 'pooling_mode_lasttoken': False, 'include_prompt': True})
557
+ (2): Normalize()
558
+ )
559
+ ```
560
+
561
+ ## Usage
562
+
563
+ ### Direct Usage (Sentence Transformers)
564
+
565
+ First install the Sentence Transformers library:
566
+
567
+ ```bash
568
+ pip install -U sentence-transformers
569
+ ```
570
+
571
+ Then you can load this model and run inference.
572
+ ```python
573
+ from sentence_transformers import SentenceTransformer
574
+
575
+ # Download from the 🤗 Hub
576
+ model = SentenceTransformer("amene-gafsi/minilm-finetuned-embedding")
577
+ # Run inference
578
+ sentences = [
579
+ 'Which of the following statements accurately describes a key implication of the parameter μ in population dynamics?\n\nA) If μ equals 1, the population will certainly grow indefinitely. \nB) If μ is less than 1, the population will face a high probability of extinction. \nC) If μ is greater than 1, the population will go extinct with certainty. \nD) If μ is equal to 0, the population will persist indefinitely.\n\n**Correct Answer: B) If μ is less than 1, the population will face a high probability of extinction.**',
580
+ "Micro-encapsulation allows for metabolism within the membrane, exchange of small molecules and prevention of passage of large substances across it. The main advantages of encapsulation include improved mimicry in the body, increased solubility of the cargo and decreased immune responses. Notably, artificial cells have been clinically successful in hemoperfusion.\nIf μ < 1, then the expected number of individuals goes rapidly to zero, which implies ultimate extinction with probability 1 by Markov's inequality. Alternatively, if μ > 1, then the probability of ultimate extinction is less than 1 (but not necessarily zero; consider a process where each individual either has 0 or 100 children with equal probability.\nThe decision to tolerate up to 10 μg/liter of “nonrelevant” metabolites in groundwater and drinking water is politically highly contentious in Europe. Some consider the higher limit acceptable as no imminent health risk can be proven, whereas others regard it as a fundamental deviation from the precautionary principle. == References ==\nInformally, dynamical systems describe the time evolution of the phase space of some mechanical system. Commonly, such evolution is given by some differential equations, or quite often in terms of discrete time steps. However, in the present case, instead of focusing on the time evolution of discrete points, one shifts attention to the time evolution of collections of points.\nCommercial Crew Development (CCDev) is a human spaceflight development program that is funded by the U.S. government and administered by NASA. CCDev will result in US and international astronauts flying to the International Space Station (ISS) on privately operated crew vehicles. Operational contracts to fly astronauts were awarded in September 2014 to SpaceX and Boeing.\nTo do so, one needs precise disease definitions and a probabilistic analysis of symptoms and molecular profiles. Physicists have been studying similar problems for years, utilizing microscopic elements and their interactions to extract macroscopic states of various physical systems. Physics inspired machine learning approaches can thus be applied to study disease processes and to perform biomarker analysis.\nDuring the second stage, the light-independent reactions use these products to capture and reduce carbon dioxide. Most organisms that use oxygenic photosynthesis use visible light for the light-dependent reactions, although at least three use shortwave infrared or, more specifically, far-red radiation.Some organisms employ even more radical variants of photosynthesis.",
581
+ 'Structuring elements are particular cases of binary images, usually being small and simple. In mathematical morphology, binary images are subsets of a Euclidean space Rd or the integer grid Zd, for some dimension d. Here are some examples of widely used structuring elements (denoted by B): Let E=R2; B is an open disk of radius r, centered at the origin. Let E=Z2; B is a 3x3 square, that is, B={(-1,-1),(-1,0),(-1,1),(0,-1),(0,0),(0,1),(1,-1),(1,0),(1,1)}. Let E=Z2; B is the "cross" given by: B={(-1,0),(0,-1),(0,0),(0,1),(1,0)}.In the discrete case, a structuring element can also be represented as a set of pixels on a grid, assuming the values 1 (if the pixel belongs to the structuring element) or 0 (otherwise). When used by a hit-or-miss transform, usually the structuring element is a composite of two disjoint sets (two simple structuring elements), one associated to the foreground, and one associated to the background of the image to be probed. In this case, an alternative representation of the composite structuring element is as a set of pixels which are either set (1, associated to the foreground), not set (0, associated to the background) or "don\'t care".',
582
+ ]
583
+ embeddings = model.encode(sentences)
584
+ print(embeddings.shape)
585
+ # [3, 384]
586
+
587
+ # Get the similarity scores for the embeddings
588
+ similarities = model.similarity(embeddings, embeddings)
589
+ print(similarities.shape)
590
+ # [3, 3]
591
+ ```
592
+
593
+ <!--
594
+ ### Direct Usage (Transformers)
595
+
596
+ <details><summary>Click to see the direct usage in Transformers</summary>
597
+
598
+ </details>
599
+ -->
600
+
601
+ <!--
602
+ ### Downstream Usage (Sentence Transformers)
603
+
604
+ You can finetune this model on your own dataset.
605
+
606
+ <details><summary>Click to expand</summary>
607
+
608
+ </details>
609
+ -->
610
+
611
+ <!--
612
+ ### Out-of-Scope Use
613
+
614
+ *List how the model may foreseeably be misused and address what users ought not to do with the model.*
615
+ -->
616
+
617
+ ## Evaluation
618
+
619
+ ### Metrics
620
+
621
+ #### Information Retrieval
622
+
623
+ * Dataset: `baseline`
624
+ * Evaluated with [<code>InformationRetrievalEvaluator</code>](https://sbert.net/docs/package_reference/sentence_transformer/evaluation.html#sentence_transformers.evaluation.InformationRetrievalEvaluator)
625
+
626
+ | Metric | Value |
627
+ |:--------------------|:----------|
628
+ | cosine_accuracy@1 | 0.68 |
629
+ | cosine_accuracy@3 | 0.78 |
630
+ | cosine_accuracy@5 | 0.78 |
631
+ | cosine_accuracy@10 | 0.8 |
632
+ | cosine_precision@1 | 0.68 |
633
+ | cosine_precision@3 | 0.26 |
634
+ | cosine_precision@5 | 0.156 |
635
+ | cosine_precision@10 | 0.08 |
636
+ | cosine_recall@1 | 0.68 |
637
+ | cosine_recall@3 | 0.78 |
638
+ | cosine_recall@5 | 0.78 |
639
+ | cosine_recall@10 | 0.8 |
640
+ | **cosine_ndcg@10** | **0.744** |
641
+ | cosine_mrr@10 | 0.7257 |
642
+ | cosine_map@100 | 0.7281 |
643
+
644
+ <!--
645
+ ## Bias, Risks and Limitations
646
+
647
+ *What are the known or foreseeable issues stemming from this model? You could also flag here known failure cases or weaknesses of the model.*
648
+ -->
649
+
650
+ <!--
651
+ ### Recommendations
652
+
653
+ *What are recommendations with respect to the foreseeable issues? For example, filtering explicit content.*
654
+ -->
655
+
656
+ ## Training Details
657
+
658
+ ### Training Dataset
659
+
660
+ #### json
661
+
662
+ * Dataset: json
663
+ * Size: 900 training samples
664
+ * Columns: <code>anchor</code> and <code>positive</code>
665
+ * Approximate statistics based on the first 900 samples:
666
+ | | anchor | positive |
667
+ |:--------|:-------------------------------------------------------------------------------------|:-------------------------------------------------------------------------------------|
668
+ | type | string | string |
669
+ | details | <ul><li>min: 41 tokens</li><li>mean: 138.75 tokens</li><li>max: 256 tokens</li></ul> | <ul><li>min: 256 tokens</li><li>mean: 256.0 tokens</li><li>max: 256 tokens</li></ul> |
670
+ * Samples:
671
+ | anchor | positive |
672
+ |:----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|:---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
673
+ | <code>Which of the following milestones in tin smelting occurred in 1978?<br><br>A) The installation of a five tonne plant for recovering tin from slag at Associated Tin Smelters <br>B) The construction of a four tonne per hour tin matte fuming pilot plant at the Kalgoorlie Nickel Smelter <br>C) The first sulfidic smelting test work in collaboration with Aberfoyle Limited <br>D) The completion of the Port Kembla converter slag treatment trials <br><br>Correct Answer: A) The installation of a five tonne plant for recovering tin from slag at Associated Tin Smelters</code> | <code>The work then proceeded to smelting tin concentrates (1975) and then sulfidic tin concentrates (1977).MIM and ER&S jointly funded the 1975 Port Kembla converter slag treatment trials and MIM’s involvement continued with the slag treatment work in Townsville and Mount Isa.In parallel with the copper slag treatment work, the CSIRO was continuing to work in tin smelting. Projects included a five tonne ("t") plant for recovering tin from slag being installed at Associated Tin Smelters in 1978, and the first sulfidic smelting test work being done in collaboration with Aberfoyle Limited, in which tin was fumed from pyritic tin ore and from mixed tin and copper concentrates. Aberfoyle was investigating the possibility of using the Sirosmelt lance approach to improve the recovery of tin from complex ores, such as its mine at Cleveland, Tasmania, and the Queen Hill ore zone near Zeehan in Tasmania.The Aberfoyle work led to the construction and operation in late 1980 of a four t/h tin matte fumi...</code> |
674
+ | <code>Which of the following conditions is necessary for the application of Theorem GF3 in the context of the product defined recursively by \( f_n(z) = z(1 + g_n(z)) \)?<br><br>A) \( |z g_n(z)| \leq C \beta_n \) and \( \sum_{k=1}^{\infty} \beta_k < \infty \) <br>B) \( |z g_n(z)| \geq C \beta_n \) and \( \sum_{k=1}^{\infty} \beta_k < \infty \) <br>C) \( |z g_n(z)| \leq C \beta_n \) and \( \sum_{k=1}^{\infty} \beta_k = \infty \) <br>D) \( |z g_n(z)| \geq C \beta_n \) and \( \sum_{k=1}^{\infty} \beta_k = \infty \) <br><br>Correct Answer: A) \( |z g_n(z)| \leq C \beta_n \) and \( \sum_{k=1}^{\infty} \beta_k < \infty \)</code> | <code>The product defined recursively by f n ( z ) = z ( 1 + g n ( z ) ) , | z | ⩽ M , {\displaystyle f_{n}(z)=z(1+g_{n}(z)),\qquad |z|\leqslant M,} has the appearance G n ( z ) = z ∏ k = 1 n ( 1 + g k ( G k − 1 ( z ) ) ) . {\displaystyle G_{n}(z)=z\prod _{k=1}^{n}\left(1+g_{k}\left(G_{k-1}(z)\right)\right).} In order to apply Theorem GF3 it is required that: | z g n ( z ) | ≤ C β n , ∑ k = 1 ∞ β k < ∞ . {\displaystyle \left|zg_{n}(z)\right|\leq C\beta _{n},\qquad \sum _{k=1}^{\infty }\beta _{k}<\infty .}</code> |
675
+ | <code>Which of the following statements correctly describes the relationship between axonometry and axonometric projection?<br><br>A) Axonometry and axonometric projection refer to the same concept in parallel projection techniques.<br><br>B) Axonometric projection is a broader term that includes all types of axonometric representations.<br><br>C) Axonometry is a technique used to measure along axes, while axonometric projection refers specifically to a type of pictorial representation.<br><br>D) Axonometric projection relies solely on orthographic images where rays are perpendicular to the image plane.<br><br>**Correct Answer: C) Axonometry is a technique used to measure along axes, while axonometric projection refers specifically to a type of pictorial representation.**</code> | <code>Images drawn in parallel projection rely upon the technique of axonometry ("to measure along axes"), as described in Pohlke's theorem. In general, the resulting image is oblique (the rays are not perpendicular to the image plane); but in special cases the result is orthographic (the rays are perpendicular to the image plane). Axonometry should not be confused with axonometric projection, as in English literature the latter usually refers only to a specific class of pictorials (see below).<br>This is the case if and only if the unit vector bases of ℓ M {\displaystyle \ell _{M}} and ℓ N {\displaystyle \ell _{N}} are equivalent. ℓ M {\displaystyle \ell _{M}} can be isomorphic to ℓ N {\displaystyle \ell _{N}} without their unit vector bases being equivalent. (See the example below of an Orlicz sequence space with two nonequivalent symmetric bases.)<br>The main involution is the map that "flips" the generators: α ( Γ a ) = i 2 Γ a {\displaystyle \alpha (\Gamma _{a})=i^{2}\Gamma _{a}} but leaves i...</code> |
676
+ * Loss: [<code>MultipleNegativesRankingLoss</code>](https://sbert.net/docs/package_reference/sentence_transformer/losses.html#multiplenegativesrankingloss) with these parameters:
677
+ ```json
678
+ {
679
+ "scale": 20.0,
680
+ "similarity_fct": "cos_sim"
681
+ }
682
+ ```
683
+
684
+ ### Training Hyperparameters
685
+ #### Non-Default Hyperparameters
686
+
687
+ - `eval_strategy`: epoch
688
+ - `per_device_train_batch_size`: 32
689
+ - `gradient_accumulation_steps`: 8
690
+ - `learning_rate`: 1e-06
691
+ - `num_train_epochs`: 4
692
+ - `lr_scheduler_type`: cosine
693
+ - `warmup_ratio`: 0.1
694
+ - `bf16`: True
695
+ - `tf32`: True
696
+ - `load_best_model_at_end`: True
697
+ - `optim`: adamw_torch_fused
698
+ - `batch_sampler`: no_duplicates
699
+
700
+ #### All Hyperparameters
701
+ <details><summary>Click to expand</summary>
702
+
703
+ - `overwrite_output_dir`: False
704
+ - `do_predict`: False
705
+ - `eval_strategy`: epoch
706
+ - `prediction_loss_only`: True
707
+ - `per_device_train_batch_size`: 32
708
+ - `per_device_eval_batch_size`: 8
709
+ - `per_gpu_train_batch_size`: None
710
+ - `per_gpu_eval_batch_size`: None
711
+ - `gradient_accumulation_steps`: 8
712
+ - `eval_accumulation_steps`: None
713
+ - `torch_empty_cache_steps`: None
714
+ - `learning_rate`: 1e-06
715
+ - `weight_decay`: 0.0
716
+ - `adam_beta1`: 0.9
717
+ - `adam_beta2`: 0.999
718
+ - `adam_epsilon`: 1e-08
719
+ - `max_grad_norm`: 1.0
720
+ - `num_train_epochs`: 4
721
+ - `max_steps`: -1
722
+ - `lr_scheduler_type`: cosine
723
+ - `lr_scheduler_kwargs`: {}
724
+ - `warmup_ratio`: 0.1
725
+ - `warmup_steps`: 0
726
+ - `log_level`: passive
727
+ - `log_level_replica`: warning
728
+ - `log_on_each_node`: True
729
+ - `logging_nan_inf_filter`: True
730
+ - `save_safetensors`: True
731
+ - `save_on_each_node`: False
732
+ - `save_only_model`: False
733
+ - `restore_callback_states_from_checkpoint`: False
734
+ - `no_cuda`: False
735
+ - `use_cpu`: False
736
+ - `use_mps_device`: False
737
+ - `seed`: 42
738
+ - `data_seed`: None
739
+ - `jit_mode_eval`: False
740
+ - `use_ipex`: False
741
+ - `bf16`: True
742
+ - `fp16`: False
743
+ - `fp16_opt_level`: O1
744
+ - `half_precision_backend`: auto
745
+ - `bf16_full_eval`: False
746
+ - `fp16_full_eval`: False
747
+ - `tf32`: True
748
+ - `local_rank`: 0
749
+ - `ddp_backend`: None
750
+ - `tpu_num_cores`: None
751
+ - `tpu_metrics_debug`: False
752
+ - `debug`: []
753
+ - `dataloader_drop_last`: False
754
+ - `dataloader_num_workers`: 0
755
+ - `dataloader_prefetch_factor`: None
756
+ - `past_index`: -1
757
+ - `disable_tqdm`: False
758
+ - `remove_unused_columns`: True
759
+ - `label_names`: None
760
+ - `load_best_model_at_end`: True
761
+ - `ignore_data_skip`: False
762
+ - `fsdp`: []
763
+ - `fsdp_min_num_params`: 0
764
+ - `fsdp_config`: {'min_num_params': 0, 'xla': False, 'xla_fsdp_v2': False, 'xla_fsdp_grad_ckpt': False}
765
+ - `tp_size`: 0
766
+ - `fsdp_transformer_layer_cls_to_wrap`: None
767
+ - `accelerator_config`: {'split_batches': False, 'dispatch_batches': None, 'even_batches': True, 'use_seedable_sampler': True, 'non_blocking': False, 'gradient_accumulation_kwargs': None}
768
+ - `deepspeed`: None
769
+ - `label_smoothing_factor`: 0.0
770
+ - `optim`: adamw_torch_fused
771
+ - `optim_args`: None
772
+ - `adafactor`: False
773
+ - `group_by_length`: False
774
+ - `length_column_name`: length
775
+ - `ddp_find_unused_parameters`: None
776
+ - `ddp_bucket_cap_mb`: None
777
+ - `ddp_broadcast_buffers`: False
778
+ - `dataloader_pin_memory`: True
779
+ - `dataloader_persistent_workers`: False
780
+ - `skip_memory_metrics`: True
781
+ - `use_legacy_prediction_loop`: False
782
+ - `push_to_hub`: False
783
+ - `resume_from_checkpoint`: None
784
+ - `hub_model_id`: None
785
+ - `hub_strategy`: every_save
786
+ - `hub_private_repo`: None
787
+ - `hub_always_push`: False
788
+ - `gradient_checkpointing`: False
789
+ - `gradient_checkpointing_kwargs`: None
790
+ - `include_inputs_for_metrics`: False
791
+ - `include_for_metrics`: []
792
+ - `eval_do_concat_batches`: True
793
+ - `fp16_backend`: auto
794
+ - `push_to_hub_model_id`: None
795
+ - `push_to_hub_organization`: None
796
+ - `mp_parameters`:
797
+ - `auto_find_batch_size`: False
798
+ - `full_determinism`: False
799
+ - `torchdynamo`: None
800
+ - `ray_scope`: last
801
+ - `ddp_timeout`: 1800
802
+ - `torch_compile`: False
803
+ - `torch_compile_backend`: None
804
+ - `torch_compile_mode`: None
805
+ - `include_tokens_per_second`: False
806
+ - `include_num_input_tokens_seen`: False
807
+ - `neftune_noise_alpha`: None
808
+ - `optim_target_modules`: None
809
+ - `batch_eval_metrics`: False
810
+ - `eval_on_start`: False
811
+ - `use_liger_kernel`: False
812
+ - `eval_use_gather_object`: False
813
+ - `average_tokens_across_devices`: False
814
+ - `prompts`: None
815
+ - `batch_sampler`: no_duplicates
816
+ - `multi_dataset_batch_sampler`: proportional
817
+
818
+ </details>
819
+
820
+ ### Training Logs
821
+ | Epoch | Step | Training Loss | baseline_cosine_ndcg@10 |
822
+ |:----------:|:------:|:-------------:|:-----------------------:|
823
+ | -1 | -1 | - | 0.7290 |
824
+ | 0.8276 | 3 | - | 0.7365 |
825
+ | 1.8276 | 6 | - | 0.7427 |
826
+ | 2.8276 | 9 | - | 0.7420 |
827
+ | 3.2759 | 10 | 7.0507 | - |
828
+ | **3.8276** | **12** | **-** | **0.744** |
829
+
830
+ * The bold row denotes the saved checkpoint.
831
+
832
+ ### Framework Versions
833
+ - Python: 3.12.8
834
+ - Sentence Transformers: 4.1.0
835
+ - Transformers: 4.51.3
836
+ - PyTorch: 2.7.0+cu126
837
+ - Accelerate: 1.3.0
838
+ - Datasets: 3.2.0
839
+ - Tokenizers: 0.21.0
840
+
841
+ ## Citation
842
+
843
+ ### BibTeX
844
+
845
+ #### Sentence Transformers
846
+ ```bibtex
847
+ @inproceedings{reimers-2019-sentence-bert,
848
+ title = "Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks",
849
+ author = "Reimers, Nils and Gurevych, Iryna",
850
+ booktitle = "Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing",
851
+ month = "11",
852
+ year = "2019",
853
+ publisher = "Association for Computational Linguistics",
854
+ url = "https://arxiv.org/abs/1908.10084",
855
+ }
856
+ ```
857
+
858
+ #### MultipleNegativesRankingLoss
859
+ ```bibtex
860
+ @misc{henderson2017efficient,
861
+ title={Efficient Natural Language Response Suggestion for Smart Reply},
862
+ author={Matthew Henderson and Rami Al-Rfou and Brian Strope and Yun-hsuan Sung and Laszlo Lukacs and Ruiqi Guo and Sanjiv Kumar and Balint Miklos and Ray Kurzweil},
863
+ year={2017},
864
+ eprint={1705.00652},
865
+ archivePrefix={arXiv},
866
+ primaryClass={cs.CL}
867
+ }
868
+ ```
869
+
870
+ <!--
871
+ ## Glossary
872
+
873
+ *Clearly define terms in order to be accessible across audiences.*
874
+ -->
875
+
876
+ <!--
877
+ ## Model Card Authors
878
+
879
+ *Lists the people who create the model card, providing recognition and accountability for the detailed work that goes into its construction.*
880
+ -->
881
+
882
+ <!--
883
+ ## Model Card Contact
884
+
885
+ *Provides a way for people who have updates to the Model Card, suggestions, or questions, to contact the Model Card authors.*
886
+ -->
config.json ADDED
@@ -0,0 +1,25 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "architectures": [
3
+ "BertModel"
4
+ ],
5
+ "attention_probs_dropout_prob": 0.1,
6
+ "classifier_dropout": null,
7
+ "gradient_checkpointing": false,
8
+ "hidden_act": "gelu",
9
+ "hidden_dropout_prob": 0.1,
10
+ "hidden_size": 384,
11
+ "initializer_range": 0.02,
12
+ "intermediate_size": 1536,
13
+ "layer_norm_eps": 1e-12,
14
+ "max_position_embeddings": 512,
15
+ "model_type": "bert",
16
+ "num_attention_heads": 12,
17
+ "num_hidden_layers": 6,
18
+ "pad_token_id": 0,
19
+ "position_embedding_type": "absolute",
20
+ "torch_dtype": "float32",
21
+ "transformers_version": "4.51.3",
22
+ "type_vocab_size": 2,
23
+ "use_cache": true,
24
+ "vocab_size": 30522
25
+ }
config_sentence_transformers.json ADDED
@@ -0,0 +1,10 @@
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "__version__": {
3
+ "sentence_transformers": "4.1.0",
4
+ "transformers": "4.51.3",
5
+ "pytorch": "2.6.0+cu126"
6
+ },
7
+ "prompts": {},
8
+ "default_prompt_name": null,
9
+ "similarity_fn_name": "cosine"
10
+ }
model.safetensors ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:458bb85aef7d8d1ef44f9aa964905c734ba4423aaf73b7175db25252458abf4f
3
+ size 90864192
modules.json ADDED
@@ -0,0 +1,20 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ [
2
+ {
3
+ "idx": 0,
4
+ "name": "0",
5
+ "path": "",
6
+ "type": "sentence_transformers.models.Transformer"
7
+ },
8
+ {
9
+ "idx": 1,
10
+ "name": "1",
11
+ "path": "1_Pooling",
12
+ "type": "sentence_transformers.models.Pooling"
13
+ },
14
+ {
15
+ "idx": 2,
16
+ "name": "2",
17
+ "path": "2_Normalize",
18
+ "type": "sentence_transformers.models.Normalize"
19
+ }
20
+ ]
sentence_bert_config.json ADDED
@@ -0,0 +1,4 @@
 
 
 
 
 
1
+ {
2
+ "max_seq_length": 256,
3
+ "do_lower_case": false
4
+ }
special_tokens_map.json ADDED
@@ -0,0 +1,37 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "cls_token": {
3
+ "content": "[CLS]",
4
+ "lstrip": false,
5
+ "normalized": false,
6
+ "rstrip": false,
7
+ "single_word": false
8
+ },
9
+ "mask_token": {
10
+ "content": "[MASK]",
11
+ "lstrip": false,
12
+ "normalized": false,
13
+ "rstrip": false,
14
+ "single_word": false
15
+ },
16
+ "pad_token": {
17
+ "content": "[PAD]",
18
+ "lstrip": false,
19
+ "normalized": false,
20
+ "rstrip": false,
21
+ "single_word": false
22
+ },
23
+ "sep_token": {
24
+ "content": "[SEP]",
25
+ "lstrip": false,
26
+ "normalized": false,
27
+ "rstrip": false,
28
+ "single_word": false
29
+ },
30
+ "unk_token": {
31
+ "content": "[UNK]",
32
+ "lstrip": false,
33
+ "normalized": false,
34
+ "rstrip": false,
35
+ "single_word": false
36
+ }
37
+ }
tokenizer.json ADDED
The diff for this file is too large to render. See raw diff
 
tokenizer_config.json ADDED
@@ -0,0 +1,65 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "added_tokens_decoder": {
3
+ "0": {
4
+ "content": "[PAD]",
5
+ "lstrip": false,
6
+ "normalized": false,
7
+ "rstrip": false,
8
+ "single_word": false,
9
+ "special": true
10
+ },
11
+ "100": {
12
+ "content": "[UNK]",
13
+ "lstrip": false,
14
+ "normalized": false,
15
+ "rstrip": false,
16
+ "single_word": false,
17
+ "special": true
18
+ },
19
+ "101": {
20
+ "content": "[CLS]",
21
+ "lstrip": false,
22
+ "normalized": false,
23
+ "rstrip": false,
24
+ "single_word": false,
25
+ "special": true
26
+ },
27
+ "102": {
28
+ "content": "[SEP]",
29
+ "lstrip": false,
30
+ "normalized": false,
31
+ "rstrip": false,
32
+ "single_word": false,
33
+ "special": true
34
+ },
35
+ "103": {
36
+ "content": "[MASK]",
37
+ "lstrip": false,
38
+ "normalized": false,
39
+ "rstrip": false,
40
+ "single_word": false,
41
+ "special": true
42
+ }
43
+ },
44
+ "clean_up_tokenization_spaces": false,
45
+ "cls_token": "[CLS]",
46
+ "do_basic_tokenize": true,
47
+ "do_lower_case": true,
48
+ "extra_special_tokens": {},
49
+ "mask_token": "[MASK]",
50
+ "max_length": 128,
51
+ "model_max_length": 256,
52
+ "never_split": null,
53
+ "pad_to_multiple_of": null,
54
+ "pad_token": "[PAD]",
55
+ "pad_token_type_id": 0,
56
+ "padding_side": "right",
57
+ "sep_token": "[SEP]",
58
+ "stride": 0,
59
+ "strip_accents": null,
60
+ "tokenize_chinese_chars": true,
61
+ "tokenizer_class": "BertTokenizer",
62
+ "truncation_side": "right",
63
+ "truncation_strategy": "longest_first",
64
+ "unk_token": "[UNK]"
65
+ }
vocab.txt ADDED
The diff for this file is too large to render. See raw diff