Suchergebnisse - Clasificación AMS::26 Real functions::26A Functions of one variable

A note about Mikhaïl Lavrentieff and his world of analysis in the Soviet Union (With an appendix by Galina Sinkevich)

Autoren: Papadopoulos, Athanase Chebyshev Laboratory St Petersburg State University (SPbU)

Weitere Verfasser: Papadopoulos, Athanase Chebyshev Laboratory St Petersburg State University (SPbU)

Schlagwörter: 30C75, 37F30, Keywords: Mikhaïl, 30C35, quasiconformal mapping, theory of functions of a complex variable, theory of functions of a real variable, Mikhaïl A. Lavrentieff, history of quasiconformal mappings, Pavel A. Florensky, Nikolai N. Luzin, Akademgorodok, mathematics and religion, AMS classification: 30C20, 30C62, 30C70, 30C20, [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO], [MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT], edu

Relation: https://hal.archives-ouvertes.fr/hal-02406071/file/Lavrentieff-bio.pdf; https://hal.archives-ouvertes.fr/hal-02406071

Verfügbarkeit: https://hal.archives-ouvertes.fr/hal-02406071/file/Lavrentieff-bio.pdf
https://hal.archives-ouvertes.fr/hal-02406071

Lidstone interpolation I. One variable

Autoren: Waldschmidt, Michel Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)) Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité) et al.

Weitere Verfasser: Waldschmidt, Michel Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)) Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité) et al.

Quelle: The Mathematics Student ; 87th Annual Conference of the Indian Mathematical Society, ; https://hal.science/hal-04025050 ; 87th Annual Conference of the Indian Mathematical Society,, Indian Mathematical Society, Dec 2021, Aurangabad, India. pp.79-95

Schlagwörter: Lidstone polynomials, exponential type, analytic functions of one variable, AMS Mathematics Subject Classification 2020: Primary: 41A58 Secundary: 30D15, [MATH]Mathematics [math]

Geographisches Schlagwort: Aurangabad, India

Time: Aurangabad, India

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2303.04514; ARXIV: 2303.04514

Verfügbarkeit: https://hal.science/hal-04025050
https://hal.science/hal-04025050v1/document
https://hal.science/hal-04025050v1/file/UnivariateLidstoneInterpolation.pdf

One-sided differentiability: a challenge for computer algebra systems

Autoren: Ferres-López, Enrique Roanes Lozano, Eugenio Martínez Zarzuelo, Angélica et al.

Schlagwörter: 372.85, 37.02:51, 004:37, 373.5, 004.4, Computer algebra systems, One-sided differentiability, Real-valued functions of one real variable, Limits, Software comparison, Enseñanza de las Matemáticas, Enseñanza secundaria, Software, 5801 Teoría y Métodos Educativos, 5802.03 Desarrollo de Asignaturas, 1203.10 Enseñanza Con Ayuda de Ordenador, 1203 Ciencia de Los Ordenadores

Dateibeschreibung: application/pdf

Relation: info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PGC2018-096509-B-I00/ES/GESTION INTELIGENTE DE INFORMACION BORROSA/; PID2021-122905NB-C21; E. Ferres-López, E. Roanes-Lozano, A. Martínez-Zarzuelo, F. Sánchez. One-sided differentiability: a challenge for computer algebra systems. Electronic Research Archive. 2023, 31(3), 1737-1768. https://doi.org/10.3934/era.2023090; https://hdl.handle.net/20.500.14352/112579

Verfügbarkeit: https://hdl.handle.net/20.500.14352/112579
https://doi.org/10.3934/era.2023090

Two classes of Darboux-like, Baire one functions of two variables

Autoren: Evans, Michael J. Humke, Paul D.

Schlagwörter: keyword:Woodcutters Problem, keyword:Baire one, keyword:Darboux, msc:26A21, msc:26B05

Dateibeschreibung: application/pdf

