LabVIEW development of a debug GUI for automated tests on voltage regulators

Questa tesi nasce da un lavoro di stage all’interno della sede di Padova di Infineon Technologies. Il lavoro da me svolto è stato quello di sviluppare una GUI di debug in LabVIEW, per una piattaforma hardware che permette di realizzare test automatici su dispositivi voltage regulators. L’interfaccia implementata consente di gestire tutta la fase di setup delle misure e di comunicare con gli strumenti di misura tramite interfacce pop-up dedicateope

Diversity and Social Justice in the Massachusetts Classroom: Teachers Implementation and Students Reflections

As public school classrooms have become increasingly diverse and complex, the curriculummust reflect this to prepare students for their futures. When shaping the curriculum that ourstudents receive, it is important to ensure a well rounded, multicultural education even if theclassroom itself does not reflect a diverse community. This qualitative and quantitative, mixedmethod research study looked at the Massachusetts state guidelines concerning diversityeducation and compared it to what teachers say they are implementing in the classroom as wellas with what students say they learned. This mixed method design includes teacher surveys (n=78), teacher interviews (n=4), and student surveys (n=289). The student surveys asked collegestudents to reflect upon their public middle and high school education experiences. The findingssuggest that students believed that their middle and high school education did not provide aneducation from diverse perspectives. Many teachers expressed that while they understand what itmeans to have a diverse classroom, material that incorporates social justice topics and diversitymay be seen as controversial, therefore they do not integrate it into their curriculum. Themajority of teachers suggested that there is a lack of resources provided by the schools toenhance their comfortability and knowledge around this curriculum integration. In theseformative adolescent years, the information that is provided to children is pertinent in shapingtheir future. This research discovered that there is a mismatch between Massachusetts curriculumguidelines with what is being taught and perceived in the classroom. Recommendations includeproviding teachers with resource pamphlets, including books, articles and websites, that arereadily available for their consultation and sample lesson plans that include themes of diversityand social justice

re: For debate: Post-treatment mammography following breast-conserving treatment

n/

ReSpecTX: Programming Interaction Made Easy

In this paper we present the ReSpecTX language, toolchain, and standard library as a first step of a path aimed at closing the gap between coordination languages \u2013 mostly a prerogative of the academic realm until now \u2013 and their industrial counterparts. Since the limited adoption of coordination languages within the industrial realm is also due to the lack of suitable toolchains and libraries of reusable mechanisms, ReSpecTX equips a core coordination language (ReSpecT) with tools and features commonly found in mainstream programming languages. In particular, ReSpecTX makes it possible to provide a reference library of reusable and composable interaction patterns

Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems

Cooperation and knowledge sharing are of paramount importance in the evolution of an intelligent species. Knowledge sharing requires a set of symbols with a shared interpretation, enabling effective communication supporting cooperation. The engineering of intelligent systems may then benefit from the distribution of knowledge among multiple components capable of cooperation and symbolic knowledge sharing. Accordingly, in this paper, we propose a roadmap for the exploitation of knowledge representation and sharing to foster higher degrees of artificial intelligence. We do so by envisioning intelligent systems as composed by multiple agents, capable of cooperative (transfer) learning—Co(T)L for short. In CoL, agents can improve their local (sub-symbolic) knowledge by exchanging (symbolic) information among each others. In CoTL, agents can also learn new tasks autonomously by sharing information about similar tasks. Along this line, we motivate the introduction of Co(T)L and discuss benefits and feasibility

Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing

The increasing maturity of some well-established technologies \u2013 such as XPath \u2013 along with the sharp rise of brand-new ones \u2013 i.e. the blockchain \u2013 presents new opportunities to researchers in the field of multi-agent coordination. In this position paper we briefly discuss a few technologies which, once suitably interpreted and integrated, have the potential to impact the very roots of tuple-based coordination as it stems from the archetypal LINDA model

Probabilistic logic programming in 2P-KT

The work introduces an elastic and platform-agnostic approach to probabilistic logic programming aimed at linking this paradigm with modern mainstream programming platforms, thus widening its usability and portability (e.g. towards the JVM, Android, Python, and JavaScript platforms). We design our solution as an extension of the 2P-Kt symbolic AI ecosystem to inherit its multi-platform and multi-paradigm nature

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt

The ability to lazily manipulate long or infinite streams of data is an essential feature in the era of data-driven artificial intelligence. Yet, logic programming technologies currently fall short when it comes to handling long or infinite streams of data. In this paper, we discuss how Prolog can be reinterpreted as a stream processing tool, and re-designed around an abstract state-machine capable of lazily manipulating streams of data via backtracking

KINS: Knowledge Injection via Network Structuring

We propose a novel method to inject symbolic knowledge in form of Datalog formulæ into neural networks (NN), called KINS (Knowledge Injection via Network Structuring). The idea behind our method is to extend NN internal structure with ad-hoc layers built out the injected symbolic knowledge. KINS does not constrain NN to any specific architecture, neither requires logic formulæ to be ground. Moreover, it is robust w.r.t. both lack of data and imperfect/incomplete knowledge. Experiments are reported to demonstrate the potential of KINS