Conhece o microsoft mathematics? Não?! Então este workshop é para si!

A vertiginosa difusão das TIC e o crescente desenvolvimento de diverso software científico estão a produzir mudanças relevantes nos processos formativos em matemática, estando estas a favorecer a criação de novos e melhores recursos didáticos e de autoaprendizagem, assim como uma nova forma de gerar e difundir conhecimento ou experiências cognitivas (Atencio, 2013). No entanto para tirar partido, a nível pessoal ou profissional, da variedade de recursos que estão ao nosso alcance para aprender/ensinar matemática, como os programas Geogebra, Surfer, GeCla, Microsoft Mathematics etc., é importante conhecê-los e saber trabalhar com eles. Tendo em vista este objetivo, neste Workshop pretende-se “apresentar” o software Microsoft Mathematics, explorá-lo como recurso na resolução de algumas tarefas de matemática, assim como discutir as suas potencialidades e limitações. O software Microsoft Mathematics, inicialmente com a designação Microsoft Math, foi lançado pela Microsoft Corporation em 2006, e surgiu para tentar resolver o problema de muitos alunos brasileiros que tinham dificuldades nas disciplinas que envolviam cálculo. No início estava apenas disponível para uso de uma comunidade estudantil que, com o apoio de empresas e universidades, visava formar alunos na área de tecnologias de informação para o mercado de trabalho. Depois de algumas melhorias, o programa passou a ser disponibilizado para o público em geral e a ser comercializado (Sousa e Araújo (s.d.)). Atualmente a versão 4.0 é a mais recente, é gratuita e está disponível para download na internet no site https://www.microsoft.com/ptpt/ download/details.aspx?id=15702. Do ponto de vista da matemática, o Microsoft Mathematics abrange domínios como a aritmética, o cálculo, a álgebra e a estatística. Por exemplo, permite executar uma diversidade de cálculos: resolver equações, inequações e sistemas de equações, converter unidades de medida, calcular estatísticas básicas (como média e desvio-padrão), efetuar operações com números complexos, calcular derivadas e integrais, realizar operações com matrizes, entre outros, e, em alguns casos, possibilita a consulta da resolução passo a passo. Tem também uma vertente gráfica, podendo representar-se gráficos a duas ou a três dimensões. Esta funcionalidade possibilita, ainda, representar graficamente equações com parâmetros, o que permite visualizar as mudanças em função da variação do valor do parâmetro, que pode ser de grande utilidade, por exemplo, na discussão de sistemas de equações lineares. Em termos de usabilidade, o Microsoft Mathematics tem uma interface simples e facilmente compreensível para o utilizador e a sintaxe para comunicar com o software é quase sempre a que se utiliza em matemática. Torna-se igualmente uma mais-valia quando se pretende produzir documentos em Word com simbologia matemática, pois permite exportar para este aplicativo o trabalho realizado. Conclui-se, assim, que o Microsoft Mathematics é um software educativo que fornece um conjunto de ferramentas que podem constituir um apoio para os estudantes do 3.º ciclo do ensino básico, do ensino secundário e ensino superior, na resolução de tarefas que exigem conhecimentos matemáticos. Pode, ainda, tornar-se um recurso útil para os professores tanto na preparação de aulas como no contexto de sala de aula, na medida em que, para além de facilitar a execução de cálculos, permite explorar alguns conteúdos de uma forma interativa e com maior profundidade.

La Direttiva 2008/104/CE relativa al lavoro tramite agenzia interinale: aspetti problematici e modelli di implementazione = Directive 2008/104/EC relating to temporary agency work: problematic aspects and implementation models. WP C.S.D.L.E. “Massimo D’Antona”.INT – 101/2013

The problematic gestation of the Directive on temporary agency work shows the presence of several criticalities that there are also in the national transposition in relation to the principle of equal treatment and to the mechanisms for preventing abuse during successive assignments. From a first analysis it can be said that in some EU Member States only the derogations have been implemented and not the general principle of equal treatment. At the same time, the obligation of the Member States, contained in the Directive on temporary agency work, to establish mechanisms for preventing abuse during successive assignments is crucial, especially in the light of the recent case law of the EU Court of Justice in which the Court does not apply to the temporary agency workers the protective rules of the Directive on fixed-term contracts (see C-290/12 , Della Rocca).

Google Translate e Microsoft Translator - Valutazione di due applicazioni per la traduzione automatica del parlato e analisi di una tecnologia in evoluzione.

