5,725 research outputs found
Southern Adventist University Undergraduate Catalog 2023-2024
Southern Adventist University\u27s undergraduate catalog for the academic year 2023-2024.https://knowledge.e.southern.edu/undergrad_catalog/1123/thumbnail.jp
UMSL Bulletin 2023-2024
The 2023-2024 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1088/thumbnail.jp
Southern Adventist University Undergraduate Catalog 2022-2023
Southern Adventist University\u27s undergraduate catalog for the academic year 2022-2023.https://knowledge.e.southern.edu/undergrad_catalog/1121/thumbnail.jp
2023-2024 Boise State University Undergraduate Catalog
This catalog is primarily for and directed at students. However, it serves many audiences, such as high school counselors, academic advisors, and the public. In this catalog you will find an overview of Boise State University and information on admission, registration, grades, tuition and fees, financial aid, housing, student services, and other important policies and procedures. However, most of this catalog is devoted to describing the various programs and courses offered at Boise State
Producción científica en educación relacionada con la legislación y la administración: un análisis cienciométrico
Contenido de la investigación: El objetivo general de esta investigación fue analizar la producción sobre legislación y educación en la categoría " Business, Management and Accounting" a través de un estudio cienciométrico de las publicaciones indexadas en la base de datos de SCOPUS. Las hipótesis fueron que los artículos de investigación en legislación y educación en la categoría Negocios, Gestión y Contabilidad en las revistas indexadas en SCOPUS en el período de estudio verifican las principales leyes cienciométricas: Lotka y Bradford y que la colaboración entre autores en esta producción científica es principalmente de carácter local o nacional. El objetivo general fue desglosado en 6 objetivos específicos: El primer objetivo fue conocer el desarrollo diacrónico de la producción científica en educación relacionada con la legislación e indexada en SCOPUS (Business, Management and Accounting). Toda la producción se encontró en el período entre 1970 y 2019, mientras que ha habido un aumento gradual en el volumen de producción hasta el año 2002, alcanzando el pico máximo en 2002, pero desde entonces, ha habido una disminución. Además, no hubo un patrón de crecimiento continuo, sino que se evidencian diversas fluctuaciones. Al principio del periodo estudiado, no se encontró producción durante cuatro años seguidos y entre 1999 y 2000 se ha producido un descenso de la producción, con una Tasa de Variación Interanual (TVI) negativa igual a -47, y en 2008, con una Tasa de Variación Interanual (TVI) negativa igual a -45, mientras que la TVI positiva más alta (sin tener en cuenta el incremento de 1975, ya que hubo 4 años sin producción) se alcanzó en 2001 con un valor de 207. En general, se ha pasado de producir 36 documentos en 1975 a 1052 en 2020; es decir, se trata de un incremento porcentual del 4072%. La media de documentos publicados es de 711 al año. En cuanto a la tasa anual de cambio, la tasa más alta se ha identificado en 1975, seguida de 1978. Comparando nuestro resultado con los resultados de Lopera-Pérez et al (2021), quienes realizaron un análisis bibliométrico de la producción científica internacional sobre Educación Ambiental en la Web of Science (WoS) dentro de las categorías Educación e Investigación Educativa y Educación, Disciplinas Científicas para las últimas dos décadas (2000-2019). Sus resultados mostraron el acelerado incremento de la producción de conocimiento en esta área, y presentan los principales contextos de investigación, así como algunas perspectivas educativas y de investigación. Dichos resultados contrastan con los nuestros, ya que encontramos una disminución de la producción desde 2002. En la misma línea, Gantman y Fernández (2017) analizaron la producción de literatura académica en español sobre estudios de organización y gestión entre 2000 y 2010 indexada en el Catálogo Latindex. El segundo objetivo consistió en describir e identificar las diferentes relaciones de redes de conocimiento que se generan. Se encontró que existe una colaboración relativamente baja (1,7) en la autoría en esta área, pero esta situación ha ido cambiando con los años. La colaboración entre autores y universidades fue identificada por Lopera-Pérez et al (2021), lo cual coincide con nuestros resultados, ya que se encontró que la colaboración comenzó a despegar y su incremento es notorio a partir del año 2008. El tercer objetivo consistió en visualizar las redes de colaboración nacionales e internacionales, tanto a nivel de autoría como a nivel institucional, e identificar patrones de colaboración. Este objetivo se responde en el apartado 6.1.6, donde se ha constatado que la mayoría han sido de autoría única, y los firmados por dos o tres autores representan un tercio del total. El patrón de autoría ha sufrido cambios en el periodo, pasando de un inicio en 1975 con predominancia en la publicación de documentos con autoría única frente a los de autoría múltiple hasta invertir la relación en 2019. El cuarto objetivo consistió en identificar los patrones de citación y colaboración. El análisis de las citas en las revistas analizadas indicó que el 39,7% de la producción no había recibido ninguna cita. Del total de documentos citados, el 12,6% sólo han sido citados una vez, y el 8,3% dos veces. El artículo más citado tiene 855 citas. Además, en cuanto a los años en los que se han realizado estas citas, el mayor porcentaje fue en 2003 con 944 citas, seguido de 2007 con 905 citas. En cuanto a los patrones de colaboración, al analizar en detalle el número de autores, se encontró que el 58,21% fueron de autoría única, y los firmados por dos o tres autores representaron el 34,37% del total. La media anual de los documentos sin colaboración resultó estar por encima de la media, lo que podría inducir que hay casi igualdad entre los documentos sin colaboración y los que sí la tienen. Sin embargo, este valor se debe en gran medida a los primeros años dentro del rango de estudio. La colaboración comenzó a despuntar y su aumento es notable a partir del año 2008. Por último, se determinaron los valores de los tres indicadores de colaboración más frecuentes en la literatura. Así, el grado de colaboración en el periodo es DC =0,66. El valor mínimo se produjo en 2002 y el máximo en 1970. Este valor fue casi similar al obtenido por las revistas de educación publicadas en Brasil (0,636) (Madrid, et al, 2017) y cercano al encontrado para el GD (0,75) en las publicaciones científicas colombianas en SciELO (Maz-Machado, Jiménez-Fanjul y Villarraga-Rico, 2016). Sin embargo, fue superior al encontrado para las categorías SSCI Demografía (0,605) y Estudios Urbanos (0,591) (Maz-Machado y Jiménez-Fanjul, 2018). El quinto objetivo consistió en establecer valores para los indicadores de la dimensión cuantitativa de la producción científica sobre el tema. A este objetivo se responde en el apartado 6.2.1 y 6.2.2. Se verificó la Ley de Bradford con las revistas que conforman el núcleo de Bradford siendo Chronicle of Higher Education y Journal of Management Education y estas dos acumulan 11526 documentos. Además, se verificó la ley de Lotka para el conjunto de autores que publicaron en las revistas objeto de estudio. El sexto y último objetivo fue identificar los temas abordados. Este objetivo se responde en el apartado 6.1.8. Se comprobó que los temas estaban relacionados con Gestión y Liderazgo en Educación, Educación Infantil, Educación Superior, Marketing en Educación, Educación Contable, Educación y Trabajo, Educación Turística, Educación en Salud Mental y Educación en Organización Industrial. Conclusión: Se ha realizado un análisis cienciométrico de la producción científica Business, Management and Accounting indexada en Scopus, donde se ha constatado los cambios sustanciales durante el periodo analizado desde 1970 hasta 2019, tanto a nivel de producción, como de colaboración entre autores y universidades, así como un análisis de la dimensión cuantitativa de la producción verificando leyes habituales en un estudio de estas características como la Ley de Bradford, Lotka y Bradford
Lessons from Formally Verified Deployed Software Systems (Extended version)
The technology of formal software verification has made spectacular advances,
but how much does it actually benefit the development of practical software?
Considerable disagreement remains about the practicality of building systems
with mechanically-checked proofs of correctness. Is this prospect confined to a
few expensive, life-critical projects, or can the idea be applied to a wide
segment of the software industry?
To help answer this question, the present survey examines a range of
projects, in various application areas, that have produced formally verified
systems and deployed them for actual use. It considers the technologies used,
the form of verification applied, the results obtained, and the lessons that
can be drawn for the software industry at large and its ability to benefit from
formal verification techniques and tools.
Note: a short version of this paper is also available, covering in detail
only a subset of the considered systems. The present version is intended for
full reference.Comment: arXiv admin note: text overlap with arXiv:1211.6186 by other author
Managed Campaigns and Data-Augmented Auctions for Digital Advertising
We develop an auction model for digital advertising. A monopoly platform has access to data on the value of the match between advertisers and consumers. The platform support bidding with additional information and increase the feasible surplus for on-platform matches. Advertisers jointly determine their pricing strategy both on and off the platform, as well as their bidding for digital advertising on the platform. We compare a data-augmented second-price auction and a managed campaign mechanism. In the data-augmented auction, the bids by the advertisers are informed by the data of the platform regarding the value of the match. This results in a socially efficient allocation on the platform, but the advertisers increase their product prices off the platform to be more competitive on the platform. In consequence, the allocation off the platform is inefficient due to excessively high product prices. The managed campaign mechanism allows advertisers to submit budgets that are then transformed into matches and prices through an autobidding algorithm. Com-pared to the data-augmented second-price auction, the optimal managed campaign mechanism increases the revenue of the digital platform. The product prices off the platform increase and the consumer surplus decreases
Evaluating The Impact Of Electricity And Electron Movement On The Electric Grid From Distributed Generation
The United States’ electric grid is currently undergoing a monumental energy transition involving the incorporation of new fuel sources, generation types, and operational modifications. Since 1920, the U.S. energy collective has been overseen by the Federal Energy Regulatory Commission (FERC), where during this tenure they have pursued the direct regulation of Distributed Energy Resources (DERs). This reasoning has been utilized over 300 times in federal cases and proceedings as the adoption rate of DERs has increased, which is based upon the language allowing the federal regulation of electricity based upon the flow of electrons. This is based solely upon the understanding that electrons flow in one direction in an alternating current environment. This problem presents an opportunity to determine electron behavior comparatively in direct and alternating current environments, and thus settling this energy policy debate. The Quantum Movement Theory was established in 2023 to provide definition to quantify electron movement in specific environments. This theory established two equations that define the amount of electrons moved and the magnitude of their distance. The application of the Quantum Movement Theory demonstrates that electrons do not flow but oscillate in an alternating current environment. This outcome accomplishes more than a regulatory disagreement, but rather contributes towards decarbonization, technological innovations, and increased energy security
- …