An ontological modelling of user requirements for personalised information provision

The knowledge economy offers opportunity to a broad and diverse community of information systems users to efficiently gain information and know-how for improving qualifications and enhancing productivity in the work place. Such demand will continue and users will frequently require optimised and personalised information content. The advancement of information technology and the wide dissemination of information endorse individual users when constructing new knowledge from their experience in the real-world context. However, a design of personalised information provision is challenging because users’ requirements and information provision specifications are complex in their representation. The existing methods are not able to effectively support this analysis process. This paper presents a mechanism which can holistically facilitate customisation of information provision based on individual users’ goals, level of knowledge and cognitive styles preferences. An ontology model with embedded norms represents the domain knowledge of information provision in a specific context where users’ needs can be articulated and represented in a user profile. These formal requirements can then be transformed onto information provision specifications which are used to discover suitable information content from repositories and pedagogically organise the selected content to meet the users’ needs. The method is provided with adaptability which enables an appropriate response to changes in users’ requirements during the process of acquiring knowledge and skills.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Contributo para o estudo da tutela do promitente - comprador

Dissertação de mestrado em Direito Judiciário

Advance directives as autonomy enhancers: reality or myth?

In the last few decades there has been a wealth of literature and legislation on advance directives. As you all know, it is an instrument by which a person can express their wishes as regards what treatmentthey should be given or, more to the point, not to be given, when he is in a situation when he can not do so himself.Regulations in the western world seem to promote advance directives as a way to enhance patient¿s autonomy in thecontext of human rights, and the media has presented advance directives as another milestone in this era of selfdetermination.However, if we look closely at some of thoseregulations we will see that there are a few elements which may undermine their efficacy, shattering this nicely presentedpicture. I will focus on two elements. First, formal requirements, and secondly, certain limits or what I like to call "escape clauses".

Advance directives as autonomy enhancers: reality or myth?

In the last few decades there has been a wealth of literature and legislation on advance directives. As you all know, it is an instrument by which a person can express their wishes as regards what treatmentthey should be given or, more to the point, not to be given, when he is in a situation when he can not do so himself.Regulations in the western world seem to promote advance directives as a way to enhance patient¿s autonomy in thecontext of human rights, and the media has presented advance directives as another milestone in this era of selfdetermination.However, if we look closely at some of thoseregulations we will see that there are a few elements which may undermine their efficacy, shattering this nicely presentedpicture. I will focus on two elements. First, formal requirements, and secondly, certain limits or what I like to call "escape clauses".

Advance directives as autonomy enhancers: reality or myth?

In the last few decades there has been a wealth of literature and legislation on advance directives. As you all know, it is an instrument by which a person can express their wishes as regards what treatmentthey should be given or, more to the point, not to be given, when he is in a situation when he can not do so himself.Regulations in the western world seem to promote advance directives as a way to enhance patient¿s autonomy in thecontext of human rights, and the media has presented advance directives as another milestone in this era of selfdetermination.However, if we look closely at some of thoseregulations we will see that there are a few elements which may undermine their efficacy, shattering this nicely presentedpicture. I will focus on two elements. First, formal requirements, and secondly, certain limits or what I like to call "escape clauses".

The database search problem: a question of rational decision making

This paper applies probability and decision theory in the graphical interface of an influence diagram to study the formal requirements of rationality which justify the individualization of a person found through a database search. The decision-theoretic part of the analysis studies the parameters that a rational decision maker would use to individualize the selected person. The modeling part (in the form of an influence diagram) clarifies the relationships between this decision and the ingredients that make up the database search problem, i.e., the results of the database search and the different pairs of propositions describing whether an individual is at the source of the crime stain. These analyses evaluate the desirability associated with the decision of 'individualizing' (and 'not individualizing'). They point out that this decision is a function of (i) the probability that the individual in question is, in fact, at the source of the crime stain (i.e., the state of nature), and (ii) the decision maker's preferences among the possible consequences of the decision (i.e., the decision maker's loss function). We discuss the relevance and argumentative implications of these insights with respect to recent comments in specialized literature, which suggest points of view that are opposed to the results of our study.

Patent claims in certain geographical regions

