Search results for "proving"

showing 10 items of 24 documents

KRAS mutations testing in non-small cell lung cancer: the role of Liquid biopsy in the basal setting

2020

In advanced stage non-small cell lung cancer (NSCLC) patients, Kirsten Rat Sarcoma Viral Oncogene Homolog (KRAS) testing may soon acquire a predictive significance to select patients for AMG510 treatment. Since tissue samples are not always available, liquid biopsy may represent a viable option for KRAS testing. Here, we review the last three years clinical practice performed on 194 plasma based liquid biopsies by next generation sequencing (NGS) SiRe(®) panel. In particular, 36 (18.6%) KRAS mutated cases were identified, with an overall median allelic frequency of 5.0% (ranging between 0.2% and 46.8%). No concomitant mutations were observed in the other NSCLC clinical relevant genes includ…

0301 basic medicinePulmonary and Respiratory MedicineAMG510Settore MED/06 - Oncologia MedicaViral Oncogenemedicine.disease_cause03 medical and health sciencesBasal (phylogenetics)0302 clinical medicineG12CMedicineEpidermal growth factor receptorLiquid biopsyLung cancerneoplasmsMutationbiologyLiquid biopsybusiness.industryKirsten Rat Sarcoma Viral Oncogene Homolog (KRAS)Review Article on Improving Outcomes in Lung Cancer Through Early Diagnosis and Smoking Cessationmedicine.diseaseBasal setting030104 developmental biologyNext generation sequencing (NGS)030220 oncology & carcinogenesisCancer researchbiology.proteinBiomarker (medicine)KRASLung cancerbusiness
researchProduct

Argumentation and proving: a didactical experience with Chinese and Italian students

2009

Argumentation and proving chinese studentsSettore MAT/04 - Matematiche Complementari
researchProduct

Argumentation and Proving in Multicultural Classes: A didactical experience with Chinese and Italian students

2009

Argumentation Proving Multicultural ChineseSettore MAT/04 - Matematiche Complementari
researchProduct

Argumentation and proving in multicultural classes: a linguistic-cultural approach with Chinese students

2009

The paper explores, through different theoretical/experimental investigations, a particular complex field of study such as the analysis of the teaching/learning phases in a multicultural setting in class. Through a linguistic-cultural approach it is a further close examination on the didactic thematic related to a possible comparison between East and West and particularly between Chinese mathematical thought and Italian thought, in some particular aspects related to the phase of argumentation and proving. To carry out the research, we chose to investigate, in a qualitative and quantitative way, the behaviour of Chinese and Italian students of different ages (13-15 years old) attending the S…

Argumentationprovingchinese written languageSettore MAT/04 - Matematiche Complementari
researchProduct

TCP Performance in Mobile Ad hoc Networks

2013

International audience; In this paper, we present a survey of TCP (Transmission Control Protocol) protocol for better performance in the MANET (Mobile Ad Hoc Network). After a short presentation of the main features of TCP, we give the most important problems from which TCP suffer in MANET. We present after that some approaches proposed in the literature in order to improve its performance. Our paper contains also a performance evaluation of TCP NewReno and TCP Vegas transport protocols under AODV and DSR routing protocols. The simulations are conducted under varying conditions of number of TCP connections, number of nodes and mobility.

CUBIC TCPTCP accelerationComputer scienceTCP tuning050801 communication & media studies02 engineering and technologyTCP Friendly Rate ControlTCP Westwood[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]0508 media and communications0202 electrical engineering electronic engineering information engineeringZeta-TCPMobile Ad hoc NetworksProblems of TCP in MANETTCP Protocolbusiness.industry05 social sciencesComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKSImproving of TCP in MANET020206 networking & telecommunicationsINGENIERIA TELEMATICATCP VegasTCP global synchronizationPerformance evaluationTCP NewRenoCompound TCPbusinessComputer network
researchProduct

Different procedures in argumentation and conjecturation in primary school:an experience with Chinese students

2008

Chinese students argumentation and provingSettore MAT/04 - Matematiche Complementari
researchProduct

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

2018

This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…

CorrectnessSIMPLE (military communications protocol)Computer scienceProof assistant020207 software engineeringControl engineering02 engineering and technologyFormal methods Software engineering Theorem proving Vehicles Autonomous Vehicles Control laws Integrated simulations Interactive theorem proving Logic languages Proof of concept Prototype verification systems System development020202 computer hardware & architectureAutomated theorem provingSettore ING-INF/04 - AutomaticaControl theory0202 electrical engineering electronic engineering information engineeringPrototype Verification SystemFormal verificationLogic programming
researchProduct

Legal Science: Functions, Significance and Futurein Legal Systems II: Collection of Research Papers in Conjunction with the 7th International Scienti…

2020

Criminal law:LAW/JURISPRUDENCE [Research Subject Categories]Improving the quality of legislationHuman libertyAbolition of serfdom in the BalticsDevelopment of private lawEU lawInternational human rightsInternational public rightsConstitutionality of the stateInternational private law
researchProduct

Improving Performance of Evolutionary Algorithms with Application to Fuzzy Control of Truck Backer-Upper System

2013

Published version of an article in the journal: Mathematical Problems in Engineering. Also available from the publisher at: http://dx.doi.org/10.1155/2013/709027 Open access We propose a method to improve the performance of evolutionary algorithms (EA). The proposed approach defines operators which can modify the performance of EA, including Levy distribution function as a strategy parameters adaptation, calculating mean point for finding proper region of breeding offspring, and shifting strategy parameters to change the sequence of these parameters. Thereafter, a set of benchmark cost functions is utilized to compare the results of the proposed method with some other well-known algorithms.…

Mathematical optimizationEngineeringSequenceArticle Subjectbusiness.industryGeneral Mathematicslcsh:MathematicsLévy distributionGeneral EngineeringEvolutionary algorithmfuzzy controlFuzzy control systemFunction (mathematics)lcsh:QA1-939shifting strategyVDP::Mathematics and natural science: 400::Mathematics: 410Set (abstract data type)lcsh:TA1-2040improving performanceBenchmark (computing)Point (geometry)trucksevolutionary algorithmsbusinesslcsh:Engineering (General). Civil engineering (General)Mathematical Problems in Engineering
researchProduct

Survey of Formal Verification Methods for Smart Contracts on Blockchain

2019

Due to the immutable nature of distributed ledger technology such as blockchain, it is of utter importance that a smart contract works as intended before employment outside test network. This is since any bugs or errors will become permanent once published to the live network, and could lead to substantial economic losses; as manifested in the infamous DAO smart contract exploit hack in 2016. In order to avoid this, formal verification methods can be used to ensure that the contract behaves according to given specifications. This paper presents a survey of the state of the art of formal verification of smart contracts. Being a relatively new research area, a standard or best practice for fo…

Model checkingSmart contractExploitComputer science020206 networking & telecommunications02 engineering and technologyFormal methodsComputer securitycomputer.software_genreSyntax (logic)Automated theorem provingOrder (business)0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingFormal verificationcomputer2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)
researchProduct