Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Differential Equations, Mathematical Modeling and Computational Algorithms : DEMMCA 2021, Belgorod, Russia, October 25–29 / Vladimir Vasilyev editor
| Differential Equations, Mathematical Modeling and Computational Algorithms : DEMMCA 2021, Belgorod, Russia, October 25–29 / Vladimir Vasilyev editor |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | viii, 298 p. : ill. ; 24 cm |
| Soggetto topico |
00A71 - General theory of mathematical modeling [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 35-XX - Partial differential equations [MSC 2020] 65-XX - Numerical analysis [MSC 2020] |
| Soggetto non controllato |
Boundary value problem
Differential equations Modeling and simulation Numerical methods Solvability conditions |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00278780 |
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of research on driving STEM learning with educational technologies / / Mar�ia-Soledad Ram�irez-Montoya, Technologico de Monterrey, Mexico
| Handbook of research on driving STEM learning with educational technologies / / Mar�ia-Soledad Ram�irez-Montoya, Technologico de Monterrey, Mexico |
| Autore | Ramírez Montoya María Soledad |
| Pubbl/distr/stampa | Hershey, Pennsylvania : , : Information Science Reference, , [2017] |
| Descrizione fisica | 1 online resource (xxx, 590 pages) : illustrations |
| Disciplina | 507.1 |
| Collana | Advances in Educational Technologies and Instructional Design |
| Soggetto topico |
Science - Study and teaching - United States
Technology - Study and teaching - United States Engineering - Study and teaching - United States Mathematics - Study and teaching - United States Educational technology - United States |
| Soggetto non controllato |
Argumentation schema
Computer-aided assessment Data literacy Financial literacy Mathematical competences Modeling and simulation Scientific reasoning analysis Situated learning Student motivation |
| ISBN |
9781522520276
9781522520269 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Training educational researchers in science and mathematics: a case study through a binational workshop Mexico-UK / María-Soledad Ramírez-Montoya -- Using modeling and simulation to learn mathematics / Ruth Rodríguez Gallegos -- Teachers and mathematical modeling: what are the challenges? / Samantha Analuz Quiroz Rivera, Ruth Rodríguez Gallegos -- Data literacy and citizenship: understanding 'big data' to boost teaching and learning in science and mathematics / Eddy L. Borges-Rey -- Financial literacy: gaps found between Mexican public and private, middle, and high-school students / Adriana Berenice Valencia Álvarez, Jaime Ricardo Valenzuela González -- A project-based learning approach: developing mathematical competences in engineering students / Ismael Osuna Galan, Alejandro Miguel Rosas-Mendoza -- Didactic sequences teaching mathematics for engineers with focus on differential equations / Luis Ramón Siero González, Avenilde Romo Vázquez -- Making links between solutions to an unstructured problem: the role of pre-written, designed student responses / Sheila Evans -- Assessing authentic intellectual work in mathematics tasks / Lesly Yahaira Rodríguez Martínez, María Guadalupe Pérez Martínez, Adriana Mercado Salas -- The importance of the disciplinary perspective in educational research / Ross Kerr Galloway, Paul Hernandez-Martinez -- Learning biology with situated learning in Mexican Zapoteca tele-secondary schools / Paulina Guerrero-Gutiérrez --
Transformations of the concept of linear function in technological high schools / Rebeca Flores Garcia -- Measurement instruments to motivate scientific learning by conceptual change / Ana Marcela Monjardín Gopar, Gerónimo Mendoza Meraz -- Test design to assess the qualities of science students' prior knowledge / Luis Hernán Arellano Ulloa, Gerónimo Mendoza Meraz, Ana Cecilia Villarreal Ballesteros -- Argumentation schema to analyze high school students' scientific reasoning / Ricardo Lorenzo De la Garza, Genaro Zavala, Alma Adrianna Gómez Galindo -- Accurate items for inaccurate conceptions in undergraduate physics students / Eder Hernandez, Genaro Zavala -- A look into students' interpretation of electric field lines / Esmeralda Campos, Genaro Zavala -- Research-based strategies in an electric circuits lab: tutorials and realtime physics approaches / Monica Quezada-Espinoza, Genaro Zavala -- Integration of digital technologies: collaborative practices in teaching mathematics / Andrés Vázquez Faustino -- The effectiveness of computer-aided assessment for the purposes of a mathematical sciences lecturer / Stephen James Broughton, Paul Hernandez-Martinez, Carol L. Robinson -- Construction of the definite integral concept using open source software / Lizzeth Aurora Navarro-Ibarra, Omar Cuevas-Salazar, Alan Daniel Robles-Aguilar -- Context as action in the teaching of statistical concepts: an activity theory perspective / Helen Harth -- Statistics in journalism practice and higher education / Jairo A. Lugo-Ocando -- Understanding quality of statistics in news stories: a theoretical approach from the audience's perspective / Alessandro Martinisi -- The uses of science statistics in the news media and on daily life / Renata Faria Brandao. |
| Record Nr. | UNINA-9910164054203321 |
Ramírez Montoya María Soledad
|
||
| Hershey, Pennsylvania : , : Information Science Reference, , [2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pyomo - Optimization Modeling in Python / Michael L. Bynum ... [et al.]
| Pyomo - Optimization Modeling in Python / Michael L. Bynum ... [et al.] |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xvii, 225 p. : ill. ; 24 cm |
| Soggetto topico |
90C90 - Applications of mathematical programming [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 00A71 - General theory of mathematical modeling [MSC 2020] 68N15 - Theory of programming languages [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algebraic modeling languages
Hybrid optimization Mathematical modeling tool Matplotlib Modeling and simulation NumPy PySP Pyomo modeling library Pyomo tutorial Python data Python optimization Python script SciPy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0275136 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Pyomo - Optimization Modeling in Python / Michael L. Bynum ... [et al.]
| Pyomo - Optimization Modeling in Python / Michael L. Bynum ... [et al.] |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xvii, 225 p. : ill. ; 24 cm |
| Soggetto topico |
00A71 - General theory of mathematical modeling [MSC 2020]
68N15 - Theory of programming languages [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C90 - Applications of mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algebraic modeling languages
Hybrid optimization Mathematical modeling tool Matplotlib Modeling and simulation NumPy PySP Pyomo modeling library Pyomo tutorial Python data Python optimization Python script SciPy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00275136 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Pyomo - Optimization Modeling in Python / William E. Hart ... [et al.]
| Pyomo - Optimization Modeling in Python / William E. Hart ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xviii, 277 p. : ill. ; 24 cm |
| Soggetto topico |
90C90 - Applications of mathematical programming [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] 00A71 - General theory of mathematical modeling [MSC 2020] 68N15 - Theory of programming languages [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algebraic modeling languages
Hybrid optimization Mathematical modeling tool Matplotlib Modeling and simulation NumPy PySP Pyomo modeling library Pyomo tutorial Python data Python optimization Python script SciPy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123512 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Pyomo - Optimization Modeling in Python / William E. Hart ... [et al.]
| Pyomo - Optimization Modeling in Python / William E. Hart ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xviii, 277 p. : ill. ; 24 cm |
| Soggetto topico |
00A71 - General theory of mathematical modeling [MSC 2020]
68N15 - Theory of programming languages [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C90 - Applications of mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algebraic modeling languages
Hybrid optimization Mathematical modeling tool Matplotlib Modeling and simulation NumPy PySP Pyomo modeling library Pyomo tutorial Python data Python optimization Python script SciPy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00123512 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II
| Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II |
| Autore | Fisman Dana |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xxi, 493 pages) : illustrations |
| Altri autori (Persone) |
FismanDana
RosuGrigore |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Verification
System analysis System design |
| Soggetto non controllato |
embedded systems
formal languages and automata theory Formal methods and theory of security Machine learning Modeling and simulation Semantics and reasoning software and hardware verification specification and verification techniques static and dynamic program analysis Symbolic and algebraic manipulation system construction and transformation techniques |
| ISBN | 3-030-99527-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464553903316 |
|
Fisman Dana
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / editors, Dana Fisman, Grigore Rosu
| Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / editors, Dana Fisman, Grigore Rosu |
| Autore | Fisman Dana |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xxii, 583 pages) : illustrations |
| Altri autori (Persone) |
FismanDana
RosuGrigore |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Verification
System analysis System design |
| Soggetto non controllato |
formal languages and automata theory
Formal methods and theory of security Machine learning Modeling and simulation Semantics and reasoning signal processing software and hardware verification specification and verification techniques Symbolic and algebraic manipulation system construction and transformation techniques |
| ISBN | 3-030-99524-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464536603316 |
|
Fisman Dana
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||