Relation: mr:MR2657969; zbl:Zbl 1224.26040; reference:[1] Agronsky, S. J., Ceder, J. G., Pearson, T. L.: Some characterizations of Darboux Baire 1 functions.Real Anal. Exch. 23 (1997), 421-430. Zbl 0943.26004, MR 1640015, 10.2307/44153971; reference:[2] Bruckner, A. M.: Differentiation of Real Functions. CRM Monograph Series, Vol. 5.American Mathematical Society (AMS) (1994). MR 1274044; reference:[3] Cavaretta, A. S., Dahmen, W., Micchelli, C. A.: Stationary Subdivision.Mem. Am. Math. Soc. 453 (1991). Zbl 0741.41009, MR 1079033; reference:[4] Evans, M. J., Humke, P. D.: A characterization of Baire one functions of two variables.J. Math. Anal. Appl. 335 (2007), 1-6. Zbl 1127.26003, MR 2340300, 10.1016/j.jmaa.2007.01.034; reference:[5] Evans, M. J., Humke, P. D.: Revisiting a century-old characterization of Baire class one, Darboux functions.Am. Math. Mon. 116 (2009), 451-455. MR 2510842, 10.4169/193009709X470344; reference:[6] Evans, M. J., Humke, P. D.: Collections of Darboux-like, Baire one functions of two variables.(to appear) in J. Appl. Anal. MR 2680539; reference:[7] Kuratowski, K.: Topology, Vol. I.Academic Press New York (1966). Zbl 0158.40901, MR 0217751; reference:[8] Malý, J.: The Darboux property for gradients.Real Anal. Exch. 22 (1996), 167-173. MR 1433604, 10.2307/44152741; reference:[9] Micchelli, C. A., Prautzsch, H.: Uniform refinement of curves.Linear Algebra Appl. 114/115 (1989), 841-870. Zbl 0668.65011, MR 0986909; reference:[10] Young, W. H.: A theorem in the theory of functions of a real variable.Rend. Circ. Mat. Palermo 24 (1907), 187-192. 10.1007/BF03015058; reference:[11] Young, W. H.: A theorem in the theory of functions of a real variable.Rend. Circ. Mat. Palermo 24 (1907), 187-192. 10.1007/BF03015058

Verfügbarkeit: http://hdl.handle.net/10338.dmlcz/140589

Historical and mathematical heritage of Fyodor Andreevich Medvedev (to the 100th anniversary of his birth) ; Историко-математическое наследие Фёдора Андреевича Медведева (к 100-летию со дня рождения)

Autoren: Roman Anatolievich Melnikov Olga Alekseevna Savvina Роман Анатольевич Мельников et al.

Quelle: Chebyshevskii Sbornik; Том 24, № 4 (2023); 361-371 ; Чебышевский сборник; Том 24, № 4 (2023); 361-371 ; 2226-8383 ; 10.22405/2226-8383-2023-24-4

Schlagwörter: международные связи русских математиков, history of set theory, history of the theory of functions of a real variable, international relations of Russian mathematicians, история теории множеств, история теории функций действительного переменного

