Genetic Programming $$\varvec+}$$ + Proof Search $$\varvec=}$$ = Automatic Improvement
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Genetic Programming $$\varvec+}$$ + Proof Search $$\varvec=}$$ = Automatic Improvement ; day:7 ; month:3 ; year:2017 ; pages:1-20
Journal of automated reasoning ; (7.3.2017), 1-20
- Klassifikation
-
Informatik
- Urheber
-
Kocsis, Zoltan A.
- Beteiligte Personen und Organisationen
-
Swan, Jerry
SpringerLink (Online service)
- DOI
-
10.1007/s10817-017-9409-5
- URN
-
urn:nbn:de:1111-201703303051
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kocsis, Zoltan A.
- Swan, Jerry
- SpringerLink (Online service)
Ähnliche Objekte (12)
Production of $$\varvec\eta }_\varvec{c}}, \varvec\chi }_\varvec{c}}$$ η c , χ c and $$\varvec\chi }_\varvec{b}}$$ χ b Mesons in Proton–(Anti)Proton Collisions
NSE characterization of the Chevalley group $$\varvecG}_{\varvec{2}} \varvec{(4)}}$$ G 2 ( 4 )
Physics-informed deep learning to forecast $$\widehat{{\varvec{M}}}}_{{\varvec{m}}{\varvec{a}}{\varvec{x}}}$$ M ^ m a x during hydraulic fracturing
Fragmentation of charm to charmonium in $${\varvec{e}}}^+{{\varvec{e}}}^-$$ e+e- and $${\varvec{pp}}}$$ pp collisions
On the Microscopic Structure of $$\varvec{\pi }}$$ π NN, $$\varvec{\pi }}$$ π N $$\varvec{\Delta }}$$ Δ and $$\varvec{{\pi }\Delta \Delta }}$$ π Δ Δ Vertices
Measurement of the double- $$\varvec\beta }$$ β decay of $$\varvec^{150}}$$ 150 Nd to the 0 $$\varvec^+_1}$$ 1 + excited state of $$\varvec^{150}}$$ 150 Sm in NEMO-3
Fractional $$(\varvec{s}},{\varvec{p}})$$ ( s , p ) -Robin–Venttsel’ problems on extension domains
On some nonlinear operators in $$\varvec{\Lambda }} \varvec{BV}}$$ Λ B V -spaces
$$\varvecS}$$ S -preclones and the Galois connection $$\varvec{}^{S}{}\textrm{Pol}}$$ S Pol – $$\varvec{}^{S}{}\textrm{Inv}}$$ S Inv , Part I
Refined Enumeration of $${\varvec{k}}}$$ k -plane Trees and $$\varvec{k}}$$ k -noncrossing Trees
$$\varvecJ}$$ J -, M- and $$\varvecL}$$ L -integrals of line charges and line forces
Deviatoric behaviour of compacted unsaturated soils within ( $$\varvec{q}},\boldsymbol{ }{{\varvec{v}}}_{\mathbf{w}},\boldsymbol{ }{\varvec{p}}$$ q , v w , p ) space—an experimental study
Production of $$\varvec\eta }_\varvec{c}}, \varvec\chi }_\varvec{c}}$$ η c , χ c and $$\varvec\chi }_\varvec{b}}$$ χ b Mesons in Proton–(Anti)Proton Collisions
NSE characterization of the Chevalley group $$\varvecG}_{\varvec{2}} \varvec{(4)}}$$ G 2 ( 4 )
Physics-informed deep learning to forecast $$\widehat{{\varvec{M}}}}_{{\varvec{m}}{\varvec{a}}{\varvec{x}}}$$ M ^ m a x during hydraulic fracturing
Fragmentation of charm to charmonium in $${\varvec{e}}}^+{{\varvec{e}}}^-$$ e+e- and $${\varvec{pp}}}$$ pp collisions
On the Microscopic Structure of $$\varvec{\pi }}$$ π NN, $$\varvec{\pi }}$$ π N $$\varvec{\Delta }}$$ Δ and $$\varvec{{\pi }\Delta \Delta }}$$ π Δ Δ Vertices
Measurement of the double- $$\varvec\beta }$$ β decay of $$\varvec^{150}}$$ 150 Nd to the 0 $$\varvec^+_1}$$ 1 + excited state of $$\varvec^{150}}$$ 150 Sm in NEMO-3
Fractional $$(\varvec{s}},{\varvec{p}})$$ ( s , p ) -Robin–Venttsel’ problems on extension domains
On some nonlinear operators in $$\varvec{\Lambda }} \varvec{BV}}$$ Λ B V -spaces
$$\varvecS}$$ S -preclones and the Galois connection $$\varvec{}^{S}{}\textrm{Pol}}$$ S Pol – $$\varvec{}^{S}{}\textrm{Inv}}$$ S Inv , Part I
Refined Enumeration of $${\varvec{k}}}$$ k -plane Trees and $$\varvec{k}}$$ k -noncrossing Trees
$$\varvecJ}$$ J -, M- and $$\varvecL}$$ L -integrals of line charges and line forces
Deviatoric behaviour of compacted unsaturated soils within ( $$\varvec{q}},\boldsymbol{ }{{\varvec{v}}}_{\mathbf{w}},\boldsymbol{ }{\varvec{p}}$$ q , v w , p ) space—an experimental study
Production of $$\varvec\eta }_\varvec{c}}, \varvec\chi }_\varvec{c}}$$ η c , χ c and $$\varvec\chi }_\varvec{b}}$$ χ b Mesons in Proton–(Anti)Proton Collisions
NSE characterization of the Chevalley group $$\varvecG}_{\varvec{2}} \varvec{(4)}}$$ G 2 ( 4 )
Physics-informed deep learning to forecast $$\widehat{{\varvec{M}}}}_{{\varvec{m}}{\varvec{a}}{\varvec{x}}}$$ M ^ m a x during hydraulic fracturing
Fragmentation of charm to charmonium in $${\varvec{e}}}^+{{\varvec{e}}}^-$$ e+e- and $${\varvec{pp}}}$$ pp collisions
On the Microscopic Structure of $$\varvec{\pi }}$$ π NN, $$\varvec{\pi }}$$ π N $$\varvec{\Delta }}$$ Δ and $$\varvec{{\pi }\Delta \Delta }}$$ π Δ Δ Vertices
Measurement of the double- $$\varvec\beta }$$ β decay of $$\varvec^{150}}$$ 150 Nd to the 0 $$\varvec^+_1}$$ 1 + excited state of $$\varvec^{150}}$$ 150 Sm in NEMO-3
Fractional $$(\varvec{s}},{\varvec{p}})$$ ( s , p ) -Robin–Venttsel’ problems on extension domains
On some nonlinear operators in $$\varvec{\Lambda }} \varvec{BV}}$$ Λ B V -spaces
$$\varvecS}$$ S -preclones and the Galois connection $$\varvec{}^{S}{}\textrm{Pol}}$$ S Pol – $$\varvec{}^{S}{}\textrm{Inv}}$$ S Inv , Part I
Refined Enumeration of $${\varvec{k}}}$$ k -plane Trees and $$\varvec{k}}$$ k -noncrossing Trees
$$\varvecJ}$$ J -, M- and $$\varvecL}$$ L -integrals of line charges and line forces