Työn tavoitteena oli käsitellä mahdollisuutta laatia patenttihakemuksen vaatimuksia siten, että patenttihakemukset toimisivat eri oikeusalueilla, jotka ovat tässä Eurooppa, Suomi ja USA. Aluksi käsiteltiin patentointia ja eri patenttijärjestelmiä yleisesti, jonka jälkeen käsiteltiin lähemmin patenttivaatimuksia, niiden muotoja ja eri vaatimusten edellytyksiä, joita vaaditaan Euroopan patenttisopimuksessa, suomalaisessa ja USA:laisessa patenttijärjestelmässä. Vaikka uutuus, keksinnöllisyys ja teollinen käyttökelpoisuus ovat tärkeimmät edellytykset kun määritetään patenttivaatimuksia, niitä ei käsitelty työn empiirisessä osassa. Työn empiirinen osuus osoittaa selvästi, että erilaiset muodolliset vaatimukset Euroopan patenttisopimuksessa, suomalaisessa ja USA:laisessa patenttijärjestelmässä hankaloittavat patenttivaatimusten laatimista siten että ne toimisivat yhdessä patenttihakemuksessa yllä mainituissa patenttijärjestelmissä. Empiirisen tutkimuksen ja eri oikeusalueilla patenttivaatimusten edellytysten perusteella, ei ole yksinkertaista ratkaisua laatia patenttivaatimuksia (ja myös patenttiselostuksia), jotka toimisivat monilla oikeusalueilla. Eräs ratkaisu ongelmaan on laatia yksi sarja patenttivaatimuksia, jotka täyttävät Euroopan patenttisopimuksen käytännön mukaiset edellytykset (täyttävät myös Suomalaisen patenttijärjestelmän edellytykset) ja toinen sarja patenttivaatimuksia, jotka täyttävät USA:laisen patenttijärjestelmän edellytykset samassa patenttihakemuksessa. Hakemuksen käsittelyvaiheessa hakija voi pudottaa patenttivaatimukset, jotka eivät täytä kansallisen patenttijärjestelmän edellytyksiä patenttihakemuksesta.

Osakeyhtiölain muutokset pienen osakeyhtiön toiminnassa

Osakeyhtiölain kokonaisuudistus astui voimaan 1.9.2006. Lain tavoitteeksi asetettiin yhtiöiden toimintaedellytysten hallittu lisääminen velkojain- tai vähemmistöosakkaiden suojaa heikentämättä. Erityisesti pienten yhtiöiden asemaan kiinnitettiin huomiota selventämällä lakia ja keventämällä muotomääräyksiä. Tämän tutkimuksen tavoitteena on selvittää, miten uudistukset vaikuttivat pienen osakeyhtiön toimintaan. Tutkimuksessa käydään läpi niitä osakeyhtiölain säädöksiä, jotka vaikuttavat pienyhtiön toimintaan sekä kirjallisuuden pohjalta että case-yhtiöiden avulla. Case-yhtiöinä tutkimuksessa on kaksi pientä osakeyhtiötä. Tutkimusmenetelmä on kvalitatiivinen ja osin deskriptiivinen tutkimus. Tutkimus osoitti, että osakeyhtiölain uudistuksen kokonaisvaikutus pienissä yhtiössä näkyy muotosäännösten kevenemisenä ja tahdonvaltaisuuden lisääntymisenä. Suurin haaste pienille yhtiöille on lain maksukykyisyysvaatimus varojenjakopäätöstä tehtäessä. Se, missä määrin lain suomia mahII dollisuuksia käytäntöjen keventämiseen yhtiöissä otetaan käyttöön, riippuu täysin yhtiön johdon aktiivisuudesta ja muutosvastarinnan voittamisesta.

Safety Culture and Maritime Personnel’s Safety Attitudes: Interview Report