This work focuses on Machine Translation (MT) and Speech-to-Speech Translation, two emerging technologies that allow users to automatically translate written and spoken texts. The first part of this work provides a theoretical framework for the evaluation of Google Translate and Microsoft Translator, which is at the core of this study. Chapter one focuses on Machine Translation, providing a definition of this technology and glimpses of its history. In this chapter we will also learn how MT works, who uses it, for what purpose, what its pros and cons are, and how machine translation quality can be defined and assessed. Chapter two deals with Speech-to-Speech Translation by focusing on its history, characteristics and operation, potential uses and limits deriving from the intrinsic difficulty of translating spoken language. After describing the future prospects for SST, the final part of this chapter focuses on the quality assessment of Speech-to-Speech Translation applications. The last part of this dissertation describes the evaluation test carried out on Google Translate and Microsoft Translator, two mobile translation apps also providing a Speech-to-Speech Translation service. Chapter three illustrates the objectives, the research questions, the participants, the methodology and the elaboration of the questionnaires used to collect data. The collected data and the results of the evaluation of the automatic speech recognition subsystem and the language translation subsystem are presented in chapter four and finally analysed and compared in chapter five, which provides a general description of the performance of the evaluated apps and possible explanations for each set of results. In the final part of this work suggestions are made for future research and reflections on the usability and usefulness of the evaluated translation apps are provided.

Implementazione e test di modelli di ottimizzazione per la pianificazione tattica del blocco operatorio

In questa tesi è stato analizzato e tradotto nel linguaggio di alto livello AMPL un modello di ILP relativo alla pianificazione tattica del blocco operatorio. L'obiettivo è quello di permettere l'interfacciamento con numerosi solver -commerciali e non- al fine di analizzarne le prestazioni. In seguito a un'introduzione in merito al problema dell'Operating Room Management e a una descrizione del contesto sanitario regionale dell'Emilia-Romagna, si è proceduto alla descrizione formale del modello. Infine sono state eseguite numerose risoluzioni con i solver cplex e gurobi al variare di alcuni parametri in ingresso, tra cui il numero di sale operatorie, di infermieri e operatori sanitari, e di pazienti in lista d'attesa.

Modelli di business sostenibili in mercati sociali. Il caso No Food Waste.

Il concetto di social entrepreneurship applicato al caso di un progetto per una startup: No Food Waste. Definizione dell'imprenditorialità sociale, individuazione delle dimensioni che la definiscono. Posizionamento di No Food Waste ed altri attori nel panorama della social entrepreneurship. Analisi della sostenibilità di un'attività di imprenditorialità sociale nelle sue dimensioni e nel modello del processo ed applicazione al caso in esame. Considerazioni particolari in merito a sostenibilità economica e sostenibilità sociale.

Modelli e metodi per il dimensionamento di buffer floor-storage in magazzini scaffalati.

In questa tesi sono stati studiati i fattori che influenzano l'utilizzo del buffer in un magazzino manuale. Per poter realizzare le analisi è stato realizzato un programma C# che simula la gestione del magazzino. Per ottimizzare l'assegnamento dei pallet alle location si è inoltre costruito un modello AMPL. L'obiettivo del modello è minimizzare la differenza tra le classi ottime dei codici in ingresso e i posti pallet ai quali questi vengono assegnati. Il programma C# oltre all'interfaccia con il risolutore AMPL Gurobi, deve interfacciarsi anche con il data base Access nel quale sono stati organizzati i dati necessari per l'analisi. Questi dati sono reali e relativi agli ingressi e alle uscite di un magazzino contenente materiale farmaceutico di due settimane di lavoro. Per facilitare e velocizzare lo studio le informazioni considerate sono quelle di due soli corridoi e non dell'intero magazzino. I risultati hanno evidenziato quattro fattori principali che influenzano la differenza tra un l'allocazione dei pallet in ingresso ad un magazzino. Questi elementi sono: costo di utilizzo del buffer, numero di location libere ad inizio simulazione, momento d'esecuzione del picking a magazzino e tipologia di location vute ad inizio della simulazione. Per ognuno di questi si è cercato, per quanto possibile, di individuare le implicazioni che quanto studiato può avere nella progettazione di un sistema di stoccaggio reale sia dal punto di vista logistico sia dal punto di vista economico. Non sempre le osservazioni reali alle quali si è arrivati hanno un risvolto pratico immediato, ma senza dubbio possono essere utili nello studio preliminare per la realizzazione di un sistema di stoccaggio. All'interno delle conclusioni sono state inserite anche possibili studi e approfondimenti futuri che possono essere eseguiti partendo dal progetto di tesi qui presentato.

Disruptive Marketing Strategy - ribaltare i classici modelli di approccio al mercato

