The document discusses computational social science and the interactions-based approach taken by physicists to study collective phenomena emerging from interactions between individuals in complex socio-technological systems. It provides examples of case studies on networks and cooperation, experiments on non-human primates to study hierarchy and cooperation, and efforts to classify human behaviors into phenotypes based on actions in social dilemmas.
Presentación utilizada por por Anxo Sanchez (@anxosan) en la segunda sesión del Curso de Introducción a los Sistemas organizado por la Fundacion Sicomoro y Complejimad
Presentación utilizada por Anxo Sanchez (@anxosan) en la primera sesión del Curso de Introducción a los Sistemas Complejos de la Fundacion Sicomoro y ComplejiMad
Presentación utilizada por por Anxo Sanchez (@anxosan) en la segunda sesión del Curso de Introducción a los Sistemas organizado por la Fundacion Sicomoro y Complejimad
Presentación utilizada por Anxo Sanchez (@anxosan) en la primera sesión del Curso de Introducción a los Sistemas Complejos de la Fundacion Sicomoro y ComplejiMad
Heterogeneity in biological populations, from cancer to ecological systems, is ubiquitous. Despite this knowledge, current mathematical models in population biology often do
not account for inter-individual heterogeneity. In systems such as cancer, this means assuming cellular homogeneity and deterministic phenotypes, despite the fact that heterogeneity is thought to play a role in therapy resistance. Glioblastoma Multiforme (GBM) is an aggressive and fatal form of brain cancer notoriously difficult to predict and treat due to its heterogeneous nature. In this talk, I will discuss several approaches I have developed towards incorporating and
estimating cellular heterogeneity in partial differential equation (PDE) models of GBM growth.
Environmental Science Essay
Scientific Method Step Essay
Science Essay
Scientific Theory Essay
Essay on Forensic Science
Forensic Science Essay example
scientific literacy Essay
Scientific Method
Is Psychology a Science? Essay
The Scientific Method Essay
My Passion For Science
Ciência de Dados: definição, desafios de modelagem e aplicações multidiscipli...luizcelsojr
A palestra descreve a área de Ciência de Dados e dá exemplos de diversas aplicações multi-modelos (tabelas, texto e grafos) e multi-disciplinares (biologia, enfermagem, educação).
This document discusses how mathematics can be applied to solve problems in various fields. It provides examples of how statistics, graph theory, and other areas of mathematics are used by investigators to solve crimes. Other fields that apply mathematics include forensic science, medicine, computer science, cryptography, archaeology, and social/political sciences. The document also discusses how mathematics can help organizations analyze data to make informed decisions, and how mathematical models can be used to make predictions about events and phenomena by identifying patterns. Specific examples discussed include using customer data to improve sales, plotting bird migration routes to aid conservation, and analyzing social media posts to understand public sentiment.
The author examines three studies on the effects of human destruction of habitats on plant and animal populations. The major findings from the studies were unexpected and did not support the author's hypothesis that the species would adapt and thrive. Many species did not survive the changes to their habitats caused by deforestation. The results showed population losses, particularly among larger animal species. The author concludes that plant and animal life is not as resilient to habitat destruction as initially hypothesized.
Open Data in a Big Data World: easy to say, but hard to do?LEARN Project
Presentation at 3rd LEARN workshop on Research Data Management, “Make research data management policies work”
Helsinki, 28 June 2016, by Sarah Callaghan, STFC Rutherford Appleton Laboratory
How to use science maps to navigate large information spaces? What is the lin...Andrea Scharnhorst
A. Scharnhorst (2016) Wie können Wissenschaftskarten zur Suche in grossen Informationsräumen eingesetzt werden? How to use science maps to navigate large information spaces? What is the link between science maps and predictive models of science? Invited lecture Fraunhofer-Institut für Naturwissenschaftlich-Technische Trendanalysen, Euskirchen, Germany, December 7, 2016
AI should be Fair, Accountable and Transparent (FAT* AI), hence it's crucial to raise awareness among these topics not only among machine learning practitioners but among the entire population, as ML systems can take life-changing decisions and influence our lives now more than ever.
Presentation to CRC Mental Health Early Career Researcher Workshop, Melbourne 29.11.17 for @andsdata.
Workshop title: A by-product of scientific training: We're all a little bit biased.
Dr Manuel Maass (National Autonomous University of Mexico) presenting at the ...TERN Australia
The document discusses long-term socioecological research and the need for a transdisciplinary approach. It provides an overview of the International Long Term Ecological Research Network (ILTER) and its focus on long-term monitoring of sites, data sharing standards, and detecting global trends. The document argues that purely interdisciplinary research is not sufficient and a transdisciplinary approach is needed where researchers work directly with different knowledge sources, including local communities, to address sustainability challenges.
Mathematics, Sustainability, and a Bridge to Decision Sup.docxaryan532920
Mathematics, Sustainability, and a Bridge to Decision Support
Author(s): Mary Lou Zeeman
Source: The College Mathematics Journal, Vol. 44, No. 5 (November 2013), pp. 346-349
Published by: Mathematical Association of America
Stable URL: http://www.jstor.org/stable/10.4169/college.math.j.44.5.346
Accessed: 18-02-2017 18:37 UTC
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted
digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about
JSTOR, please contact [email protected]
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at
http://about.jstor.org/terms
Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access
to The College Mathematics Journal
This content downloaded from 108.231.10.130 on Sat, 18 Feb 2017 18:37:17 UTC
All use subject to http://about.jstor.org/terms
GUEST EDITORIAL
Mathematics, Sustainability, and a Bridge to
Decision Support
Mary Lou Zeeman
Mary Lou Zeeman ([email protected]) is the Wells
Johnson Professor of Mathematics at Bowdoin College.
She received her Ph.D. at Berkeley, worked at U. T. San
Antonio for 15 years, and has held postdocs at the IMA and
MIT, as well as visiting positions at Michigan and Cornell.
Her research interests include dynamical systems,
population dynamics and fisheries, neuroscience,
endocrinology, and climate science. Zeeman is also
involved in several interdisciplinary initiatives focused on
the health of the planet. She co-directs the Mathematics
and Climate Research Network, which links researchers
across the U.S. and beyond to develop the mathematics
needed to better understand the earth’s climate
(http://www.mathclimate.org). She helped found the
Institute for Computational Sustainability based at Cornell
University, and she is on the organizational team of the
Mathematics of Planet Earth 2013 initiative.
The Mathematics of Planet Earth. Scientific societies, universities, and organi-
zations around the world have come together this year to focus attention on the Math-
ematics of Planet Earth (MPE 2013). The MPE web portal [6] lists research programs,
curriculum materials, public events, hosts a daily blog, and more. The initiative con-
tinues beyond 2013, so please keep sending events and ideas to the portal. This issue
of The College Mathematics Journal, part of the MPE initiative, has articles that il-
lustrate all four MPE themes: a planet to discover; a planet supporting life; a planet
organized by humans; and a planet at risk. All four are essential for understanding our
changing climate and addressing our pressing sustainability challenges. We are used to
the idea that mathematically-rich subjects such as statistics, economics, engineering,
and climate science have a role to play in supporting ...
Hierarchical clustering of multi class data (the zoo dataset)Raid Mahbouba
Data mining project
The main goal of this study is to group 101 animals into their natural family types using various features of animals and by utilizing Hierarchical clustering algorithm which is one of the unsupervised learning algorithms.
Heterogeneity in biological populations, from cancer to ecological systems, is ubiquitous. Despite this knowledge, current mathematical models in population biology often do
not account for inter-individual heterogeneity. In systems such as cancer, this means assuming cellular homogeneity and deterministic phenotypes, despite the fact that heterogeneity is thought to play a role in therapy resistance. Glioblastoma Multiforme (GBM) is an aggressive and fatal form of brain cancer notoriously difficult to predict and treat due to its heterogeneous nature. In this talk, I will discuss several approaches I have developed towards incorporating and
estimating cellular heterogeneity in partial differential equation (PDE) models of GBM growth.
Environmental Science Essay
Scientific Method Step Essay
Science Essay
Scientific Theory Essay
Essay on Forensic Science
Forensic Science Essay example
scientific literacy Essay
Scientific Method
Is Psychology a Science? Essay
The Scientific Method Essay
My Passion For Science
Ciência de Dados: definição, desafios de modelagem e aplicações multidiscipli...luizcelsojr
A palestra descreve a área de Ciência de Dados e dá exemplos de diversas aplicações multi-modelos (tabelas, texto e grafos) e multi-disciplinares (biologia, enfermagem, educação).
This document discusses how mathematics can be applied to solve problems in various fields. It provides examples of how statistics, graph theory, and other areas of mathematics are used by investigators to solve crimes. Other fields that apply mathematics include forensic science, medicine, computer science, cryptography, archaeology, and social/political sciences. The document also discusses how mathematics can help organizations analyze data to make informed decisions, and how mathematical models can be used to make predictions about events and phenomena by identifying patterns. Specific examples discussed include using customer data to improve sales, plotting bird migration routes to aid conservation, and analyzing social media posts to understand public sentiment.
The author examines three studies on the effects of human destruction of habitats on plant and animal populations. The major findings from the studies were unexpected and did not support the author's hypothesis that the species would adapt and thrive. Many species did not survive the changes to their habitats caused by deforestation. The results showed population losses, particularly among larger animal species. The author concludes that plant and animal life is not as resilient to habitat destruction as initially hypothesized.
Open Data in a Big Data World: easy to say, but hard to do?LEARN Project
Presentation at 3rd LEARN workshop on Research Data Management, “Make research data management policies work”
Helsinki, 28 June 2016, by Sarah Callaghan, STFC Rutherford Appleton Laboratory
How to use science maps to navigate large information spaces? What is the lin...Andrea Scharnhorst
A. Scharnhorst (2016) Wie können Wissenschaftskarten zur Suche in grossen Informationsräumen eingesetzt werden? How to use science maps to navigate large information spaces? What is the link between science maps and predictive models of science? Invited lecture Fraunhofer-Institut für Naturwissenschaftlich-Technische Trendanalysen, Euskirchen, Germany, December 7, 2016
AI should be Fair, Accountable and Transparent (FAT* AI), hence it's crucial to raise awareness among these topics not only among machine learning practitioners but among the entire population, as ML systems can take life-changing decisions and influence our lives now more than ever.
Presentation to CRC Mental Health Early Career Researcher Workshop, Melbourne 29.11.17 for @andsdata.
Workshop title: A by-product of scientific training: We're all a little bit biased.
Dr Manuel Maass (National Autonomous University of Mexico) presenting at the ...TERN Australia
The document discusses long-term socioecological research and the need for a transdisciplinary approach. It provides an overview of the International Long Term Ecological Research Network (ILTER) and its focus on long-term monitoring of sites, data sharing standards, and detecting global trends. The document argues that purely interdisciplinary research is not sufficient and a transdisciplinary approach is needed where researchers work directly with different knowledge sources, including local communities, to address sustainability challenges.
Mathematics, Sustainability, and a Bridge to Decision Sup.docxaryan532920
Mathematics, Sustainability, and a Bridge to Decision Support
Author(s): Mary Lou Zeeman
Source: The College Mathematics Journal, Vol. 44, No. 5 (November 2013), pp. 346-349
Published by: Mathematical Association of America
Stable URL: http://www.jstor.org/stable/10.4169/college.math.j.44.5.346
Accessed: 18-02-2017 18:37 UTC
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted
digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about
JSTOR, please contact [email protected]
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at
http://about.jstor.org/terms
Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access
to The College Mathematics Journal
This content downloaded from 108.231.10.130 on Sat, 18 Feb 2017 18:37:17 UTC
All use subject to http://about.jstor.org/terms
GUEST EDITORIAL
Mathematics, Sustainability, and a Bridge to
Decision Support
Mary Lou Zeeman
Mary Lou Zeeman ([email protected]) is the Wells
Johnson Professor of Mathematics at Bowdoin College.
She received her Ph.D. at Berkeley, worked at U. T. San
Antonio for 15 years, and has held postdocs at the IMA and
MIT, as well as visiting positions at Michigan and Cornell.
Her research interests include dynamical systems,
population dynamics and fisheries, neuroscience,
endocrinology, and climate science. Zeeman is also
involved in several interdisciplinary initiatives focused on
the health of the planet. She co-directs the Mathematics
and Climate Research Network, which links researchers
across the U.S. and beyond to develop the mathematics
needed to better understand the earth’s climate
(http://www.mathclimate.org). She helped found the
Institute for Computational Sustainability based at Cornell
University, and she is on the organizational team of the
Mathematics of Planet Earth 2013 initiative.
The Mathematics of Planet Earth. Scientific societies, universities, and organi-
zations around the world have come together this year to focus attention on the Math-
ematics of Planet Earth (MPE 2013). The MPE web portal [6] lists research programs,
curriculum materials, public events, hosts a daily blog, and more. The initiative con-
tinues beyond 2013, so please keep sending events and ideas to the portal. This issue
of The College Mathematics Journal, part of the MPE initiative, has articles that il-
lustrate all four MPE themes: a planet to discover; a planet supporting life; a planet
organized by humans; and a planet at risk. All four are essential for understanding our
changing climate and addressing our pressing sustainability challenges. We are used to
the idea that mathematically-rich subjects such as statistics, economics, engineering,
and climate science have a role to play in supporting ...
Hierarchical clustering of multi class data (the zoo dataset)Raid Mahbouba
Data mining project
The main goal of this study is to group 101 animals into their natural family types using various features of animals and by utilizing Hierarchical clustering algorithm which is one of the unsupervised learning algorithms.
On community-standards, data curation and scholarly communication" Stanford M...Susanna-Assunta Sansone
This document discusses content standards for better describing scientific data. It notes that while some common features exist across domains, descriptions of experimental context are often inconsistent or duplicated. The author advocates for community-developed content standards to structure, enrich and report dataset descriptions and their experimental context to facilitate discovery, sharing, understanding and reuse of data. Standards should include minimum reporting requirements, controlled vocabularies and conceptual models to allow data to flow between systems. This will help enable better science from better described data.
This document discusses the importance of understanding the components of scientific research. It explains that exploratory research involves case studies, content analysis, and archival research. A case study is a concentrated focus on a specific topic or person, group, or entity that holds a rare quality. Case studies are used to study how things progress over time. The document also discusses that positionality, which refers to one's worldview, impacts the type of research selected and methodologies chosen. Factors like one's background, beliefs, and characteristics shape positionality and therefore influence the research process.
Addressing the Crisis in Science: Role of the Youth in the Open Science MovementArul Scaria
This document summarizes the key findings of a survey conducted on 249 researchers from top institutions in India across 5 disciplines (Economics, Law, Mechanical Engineering, Medicine, and Physics). The survey looked at researchers' practices and attitudes toward open science. Some of the main findings include:
- The majority of researchers across disciplines have used openly available publications for their research. However, sharing of publications and data is more limited, with many researchers only sharing with close colleagues.
- Lack of open access policies or repositories in their fields, inability to pay publication fees, and lack of awareness are among the top factors discouraging open access publishing and data sharing.
- Impact factor and journal reputation are very important factors
Reproducibility and Scientific Research: why, what, where, when, who, how Carole Goble
This document discusses the importance of reproducibility in scientific research. It makes three key points:
1. For results to be considered valid, scientific publications should provide clear descriptions of methods and protocols so that other researchers can successfully repeat and extend the work.
2. Many factors can undermine reproducibility, such as publication pressures, poor training, disorganization, and outright fraud. Ensuring reproducible research requires transparency across experimental designs, data, software, and computational workflows.
3. Achieving reproducible science is challenging and poorly incentivized due to the resources and time required to prepare materials for independent verification. Overcoming these issues will require collective effort across the research community.
This document discusses how biology and computer science are converging. It describes how cells can be viewed as complex circuits similar to computers, and how tools from computer science like algorithms, machine learning and networks can be applied to analyze biological data and systems. The amount of biological data being generated through sequencing is rapidly increasing and exceeding what can be analyzed through traditional methods, necessitating computational approaches. Systems biology aims to computationally model biological networks and circuits to better understand organismal function.
Neuro Quantology is an international, interdisciplinary, open-access, peer-reviewed journal that publishes original research and review articles on the interface between quantum physics and neuroscience. The journal focuses on the exploration of the neural mechanisms underlying consciousness, cognition, perception, and behavior from a quantum perspective. Neuro Quantology is published monthly.
Effects of Network Structure, Competition and Memory Time on Social Spreading...James Gleeson
Talk at the Computational Social Science workshop at the Conference on Complex Systems #CCS16, Amsterdam, 21 Sep 2016, http://cssworkshop.oii.ox.ac.uk/
Similar to Ciencia social computacional: Interacción entre personas y sistemas complejos socio-tecnológicos - Prof. Anxo Sánchez (20)
"El álgebra lineal es una herramienta fundamental en muchos campos de la ciencia y la tecnología. Es particularmente importante en la física, la ingeniería, la informática y la estadística. La capacidad de manipular eficientemente grandes cantidades de datos y matrices complejas es esencial en estas áreas para la resolución de problemas y la toma de decisiones.
A priori, puede dar la sensación de que estamos muy lejos del uso del álgebra lineal en nuestro día a día. Sin embargo, algunas técnicas como la descomposición en valores singulares y la regresión lineal para entrenar modelos y hacer predicciones precisas están detrás de la inteligencia artificial y el aprendizaje automático. ¿Te suena ChatGPT? Puede no parecerlo, pero el álgebra lineal también está detrás en algunos de sus procesos. Por este motivo, debemos seguir trabajando en este campo, ya que su importancia seguirá creciendo a medida que se generen y analicen grandes cantidades de datos en el mundo actual.
"
La pandemia de COVID-19 ha supuesto una proliferación de mapas y contramapas. Por ello, organizaciones de la sociedad civil y movimientos sociales han generado sus propias interpretaciones y representaciones de los datos sobre la crisis. Estos también han contribuido a visibilizar aspectos, sujetos y temas que han sido desatendidos o infrarrepresentados en las visualizaciones hegemónicas y dominantes. En este contexto, la presente ponencia se centra en el análisis de los imaginarios sociales relacionados con la elaboración de mapas durante la pandemia. Es decir, trata de indagar en la importancia de los mapas para el activismo digital, las potencialidades que se extraen de esta tecnología y los valores asociados a las visualizaciones creadas con ellos. El objetivo último es reflexionar sobre la vía emergente del activismo de datos, así como sobre la intersección entre los imaginarios sociales y la geografía digital.
Designing RISC-V-based Accelerators for next generation Computers (DRAC) is a 3-year project (2019-2022) funded by the ERDF Operational Program of Catalonia 2014-2020. DRAC will design, verify, implement and fabricate a high performance general purpose processor that will incorporate different accelerators based on the RISC-V technology, with specific applications in the field of post-quantum security, genomics and autonomous navigation. In this talk, we will provide an overview of the main achievements in the DRAC project, including the fabrication of Lagarto, the first RISC-V processor developed in Spain.
This talk will begin introducing the uElectronics section of ESA at ESTEC and the general activities the group is responsible for. Then, it will go through some of the R+D on-going activities that the group is involved with, hand in hand with universities and/or companies. One of the major ones is related to the European rad-hard FPGAs that have been partially founded by ESA for several years and that will be playing a major role in the sector in the upcoming years. It´s also worth talking about the RTL soft IPs that are currently under development and that will allow us to keep on providing the European ecosystem with some key capabilities. The latter will be an overview of RISC-V space hardened on-going activities that might be replacing the current SPARC based processors available for our missions.
El objetivo de esta charla es presentar las últimas novedades incorporadas en la arquitectura ARM y describir las tendencias en la microarquitectura de los procesadores con arquitectura ARM. ARM es una empresa relativamente pequeña en comparación con otros gigantes del sector tecnológico. Sin embargo, la amplia implantación de su arquitectura, siendo ampliamente dominante en algunos sectores, y sus microarquitecturas, hacen que la tecnología ARM ocupe un lugar central en el desarrollo tecnológico del mundo actual. La tecnología ARM está presente prácticamente en todo el espectro tecnológico, desde los dispositivos más sencillos hasta el HPC y Cloud computing, pasando por los smartphones, automoción electrónica de consumo, etc
"Formal verification has been used by computer scientists for decades to prevent
software bugs. However, with a few exceptions, it has not been used by researchers
working in most areas of mathematics (geometry, algebra, analysis, etc.). In this
talk, we will discuss how this has changed in the past few years, and the possible
implications to the future of mathematical research, teaching and communication.
We will focus on the theorem prover Lean and its mathematical library
mathlib, since this is currently the system most widely used by mathematicians.
Lean is a functional programming language and interactive theorem prover based
on dependent type theory, with proof irrelevance and non-cumulative universes.
The mathlib library, open-source and designed as a basis for research level
mathematics, is one of the largest collections of formalized mathematics. It allows
classical reasoning, uses large- and small-scale automation, and is characterized
by its decentralized nature with over 200 contributors, including both computer
scientists and mathematicians."
"Part of the research community thinks that it is still early to tackle the development of quantum software engineering techniques. The reason is that how the quantum computers of the future will look like is still unknown. However, there are some facts that we can affirm today: 1) quantum and classical computers will coexist, each dedicated to the tasks at which they are most efficient. 2) quantum computers will be part of the cloud infrastructure and will be accessible through the Internet. 3) complex software systems will be made up of smaller pieces that will collaborate with each other. 4) some of those pieces will be quantum, therefore the systems of the future will be hybrid. 5) the coexistence and interaction between the components of said hybrid systems will be supported by service composition: quantum services.
This talk analyzes the challenges that the integration of quantum services poses to Service Oriented Computing."
In this talk, after a brief overview of AI concepts in particular Machine Learning (ML) techniques, some of the well-known computer design concepts for high performance and power efficiency are presented. Subsequently, those techniques that have had a promising impact for computing ML algorithms are discussed. Deep learning has emerged as a game changer for many applications in various fields of engineering and medical sciences. Although the primary computation function is matrix vector multiplication, many competing efficient implementations of this primary function have been proposed and put into practice. This talk will review and compare some of those techniques that are used for ML computer design.
Tras una breve introducción a la informática médica y unas pinceladas sobre conceptos prácticos de Inteligencia Artificial (posible definición consensuada, strong VS weak AI y técnicas y métodos comúnmente empleados), el bloque central de la charla muestra ejemplos prácticos (en forma de casos de éxito) de distintos desarrollos llevados a cabo por el grupo de Sistemas Informáticos de Nueva Generación (SING: http//sing-group.org/) en los ámbitos de (i) Informática clínica (InNoCBR, PolyDeep), (ii) Informática para investigación clínica (PathJam, WhichGenes), (iii) bioinformática traslacional (Genómica: ALTER, Proteómica: DPD, BI, BS, Mlibrary, Mass-Up, e integración de datos ÓMICOS: PunDrugs) y (iv) Informática en salud pública (CURMIS4th). Finalmente, se comenta brevemente la importancia que se espera tenga en un futuro inmediato la IA interpretable (XAI, Explainable Artificial Intelligence) y la participación humana (HITL. Human-In-The-Loop). La charla termina con una breve reflexión sobre las lecciones aprendidas por el ponente después de más de 16 años de desarrollo de sistemas inteligentes en el ámbito de la informática médica.
Many emerging applications require methods tailored towards high-speed data acquisition and filtering of streaming data followed by offline event reconstruction and analysis. In this case, the main objective is to relieve the immense pressure on the storage and communication resources within the experimental infrastructure. In other applications, ultra low latency real time analysis is required for autonomous experimental systems and anomaly detection in acquired scientific data in the absence of any prior data model for unknown events. At these data rates, traditional computing approaches cannot carry out even cursory analyses in a time frame necessary to guide experimentation. In this talk, Prof. Ogrenci will present some examples of AI hardware architectures. She will discuss the concept of co-design, which makes the unique needs of an application domain transparent to the hardware design process and present examples from three applications: (1) An in-pixel AI chip built using the HLS methodology; (2) A radiation hardened ASIC chip for quantum systems; (3) An FPGA-based edge computing controller for real-time control of a High Energy Physics experiment.
En esta conferencia se presentará una revisión del concepto de autonomía para robots móviles de campo y la identificación de desafíos para lograr un verdadero sistema autónomo, además de sugerir posibles direcciones de investigación. Los sistemas robóticos inteligentes, por lo general, obtienen conocimiento de sus funciones y del entorno de trabajo en etapa de diseño y desarrollo. Este enfoque no siempre es eficiente, especialmente en entornos semiestructurados y complejos como puede ser el campo de cultivo. Un sistema robótico verdaderamente autónomo debería desarrollar habilidades que le permitan tener éxito en tales entornos sin la necesidad de tener a-priori un conocimiento ontológico del área de trabajo y la definición de un conjunto de tareas o comportamientos predefinidos. Por lo que en esta conferencia se presentarán posibles estrategias basadas en Inteligencia Artificial que permitan perfeccionar las capacidades de navegación de robots móviles y que sean capaces de ofrecer un nivel de autonomía lo suficientemente elevado para poder ejecutar todas las tareas dentro de una misión casa-a-casa (home-to-home).
Quantum computing has become a noteworthy topic in academia and industry. The multinational companies in the world have been obtaining impressive advances in all areas of quantum technology during the last two decades. These companies try to construct real quantum computers in order to exploit their theoretical preferences over today’s classical computers in practical applications. However, they are challenging to build a full-scale quantum computer because of their increased susceptibility to errors due to decoherence and other quantum noise. Therefore, quantum error correction (QEC) and fault-tolerance protocol will be essential for running quantum algorithms on large-scale quantum computers.
The overall effect of noise is modeled in terms of a set of Pauli operators and the identity acting on the physical qubits (bit flip, phase flip and a combination of bit and phase flips). In addition to Pauli errors, there is another error named leakage errors that occur when a qubit leaves the defined computational subspace. As the location of leakage errors is unknown, these can damage even more the quantum computations. Thus, this talk will briefly provide quantum error models.
Los chatbots son un elemento clave en la transformación digital de nuestra sociedad. Están por todas partes: eCommerce, salud digital, asistencia a clientes, turismo,... Pero si habéis usado alguno, probablemente os habrá decepcionado. Lo confieso, la mayoría de los chatbots que existen son muy malos. Y es que no es nada fácil hacer un chatbot que sea realmente útil e inteligente. Un chatbot combina toda la complejidad de la ingeniería de software con la del procesamiento de lenguaje natural. Pensad que muchos chatbots hay que desplegarlos en varios canales (web, telegram, slack,...) y a menudo tienen que utilizar APIs y servicios externos, acceder a bases de datos internas o integrar modelos de lenguaje preentrenados (por ej. detectores de toxicidad), etc. Y el problema no es sólo crear el bot, si no también probarlo y evolucionarlo. En esta charla veremos los mayores desafíos a los que hay que enfrentarse cuando nos encargan un proyecto de desarrollo que incluye un chatbot y qué técnicas y estrategias podemos ir aplicando en función de las necesidades del proyecto, para conseguir, esta vez sí un chatbot que sepa de lo que habla.
Many HPC applications are massively parallel and can benefit from the spatial parallelism offered by reconfigurable logic. While modern memory technologies can offer high bandwidth, designers must craft advanced communication and memory architectures for efficient data movement and on-chip storage. Addressing these challenges requires to combine compiler optimizations, high-level synthesis, and hardware design.
In this talk, I will present challenges, solutions, and trends for generating massively parallel accelerators on FPGA for high-performance computing. These architectures can provide performance comparable to software implementations on high-end processors, and much higher energy efficiency thanks to logic customization.
The main challenge of concurrent software verification has always been in achieving modularity, i.e., the ability to divide and conquer the correctness proofs with the goal of scaling the verification effort. Types are a formal method well-known for its ability to modularize programs, and in the case of dependent types, the ability to modularize and scale complex mathematical proofs.
In this talk I will present our recent work towards reconciling dependent types with shared memory concurrency, with the goal of achieving modular proofs for the latter. Applying the type-theoretic paradigm to concurrency has lead us to view separation logic as a type theory of state, and has motivated novel abstractions for expressing concurrency proofs based on the algebraic structure of a resource and on structure-preserving functions (i.e., morphisms) between resources.
Microarchitectural attacks, such as Spectre and Meltdown, are a class of
security threats that affect almost all modern processors. These attacks exploit the side-effects resulting from processor optimizations to leak sensitive information and compromise a system’s security.
Over the years, a large number of hardware and software mechanisms for
preventing microarchitectural leaks have been proposed. Intuitively, more
defensive mechanisms are less efficient, while more permissive mechanisms may offer more performance but require more defensive programming. Unfortunately, there are no
hardware-software contracts that would turn this intuition into a basis for
principled co-design.
In this talk, we present a framework for specifying hardware/software security
contracts, an abstraction that captures a processor’s security guarantees in a
simple, mechanism-independent manner by specifying which program executions a
microarchitectural attacker can distinguish.
La aparición de vulnerabilidades por la falta de controles de seguridad es una de las causas por las que se demandan nuevos marcos de trabajo que produzcan software seguro de forma predeterminada. En la conferencia se abordará cómo transformar el proceso de desarrollo de software dando la importancia que merece la seguridad desde el inicio del ciclo de vida. Para ello se propone un nuevo modelo de desarrollo – modelo Viewnext-UEx – que incorpora prácticas de seguridad de forma preventiva y sistemática en todas las fases del proceso de ciclo de vida del software. El propósito de este nuevo modelo es anticipar la detección de vulnerabilidades aplicando la seguridad desde las fases más tempranas, a la vez que se optimizan los procesos de construcción del software. Se exponen los resultados de un escenario preventivo, tras la aplicación del modelo Viewnext-UEx, frente al escenario reactivo tradicional de aplicar la seguridad a partir de la fase de testing.
This document discusses trusting artificial intelligence systems. It begins with an overview of trust in social and computing contexts. It then discusses artificial intelligence, including machine learning, deep learning, and natural language processing. It details how AI systems can be attacked, including adversarial inputs, data poisoning, and model stealing. It raises important discussions around using AI in contexts like cybersecurity, medicine, transportation, and sentiment analysis, and the challenges of ensuring systems can be trusted.
El uso de energías renovables es clave para cumplir los objetivos de desarrollo sostenible de la Agenda 2030. Entre estas energías, la eólica es la segunda más utilizada debido a su alta eficiencia. Algunos estudios sugieren que la energía eólica será la principal fuente de generación en 2050. Por ello es conveniente seguir investigando en la aplicación de técnicas de control avanzadas en estos sistemas.
Entre estas técnicas avanzadas cabe destacar las redes neuronales y el aprendizaje por refuerzo combinadas con estrategias clásicas de control. Estas técnicas ya se han empleado con éxito en el modelado y el control de sistemas complejos.
Esta conferencia presentará la aplicación de redes neuronales y aprendizaje por refuerzo al control de aerogeneradores, centrándolo especialmente en el control de pitch. Se detallarán diferentes configuraciones con redes neuronales y otras técnicas aplicadas al control de pitch. Finalmente se propondrán algunas técnicas híbridas que combinen lógica difusa, tablas de búsqueda y redes neuronales, mostrando resultados que han permitido probar su utilidad para mejorar la eficiencia de las turbinas eólicas.
As the world's energy demand rises, so does the amount of renewable energy, particularly wind energy, in the supply. The life cycle of wind farms starting from manufacturing the components to decommission stage involve significant involvement of cost and the application of AI and data analytics are on reducing these costs are limited. With this conference talk, the audience expected to know some of the interesting applications of AI and data analytics on offshore wind. And, also highlight the future challenges and opportunities. This conference could be useful for students, academics and researcher who want to make next career in offshore wind but yet know where to start.
Determination of Equivalent Circuit parameters and performance characteristic...pvpriya2
Includes the testing of induction motor to draw the circle diagram of induction motor with step wise procedure and calculation for the same. Also explains the working and application of Induction generator
Blood finder application project report (1).pdfKamal Acharya
Blood Finder is an emergency time app where a user can search for the blood banks as
well as the registered blood donors around Mumbai. This application also provide an
opportunity for the user of this application to become a registered donor for this user have
to enroll for the donor request from the application itself. If the admin wish to make user
a registered donor, with some of the formalities with the organization it can be done.
Specialization of this application is that the user will not have to register on sign-in for
searching the blood banks and blood donors it can be just done by installing the
application to the mobile.
The purpose of making this application is to save the user’s time for searching blood of
needed blood group during the time of the emergency.
This is an android application developed in Java and XML with the connectivity of
SQLite database. This application will provide most of basic functionality required for an
emergency time application. All the details of Blood banks and Blood donors are stored
in the database i.e. SQLite.
This application allowed the user to get all the information regarding blood banks and
blood donors such as Name, Number, Address, Blood Group, rather than searching it on
the different websites and wasting the precious time. This application is effective and
user friendly.
Generative AI Use cases applications solutions and implementation.pdfmahaffeycheryld
Generative AI solutions encompass a range of capabilities from content creation to complex problem-solving across industries. Implementing generative AI involves identifying specific business needs, developing tailored AI models using techniques like GANs and VAEs, and integrating these models into existing workflows. Data quality and continuous model refinement are crucial for effective implementation. Businesses must also consider ethical implications and ensure transparency in AI decision-making. Generative AI's implementation aims to enhance efficiency, creativity, and innovation by leveraging autonomous generation and sophisticated learning algorithms to meet diverse business challenges.
https://www.leewayhertz.com/generative-ai-use-cases-and-applications/
Accident detection system project report.pdfKamal Acharya
The Rapid growth of technology and infrastructure has made our lives easier. The
advent of technology has also increased the traffic hazards and the road accidents take place
frequently which causes huge loss of life and property because of the poor emergency facilities.
Many lives could have been saved if emergency service could get accident information and
reach in time. Our project will provide an optimum solution to this draw back. A piezo electric
sensor can be used as a crash or rollover detector of the vehicle during and after a crash. With
signals from a piezo electric sensor, a severe accident can be recognized. According to this
project when a vehicle meets with an accident immediately piezo electric sensor will detect the
signal or if a car rolls over. Then with the help of GSM module and GPS module, the location
will be sent to the emergency contact. Then after conforming the location necessary action will
be taken. If the person meets with a small accident or if there is no serious threat to anyone’s
life, then the alert message can be terminated by the driver by a switch provided in order to
avoid wasting the valuable time of the medical rescue team.
Supermarket Management System Project Report.pdfKamal Acharya
Supermarket management is a stand-alone J2EE using Eclipse Juno program.
This project contains all the necessary required information about maintaining
the supermarket billing system.
The core idea of this project to minimize the paper work and centralize the
data. Here all the communication is taken in secure manner. That is, in this
application the information will be stored in client itself. For further security the
data base is stored in the back-end oracle and so no intruders can access it.
A high-Speed Communication System is based on the Design of a Bi-NoC Router, ...DharmaBanothu
The Network on Chip (NoC) has emerged as an effective
solution for intercommunication infrastructure within System on
Chip (SoC) designs, overcoming the limitations of traditional
methods that face significant bottlenecks. However, the complexity
of NoC design presents numerous challenges related to
performance metrics such as scalability, latency, power
consumption, and signal integrity. This project addresses the
issues within the router's memory unit and proposes an enhanced
memory structure. To achieve efficient data transfer, FIFO buffers
are implemented in distributed RAM and virtual channels for
FPGA-based NoC. The project introduces advanced FIFO-based
memory units within the NoC router, assessing their performance
in a Bi-directional NoC (Bi-NoC) configuration. The primary
objective is to reduce the router's workload while enhancing the
FIFO internal structure. To further improve data transfer speed,
a Bi-NoC with a self-configurable intercommunication channel is
suggested. Simulation and synthesis results demonstrate
guaranteed throughput, predictable latency, and equitable
network access, showing significant improvement over previous
designs
Levelised Cost of Hydrogen (LCOH) Calculator ManualMassimo Talia
The aim of this manual is to explain the
methodology behind the Levelized Cost of
Hydrogen (LCOH) calculator. Moreover, this
manual also demonstrates how the calculator
can be used for estimating the expenses associated with hydrogen production in Europe
using low-temperature electrolysis considering different sources of electricity
Zener Diode and its V-I Characteristics and Applications
Ciencia social computacional: Interacción entre personas y sistemas complejos socio-tecnológicos - Prof. Anxo Sánchez
1. Computational social science: interactions
among people and complex
socio-technological systems
Grupo Interdisciplinar de Sistemas Complejos (GISC), Departamento de Matemáticas &
Institute UC3M-BS of Financial Big Data (IfiBiD), Universidad Carlos III de Madrid
Anxo Sánchez
Instituto de Biocomputación y Física de Sistemas Complejos (BIFI), Universidad de Zaragoza
3. @anxosan
Living on the edge
Nature (Special Issue) 525, 305
(17 September 2015)
Why scientists must
work together to save
the world PAGE305
INTERDISCIPLINARITY
THE INTERNATIONAL WEEKLY JOURNAL OF SCIENCE
To solve the grand challenges
facing society — energy, water,
climate, food, health —
scientists and social scientists
must work together.
5. @anxosan
Quetelet was keenly aware of the overwhelming complexity
of social phenomena, and the many variables that needed
measurement. His goal was to understand the statistical laws
underlying such phenomena as crime rates, marriage rates
or suicide rates. He wanted to explain the values of these
variables by other social factors. These ideas were rather
controversial among other scientists at the time who held
that it contradicted a concept of freedom of choice.
His most influential book was Sur l'homme et le développement de
ses facultés, ou Essai de physique sociale, published in 1835. In it,
he outlines the project of a social physics and describes his
concept of the "average man" (l'homme moyen) who is
characterized by the mean values of measured variables that
follow a normal distribution.
Social physics
6. @anxosan
Physicists and interdisciplinarity
Physicists, it turns out, are almost perfectly
suited to invading other people’s disciplines,
being not only extremely clever but also
generally much less fussy than most about the
problems they choose to study. Physicists tend
to see themselves as the lords of the academic
jungle, loftily regarding their own methods as
above the ken of anybody else and jealously
guarding their own terrain. But their alter egos
are closer to scavengers, happy to borrow ideas
and technologies from anywhere if they seem
like they might be useful, and delighted to
stomp all over someone else’s problem.
7. @anxosan
As irritating as this attitude can be to everybody
else, the arrival of the physicists into a
previously non-physics area of research often
presages a period of great discovery and
excitement. Mathematicians do the same thing
occasionally, but no one descends with such
fury and in so great a number as a pack of
hungry physicists, adrenalized by the scent of a
new problem.
Physicists and interdisciplinarity
8. @anxosan
Physicists study collective phenomena
emerging from the interactions of
individuals as elementary units in
complex socio-technological systems
The interactions-based approach
12. @anxosan
Behavioral Science
Systematic analysis and investigation of
human behavior through controlled and
naturalistic observation, and disciplined
scientific experimentation
Effects of psychological, social,
cognitive, and emotional factors on
economic decisions; bounds of
rationality of economic agents…
…and back!
13. @anxosan
Test inferences from data
Test simulation predictions
Small vs large-scale
Emergent behavior
Challenges for new experimental work
in integration with the modeling process:
Where disciplines meet
20. @anxosan
By way of llustration: Case studies
Networks, cooperation and reputation
Cooperation in hierarchical systems
Behavioral phenotype classification
Climate change mitigation
21. @anxosan
Work with
José A. Cuesta Carlos Gracia-Lázaro Yamir Moreno Alfredo Ferrer
Cuesta et al. Sci. Rep. 5, 7843 (2015)
Cronin et al, Sci. Rep. 5, 18 634 (2015)
Katherine A. Cronin Daniel J. Acheson Penélope Hernández
22. @anxosan
Work with
Mario Gutiérrez-Roig Julián Vicens
Gutiérrez-Roig et al., in preparation (2016)
Julia Poncela-Casasnovas Jesús Gómez-Gardeñes
Josep Perelló Jordi Duch
Antonioni et al., submitted (2016)
Alberto Antonioni Marco Tomassini
Nereida Bueno
Poncela-Casasnovas et al., submitted (2016)
24. @anxosan
Prisoner’s dilemma
A game theoretical paradigm of social dilemma
DC
C
D
1 S
0T
• 2 players
• 2 actions: Cooperate or Defect
T > 1 : temptation to defect
S < 0 : risk in cooperation
25. @anxosan
1229 players (625, lattice; 604, heterogeneous)
Last year high school students
44% male, 56% female
42 high schools in Aragón
From 10 AM till noon
10 000 €, on December 20, 2011; largest size ever
C. Gracia-Lázaro, A. Ferrer, G. Ruiz, A. Tarancón, J. A. Cuesta, A. S., Y. Moreno,
Proc. Natl. Acad. Sci USA 109, 12922-12926 (2012)
Cooperation on networks: setup
26. @anxosan
Cooperation on networks: setup
C. Gracia-Lázaro, A. Ferrer, G. Ruiz, A. Tarancón, J. A. Cuesta, A. S., Y. Moreno,
Proc. Natl. Acad. Sci USA 109, 12922-12926 (2012)
27. @anxosan
Cooperation on networks: facts
C. Gracia-Lázaro, A. Ferrer, G. Ruiz, A. Tarancón, J. A. Cuesta, A. S., Y. Moreno,
Proc. Natl. Acad. Sci USA 109, 12922-12926 (2012)
28. @anxosan
Cooperation on networks: mechanism
J. Grujić, C. Gracia-Lázaro, M. Milinski, D. Semmann, A. Traulsen, J. A. Cuesta, A. S., Y. Moreno, Sci. Rep. 4, 4615 (2014)
29. @anxosan
Static networks do not support cooperation in a Prisoner’s Dilemma
Kirchkamp & Nagel. Games Econ. Behav. 58, 269–292 (2007)
Traulsen et al. Proc. Natl. Acad. Sci. USA 107, 2962 (2010)
Grujić et al. PLOS ONE 5, e13749 (2010)
Gracia-Lázaro et al. Proc. Natl. Acad. Sci. USA 109, 12922 (2012)
Grujić et al. Sci. Rep. 4, 4615 (2014)
No network reciprocity
30. @anxosan
Dynamic networks support cooperation in a Prisoner’s Dilemma
Rand et al. Proc. Natl. Acad. Sci. USA 108, 19193 (2011)
Wang et al. Proc. Natl. Acad. Sci. USA 109, 14363 (2012)
Dynamic networks
31. @anxosan
Wang et al. Proc. Natl. Acad. Sci. USA 109, 14363 (2012)
Dynamic networks
32. @anxosan
Wang et al. Proc. Natl. Acad. Sci. USA 109, 14363 (2012)
Emergence of cooperation
75. @anxosan
Summary: case study 1
The mechanism for cooperation in
dynamic networks is reputation
Reputation combines last action
with average action
Faking reputation does not affect
cooperation but increases inequality
76. @anxosan
Summary: case studies 2 & 3
Hierarchy is detrimental
for cooperation
People seem classifiable in
a few recognizable phenotypes
No (self-regarding) rationality
77. @anxosan
Summary: case study 4
Climate change is averted
by all groups (50% in 2008)
People 3 times richer
contributed 1/3 less
78. @anxosan
Outlook
Small vs large-scale: FET Open IBSEN (Sep 15 - Aug 18)
Bridging the gap: from Individual Behaviour
to the Socio-tEchnical maN
http://www.ibsen-h2020.eu
@IBSEN_H2020