”METKU –projektissa” (Merenkulun turvallisuuskulttuurin kehittäminen) tutkitaan kansainvälisen turvallisuusjohtamiskoodin (ISM-koodin) vaikutuksia merenkulun turvallisuuteen ja etsitään kehittämiskohteita merenkulun turvallisuusjohtamisen parantamiseksi. Tämä haastatteluraportti on laadittu METKU –projektin yhteistyössä työpakettien 1 ja 2 kesken. Tähän raporttiin haastateltiin yhteensä 94 merenkulun ammattilaista. Suurimman osan haastateltavista muodostivat aktiiviset merenkulkijat: miehistön jäsenet, päällystö ja alusten päälliköt. Haastattelukohteena oli seitsemän suomalaista varustamoa. Haastatteluissa kerättiin merenkulkijoiden kokemuksia ja mielipiteitä ISM-koodin vaikutuksesta heidän käytännön työhönsä. Suomalaiset merenkulkijat uskovat, että tänä päivänä varustamoiden johtajat ovat hyvin sitoutuneita turvallisuuteen. Myös miehistön asenteet turvallisuuteen ovat ISM-koodin käytön myötä parantuneet. Haasteltavien yhteinen huoli kohdistui jatkuvan parantamisen toimivuuteen. Kaikki haastatellut ryhmät olivat samaa mieltä siitä, että poikkeamien raportointi ei ISMkoodin vaatimuksesta huolimatta toimi kunnolla. ISM-koodin käyttöön otosta on ollut merenkululle selkeää hyötyä. Haastateltavat esittivät hyötyinä parantuneen yhteistyön ja tiedonkulun alusten ja varustamon välillä sekä sen, että merenkulun toiminnan laatu on parantunut. Monet haastateltavat korostivat, että ISM-koodin selkeät turvallisuusvastuut yhtiölle on ollut merkittävä hyöty. Itse ISM-koodiin merenkulkijoilla ei ollut juurikaan huomauttamista. Sen sijaan turvallisuusjohtamisen käytännön toteutuksessa nähtiin parantamisen varaa. ISMkoodin aiheuttamina ongelmina mainittiin mm. lisääntynyt byrokratia ja liian monimutkaiset ja yksityiskohtaiset turvallisuuskäsikirjat. Monet haastateltavat toivovat, että ISM-koodin käytännön soveltamiseen laadittaisiin ohjeita.

Le consentement à la convention d'arbitrage commercial international : évolution et développement récents en droit québécois et en droit international

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de LL.M. en droit option droit des affaires"

Os requisitos de forma da cláusula compromissória inserida nos contratos comerciais internacionais e a jurisprudência do STJ

Nesta pesquisa comparo as interpretações que têm prevalecido no contexto internacional e na jurisprudência do Superior Tribunal de Justiça (“STJ”), versando sobre os requisitos de forma da cláusula compromissória inserida nos contratos comerciais internacionais. Contratos comerciais internacionais, nesta pesquisa, são aqueles que contém cláusula compromissória que elege arbitragem com sede fora do Brasil. Na Primeira Parte, examino a experiência internacional a partir (a) da questão da lei aplicável ao exame dos requisitos de forma da cláusula compromissória inserida nos contratos comerciais internacionais, (b) dos seus requisitos de forma propriamente ditos e (c) da interrelação destes requisitos com a exceção de ordem pública no âmbito da arbitragem comercial internacional. No que diz respeito aos requisitos de forma propriamente ditos, passo pela análise histórica dos principais foros internacionais, de alguns instrumentos de soft law selecionados, da legislação e da jurisprudência estrangeira. Meu objetivo é verificar a solução conferida no contexto internacional à questão, criando um quadro de análise para ser comparado com o levantamento da jurisprudência do STJ que será feito na Segunda Parte. Na Segunda Parte, por sua vez, examino a jurisprudência do STJ versando sobre estes mesmos requisitos de forma. Ao fim, concluo que, enquanto efetivamente há alguns pontos de divergência entre a orientação do STJ e àquela que prevalece na experiência internacional, estas diferenças não são tantas e vem sistematicamente diminuindo. Na Conclusão procuro sintetizar e confrontar os achados da pesquisa, fazendo ainda algumas proposições objetivas com o intuito de pacificar a discussão sobre o tema no Brasil.

Participação social no processo legislativo federal : um estudo da Comissão de Legislação Participativa (CLP), da Comissão de Direitos Humanos e Legislação Participativa (CDH) e da iniciativa popular de lei

Esta pesquisa tem como objetivo verificar se as Comissões de Legislação Participativa da Câmara dos Deputados e do Senado Federal facilitaram a participação social no processo legislativo frente ao tradicional instituto da Iniciativa Popular de lei. Essa investigação será pautada pelo estudo dogmático do processo legislativo federal; pela investigação de como a participação social está prescrita na Constituição Federal e nos Regimentos Internos das Casas do Legislativo, visando constatar como a participação política se implementa no processo de produção legislativa; ademais do estudo sobre a relação entre representação e participação. Para tanto, foi utilizada revisão bibliográfica, análise documental, levantamento de dados, estudo de caso e entrevistas. A pesquisa realizada permite afirmar que as Comissões facilitaram a participação social na produção legislativa no que se refere à eliminação de parte dos requisitos formais que a obstaculizavam via Iniciativa Popular; além de ampliar o rol dos tipos de proposições legislativas que a sociedade pode apresentar. Entretanto, esses novos mecanismos reproduziram limitações que a Iniciativa Popular apresenta, ademais de desconsiderar na sua estruturação elementos essenciais à consecução de um processo legislativo efetivamente participativo, os quais são contemplados pelo instituto tradicional, permitindo, então, afirmar que as Comissões são inovações institucionais limitadas frente ao instituto da Iniciativa Popular.