Viviamo in un epoca di cambiamenti. Continuamente, giorno dopo giorno, il vecchio scompare per fare spazio al nuovo. La tecnologia permea sempre più in ogni aspetto della vita, conquistando le nostre abitudini, cambiando il nostro modo di vedere il mondo, e, in maniera inevitabile, il nostro modo di agire. L’essere umano ha da sempre cercato di concepire cose che ancora non ci sono, per cambiare la realtà e modellarla a suo piacimento. Si parte, quindi, da qualcosa che fin dalla nascita è dentro ognuno di noi, un desiderio che arde nell'animo umano, che si alimenta grazie al soffio dell’immaginazione e che non c’è modo di spegnere. L’innovazione porta novità. Resistere al cambiamento non è sempre facile, e se si cerca di ostacolarlo esso ti travolgerà. “Affrontare il cambiamento è come scalare una colata di fango giù per una collina” - esordisce in “The Innovator Dilemma”, Clayton M. Christensen - “Bisogna affrontare qualsiasi cosa per rimanere su di essa, e non appena ci si ferma per prendere fiato si viene seppelliti”. Si intuisce come il cambiamento tecnologico non solo sia di fondamentale evidenza nella vita di ognuno, ma come esso abbia cambiato e stia cambiando il modo di fare business. In questo umile lavoro si è voluto analizzare come certi tipi di innovazione abbiano il potere di cambiare tutto un sistema di riferimento sul quale prima l’impresa faceva affidamento. Sono le Disruptive Innovation – le innovazioni dirompenti – quelle innovazioni che ribaltano un modello di business, il modo di vedere un prodotto, la logica dietro a certe operations aziendali, che seppur sembrassero solide, si sgretolano scontrandosi con innovazioni così forti. Vi è poi una domanda critica a cui si è cercato di rispondere. Si può fare Disruptive Marketing? Alcuni esempi virtuosi ci mostrano come si possa attuare una strategia di questo genere, e come si possa “comprendere, creare, comunicare e distribuire valore” in modo innovativo.

Modelli matematici per l'ottimizzazione del trasporto multimodale

Modello su AMPL per ottimizzare la scelta del trasporto in base al tragitto, all'orario di partenza e all'intervallo di tempo considerato.

Modelli e Algoritmi per Problemi di Coloring con il Linguaggio AMPL

Come il titolo suggerisce, due sono gli aspetti oggetto di questo elaborato: i modelli e gli algoritmi (con le rispettive criticità), e il linguaggio di modellazione AMPL. Il filo conduttore che integra le due parti, nonché mezzo ultimo per un’applicazione pratica dell’attività di modellazione, è l’ottimizzatore, la ”macchina” che effettua la risoluzione vera e propria dei suddetti modelli.

Sviluppo e validazione sperimentale di modelli per la simulazione di una microrete di generazione e di accumulo

Nel corso degli anni le fonti rinnovabili e in particolare il fotovoltaico hanno assunto un ruolo sempre più importante nel panorama energetico italiano. Si è effettuata un’analisi della tecnologia fotovoltaica illustrandone il funzionamento, le tipologie di pannelli, il calcolo dell’energia elettrica producibile e le curve caratteristiche. Dal momento che la maggior parte delle rinnovabili presenta il problema della non programmabilità dovuta alla produzione intermittente, è necessario adottare dei sistemi di accumulo. Tali sistemi vengono mostrati, con particolare riguardo per le batterie al piombo acido e per l’idrogeno immagazzinato in idruri metallici, spiegando nel dettaglio l’elettrolisi e gli elettrolizzatori PEM. Dopo questa panoramica iniziale, si è illustrato l’impianto oggetto di questa tesi, composto principalmente da due pannelli fotovoltaici, un simulatore solare, due batterie al Piombo, un elettrolizzatore, un carico e un alimentatore. In seguito viene spiegata l’attività sperimentale, svolta sulle prove di laboratorio ai fini di ottenere le curve di funzionamento dei vari componenti, tramite due approcci diversi: per il sistema atto all’elettrolisi e per tutti i suoi componenti si è usato un modello black-box, per i pannelli fotovoltaici si è usato un approccio fisico-matematico partendo dalle equazioni del simulatore solare applicandovi i dati dei pannelli del laboratorio. Una volta ottenute queste curve, si è creato un modello completo del laboratorio per simularne il funzionamento al variare dell’irraggiamento. Si è testato prima il modello su un’utenza da 3 kW, poi, dopo aver confrontato gli andamenti reali con quelli ottenuti, si sono simulate varie configurazioni per trovare quella che permette al sistema di produrre idrogeno alla potenza nominale di 250 W in una giornata senza supplemento della rete elettrica.

Gemme della letteratura italiana; modelli di prosa e poesia, con notizie biografiche, giudizi critici, e argomenti delle opere principali antiche e moderne.

Mode of access: Internet.

Arte de la correspondencia en italiano y español : modelos de cartas de varios asuntos y para toda especie de operaciones mercantiles, etc. = Arte della corrispondenza o segretario spagnuolo-italiano : modelli di lettere familiari, mercantili ed altre.

Mode of access: Internet.

Nuovo segretario, o Modelli di lettere sopra ogni sorta di argomenti colle loro risposte. Preceduti da un' istruzione sul cerimoniale epistolare.

Mode of access: Internet.

Estimation of pharmacokinetic parameters from non-compartmental variables using Microsoft Excel((R))

This study was conducted to develop a method, termed 'back analysis (BA)', for converting non-compartmental variables to compartment model dependent pharmacokinetic parameters for both one- and two-compartment models. A Microsoft Excel((R)) spreadsheet was implemented with the use of Solver((R)) and visual basic functions. The performance of the BA method in estimating pharmacokinetic parameter values was evaluated by comparing the parameter values obtained to a standard modelling software program, NONMEM, using simulated data. The results show that the BA method was reasonably precise and provided low bias in estimating fixed and random effect parameters for both one- and two-compartment models. The pharmacokinetic parameters estimated from the BA method were similar to those of NONMEM estimation.