Dateibeschreibung: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/1613/1132; Youschkevitch, A.P., Demidov, S.S., Dugac, P. 1983, Medvedev et son apport `a l’histoire de la th´eorie des fonctions, Historia Mathematica, 10, pp. 396-398.; Медведев, Ф.А. 1959, Первые руководства и монографии по теории множеств, Труды ИИЕТ АН СССР, № 28, С. 237-249.; Архангельский, А.В. 1988, Канторовская теория множеств, Москва: Изд-во МГУ, 112 с.; Fraenkel, A.A. 1953, Abstract set theory. Amsterdam: North-Holland Publishing Company.; Медведев, Ф.А. 1963, Первые работы в России по теории множеств и теории функций действительного переменного, Москва: Изд-во Акад. наук СССР, 16 с.; Полищук, Е.М. 2018, Эмиль Борель 1871–1956. Москва: Либроком, 168 с.; Флоренский, П.А. 1904, О символах бесконечности (Очерк идей Г. Кантора), Новый путь, № 9. С. 173–235 (перепечатано в: Флоренский П.А. Сочинения в 4-х томах. Т. 1. Москва: Мысль. 1994. С. 79–129).; Флоренский, П.А. 1986, Введение к диссертации "Идея прерывности как элемент мировоззрения Историко-математические исследования. Вып. 30, под ред. А.П. Юшкевича, Москва: Наука, С. 159-176.; Демидов, С.С. 2021, На крутых поворотах европейской истории ХХ столетия, Чебышевcкий сборник, Т. 22, Вып. 1, С. 403–412.; Медведев, Ф.А. 1965, Развитие теории множеств в XIX веке, Москва: Наука.; Зайцев, Е.А. 2019, Фёдор Андреевич Медведев (1923–1993), Математика в высшем образовании, 17, С. 81–90.; Медведев, Ф.А. 1974, Развитие понятия интеграла, Москва: Наука.; Медведев, Ф.А. 1975, Очерки истории теории функций действительного переменного, Москва: Наука.; Bazhanov, V.A., Anellis I.H. 2021, Image of soviet and Russian logic in the west. Latter half of the XXth century, Logical Ivestigations, Т. 27, № 2, С. 133-152.; Zaitsev E.A. 1995, In memoriam. Fedor Andreevich Medvedev (1923–1993), Historia Mathematica, 22, pp. 88-92.; Anellis, I.H. 1994, Memories of Medvedev, Modern Logic, 4, pp. 196-206.; Angus, E.T. [Review] 1993, Scenes from the History of Real Functions by Fyodor A. Medvedev, Basel: Birkhauser, 265 p. // AMS Bulletin (n.s.), 28 (1993), pp. 360-367.; https://www.chebsbornik.ru/jour/article/view/1613

Verfügbarkeit: https://www.chebsbornik.ru/jour/article/view/1613
https://doi.org/10.22405/2226-8383-2018-24-4-361-371

optipoly: A Python package for boxed-constrained multi-variable polynomial cost functions optimization

Autoren: Alamir, Mazen GIPSA - Modelling and Optimal Decision for Uncertain Systems (GIPSA-MODUS) GIPSA Pôle Automatique et Diagnostic (GIPSA-PAD) et al.

Weitere Verfasser: Alamir, Mazen GIPSA - Modelling and Optimal Decision for Uncertain Systems (GIPSA-MODUS) GIPSA Pôle Automatique et Diagnostic (GIPSA-PAD) et al.

Quelle: https://hal.science/hal-04776465 ; 2024.

Schlagwörter: Non Linear Programming (NLP), Multi-variate polynomials, box-constraints, local minima, computation time, AMS subject classifications. 26A24, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [STAT.ML]Statistics [stat]/Machine Learning [stat.ML]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2411.05689; ARXIV: 2411.05689

Verfügbarkeit: https://hal.science/hal-04776465
https://hal.science/hal-04776465v1/document
https://hal.science/hal-04776465v1/file/2411.05689v1.pdf

Sequential dimension reduction for learning features of expensive black-box functions

Autoren: BEN SALEM, Malek Bachoc, François Roustant, Olivier et al.

Weitere Verfasser: BEN SALEM, Malek Bachoc, François Roustant, Olivier et al.

Quelle: https://hal.archives-ouvertes.fr/hal-01688329 ; 2019.

Schlagwörter: Surrogate modeling, Bayesian optimization AMS subject classifications 62L05, 62F15, 62K99, Variable selection, Bayesian optimization, Design of experiments, AMS subject classifications.62L05, [STAT.AP]Statistics [stat]/Applications [stat.AP]

Relation: hal-01688329; https://hal.archives-ouvertes.fr/hal-01688329; https://hal.archives-ouvertes.fr/hal-01688329v2/document; https://hal.archives-ouvertes.fr/hal-01688329v2/file/main.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/Ackley20D40iterboxlot.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/Ackley20D40itermean.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/Borhole25Dboxlot.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/Borhole25Dmean.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/Branin25Dboxlot.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/Branin25Dmean.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/harmtann15Dboxlot.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/harmtann15Dmean.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/hartmannbydimnewcolorcode.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/IDEAL_cos2pix2_1.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/IDEAL_cos2pi_constrastxstar.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/IDEAL_cos_krigx1.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/IDEAL_loglik2.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/IDEAL_loglik2bad.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/IDEAL_loglikcos2pi_10_tr.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/legend.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/meancomputingTime.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/Rosenbrock20_5D_largerboxlot.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/Rosenbrock20_5D_largermean.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/rosenbrock_missperc.pdf; https://hal.archives-ouvertes.fr/hal-01688329v2/file/rosenperc_inf_var.pdf

Verfügbarkeit: https://hal.archives-ouvertes.fr/hal-01688329
https://hal.archives-ouvertes.fr/hal-01688329v2/document
https://hal.archives-ouvertes.fr/hal-01688329v2/file/main.pdf
https://hal.archives-ouvertes.fr/hal-01688329v2/file/Ackley20D40iterboxlot.pdf
https://hal.archives-ouvertes.fr/hal-01688329v2/file/Ackley20D40itermean.pdf
https://hal.archives-ouvertes.fr/hal-01688329v2/file/Borhole25Dboxlot.pdf
https://hal.archives-ouvertes.fr/hal-01688329v2/file/Borhole25Dmean.pdf
https://hal.archives-ouvertes.fr/hal-01688329v2/file/Branin25Dboxlot.pdf
https://hal.archives-ouvertes.fr/hal-01688329v2/file/Branin25Dmean.pdf
https://hal.archives-ouvertes.fr/hal-01688329v2/file/harmtann15Dboxlot.pdf

Descartes' rule of signs

Autoren: Cheriha, Hassen Gati, Yousra Petrov, Vladimir et al.

Weitere Verfasser: Cheriha, Hassen Gati, Yousra Petrov, Vladimir et al.

Quelle: ISSN: 0363-1672.

Schlagwörter: real polynomial in one variable, Descartes' rule of signs, sign pattern AMS classification: 26C10, 30C15, [MATH.MATH-CA]Mathematics [math]/Classical Analysis and ODEs [math.CA]

Verfügbarkeit: https://univ-cotedazur.hal.science/hal-03545625
https://univ-cotedazur.hal.science/hal-03545625v1/document
https://univ-cotedazur.hal.science/hal-03545625v1/file/CGK2signch.pdf

Travelers Provides Real-Time Auto Insurance Rates with AMS-Rackley's SETWrite

Autoren: By:NIKKIC

Quelle: Business Wire, April 22, 2004

One Formal And Object Oriented Approach Of The Variable Number Of Working Stations Of Waiting System Of Head Of Line Type

Autoren: Ion Florea The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ion Florea The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.ici.ro/camo/journal/./journal/vol3/v3b3.ps.

Schlagwörter: Key Words, Simulation, Queuing Models, Variable Number of Working Stations, Object Oriented Design, DEVS Model AMS Classication, 60K25, 65C20, 68U20

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.4668; http://www.ici.ro/camo/journal/./journal/vol3/v3b3.ps

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.4668
http://www.ici.ro/camo/journal/./journal/vol3/v3b3.ps

Trace formulas and Zeta functions in Spectral Geometry

Autoren: Lablée, Olivier Institut Fourier (IF) Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )

Weitere Verfasser: Lablée, Olivier Institut Fourier (IF) Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )

Quelle: https://hal.science/hal-01504945 ; 2017.

Schlagwörter: Trace formulas, Spectral geometry, Lenght spectrum, Geodesic flow, Zeta functions, Hyperbolic surfaces, AMS Classification : 11F72, [MATH.MATH-SP]Mathematics [math]/Spectral Theory [math.SP]

Verfügbarkeit: https://hal.science/hal-01504945
https://hal.science/hal-01504945v1/document
https://hal.science/hal-01504945v1/file/TraceFormulas.pdf

LIVING ON THE REAL WORLD : AMS Second-Century Countdown. One Community

Autoren: Hooke, William H.

Quelle: Bulletin of the American Meteorological Society, 2020 Apr 01. 101(4), 334-336.

Zugangs-URL: https://www.jstor.org/stable/27028186

APPLICATION LEINDLER SPACES TO THE REAL INTERPOLATION METHOD

Autoren: Vadim Kuklin The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Vadim Kuklin The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.mat.ub.edu/EMIS/journals/JIPAM/images/071_04_JIPAM/071_04.pdf.

Schlagwörter: Key words and phrases, Leindler sequence space of Fourier- Haar coefficients, Lorentz space, Haar functions, real method spaces

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.390.5539; http://www.mat.ub.edu/EMIS/journals/JIPAM/images/071_04_JIPAM/071_04.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.390.5539
http://www.mat.ub.edu/EMIS/journals/JIPAM/images/071_04_JIPAM/071_04.pdf

On the real projection of the zeros of 1+2^s+.+n^s

Autoren: Dubon, Eric Mora, Gaspar Sepulcre, Juan Matías et al.

Weitere Verfasser: Dubon, Eric Mora, Gaspar Sepulcre, Juan Matías et al.

Quelle: https://hal.archives-ouvertes.fr/hal-00558616 ; 2010.

Schlagwörter: Zeros of entire functions, Exponential polynomials, Almost-periodic functions, Partial sums of the Riemann zeta function, AMS: 30Axx, 30D20, [MATH.MATH-CV]Mathematics [math]/Complex Variables [math.CV]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1102.2767; hal-00558616; https://hal.archives-ouvertes.fr/hal-00558616; https://hal.archives-ouvertes.fr/hal-00558616v2/document; https://hal.archives-ouvertes.fr/hal-00558616v2/file/density_of_zeros.pdf; ARXIV: 1102.2767

Verfügbarkeit: https://hal.archives-ouvertes.fr/hal-00558616
https://hal.archives-ouvertes.fr/hal-00558616v2/document
https://hal.archives-ouvertes.fr/hal-00558616v2/file/density_of_zeros.pdf

Topology and its Applications 103 (2000) 203–219 Darboux-like functions within the classes of Baire one, Baire two

Autoren: Additive Functions I Krzysztof Ciesielski A Jan Jastrzȩbski B et al.

Weitere Verfasser: Additive Functions I Krzysztof Ciesielski A Jan Jastrzȩbski B et al.

Quelle: http://www.math.wvu.edu/~kcies/Other/ElectronicReprints/66.pdf.

Schlagwörter: Extendable, Almost continuous, Connectivity, Additive functions AMS classification, Primary 26A15, 54C30, Secondary 26A21, 54C08

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.7999; http://www.math.wvu.edu/~kcies/Other/ElectronicReprints/66.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.7999
http://www.math.wvu.edu/~kcies/Other/ElectronicReprints/66.pdf

Accumulation points of the sets of real parts of zeros of the partial sums of the Riemann zeta function

Autoren: Mora, Gaspar departamento de analísis matemático Universidad de Alicante

Weitere Verfasser: Mora, Gaspar departamento de analísis matemático Universidad de Alicante

Quelle: https://hal.archives-ouvertes.fr/hal-00907116 ; 2013.

Schlagwörter: Level curves, Zeros of partial sums of the Riemann zeta function, Almost-periodic functions, AMS: 30Axx, 30D05, [MATH.MATH-CV]Mathematics [math]/Complex Variables [math.CV]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1311.5171; hal-00907116; https://hal.archives-ouvertes.fr/hal-00907116; https://hal.archives-ouvertes.fr/hal-00907116/document; https://hal.archives-ouvertes.fr/hal-00907116/file/Accumulation_points_of_the_sets_of_real_parts_of_zeros_of_the_partial_sums_of_the_Riemann_zeta_function__1_.pdf; ARXIV: 1311.5171

Verfügbarkeit: https://hal.archives-ouvertes.fr/hal-00907116
https://hal.archives-ouvertes.fr/hal-00907116/document
https://hal.archives-ouvertes.fr/hal-00907116/file/Accumulation_points_of_the_sets_of_real_parts_of_zeros_of_the_partial_sums_of_the_Riemann_zeta_function__1_.pdf

Advances in Dimension Theory, Fractal Functions and Measures

Autoren: Saurabh Verma María A. Navascués Amit Priyadarshi

Resource Type: eBook.

Schlagworte: Measure theory, Dimension theory (Algebra), Real functions--Functions of one variable--Ite, Measure and integration--Classical measure theor, Dynamical systems and ergodic theory--Smooth dyn, Dynamical systems and ergodic theory--Dynamical, Harmonic analysis on Euclidean spaces--Nontrigon

Categories: MATHEMATICS / Functional Analysis, MATHEMATICS / Geometry / General

Error estimates for a finite volume method for the Laplace equation in dimension one through discrete Green functions.

Autoren: Omnes, Pascal Laboratoire Analyse, Géométrie et Applications (LAGA) Université Paris 8 (UP8)-Université Paris 13 (UP13)-Institut Galilée-Centre National de la Recherche Scientifique (CNRS) et al.

Weitere Verfasser: Omnes, Pascal Laboratoire Analyse, Géométrie et Applications (LAGA) Université Paris 8 (UP8)-Université Paris 13 (UP13)-Institut Galilée-Centre National de la Recherche Scientifique (CNRS) et al.

Quelle: ISSN: 1634-0655 ; International Journal on Finite Volumes ; https://cea.hal.science/cea-00391590 ; International Journal on Finite Volumes, 2009, 6 (1.

Schlagwörter: finite volumes, Laplace equation, error estimates, Green functions, AMS 65N15 65N22 65N30, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]

Verfügbarkeit: https://cea.hal.science/cea-00391590
https://cea.hal.science/cea-00391590v1/document
https://cea.hal.science/cea-00391590v1/file/IJFVomnes_09.pdf

Auxiliary state machines and auxiliary functions: constructs for extending AMS assertions

Autoren: Mukherjee, S Dasgupta, P

Schlagwörter: TA Engineering (General). Civil engineering (General)

Relation: Mukherjee, S; Dasgupta, P (2011) Auxiliary state machines and auxiliary functions: constructs for extending AMS assertions In: 2011 24th Internatioal Conference on VLSI Design, 2-7 January 2011, Chennai, India.

Verfügbarkeit: https://repository.ias.ac.in/101629/
http://ieeexplore.ieee.org/document/5718777/
https://doi.org/10.1109/VLSID.2011.27

Travelers Adds Personal Lines Endorsements To Its AMS TransactNOW Implementation

Autoren: By:DANIEC

Quelle: Business Wire, April 22, 2004