Os princípios e limites metafísicos do estado jurídico em Kant

A presente dissertação configura-se em pesquisa bibliográfica de cunho analítico, crítico e reflexivo sobro o universo epistemológico que engloba os princípios e limites metafísicos do Estado Jurídico em Kant, o qual aborda os fundamentos racionais, enquanto arquétipos imutáveis e universais, do Estado Jurídico, a partir daquilo que Immanuel Kant leciona em sua Doutrina do Direito. Com essa diretriz e considerando as equivocadas interpretações dos princípios fundamentais do Direito, preliminarmente, esboçam-se algumas concepções destoantes da mencionada obra, as quais são ‘rechaçadas’ no transcurso desta dissertação. Em seguida, explana-se a função exercida pela razão nos usos teorético e prático, com o fito de fixar o locus ocupado por um Sistema Moral na Filosofia Prática. Sistema esse constituído por duas subdivisões, quais sejam a Ética e o Direito. Assim, estabelece-se o Direito como uma ciência prática, apresentando seu conceito. E ainda, discute-se o tema da liberdade, o qual permeia todo caminho trilhado no desenvolvimento, sua relação com a razão prática, bem como a distinção que há entre vontade e arbítrio. Essas considerações permitem, posteriormente, caracterizar o Direito, porém, sem olvidar de distingui-lo da Ética. Explica-se, também, o princípio e a lei universal do Direito enquanto critérios de legitimação e de justiça, princípio e lei esses que se referem à liberdade do arbítrio, dentro da qual a coação se apresenta como elemento integrante. A imputabilidade é outra questão abordada, a qual pressupõe a ideia de liberdade, cuja ausência destituiria o Direito de todo sentido. Deste modo, segue-se ao Direito Privado, discutindo-o até se chegar ao seu postulado, segundo o qual é possível ter direito sobre qualquer objeto exterior ao arbítrio. Examina-se, outrossim, os institutos do Direito Privado, a dizer, o Direito Real, o Direito Pessoal e o Direito Pessoal de caráter Real. Adentra-se, em seguida, no Direito Público, apresentando o Estado Jurídico como garantidor de direitos que lhe são pré-existentes. Nessa esteira, passa-se às condições formais desse Estado, qual seja a tripartição dos Poderes e suas relações. Outros pontos ligados ao Estado Jurídico são, também, enfrentados, como a cidadania e sua relação aos poderes estatais, o pretenso direito de revolução, o dever de reforma da Constituição Civil, o Direito de Punir. Vale ressaltar que tentamos superar uma dificuldade que não é solucionada em nenhum escrito consultado – a responsabilidade dos agentes públicos. Não obstante, a forma do Estado Jurídico é, igualmente, abordada. Ademais, tecem-se algumas linhas aos direitos individuais e sociais e sua relação aos fundamentos do Direito. Enfim, depois de todo percurso trilhado, infere-se que Estado Jurídico é um dever imposto pela razão prática - um fim em si mesmo que decorre de princípios metafísicos - únicos que podem nos oferecer um modelo imutável e insubstituível de Estado.

Swiss Patent Jurisprudence 2012

The new Swiss Federal Patent Court, with nationwide first-instance jurisdiction over all civil patent matters, has been operating since January 1, 2012. This article reviews and contextualizes the most important patent cases published in 2012 by the Swiss Federal Patent Court and the Swiss Federal Supreme Court. More specifically, the article covers cases on issues such as the evidentiary status of party expert opinions, the formal requirements for requests for injunctive relief, the infringement and non-obviousness tests employed by the Swiss Federal Patent Court, the use of reports and statements from technical judges in lieu of expert opinions, and the procedural devices for the pre-trial taking of evidence, in particular the new patent-specific device of precise description. The author suggests that designing the Federal Patent Court to include technically trained judges may lead to a more automatic adoption of the practices and case law of the European Patent Office. The article concludes that the revamped Swiss patent litigation system has the potential of turning Switzerland into a competitive venue for the adjudication of patent matters in Europe.